Showing 1–40 of 40 results for author: Maynard, J

New large value estimates for Dirichlet polynomials

Authors: Larry Guth, James Maynard

Abstract: 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… ▽ More 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(σ,T)\le T^{30(1-σ)/13+o(1)}$ and asymptotics for primes in short intervals of length $x^{17/30+o(1)}$. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: 48 pages

MSC Class: 11M26; 11N05

An almost sharp quantitative version of the Duffin-Schaeffer conjecture

Authors: Dimitris Koukoulopoulos, James Maynard, Daodao Yang

Abstract: We prove a quantitative version of the Duffin-Schaeffer conjecture with an almost sharp error term. Precisely, let $ψ:\mathbb{N}\to[0,1/2]$ be a function such that the series $\sum_{q=1}^\infty \varphi(q)ψ(q)/q$ diverges. In addition, given $α\in\mathbb{R}$ and $Q\geqslant1$, let $N(α;Q)$ be the number of coprime pairs $(a,q)\in\mathbb{Z}\times\mathbb{N}$ with $q\leqslant Q$ and $|α-a/q|<ψ(q)/q$.… ▽ More We prove a quantitative version of the Duffin-Schaeffer conjecture with an almost sharp error term. Precisely, let $ψ:\mathbb{N}\to[0,1/2]$ be a function such that the series $\sum_{q=1}^\infty \varphi(q)ψ(q)/q$ diverges. In addition, given $α\in\mathbb{R}$ and $Q\geqslant1$, let $N(α;Q)$ be the number of coprime pairs $(a,q)\in\mathbb{Z}\times\mathbb{N}$ with $q\leqslant Q$ and $|α-a/q|<ψ(q)/q$. Lastly, let $Ψ(Q)=\sum_{q\leqslant Q}2\varphi(q)ψ(q)/q$, which is the expected value of $N(α;Q)$ when $α$ is uniformly chosen from $[0, 1]$. We prove that $N(α;Q)=Ψ(Q)+O_{α,\varepsilon}(Ψ(Q)^{1/2+\varepsilon})$ for almost all $α$ (in the Lebesgue sense) and for every fixed $\varepsilon>0$. This improves upon results of Koukoulopoulos-Maynard and of Aistleitner-Borda-Hauke. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 40 pages. arXiv admin note: text overlap with arXiv:1907.04593

MSC Class: Primary: 11J83. Secondary: 05C40

Skolem Meets Bateman-Horn

Authors: Florian Luca, James Maynard, Armand Noubissie, Joël Ouaknine, James Worrell

Abstract: 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, amongst many others. Decidability of the Skolem Problem is notoriously open. The state of the art is a decision procedure for recurrences of… ▽ More 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, amongst many others. Decidability of the Skolem Problem 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 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 $0.29$. We show moreover that this set has density one subject to the Bateman-Horn conjecture. The latter is a central unifying hypothesis concerning the frequency of prime numbers among the values of systems of polynomials. △ Less

Submitted 20 February, 2024; v1 submitted 2 August, 2023; originally announced August 2023.

ACM Class: F.3.0; G.2.0; I.1.2

Manifestations of Xenophobia in AI Systems

Authors: Nenad Tomasev, Jonathan Leader Maynard, Iason Gabriel

Abstract: Xenophobia is one of the key drivers of marginalisation, discrimination, and conflict, yet many prominent machine learning (ML) fairness frameworks fail to comprehensively measure or mitigate the resulting xenophobic harms. Here we aim to bridge this conceptual gap and help facilitate safe and ethical design of artificial intelligence (AI) solutions. We ground our analysis of the impact of xenopho… ▽ More Xenophobia is one of the key drivers of marginalisation, discrimination, and conflict, yet many prominent machine learning (ML) fairness frameworks fail to comprehensively measure or mitigate the resulting xenophobic harms. Here we aim to bridge this conceptual gap and help facilitate safe and ethical design of artificial intelligence (AI) solutions. We ground our analysis of the impact of xenophobia by first identifying distinct types of xenophobic harms, and then applying this framework across a number of prominent AI application domains, reviewing the potential interplay between AI and xenophobia on social media and recommendation systems, healthcare, immigration, employment, as well as biases in large pre-trained models. These help inform our recommendations towards an inclusive, xenophilic design of future AI systems. △ Less

Submitted 6 October, 2023; v1 submitted 15 December, 2022; originally announced December 2022.

On the largest prime factor of quartic polynomial values: the cyclic and dihedral cases

Authors: Cécile Dartyge, James Maynard

Abstract: 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}$. 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}$. △ Less

Submitted 6 December, 2022; originally announced December 2022.

MSC Class: 11N32; 11N05

Half-isolated zeros and zero-density estimates

