1 Introduction

The long-standing twin prime conjecture asserts that, if is the -th prime, then One of many reasons for the difficulty of the conjecture is the fact that it imposes additive structure on primes, which are defined multiplicatively. The twin prime conjecture is a special case of a more general conjecture, the Hardy–Littlewood -tuples conjecture, which we now state. Suppose that is an admissible set (Definition 3.15). The conjecture then states that there are infinitely many positive integers such that each of the numbers is prime. Since is an admissible set, the Hardy–Littlewood -tuples conjecture implies the twin prime conjecture.

The prime number theorem implies that as , the average value of is asymptotic to . Foundational work of Goldston, Pintz, and Yıldırım developed the “GPY method,” which led to the proof that Their method crucially relies on the distribution of primes in arithmetic progressions given by the Bombieri–Vinogradov theorem: If and are fixed, then for all , The Elliott–Halberstam conjecture asserts that can be replaced with . If there exists a fixed such that can be improved to , then the GPY method suffices to establish the infinitude of bounded gaps between primes, namely

In May 2013, Zhang established deep new results on the distribution of primes in arithmetic progressions, a variant of the Bombieri–Vinogradov theorem. When combined with a modification of the GPY method, it yields for the first time the existence of infinitely many bounded gaps between primes: The work of Zhang was meticulously refined by the Polymath 8a project, the net result of which was the bound

In November 2013, the breakthrough work of Maynard1 established a substantially more robust version of the GPY method that leads to significant theoretical and numerical improvements over the work of Zhang using only the original Bombieri–Vinogradov theorem. Writing Maynard proved that , and in particular that . Shortly thereafter, the Polymath8b project theoretically and numerically refined these ideas, obtaining and in particular .

This blueprint develops the bound from a multidimensional sieve. The only result that is assumed is the Bombieri–Vinogradov theorem.

Theorem (Main result). Assume the Bombieri–Vinogradov theorem. Then ; that is,

2 Overview

We give a blueprint of the proof of the bound of Section 1, in a form meant to be formalized in Lean. This section outlines the method; the rest of the paper carries it out. Throughout, the only analytic input is the Bombieri–Vinogradov theorem.

2.1 The GPY method and the sum

Fix an admissible -tuple (Definition 3.15); we seek infinitely many for which at least of are prime. Following Goldston–Pintz–Yıldırım, introduce weights and set with the characteristic function of the primes. If for all large , then infinitely many have at least of the prime: some summand is positive, and since that satisfies . Writing we have One chooses to make large.

2.2 The sieve weights and the -trick

Maynard’s weights are supported on , where is a truncation parameter below the level of distribution . The one-dimensional choice with recovers the Selberg weights of Goldston–Pintz–Yıldırım; for these the level does not suffice to make for any , and it is the extra freedom of the -dimensional that removes this obstruction. The are built from a fixed profile on a subset of fixed in Section 5.

To handle small primes, we restrict to be nonzero only for in a single residue class , where and . By admissibility of and the Chinese remainder theorem there is a with coprime to for every , so no prime divides any .

2.3 The variational problem

Write for the standard simplex scaled to total mass , and . Fix and take supported on . With the primorial of the -trick, the sieve sums satisfy where and is the mass of the th marginal over the slice (Section 5 gives the precise definitions). Since , Provided and satisfy a compatibility condition, is eventually positive when ; two of the are then prime for infinitely many , giving a gap at most the diameter of , once .

The bound is the case , . Enlarging the support to raises the supremum to , exhibited by an explicit from a finite basis of symmetric polynomials, for which the ratio is a quotient of rational quadratic forms verified by the certificate of Section 12. With an admissible -tuple of diameter this gives .

Bombieri–Vinogradov supplies every . The remaining input is the finite numerical inequality , which we prove by exact computation.

3 Definitions and preliminaries

This section collects the objects and standard facts used throughout: the classical arithmetic functions, admissible sets, the level of distribution and the two external inputs (Bombieri–Vinogradov and the prime number theorem), the -trick, and the truncation parameter with the support condition it imposes on the sieve weights.

3.1 Arithmetic functions and standard notation

Notation 3.1 (Standard symbols). We write for the positive integers and for the primes. For integers we write and , and we call and coprime when . For real we write and for the floor and the ceiling. Finally, denotes the indicator function of the primes, so that if and otherwise.

Notation 3.2 (Asymptotic notation). For real-valued functions , the statement means for some constant , which may depend on the tuple length and on (both fixed throughout) but never on . A subscript, as in , records an additional permitted dependence of . We write for , and when as .

Definition 3.3 (Möbius function ). The Möbius function is defined by

Definition 3.4 (Euler totient ). The Euler totient function is defined by

Definition 3.5 (-fold divisor function ). For an integer , the -fold divisor function counts ordered factorisations into positive-integer factors: We abbreviate , the ordinary divisor-counting function .

Definition 3.6 (The function ). Let be the multiplicative function determined on prime powers by for every prime , together with .

Lemma 3.7 (Möbius divisor-sum identity). For every positive integer ,

Proof. If , the only divisor is and by Definition 3.3, so the sum equals . Suppose and let () be the distinct primes dividing . By Definition 3.3, unless is squarefree, so only the divisors of contribute, and such a divisor contributes . Grouping by gives by the binomial theorem, since . ◻

Lemma 3.8 (Submultiplicativity of ). For every integer and all positive integers , with equality when .

Proof. By Definition 3.5, is the -fold Dirichlet convolution of the constant function with itself. Convolution preserves multiplicativity, whence whenever ; this gives the asserted equality.

For the inequality in general, it suffices to produce an injection from the ordered -fold factorisations of into the pairs consisting of an ordered -fold factorisation of and one of . Fix a factorisation . For each prime distribute the exponent between and by the greedy rule: assign to the -part the first of the copies of occurring in , processing in order, and assign the rest to the -part. This produces factorisations and with , and the original factorisation is recovered from the pair, so the assignment is injective. Hence . ◻

Lemma 3.9 (Equality on squarefree integers). For every integer and every squarefree positive integer ,

Proof. Both sides are multiplicative in by Lemma 3.8, so for squarefree with distinct primes it suffices to verify the identity at a single prime argument. An ordered -fold factorisation of a prime has exactly one factor equal to and all others equal to , so ; likewise . Hence , and multiplying over gives . (The hypothesis that be squarefree is essential: for one has in general.) ◻

Proof uses: Lemma 3.8

Lemma 3.10 (Dirichlet convolution identity ). For every positive integer ,

Proof. Both sides are multiplicative functions of : this is standard for , and the divisor sum of the multiplicative function (Definition 3.6) is again multiplicative. It therefore suffices to compare the two sides at a prime power with .

For , For , using for , which is . Multiplicativity now gives the identity for every . ◻

Lemma 3.11 (Euler product identity for ). For every positive integer ,

Proof. The function is the Dirichlet convolution of the multiplicative function with the constant function , hence multiplicative. Evaluating at a prime power with and using for (Definition 3.3), Hence, writing , the divisor sum equals . On the other hand is multiplicative with (Definition 3.4), so as well. The two displayed equalities follow. ◻

Lemma 3.12 (Dirichlet expansion of ). For every positive integer ,

Proof. Both sides are multiplicative in ; for the right-hand side this is because and are multiplicative and the divisor sum of a multiplicative function is multiplicative. It therefore suffices to compare at a prime power with . Since for , the last equality because . Multiplicativity gives the identity in general. ◻

Lemma 3.13 (Lower bound for in terms of ). For every positive integer ,

Proof. Write with distinct primes , so and . For every prime we have , hence by Lemma 3.11 Multiplying through by gives . ◻

Proof uses: Lemma 3.11

Lemma 3.14 (Union bound for finite sums). Let be a finite index set, let be finite subsets of an ambient set, and write for the indicator function of . Then, for every point ,

Proof. If both sides are . If , then for at least one , so the left-hand side equals while the right-hand side is a sum of non-negative terms one of which equals ; the inequality follows. ◻

Throughout the blueprint, Lemma 3.14 is applied in the following form. Given a sum of non-negative terms and a covering by finitely many sub-events, multiplying the displayed indicator inequality by and summing yields The phrase “apply the union bound over the choices of ” denotes this passage.

3.2 Admissible sets

Definition 3.15 (Admissible set). Let . A finite set of distinct non-negative integers is admissible if, for every prime , there exists an integer with

Lemma 3.16 (Cardinality characterisation of admissibility). A finite set is admissible (Definition 3.15) if and only if

Proof. Fix a prime and set . There exists with for every if and only if : given such an , its residue class is missing from ; conversely, if , any representative of a class not in will do. Since is finite of cardinality , the condition is equivalent to . Applying this for every prime gives the claim. ◻

Lemma 3.17 (Admissibility is a finite check). A finite set is admissible (Definition 3.15) if and only if, for every prime , there exists with for every .

Proof. Admissibility trivially implies the stated condition, since the latter only restricts the primes and, as in the proof of Lemma 3.16, one may always replace a missed residue by its representative in .

Conversely, assume the condition and let be an arbitrary prime. If there is nothing to prove. If , then the image of in has at most elements, so it is a proper subset of and some residue class is missed; by Lemma 3.16 this is exactly what admissibility requires at . Hence is admissible. ◻

Proof uses: Lemma 3.16

Lemma 3.17 reduces admissibility — a condition on all primes — to a finite verification, so the admissibility of an explicit tuple is decidable.

Definition 3.18 (Diameter of ). Let be a finite non-empty set of non-negative integers. The diameter of is

Lemma 3.19 (Diameter as largest minus smallest). Let be a finite non-empty set of non-negative integers, labelled so that . Then

Proof. The pair is admissible in the maximum of Definition 3.18 and contributes , so . Conversely, for any we have and , whence ; taking the maximum over gives . ◻

3.3 Prime counting and the level of distribution

Notation 3.20 (Prime-counting functions). For real , a modulus , a residue modulo , and a subset , set When we drop it from the notation and write and ; these are the classical prime-counting function and its analogue in an arithmetic progression. A real argument is always interpreted through its floor, so .

Definition 3.21 (Level of distribution). Let , let , and let be an auxiliary modulus. We say that has level of distribution relative to if for every there is a constant such that, for every real , The unadorned phrase “the primes have level of distribution ” means that has level of distribution relative to .

By Definition 3.21, the level of distribution depends on only through its primes, so the hypothesis may be stated for a set that is not itself a set of primes.

Lemma 3.22 (Insensitivity to intersecting with the primes). Let , let and let . Then has level of distribution relative to if and only if does.

Proof. By Notation 3.20, both and count only elements of that are prime, so for all . The two instances of the inequality in Definition 3.21 are therefore literally the same, so each implies the other. ◻

Proof uses: Notation 3.20

Theorem 1 (Bombieri–Vinogradov). For every , the set has level of distribution relative to .

Proof. This is the classical theorem of Bombieri and Vinogradov, taken as an external input; see Bombieri (1965), Vinogradov (1965), and the textbook treatment in Davenport’s Multiplicative Number Theory. No proof is given here. ◻

Lemma 3.23 (Bombieri–Vinogradov for the primes). Assume Bombieri–Vinogradov (Theorem 1). Then for every the set of primes has level of distribution relative to .

Proof. Fix . By Theorem 1 the set has level of distribution relative to . Since , Lemma 3.22 applied with transfers the property from to . ◻

Proof uses: Lemma 3.22

3.4 External analytic inputs

Two analytic results are quoted from the literature: Bombieri–Vinogradov (Theorem 1, above) and the prime number theorem, stated below. Bombieri–Vinogradov is a hypothesis of both main theorems and is never discharged. The prime number theorem is used once, to count the primes in the dyadic interval, and is quoted with a secondary term. The size bound for the primorial uses Chebyshev-type bounds.

In a proof, “external input” means that the assertion is quoted from the literature and no proof is given here.

Theorem 2 (Prime number theorem with secondary term). There exist a constant and an integer such that, for every integer ,

Proof. This is the prime number theorem in the form , equivalently after partial summation and the passage from to to . It is taken as an external input; no proof is given here. ◻

3.5 Prime counts in a dyadic interval

The sieve runs over the dyadic interval . The two quantities below count the primes in this window and record their discrepancy in arithmetic progressions.

Notation 3.24 (Prime-counting in ).

Uses: Notation 3.1

Lemma 3.25 ( as a difference of prime-counting functions). For every ,

Proof. By Notation 3.20, , the primes being counted once each by the indicator . The set of primes is contained in the set of primes , so the two counts differ by exactly the primes in : the last equality being Notation 3.24. ◻

Theorem 3 (Prime number theorem for ). There exist a constant and an integer such that, for every integer ,

Proof. By Lemma 3.25, . Let and be as furnished by Theorem 2, and take . Applying Theorem 2 at and at , and using to weaken the error term at , It remains to compare the main terms. Since , whose absolute value is at most because . Combining, and writing the triangle inequality gives the claim with . ◻

Proof uses: Lemma 3.25, Theorem 2

Notation 3.26 (Local error ). For , the supremum being over the residue classes modulo that are coprime to . The additive is a convenience: it makes , so that may be used as a multiplicative majorant without a separate case for a vanishing discrepancy.

Lemma 3.27. Assume Bombieri–Vinogradov (Theorem 1). Let and be fixed. Then there is a constant such that, for every ,

Proof. Write for the range of moduli, and put , so that and .

Step 1: bound by two cumulative discrepancies. Fix and a residue coprime to . The window count equals , and by Lemma 3.25. Hence the quantity inside the supremum in Notation 3.26 equals so by the triangle inequality

Step 2: sum over . Since , summing Step 1 over gives and by the definition of .

Step 3: apply the level-of-distribution bound. Set . Since , Lemma 3.23 says the primes have level of distribution relative to , so Definition 3.21 supplies with for all . All summands are non-negative, so restricting to (valid at by the choice of , and at since for ) yields, for , Moreover for , so .

Step 4: absorb the trivial term and the small . The term satisfies for a constant and all : indeed , and . Combining Steps 2–4 gives the asserted bound with a suitable constant for all beyond an explicit threshold; enlarging the constant to accommodate the finitely many remaining (for which the left-hand side is a finite sum, and is empty when ) gives the lemma. ◻

3.6 The -trick

The primes are not equidistributed among the residue classes of a small modulus, and a sieve over inherits this defect in every local factor. The -trick removes the obstruction by restricting to a single residue class modulo the product of all small primes, chosen so that each shifted value is coprime to . The cutoff defining “small” is a triple logarithm, large enough for the local factors to converge and small enough that is negligible against any power of .

Definition 3.28 (The primorial cutoff ). For real , set

Definition 3.29 (The primorial ). Let be as in Definition 3.28. Set the product of all primes not exceeding (an empty product, equal to , when ).

Lemma 3.30 (Prime divisors of ). For every prime ,

Proof. By Definition 3.29, is a product of distinct primes, so a prime divides if and only if is one of the factors, that is, if and only if . Since is an integer, is equivalent to . ◻

Lemma 3.31 ( is squarefree). is squarefree.

Proof. By Definition 3.29, is a product of distinct primes, each occurring to the first power. Hence no prime square divides , i.e.  is squarefree. ◻

Lemma 3.32 (Size of ). For all sufficiently large ,

Proof. We use the elementary Chebyshev-type bound , valid for every integer ; it is proved by induction on using the divisibility of by all primes in together with . No appeal to the prime number theorem is required.

By Definition 3.29 and this bound, whenever . Now by Definition 3.28, so and hence Finally , so once is large enough that — equivalently , which also forces — we may raise the exponent from to and conclude . ◻

Definition 3.33 (Compatible residue class ). Let be a finite set of non-negative integers and let be as in Definition 3.29. An integer is compatible with modulo if

Lemma 3.34 (Existence of ). Let be an admissible set (Definition 3.15) and let be arbitrary. Then there exists with that is compatible with modulo (Definition 3.33).

Proof. By Definition 3.29, is a product of distinct primes . For each such prime , admissibility of (Definition 3.15) supplies a residue with for every ; equivalently, setting , we have for every .

The primes dividing are pairwise coprime, so by the Chinese remainder theorem there is an integer with for every prime . Put , so and for each such .

It remains to check compatibility. Fix . Since is squarefree (Lemma 3.31), holds if and only if no prime divisor of divides ; and by Lemma 3.30 the prime divisors of are exactly the primes , which are the primes handled above. For such a we have by the choice of . Hence for every , i.e.  is compatible with modulo . ◻

Proof uses: Lemma 3.30, Lemma 3.31

Notation 3.35 (Standing notation). We fix throughout: an integer ; an admissible set with ; the parameters and of Definitions 3.28 and 3.29; and a residue compatible with modulo (Definition 3.33). All constants implicit in , and may depend on and on , but never on .

3.7 The truncation parameter and the sieve support

Definition 3.36 (The auxiliary parameter ). Let be a level of distribution (Definition 3.21). Throughout the blueprint, denotes a fixed real number in the open interval which may be chosen arbitrarily small. The proofs treat as a fixed positive constant, and the dependence of error terms on is suppressed in the asymptotic notation of Notation 3.2.

Definition 3.37 (The truncation ). Let be as in Definition 3.36. The sieve truncation parameter is

Lemma 3.38 ( lies below ). Let and be as in Definitions 3.21 and 3.36, let be as in Definition 3.37, and let be a real number with Then, for all sufficiently large ,

Proof. Set , which is positive by hypothesis. By Definition 3.37, so it suffices to show that for all large , since then .

By Lemma 3.32, for all large , and for . Hence for all large . Since for every — powers of the logarithm are dominated by every positive power of — we obtain for all large , as required. ◻

Proof uses: Lemma 3.32

The support condition below is imposed on every sieve weight. It makes the divisor sums finite, keeps the moduli below the Bombieri–Vinogradov range through Lemma 3.38, and decouples the sieve from the small primes absorbed into .

Definition 3.39 (Permissible support at a truncation level). Let be a positive integer, the truncation level. A function has permissible support at level if whenever one of the following three conditions fails:

  1. ;

  2. ;

  3. is squarefree.

Two levels occur below. The development on the standard simplex takes , and the development on the enlarged simplex takes ; the enlargement buys exactly the longer divisors that the larger level admits. Where the level is clear from context we say simply permissible support.

Lemma 3.40 (Permissibility passes to divisors). Let satisfy the three conditions (i)–(iii) of Definition 3.39, and let satisfy for every . Then satisfies (i)–(iii) as well.

Proof. Since for every , we have . Because is squarefree it is in particular non-zero, so , giving (i). A divisor of an integer coprime to is itself coprime to , giving (ii), and a divisor of a squarefree integer is squarefree, giving (iii). ◻

Notation 3.41 (Singular series). For a density the associated singular series is the product being taken over all primes.

