Let $g \geq 1$ be an integer and let $A/\mathbb Q$ be an abelian variety that is isogenous over $\mathbb Q$ to a product of g elliptic curves defined over $\mathbb Q$ , pairwise non-isogenous over $\overline {\mathbb Q}$ and each without complex multiplication. For an integer t and a positive real number x, denote by $\pi _A(x, t)$ the number of primes $p \leq x$ , of good reduction for A, for which the Frobenius trace $a_{1, p}(A)$ associated to the reduction of A modulo p equals t. Assuming the Generalized Riemann Hypothesis for Dedekind zeta functions, we prove that $\pi _A(x, 0) \ll _A x^{1 - \frac {1}{3 g+1 }}/(\operatorname {log} x)^{1 - \frac {2}{3 g+1}}$ and $\pi _A(x, t) \ll _A x^{1 - \frac {1}{3 g + 2}}/(\operatorname {log} x)^{1 - \frac {2}{3 g + 2}}$ if $t \neq 0$ . These bounds largely improve upon recent ones obtained for $g = 2$ by Chen, Jones, and Serban, and may be viewed as generalizations to arbitrary g of the bounds obtained for $g=1$ by Murty, Murty, and Saradha, combined with a refinement in the power of $\operatorname {log} x$ by Zywina. Under the assumptions stated above, we also prove the existence of a density one set of primes p satisfying $|a_{1, p}(A)|>p^{\frac {1}{3 g + 1} - \varepsilon }$ for any fixed $\varepsilon>0$ .

Let $[t]$ be the integral part of the real number t. We study the distribution of the elements of the set $\mathcal {S}(x) := \{[{x}/{n}] : 1\leqslant n\leqslant x\}$ in the arithmetical progression $\{a+dq\}_{d\geqslant 0}$ . We give an asymptotic formula

$$ \begin{align*} S(x; q, a) := \sum_{\substack{m\in \mathcal{S}(x)\\ m\equiv a \pmod q}} 1 = \frac{2\sqrt{x}}{q} + O((x/q)^{1/3}\log x), \end{align*} $$

which holds uniformly for $x\geqslant 3$ , $1\leqslant q\leqslant x^{1/4}/(\log x)^{3/2}$ and $1\leqslant a\leqslant q$ , where the implied constant is absolute. The special case $S(x; q, q)$ confirms a recent numerical test of Heyman [‘Cardinality of a floor function set’, Integers 19 (2019), Article no. A67].

We prove uniform bounds for the Petersson norm of the cuspidal part of the theta series. This gives an improved asymptotic formula for the number of representations by a quadratic form. As an application, we show that every integer $n \neq 0,4,7 \,(\textrm{mod}\ 8)$ is represented as $n= x_1^2 + x_2^2 + x_3^3$ for integers $x_1,x_2,x_3$ such that the product $x_1x_2x_3$ has at most 72 prime divisors.

In 1946, Erdős and Niven proved that no two partial sums of the harmonic series can be equal. We present a generalisation of the Erdős–Niven theorem by showing that no two partial sums of the series $\sum _{k=0}^\infty {1}/{(a+bk)}$ can be equal, where a and b are positive integers. The proof of our result uses analytic and p-adic methods.

We investigate, for given positive integers a and b, the least positive integer $c=c(a,b)$ such that the quotient $\varphi (c!\kern-1.2pt)/\varphi (a!\kern-1.2pt)\varphi (b!\kern-1.2pt)$ is an integer. We derive results on the limit of $c(a,b)/(a+b)$ as a and b tend to infinity and show that $c(a,b)>a+b$ for all pairs of positive integers $(a,b)$ , with the exception of a set of density zero.

Let $\varepsilon> 0$ be sufficiently small and let $0 < \eta < 1/522$ . We show that if X is large enough in terms of $\varepsilon $ , then for any squarefree integer $q \leq X^{196/261-\varepsilon }$ that is $X^{\eta }$ -smooth one can obtain an asymptotic formula with power-saving error term for the number of squarefree integers in an arithmetic progression $a \pmod {q}$ , with $(a,q) = 1$ . In the case of squarefree, smooth moduli this improves upon previous work of Nunes, in which $196/261 = 0.75096\ldots $ was replaced by $25/36 = 0.69\overline {4}$ . This also establishes a level of distribution for a positive density set of moduli that improves upon a result of Hooley. We show more generally that one can break the $X^{3/4}$ -barrier for a density 1 set of $X^{\eta }$ -smooth moduli q (without the squarefree condition).

Our proof appeals to the q-analogue of the van der Corput method of exponential sums, due to Heath-Brown, to reduce the task to estimating correlations of certain Kloosterman-type complete exponential sums modulo prime powers. In the prime case we obtain a power-saving bound via a cohomological treatment of these complete sums, while in the higher prime power case we establish savings of this kind using p-adic methods.

We consider a concrete family of $2$ -towers $(\mathbb {Q}(x_n))_n$ of totally real algebraic numbers for which we prove that, for each $n$ , $\mathbb {Z}[x_n]$ is the ring of integers of $\mathbb {Q}(x_n)$ if and only if the constant term of the minimal polynomial of $x_n$ is square-free. We apply our characterization to produce new examples of monogenic number fields, which can be of arbitrary large degree under the ABC-Conjecture.