Authors: James Maynard, Kyle Pratt

Abstract: 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… ▽ More 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. △ Less

Submitted 29 May, 2023; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: 39 pages, 2 figures. Version 2 has stronger results and a simpler argument

A new upper bound for sets with no square differences

Authors: Thomas F. Bloom, James Maynard

Abstract: 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édi. 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édi. △ Less

Submitted 24 February, 2021; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: 20 Pages

MSC Class: 11B30

Simultaneous small fractional parts of polynomials

Authors: James Maynard

Abstract: 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… ▽ More 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$. △ Less

Submitted 24 November, 2020; originally announced November 2020.

Comments: 26 pages

MSC Class: 11J54; 11J25

Metric theory of Weyl sums

Authors: Changhao Chen, Bryce Kerr, James Maynard, Igor Shparlinski

Abstract: 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 π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… ▽ More 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 π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. △ Less

Submitted 16 November, 2020; originally announced November 2020.

Comments: arXiv admin note: text overlap with arXiv:2004.02539

Primes in arithmetic progressions to large moduli III: Uniform residue classes

Authors: James Maynard

Abstract: 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+δ}$ 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 la… ▽ More 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+δ}$ 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. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: 79 Pages

MSC Class: 11N05

Primes in arithmetic progressions to large moduli II: Well-factorable estimates

Authors: James Maynard

Abstract: We establish new mean value theorems for primes of size $x$ in arithmetic progressions to moduli as large as $x^{3/5-ε}$ 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-ε}$. This has consequences for the level of distribution for sieve weights coming from the linear sieve. We establish new mean value theorems for primes of size $x$ in arithmetic progressions to moduli as large as $x^{3/5-ε}$ 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-ε}$. This has consequences for the level of distribution for sieve weights coming from the linear sieve. △ Less

Submitted 12 June, 2020; originally announced June 2020.

Comments: 26 Pages

MSC Class: 11N05; 11N35

Primes in arithmetic progressions to large moduli I: Fixed residue classes

Authors: James Maynard

Abstract: 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+δ}$ with a 'convenient sized' factor. As a consequence, the expected asymptotic holds for all but $O(δQ)$ moduli $q\sim Q=x^{1/2+δ}$ and we get results for moduli as large as… ▽ More 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+δ}$ with a 'convenient sized' factor. As a consequence, the expected asymptotic holds for all but $O(δQ)$ moduli $q\sim Q=x^{1/2+δ}$ 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). △ Less

Submitted 5 April, 2021; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: 102 Pages; Corrected statement of Lemma 18.1 (main results unchanged)

MSC Class: 11N05

On the Twin Prime Conjecture

Authors: James Maynard

Abstract: We discuss various recent advances on weak forms of the Twin Prime Conjecture. We discuss various recent advances on weak forms of the Twin Prime Conjecture. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: 29 Pages; old survey article from Takagi Lectures. arXiv admin note: text overlap with arXiv:1910.13450

MSC Class: 11N05

Gaps between primes

Authors: James Maynard

Abstract: 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 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. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: 16 Pages; old survey paper for the ICM

MSC Class: 11N05

Digits of primes

Authors: James Maynard

Abstract: 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 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. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: 18 pages; Older survey article for European Congress of Mathematics

MSC Class: 11N05

Sums of two squares in short intervals

Authors: James Maynard

Abstract: 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 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. △ Less

Submitted 29 October, 2019; originally announced October 2019.

Comments: 18 pages; old article in Springer Volume dedicated to Helmut Maier

MSC Class: 11N35

A lower bound on the LCM of polynomial sequences

Authors: James Maynard, Zeev Rudnick

Abstract: 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… ▽ More 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$. △ Less

Submitted 27 January, 2020; v1 submitted 29 October, 2019; originally announced October 2019.

Comments: 7 pages. Version 2: Minor typos

MSC Class: 11A05

On the Duffin-Schaeffer conjecture

Authors: Dimitris Koukoulopoulos, James Maynard

Abstract: Let $ψ:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $α$ for which there are infinitely many reduced fractions $a/q$ such that $|α-a/q|\le ψ(q)/q$. If $\sum_{q=1}^\infty ψ(q)φ(q)/q=\infty$, we show that $\mathcal{A}$ has full Lebesgue measure. This answers a question of Duffin and Schaef… ▽ More Let $ψ:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $α$ for which there are infinitely many reduced fractions $a/q$ such that $|α-a/q|\le ψ(q)/q$. If $\sum_{q=1}^\infty ψ(q)φ(q)/q=\infty$, we show that $\mathcal{A}$ has full Lebesgue measure. This answers a question of Duffin and Schaeffer. As a corollary, we also establish a conjecture due to Catlin regarding non-reduced solutions to the inequality $|α- a/q|\le ψ(q)/q$, giving a refinement of Khinchin's Theorem. △ Less