4 The sieve datum, the sieve weights, and the auxiliary -variables

4.1 The sieve datum

The sieve estimates below — the Mertens-type partial summations, the evaluation of the local densities, the singular products — depend on the arithmetic function only through a short list of properties: multiplicativity, a uniform gap between and , closeness of to away from a fixed squarefree modulus, and a two-sided Mertens bound on the weighted prime log-sums. We collect this list as a single object, the sieve datum, consisting of the density , the modulus , and the four constants . Every statement below is proved for an arbitrary sieve datum and applied twice: once to the -tricked density , and once, through the same lemmas with a different modulus, in the -coordinate analysis of .

Definition 4.1 (Mertens deviation of a weight). Let and let be real. The Mertens deviation of on is

Definition 4.2 (Density). A density is a function such that

  1. for every ;

  2. ;

  3. whenever ;

  4. for every prime .

Definition 4.3 (Sieve datum). A sieve datum is a tuple consisting of a function , an integer , and real numbers , subject to the following axioms.

  1. Density. is a density in the sense of Definition 4.2.

  2. Growth. and for every prime .

  3. Modulus. is squarefree, and for every prime .

  4. Unit density off the modulus. and for every prime .

  5. Mertens. , , and for all real , with as in Definition 4.1.

We call the density, the modulus, and the constants of .

Axiom (D1) is stated separately from the sieve datum because the same notion of density is also imposed level by level on the -indexed family of -tricked densities from which the constants and are extracted; the two uses share one definition rather than duplicating four axioms. Note also that (D2) forces uniformly in , which is strictly stronger than the pointwise inequality of (D1)(iv); both are recorded because the weaker one is what the construction of needs, and the stronger one is what the analytic estimates need.

Definition 4.4 (The derived multiplicative function ). Let be a sieve datum (Definition 4.3). The derived function is the totally multiplicative function determined by its prime values explicitly, , where is the exponent of in , so that .

Lemma 4.5 ( is well defined and non-negative). Let be a sieve datum and a prime. Then , and .

Proof. Axiom (D1)(iv) of Definition 4.3 gives , i.e. ; hence the quotient defining makes sense. (Axiom (D2) sharpens this to , a bound uniform in , which is what the analytic applications use.) Since by (D1)(i) and the denominator is positive, . ◻

Because is totally multiplicative and non-negative at every prime, for every , and on a squarefree one has . We use both facts freely below.

Definition 4.6 (The convolution summand ). Let be a sieve datum with derived function (Definition 4.4). Define by

Lemma 4.7 ( is supported on integers coprime to the modulus). Let be a sieve datum. If satisfies , then .

Proof. Since , the integer has a prime divisor ; then and . By axiom (D3) of Definition 4.3, ; by Lemma 4.5 the denominator is strictly positive, so Definition 4.4 gives . Write with . Total multiplicativity of gives , whence . ◻

Proof uses: Lemma 4.5

Thus is a non-negative arithmetic function supported on the squarefree integers coprime to , and its partial sums are the input to the partial-summation lemma below. The next function records the deviation of from the model density at each prime not dividing the modulus.

Definition 4.8 (The convolution defect ). Let be a sieve datum with derived function . Define by the product being over the distinct primes dividing (so ).

By construction is multiplicative, vanishes off the squarefree integers coprime to , and takes the value at a prime ; axiom (D4) therefore makes of size .

We now record the density to which the construction is applied.

Definition 4.9 (The -tricked density ). Let . Define to be the totally multiplicative function with prime values that is, , with the exponent of in .

Lemma 4.10 (The Maynard sieve datum). Let be squarefree with , and suppose and are such that for all real . Let be the six-tuple Then is a sieve datum in the sense of Definition 4.3.

Proof. Write . Axiom (D5) is the hypothesis, and the squarefreeness of together with for (immediate from Definition 4.9) is axiom (D3). We check the remaining axioms.

(D1) Density. Every prime value is non-negative — it is either or — so the product over the prime factorisation defining is non-negative, and as an empty product. Total multiplicativity of over prime factorisations gives for all coprime (indeed for all nonzero ). For (iv), if then . If , then because , so ; and is equivalent to , i.e. to , which holds.

(D2) Growth with . Certainly . If then . If then as above, and .

(D4) Unit density with . Clearly . Let . Then and is equivalent to , i.e. to , which holds for every prime. ◻

In the application is the primorial modulus of the -trick (Definition 3.29), which is squarefree and even as soon as ; the constants and are then supplied, uniformly in , by the Mertens estimates for the family .

4.2 Tensor sieve coefficients

Notation 4.11 (Boldface -tuple convention). A boldface symbol such as denotes the -tuple of positive integers , and we use the following conventions throughout.

  • denotes the value . The bare symbol denotes the function itself (as when it is passed as an argument to , , or ); we never write a subscripted form such as .

  • denotes the iterated sum , each variable ranging over , and the product .

  • abbreviates .

  • Analogous conventions apply to , , , , .

All the sieve coefficient functions occurring below are finitely supported: the set is finite. Every -sum written without further qualification is therefore a finite sum, and no convergence question arises.

The sieve coefficients are indexed by -tuples of divisors, one per shift , subject to three conditions: a truncation on the product of the divisors, coprimality to the -trick modulus, and squarefreeness of the product. The truncation level is carried as a parameter rather than fixed to , and every lemma below is stated once, at an arbitrary level.

Two consequences of (iii) are used constantly and without comment: each individual is squarefree (being a divisor of the squarefree ), and the are pairwise coprime. Throughout, has permissible support at level .

4.3 The sieve weights and the sums ,

Definition 4.12 (Sieve weight). Let be finitely supported and let be an integer. The sieve weight at is

Lemma 4.13 (Non-negativity of ). For every finitely supported and every integer , we have .

Proof. By Definition 4.12, is the square of the real number , and squares of real numbers are non-negative. ◻

Non-negativity of is the only property of the weight used in the passage from positivity of the sieve sums to primes; everything else about enters through the asymptotic evaluation of and .

Definition 4.14 (The sum ). Let be finitely supported, with sieve weight as in Definition 4.12. Set

Definition 4.15 (The sum ). Let be finitely supported, with sieve weight as in Definition 4.12. Set so that each is weighted by the number of indices for which is prime.

Definition 4.16 (The sum ). Let and let be finitely supported, with sieve weight as in Definition 4.12. Set

Lemma 4.17 (Decomposition of ). For every finitely supported ,

Proof. Fix in the index set of Definition 4.15. Distributing the finite inner sum across the product with gives Substituting this into Definition 4.15 and interchanging the two finite summations — over with , and over — yields By Definition 4.16 the inner sum is exactly ; renaming the index to gives the claim. ◻

Definition 4.18 (The sieve difference ). Let be finitely supported and let be real. Set

Unwinding Definitions 4.14 and 4.15, the sieve difference is the single sum whose summands are the weights multiplied by the excess of the prime count over . Positivity of therefore cannot come from the weights alone; it forces the excess to be positive somewhere. This is the GPY reduction, and it is the sole point at which the sieve produces primes.

Lemma 4.19. Let be finitely supported and let . If , then there exists an integer with and such that at least of are prime.

Proof. Write , so that, as computed above, Suppose, for contradiction, that for every in the index set. By Lemma 4.13 each , so each summand is non-positive, and therefore , contradicting the hypothesis. Hence there is an in the index set with .

It remains to convert into . Since is an integer and , we have when , and when ; in either case , because . ◻

Proof uses: Lemma 4.13

4.4 The auxiliary -variables

The coefficients are natural for the divisor-sum manipulations of and , but ill-suited as variational unknowns: the divisibility relations couple them, and the diagonal form of the sieve sums is not visible in them. The change of variables below is a linear, involutive Möbius-type substitution which diagonalises and, after a further substitution , also . We give here the definitions and the inversion identities; the asymptotic evaluation of and in terms of and is carried out later.

Definition 4.20 (The -transform of ). Let be finitely supported. Define by The -sum is finite because is finitely supported, and is again finitely supported. We write and call its values the -variables of .

The squarefreeness restriction on the summation variables is vacuous in every application: if has permissible support at some level, then each in its support is squarefree by Definition 3.39(iii), and the sum reduces to the unrestricted . Carrying the restriction in the definition lets the inversion identities below hold for arbitrary finitely supported , with no support hypothesis; the map is -linear.

Lemma 4.21 (The -variables inherit permissible support). Let and let have permissible support at level (Definition 3.39). Then has permissible support at level .

Proof. Suppose . Then some summand of the defining sum in Definition 4.20 is nonzero, so there is a with and for every . It therefore suffices to show that the three conditions of Definition 3.39 are inherited from to any coordinatewise divisor of . That is exactly Lemma 3.40, applied at level .

In detail: since for each , we have . As all are nonzero, and hence , which is (i). A divisor of an integer coprime to is coprime to , giving (ii); and a divisor of a squarefree integer is squarefree, giving (iii). ◻

Proof uses: Lemma 3.40

Definition 4.22 (The Möbius transform of ). Let be finitely supported. Define by The -sum is finite because is finitely supported, and is again finitely supported.

The transform is -linear, and the argument of Lemma 4.21 applies verbatim (with the roles of and exchanged) to show that it too preserves permissible support at any level . The next two lemmas identify the two transforms as inverses.

Lemma 4.23 (Möbius inversion: from ). Let be finitely supported, and let satisfy (Definition 4.20). Then for every ,

Proof. If some is not squarefree, then every contributing to Definition 4.22 has with squarefree, forcing squarefree — a contradiction. So the sum is empty and . Assume henceforth that every is squarefree.

Both transforms are -linear in their argument, and every finitely supported function is a finite linear combination of point masses; so it suffices to prove the identity when is a point mass at some with weight . For such , and otherwise; in particular is supported on the coordinatewise divisors of . If some fails to be squarefree, or if for some , then no contributes to and both sides vanish (on the right, unless , and the excluded cases exclude that). Otherwise substitute the displayed formula for into Definition 4.22: the factors cancel, and the sum having factorised across coordinates. For squarefree the inner sum is , by Möbius inversion applied to the divisor chain (writing with and using , valid since is squarefree, together with ). Hence the whole expression vanishes unless , in which case it equals because each is squarefree. This is , as required. ◻

Lemma 4.24 (Möbius inversion: from ). Let be finitely supported and let be as in Definition 4.22. Then for every ,

Proof. The argument is that of Lemma 4.23 with the roles of the two transforms exchanged. If some is not squarefree, every contributing to Definition 4.20 at has with squarefree, which is impossible; so . Assume every squarefree. By linearity reduce to a point mass. Then is supported on the coordinatewise divisors of , and substituting Definition 4.22 into Definition 4.20 the factors cancel against , leaving As before each inner sum equals , so the expression vanishes unless , and then equals . ◻

Proof uses: Lemma 4.23

Together, Lemmas 4.23 and 4.24 say that the two transforms are mutually inverse -linear isomorphisms of the space of finitely supported functions that vanish at every tuple with some non-squarefree entry. In particular one may specify a sieve either by giving or by giving ; the second is the form used in the variational problem.

The analysis of requires a second, closely related transform, in which the -th coordinate is frozen at and the totient is replaced by the function defined next.

On squarefree arguments — the only ones at which is ever evaluated below, since it always occurs multiplied by — one has .

Definition 4.25 (The -variables). Let and let be finitely supported. Define by

Because , the factors carrying the index contribute trivially: the prefactor may equally be written and the denominator , which is the shape in which appears in the evaluation of .

Lemma 4.26 (Support of ). Let and finitely supported. If , then .

Proof. If then the defining sum of Definition 4.25 has a nonzero summand, so there is a with and for every . Taking gives , hence . ◻

Finally we record the coefficient function that the two instantiations use in and . It is specified in the -variables — a rescaled sample of a fixed function on the truncation scale — and the corresponding is produced by the Möbius transform of Definition 4.22. The analytic input is , and is the derived object.

By construction has permissible support at level , hence is finitely supported, so Definition 4.22 applies to it.

Since the Möbius transform preserves permissible support, has permissible support at level , so all of Definitions 4.12–4.18 apply to it. We take with supported in the enlarged simplex .

Definition 4.27 (Maximal modulus of a finitely supported system). Let be a set and let be finitely supported. Its maximal modulus is with the convention when vanishes identically.

Definition 4.28 (The truncated weight sum ). Let be a sieve datum with associated weight (Definition 4.6). For a real set the sum taken over positive integers strictly below .

Definition 4.29 (The Maynard sieve datum). Let be a positive integer with . The Maynard sieve datum at is the sieve datum (Definition 4.3) whose density is the -tricked density of Definition 4.9, whose modulus is , and whose growth and structure constants are and . Its remaining constants and are the deviation bounds carried by the datum; that they may be taken uniformly in is established in Section 6.

5 The variational problem

The sieve estimates of the preceding sections reduce the problem to one in the calculus of variations. A profile supported on a simplex determines the sieve coefficients ; the leading term of is the mass of the profile, and the leading term of is the mass of its -th marginal. The supremum of the ratio over profiles is the constant .

The construction is carried out for an enlargement parameter . The profile is supported on the enlarged simplex of total mass , while each marginal is taken over the shrunken slice of total mass ; at both reduce to the standard simplex and its faces, and every statement below specialises to the classical one. The denominator does not depend on ; the enlargement enters only through the wider class of admissible competitors.

We introduce , , , and , and record the properties of used below: the -continuity of the two functionals, and the density of smooth profiles. The remaining lemmas evaluate integrals of monomials over the scaled standard simplex.

5.1 The simplex and the profile

Definition 5.1 (Scaled standard simplex). Let and . The scaled standard simplex of dimension and scale is Three instances recur, and we abbreviate them. For : called respectively the standard simplex, the -enlarged simplex and the -shrunken slice. Thus and ; we also write for the copy of obtained by deleting the -th coordinate of , so that under that identification.

5.2 The functionals , and the constant

Definition 5.2 (The functional ). For and , If vanishes outside a measurable set then ; in particular for a profile supported in . The functional carries no dependence on .

Definition 5.3 (The marginal functional ). Let , let , let , and let vanish outside . Write for the -th marginal operator defined for almost every , and set We abbreviate , the marginal functional of the standard problem, whose outer domain is .

Definition 5.4 (The variational constant ). For and , The supremum is taken over the whole of , each competitor being extended by zero outside : no smoothness, no symmetry and no sign condition is imposed on . We abbreviate .

5.3 From a profile to the sieve coefficients

Definition 5.5 (The -variables attached to a profile). Let , let and , and let . Define by where a tuple is admissible for in the sense of Definition 3.39, i.e. , and is squarefree.

Definition 5.6 (The sieve coefficients attached to a profile). With , , and as in Definition 5.5, the coefficients attached to are the image of under the correspondence of Definition 4.22: Taking supported in and truncation level produces the enlarged weight; taking supported in and level produces the standard one.

5.4 Basic properties of , and

Lemma 5.7 (Each marginal is dominated by the mass). Let , let , let and let . Then

Proof. Fix and consider the fibre Since every , the fibre is the interval (empty if the right endpoint is negative), whose length is at most . Since vanishes off , the Cauchy–Schwarz inequality on gives Integrating over and applying Tonelli’s theorem to the right-hand side, the iterated integral is bounded by the integral of over all of , which is . Hence .

Equivalently: is a bounded linear operator whose norm is at most the square root of the essential supremum of the fibre lengths, and that essential supremum is at most . ◻

Lemma 5.8 (-continuity of ). For every the functional is continuous.

Proof. On we have by Definition 5.2, so is the square of the norm, and the norm on a normed space is continuous. Quantitatively, for the factorisation together with Cauchy–Schwarz and the triangle inequality gives all norms being those of . ◻

Lemma 5.9 (-continuity of ). For every , every and every , the functional is continuous.

Proof. The marginal operator is linear, and by the proof of Lemma 5.7 it is bounded from to , with norm at most ; hence it is continuous. The map is continuous, being the square of a norm. By Definition 5.3, is the composite of these two continuous maps. Quantitatively, the argument of Lemma 5.8 applied in together with the operator bound gives with the norms of . ◻

Proof uses: Lemma 5.7, Lemma 5.8

5.5 Smooth profiles and the variational criterion

The sieve asymptotics for and require a smooth profile supported in , whereas is a supremum over all of . Smooth functions supported in the simplex are -dense there, hence (by the continuity of and ) they realise the supremum to within any prescribed error, and the resulting near-maximiser satisfies the strict inequality required by the sieve estimates. The density statement is proved on the standard simplex and transported to by the dilation , which carries onto .

Lemma 5.10 (Smooth cut-off to an inset of ). Let and let satisfy . There exists a smooth function such that

  1. for every satisfying for all and ;

  2. for every ;

  3. for every measurable and every with on ,

Proof. Fix a smooth non-decreasing with for and for , and put . Set This is a finite product of smooth functions, hence smooth, with values in .

(i) If then for each and , so every factor equals .

(ii) If then either for some , or ; in the first case and in the second .

(iii) On we have by (i), while on all of we have . Hence For the second inequality, is covered by the slabs together with the slab . Each of the first slabs has volume at most , since its cross-section at fixed lies in a -dimensional simplex of volume ; the last slab, being the difference of two simplices, has volume . Summing gives for . ◻

Lemma 5.11 (-density of smooth functions supported in ). Let , let and let . Then there exists a smooth whose closed support is contained in and which satisfies

Proof. Extend by zero to ; the extension lies in with the same norm. By the density of smooth compactly supported functions in there is a smooth compactly supported with ; restricting the integration to only decreases the left-hand side. Being continuous with compact support, is bounded on ; let be a bound for there.

Choose so small that , and let be the cut-off supplied by Lemma 5.10 for this . Put . Then is smooth, and its closed support is contained in that of , hence in the closed set . By part (iii) of Lemma 5.10 applied with , and the triangle inequality gives . ◻

Proof uses: Lemma 5.10

5.6 Integration formulas on the simplex

The two lemmas below evaluate integrals of monomials over . They supply the closed forms used by the certificate pairings of Section 12.

Lemma 5.12 (Dirichlet’s integral over the simplex). For all and all ,

Proof. One proves the scaled form: for every real , by induction on ; the statement of the lemma is the case . (The scaled form is also what is needed to integrate over and .)

For both sides equal . For the inductive step, the integrand is continuous on the compact set , hence integrable, and Fubini’s theorem lets us peel off the first coordinate: By the inductive hypothesis applied with scale , the inner integral equals . The remaining one-dimensional integral is a Beta integral: for and , which follows from after the substitution . Combining the two factorial expressions and simplifying gives the scaled formula in dimension . ◻

The lower bound is established in Section 12 by exact computation with an explicit profile.

Lemma 5.13 (The Beta integral). Let be integers. Then

