For an integer $b\geq 2$, a positive integer is called a b-Niven number if it is a multiple of the sum of the digits in its base-b representation. In this article, we show that every arithmetic progression contains infinitely many b-Niven numbers.

Arithmetic quasidensities are a large family of real-valued set functions partially defined on the power set of $\mathbb {N}$, including the asymptotic density, the Banach density and the analytic density. Let $B \subseteq \mathbb {N}$ be a nonempty set covering $o(n!)$ residue classes modulo $n!$ as $n\to \infty $ (for example, the primes or the perfect powers). We show that, for each $\alpha \in [0,1]$, there is a set $A\subseteq \mathbb {N}$ such that, for every arithmetic quasidensity $\mu $, both A and the sumset $A+B$ are in the domain of $\mu $ and, in addition, $\mu (A + B) = \alpha $. The proof relies on the properties of a little known density first considered by Buck [‘The measure theoretic approach to density’, Amer. J. Math. 68 (1946), 560–580].

Let $S=\{s_{1}, s_{2}, \ldots \}$ be an unbounded sequence of positive integers with $s_{n+1}/s_{n}$ approaching $\alpha $ as $n\rightarrow \infty $ and let $\beta>\max (\alpha , 2)$. We show that for all sufficiently large positive integers l, if $A\subset [0, l]$ with $l\in A$, $\gcd A=1$ and $|A|\geq (2-{k}/{\lambda \beta })l/(\lambda +1)$, where $\lambda =\lceil {k}/{\beta }\rceil $, then $kA\cap S\neq \emptyset $ for $2<\beta \leq 3$ and $k\geq {2\beta }/{(\beta -2)}$ or for $\beta>3$ and $k\geq 3$.

Two sets $A,B$ of positive integers are called exact additive complements if $A+B$ contains all sufficiently large integers and $A(x)B(x)/x\rightarrow 1$. For $A=\{a_1<a_2<\cdots \}$, let $A(x)$ denote the counting function of A and let $a^*(x)$ denote the largest element in $A\bigcap [1,x]$. Following the work of Ruzsa [‘Exact additive complements’, Quart. J. Math. 68 (2017) 227–235] and Chen and Fang [‘Additive complements with Narkiewicz’s condition’, Combinatorica 39 (2019), 813–823], we prove that, for exact additive complements $A,B$ with ${a_{n+1}}/ {na_n}\rightarrow \infty $,

$$ \begin{align*}A(x)B(x)-x\geqslant \frac{a^*(x)}{A(x)}+o\bigg(\frac{a^*(x)}{A(x)^2}\bigg) \quad\mbox{as } x\rightarrow +\infty.\end{align*} $$

We also construct exact additive complements $A,B$ with ${a_{n+1}}/{na_n}\rightarrow \infty $ such that

$$ \begin{align*}A(x)B(x)-x\leqslant \frac{a^*(x)}{A(x)}+(1+o(1))\bigg(\frac{a^*(x)}{A(x)^2}\bigg)\end{align*} $$

for infinitely many positive integers x.

Leonetti and Luca [‘On the iterates of the shifted Euler’s function’, Bull. Aust. Math. Soc., to appear] have shown that the integer sequence $(x_n)_{n\geq 1}$ defined by $x_{n+2}=\phi (x_{n+1})+\phi (x_{n})+k$, where $x_1,x_2\geq 1$, $k\geq 0$ and $2 \mid k$, is bounded by $4^{X^{3^{k+1}}}$, where $X=(3x_1+5x_2+7k)/2$. We improve this result by showing that the sequence $(x_n)$ is bounded by $2^{2X^2+X-3}$, where $X=x_1+x_2+2k$.

Let p be a prime and let r, s be positive integers. In this paper, we prove that the Goormaghtigh equation $(x^m-1)/(x-1)=(y^n-1)/(y-1)$, $x,y,m,n \in {\mathbb {N}}$, $\min \{x,y\}>1$, $\min \{m,n\}>2$ with $(x,y)=(p^r,p^s+1)$ has only one solution $(x,y,m,n)=(2,5,5,3)$. This result is related to the existence of some partial difference sets in combinatorics.

We establish the linear independence of values of the q-analogue of the exponential function and its derivatives at specified algebraic arguments, when q is a Pisot–Vijayaraghavan number. We also deduce similar results for cognate functions, such as the Tschakaloff function and certain generalised q-series.

We introduce some generalisations of the Euler–Kronecker constant of a number field and study their arithmetic nature.

We derive an explicit formula for the N-point correlation $F_N(s)$ of the van der Corput sequence in base $2$ for all $N \in \mathbb {N}$ and $s \geq 0$. The formula can be evaluated without explicit knowledge about the elements of the van der Corput sequence. This constitutes the first example of an exact closed-form expression of $F_N(s)$ for all $N \in \mathbb {N}$ and all $s \geq 0$ which does not require explicit knowledge about the involved sequence. Moreover, it can be immediately read off that $\lim _{N \to \infty } F_N(s)$ exists only for $0 \leq s \leq 1/2$.

Let $f(X) \in {\mathbb Z}[X]$ be a polynomial of degree $d \ge 2$ without multiple roots and let ${\mathcal F}(N)$ be the set of Farey fractions of order N. We use bounds for some new character sums and the square-sieve to obtain upper bounds, pointwise and on average, on the number of fields ${\mathbb Q}(\sqrt {f(r)})$ for $r\in {\mathcal F}(N)$, with a given discriminant.