Submitted 2 May, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: Final version, 46 pages, to appear in Annals of Mathematics. Fixed a typo in equation (14.1) from the previous version

MSC Class: 11J83 (Primary); 05C40 (Secondary)

Machine-Assisted Proofs (ICM 2018 Panel)

Authors: James Davenport, Bjorn Poonen, James Maynard, Harald Helfgott, Pham Huu Tiep, Luís Cruz-Filipe

Abstract: This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic. This submission to arXiv is the report of a panel session at the 2018 International Congress of Mathematicians (Rio de Janeiro, August). It is intended that, while v1 is that report, this stays a living document containing the panelists', and others', reflections on the topic. △ Less

Submitted 21 September, 2018; originally announced September 2018.

MSC Class: 03-04; 11-04; 20-04;

Sign changes of Kloosterman sums and exceptional characters

Authors: Sary Drappeau, James Maynard

Abstract: We prove that the existence of exceptional real zeroes of Dirichlet $L$-functions would lead to cancellations in the sum $\sum_{p\leq x} \Kl(1, p)$ of Kloosterman sums over primes, and also to sign changes of $\Kl(1, n)$, where $n$ runs over integers with exactly two prime factors. Our arguments involve a variant of Bombieri's sieve, bounds for twisted sums of Kloosterman sums, and work of Fouvry… ▽ More We prove that the existence of exceptional real zeroes of Dirichlet $L$-functions would lead to cancellations in the sum $\sum_{p\leq x} \Kl(1, p)$ of Kloosterman sums over primes, and also to sign changes of $\Kl(1, n)$, where $n$ runs over integers with exactly two prime factors. Our arguments involve a variant of Bombieri's sieve, bounds for twisted sums of Kloosterman sums, and work of Fouvry and Michel on sums of $\left| \Kl(1, n)\right|$. △ Less

Submitted 28 February, 2018; originally announced February 2018.

Comments: 11 pages

MSC Class: 11L05; 11N36 (Primary); 11N75; 11L20; 11M20 (Secondary)

Journal ref: Proc. Amer. Math Soc., 147 (2019), pp. 77-90

Long gaps in sieved sets

Authors: Kevin Ford, Sergei Konyagin, James Maynard, Carl Pomerance, Terence Tao

Abstract: For each prime $p$, let $I_p \subset \mathbb{Z}/p\mathbb{Z}$ denote a collection of residue classes modulo $p$ such that the cardinalities $|I_p|$ are bounded and about $1$ on average. We show that for sufficiently large $x$, the sifted set $\{ n \in \mathbb{Z}: n \pmod{p} \not \in I_p \hbox{ for all }p \leq x\}$ contains gaps of size at least $x (\log x)^δ $ where $δ>0$ depends only on the densit… ▽ More For each prime $p$, let $I_p \subset \mathbb{Z}/p\mathbb{Z}$ denote a collection of residue classes modulo $p$ such that the cardinalities $|I_p|$ are bounded and about $1$ on average. We show that for sufficiently large $x$, the sifted set $\{ n \in \mathbb{Z}: n \pmod{p} \not \in I_p \hbox{ for all }p \leq x\}$ contains gaps of size at least $x (\log x)^δ $ where $δ>0$ depends only on the density of primes for which $I_p\ne \emptyset$. This improves on the "trivial" bound of $\gg x$. As a consequence, for any non-constant polynomial $f:\mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient, the set $\{ n \leq X: f(n) \hbox{ composite}\}$ contains an interval of consecutive integers of length $\ge (\log X) (\log\log X)^δ$ for sufficiently large $X$, where $δ>0$ depends only on the degree of $f$. △ Less

Submitted 19 September, 2022; v1 submitted 21 February, 2018; originally announced February 2018.

Comments: Corrects a number of errors in the published version pointed out to us by Mikhail Gabdullin. The specific corrections are listed in an Appendix. One of these causes a slight degradation of the numerical values for the exponents of log log x in Theorem 1 and Corollaries

MSC Class: 11N35; 11N32; 11B05

Journal ref: J. European Math. Soc. 23 (2021), 667-700. Corrigendum: J. European Math. Soc. (JEMS) 25 (2023), no. 6, 2483--2485

Vinogradov's theorem with almost equal summands

Authors: Kaisa Matomäki, James Maynard, Xuancheng Shao

Abstract: Let $θ> 11/20$. We prove that every sufficiently large odd integer $n$ can be written as a sum of three primes $n = p_1 + p_2 + p_3$ with $|p_i - n/3| \leq n^θ$ for $i\in\{1,2,3\}$. Let $θ> 11/20$. We prove that every sufficiently large odd integer $n$ can be written as a sum of three primes $n = p_1 + p_2 + p_3$ with $|p_i - n/3| \leq n^θ$ for $i\in\{1,2,3\}$. △ Less