Proof. The integral is the Euler Beta function evaluated at positive integer arguments. For integers it satisfies , and for ; substituting gives the stated quotient of factorials. ◻

6 Auxiliary arithmetic estimates

This section collects the arithmetic estimates used in the sieve analysis: the elementary totient and Möbius identities, the Mertens-type sums over integers coprime to a modulus, the evaluation of the truncated Mertens sum , the verification of the sieve-datum hypotheses for the two densities, the asymptotic for the summatory function of the sieve weight, and the partial-summation lemma that converts into a -weighted sum.

Throughout, , , and denote generic moduli; and are the primorial and the truncation of Definitions 3.29 and 3.37, and denotes the base of the natural logarithm (never a summation variable).

6.1 Elementary totient and Möbius identities

Lemma 6.1 (Multiplicativity formula for on a least common multiple). Let and be squarefree positive integers (each squarefree; the product need not be). Then

Proof. Since and are squarefree, so are and , and for every squarefree . The prime divisors of are exactly those of together with those of , while the prime divisors of are exactly those dividing both. Hence, counting each prime with the multiplicity with which it occurs on either side, which is the assertion. ◻

Proof uses: Definition 3.4

Lemma 6.2 (Reciprocal LCM splitting for ). Let and be squarefree positive integers. Then with as in Definition 3.6.

Proof. By Lemma 6.1, , all the factors being positive. The integer is squarefree, so Lemma 3.10 applies to it and gives . Substituting and inverting yields the claim. ◻

Proof uses: Lemma 6.1, Lemma 3.10

Lemma 6.3 (Reciprocal LCM splitting). For all positive integers (no squarefreeness required),

Proof. The classical identity , valid for every positive integer , applied at turns the right-hand side into . The claim is then the identity . ◻

Sublemma 6.4 (Divisor-sum form of ). For every squarefree integer ,

Proof. For squarefree , The third equality expands the product over as a sum over the subsets of the prime divisors of , i.e. over the divisors ; the fourth uses on squarefree . Dividing by gives the claim. ◻

Sublemma 6.5 (Per-coordinate lcm-decomposition bijection). Let be a squarefree positive integer, and let and be the sets Then maps into and is a bijection, with inverse .

Proof. Let and put , , . Then ; more directly, , and . The integers and are coprime because any common prime divisor would divide both and and hence, being squarefree, already lie in ; the same squarefreeness of forces to be coprime to both and . So the map lands in .

Conversely let and put , . Both are divisors of the squarefree , hence squarefree, and and by pairwise coprimality; so . The two constructions are mutually inverse: starting from one recovers and likewise for ; starting from one recovers because when . ◻

6.2 Divisor sums, Mertens-type bounds and convergent series

Definition 6.6 (The von Mangoldt function ). Define by

Lemma 6.7 (Mertens’ first theorem, von Mangoldt form). For every integer ,

Proof. Step 1: a Chebyshev upper bound. For every , This is the classical elementary bound obtained from the central binomial coefficient: divides , so , and summing the resulting dyadic estimate together with the contribution of the proper prime powers gives the stated linear bound with the explicit constant .

Step 2: the factorial identity. Since every satisfies , grouping by gives Replacing by costs at most , which by Step 1 is at most . Hence

Step 3: Stirling-free evaluation of . Comparing the sum with by monotonicity of gives . Combining with Step 2 and dividing by yields  ◻

Proof uses: Definition 6.6

Lemma 6.8 (Mertens-type estimate for ). For every integer there is a constant such that, for every real ,

Proof. Rankin majorisation. For any non-negative , any real and any one has for , so . Apply this with and .

Euler factorisation. The majorant is non-negative, multiplicative and supported on squarefree integers; since and , and all prime-power terms with exponent vanish,

Logarithmic bound. Using and splitting , and the second sum converges absolutely. For the first, start from Lemma 6.7: discarding the proper prime powers (whose total contribution to is , being bounded by ) gives the one-sided prime form for . Abel summation of this against the weight yields the elementary one-sided Mertens second bound with absolute. A second Abel summation, now against the weight , gives . With this is for (the range being trivial). Only upper bounds on prime sums are used, so no Tauberian or Dirichlet-series input enters.

Conclusion. Exponentiating gives , while . Combining with the Rankin majorisation proves the lemma. ◻

Proof uses: Lemma 6.7

Lemma 6.9 (Truncated coprime divisor sum). For every integer there is a constant such that, for every positive integer and every real , The constant is independent of .

Proof. The summand is non-negative, so discarding the coprimality condition only increases the sum; the claim is then Lemma 6.8. (The point of the statement is the uniformity in : the same constant serves for every modulus, which is what the downstream applications, where varies with the sieve variables, require.) ◻

Proof uses: Lemma 6.8

Lemma 6.10 (-fold restricted reciprocal-totient sum). For every integer there is a constant with the following property. For every real , every modulus and every ,

Proof. Write and . Because is squarefree, the are pairwise coprime and coprime to , and by multiplicativity of on coprime factors. Hence the left-hand side is at most since a squarefree arises from at most tuples with . For the prefactor, the Dirichlet expansion of Lemma 3.12 gives , which is bounded by ; and every prime dividing is at most . The remaining -sum is a truncated coprime divisor sum at modulus , so Lemma 6.9 bounds it by with a constant that does not depend on that modulus — the uniformity there is exactly what is needed, since the modulus varies with . Both factors are thus dominated by the truncated sum of Lemma 6.8 — more precisely, the whole expression is bounded by the Euler product , and the argument of Lemma 6.8 bounds this by for . ◻

Lemma 6.11 (Convergent sum bound for ).

Proof. The summand is non-negative, so it suffices to majorise it by a convergent series. The inequality established in the proof of Lemma 3.13 gives , whence the last step by the elementary bound (divisors pair up as about ). The Dirichlet series converges since , so the partial sums of the original series are uniformly bounded, and a series of non-negative terms with bounded partial sums converges. ◻

Proof uses: Lemma 3.13

Lemma 6.12 (Convergent sum bound for ). With the multiplicative function of Definition 3.6 (), the summand being read as whenever ; the sum is thus supported on odd squarefree , for which .

Proof. The summand is non-negative and multiplicative, supported on odd squarefree integers. Its local factor at an odd prime is , and at it is . Since for every odd prime (indeed for ), the series converges, so . Every partial sum over a finite set of integers is bounded by this Euler product, whence convergence. ◻

6.3 The constants and

Sublemma 6.13 (Euler product for ). With , both the series and the product being convergent.

Proof. By unique factorisation, every has a unique representation with and only finitely many non-zero, so . The series converges absolutely (it is bounded by ), which licenses reorganising it as a product over primes of the geometric series ; the rearrangement is justified by letting in the partial product over , whose expansion exhausts all in the limit. ◻

Definition 6.14 (The auxiliary Dirichlet sum ). For every positive integer , set

Sublemma 6.15 (Absolute convergence and the bound ). For every positive integer the series of Definition 6.14 converges absolutely, and .

Proof. Each summand satisfies , so This is absolute convergence, and the triangle inequality applied to the (absolutely convergent) sum gives . ◻

Sublemma 6.16 (Closed form for in terms of ). For every positive integer (squarefreeness is not required),

Proof. By Sublemma 6.15 the defining series converges absolutely, so it may be expanded as an Euler product. Its local factor at a prime is (only contributes at that prime), and at a prime it is , since for . Hence Splitting the product over all primes as and invoking (Sublemma 6.13) gives the stated closed form. Note that only the set of prime divisors of enters, which is why no squarefreeness hypothesis is needed. ◻

Definition 6.17 (The auxiliary Dirichlet sum ). For every positive integer , set The series converges absolutely, since and .

6.4 Coprime harmonic and coprime-density sums

Definition 6.18 (The prime-cost quantity ). For a positive integer , set the sum running over the distinct prime divisors of .

Sublemma 6.19 (Coprime harmonic sum). There is an absolute constant such that, for every squarefree integer and every real , where is the Euler–Mascheroni constant.

Proof. Detect the coprimality condition by and swap the two finite sums: The classical harmonic estimate gives the error using for squarefree . Now , and differentiating the identity at gives Combining the three displays proves the claim, with an absolute implied constant. ◻

Lemma 6.20 (Mertens sum restricted to ). There is an absolute constant with the following property. Let be a squarefree integer and let be a real number with Then

Proof. Sublemma 6.19 applied with and gives The hypothesis on is exactly , so the error term is ; the same bound covers the constant . It remains to bound . Split the prime divisors of at . For , use (valid since is squarefree) and to bound that part by ; more crudely, the contribution is . For , use and the elementary Mertens bound of Lemma 6.7 with , which gives . Hence , and collecting all error contributions proves the lemma. The normalisation rather than is used so that the error term is defined and non-negative for every ; for large the two agree up to an additive constant. ◻

Definition 6.21 (The coprime density partial sum ). For a positive integer and a real number , set the sum running over the positive integers coprime to ; thus for .

Sublemma 6.22 (Coprime density sum). There is an absolute constant such that, for every squarefree integer and every real ,

Proof. Step 1: a Dirichlet cofactor. Let be the multiplicative function defined by the Dirichlet convolution identity , i.e.  Comparing local Euler factors shows , , and for ; in particular is supported on cube-free integers, its local factor equals at every prime, and Both convergence statements follow from the Euler-product bound , together with the elementary partial-summation bound , which in turn comes from writing a cube-free uniquely as with squarefree, , and using . Consequently, for every , (a dyadic decomposition of the range ).

Step 2: the hyperbola identity. Summing over with and noting that is equivalent to for ,

Step 3: insert the harmonic asymptotic. Apply Sublemma 6.19 to the inner sum for each , obtaining the main term and an error ; the errors sum, against , to . For the main term, complete the -sum to all coprime to ; by Step 1 the discarded tail contributes (using to absorb the into the logarithm). Since has local mass at every prime, , and the completed main term is The last sum is by the second convergence statement of Step 1, and . Collecting all contributions gives the stated bound, with an absolute constant. ◻

6.5 The sum and the Mertens sum over integers coprime to

Definition 6.23 (The auxiliary sum ). Let be real and let and be integers. Set The sum is empty, and hence , once .

Sublemma 6.24 (Outer-sum decomposition for ). For every integer and every integer , with as in Definition 6.23.

Proof. Substitute the identity of Sublemma 6.4 — legitimate because restricts the outer sum to squarefree — and swap the two finite summations: Fix a squarefree with and write with . On the support of the integer is squarefree, which for is equivalent to squarefree with ; and together with is equivalent to . So the conditions on become “ squarefree and ”. Since on that support, the inner sum equals , which is the claim. ◻

Proof uses: Sublemma 6.4

Sublemma 6.25 (Möbius squarefree-inversion step for ). For every real , every integer and every integer (no squarefreeness or coprimality is required),

Proof. Start from the squarefree-detection identity , valid for every positive integer : both sides are multiplicative, and at a prime power the right-hand side is for and for , matching . Insert it into and swap the two finite sums. Writing turns the constraint into a free -sum with , and the constraint into ; the -range is because . Since , the displayed identity follows. (When the inner sum is empty, so restricting the -sum to changes nothing.) ◻

Sublemma 6.26 (Inner -sum via Mertens for ). There is a constant such that, for all sufficiently large , the following holds for every squarefree with and and every integer with and . Let . Then

Proof. Since is squarefree, is squarefree (Definition 3.29) and , the modulus is a positive squarefree integer. We apply Lemma 6.20 with this modulus and with , and must verify .

Lower bound on . From and we get , hence .

Upper bound on . For squarefree the quantity factors over the primes dividing , each contributing ; hence . Next, for any fixed integer , splitting the prime divisors of at gives , hence . Choose , so that and, with an absolute constant, By Lemma 3.32 we have , and , so and therefore Since is a fixed positive power of , the right-hand side is for all sufficiently large , the factor being of lower order than . This verifies the hypothesis.

With the hypothesis verified, Lemma 6.20 gives and . ◻

Proof uses: Lemma 6.20, Lemma 3.32

Sublemma 6.27 (Evaluation of ). There is a constant such that, for all sufficiently large and every squarefree with and . Let . Then

Proof. Sublemma 6.25 rewrites as an -sum weighted by times an inner -sum. Split the -range at .

Range . Sublemma 6.26 evaluates the inner sum for each such , with error . Summing the main term against over coprime to produces Completing both -sums to infinity replaces them by and of Definitions 6.14 and 6.17; by the tail bounds and (each a comparison with and respectively), applied at , the cost is . The accumulated error terms contribute after summation against .

Range . Here use the trivial bounds and , so this part is

Normalising the error. Finally for , which converts the middle error into the stated shape. Adding the three contributions gives the sublemma. ◻

Sublemma 6.28 (Tail bound for ). There is a constant such that, for all sufficiently large ,

Proof. From and we get for , uniformly in and . By Lemma 3.13, . Lemma 6.8 with gives , hence also ; partial summation converts this into the tail estimate Applying it with bounds , and multiplying by the uniform bound gives the claim. ◻

Proof uses: Lemma 3.13, Lemma 6.8

Sublemma 6.29 (Leading-coefficient telescoping identity). For every integer ,

Proof. Write . By Sublemma 6.16, , so for squarefree coprime to In particular , and is multiplicative up to the normalising constant : for coprime squarefree both coprime to one has ; and at a prime , . Since the values of at distinct primes multiply in this normalised sense, and restricts the sum to squarefree , each prime contributes independently either or , giving (The rearrangement is licensed by absolute convergence: by Sublemma 6.15 and .) The elementary identity with turns the local factor into , so the product equals . Combining with , the last equality by Sublemma 6.13. ◻

Lemma 6.30 (Mertens sum over coprime to ). Let and be as in Definitions 3.37 and 3.29. There is a constant such that, for all sufficiently large ,

Proof. By Sublemma 6.24 the left-hand sum equals . Sublemma 6.28 bounds the contribution of by , which is for large since by Lemma 3.32. Restrict to .

Insert the expansion of Sublemma 6.27 and use , valid because . This gives where, with all sums over squarefree coprime to , and the error term also absorbs the contributions of Sublemma 6.27 (which sum, against , to ) and the terms. By Sublemma 6.29, once the -sum is completed, and completing it costs by Sublemma 6.15. The sums and are in absolute value: each is bounded by , again using from Sublemma 6.15 and the corresponding trivial bound for . Assembling and absorbing the and contributions into — legitimate since for large — gives the lemma. ◻

6.6 The two sieve densities

Throughout this subsection denotes a sieve datum in the sense of Definition 4.3, with parameters , and is the derived totally multiplicative function of Definition 4.4. We write for the Mertens deviation of a density .

Sublemma 6.31 ( for the Maynard datum). For the Maynard sieve datum (Definition 4.29) and every squarefree , with the multiplicative function of Definition 3.6.

Proof. Both sides are totally multiplicative in , so it suffices to compare them at primes. If then , so ; total multiplicativity then forces whenever some prime divisor of divides , i.e. whenever . If then and For squarefree coprime to we have , and multiplying the prime-level identities over the (distinct) primes dividing gives . ◻

Proof uses: Lemma 4.5

A family of densities is called -tricked if each is multiplicative and non-negative with , if for every prime , and if there is a single constant , independent of , with for every prime . Both and are -tricked, with absolute. The next two sublemmas supply the two Mertens-deviation constants that a sieve datum (Definition 4.3) requires.

Sublemma 6.32 (Singular product for ). There are constants and such that, for every with , with as in Notation 3.41. Equivalently, .

Proof. Split the defining product over and . For one has and the local factor is ; the product of these over is . For one has , so Every such exceeds , so the tail product satisfies , using and for . Since for , the tail product is , and multiplying by gives the claim. ◻

6.7 The convolution defect and the asymptotic for

Sublemma 6.33 (Size of the convolution defect). Let be the convolution defect of Definition 4.8. For every prime ,

Proof. Fix a prime . The structural hypothesis of Definition 4.3 gives , and Lemma 4.5 gives . Then so, using ,  ◻

Proof uses: Lemma 4.5

Definition 6.34 (The normalised defect ). With as in Definition 4.8, set Like , the function is multiplicative and supported on squarefree integers coprime to , and because .

Sublemma 6.35 (Uniform summability of the defect). There is a function , depending only on and , such that for every sieve datum with those parameters

Proof. The function is non-negative, multiplicative, supported on squarefree , and takes the value at . Hence its sum over all equals the Euler product , the primes dividing contributing the factor . For , Sublemma 6.33 and give Since converges, , and exponentiating gives a bound depending only on and . (In particular the sum is finite, so the Euler factorisation used above is legitimate.) ◻

Proof uses: Sublemma 6.33

Sublemma 6.36 (Convolution identity for ). Let be as in Definition 4.6, and let satisfy for every . For every squarefree with ,

Proof. For squarefree , each divisor is squarefree and coprime to , so the right-hand side is the value at of the Dirichlet convolution of two multiplicative functions restricted to squarefree arguments; it therefore factors as , each prime going wholly into or into . Since , every satisfies , so and by Definition 4.8. Hence the product equals , using total multiplicativity of and . ◻

Sublemma 6.37 (Convolution form of ). Let be as in Definition 4.28. For every real , the -sum having only finitely many non-zero terms (those with ).

Proof. First, is supported on integers coprime to : this is Lemma 4.7, whose proof is that for the structural hypothesis gives , hence , and total multiplicativity of forces whenever . Therefore , and only squarefree contribute.

Now insert Sublemma 6.36 and exchange the order of the two finite sums, grouping by the divisor : where : the constraints “, ” become “”, while “ squarefree, ” becomes “ squarefree coprime to ” (already enforced by the support of ) together with “ squarefree, ” (the condition being enforced by inside when combined with the squarefreeness of ). Terms with have empty inner sum. ◻

Sublemma 6.38 (Euler-product identification of ). For every sieve datum, the series converging absolutely. In particular .

Proof. Absolute convergence follows from and Sublemma 6.35. Since is multiplicative, supported on squarefree integers coprime to , the sum factors as . For , using . These are exactly the local factors of (Notation 3.41) at the primes . At the primes one has , so the local factor of is , and . Multiplying the two contributions gives the identity. Positivity holds because each local factor is positive and the product converges. ◻

Sublemma 6.39 (Asymptotic for ). There are functions and such that, for every sieve datum with parameters and every real , Both constants depend on and only; neither depends on , , , or .

Proof. Throughout, all implied constants depend on only. Write for the strict truncation appearing in Sublemma 6.37; it differs from of Definition 6.21 by at most one term , so Sublemma 6.22 applies to with the same error shape.

Preliminaries on . From and Sublemma 6.35, the second and third following from the first by and .