Let $\gcd (n_{1},\ldots ,n_{k})$ denote the greatest common divisor of positive integers $n_{1},\ldots ,n_{k}$ and let $\phi $ be the Euler totient function. For any real number $x>3$ and any integer $k\geq 2$, we investigate the asymptotic behaviour of $\sum _{n_{1}\ldots n_{k}\leq x}\phi (\gcd (n_{1},\ldots ,n_{k})). $

We extend the notion of polynomial integration over an arbitrary circle C in the Euclidean geometry over general fields $\mathbb {F}$ of characteristic zero as a normalised $\mathbb {F}$-linear functional on $\mathbb {F}[\alpha _1, \alpha _2]$ that maps polynomials that evaluate to zero on C to zero and is $\mathrm {SO}(2,\mathbb {F})$-invariant. This allows us to not only build a purely algebraic integration theory in an elementary way, but also give the super Catalan numbers

$$ \begin{align*} S(m,n) = \frac{(2m)!(2n)!}{m!n!(m+n)!} \end{align*} $$

an algebraic interpretation in terms of values of this algebraic integral over some circle applied to the monomials $\alpha _1^{2m}\alpha _2^{2n}$.

Assume that G is a finite group, N is a nontrivial normal subgroup of G and p is an odd prime. Let $\mathrm{Irr}_p(G)=\{\chi \in \mathrm{Irr}(G) : \chi (1)=1~\mathrm{or}~ p \mid \chi (1)\}$ and $\mathrm{Irr}_p(G|N)=\{\chi \in \mathrm{Irr}_p(G) : N \not \leq \mathrm{ker}\,\chi \}$. The average character degree of irreducible characters of $\mathrm{Irr}_p(G)$ and the average character degree of irreducible characters of $\mathrm{Irr}_p(G|N)$ are denoted by $\mathrm{acd}_p(G)$ and $\mathrm{acd}_p(G|N)$, respectively. We show that if $\mathrm{Irr}_p(G|N) \neq \emptyset $ and $\mathrm{acd}_p(G|N) < \mathrm{acd}_p(\mathrm{PSL}_2(p))$, then G is p-solvable and $O^{p'}(G)$ is solvable. We find examples that make this bound best possible. Moreover, we see that if $\mathrm{Irr}_p(G|N) = \emptyset $, then N is p-solvable and $P \cap N$ and $PN/N$ are abelian for every $P \in \mathrm{Syl}_p(G)$.

A subgroup H of a group G is said to be pronormal in G if each of its conjugates $H^g$ in G is already conjugate to it in the subgroup $\langle H,H^g\rangle $. The aim of this paper is to classify those (locally) finite simple groups which have only nilpotent or pronormal subgroups.

A subgroup A of a group G is said to be hereditarily G-permutable with a subgroup B of G, if $AB^x = B^xA$ for some element $x \in \langle A, B \rangle $. A subgroup A of a group G is said to be hereditarily G-permutable in G if A is hereditarily G-permutable with every subgroup of G. In this paper, we investigate the structure of a finite group G with all its Schmidt subgroups hereditarily G-permutable.

For a group G and $m\ge 1$, let $G^m$ denote the subgroup generated by the elements $g^m$, where g runs through G. The subgroups not of the form $G^m$ are the nonpower subgroups of G. We classify the groups with at most nine nonpower subgroups.

This paper relies on nested postulates of separate, linear and arc-continuity of functions to define analogous properties for sets that are weaker than the requirement that the set be open or closed. This allows three novel characterisations of open or closed sets under convexity or separate convexity postulates: the first pertains to separately convex sets, the second to convex sets and the third to arbitrary subsets of a finite-dimensional Euclidean space. By relying on these constructions, we also obtain new results on the relationship between separate and joint continuity of separately quasiconcave, or separately quasiconvex functions. We present examples to show that the sufficient conditions we offer cannot be dispensed with.

We consider the two-dimensional minimisation problem for $\inf \{ E_a(\varphi ):\varphi \in H^1(\mathbb {R}^2)\ \text {and}\ \|\varphi \|_2^2=1\}$, where the energy functional $ E_a(\varphi )$ is a cubic-quintic Schrödinger functional defined by $E_a(\varphi ):=\tfrac 12\int _{\mathbb {R}^2}|\nabla \varphi |^2\,dx-\tfrac 14a\int _{\mathbb {R}^2}|\varphi |^4\,dx+\tfrac 16a^2\int _{\mathbb {R}^2}|\varphi |^6\,dx$. We study the existence and asymptotic behaviour of the ground state. The ground state $\varphi _{a}$ exists if and only if the $L^2$ mass a satisfies $a>a_*={\lVert Q\rVert }^2_2$, where Q is the unique positive radial solution of $-\Delta u+ u-u^3=0$ in $\mathbb {R}^2$. We show the optimal vanishing rate $\int _{\mathbb {R}^2}|\nabla \varphi _{a}|^2\,dx\sim (a-a_*)$ as $a\searrow a_*$ and obtain the limit profile.

We give an example of a pair of real Banach spaces such that they are neither linearly isomorphic nor isomorphic with respect to the structure of Birkhoff–James orthogonality, but have mutually homeomorphic geometric structure spaces.

We study curve-shortening flow for twisted curves in $\mathbb {R}^3$ (that is, curves with nowhere vanishing curvature $\kappa $ and torsion $\tau $) and define a notion of torsion-curvature entropy. Using this functional, we show that either the curve develops an inflection point or the eventual singularity is highly irregular (and likely impossible). In particular, it must be a Type-II singularity which admits sequences along which ${\tau }/{\kappa ^2} \to \infty $. This contrasts strongly with Altschuler’s planarity theorem, which shows that ${\tau }/{\kappa } \to 0$ along any essential blow-up sequence.