Submitted 13 March, 2017; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: 27 pages

MSC Class: 11P32; 11P55; 11N35

Sieve weights and their smoothings

Authors: Andrew Granville, Dimitris Koukoulopoulos, James Maynard

Abstract: We obtain asymptotic formulas for the $2k$th moments of partially smoothed divisor sums of the Möbius function. When $2k$ is small compared with $A$, the level of smoothing, then the main contribution to the moments come from integers with only large prime factors, as one would hope for in sieve weights. However if $2k$ is any larger, compared with $A$, then the main contribution to the moments co… ▽ More We obtain asymptotic formulas for the $2k$th moments of partially smoothed divisor sums of the Möbius function. When $2k$ is small compared with $A$, the level of smoothing, then the main contribution to the moments come from integers with only large prime factors, as one would hope for in sieve weights. However if $2k$ is any larger, compared with $A$, then the main contribution to the moments come from integers with quite a few prime factors, which is not the intention when designing sieve weights. The threshold for "small" occurs when $A=\frac 1{2k} \binom{2k}{k}-1$. One can ask analogous questions for polynomials over finite fields and for permutations, and in these cases the moments behave rather differently, with even less cancellation in the divisor sums. We give, we hope, a plausible explanation for this phenomenon, by studying the analogous sums for Dirichlet characters, and obtaining each type of behaviour depending on whether or not the character is "exceptional". △ Less

Submitted 8 April, 2020; v1 submitted 21 June, 2016; originally announced June 2016.

Comments: Final version, 85 pages, to appear in Ann. Sci. Éc. Norm. Supér.. Added abstract in French and made several minor changes compared to the previous version

MSC Class: Primary: 11N35; 11N37; Secondary: 11T06; 20B30; 05A05

Primes with restricted digits

Authors: James Maynard

Abstract: Let $a_0\in\{0,\dots,9\}$. We show there are infinitely many prime numbers which do not have the digit $a_0$ in their decimal expansion. The proof is an application of the Hardy-Littlewood circle method to a binary problem, and rests on obtaining suitable `Type I' and `Type II' arithmetic information for use in Harman's sieve to control the minor arcs. This is obtained by decorrelating Diophanti… ▽ More Let $a_0\in\{0,\dots,9\}$. We show there are infinitely many prime numbers which do not have the digit $a_0$ in their decimal expansion. The proof is an application of the Hardy-Littlewood circle method to a binary problem, and rests on obtaining suitable `Type I' and `Type II' arithmetic information for use in Harman's sieve to control the minor arcs. This is obtained by decorrelating Diophantine conditions which dictate when the Fourier transform of the primes is large from digital conditions which dictate when the Fourier transform of numbers with restricted digits is large. These estimates rely on a combination of the geometry of numbers, the large sieve and moment estimates obtained by comparison with a Markov process. △ Less

Submitted 28 October, 2019; v1 submitted 4 April, 2016; originally announced April 2016.

Comments: 70 pages

MSC Class: 11N05; 11A63

Chains of large gaps between primes

Authors: Kevin Ford, James Maynard, Terence Tao

Abstract: Let $p_n$ denote the $n$-th prime, and for any $k \geq 1$ and sufficiently large $X$, define the quantity $$ G_k(X) := \max_{p_{n+k} \leq X} \min( p_{n+1}-p_n, \dots, p_{n+k}-p_{n+k-1} ),$$ which measures the occurrence of chains of $k$ consecutive large gaps of primes. Recently, with Green and Konyagin, the authors showed that \[ G_1(X) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \l… ▽ More Let $p_n$ denote the $n$-th prime, and for any $k \geq 1$ and sufficiently large $X$, define the quantity $$ G_k(X) := \max_{p_{n+k} \leq X} \min( p_{n+1}-p_n, \dots, p_{n+k}-p_{n+k-1} ),$$ which measures the occurrence of chains of $k$ consecutive large gaps of primes. Recently, with Green and Konyagin, the authors showed that \[ G_1(X) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}\] for sufficiently large $X$. In this note, we combine the arguments in that paper with the Maier matrix method to show that \[ G_k(X) \gg \frac{1}{k^2} \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}\] for any fixed $k$ and sufficiently large $X$. The implied constant is effective and independent of $k$. △ Less

Submitted 13 November, 2015; originally announced November 2015.

Comments: 16 pages, no figures

MSC Class: 11N05; 11N35

Journal ref: "Irregularities in the distribution of prime numbers", (J. Pintz, M. Th. Rassias, eds.), Springer, 2018, p. 1-21