Step 1: main range . For such we have , so Sublemma 6.22 applies with . Using , so that and , and , where the collects the errors against , and which is by Sublemma 6.35 (using for ).

Step 2: complete the -sum. Extend the sum to all coprime to . The discarded range is controlled by together with and the same estimate with an extra ; this gives an error . Similarly the tail of the true sum of Sublemma 6.37 is , since trivially.

For the completed sum, split . By Sublemma 6.38, , so the and parts produce . The remaining part is using for .

Step 3: comparison of with . By Sublemma 6.38 and we get ; conversely, the local factors at satisfy by Sublemma 6.33, so and hence . The two quantities are therefore comparable, with constants depending on only, and every above may be rewritten as , hence absorbed into .

Collecting Steps 1–3 and noting and for , , the two error shapes of the statement are obtained. ◻

6.8 Partial summation

Sublemma 6.40 (Cost of the removed primes). There is a function such that, for every sieve datum with parameters ,

Proof. Fix (and ). Since for , By the structural hypothesis the second sum is at most in absolute value, the series converging. For the first, Mertens’ first theorem (Lemma 6.7, after discarding the proper prime powers) gives The lower half of the log-sum hypothesis at reads . Subtracting yields . Finally for every prime , so . ◻

Lemma 6.41 (Partial summation). There are functions and such that the following holds for every sieve datum with parameters , every continuously differentiable , and every real : where .

Proof. Write with .

Step 1: Abel summation. The function of Definition 4.28 is the summatory function of ; taking , so that and , Abel summation gives the exact identity (The integrand is continuous off the integers and is a bounded monotone step function on , so the integral exists.)

Step 2: separate main term and error. Write . For the main term, substitute , so and : Integration by parts gives , so together with the boundary contribution the main terms combine to exactly . Consequently using and on .

Step 3: bound the error functional. By Sublemma 6.39, with depending on ; on one has and , so the same shape holds after enlarging the constants. The first piece integrates to (since ), and the second to , because is a convergent integral. The boundary term is dominated by the same two shapes, using for .

Step 4: collapse to . By Sublemma 6.40, . Absorbing the additive constants (the -dependence entering through the parameter supplied by the log-sum hypothesis) turns into plus a term of the second shape. Multiplying through by gives the stated bound. ◻

7 Relating the transformed weight systems

The sieve analysis uses four systems of variables: the profile , the divisor weights , the -variables (Definition 4.20), and, for each , the -th marginal variables (Definition 4.25). The analysis is carried out in the -variables and the analysis in the -variables; both are evaluated in terms of . This section relates them: the -variables of the -derived sieve weight are evaluated in closed form, and is expressed in terms of up to an error of relative size .

Throughout, is fixed, is a function of finite support, denotes the -transform of (Definition 4.20) and the -th marginal transform (Definition 4.25). The parameters , and are those of Definitions 3.28, 3.29 and 3.37, and “permissible support” always means Definition 3.39.

7.1 Finiteness of the marginal supremum

Lemma 7.1 ( is a finite maximum). Let and let be a function of finite support. Then ; in fact the supremum is attained as a maximum on a finite subset of .

Proof. Suppose . By Definition 4.25 the defining -sum has a nonzero summand, so there is a tuple with for every ; in particular for every . Since has finite support, the integer is well defined and finite, and every with lies in the finite set . Hence is a maximum over a finite set, and is finite. ◻

7.2 The -variables of the -derived weight

Lemma 7.2 (The transform of the -derived weight is exactly ). Let , let , and let be arbitrary. Let be the -derived -weight of Definition 5.5 and let be the associated sieve weight of Definition 5.6. Then the -transform of (Definition 4.20) is :

Proof. By Definition 5.6 the weight is the Möbius transform of (Definition 4.22). The round-trip identity Lemma 4.24 therefore gives It remains to check that whenever some fails to be squarefree. In that case is not squarefree, so does not lie in the permissible support of Definition 3.39; since is by construction supported there (Definition 5.5), . Both sides therefore agree at every . ◻

Lemma 7.3 (Piecewise closed form of for the -derived sieve weight). Let , let , let , and let be a smooth function with (Definition 5.1). Let be the -derived sieve weight of Definition 5.6 and let be its -transform (Definition 4.20). Then, for every ,

Proof. By Lemma 7.2, , and by Definition 5.5, The permissible support consists of the tuples satisfying the three conditions , , and squarefree (Definition 3.39). Two of these are exactly the conditions in the assertion, so it suffices to prove that the truncation condition is automatic: precisely, that Assume the left-hand side and write . Squarefreeness of forces for every , so . Since is nonzero at and , we have , i.e.  for every and .

If , then reads , that is, ; exponentiating gives , as required.

If instead (that is, ), then each is a quotient of a non-negative number by a non-positive one, hence ; combined with this gives . But : since , the origin is a limit of points outside (move along a single coordinate ray into negative values), vanishes identically off , and is continuous, so by continuity. This contradicts , so the case is vacuous. In either case the implication holds, and the piecewise formula follows. ◻

Definition 7.4 (-norm on ). For a function , set The supremum is over the compact unit cube, on which the displayed function is continuous, so it is finite; it is non-negative because the quantity inside the supremum is non-negative.

7.3 Expressing through

Lemma 7.5 (Substitute the inversion formula for into ). Let have permissible support, let , and let satisfy . Then both sums running over tuples of positive integers.

Proof. By Definition 4.25, a finite sum because has finite support; moreover every contributing has squarefree, hence positive squarefree coordinates, by Definition 3.39. On such tuples Lemma 4.23 identifies with the Möbius transform of its own -variables (Definition 4.22): Dividing by gives and inserting this into the previous display yields the asserted formula. (The hypothesis is not used in the derivation; it is recorded because vanishes otherwise, by Lemma 4.26.) ◻

Lemma 7.6 (Interchange the - and -summations). Let have permissible support, let , and let satisfy for every and . Then

Proof. The iterated sum of Lemma 7.5 is supported on the set of pairs with for every and : the outer summation imposes and , and the inner one imposes , which together force . Both summations are finite, since has finite support (Definition 4.20) and, for fixed , only the finitely many divisor tuples of contribute. We may therefore interchange the order of summation: grouping first by , the inner -sum runs over . Multiplying by the outer prefactor , which depends only on , gives the asserted identity. ◻

Proof uses: Lemma 7.5

Lemma 7.7 (Evaluation of the inner divisor sum). Let be a positive squarefree integer and let be a positive divisor of . Then

Proof. Write with . Since is squarefree, so are and , and .

Every with is uniquely of the form with , and then , so by multiplicativity of and of on coprime products, and . Substituting, The summand is multiplicative, so for squarefree the divisor sum factors over the prime divisors of : using and for squarefree . Combining the two displays, the last step again by multiplicativity of and on the coprime product . ◻

Lemma 7.8 ( in terms of , intermediate form). Let have permissible support, let , and let satisfy for every and . Then

Proof. Start from Lemma 7.6 and evaluate, for each fixed , the inner sum It suffices to treat those with ; by Lemma 4.21 such an has squarefree, so every is positive and squarefree. The constraints on are coordinatewise, so factors as a product over . The -th factor is : the constraint leaves the single term , and is compatible with it. For the -th factor is , which equals by Lemma 7.7 applied with and (legitimate since is squarefree and ). Hence , and substituting this into Lemma 7.6 gives the assertion. ◻

7.4 The diagonal decomposition of

Definition 7.9 (The -summand ). Let and . For set with the convention that the whole expression is read as when some .

Definition 7.10 (The free-coordinate marginal ). Let and . Set the sum running over the single free coordinate in the -th slot. Only finitely many terms are nonzero, because has finite support.

Lemma 7.11 (Diagonal and off-diagonal decomposition of ). Let have permissible support, let , and let be such that every is positive and squarefree and . Then

Proof. By Lemma 7.8 and Definition 7.9, the sum being finite because has finite support and vanishes wherever does. Split the index set into the diagonal part and its complement, the off-diagonal part . These are disjoint with union the whole index set, so the sum splits accordingly, and the second piece is the displayed off-diagonal sum.

It remains to evaluate the diagonal piece. Since divides every integer, the tuples in are exactly those obtained from by replacing the -th coordinate by an arbitrary , and distinct give distinct tuples. For such a tuple, using and for , The factor equals because , and for each because is squarefree. Collecting the factors, Summing over — the term contributes by the convention of Definition 7.9 — and recognising Definition 7.10 gives the diagonal contribution , as asserted. ◻

Proof uses: Lemma 7.8, Definition 3.3

Lemma 7.12 (Approximation of the diagonal prefactor). There is a constant with the following property. Let be real and let be such that every is positive and squarefree and every prime factor of every exceeds . Then

Proof. Fix . Since is squarefree, both and factor over the distinct prime divisors of , and because . Hence where enumerates, with multiplicity, the prime divisors of . Every such prime exceeds , so and . For numbers one has the elementary bound , proved by induction on the number of factors: if is a partial product then , so .

It therefore suffices to bound . For a single index the primes are distinct and all exceed , and for every prime , so using the integral comparison at the integer , and for . Summing over the coordinates gives , so the lemma holds with . ◻

Lemma 7.13 (Bound for the free-coordinate marginal). There is a constant with the following property. Let and let be real with for every prime . Let have permissible support, with -variables . Then, for every and every ,

Proof. Write for the tuple obtained from by putting in the -th slot. By Lemma 4.21, unless is squarefree, coprime to , and at most ; in particular must lie in Hence, by the triangle inequality and , It remains to bound . For squarefree one has the divisor-sum identity , so . Writing and dropping the constraints linking and (all terms being non-negative), The first factor is bounded by an absolute constant : extending it to all squarefree and factoring the resulting Euler product gives . The second factor is the Mertens-type coprime harmonic sum, which by Lemma 6.20 is under the stated hypothesis that every prime factor of is at most . Multiplying the two bounds gives for a constant , and the lemma follows. ◻

Lemma 7.14 (Off-diagonal contribution: for some ). There is a constant with the following property. Let and . Then there is such that for every , every of permissible support, every , and every with for every and ,

Proof. If the off-diagonal index set is empty and there is nothing to prove, so assume .

Step 1: a -free majorant. On the permissible support every coordinate is positive, squarefree and coprime to , and . Since and , Definition 7.9 gives, for every permissible , Summing over the off-diagonal set, the whole off-diagonal sum is at most , where denotes the sum of the right-hand majorant (without the factor ) over all permissible off-diagonal .

Step 2: reduction to one-dimensional sums. Every contributing has ; write with . On the permissible support each is squarefree, so and ; moreover each is itself squarefree, coprime to , and at most , that is, , where . In these variables the majorant factors as Now : indeed , the -th coordinate contributes since , and for each the squarefreeness of gives , this being the inequality . Being off-diagonal means , i.e. , for at least one ; bounding the number of such by and summing each coordinate independently, where accounts for the free -th coordinate, for the distinguished offending coordinate , and for each of the remaining coordinates.

Step 3: the three sums. First, , which is finite by Lemma 6.11 and absolute. Second, every with is squarefree and coprime to , hence has all of its prime factors exceeding (Definition 3.29); choosing one such prime factor and writing with coprime to , we have , so, over-counting each at most once per prime factor, the bound on the prime sum being the one established in the proof of Lemma 7.12. Third, exactly as in the proof of Lemma 7.13, via Lemma 6.20.

Step 4: assembly. Combining, Since with , we have for all beyond a threshold depending only on and ; for such , . Multiplying by from Step 1 gives the assertion with . ◻

Lemma 7.15 ( from ). There is a constant with the following property. Let and . Then there is such that for every , every of permissible support, every , and every with and every squarefree,

Proof. Squarefreeness of each gives , so Lemma 7.11 applies and, writing , The second term is bounded by Lemma 7.14, applied to the -variables of , which have permissible support by Lemma 4.21; this gives for all beyond a threshold. We bound the first term.

If some with is not coprime to , then every tuple obtained from by varying the -th coordinate has coordinate product not coprime to , so vanishes at all of them by Lemma 4.21; hence and the first term vanishes.

Otherwise every is squarefree and coprime to , so by Definition 3.29 every prime factor of every exceeds . Applying Lemma 7.12 to the tuple — whose -th factor equals , so that the full product and the product over agree — gives once , which holds for all large . Combined with Lemma 7.13, using , valid for all beyond a threshold depending only on and . Adding the two contributions, and taking to be the largest of the finitely many thresholds used, gives the claim with . ◻

7.5 The smooth case

Lemma 7.16 (Substitute smooth into Lemma 7.15). There is a constant with the following property. Let , , and let be smooth with . Then there is such that for every , every of permissible support whose -variables satisfy , every , and every with and every squarefree,

Proof. Apply Lemma 7.15, which bounds the left-hand side by for all beyond a threshold. For all such we have , and always, so that bound is a non-decreasing function of . Replacing by the larger quantity using the hypothesis yields the stated bound with the same constant. ◻

Lemma 7.17 (Maximal modulus of the transformed coefficients). Let , let , and let be finitely supported with permissible support at level and modulus (Definition 3.39). Then the transformed system of Definition 4.22 satisfies

Proof. Fix . Expanding and bounding each summand by leaves the divisor sum taken over those with and . Together with the prefactor this is exactly the quantity bounded in Lemma 6.10, taken at modulus and at the present . Each coordinate factor is at most , and the outer product over the coordinates contributes at most after absorbing the prefactor against the coprimality constraints. Multiplying the coordinate bounds and using for gives the stated bound. ◻

Proof uses: Lemma 6.10

8 Sieve manipulations: the reduction of

For the first moment , we pass from the coefficients to the -variables. We expand the square defining and interchange the order of summation (Lemma 8.6); we evaluate the resulting inner count by the Chinese remainder theorem and bound the aggregate error (Lemmas 8.7–8.10); we split across the two coordinates, detect the residual cross-coprimality by Möbius inversion, and restrict the resulting off-diagonal variables (Lemmas 8.11–8.15); we substitute the inversion formula expressing in terms of , and show that all but the diagonal term is negligible (Lemmas 8.16–8.21); and finally we insert the -derived weight, drop the last coprimality constraint, and convert the discrete sum to an integral by partial summation (Lemmas 8.22–8.25). The final statement, Lemma 8.25, is the asymptotic

Throughout, is fixed, is admissible (Definition 3.15), and are fixed real parameters, (Definition 3.37), (Definition 3.28), (Definition 3.29), and is a valid residue class (Lemma 3.34). No level-of-distribution hypothesis is used in this section: enters only through the truncation , and the arithmetic input is elementary (Mertens sums and partial summation). Bombieri–Vinogradov is needed only for the second moment.

8.1 Auxiliary objects

Definition 8.1 (The lcm modulus ). Let and be -tuples of positive integers. Define

Definition 8.2 (The CRT remainder ). For -tuples of positive integers, set

Notation 8.3 (Restricted sum over the ). Fix positive integers . For a function of the variables we write where the four restrictions are

Definition 8.4 (The exponent tuple ). Given positive integers and , set

Definition 8.5 (The exponent tuple ). With the same data, set Note the transposition of the indices of relative to Definition 8.4: in the first index of is fixed to , in the second.

8.2 Expansion and the Chinese remainder theorem

Lemma 8.6 (Expansion of ). Let have finite support. Then

Proof. We perform three rearrangements.

Step 1: expand the square. By Definition 4.12, the second equality being the distributive law for the product of two finite sums (both inner sums are over divisors of the fixed positive integers , hence finite).

Step 2: substitute into . By Definition 4.14,

Step 3: interchange. All three sums are finite: the outer one is over a finite arithmetic progression in , and the inner ones are supported in the finite support of . Interchanging, and merging the two divisibilities and into the single condition , gives the assertion. ◻

Lemma 8.7 (CRT evaluation of the inner count). Let have -permissible support (Definition 3.39), let be a valid residue class, and let be -tuples of positive integers with and . If is large enough that for all , then with an absolute implied constant.

Proof. Write . The summation imposes the system of congruences and for .

Coprime case. If the moduli are pairwise coprime, the Chinese remainder theorem gives a unique solution modulo their product, which is exactly . The interval has length , so it contains integers in a fixed residue class modulo ; the error is at most in absolute value.

Non-coprime case. Suppose the moduli are not pairwise coprime, so some prime divides two of them. If and for some , then by Definition 3.29, while divides , which is coprime to by -permissibility of the support (Definition 3.39); this is a contradiction, so this case does not occur. Otherwise and for some . Any counted by the sum satisfies and , hence . As we have , whereas for large; so is a nonzero integer of absolute value smaller than , and is impossible. The set of counted is therefore empty and the sum is . ◻

Lemma 8.8 (Aggregate CRT lookup error). Let and let have -permissible support. Then, for all sufficiently large , with as in Definition 8.2, the sums being over the (finite) support of .

Proof. The first inequality is the triangle inequality together with .

Step 1: each remainder is bounded. By Lemma 8.7, for every pair in the support of we have for an absolute constant : in the pairwise coprime case is the discrepancy of the count, and in the remaining case both terms defining vanish.

Step 2: count the tuples in the support. By -permissibility every in the support satisfies for all and . The number of such tuples is at most The middle bound holds because on the counting set one has , so the cardinality is at most with each running over , and this factorises into harmonic sums; the last step uses .

Step 3: assemble. Squaring Step 2 bounds the number of pairs by ; multiplying by gives the second inequality.

Step 4: pass from to . By Lemma 7.17, , so ; substituting gives the last bound. ◻

Proof uses: Lemma 7.17

Lemma 8.9 (Negligibility of the CRT lookup error). Let , and . Then, for all sufficiently large ,

Proof. Both sides carry the factor , so we may divide it out.

Step 1: polynomial saving. By Definition 3.37, , and . Put , so and, using ,

Step 2: the -factor is harmless. By Lemma 3.32, for large , so ; combined with this gives .

Step 3: combine. Multiplying the bound of Step 1 by the quantity of Step 2, Since and , the target factor is , whereas as because dominates any fixed power of . Hence for large , which is the claim. ◻

Proof uses: Lemma 3.32

Lemma 8.10 (Main term of after the CRT step). Let , let be admissible, let and . Then, for all sufficiently large , for every with -permissible support and every valid , where denotes summation restricted to pairs of tuples of positive integers for which are pairwise coprime.

Proof. Step 1. By Lemma 8.6, , where is the inner count.

Step 2. Admissibility makes distinct, so for large enough for all , and Lemma 8.7 applies to every pair in the support. By Definition 8.2 this says precisely Substituting into Step 1 and using ,

Step 3. By Lemma 8.8 the second sum is .

Step 4. By Lemma 8.9 applied with , this is , which is the stated error term. ◻

8.3 Decoupling the lcm and the Möbius inversion

