arXiv subjects
Publications and source records attributed to James Maynard.
Let $\alpha=a/q+\epsilon$ with $(a,q)=1$, $q\le N^{1/2}$ and $|\epsilon|\le 1/(qN^{1/2})$, and let $B:=\max(q,qN|\epsilon|)$. We show that \[ \Bigl|\sum_{n<N}\Lambda(n)e(n\alpha)\Bigr|\le N^{o(1)}\Bigl(\frac{N}{B^{1/2}}+N^{19/24}\Bigr). \] This improves on the classical bound of Vinogradov from 1937, which has $N^{4/5}$ in place of $N^{19/24}$.
We develop the foundations of a general framework for producing optimal upper and lower bounds on the sum $\sum_p a_p$ over primes $p$, where $(a_n)_{x/2<n\le x}$ is an arbitrary non-negative sequence satisfying Type I and Type II estimates. Our lower bounds on $\sum_p a_p$ depend on a new sieve method, which is non-iterative and uses all of the Type I and Type II information at once. We also give a complementary general procedure for constructing sequences $(a_n)$ satisfying the Type I and Type II estimates, which in many cases proves that our lower bounds on $\sum_p a_p$ are best possible. A key role in both the sieve method and the construction method is played by the geometry of special subsets of $\mathbb{R}^k$. This allows us to determine precisely the ranges of Type I and Type II estimates for which an asymptotic for $\sum_p a_p$ is guaranteed, that a substantial Type II range is always necessary to guarantee a non-trivial lower bound for $\sum_p a_p$, and to determine the optimal bounds in some naturally occurring families of parameters from the literature. We also demonstrate that the optimal upper and lower bounds for $\sum_p a_p$ exhibit many discontinuities with respect to the Type I and Type II ranges, ruling out the possibility of a particularly simple characterization.
We prove new bounds for how often Dirichlet polynomials can take large values. This gives improved estimates for a Dirichlet polynomial of length $N$ taking values of size close to $N^{3/4}$, which is the critical situation for several estimates in analytic number theory connected to prime numbers and the Riemann zeta function. As a consequence, we deduce a zero density estimate $N(\sigma,T)\le T^{30(1-\sigma)/13+o(1)}$ and asymptotics for primes in short intervals of length $x^{17/30+o(1)}$.
We prove a quantitative version of the Duffin-Schaeffer conjecture with an almost sharp error term. Precisely, let $\psi:\mathbb{N}\to[0,1/2]$ be a function such that the series $\sum_{q=1}^\infty \varphi(q)\psi(q)/q$ diverges. In addition, given $\alpha\in\mathbb{R}$ and $Q\geqslant1$, let $N(\alpha;Q)$ be the number of coprime pairs $(a,q)\in\mathbb{Z}\times\mathbb{N}$ with $q\leqslant Q$ and $|\alpha-a/q|<\psi(q)/q$. Lastly, let $\Psi(Q)=\sum_{q\leqslant Q}2\varphi(q)\psi(q)/q$, which is the expected value of $N(\alpha;Q)$ when $\alpha$ is uniformly chosen from $[0, 1]$. We prove that $N(\alpha;Q)=\Psi(Q)+O_{\alpha,\varepsilon}(\Psi(Q)^{1/2+\varepsilon})$ for almost all $\alpha$ (in the Lebesgue sense) and for every fixed $\varepsilon>0$. This improves upon results of Koukoulopoulos-Maynard and of Aistleitner-Borda-Hauke.
The Skolem Problem asks to determine whether a given integer linear recurrence sequence has a zero term. This problem arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory, and control theory. Decidability is notoriously open; the state of the art is a decision procedure for recurrences of order at most 4: an advance achieved some 40 years ago, based on Baker's theorem on linear forms in logarithms of algebraic numbers. A new approach to the Skolem Problem was recently initiated in [LOW21, LOW22] via the notion of a Universal Skolem Set -- a set $S$ of positive integers such that it is decidable whether a given non-degenerate linear recurrence sequence has a zero in $S$. Clearly, proving decidability of the Skolem Problem is equivalent to showing that $\mathbb{N}$ itself is a Universal Skolem Set. The main contribution of the present paper is to construct a Universal Skolem Set that has lower density at least $1/8$. We show moreover that this set has density $1$ subject to Martin's uniform formulation of the Bateman--Horn conjecture. The latter is a far-reaching quantitative hypothesis concerning the frequency of primes among the values of systems of polynomials.
Let $P(X)\in\mathbb{Z}[X]$ be an irreducible, monic, quartic polynomial with cyclic or dihedral Galois group. We prove that there exists a constant $c_P>0$ such that for a positive proportion of integers $n$, $P(n)$ has a prime factor $\ge n^{1+c_P}$.
We introduce a new method to detect the zeros of the Riemann zeta function which is sensitive to the vertical distribution of the zeros. This allows us to prove there are few `half-isolated' zeros. By combining this with classical methods, we improve the Ingham-Huxley zero-density estimate under the assumption that the non-trivial zeros of the zeta function are restricted to lie on a finite number of fixed vertical lines. This has new consequences for primes in short intervals under the same assumption.
We show that if $A\subset \{1,\ldots,N\}$ has no solutions to $a-b=n^2$ with $a,b\in A$ and $n\geq 1$ then \[|A|\ll \frac{N}{(\log N)^{c\log\log \log N}}\] for some absolute constant $c>0$. This improves upon a result of Pintz-Steiger-Szemer\'edi.
Let $f_1,\dots,f_k\in\mathbb{R}[X]$ be polynomials of degree at most $d$ with $f_1(0)=\dots=f_k(0)=0$. We show that there is an integer $n<x$ such that the fractional parts $\|f_i(n)\|\ll x^{c/k}$ for all $1\le i\le k$ and for some constant $c=c(d)$ depending only on $d$. This is essentially optimal in the $k$-aspect, and improves on earlier results of Schmidt who showed the same result with $c/k^2$ in place of $c/k$.
We prove that there exist positive constants $C$ and $c$ such that for any integer $d \ge 2$ the set of ${\mathbf x}\in [0,1)^d$ satisfying $$ cN^{1/2}\le \left|\sum^N_{n=1}\exp\left (2 \pi i \left (x_1n+\ldots+x_d n^d\right)\right) \right|\le C N^{1/2}$$ for infinitely many natural numbers $N$ is of full Lebesque measure. This substantially improves the previous results where similar sets have been measured in terms of the Hausdorff dimension. We also obtain similar bounds for exponential sums with monomials $xn^d$ when $d\neq 4$. Finally, we obtain lower bounds for the Hausdorff dimension of large values of general exponential polynomials.
We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$, extending the Bombieri-Vinogradov theorem to moduli of size $x^{1/2+\delta}$ which have conveniently sized divisors. The main feature of these estimates is that they are completely uniform with respect to the residue classes considered, unlike previous works on primes in arithmetic progressions to large moduli.
We establish new mean value theorems for primes of size $x$ in arithmetic progressions to moduli as large as $x^{3/5-\epsilon}$ when summed with suitably well-factorable weights. This extends well-known work of Bombieri, Friedlander and Iwaniec, who handled moduli of size at most $x^{4/7-\epsilon}$. This has consequences for the level of distribution for sieve weights coming from the linear sieve.
We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$. Our main result shows that the primes are equidistributed for a fixed residue class over all moduli of size $x^{1/2+\delta}$ with a 'convenient sized' factor. As a consequence, the expected asymptotic holds for all but $O(\delta Q)$ moduli $q\sim Q=x^{1/2+\delta}$ and we get results for moduli as large as $x^{11/21}$. Our proof extends previous techniques of Bombieri, Fouvry, Friedlander and Iwaniec by incorporating new ideas inspired by amplification methods. We combine these with techniques of Zhang and Polymath tailored to our application. In particular, we ultimately rely on exponential sum bounds coming from the spectral theory of automorphic forms (the Kuznetsov trace formula) or from algebraic geometry (Weil and Deligne style estimates).
Let $f$ be a polynomial $f$ of degree $d\ge 2$ with integer coefficients which is irreducible over the rationals. Cilleruelo conjectured that the least common multiple of the values of the polynomial at the first $N$ integers satisfies $\log lcm(f(1),\dots, f(N)) \sim (d-1) N\log N$ as $N\to \infty$. This is only known for degree $d=2$. In this note we give a simple lower bound for all degrees $d\geq 2$ which is consistent with the conjecture: $\log lcm (f(1),\dots, f(N)) \gg N\log N$.
We show that there are short intervals $[x,x+y]$ containing $\gg y^{1/10}$ numbers expressible as the sum of two squares, which is many more than the average when $y=o( (\log{x})^{5/9})$. We obtain similar results for sums of two squares in short arithmetic progressions.
We survey some different results on the digits of prime numbers, giving a simplified proof of weak forms of a result of Maynard and Mauduit-Rivat.
We discuss recent advances on weak forms of the Prime $k$-tuple Conjecture, and its role in proving new estimates for the existence of small gaps between primes and the existence of large gaps between primes.
We discuss various recent advances on weak forms of the Twin Prime Conjecture.