Primes and polynomials with restricted digits

Authors: James Maynard

Abstract: Let $q$ be a sufficiently large integer, and $a_0\in\{0,\dots,q-1\}$. We show there are infinitely many prime numbers which do not have the digit $a_0$ in their base $q$ expansion. Similar results are obtained for values of a polynomial (satisfying the necessary local conditions) and if multiple digits are excluded. Our proof is based on the Hardy-Littlewood circle method and Fourier analysis of… ▽ More Let $q$ be a sufficiently large integer, and $a_0\in\{0,\dots,q-1\}$. We show there are infinitely many prime numbers which do not have the digit $a_0$ in their base $q$ expansion. Similar results are obtained for values of a polynomial (satisfying the necessary local conditions) and if multiple digits are excluded. Our proof is based on the Hardy-Littlewood circle method and Fourier analysis of the set of integers with no digit equal to $a_0$ in base $q$. △ Less

Submitted 26 October, 2015; originally announced October 2015.

Comments: 18 pages

MSC Class: 11N05; 11C08

Primes represented by incomplete norm forms

Authors: James Maynard

Abstract: Let $K=\mathbb{Q}(ω)$ with $ω$ the root of a degree $n$ monic irreducible polynomial $f\in\mathbb{Z}[X]$. We show the degree $n$ polynomial $N(\sum_{i=1}^{n-k}x_iω^{i-1})$ in $n-k$ variables formed by setting the final $k$ coefficients to 0 takes the expected asymptotic number of prime values if $n\ge 4k$. In the special case $K=\mathbb{Q}(\sqrt[n]θ)$, we show… ▽ More Let $K=\mathbb{Q}(ω)$ with $ω$ the root of a degree $n$ monic irreducible polynomial $f\in\mathbb{Z}[X]$. We show the degree $n$ polynomial $N(\sum_{i=1}^{n-k}x_iω^{i-1})$ in $n-k$ variables formed by setting the final $k$ coefficients to 0 takes the expected asymptotic number of prime values if $n\ge 4k$. In the special case $K=\mathbb{Q}(\sqrt[n]θ)$, we show $N(\sum_{i=1}^{n-k}x_i\sqrt[n]{θ^{i-1}})$ takes infinitely many prime values provided $n\ge 22k/7$. Our proof relies on using suitable `Type I' and `Type II' estimates in Harman's sieve, which are established in a similar overall manner to the previous work of Friedlander and Iwaniec on prime values of $X^2+Y^4$ and of Heath-Brown on $X^3+2Y^3$. Our proof ultimately relies on employing explicit elementary estimates from the geometry of numbers and algebraic geometry to control the number of highly skewed lattices appearing in our final estimates. △ Less

Submitted 28 October, 2019; v1 submitted 17 July, 2015; originally announced July 2015.

Comments: 103 pages; v2 is significant rewrite of v1, main results unchanged

MSC Class: 11N05; 11N35; 11R44

Long gaps between primes

Authors: Kevin Ford, Ben Green, Sergei Konyagin, James Maynard, Terence Tao

Abstract: Let $p_n$ denotes the $n$-th prime. We prove that $$\max_{p_{n+1} \leq X} (p_{n+1}-p_n) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}$$ for sufficiently large $X$, improving upon recent bounds of the first three and fifth authors and of the fourth author. Our main new ingredient is a generalization of a hypergraph covering theorem of Pippenger and Spencer, proven using the Rödl… ▽ More Let $p_n$ denotes the $n$-th prime. We prove that $$\max_{p_{n+1} \leq X} (p_{n+1}-p_n) \gg \frac{\log X \log \log X\log\log\log\log X}{\log \log \log X}$$ for sufficiently large $X$, improving upon recent bounds of the first three and fifth authors and of the fourth author. Our main new ingredient is a generalization of a hypergraph covering theorem of Pippenger and Spencer, proven using the Rödl nibble method. △ Less

Submitted 14 July, 2016; v1 submitted 16 December, 2014; originally announced December 2014.

Comments: (i) in the introduction, we added a corollary about the least prime in an arithmetic progression; (ii) relaxed the hypotheses of Cor. 4: now sets P' and Q' may be arbitrary sets, not necessarily sets of primes; this has an application (arXiv:1607.02543); (iii) updated many references

MSC Class: 11N05; 11N35; 05C70

Journal ref: J. Amer. Math. Soc., 31 (2018), no. 1, 65-105

Large gaps between primes

Authors: James Maynard