Lemma 8.11 (Removing the automatic constraints). Let be such that implies that every is positive, is squarefree, and . Then, for every function of pairs of tuples, where is the restricted summation of Lemma 8.10.

Proof. It suffices to show that, on the support of , the pairwise coprimality of is equivalent to for all ; both sides then have the same summands.

Step 1: the intra-coprimalities are automatic. If then is squarefree. If a prime divided both and with , then , a contradiction. Hence for , and likewise for .

Step 2: coprimality to is automatic. From and , and since divides , we get for every .

Step 3: the residual condition. Pairwise coprimality of the moduli unwinds into for all (Step 2) together with for . A prime dividing both and divides one of and one of ; by Step 1 the possibilities and are excluded, leaving or . Thus the only non-automatic constraint is for all , and conversely that constraint together with Steps 1–2 gives the full pairwise coprimality. ◻

Lemma 8.12 (Decoupling the outer lcm product). Let be such that implies that every is positive and squarefree and that are pairwise coprime. Then

Proof. We may work summand by summand, and we may assume , since otherwise both summands vanish. Then every and every is positive and squarefree, so Lemma 6.3 gives, for each , Taking the product over and expanding the product of finite sums into a single sum over the tuple with , Multiplying by and summing over the pairs satisfying the cross-coprimality guard gives the identity; the guard is a condition on alone and is untouched by the manipulation, since the -sum is internal to the summand. ◻

Lemma 8.13 (Möbius inversion of the constraint ). For every finite family of coefficients and every pair , where is the finite sum

Proof. Step 1: factor the indicator. The constraint is a conjunction over the ordered pairs with , so

Step 2: detect each factor by Möbius inversion. By Lemma 3.7 applied at , and is the conjunction and . Taking the product over the pairs turns Step 1 into a single sum over tuples of positive integers weighted by .

Step 3: insert and interchange. Insert the expansion of Step 2 into the left-hand side. All sums are finite: range over the finite support of , the over divisors of and the over divisors of . Interchanging the order of summation and merging the divisibility indicators into the summation ranges yields exactly . ◻

Proof uses: Lemma 3.7

Lemma 8.14 (Pointwise coprimalities of the ). Let be such that implies that every is positive and that are pairwise coprime. Let be a configuration occurring in , so that , and , for , and suppose its summand is nonzero, i.e. . Then the four restrictions – of Notation 8.3 hold.

Proof. By hypothesis the coordinates of are pairwise coprime and so are those of : Each of the four cases assumes a prime divides and one further listed factor, and contradicts .

. If and , then and , so with : contradiction.

. If and , then and , so : contradiction.

. If and with , then and with : contradiction.

. If and with , then and with : contradiction. ◻

Lemma 8.15 (The restricted and unrestricted -sums agree). Under the hypothesis of Lemma 8.14 on , let denote the sum obtained from by replacing the unrestricted -summation by the restricted summation of Notation 8.3. Then

Proof. The restricted sum is obtained from the unrestricted one by deleting the configurations that violate at least one of –. By Lemma 8.14, every configuration whose summand is nonzero satisfies all four restrictions; contrapositively, every deleted configuration has summand . Deleting terms that vanish does not change the value of a sum, so the two sums are equal. ◻

8.4 The substitution

Lemma 8.16 (Substituting into ). Let , let be admissible, let and . Then, for all sufficiently large , for every with -permissible support and every valid , where, with as in Definitions 8.4 and 8.5, is the finite sum

Proof. Step 1: the starting point. By Lemma 8.10, equals times the primed sum, up to the stated error. Applying, in turn, Lemma 8.11 (legitimate: -permissibility of the support gives positivity, squarefreeness of and coprimality to ), Lemma 8.12 (legitimate: squarefreeness of gives squarefreeness and pairwise coprimality of the coordinates), Lemma 8.13 and Lemma 8.15, we obtain with the error term of Lemma 8.10.

Step 2: collapse the -sum. Fix and satisfying the restrictions of Notation 8.3, which by Lemma 8.14 is no loss. Then, for each , the integers and are pairwise coprime, so the conjunction of and for all is equivalent to the single divisibility (Definition 8.4). Hence the inner -sum is over for all , and by Definition 4.20 and the Möbius inversion of Lemma 4.23, whenever is squarefree, the summand vanishing otherwise. The same argument with in place of (using coprimality of and , and Definition 8.5) collapses the -sum.

Step 3: recombine the arithmetic factors. On the support, and are squarefree with pairwise coprime factors, so and are multiplicative across them. Collecting the three sources of — one from , one from , and the Möbius weight inserted in Lemma 8.13 — and the factors against , we obtain, for each , a factor , and for each ordered pair a factor . This is exactly the summand of , and Step 1’s error term is unchanged. ◻

Lemma 8.17 (Contributing are coprime to ). Let have -permissible support. If a configuration contributes to , that is if and , then for every .

Proof. Fix . By Definition 4.20, forces the inner sum defining it to be nonzero, so there is a tuple with and for every . By Definition 8.5, . By -permissibility of the support of we have , hence and therefore . ◻

Lemma 8.18 (Dichotomy for the contributing ). Let have -permissible support and let . If a configuration contributes to , then for every either , or every prime factor of exceeds ; in particular or .

Proof. If there is nothing to prove, so assume and let be a prime factor of . By Lemma 8.17, , so . By Definition 3.29, is the product of all primes , so a prime divides if and only if it is at most . Hence . Since is then divisible by a prime exceeding , we get . ◻

Lemma 8.19 (The contribution of ). Let , , . For all sufficiently large and every with -permissible support, the part of supported on configurations with for at least one pair is

Proof. There are ordered pairs with , so by the union bound it suffices to bound, for one fixed pair, the contribution of the configurations with , and then multiply by .

Bound and take absolute values in the summand. Every variable is constrained to be squarefree and coprime to (Lemma 8.17 and -permissibility), and each of has product at most on the support of , so each and each is at most . Therefore the contribution of the fixed pair is at most By Lemma 6.30 the first factor is ; the middle factor is because converges; and the last factor is , since makes the tail comparable to . Multiplying by and by gives the assertion. ◻

Proof uses: Lemma 8.17, Lemma 6.30

Lemma 8.20 (The diagonal term ). For every of finite support, the sums being over -tuples of positive integers. (The left-hand side is the summand of at for all , since then , , and the restrictions of Notation 8.3 are vacuous.)

Proof. It suffices to compare the two summands at a fixed tuple . If is squarefree then each and the two summands coincide. If is not squarefree, then by Definition 4.20 the value vanishes — the -variables are supported on tuples with squarefree product — so both summands are . In either case the summands agree, and hence so do the sums. ◻

Lemma 8.21 ( in terms of ). Let , let be admissible, let and . Then, for all sufficiently large , for every with -permissible support and every valid ,

Proof. By Lemma 8.16, with .

Split according to whether all the with equal . By Lemma 8.18, on every contributing configuration each is either or exceeds ; hence the configurations that are not diagonal are exactly those with for at least one pair, and their total contribution to is by Lemma 8.19.

The diagonal part is times the left-hand side of Lemma 8.20, which that lemma identifies with . Adding the two error contributions gives the assertion. ◻

8.5 The smooth case

Lemma 8.22 (Substituting the smooth ). Let , let be admissible, let and , and let be smooth with support contained in (Definition 5.1). Let be the -derived sieve weight of Definition 5.6. Then there is a constant , depending only on , and , such that for all sufficiently large and every valid ,

Proof. Apply Lemma 8.21 to , which has -permissible support by Definition 5.6. By Lemma 7.3, the associated -variables are given in closed form: Substituting this into the main term of Lemma 8.21 restricts the -sum to tuples with squarefree and coprime to and replaces by , which is the displayed main term.

For the error term, the same closed form gives : indeed the support condition on forces to vanish unless for every , and by Definition 7.4. Replacing by in the error term of Lemma 8.21 gives the stated bound. ◻

Proof uses: Lemma 8.21, Lemma 7.3

Lemma 8.23 (Dropping the constraint ). Let , . There is a constant depending only on , , such that for all sufficiently large and every smooth supported in ,

Proof. Step 1: identify the difference. A tuple has squarefree and coprime to if and only if every is squarefree and coprime to and the are pairwise coprime. On such tuples for every , so the two summands coincide. The second sum runs over the larger index set , on which its summand is nonnegative and vanishes unless each is squarefree. Hence the difference is, in absolute value, exactly

Step 2: a shared prime is large. Fix and suppose a prime divides both and . Since and , we have .

Step 3: bound one pair. Bound ; the support of inside forces for every in each nonzero term. For fixed and a fixed prime , summing over divisible by and over the remaining coordinates freely, because for squarefree with one has .

Step 4: sum over and over pairs. By Lemma 6.30, . Moreover . Summing Step 3 over the primes and over the ordered pairs bounds the quantity of Step 1 by which is the assertion. ◻

Proof uses: Lemma 6.30

Lemma 8.24 (Applying partial summation once per coordinate). Let , . There is a constant depending only on , , such that for all sufficiently large and every smooth supported in ,

Proof. We verify the hypotheses of Lemma 6.41 for the density and then iterate it once per coordinate.

Step 1: the sieve data. Let be the multiplicative density with . Then for all , so the growth hypothesis holds with . For the logarithmic hypothesis, Mertens’ first theorem gives , while the primes dividing contribute at most ; subtracting, the hypothesis holds with and . Finally the structural hypothesis holds with (squarefree) and , since for and otherwise; the associated residual error of Lemma 6.41 is , negligible because while is a fixed positive multiple of .

Step 2: the singular product and the multiplicative weight. By Lemma 6.32, . The associated totally multiplicative function is , i.e.  for and for . Consequently, for squarefree coprime to , , and is supported exactly on the squarefree coprime to — the vanishing off the integers coprime to the modulus being Lemma 4.7 at — which is precisely the summand appearing in the statement.

Step 3: one coordinate at a time. Take throughout; the support of inside makes the summand vanish unless , i.e. . Fix values for and apply Lemma 6.41 to the smooth profile on , whose -norm satisfies by Definition 7.4. This yields Iterate over the coordinates , at stage applying Lemma 6.41 to the profile , whose -norm is again .

Step 4: aggregate. After iterations the main term is using that is supported in so that the integral over the cube is (Definition 5.2). The total error is the sum over of the terms in which the error appears in the -th coordinate and the main term in the other ; each such term has size and there are of them. This is the stated bound. ◻

Lemma 8.25 (Asymptotic for in the smooth case). Let , let be admissible, let and , and let be smooth with support contained in . Let be the -derived sieve weight of Definition 5.6. Then there is a constant , depending only on , and , such that for all sufficiently large and every valid ,

Proof. Write for the sum appearing in Lemma 8.22, for the sum appearing on the right of Lemma 8.23, and . The three preceding lemmas give, for large, Since , the triangle inequality gives and is exactly , the asserted main term.

It remains to see that the third error is of the same shape as the first two. Set ; then the first two errors are and , while the third is . Since and , we have for all large , that is . Hence the third error is at most , and the total is at most , which is the stated bound with . ◻

9 Sieve manipulations: the reduction of

For each we carry out the passage from the sieve coefficients to the smooth -variables in the second moment , ending in an asymptotic expressed through the functional . The argument parallels the reduction of — expand the square, evaluate the inner sum by the Chinese remainder theorem, decouple the least common multiples, invert the residual coprimality conditions by Möbius, and substitute the transformed variables — but two features are new. First, the inner sum now carries the prime indicator , so the Chinese remainder step produces a main term and an error rather than an exact count; controlling the aggregate of those errors over the whole support of requires the hypothesis that the primes have a level of distribution , and is the only place where Bombieri–Vinogradov (Theorem 1) is used. Second, the transformed variables are the of Definition 4.25, whose normalisation is rather than ; this is the source of the multiplicative function of Definition 3.6 throughout.

Throughout the section is fixed, is admissible, is a distinguished index, , , is a residue compatible with modulo , is a level of distribution for the primes, and . The sieve coefficients are always assumed to have permissible support (Definition 3.39) at the parameters and . All implied constants depend only on and , never on , on , on the profile , or on , unless explicitly stated otherwise.

9.1 Expansion and the Chinese remainder step

Lemma 9.1 (Expansion of ). For every finitely supported ,

Proof. This is the same three-step rearrangement that produced the expansion of (Lemma 8.6), with the extra factor carried inertly through every step; only the coordinatewise divisibility identity is used, so the argument applies verbatim to any weight attached to .

Step 1: expand the square. By Definition 4.12, the two inner sums being finite because has finite support.

Step 2: substitute into . By Definition 4.16, is the sum of over with ; inserting Step 1 gives a triple sum.

Step 3: interchange and merge the divisibilities. All three sums are finite, so the -summation may be moved inside. For each fixed the pair of conditions and holds if and only if . Merging them coordinatewise yields the displayed identity. ◻

Proof uses: Lemma 8.6

Lemma 9.2 (Primality forces ). Let be positive integers with and . Then is not prime. Consequently, for all large enough that , the inner sum of Lemma 9.1 vanishes unless .

Proof. The first assertion is immediate: is a divisor of with and , so has a non-trivial divisor and is composite.

For the consequence, suppose for a pair in the support of , and let contribute to the inner sum, so that . By Definition 3.39 the support of is contained in the tuples with , whence ; more crudely, once exceeds a threshold depending only on and . Applying the first assertion with and shows is composite, so . Hence the entire inner sum vanishes. ◻

Lemma 9.3 (Chinese remainder evaluation of the inner sum). There is a constant , depending only on , and , with the following property. Let , let satisfy for every , and let be tuples of positive integers such that

  1. ;

  2. is coprime to for every , and the are pairwise coprime;

  3. for every .

Put . Then

Proof. Hypothesis (ii) makes a pairwise coprime family, so the Chinese remainder theorem identifies the system of congruences with a single congruence , for a residue determined by the data. The inner sum is therefore , that is, the number of primes in lying in the single residue class , up to at most boundary terms; the boundary discrepancy is absorbed into the constant , using .

It remains to see that the class is coprime to , so that the class is admissible for the definition of (Notation 3.26). Let . If then , which is coprime to by the choice of . If for some , then by (ii) this is unique; when hypothesis (i) gives , so no such exists; when we have , which is nonzero modulo by hypothesis (iii). Hence .

By the very definition of as the supremum, over classes coprime to , of the discrepancy between the prime count in that class and , the inner sum differs from by at most , and the claim follows with a constant absorbing the boundary terms. ◻

9.2 The aggregate error term and Bombieri–Vinogradov

Lemma 9.3 replaces the inner sum by a main term at the cost of one error per pair . The aggregate of these errors, weighted by , is negligible. Three ingredients combine: the moduli are squarefree and lie below , which is a power strictly below ; each modulus is attained by at most pairs; and a level of distribution controls the sum of over all . Only the last of these uses anything beyond elementary arithmetic, and it is exactly Theorem 1.

Sublemma 9.4 (Squarefreeness of the sieve modulus). Let be squarefree and let be a pair in the support of a weight with permissible support at . Then is squarefree.

Proof. By Definition 3.39 the products and are squarefree and coprime to . Squarefreeness of forces each to be squarefree and for : a prime dividing two distinct coordinates would divide the product twice. The same holds for the .

Fix . Since and are squarefree, so is — indeed is a product of three pairwise coprime squarefree integers. For , a prime dividing both and would divide one of and one of ; each of the four cases contradicts one of , , , , the last two being part of the permissible-support condition. Hence is a product of pairwise coprime squarefree integers, so is squarefree.

Finally is squarefree (it is a product of distinct primes) and coprime to , since every prime factor of the latter divides some or . A product of two coprime squarefree integers is squarefree, so is squarefree. ◻

Sublemma 9.5 (Cardinality of the -fibre). Let and let be a multiple of . Then the set of pairs with has cardinality at most .

Proof. We construct an injection from the fibre into the set of ordered factorisations of into factors, whose cardinality is by Definition 3.5.

Given a pair in the fibre, apply the per-coordinate lcm decomposition of Sublemma 6.5 in each coordinate: it sends the pair to the triple , whose entries are pairwise coprime with product , and it is a bijection onto such triples, with inverse . Concatenating the triples gives an ordered -tuple whose product is .

The map is injective: from the -tuple one recovers each pair by the inverse of Sublemma 6.5, coordinate by coordinate. Injectivity into a set of cardinality gives the bound. ◻

Proof uses: Sublemma 6.5

Sublemma 9.6 (Multiplicity of a squarefree modulus). Let have permissible support at with , and let be squarefree. Then

Proof. If the fibre is empty, since always. Otherwise Sublemma 9.5 bounds the fibre by . Since is squarefree and , we have with ; as is multiplicative and takes values on positive integers, . ◻

Proof uses: Sublemma 9.5

Sublemma 9.7 (Majorisation of the error sum by a sum over moduli). Let , let satisfy , and let have permissible support at level and modulus . Then there are a constant and a threshold , depending only on , and , such that for all the outer sum being over pairs in the support of .

Proof. Group the pairs according to the value . By Sublemma 9.4 every such is squarefree, so the grouped sum is supported on squarefree , i.e. carries the factor . By Sublemma 9.6 each value is attained by at most pairs, and throughout. For the range: on the support of we have and (Definition 3.39), hence and . ◻

Proof uses: Sublemma 9.4, Sublemma 9.6

Sublemma 9.8 (Divisor-weighted sum of local errors). Let , let be a level of distribution for the primes, and let . Then there are and such that for every ,

Proof. Write with the genuine discrepancy, and treat the two pieces separately.

The constant piece. A crude divisor bound suffices: for every one has , proved by comparing, at each prime power , the polynomial factor with the geometric factor , which dominates it for all beyond a threshold depending on and , the finitely many remaining primes contributing a bounded factor. Taking so small that gives .

The discrepancy piece. By Cauchy–Schwarz, For the first factor, split each uniquely as a squarefree integer times a squarefull one: on squarefree the sum by a Mertens-type estimate (Lemma 6.8 applied with the parameter , using on squarefree arguments, which is Lemma 3.9 applied twice), while the squarefull part contributes a convergent factor because . Hence the first factor is for some . For the second factor, the trivial bound — a residue class modulo meets in at most integers, and — gives , so the second factor is . Finally the level of distribution (Definition 3.21), in the dyadic form of Lemma 3.27, bounds by for any prescribed .

Multiplying the two factors gives ; choosing makes this , and adding the constant piece completes the proof. ◻

Lemma 9.9 (Aggregate error bound). Let , let , and let be a level of distribution for the primes, with . Then there are and such that for every and every with permissible support at ,

Proof. By Sublemma 9.7 the left-hand side is at most .

We first check that the range lies inside the range covered by the level of distribution. Indeed and by Lemma 3.32, so for all large enough, being fixed; the same computation, with the sharper bound of Lemma 3.38, places below for some , which is what makes Bombieri–Vinogradov applicable at all.