Using a method due to Rieger [‘Remark on a paper of Stux concerning squarefree numbers in non-linear sequences’, Pacific J. Math.78(1) (1978), 241–242], we prove that the Piatetski-Shapiro sequence defined by $\{\lfloor n^c \rfloor : n\in \mathbb {N}\}$ contains infinitely many consecutive square-free integers whenever $1<c<3/2$ .

We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension 2. We prove a Mertens counting formula for the rational points over a definite quaternion algebra A over ${\mathbb{Q}}$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over A in quaternionic Heisenberg groups.

Given disjoint subsets T1, …, Tm of “not too large” primes up to x, we establish that for a random integer n drawn from [1, x], the m-dimensional vector enumerating the number of prime factors of n from T1, …, Tm converges to a vector of m independent Poisson random variables. We give a specific rate of convergence using the Kubilius model of prime factors. We also show a universal upper bound of Poisson type when T1, …, Tm are unrestricted, and apply this to the distribution of the number of prime factors from a set T conditional on n having k total prime factors.

We prove that most permutations of degree $n$ have some power which is a cycle of prime length approximately $\log n$. Explicitly, we show that for $n$ sufficiently large, the proportion of such elements is at least $1-5/\log \log n$ with the prime between $\log n$ and $(\log n)^{\log \log n}$. The proportion of even permutations with this property is at least $1-7/\log \log n$.

We consider the reduction of an elliptic curve defined over the rational numbers modulo primes in a given arithmetic progression and investigate how often the subgroup of rational points of this reduced curve is cyclic.

We prove that neither a prime nor an l-almost prime number theorem holds in the class of regular Toeplitz subshifts. But when a quantitative strengthening of the regularity with respect to the periodic structure involving Euler’s totient function is assumed, then the two theorems hold.

A set of integers is primitive if it does not contain an element dividing another. Let f(n) denote the number of maximum-size primitive subsets of {1,…,2n}. We prove that the limit α = limn→∞f(n)1/n exists. Furthermore, we present an algorithm approximating α with (1 + ε) multiplicative error in N(ε) steps, showing in particular that α ≈ 1.318. Our algorithm can be adapted to estimate the number of all primitive sets in {1,…,n} as well.

We address another related problem of Cameron and Erdős. They showed that the number of sets containing pairwise coprime integers in {1,…n} is between ${2^{\pi (n)}} \cdot {e^{(1/2 + o(1))\sqrt n }}$ and ${2^{\pi (n)}} \cdot {e^{(2 + o(1))\sqrt n }}$. We show that neither of these bounds is tight: there are in fact ${2^{\pi (n)}} \cdot {e^{(1 + o(1))\sqrt n }}$ such sets.

We show that for $100\%$ of the odd, square free integers $n> 0$ , the $4$ -rank of $\text {Cl}(\mathbb{Q} (i, \sqrt {n}))$ is equal to $\omega _3(n) - 1$ , where $\omega _3$ is the number of prime divisors of n that are $3$ modulo $4$ .

We prove the logarithmic Sarnak conjecture for sequences of subquadratic word growth. In particular, we show that the Liouville function has at least quadratically many sign patterns. We deduce the main theorem from a variant which bounds the correlations between multiplicative functions and sequences with subquadratically many words which occur with positive logarithmic density. This allows us to actually prove that our multiplicative functions do not locally correlate with sequences of subquadratic word growth. We also prove a conditional result which shows that if the ( $\kappa -1$ )-Fourier uniformity conjecture holds then the Liouville function does not correlate with sequences with $O(n^{t-\varepsilon })$ many words of length n where $t = \kappa (\kappa +1)/2$ . We prove a variant of the $1$ -Fourier uniformity conjecture where the frequencies are restricted to any set of box dimension less than $1$ .

The level of distribution of a complex-valued sequence $b$ measures the quality of distribution of $b$ along sparse arithmetic progressions $nd+a$. We prove that the Thue–Morse sequence has level of distribution $1$, which is essentially best possible. More precisely, this sequence gives one of the first nontrivial examples of a sequence satisfying a Bombieri–Vinogradov-type theorem for each exponent $\theta <1$. This result improves on the level of distribution $2/3$ obtained by Müllner and the author. As an application of our method, we show that the subsequence of the Thue–Morse sequence indexed by $\lfloor n^c\rfloor$, where $1 < c < 2$, is simply normal. This result improves on the range $1 < c < 3/2$ obtained by Müllner and the author and closes the gap that appeared when Mauduit and Rivat proved (in particular) that the Thue–Morse sequence along the squares is simply normal.

In this article we establish the arithmetic purity of strong approximation for certain semisimple simply connected linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group $G$ and for any open subset $U$ of $G$ with ${\mathrm {codim}}(G\setminus U, G)\geqslant 2$, we prove that (i) if $G$ is $k$-simple and $k$-isotropic, then $U$ satisfies strong approximation off any finite number of places; and (ii) if $G$ is the spin group of a non-degenerate quadratic form which is not compact over archimedean places, then $U$ satisfies strong approximation off all archimedean places. As a consequence, we prove that the same property holds for affine quadratic hypersurfaces. Our approach combines a fibration method with subgroup actions developed for induction on the codimension of $G\setminus U$, and an affine linear sieve which allows us to produce integral points with almost-prime polynomial values.