Abstract: We show that there exists pairs of consecutive primes less than $x$ whose difference is larger than $t(1+o(1))(\log{x})(\log\log{x})(\log\log\log\log{x})(\log\log\log{x})^{-2}$ for any fixed $t$. Our proof works by incorporating recent progress in sieve methods related to small gaps between primes into the Erdos-Rankin construction. This answers a well-known question of Erdos. We show that there exists pairs of consecutive primes less than $x$ whose difference is larger than $t(1+o(1))(\log{x})(\log\log{x})(\log\log\log\log{x})(\log\log\log{x})^{-2}$ for any fixed $t$. Our proof works by incorporating recent progress in sieve methods related to small gaps between primes into the Erdos-Rankin construction. This answers a well-known question of Erdos. △ Less

Submitted 28 October, 2019; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: 18 pages; minor corrections

MSC Class: 11N05; 11N35

Dense clusters of primes in subsets

Authors: James Maynard

Abstract: We prove a generalization of the author's work to show that any subset of the primes which is `well-distributed' in arithmetic progressions contains many primes which are close together. Moreover, our bounds hold with some uniformity in the parameters. As applications, we show there are infinitely many intervals of length $(\log{x})^ε$ containing $\gg_ε\log\log{x}$ primes, and show lower bounds of… ▽ More We prove a generalization of the author's work to show that any subset of the primes which is `well-distributed' in arithmetic progressions contains many primes which are close together. Moreover, our bounds hold with some uniformity in the parameters. As applications, we show there are infinitely many intervals of length $(\log{x})^ε$ containing $\gg_ε\log\log{x}$ primes, and show lower bounds of the correct order of magnitude for the number of strings of $m$ congruent primes with $p_{n+m}-p_n\le ε\log{x}$. △ Less

Submitted 16 December, 2014; v1 submitted 11 May, 2014; originally announced May 2014.

Comments: 35 pages; clarified some statements

MSC Class: 11N05; 11N35

On limit points of the sequence of normalized prime gaps

Authors: William D. Banks, Tristan Freiberg, James Maynard

Abstract: Let $p_n$ denote the $n$th smallest prime number, and let $\boldsymbol{L}$ denote the set of limit points of the sequence $\{(p_{n+1} - p_n)/\log p_n\}_{n = 1}^{\infty}$ of normalized differences between consecutive primes. We show that for $k = 9$ and for any sequence of $k$ nonnegative real numbers $β_1 \le β_2 \le ... \le β_k$, at least one of the numbers $β_j - β_i$ ($1 \le i < j \le k$) belon… ▽ More Let $p_n$ denote the $n$th smallest prime number, and let $\boldsymbol{L}$ denote the set of limit points of the sequence $\{(p_{n+1} - p_n)/\log p_n\}_{n = 1}^{\infty}$ of normalized differences between consecutive primes. We show that for $k = 9$ and for any sequence of $k$ nonnegative real numbers $β_1 \le β_2 \le ... \le β_k$, at least one of the numbers $β_j - β_i$ ($1 \le i < j \le k$) belongs to $\boldsymbol{L}$. It follows at least $12.5%$ of all nonnegative real numbers belong to $\boldsymbol{L}$. △ Less

Submitted 20 October, 2014; v1 submitted 20 April, 2014; originally announced April 2014.

Comments: Revised and improved

MSC Class: 11N05 (Primary); 11N36 (Secondary)

Small gaps between primes

Authors: James Maynard

Abstract: We introduce a refinement of the GPY sieve method for studying prime $k$-tuples and small gaps between primes. This refinement avoids previous limitations of the method, and allows us to show that for each $k$, the prime $k$-tuples conjecture holds for a positive proportion of admissible $k$-tuples. In particular, $\liminf_{n}(p_{n+m}-p_n)<\infty$ for any integer $m$. We also show that… ▽ More We introduce a refinement of the GPY sieve method for studying prime $k$-tuples and small gaps between primes. This refinement avoids previous limitations of the method, and allows us to show that for each $k$, the prime $k$-tuples conjecture holds for a positive proportion of admissible $k$-tuples. In particular, $\liminf_{n}(p_{n+m}-p_n)<\infty$ for any integer $m$. We also show that $\liminf(p_{n+1}-p_n)\le 600$, and, if we assume the Elliott-Halberstam conjecture, that $\liminf_n(p_{n+1}-p_n)\le 12$ and $\liminf_n (p_{n+2}-p_n)\le 600$. △ Less

Submitted 28 October, 2019; v1 submitted 18 November, 2013; originally announced November 2013.

Comments: 25 pages; corrected typos

MSC Class: 11N05; 11N35; 11N36

Bounded length intervals containing two primes and an almost-prime II

Authors: James Maynard