Bounding and applying Sublemma 9.8 with the exponent gives Finally Lemma 7.17 bounds the sieve coefficients in terms of the -variables, , so . Multiplying the two displays absorbs the and leaves . ◻

9.3 Partial summation and the -weighted Mertens sum

The -estimates of the next subsection and the evaluation of the smooth case both rest on one arithmetic input: the Mertens-type sum , and its multi-coordinate version. We record these here.

Two refinements of the one-variable partial-summation estimate of Lemma 6.41 are needed. First, iterating that estimate over several coordinates produces, at each intermediate stage, a profile obtained by integrating out the coordinates already processed; such a profile is bounded and Lipschitz, but there is no reason for it to be continuously differentiable, so a version of partial summation valid for Lipschitz profiles is required. Second, the accumulated error over coordinates is acceptable only if the residual of the one-variable estimate is split into a piece decaying like a power of and a piece of size ; the crude bound of Lemma 6.41 is not enough to produce a saving at each layer.

Sublemma 9.10 (Partial summation for a Lipschitz profile). There are functions and such that the following holds for every sieve datum , every real , every and every that is bounded by and -Lipschitz: where denotes the real number satisfying

Proof. For a profile the estimate is the Abel-summation argument of Lemma 6.41, run without collapsing the two shapes of residual: writing and , Abel summation bounds the left-hand side by , and Sublemma 6.39 gives . Integrating the first shape against contributes ; integrating the second contributes up to absolute constants, since ; and the boundary term retains the shape . This is the displayed bound with in place of .

For a merely bounded Lipschitz , approximate: for each there is a function on with and -norm , obtained by convolving with a smooth bump of width (the Lipschitz bound controls the derivative of the mollification by , and the sup-norm by ). Both the discrete sum and the integral change by at most times the total mass, which is bounded uniformly in ; letting transfers the estimate to with the constant in place of . ◻

Proof uses: Lemma 6.41, Sublemma 6.39

Lemma 9.11 (-fold partial summation against a smooth profile). There are positive functions , and such that the following holds for every sieve datum , every , every real and every smooth supported in : where and are the real numbers satisfying and .

Proof. For each , interpolate between the two sides through the layered evaluations in which the first coordinates are summed discretely against the sieve weight and the remaining are integrated, each integrated coordinate paying the factor that partial summation would have produced. Since is supported in the indicator may be dropped in , so ; and is the discrete sum on the left, the simplex indicator again being automatic from the support of .

One layer. Fix and a prefix , and let denote the inner integral of with the first coordinates frozen at , the -st coordinate frozen at , and the remaining ones integrated over subject to the simplex constraint. Then pointwise, because the integrand is bounded by on a set of volume at most ; and is -Lipschitz in , because moving moves both the integrand (with derivative bounded by , as ) and the simplex constraint (whose symmetric difference has measure at most , on which the integrand is bounded by ). Applying Sublemma 9.10 with replaces the discrete -st sum by , at a cost per prefix. Consequently the prefix sum being restricted, by the support of , to .

The prefix mass. The prefix sum factorises over the coordinates, and each single-coordinate sum is, by Sublemma 9.10 with , at most . Hence the prefix mass is at most , and since also the whole bracket is at most .

Telescoping. Summing over gives , which is the claim. ◻

Proof uses: Sublemma 9.10

Lemma 9.12 (The -coordinate sum). Let and . There are and such that for every with and every ,

Proof. Apply the sharp partial-summation estimate of Sublemma 9.10 at to the Maynard sieve datum built on the -tricked density of Definition 4.9, namely the totally multiplicative function with for and for . That this is a sieve datum, with , , and , is Lemma 4.10; and by Sublemma 6.31 its derived multiplicative function is for coprime to and otherwise, so the sum in the statement is exactly the sum that estimate governs.

By Sublemma 6.32, . Substituting, the main term becomes together with an error — the first of the two asserted error shapes, and the reason the statement carries rather than in that term.

For the residual of Sublemma 9.10: the term is , since ; and the term is negligible in comparison, because and by Lemma 3.32 while is a fixed positive multiple of . Multiplying by gives the second asserted error shape . ◻

9.4 The main term and the substitution

Definition 9.13 (The -bilinear sum). For a finitely supported and an index , set where and are the exponent tuples and of Definitions 8.4 and 8.5, and is the restricted sum of Notation 8.3.

Lemma 9.14 (Main term of after the Chinese remainder step). Let , let have distinct shifts, and let be a level of distribution for the primes, with . For every there are such that for every , every compatible and every with permissible support at , where restricts to pairs with pairwise coprime and, in addition, for every .

Proof. By Lemma 9.1, with the inner prime-weighted count.

Step 1: discard the pairs that cannot contribute. By Lemma 9.2, for large unless . If two of share a prime , then the congruence system defining the inner sum is either inconsistent (so ) or forces for some ; on the support of every prime factor of exceeds , and , so for large this cannot happen for distinct shifts. The same argument shows the extra condition is automatically satisfied for large: any common prime would exceed and divide the nonzero integer . Thus, for large, the outer sum may be restricted to with , without changing its value.

Step 2: evaluate each retained inner sum. For a retained pair, all three hypotheses of Lemma 9.3 hold, so . Since and the are pairwise coprime, multiplicativity of gives .

Step 3: split main and error. Substituting Step 2 into Step 1 produces exactly the displayed main term, plus an error at most a constant multiple of . Lemma 9.9 bounds this by . ◻

Lemma 9.15 (-lcm decoupling). Let be supported on tuples whose coordinates are positive, squarefree and pairwise coprime. Then

Proof. For squarefree , Lemma 6.2 gives the divisor-sum identity which is the multiplicative reformulation of together with on squarefree arguments. Applying it in each of the coordinates — legitimate, since the coordinates of tuples in the support of are squarefree — and expanding the resulting product of finite divisor sums into a single sum over the tuple with gives Multiplying by , summing over the restricted set of pairs and interchanging the two finite summations yields the claim; the restriction and the pinning concern only the outer variables and are untouched. ◻

Proof uses: Lemma 6.2, Lemma 3.10

Lemma 9.16 (Möbius inversion of the cross-coprimality conditions). Let be supported on tuples whose coordinates are positive, squarefree and pairwise coprime. Then

Proof. By Lemma 8.11, which uses only the permissible-support hypothesis, the pairwise-coprimality restriction recorded by is, on the support of , equivalent to the family of conditions over ordered pairs : the conditions involving and the same-index conditions hold automatically.

For each such ordered pair, Lemma 3.7 gives the Möbius detection identity , and is the conjunction of and . Taking the product of these identities and interchanging the resulting finite -summation with the -summation gives the displayed formula.

Moreover, exactly as in Lemma 8.14, every tuple that contributes a nonzero term satisfies the coprimality restrictions recorded by : , for and for . Each is a two-line contradiction with or , both of which follow from squarefreeness of and of . By Lemma 8.15 the restricted and unrestricted -sums therefore agree. ◻

Lemma 9.17 (Substitution ). Let , let have distinct shifts, and let be a level of distribution for the primes, with . For every there are such that for every , every compatible and every with permissible support at ,

Proof. By Lemma 9.14 it suffices to identify the restricted double sum, after the transformations of Lemmas 9.15 and 9.16, with ; the error is carried unchanged. The identification is the -analogue of the substitution performed for (Lemma 8.16), the difference being that is here normalised by rather than , so that replaces throughout.

Step 1: invert the definition of . Definition 4.25 reads . Möbius inversion, coordinate by coordinate, gives on the support of the support constraint coming from Lemma 4.26.

Step 2: collapse the - and -sums. On the inner sum of Lemma 9.16 the constraints on are and for ; by the coprimality of with the recorded in Lemma 9.16, these are equivalent to the single divisibility with (Definition 8.4). Inserting Step 1, swapping the finite - and -sums and applying Lemma 3.7 in the form collapses the -sum to the single tuple , leaving . The identical computation on the -side — where the constraints are and , with the two indices of transposed — leaves with (Definition 8.5). The pinning forces and , hence .

Step 3: assemble the coefficient. The tuples have squarefree entries, and and are multiplicative on them, so and , and similarly for . Each occurs once through , once through , and once through the inversion factor already present; since , the net exponent is one. The -factors combine as . The resulting coefficient is , which is exactly the summand of Definition 9.13. ◻

Lemma 9.18 (Contribution of the terms with some ). Let and . There are and such that for every , every with permissible support at and every pair of indices , the absolute contribution to of the terms with is at most

Proof. The argument is the -analogue of Lemma 8.19, with three substitutions: the prefactor becomes , the multiplicative weight becomes , and the convergent series of Lemma 6.11 becomes that of Lemma 6.12.

Fix the offending pair . Bound by , which is finite by Lemma 7.1, and factor the remaining sum into independent coordinate sums. There are three kinds of factor.

(a) The free -coordinates. Since on the support, the -sum contributes . The -analogue of the Mertens estimate of Lemma 6.30 — available here as the case of Lemma 9.12, or directly by comparing with , whose difference sums to over — bounds this by .

(b) The distinguished big coordinate. By Lemmas 8.17 and 8.18, every contributing is coprime to and has all its prime factors . For squarefree with least prime factor one has , hence , and summing the resulting multinomial series gives

(c) The remaining coordinates . Each contributes , convergent by Lemma 6.12.

Multiplying (a), (b), (c) by the prefactor and using (a consequence of Theorem 3, or of Chebyshev’s bound) gives the stated estimate. ◻

Lemma 9.19 (Contribution of the diagonal ). For every , and every finitely supported , the contribution to from the single tuple with for all is

Proof. Setting for all in and gives , so the product becomes . The -coefficient is since . Finally vanishes unless every is squarefree (Lemma 4.26), so on the support and the -coefficient reduces to . ◻

Proof uses: Lemma 8.20

Lemma 9.20 (Absorption of the error). Let , and . There are and such that for every and every with permissible support at ,

Proof. By Theorem 3, , so the prefactor difference is .

It remains to bound the diagonal sum. Bounding by and using together with the coordinate restrictions , and from Lemma 4.26, the sum factorises across the free coordinates: the last step being the case of Lemma 9.12. Multiplying the two displays and using gives a bound , which is smaller than the asserted bound because for large: grows only triple-logarithmically. ◻

Lemma 9.21 (The second moment in terms of ). Let , let have distinct shifts, let be a level of distribution for the primes and . For every there are and such that for every , every compatible and every with permissible support at ,

Proof. By Lemma 9.17, agrees with up to , which is the second error term of the claim.

Split the -summation in into the diagonal tuple, all , and its complement. By Lemma 8.18 — whose proof uses only that is supported on tuples with squarefree and coprime to , and that , both of which hold here — every contributing is either or has all prime factors ; in particular any off-diagonal tuple has some . Summing the bound of Lemma 9.18 over the ordered pairs (Lemma 3.14) shows the off-diagonal contribution is using .

The diagonal contribution is evaluated by Lemma 9.19 as , and Lemma 9.20 replaces by at a cost within the same first error term. Adding the three contributions gives the claim. ◻

9.5 The smooth case

Lemma 9.21 reduces to the diagonal quadratic form — the factor being because is supported on . We now evaluate that form for the -derived weight of Definition 5.6.

The evaluation does not go through a per-tuple asymptotic for . Up to a negligible error, equals the inverse sum of Definition 7.10, whose defining coprimality condition carries the large modulus ; a per-tuple evaluation would need partial summation at that modulus, which is not available. Instead we square first and sum second: the large modulus then appears as a coupling between the summation coordinates , and every such coupling can be dropped at a relative cost , exactly as in the analysis, because two coordinates coprime to can only share a prime . Once the couplings are dropped, each coordinate is coprime to alone, and the -fold sum is evaluated coordinate by coordinate at modulus .

Definition 9.22 (The decoupled -fold sum). Let . For an index set where places , respectively , in the -th slot of two copies of and in the others. No coprimality is imposed between the summation variables.

Lemma 9.23 (Reduction of the diagonal form to a second moment of ). Let and let be smooth and supported in . There is a constant , depending only on , and a threshold depending on , such that for every , every with permissible support at and , and every , both sums being over tuples with and coprime to for .

Proof. By Lemma 7.16, with a uniform bound : the passage from to the inverse sum costs only the terms in which the auxiliary tuple differs from in some coordinate , and those are controlled by a saving of the same shape as in the analysis.

Next, by the Mertens estimate of Lemma 6.30, and hence also . Therefore Summing this against and using — the case of Lemma 9.12 — gives the total , as claimed. ◻

Lemma 9.24 (Expanding the square and dropping the couplings). Let and let be smooth and supported in , and let be the associated -derived weight. There is a constant depending only on , and a threshold depending on , such that for every and every ,

Proof. For the -derived weight, Lemma 7.3 evaluates the -variables in closed form, and becomes

Step 1: square. The condition is the conjunction of and for . Since each is squarefree, , so All variables are on the support of , so summing over and interchanging the finite sums is legitimate. The result is with the couplings () and () still imposed.

Step 2: drop the couplings. All of are coprime to , so a prime shared by two of them satisfies . On squarefree arguments the local weight at such a prime is for the -coordinates and for the -coordinates, so restoring a forbidden pair costs a factor at most or , and . Exactly as in Lemma 8.23, summing over the pairs bounds the total cost of removing all couplings by times the fully unrestricted sum with in place of .

Step 3: size of the unrestricted sum. Using , the Mertens estimate of Lemma 6.30 for the two -coordinates and Lemma 9.12 with for the coordinates , Combining with Step 2 gives the stated error. ◻

Lemma 9.25 (Evaluation of the decoupled -fold sum). Let . There is a constant , depending only on , such that for every smooth supported in there is a threshold with for every and every .

Proof. Separate the two -slot coordinates , whose weight is , from the outer coordinates , whose weight is .

Step 1: the two -slot coordinates. With the outer coordinates frozen, the -sum is , a partial sum for the datum with ; the profile is with the -th slot free, whose -norm is at most . One application of Sublemma 9.10 replaces it by , where is the marginal of in the -th coordinate, with error ; the residual of Sublemma 9.10 is of that size because while is a fixed positive multiple of . Doing the same for and multiplying, the two -slot coordinates contribute the factor and replace the coupling by , with a relative error .

Step 2: the outer coordinates. What remains is the -fold sum where is the derived function of the datum , equal to on integers coprime to and otherwise by Sublemma 6.31. The marginal is smooth and supported in , the -dimensional simplex, so Lemma 9.11 applies with , and profile , giving again using to reduce the residual to and to . By Definition 5.3, .

Step 3: assembly. By Sublemma 6.32, , and for fixed , . Multiplying Steps 1 and 2 therefore gives the main term . Since , the deviation of the singular-product factor from costs . Each remaining error is a partial-summation residual at one coordinate multiplied by the leading factors at the other , hence of size , whose ratio to the main term is . Collecting the errors gives the claim. ◻

9.6 The two-weight form and the outer support split

The preceding subsections treat as a quadratic form in a single weight. Two further pieces of the reduction are bilinear, and are recorded here in the two-weight form in which they are proved and used.

The first is that is a quadratic form, so its polarisation is a bilinear prime-weighted sum to which the Chinese remainder step of Lemma 9.3 applies pair by pair, exactly as in Lemma 9.14 but without requiring the two weights to coincide.

The second is a device for controlling the size of the sieve moduli. The aggregate error bound of Lemma 9.9 is available only because every modulus occurring in the double sum is below , hence below : this is what makes Bombieri–Vinogradov applicable across the whole range. The modulus is controlled by the product of the two outer truncations, one from each weight, not by the individual truncations; so if one weight is truncated more severely in its outer coordinates, the other may be truncated correspondingly less without moving the moduli at all. To exploit this one needs to split a weight into a part supported below a prescribed outer cutoff and a complementary part. The split is performed on the -side — cut off , then transform back — rather than on the -side, because it is exactly the -side cutoff that is transparent to the transforms and to the sup-norm .

Definition 9.26 (Retained weight). Let be a finitely supported weight with -transform , let be an index and let . The retained weight is the Möbius transform (Definition 4.22) of the cut-off family

Definition 9.27 (Discarded weight). With , and as in Definition 9.26, the discarded weight is .

Lemma 9.28 (The split is transparent to the -transform). Let have permissible support at , let be an index and let . Then for every , In particular both pieces have permissible support at and their -transforms have sup-norm at most .

Proof. The - and -transforms are mutually inverse on weights supported on tuples with squarefree coordinates (Lemma 4.24); applying the -transform to , which by Definition 9.26 is the -transform of , returns on the relevant support. Linearity of the -transform then gives the second identity. Since the cut-off family is pointwise dominated by in absolute value, its sup-norm is at most , and so is that of the difference after the triangle inequality is applied coordinatewise; and both transforms inherit permissible support from by Lemma 4.21. ◻

Lemma 9.29 (Additivity of the diagonal form along the split). With , , as above, where and are the free-coordinate marginals (Definition 7.10) of and .

Proof. The marginal sums over the single free coordinate , and the cutoff does not involve that coordinate. Hence by Lemma 9.28, for each fixed either and (when the cutoff holds), or the reverse (when it fails). In either case pointwise, and all three families are summable against , so the identity survives summation. ◻

Proof uses: Lemma 9.28

Lemma 9.30 (The modulus depends only on the product of the outer truncations). Let be supported on tuples with and on tuples with . Then every pair with and satisfies

Proof. Since we have , so . ◻

The bound depends on and only through their product. For weights of permissible support one may take , recovering the range of Sublemma 9.7; but the same range — and hence the same appeal to Bombieri–Vinogradov — is available for any pair of outer truncations with , even when one of them exceeds . This is precisely what the split of Definitions 9.26 and 9.27 makes possible: the modulus range is governed by together with the split, and no further hypothesis relating the truncation exponents is needed.

Lemma 9.31 (Two-weight Chinese remainder bound). There is a constant , depending only on , and , such that for all sufficiently large , every compatible and all finitely supported weights dominated by a common weight of permissible support at , where restricts to pairs for which are pairwise coprime and for every .

Proof. The map is a quadratic form: by Lemma 9.1 it is the double sum of with a kernel not depending on . Its polarisation, the left-hand quantity, is therefore .

From here the proof of Lemma 9.14 applies verbatim, pair by pair, since it never used that the two weights coincide: Lemma 9.2 discards the pairs with or ; the pairs violating the pairwise-coprimality or shift-coprimality conditions contribute for large, because every prime factor of a occurring on the common dominating support exceeds ; and Lemma 9.3 evaluates each retained as with an error at most . Multiplicativity of across the pairwise coprime factorisation turns the main terms into the displayed restricted sum, and the triangle inequality collects the errors. ◻