Abstract: Zhang has shown there are infinitely many intervals of bounded length containing two primes. It appears that the current techniques cannot prove that there are infinitely many intervals of bounded length containing three primes, even if strong conjectures such as the Elliott-Halberstam conjecture are assumed. We show that there are infinitely many intervals of length at most $10^8$ which contain t… ▽ More Zhang has shown there are infinitely many intervals of bounded length containing two primes. It appears that the current techniques cannot prove that there are infinitely many intervals of bounded length containing three primes, even if strong conjectures such as the Elliott-Halberstam conjecture are assumed. We show that there are infinitely many intervals of length at most $10^8$ which contain two primes and a number with at most 31 prime factors. △ Less

Submitted 4 June, 2013; originally announced June 2013.

Comments: 10 pages

MSC Class: 11N05; 11N35

3-tuples have at most 7 prime factors infinitely often

Authors: James Maynard

Abstract: Let $L_1$, $L_2$ $L_3$ be integer linear functions with no fixed prime divisor. We show there are infinitely many $n$ for which the product $L_1(n)L_2(n)L_3(n)$ has at most 7 prime factors, improving a result of Porter. We do this by means of a weighted sieve based upon the Diamond-Halberstam-Richert multidimensional sieve. Let $L_1$, $L_2$ $L_3$ be integer linear functions with no fixed prime divisor. We show there are infinitely many $n$ for which the product $L_1(n)L_2(n)L_3(n)$ has at most 7 prime factors, improving a result of Porter. We do this by means of a weighted sieve based upon the Diamond-Halberstam-Richert multidimensional sieve. △ Less

Submitted 22 May, 2012; originally announced May 2012.

Comments: 13 Pages

MSC Class: 11N05; 11N35; 11N36

Bounded length intervals containing two primes and an almost-prime

Authors: James Maynard

Abstract: Goldston, Pintz and Yıldırım have shown that if the primes have `level of distribution' $θ$ for some $θ>1/2$ then there exists a constant $C(θ)$, such that there are infinitely many integers $n$ for which the interval $[n,n+C(θ)]$ contains two primes. We show under the same assumption that for any integer $k\ge 1$ there exists constants $D(θ,k)$ and $r(θ,k)$, such that there are infinitely many in… ▽ More Goldston, Pintz and Yıldırım have shown that if the primes have `level of distribution' $θ$ for some $θ>1/2$ then there exists a constant $C(θ)$, such that there are infinitely many integers $n$ for which the interval $[n,n+C(θ)]$ contains two primes. We show under the same assumption that for any integer $k\ge 1$ there exists constants $D(θ,k)$ and $r(θ,k)$, such that there are infinitely many integers $n$ for which the interval $[n,n+D(θ,k)]$ contains two primes and $k$ almost-primes, with all of the almost-primes having at most $r(θ,k)$ prime factors. If $θ$ can be taken as large as $1-ε$, and provided that numbers with 2, 3, or 4 prime factors also have level of distribution $1-ε$, we show that there are infinitely many integers $n$ such that the interval $[n,n+90]$ contains 2 primes and a number with at most 4 prime factors. △ Less

Submitted 22 May, 2012; originally announced May 2012.

Comments: 13 Pages

MSC Class: 11N05; 11N36

Almost-prime $k$-tuples

Authors: James Maynard

Abstract: Let $k\ge 2$ and $Π(n)=\prod_{i=1}^k(a_in+b_i)$ for some integers $a_i, b_i$ ($1\le i\le k$). Suppose that $Π(n)$ has no fixed prime divisors. Weighted sieves have shown for infinitely many integers $n$ that $Ω(Π(n))\le r_k$ holds for some integer $r_k$ which is asymptotic to $k\log{k}$. We use a new kind of weighted sieve to improve the possible values of $r_k$ when $k\ge 4$. Let $k\ge 2$ and $Π(n)=\prod_{i=1}^k(a_in+b_i)$ for some integers $a_i, b_i$ ($1\le i\le k$). Suppose that $Π(n)$ has no fixed prime divisors. Weighted sieves have shown for infinitely many integers $n$ that $Ω(Π(n))\le r_k$ holds for some integer $r_k$ which is asymptotic to $k\log{k}$. We use a new kind of weighted sieve to improve the possible values of $r_k$ when $k\ge 4$. △ Less

Submitted 21 May, 2012; originally announced May 2012.

Comments: 26 pages

MSC Class: 11N36; 11N05; 11N35

On the difference between consecutive primes

Authors: J. Maynard

Abstract: Update: This work reproduces an earlier result of Peck, which the author was initially unaware of. The method of the proof is essentially the same as the original work of Peck. There are no new results. We show that the sum of squares of differences between consecutive primes $\sum_{p_n\le x}(p_{n+1}-p_n)^2$ is bounded by $x^{5/4+ε}$ for $x$ sufficiently large and any fixed $ε>0$. The proof reli… ▽ More Update: This work reproduces an earlier result of Peck, which the author was initially unaware of. The method of the proof is essentially the same as the original work of Peck. There are no new results. We show that the sum of squares of differences between consecutive primes $\sum_{p_n\le x}(p_{n+1}-p_n)^2$ is bounded by $x^{5/4+ε}$ for $x$ sufficiently large and any fixed $ε>0$. The proof relies on utilising various mean-value estimates for Dirichlet polynomials. △ Less

Submitted 5 November, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

Comments: The result is the same as an already existing result of Peck

MSC Class: 11N05

On the Brun-Titchmarsh Theorem

Authors: J. Maynard

Abstract: The Brun-Titchmarsh theorem shows that the number of primes $\le x$ which are congruent to $a\pmod{q}$ is $\le (C+o(1))x/(φ(q)\log{x})$ for some value $C$ depending on $\log{x}/\log{q}$. Different authors have provided different estimates for $C$ in different ranges for $\log{x}/\log{q}$, all of which give $C>2$. We show that one can take C=2 provided that $\log{x}/\log{q}\ge 8$. Without excluding… ▽ More The Brun-Titchmarsh theorem shows that the number of primes $\le x$ which are congruent to $a\pmod{q}$ is $\le (C+o(1))x/(φ(q)\log{x})$ for some value $C$ depending on $\log{x}/\log{q}$. Different authors have provided different estimates for $C$ in different ranges for $\log{x}/\log{q}$, all of which give $C>2$. We show that one can take C=2 provided that $\log{x}/\log{q}\ge 8$. Without excluding the possibility of an exceptional Siegel zero, we cannot have $C<2$ and so this result is best-possible in this sense. We obtain this result using analytic methods developed in the study of Linnik's constant. In particular, we obtain explicit bounds on the number of zeroes of Dirichlet $L$-functions with real part close to 1 and imaginary part of size O(1). △ Less

Submitted 21 May, 2012; v1 submitted 9 January, 2012; originally announced January 2012.

Comments: 47 Pages

MSC Class: 11N13; 11N05; 11M06; 11M20

Annealing a Magnetic Cactus into Phyllotaxis

Authors: Cristiano Nisoli, Nathaniel M. Gabor, Paul E. Lammert, J. D. Maynard, Vincent H. Crespi

Abstract: The appearance of mathematical regularities in the disposition of leaves on a stem, scales on a pine-cone and spines on a cactus has puzzled scholars for millennia; similar so-called phyllotactic patterns are seen in self-organized growth, polypeptides, convection, magnetic flux lattices and ion beams. Levitov showed that a cylindrical lattice of repulsive particles can reproduce phyllotaxis und… ▽ More The appearance of mathematical regularities in the disposition of leaves on a stem, scales on a pine-cone and spines on a cactus has puzzled scholars for millennia; similar so-called phyllotactic patterns are seen in self-organized growth, polypeptides, convection, magnetic flux lattices and ion beams. Levitov showed that a cylindrical lattice of repulsive particles can reproduce phyllotaxis under the (unproved) assumption that minimum of energy would be achieved by 2-D Bravais lattices. Here we provide experimental and numerical evidence that the Phyllotactic lattice is actually a ground state. When mechanically annealed, our experimental "magnetic cactus" precisely reproduces botanical phyllotaxis, along with domain boundaries (called transitions in Botany) between different phyllotactic patterns. We employ a structural genetic algorithm to explore the more general axially unconstrained case, which reveals multijugate (multiple spirals) as well as monojugate (single spiral) phyllotaxis. △ Less

Submitted 2 February, 2010; originally announced February 2010.

Comments: 9 Pages 11 Figures

Journal ref: Physical Review E 81 (4), 046107 (2010)

Thermal History of Solid 4He Under Oscillation

Authors: A. C. Clark, J. D. Maynard, M. H. W. Chan

Abstract: We have studied the thermal history of the resonant frequency of a torsional oscillator containing solid 4He. We find that the magnitude of the frequency shift that occurs below 100 mK is multivalued in the low temperature limit, with the exact value depending on how the state is prepared. This result can be qualitatively explained in terms of the motion and pinning of quantized vortices within… ▽ More We have studied the thermal history of the resonant frequency of a torsional oscillator containing solid 4He. We find that the magnitude of the frequency shift that occurs below 100 mK is multivalued in the low temperature limit, with the exact value depending on how the state is prepared. This result can be qualitatively explained in terms of the motion and pinning of quantized vortices within the sample. Several aspects of the data are also consistent with the response of dislocation lines to oscillating stress fields imposed on the solid. △ Less

Submitted 13 January, 2008; v1 submitted 22 November, 2007; originally announced November 2007.

Comments: 7 pages, 6 figures