10 From positivity to primes

We pass from positivity of the sieve difference to a bound on prime gaps.

The sieve difference counts, over the sieve window, the excess over of the number of primes among . If it is positive then some in the window has more than of the shifts prime, and, this number being an integer, at least of them. Carrying this out for each large yields infinitely many such ; since the shifts lie in an interval of length , infinitely many intervals of that length contain primes, bounding the gap between consecutive primes. Lemma 10.1 records the first step, Lemma 10.3 the second.

The companion mean-square infrastructure — -continuity of and and the -density of smooth simplex-supported profiles, used to compare the variational supremum with the smooth-profile asymptotics — lives with the variational problem in Section 5 (Lemmas 5.8, 5.9 and 5.11); its enlarged-simplex counterpart is Lemma 11.8.

10.1 From to primes

Lemma 10.1 ( for all large gives infinitely many prime-rich translates). Let and . Suppose that for every sufficiently large there exists a finitely supported (depending on ) with . Then the set is infinite.

Proof. Write for the displayed set. It suffices to show that is unbounded above, since an unbounded subset of is infinite.

Let be arbitrary. Choose large enough that the hypothesis supplies a finitely supported with for that . Lemma 4.19 then produces an integer with (and , which we discard) such that at least of the are prime. Thus and . As was arbitrary, is unbounded. ◻

Proof uses: Lemma 4.19

Definition 10.2 (Prime-rich interval). For , say that the closed interval is -prime-rich if it contains at least distinct primes, that is, if

Lemma 10.3 (Prime-rich intervals imply small prime gaps). Let and be integers. If the interval is -prime-rich for arbitrarily large , then for infinitely many .

Proof. For let be the index of the least prime that is at least ; this is well defined because there are infinitely many primes. Since exactly primes are smaller than , we have , so is non-decreasing and as .

Let be arbitrary; we produce with . Choose with , and then, by hypothesis, some for which is -prime-rich. Put , so that .

By construction , and every prime in has index at least . Since the primes in are consecutive in the enumeration, they are , and there are at least of them, so and therefore . Subtracting, As was arbitrary, this holds for infinitely many . ◻

11 The enlarged variational data, sieve weight, and sieve estimate

This section deforms the variational data and the sieve estimates of the standard simplex by a parameter with . Every object below is defined for all such and reduces to its standard counterpart at . At the estimates are the standard ones; at they give a strictly larger variational problem at the cost of one extra hypothesis on the level of distribution.

The deformation applies two independent scalings to two different pieces of the data. The region on which the profile may live is enlarged from to , which increases the numerator of the Rayleigh quotient by admitting more competitors. Simultaneously, the region over which the -th marginal is integrated is shrunk from to , which decreases it. The reason the two scalings are tied to the same is arithmetic, not geometric, and is the content of Lemma 11.20 below: the enlargement pushes the sieve divisors out to , which by itself would carry the moduli of the second-moment bilinear form past the Bombieri–Vinogradov threshold, and the shrinking is exactly the compensating restriction that brings them back.

11.1 The enlarged simplex and the shrunken slice

Both regions are corner regions of the same shape as (Definition 5.1), with the total-mass bound replaced by and respectively; at they are and exactly. Both are compact, hence Lebesgue measurable and of finite measure, so every integral written below over or of a continuous integrand converges absolutely.

Lemma 11.1 (Enlarged simplex is a homothety of the standard one). For every and every , .

Proof. Write . If then has non-negative coordinates and , so . Conversely, if put ; then for each and , so and . The two inclusions give the claimed equality. ◻

The same argument with gives , which is used without further comment below.

Definition 11.2 (Enlarged profile class). For and , the enlarged profile class is the set of with .

Members of are automatically compactly supported, since is compact; and is exactly the class of smooth profiles supported on used for the standard sieve. No symmetry or sign condition is imposed on .

Definition 11.3 (Rescaling operator). For and , define by .

The operator reduces the enlarged development to the standard one. By Lemma 11.1, maps bijectively onto : if and then , whence ; smoothness is preserved because is precomposition with a linear map. On the arithmetic side absorbs the change of the normalising truncation from to (Lemma 11.13); on the analytic side it turns integrals over into integrals over at the price of an explicit Jacobian, as follows.

Lemma 11.4 (Change of variables on the enlarged simplex). For every and every continuous ,

Proof. By Lemma 11.1 the substitution maps bijectively onto . It is the restriction of the linear map of , whose determinant is ; the scaling law for Lebesgue measure on therefore gives, for any non-negative measurable , . Apply this with and use . ◻

Proof uses: Lemma 11.1

11.2 The enlarged functionals

The denominator of the variational problem is not deformed. For the quantity equals , because vanishes off ; so of Definition 5.2 serves unchanged for every , and the deformation enters only through the widened class of competitors. The numerator, by contrast, is deformed: the outer integration is over the shrunken slice.

Lemma 11.5 (The enlarged marginal in rescaled coordinates). Let , let , and let . Then

Proof. Substitute in both the inner and the outer integral. In the inner integral over the single variable this contributes one factor , so ; squaring gives . In the outer integral over the variables it contributes . Together these give the factor .

It remains to identify the domain. Under the constraint , that is for and , becomes for and . Since , this domain is the subset of cut out by the displayed indicator, which is the stated right-hand side. ◻

Lemma 11.5 exhibits the enlarged marginal as a restricted standard marginal: after rescaling by the profile lives on , and the only remaining trace of the enlargement is the sharp cutoff on the outer variables. That cutoff is the image under the transform of the divisor restriction imposed in Definition 11.16.

Lemma 11.6 (Recovery of the standard data at ). Let be compactly supported and Riemann-integrable with . Then for every .

Proof. By Definition 5.1 with we have , so the two outer domains agree. The two inner integrands also agree: the standard integrates in the variable over , and so does . (The hypothesis is what makes this identification legitimate: it forces to vanish for outside a bounded range, so both inner integrals converge and are computed by the same one-dimensional integral. Without a support hypothesis the value of genuinely depends on the values of off , which the standard marginal does not see.) The outer integrals therefore have equal integrands on equal domains. ◻

Proof uses: Definition 5.1

Consequently, for such with one has : at the enlarged witness ratio is the standard Rayleigh quotient, and the variational problem introduced next is the standard one.

The supremum is finite: an application of the Cauchy–Schwarz inequality in the variable , whose range is contained in an interval of length , gives for each , whence . Taking , Lemma 11.6 identifies with of Definition 5.4, and the bound with . In this notation the criterion to be met is for a single pair , met at .

Throughout what follows, plays a purely nominal role. Every estimate is stated and used in terms of the ratio of a concrete competitor ; the supremum is never evaluated, and appears only so that the criterion can be phrased as a property of alone.

Lemma 11.7 (A witness certifies the enlarged constant). Let and suppose satisfies Then .

Proof. Each is non-negative, being an integral of a square; so the right-hand side is non-negative, and the strict inequality forces (otherwise the left side would be and the right side would be as well, since vanishes on the zero element of ). Dividing the hypothesis by gives , and the right-hand side is at most because is one of the competitors in Definition 5.4. ◻

Lemma 11.8 (-continuity of the enlarged witness ratio). Let , let with , and let . Then there is such that every with satisfies and .

Proof. On the denominator of is , which is continuous (Lemma 5.8), and the numerator is , a finite sum of continuous functionals (Lemma 5.9 applied on ; each is the squared norm of the composite of the partial-integration map with the restriction map onto , both bounded linear). A quotient of continuous real functions is continuous at every point where the denominator is non-zero; since , the map is continuous at . Continuity at furnishes with whenever ; shrinking further so that forces , hence , yields the claim. ◻

Proof uses: Lemma 5.8, Lemma 5.9

11.3 The certificate-admissible level

Two of the estimates below — the aggregate Chinese remainder error of Lemma 11.14 and the Bombieri–Vinogradov modulus bound of Lemma 11.20 — require the enlarged divisor range to stay within the ranges those estimates tolerate. Both requirements, together with the requirement that the resulting sieve criterion be satisfiable at all, are collected in the following single condition on the level .

Definition 11.9 (Certificate-admissible level). Let and . A real number is -certificate-admissible if

  1. ;

  2. ;

  3. ;

and the primes have level of distribution .

Both and the threshold are parameters of the definition, not constants: nothing in the theory below depends on a particular numerical value of either.

The three clauses are consumed in three different places.

Clause (iii), equivalently , is the enlargement room. It makes the enlarged truncation harmless in the first moment: with one has , and (iii) gives , so the aggregate error of Lemma 11.14 is and Proposition 11.15 needs no equidistribution input at all. Clause (iii) also guarantees , i.e. , which lets the enlarged weight be rewritten as a standard weight at a legitimate truncation level (Lemma 11.13).

Clause (i) is the Bombieri–Vinogradov room. The moduli occurring in the second-moment bilinear form are bounded by where are the exponents of the outer divisor products of the two weights; the support split of Definition 11.16 arranges , so the moduli are at most , and (i) puts this below (Lemma 11.20). Note that without the split the bound would only be , which (iii) keeps below but not below ; the split is therefore the mechanism that makes the scaling compatible with Bombieri–Vinogradov.

Clause (ii) is the sieve criterion. It makes the positivity window of Lemma 11.25 non-empty, and hence gives the value a numerical must exceed. Since may be taken as close to as one likes — but not equal to it — clause (ii) is satisfiable for some exactly when , which is why the target of the enlarged variational problem is and not .

Clause (iii) is implied by clause (i) whenever : then . It is nevertheless stated separately because it is the clause the scaling consumes, and because it is the one that would bind first if were pushed towards or beyond .

11.4 The enlarged sieve weight and its support

Definition 11.10 (-permissible support). Let . A function has -permissible support if whenever one of the following fails:

  1. for every , and ;

  2. ;

  3. is squarefree.

This is Definition 3.39 with the single bound relaxed to ; at the two conditions coincide.

Definition 11.11 (Enlarged sieve weight). Let and . Define by

Two features of this definition are used below, and neither is forced by the shape of the formula. First, the -sum ranges over the enlarged region rather than : this is the only change relative to the standard -derived weight of Definition 5.6. Second, the argument of is normalised by with the original , not by . Consequently the point lies in exactly when : the sieve range and the support of match, so that is the correct region.

Lemma 11.12 (The enlarged weight is -permissible). For every and every , the weight has -permissible support.

Proof. Fix with . If some then the factor vanishes, contradiction; so for all . Since , the defining sum is non-empty, so there is at least one with for every satisfying the three summation constraints. From and (hence ) we get , which is clause (i). From and we get , which is clause (ii). From squarefree and we get squarefree, which is clause (iii). ◻

Lemma 11.13 (The enlarged weight is a standard weight at a shifted level). Let , let , and let satisfy , and . Let and be the real numbers satisfying Then , , the truncation attached to is , and is the standard -derived weight of Definition 5.6 at truncation applied to the rescaled profile .

Proof. Write , so and , and hence identically. We have because ; and by . From the two parameter constraints and follow by inspection. Also .

For the last assertion, compare Definition 11.11 with Definition 5.6 at truncation . The two Möbius prefactors and the two summation ranges agree verbatim, the latter because the standard weight at truncation sums over subject to the same coprimality and squarefreeness conditions. Only the argument of the profile differs: Definition 5.6 at truncation evaluates the profile at , whereas Definition 11.11 evaluates at . Since , we have , so by Definition 11.3 which is exactly the profile value the standard weight at truncation would use for . ◻

Lemma 11.13 shows the enlarged sieve weight is not a new object but the standard weight, evaluated at a different truncation level and applied to a rescaled profile. Every estimate of the standard development that is uniform in the level parameters therefore transfers to without new work, and the only new arguments are those where the enlargement meets a fixed threshold — the Bombieri–Vinogradov threshold in the second moment.

11.5 The enlarged asymptotic

Lemma 11.14 (Aggregate CRT error for -permissible weights). Let and let have -permissible support with pointwise, and suppose . Then

Proof. Write for the parenthesised difference. By Lemma 8.7 the inner counting sum equals when are pairwise coprime and equals otherwise, so in either branch for a constant depending only on . With this gives By -permissibility each factor is supported on tuples with and squarefree. Writing , the number of ordered -tuples with is , so the number of admissible is at most by the standard divisor-sum bound; squaring gives the pair count.

Finally gives , and ; the logarithmic factor is , so the whole bound is . ◻

Proof uses: Lemma 8.7

Proposition 11.15 (Enlarged asymptotic). Let , let be admissible, let , and let . Let , and . Then, with the unenlarged truncation, as , the implied constant depending only on , and .

Proof. By Lemma 11.13 the parameters are legitimate level parameters and is the standard -derived weight at truncation applied to . The rescaled profile is smooth and, by Lemma 11.1, supported on ; it is therefore an admissible input to the standard smooth first-moment asymptotic Lemma 8.25, whose hypotheses involve only , and the level parameters. That lemma gives (The equidistribution input needed here is only the aggregate CRT error of Lemma 11.14, which is by ; no Bombieri–Vinogradov estimate is used in the first moment.)

It remains to restore the original normalisation. Since we have , and by Lemma 11.4 . The two factors cancel, and the same cancellation applies to the error term, giving the stated form with the unenlarged and the integral over . ◻

The cancellation of makes the enlarged first moment identical in form to the standard one, with now computed over the larger region. Since is the denominator of the variational problem, enlarging the simplex costs nothing in the denominator; the entire effect of the enlargement is in the numerator, treated next.

11.6 The support split and the enlarged lower bound

Definition 11.16 (Support-split weight). Fix and . Set

Definition 11.17 (Complementary weight). With the notation of Definition 11.16, set .

Explicitly, when and otherwise; in particular inherits from the outer bound . The two outer exponents are therefore for and for , and the point of the split is the identity .

Notation 11.18 (Split divisor sums). For and in the sieve range, set so that the inner divisor sum defining is .

Lemma 11.19 (Pointwise lower bound). For every in the sieve range, .

Proof. Put and . By Notation 11.18, , since . ◻

Lemma 11.19 discards the one term, , that the scaling makes unavailable: it is a bilinear form in , whose outer exponents sum to , and whose moduli therefore exceed the Bombieri–Vinogradov threshold. The two terms that are kept have outer exponent sums and respectively, and are handled by the following bound.

Lemma 11.20 (Bombieri–Vinogradov modulus bound). Fix and . Let satisfy Definition 11.9(i) and (iii) and have level of distribution , and let with . Let have -permissible support and be supported additionally on and respectively. Then differs from its expected main term by .

Proof. The factor restricts to integers with prime, so any divisor of lies in . By -permissibility, , and clause (iii) of Definition 11.9 gives , so for large ; hence , and likewise . The -th coordinate therefore contributes only the trivial divisor, and the effective modulus of the bilinear form is .

For in the joint support, and the extra outer support hypotheses give ; this is Lemma 9.30 with and , whose point is precisely that the modulus depends on the two outer truncations only through their product, so that suffices even when one of , exceeds . By clause (i) of Definition 11.9, , so , and Lemma 3.38 supplies with for all large . Every modulus occurring in the bilinear form thus lies below the Bombieri–Vinogradov threshold, and the Cauchy–Schwarz-plus-Bombieri–Vinogradov bilinear estimate of Lemma 9.9 bounds the aggregate error by for every . (The pointwise divisor-weight cost of size incurred in applying that estimate is absorbed by requesting the exponent in place of from the same level-of-distribution hypothesis.) ◻

Lemma 11.21 (Retained bilinear forms have negligible error). Fix and , let satisfy Definition 11.9(i) and (iii) and have level of distribution , and let . Then for each the sum differs from its expected main term by .

Proof. Expanding the product of the two divisor sums exhibits the displayed quantity as the bilinear form of Lemma 11.20 with the pair . Both weights are -permissible: and are obtained from by multiplying by an indicator, respectively by subtracting such a product, and -permissibility (Definition 11.10) is preserved by both operations; itself is -permissible by Lemma 11.12.

It remains to check the outer exponents. By Definition 11.16, is supported on , so . For we may take , and . For we may take : indeed implies , whence ; and then . In both cases and Lemma 11.20 applies. ◻

Lemma 11.22 (Main term of the retained square). Fix , let , let , and let satisfy Definition 11.9(i) and (iii) and have level of distribution . Then, for every ,

Proof. By Lemma 11.21 with , replacing the sum by its arithmetic main term commits an error ; here the level of distribution enters, through Lemma 11.20. The identification of that arithmetic main term, for a bilinear expression in two weights rather than a square, is the two-weight Chinese remainder bound of Lemma 9.31, applied to the pair .

The arithmetic main term is evaluated by the standard chain, applied to regarded — via Lemma 11.13 — as a standard weight at truncation built from , and carrying the additional outer restriction . The chain consists of the extraction of the diagonal form (Lemma 9.21), the reduction to a second moment (Lemma 9.23), the expansion and decoupling step (Lemma 9.24), and the evaluation of the resulting decoupled -fold sum (Lemma 9.25). Each of these uses the divisor range only through the coordinate-wise bound and its logarithm, and so applies verbatim at the enlarged truncation.

The sharp cutoff is not directly admissible in the chain, which requires a smooth profile. It is therefore replaced by a smooth ramp of width in the logarithmic variables, i.e.  is replaced by the weight built from the profile where is a smooth non-increasing transition equal to below and to above . This is a legitimate smooth profile supported on , so the chain applies to it for each fixed , and produces the prefactor times the standard marginal of the ramped rescaled profile. Letting , dominated convergence in the outer -fold integral replaces the ramp by the sharp indicator, so the marginal converges to the last equality being Lemma 11.5. Since , the factors cancel and the main term takes the displayed form. ◻

Lemma 11.23 (Smallness of the retained–complementary cross term). In the situation of Lemma 11.22, for every there is a choice of the smoothing width for which for every and all sufficiently large .

Proof. By Lemma 11.21 with , replacing the sum by its arithmetic main term commits an error , and the main term is produced by the same chain as in Lemma 11.22, now applied to the pair ; in particular it carries the same prefactor .

What remains is to bound the resulting integral. In the rescaled logarithmic coordinates , the profile attached to is supported where and the profile attached to is supported where . The two supports are disjoint — this is the same disjointness that makes the diagonal form additive along the split in Lemma 9.29, where it leaves no cross term at all — so with the sharp cutoff the product would vanish identically; with the smooth ramp of width used in Lemma 11.22, the product is supported on the boundary strip whose -dimensional outer slice has Lebesgue measure at most . Since is bounded on the compact set and the ramp takes values in , the integrand is on and the integral is , with an implied constant depending only on and . Choosing so small that this is at most gives the claim. ◻

Proposition 11.24 (Enlarged lower bound). Let , let be admissible, let , let , and let satisfy Definition 11.9(i) and (iii) and have level of distribution . Then for each , as .

Proof. Multiplying Lemma 11.19 by and summing over with gives Write for the common prefactor. By Lemma 11.22 the first sum is . By Lemma 11.23, for any the second sum is at most in absolute value. Given , if choose ; then As was arbitrary the claim follows. If the right-hand side of the claim is while the left-hand side is a sum of squares against a non-negative weight, hence non-negative, and the claim is trivial. ◻

11.7 The criterion in enlarged form

Lemma 11.25 (The positivity window is non-empty). Let and with . Then there exist and with .

Proof. From and we get , i.e. . Put and ; then and , so and (note ). Finally set , which lies in because . Then and therefore , using . ◻

The window is non-empty for every with , with no further constraint tying to . Had one insisted instead on the reparametrisation condition , the window would have been empty in the decisive regime , , and the scaling would have yielded no improvement. It is the weak room of Definition 11.9(iii), together with the support split, that keeps that regime available.

Proposition 11.26 (Witness form of the enlarged criterion). Let , let be admissible, let , let with , and let be -certificate-admissible for some with . Then holds: there are infinitely many for which at least two of are prime.

Proof. By clauses (i) and (ii) of Definition 11.9 we have and , so Lemma 11.25 supplies and with . Fix these and set , so .

Clause (iii) gives , so Propositions 11.15 and 11.24 both apply. Summing Proposition 11.24 over and using (Lemma 4.17) together with Definition 5.4, where the exchange of one power of for the factor uses . Proposition 11.15 gives , using for . Subtracting times the latter from the former, The bracket is a fixed positive number by the choice of , and the prefactor is positive since forces . Hence for every sufficiently large .

Finally, admissibility of supplies for each a residue modulo with for all , so the sieve sums above are the ones attached to a legitimate residue class, and Lemma 10.1 converts eventual positivity of into infinitely many for which at least of the are prime. Since we have , which is . ◻

Proposition 11.26 demands a smooth witness, whereas the available certificates are polynomials cut off at the boundary of , hence not smooth. The gap is closed by mollification, using the -continuity of .

Lemma 11.27 (Mollification of an witness). Let , let with , and let . Then there exists with and .

Proof. Set and let be the radius supplied by Lemma 11.8 for and this : every with has and .

It therefore suffices to produce within of in . Transport the problem to the standard simplex by the homothety of Lemma 11.1: the map is an isometry of onto , by Lemma 11.4 applied to differences, and it carries onto the class of smooth functions supported on . On , Lemma 5.11 provides smooth approximants to any given element within any prescribed distance, and Lemma 5.10 lets one multiply such an approximant by a smooth cutoff supported on without increasing the distance by more than an arbitrarily small amount; the resulting function is smooth and supported on . Pulling back through the isometry gives the required . ◻

Lemma 11.28 (Bombieri–Vinogradov supplies a certificate-admissible level). Let and let . Then there is an -certificate-admissible ; one may take .

Proof. Since we have , so the interval is non-empty; let be its midpoint. Then , which is clause (i). From and we get , clause (ii). For clause (iii), gives whenever ; the inequality is strict because strictly. Finally , so the primes have level of distribution by Bombieri–Vinogradov (Theorem 1). ◻

Proof uses: Theorem 1

The proof of Lemma 11.28 chooses as a function of alone, and the closer is to the closer must be pushed to ; this is the only quantitative demand the enlarged theory makes on a witness. A witness attaining permits , for which and for every .

Proposition 11.29 (The enlarged criterion). Let , let , and let be admissible. Suppose there exists with equivalently , which by Lemma 11.7 certifies . Then holds.

Proof. As in the proof of Lemma 11.7, the hypothesis forces , i.e. , and dividing gives . Choose with . By Lemma 11.28 there is an -certificate-admissible . By Lemma 11.27 applied with there is with and . Then is -certificate-admissible and , so Proposition 11.26 applied to and gives .

At every step above is the corresponding step of the standard development: by Lemma 11.6 the hypothesis reads , which is the standard criterion witnessed by . ◻

Proposition 11.29 is the criterion of the development, stated once in . At it is verbatim the standard criterion — the demand , witnessed by an explicit competitor rather than by the supremum — and the proof specialises to the standard proof, with the support split of Definition 11.16 becoming trivial () and clause (iii) of Definition 11.9 becoming vacuous. For the competitor is allowed to live on a strictly larger region, at the cost of a strictly smaller marginal slice and of clause (iii); whether that trade is profitable at a given is a question about the competitor, settled by exhibiting one. The case settles it.

12 The numerical certificate

The variational input to the -enlarged sieve is the single inequality . At this inequality is not established by an asymptotic estimate; one exhibits an explicit test function and computes its Rayleigh quotient exactly. The objects below reduce the inequality to an exact, finite computation with rational numbers.

There are two forms of certificate. The abstract form (Definition 12.5) is the form the argument uses: a single element of the sum of whose enlarged marginal functionals exceeds four times its squared norm. The explicit form (Definition 12.10) is what is checked: a finite list of exponent data together with a finite list of rational coefficients, subject to one inequality between two explicitly computable rational numbers. Lemmas 12.13 and 12.14 evaluate the two sides as exact rational quadratic forms. The analytic content lies in using the resulting test function; the certificate itself is arithmetic.

12.1 The certificate basis

Notation 12.1 (Signature). A signature is a finite multiset of positive integers, written in non-increasing order as ; the empty signature is admitted. Its size is , its parts are the values , and for the deletion is the signature obtained by removing one copy of the part from . By convention when is not a part of ; in particular .

Definition 12.2 (Monomial-symmetric polynomial). Let and let be a signature (Notation 12.1). Write a finite set, empty unless has at most parts. The monomial-symmetric polynomial of signature in variables is Each distinct way of distributing the parts of among the variables contributes exactly one monomial, so is symmetric, homogeneous of degree , and .

Definition 12.3 (Certificate basis element). Let , let , let and let be a signature. The associated certificate basis element is the symmetric polynomial with as in Definition 12.2. Its total degree is .

Definition 12.4 (Parametric certificate polynomial). Let , , and let . Fix basis indices , each consisting of an integer and a signature , and let . The associated certificate polynomial is with as in Definition 12.3. It is a symmetric polynomial, hence continuous, hence bounded on the compact set ; we regard it also as an element of , and where a value off is needed we use the extension of by zero.

12.2 The two forms of certificate

Definition 12.5 (Abstract certificate). Let and . An abstract certificate for is a function such that where is the enlarged marginal functional of Definition 5.3. Equivalently, since for extended by zero off , an abstract certificate is an with .

Definition 12.6 (Factorial moment of two signatures). Let and let be signatures. Their factorial moment in variables is the exponent sets being those of Definition 12.2. It is a finite sum of positive integers, and .

Definition 12.7 (Explicit enlarged-simplex pairing). Let , , let and let be signatures. Put and . The explicit enlarged-simplex pairing is the rational number with as in Definition 12.6.

Definition 12.8 (Radial factor). For and , set

Definition 12.9 (Explicit shrunken-slice pairing). Let , , let and let be signatures. For parts write The explicit shrunken-slice pairing is the rational number where runs over together with the distinct parts of , and over together with the distinct parts of ; the deletions and the convention are those of Notation 12.1, is Definition 12.8 and is Definition 12.6.

Definition 12.10 (Explicit certificate). Let and . An explicit certificate for consists of

  • an integer ;

  • exponents and signatures (Notation 12.1);

  • coefficients ;

subject to the single inequality with as in Definition 12.7 and as in Definition 12.9. Both sides are rational numbers determined by the data by finitely many additions and multiplications.

12.3 From a certificate to the bound

Lemma 12.11 (Closed form of the enlarged-simplex pairing). Let , let with , let and let be signatures (Notation 12.1). Then with as in Definition 12.3 and as in Definition 12.7. In particular the pairing is rational.

Proof. Expanding both monomial-symmetric factors (Definition 12.2) and collecting the two slack powers, a finite sum of continuous functions, so the integral may be taken term by term. Here and denote exponent vectors, as in Definition 12.2. Fix , put and write . Every satisfies and likewise for , so . Substituting , which maps onto and has Jacobian , and using , Lemma 5.12 evaluates the remaining integral as . Summing over and turns into (Definition 12.6) and produces exactly . ◻

Lemma 12.12 (Closed form of the shrunken-slice pairing). Let , let with , let , let and let be signatures (Notation 12.1). Extending the basis elements by zero off , with as in Definition 12.3 and as in Definition 12.9. In particular the value is rational and independent of .

Proof. Write for a point of and set , the available length in the isolated coordinate. Since on , we have .

Step 1: the marginal of one basis element. A point with -th coordinate and remaining coordinates lies in if and only if , so the zero-extension makes . Expanding (Definition 12.2) and separating the isolated coordinate, By Lemma 5.13, after the substitution , so that

Step 2: a shifted monomial integral over the shrunken slice. For and exponents we claim with as in Definition 12.8. Indeed , so the binomial theorem gives . Each summand is integrated by the substitution , which maps onto (here is used), followed by Lemma 5.12; this contributes , and summing over gives the claim.

Step 3: assembly. Multiply the two marginals furnished by Step 1 and integrate over . The result is the double sum over , of which Step 2 evaluates, since . Finally group the double sum by the two isolated exponents and : deleting the -th coordinate is a bijection where runs over together with the distinct parts of (Notation 12.1). Under this bijection the residual factorial products sum to (Definition 12.6), and the remaining factors are exactly those of Definition 12.9. No step depends on which coordinate was isolated, so the value is independent of . ◻

Lemma 12.13 ( as a rational quadratic form). Let , let with , and let be the certificate polynomial attached to basis indices and coefficients (Definition 12.4). Then where is extended by zero off in the definition of .

Proof. is continuous, hence square-integrable on the compact set , and . Expanding the square of the finite sum, and integrating term by term (a finite sum of continuous functions on a compact set), Lemma 12.11 evaluates each as . Rationality follows since each pairing and each is rational. ◻

Lemma 12.14 ( as a rational quadratic form). Let , let with , and let be the certificate polynomial attached to basis indices and coefficients (Definition 12.4), extended by zero off . Then

Proof. Fix . The marginal , taken for the extension of by zero off , is linear in the coefficient vector: Squaring and integrating over , and interchanging the finite sums with the integral, by Lemma 12.12. The right-hand side does not depend on , so summing over the coordinates multiplies it by . ◻

12.4 Existence of a certificate at

Proposition 12.15 (Existence of an explicit certificate for ). There exist a rational number with and an explicit certificate for in the sense of Definition 12.10.

Proof. Take , so that . Let the index set be a finite set; enumerate it in any fixed order as with . Definitions 12.7 and 12.9 attach to this enumeration two explicit rational symmetric matrices, each entry being a finite sum of products of factorials, binomial coefficients and powers of . What has to be produced is a vector with ; once is written down, this is a comparison of two explicitly given rational numbers and is decided by exact integer arithmetic after clearing denominators.

Such a vector is found as follows. By Lemma 12.11, , and it vanishes only for because the polynomials , , are linearly independent; so is positive definite and the generalised eigenvalue problem has real eigenvalues, the largest being . Computing a top eigenvector to sufficient precision and rounding it coordinatewise to a rational vector over a common denominator yields . None of this is part of the verification: the precision analysis, the eigenvector and the rounding only serve to produce a candidate , and once is fixed the sole assertion to be checked is the displayed rational inequality. Carrying this out at gives a with so the inequality of Definition 12.10 holds. The degree bound cannot be relaxed by much: the supremum of the quotient over the span of the degree- basis increases with , and at it is still below for , its value there being ; the exhibited lives at , where the exact quotient is . The restriction to signatures with even parts is likewise not cosmetic: it is what the test functions used here look like, and dropping the multi-part signatures (allowing only with at most two parts, say) lowers the attainable quotient below .

It is equivalent, and closer to the classical formulation, to search in the power-sum monomials with instead of the monomial-symmetric polynomials : expanding a product of power sums groups the coordinates into blocks, so is a non-negative integer combination of the with obtained by merging parts of ; such again have even parts and . Hence lies in the span of for every , and a rational coefficient vector in the power-sum family transforms, by a finite integer matrix, into one in the family . ◻

Proposition 12.15 gives an and an explicit polynomial whose enlarged Rayleigh quotient exceeds ; the polynomial is then smoothed and used in the enlarged sieve estimates.

13 The admissible 50-tuple

Definition 13.1 (The tuple ). Let a set of distinct non-negative integers with and . It is the narrowest known admissible -tuple, normalised so that its least element is ; see the Engelsma–Sutherland tables of admissible tuples, https://math.mit.edu/~primegaps/tuples/admissible_50_246.txt.

Lemma 13.2 (Diameter of ). .

Proof. The elements of are listed in increasing order in Definition 13.1, so and . By Lemma 3.19, . ◻

Lemma 13.3 (Admissibility of ). is admissible.

Proof. By Lemma 3.16 it suffices to show that for every prime . By Lemma 3.17 only the primes require this check. Thus only the fifteen primes require checking, and for each of them the reduction of the explicit list of Definition 13.1 is a finite computation. It omits a residue class in every case; for instance every element of is even, so the image modulo is , and modulo the image is , missing . ◻

14 Assembly

The bound below has two inputs: a lower bound for the variational supremum, and an admissible tuple. Taking the -enlarged simplex, , a numerical certificate of , and the tuple of diameter gives Theorem 7. The variational input is a finite, exact verification (Definition 14.1, Theorem 6).

Definition 14.1 (A certificate at ). A -certificate is a datum consisting of a rational number with , finitely many elements of the certificate basis of Definition 12.3 in the variables , and a rational vector , such that the polynomial of Definition 12.4 satisfies the strict inequality

Both sides of the displayed inequality are rational numbers determined by the finite datum through the closed-form pairings of Lemmas 12.13 and 12.14, so the condition defining a -certificate is a single exact comparison of two rationals. The analytic argument uses only that a -certificate exists, not the particular , basis, or coefficient vector.

Theorem 4 ( from a certificate). Suppose the primes have level of distribution for every (Theorem 1), and suppose a -certificate exists (Definition 14.1). Then holds: for every admissible -tuple there are infinitely many such that at least two of are prime.

Proof. Fix a -certificate and set , so that Since , the inequality (14.2) is the requirement of Definition 12.5, so is an abstract certificate for .

Let be an arbitrary admissible -tuple. Proposition 11.29 at , applied to and , gives infinitely many with at least two of prime. As was arbitrary, this is . ◻

Theorem 5 (, conditional on a certificate). Suppose the primes have level of distribution for every (Theorem 1), and suppose a -certificate exists (Definition 14.1). Then

Proof. The tuple is admissible (Lemma 13.3) and has (Lemma 13.2). Both hypotheses of Theorem 4 hold, so holds, and applying it to shows that is infinite.

For every shift with lies in , an interval of length . Hence is an infinite set of natural numbers such that contains at least two distinct primes for every .

Lemma 10.3 applied to with and gives the conclusion. ◻

Theorem 6 (Existence of a -certificate). A -certificate exists (Definition 14.1).

Proof. Take , which is rational and lies in , and take for the certificate basis of Definition 12.3 at , and total-degree bound ; here . Proposition 12.15 supplies a vector with and . By Definition 5.4 this reads the last step because . Thus is a -certificate.

The verification is finite and exact. By Lemmas 12.13 and 12.14 the two sides are the rational quadratic forms and in the pairing matrices of Definitions 12.7 and 12.9, whose entries are given in closed form by Lemmas 12.11 and 12.12. With taken over a common denominator, clearing denominators turns the required inequality into a single comparison of two integers, namely ; its exact value is , which clears , and a fortiori , strictly. No analytic input enters at this point: the statement is a finite assertion about rational numbers. ◻

Theorem 7 (). Suppose the primes have level of distribution for every (Theorem 1). Then

Uses: Theorem 1

Proof. Theorem 6 provides a -certificate, which is the second hypothesis of Theorem 5; the first is the present hypothesis. Theorem 5 then gives the conclusion. ◻

Proof uses: Theorem 5, Theorem 6

References

[1] J. Maynard, Small gaps between primes, Ann. of Math. (2) 181 (2015), no. 1, 383–413.

[2] D. H. J. Polymath, Variants of the Selberg sieve, and bounded intervals containing many primes, Res. Math. Sci. 1 (2014), Art. 12, arXiv:1407.4897.

Notation index

NotationDefinition
Uses:
Uses:
Uses:
Uses: , , , ,
Uses: , ,
Uses:
Uses: , , , , , ,
Uses: , ,
Uses:
Uses: , ,
Uses: , ,
Uses:
Uses: ,
Uses: , ,
Uses: ,
Uses:
Uses: , ,
Uses:
Uses: , ,
Uses:
Uses:
Uses:
Uses:
Uses:
Uses:
Uses:
Uses: ,
Uses:
Uses:
Uses: , , ,
Uses: , ,
Uses: , ,
Uses: , , , , , ,
Uses: , , ,
Uses: , , , , , ,
Uses: ,
Uses: , ,
Uses: , , , ,
Uses: ,
Uses: ,
Uses: , ,
Uses: , , ,
Uses: ,
Uses:
Uses:
Uses: , , , ,
Uses: , , , , , ,
Uses: , , ,
Uses: , , , ,
Uses: , , ,
Uses: ,
Uses: , , ,
Uses: ,
Uses: ,
Uses:
Uses: , ,
Uses: ,
Uses:
Uses: ,
Uses: , ,
Uses: , ,
Uses: ,
Uses:
Uses:
Uses: ,
Uses: , , ,
, the smooth cut-off of to its -inset
Uses: ,
Uses: ,
Uses: , , ,
Uses: ,
Uses: , ,
Uses: ,
Uses:
Uses: ,
Uses: ,
Uses: ,
Uses: , ,
Uses: ,
Uses: , , , , , ,
Uses:
Uses:
Uses:
, the enlargement parameter
, the tuple dimension used in Section 13
, the truncation level
Uses:
sieve target; here , so
Uses:
, the enlarged simplex
Uses: ,
, the -inset of (mollifier width)
Uses: , ,
, the shrunken slice
Uses: ,
Uses:
Uses:
the -derived sieve weight on
Uses:
Uses: , ,
Uses:
power sum
Uses:
an admissible 50-tuple with
a signature: a finite non-increasing tuple of positive integers; is its size; removes the -th part
, the power-sum monomial for a signature ;
Uses: ,
signature merger: and
Uses: ,
signature restriction: re-listed non-increasing; partial size
Uses:
set-partition weight: (a non-negative integer), for a signature of length and
Uses:
signature polynomial : for signature of length ;
Uses: ,