Theorem (1 + 1.8) on the Goldbach conjecture
Abstract.
Every sufficiently large even integer has a representation . Here are primes and is or a prime, with . This is Proposition of Li–Liu with . We use a weighted sieve on shifted primes. Its level of distribution exceeds one half. The proof combines thirteen row estimates with a switched upper bound. For a fixed source cutoff, the certified D-unit endpoint is . Since the source mass is , division by four gives . The balanced-semiprime cost is at most in those units. The remaining coefficient is .
Key words and phrases:
Goldbach problem, almost-primes, sieve methods, well-factorable weights, shifted primes2020 Mathematics Subject Classification:
Primary 11P32; Secondary 11N36, 11N131. Introduction
Chen announced his theorem in 1966 [1]. His proof appeared in 1973 [2]. By this theorem, every sufficiently large even integer is a prime plus an integer with at most two prime factors. Li and Liu [6] formulate Proposition :
Li and Liu take . Here , so . Theorem 1 follows from the strict comparison
It holds at the fixed source cutoff below. We use the Chen-constant normalization
There is no leading factor of two. With , our selected endpoint and the pointwise division by four give
where . Our normalization uses without a leading factor , as do Wu’s lower bounds [3, Theorem 2] and [4]. Here is in D units. The source mass is , so pointwise division by four contributes the factor to . This calculation uses the specified direct and switched distribution inputs, with domain-dependent levels up to . The separate balanced-semiprime subtraction costs , leaving coefficient for the restricted representations. Li–Liu’s argument uses the same singular-series convention and the corresponding limiting exclusion threshold [6, (5.42)–(5.43)].
Lichtman [5] develops distribution estimates beyond one half. We use the signed estimates of [Z1, Theorems 1.1–1.2] and the local estimate [Z1, Theorem 3.2, (3.13)]. In outline, the proof runs
Input from [Z1]
We apply [Z1, Theorem 1.2] to the complete coefficient family below. Fix , , and
Thus and , as required in [Z1, (3.24), (B.18)–(B.19)]. For large even and , put
| (W) |
Here and . We use Iwaniec’s grid, vectors and coefficients [11, Theorem 4], with depth , mesh , and . All smooth divisors and the smooth-only term are kept. The coefficient bounds and distinctness mask are
An integer shift is admissible if
The shift is distinct from the Li–Liu parameter below. Put . Let count the primes in this interval. Let count those in the residue class . For fixed admissible ,
The sum runs over the full support, uniformly in admissible shifts. The implied constant and the threshold depend on the displayed fixed parameters. Through Siegel–Walfisz they may be ineffective. For , this is [Z1, Theorem 1.1], with
By [Z1, Corollary 1.3], the same estimate holds with the comparator .
For the row S1-0 we take
Since , this shift is admissible. The choice made later meets the remaining restrictions. We keep . Each prefixed or product row is checked separately below. The Heath–Brown decomposition [12] and packing produce the boxes. BFI and Siegel–Walfisz give the first dispersion. The spectral estimate gives the second square. Type-I estimates and the full-family sum finish the bound. Details are in the local proof below and [Z1, §§3–5 and Appendix B].
1.1. Statement and sources
Theorem 1 (Goldbach representation ).
In the Proposition convention, , so . Every sufficiently large even integer has a representation
| (1.1) |
1.2. Normalization and fixed source
Put . The singular series has no leading factor of two:
| (1.2) |
Here denote primes. Uniformly over even , and . Fix
| (1.3) |
The cutoff separates the balanced semiprimes, and is the row buffer. Here is the fixed exclusion threshold and is the mesh width. In Sections 2–4, denotes a sieve level; is the normalized endpoint. The local cutoff , switched integral , source majorant , and Li–Liu threshold are distinct quantities. The source is
| (1.4) |
Thus on the source. Exponents are measured against , and a local shell has scale .
The weight O1 uses the rational parameters
| (1.5) |
For , put
| (1.6) |
Since , the lower truncation is inactive. The S10 proof writes for this same clipped function on . The other breakpoint is
Hence is continuous, non-increasing, and piecewise affine.
1.3. The weight and its elementary counting inequality
For squarefree with , define the cofactor count
| (1.7) |
Set and . Each row of the table is a sum of (1.7), with each admissible divisor counted separately. For , take .
| Row | Coefficient | Divisor and domain | Cofactor cutoff |
|---|---|---|---|
Let count the contributions of to row . Set
| (1.8) |
All these weights vanish unless . The switched excess is
| (1.9) |
The row dictionary consists of ; are absent. The next lemma turns the weighted sum into a lower bound for the prime count.
Lemma 1.1 (Pointwise count).
For all sufficiently large ,
| (1.10) |
Proof.
First take squarefree with . If , then by (1.8). For , the bound excludes . A prime exceeds for large , so only contribute and .
Let with primes . Then . Put . The first ten rows give
| (1.11) |
The positive pair rows cannot use , and the single-prime rows supply the subtractions in this display. The last three rows contribute zero when , hence .
Since , every retained has . So there are at most single primes and pairs, and
The terms group as ; ; –; –; and , respectively. The non-squarefree exceptions number at most
Integers with a prime factor in common with number at most , and their weighted sum has the same order. On the remaining integers, . Summing and dividing by four proves the lemma. ∎
The switched main term is , where
| (1.12) |
Here , and the integral uses the coordinate measure shown. For the prime factors of an actual source integer , , and this radial coordinate need not equal . Section 5.5 proves the cell decomposition, the restriction and the prime-product estimate. For , it uses a one-sided comparison at , where the slice dictionary need not be an identity. After normalization, (1.12) contributes to .
1.4. Balanced semiprimes
This subsection removes the semiprimes whose smaller factor is too large. Let denote the count in (1.10). Let count primes admitting a representation as in (1.1), with . For a prime remainder, take . For , , the bound gives
| (1.13) |
provided
| (1.14) |
Here . For (1.3), suffices, since and .
For the remaining semiprimes put
| (1.15) |
The majorant allows and counts both choices of . Thus , and every remaining bad semiprime is counted. Consequently
| (1.16) |
Prime squares remain in (1.15); discarding them would cost . For , they fail .
Section 5.6 proves the following untruncated estimate for the majorant. For each fixed there is a fixed such that, with ,
| (1.17) |
Lemma 5.1 gives (5.24). Section 5.6 applies it at the scales and precisions specified after (5.47). The partition (5.45)–(5.46) and the error (5.47) then give (5.48). Take and . The multiplicity in (5.44) includes the endpoint , where . So each discrepancy changes by at most , and the total change is .
Put . Section 5.6 also proves
| (1.18) | ||||
Uniform PNT gives the inner count with relative error , and partial summation in gives the integral. Strict prime endpoints are absorbed in the error term. Let and . The sequence takes each with multiplicity ; call it . For squarefree ,
| (1.19) |
Eventually every prime factor of is at least , so the correction vanishes. Section 5.6 applies the upper sieve with
The bound includes the small-prime term and the sieve error . Hence
| (1.20) |
This is the constant-eight estimate. The same upper-sieve normalization bounds the switched excess in Section 5.5. With singular series the multiplier becomes four, and the absolute bound is unchanged.
1.5. The coefficient criterion
An auxiliary choice is admissible if it is independent of , satisfies (1.27)–(1.29), and meets the row hypotheses in Sections 2–5. The rational parameters are (1.3)–(1.6), and the separate S2 argument is . The next criterion reduces the theorem to one numerical inequality.
Theorem 2 (Coefficient reduction criterion).
Fix an admissible choice. Suppose
| (1.21) |
where is fixed, and suppose (1.20). If
| (1.22) |
then (1.1) holds for every sufficiently large even .
Proof.
By Lemma 1.1, (1.16), and (1.20)–(1.21),
| (1.23) |
where is a sum of absolute remainders. These include , , and the rough non-coprime error from (5.40). Exceptional direct factors and switched source tags contribute separately after normalization, as in the error account. The square exceptions also contribute . Put . Choose so that for all even . Enlarge so that (1.14) holds and
Then , and this is an integer count of primes . A prime remainder gives ; otherwise (1.13) bounds the smaller prime factor. Thus the positive normalized weight yields an actual representation. ∎
The threshold has the directed enclosure
| (1.24) |
For ,
Truncating at , bounding the tail by and comparing rationals gives (1.24). The raw coefficient is compared with . The limiting threshold is . A value such as exceeds that limit but fails (1.22). Thus the rounded cannot replace the exact threshold.
The threshold algebra extends to and . Writing , it gives
| (1.25) |
when the denominator is positive. Smaller fixed cutoffs would require a uniform coefficient bound. The construction here fixes and proves only.
1.6. Fixed parameters
This subsection fixes the auxiliary parameters in the order the error terms require. The constants and the final threshold may be ineffective. Theorem 6 in Appendix B.2 proves
| (1.26) |
The bound is uniform in the fixed mesh parameter and uses [Z1, § 2.4, (2.28)–(2.30)]. The row applications are in Section 6.2. First fix (1.3)–(1.6), all row domains and the classical input constants, including the finite AA37 constant . Put . Choose a fixed within the source, depth, HB and packing limits, with
| (1.27) |
The bounds and are automatic: and the AA37 depth is [Z1, Theorem 2.6]. If , only is needed. Set , , and . The cost enters once; the AA37 term vanishes separately.
Next fix the HB degrees and moment exponents. Take
With , the generic aggregate input introduced above is restricted to by . The external count and local savings are
| (1.28) |
Each local theorem includes all three slot-modulus dyadic splits. The slot-shell triples use , and their sum gives with one spare logarithm. The count includes two redundant slot-shell factors. An external slot-1 convention would give instead. Only the convention is used, and . Here specifies the normalized target saving. Summing the arbitrary-precision local estimate of [Z1, Theorem 3.2, (3.13)], as in the first inequality of [Z1, (3.92)], gives a raw logarithmic error bounded by
Division by gives in (1.30). The local precision gives this bound. The aggregate theorem in [Z1] has its own calibration . Fix the actual Type-I count , then take . Let be the coefficient loss preceding the exceptional cutoff. Choose, in order,
| (1.29) |
Here is the moment exponent in [Z1, (3.20)]. The symbol denotes a fixed exponent that dominates the preliminary logarithmic loss in [Z1, (3.41)]. It is chosen before , as in [Z1, §3.10]. One may use . Then fix the BFI savings, the logarithmic powers of the moduli, the SW exponents and the derivative bounds. The later GR loss may depend on ; it differs from in (1.29).
At these fixed parameters, Section 6 proves the Class-II estimate below, where is the fixed logarithmic exponent after the conversion .
| (1.30) |
The first term is . The second allows . The resulting fixed factor is absorbed in . Both terms tend to zero. Section 6.5 gives the fixed-parameter closure and all eventual thresholds. The endpoint enclosures of Appendix A and the persistent losses of Section 6.4 hold uniformly for , . The effect of on the residual profile after (A.10a) is at most . The selected residual slack absorbs it. The separate G1-3 PR peel is counted in (4.57) and (6.6). Thus the numerical is fixed before , and the choice (1.27) uses only .
Every fixed cost is normalized by . A raw error contributes to , and each normalized error enters once. The separate balanced-semiprime bound gives (1.22).
1.7. Distribution inputs
This subsection states the distribution estimates used by the rows. Row S1-0 uses the complete coefficient (W) with
Here satisfies both restrictions, and , . We take and keep the grid, distinctness masks and smooth-divisor term. Since , the shift is admissible. Then [Z1, Theorems 1.1–1.2, Corollary 1.3] applies to the complete sum, and the corollary gives the same Li comparator. The remaining rows use the following local input.
Theorem A (Local dispersion estimate).
Let and let be large and even. Put
For an interior Class-II Heath–Brown box , define
Assume the local conditions below. Then [Z1, Theorem 3.2, (3.13)] gives, for fixed ,
| (1.31) |
Here is fixed, and the constants in include . The bound is uniform in boxes, even and the shift . The constant and threshold may be ineffective. First is fixed, and then .
Application checklist.
Each application uses literal prime sets and the row’s own source. The correspondence with [Z1, §3] is
| Condition | Data checked below |
|---|---|
| H1 | C1: exact unrestricted coefficient, repeats, |
| H2 | C2: labelled factors, last two -rough |
| H3 | C2–C3: packing, HB coefficients, majorant, doubled support, LEN |
| H4 | C4: positive shift and its uniform size |
| H5 | C5: selected window |
| H6 | Full-source logarithmic and boundary estimates |
| H7 | Full-family outer coefficient sum |
C1. For fixed row, prefix cell, AA37 sign and tail vector we require
Here for DIRECT, S2, G1. The labelled primes vary independently over fixed literal sets. The divisor is squarefree, with the AA37 cap, where . Selectors are constant on blocks. The equal-tail, prefix-diagonal, NC, cut and selector-transfer corrections are separated exactly, and each is estimated separately.
C2. Let be a partition, with attached to slot 1. We require, including repeated-prime multiplicities,
Slots 2 and 3 are -rough. An empty rough slot is . If , put . The dyadic scales belong to slots . For the test scale we require
The labelled-tuple map proves the convolution identity.
C3. The source is either
or the plain product measure
The ordered and bounded are fixed. Each coordinate is at least . All representation multiplicities are retained. The plain measure is used with its full source predicates. We apply Heath–Brown’s finite identity [12] with disjoint boxes of relative width and bound boundary boxes separately. The selected is the eligible variable with largest lower-endpoint exponent. Ties are broken by variable index, and is the complement. For we require
Fixed HB coefficients and tags may be exterior scalars. The function is fixed independently of all parameters, so its derivative seminorms are fixed and finite. We require and on . The complementary interval is majorized by on its doubled support. The shift gap holds throughout the doubled support. The same integer interval is used, with
Tagged comparisons and removed faces have separate estimates.
C4–C5. Every original modulus is coprime to , and
For G1, C1–C5 and LEN are checked on the plain . This is G1-LOCAL. Source faces are removed before interior boxes are selected. The check covers exact HB coefficients, ambient intervals and the fixed majorant. Lemma 2.2 gives the direct-source verification, and Section 4 gives the product-source verification.
Local mechanism.
The argument is [Z1, (3.26)–(3.90)]. A first dispersion separates the diagonal and off-diagonal terms. A second square and Poisson summation give moving-frequency Kloosterman sums. The spectral estimate and C2 give (1.31). The Kloosterman and spectral inputs follow the Deshouillers–Iwaniec framework and Drappeau’s dispersion estimate [7, 9]; the spectral-gap input is Kim–Sarnak [13]. The BFI and Siegel–Walfisz inputs in [Z1] are cited at their sources [8, 18, 19, 14]. For S2 the local Mellin data are kept:
On , put and . Let be smooth, supported in and equal to 1 on . Then
| (1.32) |
Both nonmodular phases remain in . Put . We normalize by and restore it before integration; for the integrand vanishes. The details are in [Z1, (3.56)–(3.65)] and §3.2.
Global conditions.
The two global conditions bound the outer coefficients and the logarithmic and boundary errors. For H7 we sum every outer coefficient:
Then [Z1, (3.92)] gives
Since , the first term is . For fixed , the second is also . The numerical application uses the per-box precision in (1.28). For H6 we sum all labels, shells, boxes and representation multiplicities. We require fixed with
For the prime source, [Z1, §3 and Appendix B]. Section 4 verifies the product-source values separately. Together these give the aggregate error.
The next lemma checks packing on these rows.
Lemma 1.2 (Packing on the actual row domains).
Consider a row in the table below, including the three empty prefixes. Let be its retained cell, at , with its literal source domain and block selector. For a nonempty prefix, let , . For either AA37 sign , let be any finite tail of length . Put
Sort the endpoint exponents as , . Repeats are kept as distinct labelled atoms, and the list is padded with zeros. Assume the DIRECT or plain G1 intervals satisfy
| (P6) |
These bounds are uniform in row labels and boxes. Then a deterministic labelled partition satisfies C2 at the same . It attaches to slot 1 and allows unit slots. After dyadic and base transfer, the four spectral surpluses are at least
All four lower-scale conditions hold, with . For G1-3 the cutoff is after the PR peel.
Proof.
Put
Here are as in (2.17d). Each interval is clipped to its row domain and keeps its label. Missing coordinates lie in , where . For , write
| (P1) |
The proof follows [Z1, Theorem 4.1, (4.1)–(4.5)], with auxiliary identities [Z1, Lemmas 4.2–4.4] and two-bin step [Z1, Lemma 4.5]. The two-bin rule retains labels, repeats and zero padding. Put and . We verify the hypotheses of that theorem on these actual rows.
By [Z1, Lemma 4.2], is concave and . For ,
For , the active branch gives
Hence
| (P5) |
The first branch is smaller for . At rank 1, . The remaining prefix checks are
| (P4) |
For S1, S2, G1 the cutoff is at . At it is , after PR for G1. The other rows use .
| Rows and literal domains | Prefix checks and selectors |
|---|---|
| S1-1, S1-2, S1-3; | . |
| S2-1, S2-2, S2-3; | Rank 2: . Rank 3: and the whole- selector . Thus ; . |
| G1-1, G1-2, G1-3; | Rank 2: , , and . Rank 3 requires . Then , . |
| S3-A: ; S4: ; S5-low: ; S7: | One prefix each; . |
| S8-A: | . |
| S9-A: , | for the first branch; for the second. |
| S10-Ret (the retained S10 row): , | , , . For , the second branch in (P5) is active, since . Its affine alternative gives equality; the alternative gives . Thus , with binding prefix-mask gap . |
| S1-0, S2-0, G1-0; empty prefix | ; tail endpoints . The active branch gives . |
A prefix endpoint lies in . A tail endpoint satisfies , from . Every prefix prime is at least . The AA37 masks give
We drop one copy at cubic ranks and use between them. Then at every tail rank. The prefix sum is then added at these ranks. If precede , then and
Endpoint inflation by gives . The first sorted endpoints lie in . The rest are tails or zero pads in . Their first three entries therefore lie in the closed parent box. Hence
These verify [Z1, Theorem 4.1, (4.2)] for every finite tail. The mixed-prefix checks above verify [Z1, Theorem 4.1] directly. The pure-tail result [Z1, Lemma 4.7] is not used. For the empty prefixes, the table gives the same hypotheses.
We attach to slot 1. Then
By [Z1, (4.3)], the four excess exponents are
Dyadic representatives within a factor two cost . For , , . The first exponent improves. The second costs at most , and the last two cost at most . These give the stated spectral margins.
The factorization follows [Z1, Lemma 4.8, (4.12)–(4.13)]. The small-prime divisor is unique in slot 1. Each labelled slot has at most multiset orderings. Thus its finite-sum identity holds for these literal sets, including repeats. Normalization gives ; C2 covers empty slots. Lemma 4.8 bounds tail-collision support only; source corrections remain separate. Also,
Hence slots 2 and 3 are -rough.
Condition (P6) is verified separately for DIRECT and plain G1. The first margin gives , so
The last WF mask gives . Thus
Since , . Condition (P6) also gives . The same rule covers zero pads and unit slots. For G1-3, the comparison is proved separately. Packing uses the latter cutoff at the original , so its level loss is zero. ∎
Sections 2–3 verify direct-row source conditions; Section 4 verifies plain G1. Each source comparison and removed boundary term has its separate estimate.
2. The sieve rows S1–S10 on the actual source
This section treats the direct sieve rows on the actual source. Put , . The rows are grouped as
Sections 3 and 5 treat S2 and BV. Conditions C1–C5 are those of Theorem A. The internal Lemma 1.2 gives the slots.
2.1. Source replacement and the exact signed coefficient
This subsection replaces the literal source by the plain one.
Lemma 2.1 (Source replacement and coefficients).
Let and
For a squarefree prefix from , set
For , the notation means
Thus this sieve tests the cofactor, not the prime or the integer . If every prefix prime is , the literal sieve is . Its source comparison is
| (2.17a) |
The normalized unsifted bounds, in Section 6 units, are
Fix an AA37 sign , a row cell and tail labels. All literal clipped sets and the smooth divisor are kept. Put
Let be the equal-label tail mask, and let impose complete equal-label prefix distinctness. For a complete permutation-invariant block, let be its prefix orbit factorial. Then
| (2.17b) |
With , the full remainder is
| (2.17c) |
The external multiplier acts on both terms. This includes the four S2 children and the whole- last child. The same identity holds for nonnegative occurrence weights. On the common occurrence space, are the original and plain weights. The prefix and sifting data are fixed, and the weights are extended by zero. Put
Then , and . Linearity gives , including the G1 representation multiplicities.
Proof.
For , reduction modulo a common prime gives
Here , since otherwise . These conditions concern the ambient source; cofactor sieving is separate. Additivity proves (2.17a). The two differences have the three stated exceptional conditions. Each point is assigned to the first true condition, and the resulting unsifted masses are bounded. These source terms are removed before HB. A common source point removed by sieving creates no source error. All later Buchstab and distribution calculations use .
For (2.17b) we use . Overlapping repetitions are assigned to the first forbidden-tail condition. Each modulus of repeats a prime . Theorem 5 bounds the complete nineteen-row union, including prefix multiplicities, once. The smooth divisor lies wholly in slot 1. Then the finite slot convolution is on every modulus, repeats included. Empty rough slots are unit atoms, and each realization and factorial occurs once.
For the actual levels put
| (2.17d) | ||||
Let when the largest coordinate is , and above let . A parent label retains , clipped by its row. At depth , complete the ordered triple in , where . Let be the infimum on this closed ordered parent domain. At depth three the infimum is taken on the three parent intervals. This infimum is taken before any branch is selected, including crossings at . At depth zero, with , . Then
| (2.17e) |
For nonempty DIRECT rows, and . Also
| (2.17f) |
The first branch is active through . The required prefix masks are
| (2.17g) |
Their row checks are
S2 at rank three uses the first branch of (2.17f). S9 substitutes in both branches. For S10 we use §2.5; its binding prefix-mask gap is
These checks include clipped cells and weak selection endpoints. AA37 tail labels satisfy . Together with (2.17g), prefix/tail separation gives for merged sorted labels. Sorted upper endpoints are at most times their labels, and their mask is strictly below . This proves packing geometry, including empty prefixes. The tested-source and boundary hypotheses are proved below.
For the Section 4.1 representation domains let count ordered representations. In the coordinates are prime to and is prime to . Put
Thus and . For ,
Here is the upper cut; counts coordinate divisibility and repetitions. Section 4 bounds their unsifted masses and local hypotheses. The source is replaced before Buchstab, and the signed parent correction is retained. C1–C5 test the untagged discrepancy on interior boxes. Fixing two coordinates at a prime leaves at most two positive coordinates. The elementary divisor bound, over all pairs and four source forms, gives
Division by gives . This is within the Section 6 source-restoration allowance.
We use the classical BFI hypothesis (A2), [8]. We fix and . For every it asks for a uniform such that
Here , , , , , . The constant is uniform in the sequence, subinterval and auxiliary coprimality divisor. For Class II we use the selected elementary factor and exchange factor names as in the classical theorem. Theorem A requires this normalization. The complementary convolution has its separate norm bound.
2.2. Common direct preparation
This subsection verifies the local and global hypotheses for the direct families.
Lemma 2.2 (Common preparation).
Let , , . Then for . The per-box precision is arbitrary; it is distinct from the prime-source target in the condition . Each DIRECT and S2 family satisfies H1–H5 and LEN of [Z1, Theorem 3.2] on retained Class-II boxes. For each family , separately, H6 and H7 hold with
Every other nonboundary box is Class I-1 or I-2. For fixed , its signed discrepancy before external coefficients is . The entire S2 Class-I error is , with (3.1) defining . Section 3 treats the strict BV complement separately. DIRECT and S2 are each counted once.
Proof.
Put , , , , . The source is . Source exceptions have been removed. All prefix, sieve and whole-cell conditions are modulus-side. The row masks and AA37 bound give
For the dyadic -shell covering , one has ; eventually and . All factors avoid . The tested prime exceeds , so its comparators agree before HB. Let . Primes below determine the smooth divisor uniquely. Labelled primes are , since . Thus gives
This includes repeated primes and each numerical realization once. Three prefixes, tails and two signs give blocks. Whole-cell conditions remove blocks, and smooth divisors remain inside coefficients.
We apply [Z1, (B.7)–(B.13)] with , , . For we take , , . Factors are -rough, including the unit atom. Put
The complete tested-side faces are
Crossing boxes are removed. Roughness stays in the coefficients, and whole- stays modulus-side. The bound makes redundant. The cited construction uses these data and the proved coefficient bound, so it permits prefixed moduli. Proper powers contribute : terms, each . The signed HB coefficient is
For H6 put . Divisor counting and give . Each product fixes its shell by [Z1, (B.11)]. We use , and . Cauchy–Schwarz gives , , and
For , we have , , . Hence
This is stronger than stated. Each tuple has one shell and one box. For faces we use [Z1, Lemma B.2, (B.14)–(B.16)], with , , . Source faces are singletons, and the lattices are and . Active product coordinates exceed . At caps, and . Both exceed eventually. Thus
Here . Finite faces and unique shells introduce no box count. Three patterns and blocks alter only constants. This proves H6 separately for both families.
The classification uses [Z1, (B.20)–(B.24), (B.27)–(B.28), (B.30)]. We choose so that
The product and Möbius caps are exactly (B.21). The selected variable has the largest eligible lower exponent in , with ties broken by index. The exclusions are , , . Every other box has one or two large smooth variables. For the selected Class-II cell put
Here is the complementary lower product, . Its nonunit-cell count satisfies , since eventually . By [Z1, Lemma B.3, (B.22)–(B.24)], internal endpoints are irrational. Rough coefficients vanish at powers of two. Both integer counts differ from by less than one. The threshold gives and . Consequently
The majorant in [Z1, Appendix B, immediately before (B.27)] equals one on , with support . For a source point , enlarged products satisfy
Thus , , . Eventually . The row masks and Lemma 1.2 give exact repeated-prime slots, including S1-0 and S2-0, and all spectral inequalities. In particular,
For rough Möbius, unit and normalized-log factors we use [Z1, (3.25), (3.47)–(3.48)]. The complement is bounded by . This proves H1–H5 and LEN separately from H6/H7.
For Class I we apply [Z1, Lemmas 3.3 and 3.5, §3.11, (B.30)]. Here , , complement . The nonnegative weights have bounded variation and supremum. Predicates are constant and factors are -rough. The discrepancy remains . Assign proper powers, LOG, boundary, II, I-1, I-2 in order. The classification gives
so . For I-2 we order . Then
Larger absorbs fixed dyadic factors into . Thus [Z1, (3.100)–(3.101)] hold, and (3.105) and (3.111) apply. For H7, at most six coordinates and three patterns have shells. Each coordinate has dyadic intervals and cells. Labels, signs, binomial factors and slot factorials cost . The sole logarithmic scalar is . Hence
The extra unit covers the I-2 small-product split. Realizations and smooth divisors remain inside coefficients. PF and the selected boundary region form one family. With , the Class-I total is . Since , its normalized bound is . Normalized LOG and boundary errors are . ∎
2.3. Four-term Buchstab and the S1 comparison
This subsection proves the Buchstab chains and bounds the cutoff comparison.
Lemma 2.3 (Four-term chains).
Set . The plain-source identity is
| (2.19) | ||||
Here and all . The S2 identity (3.2) replaces by and divides by . Both use , , . Their parameters are
| Row | ; direction | Cutoff | Floor for | |
|---|---|---|---|---|
| S1-0 | ; lower | |||
| S1-1 | ; upper | |||
| S1-2 | ; lower | |||
| S1-3 | ; upper | |||
| S2-0 | ; lower | |||
| S2-1 | ; upper | |||
| S2-2 | ; lower | |||
| S2-3 | ; upper | whole-: §3.2 |
The S1 functional has signs and densities . Appendix A.2 gives
Its cutoff allowance is . The directed prefix comparison costs zero and has multiplicity one. The true one-prefix conversion error is zero. The alternative repair costs less than .
Proof.
For S1, (2.17a) gives . For S2 we use Section 3.1: . Both parents have prefix , , . The corrections are low-prime mass minus exceptional mass. Prefix-square restoration is empty, and its nonnegative allowance is retained. These unsifted bounds are included once. Descendants use only , and cofactor sieving. Buchstab’s identity holds for every sequence, without squarefree or coprime restrictions [21]. Three iterations give (2.19). The coefficients are and . In subsequent sieve calculations we write . We apply [11, Theorem 4] in the order lower, upper, lower, upper. For S1-0, . For S1-1 and S1-2, respectively, and . Equal-label pairs retain or . The full summand, including , depends on unordered products and labels. Thus (2.17b) gives there, and otherwise. Its diagonal is assigned to prefix squares.
We fix before the structured sieve. Since ,
| (2.20) |
For S1-3, ; the upper sieve is legal. Fixing makes the complete tail domain permutation-invariant. The factorials are . Formula (2.17c) has scalar . Using actual before this comparison would lose invariance. All four terms have fixed modulus-side labels. Lemma 2.2 supplies their boxes. The equal-prefix terms have disjoint prefix diagonals. Theorem 5 bounds their union; Theorem 6 bounds the AA37 main error.
Here both branches are deleted. Every retained is reduced by , including the guarded first inputs. Let be its infimum on the full ordered comparison box . This box differs from the inherited source cell. Put
On the full parent, and . Thus . Both thresholds are . The original and saved guards are active throughout. Adding restores six corresponding branches, each with slopes of absolute value . Their maximum is -Lipschitz in coordinate distance. For , . Therefore
Branchwise, is coordinatewise nonincreasing. The inherited lower labels give the same residual comparison . The comparison-bin infimum is at most its point value. Decreasing gives . For , the delay equations give on and above . Hence
| (2.21) |
For S1-3, . On the full parent, , so . Also , so its branch is active. Since and ,
Since and , differentiation is legal: . The comparison-box guards also remain active. Its numerator loses at most , and the argument stays . Thus both monotonicities apply, using the actual bin infimum. Integration over the same literal clipped partition gives
| (2.22) |
Here Appendix A.2 proves , uniformly for . Reproduction requires the interval-arithmetic source, dependencies and directed output; see Appendix A’s data-availability statement. The allowance includes (2.22), and Section 6.3.5(c) includes the prefix comparison once.
The one-prefix profile is , already used by the comparison functional. For the alternative we write . The delay equations give , where is Dickman’s function. Here , . We iterate exactly times; the factor is . Since , ,
| (2.23) |
The S2 part belongs to its atomic endpoint. Section 6 subtracts the residual once. These are the true functions . Equations (2.19)–(2.23) prove the source/profile comparison. Section 6.3.5(b) uses the single joint S1 bound.
The S2 last child retains the invariant condition (3.3), . This includes PF and all remaining selected blocks. Here is fixed before C1, and the scalar is . The actual- comparison is kept separate. The strict complement uses actual and BV. A PF-only coefficient would omit selected source blocks. Since , . Lemma 1.2 uses the literal whole- infimum. Section 3 checks the local source hypotheses and Class I. The term of Theorem A is kept. The strict BV complement has no prepared Class-II family. Sections 3.2–3.5 prove . They retain whole- norms, spectral parameters, BV coefficients and the eight-branch functional. Retain , one structured-sieve error share and tail allowance . Its true one-prefix profile is . Section 6.3.5(b) subtracts these errors once. ∎
2.4. Signed fixed-cutoff profiles
This subsection treats the fixed-cutoff rows.
Lemma 2.4 (Fixed-cutoff rows).
The six fixed-cutoff rows and S10-Ret have the following data. In all tables , . The source is , with shift . Write for the common errors listed below. Let be the selected raw-profile upper and lower endpoints of Appendix A.3, respectively. Their directed contributions appear in the last table. The relative AA37 parameter is . Each full remainder is (2.17c), with scalar .
| Row | Exact exponent domain | Parent/anatomy/selection; depth |
|---|---|---|
| S3-A | Inherited A/B at ; | |
| S4 | Inherited A/B at ; | |
| S5-low | B, clipped at ; | |
| S7 | Inherited A/B at ; | |
| S8-A | Small-coordinate anatomy; | |
| S9-A | , | Inherited A/B; |
| S10-Ret |
,
, |
Whole parent cells, ; |
| Row | ; multiplier | Direction | Cutoff | Relative level |
|---|---|---|---|---|
| S3-A | ; | upper | ||
| S4 | ; | upper | ||
| S5-low | ; | upper | ||
| S7 | ; | upper | ||
| S8-A | ; | lower | ||
| S9-A | ; | lower | ||
| S10-Ret | ; | lower |
| Row | Lower floor for | Cutoff gap; ratio | |
|---|---|---|---|
| S3-A | (A), (B) | ; | |
| S4 | (A), (B) | ; | |
| S5-low | ; | ||
| S7 | (A), (B) | ; | |
| S8-A | ; | ||
| S9-A | (A), (B) | ; | |
| S10-Ret | (A), (B) | ; |
| Row | Saved profile; directed comparison cost | Selected output; estimates outside that endpoint |
|---|---|---|
| S3-A | ; zero | ; |
| S4 | ; zero | ; |
| S5-low | ; zero | ; |
| S7 | ; zero | ; |
| S8-A | ; zero | ; , prefix and tail squares |
| S9-A | ; zero | ; , tail squares only |
| S10-Ret | ; | ; , tail squares only. Selected raw interval: |
S8-A and S9-A have zero cell-selection cost. S10 has zero profile and S2-tail error.
Proof.
The proof applies [11, Theorem 4] and [Z1, Theorem 2.6, (2.30)–(2.33b)]. Table 2.1 gives , for negative rows and for positive rows. Prefixes are and tails are . Every predicate is modulus-label dependent. Lemma 1.2 and Lemma 2.2 give the slots and local/complementary bounds. Section 6 includes each of the following errors once:
These form ; its squareful terms have the stated row restrictions.
For one uniform comparison put
We call the absolute S3-A/S8-A/S9-A profiles Option-A. Every missing completion contains the corresponding unthresholded branches. Lipschitz control gives
The S4/S7 A/B levels give the same buffer. For S5-low we use in B. On S9-A, gives . Decreasing and increasing give all six signed lower comparisons. Inherited labels are kept through clipping and before branch selection. For S3, S4, S7 we split at . For S9 we split the inherited anatomy. Retain both literal two-prefix infima. S4’s clipping at retains both A/B bounds. Section 6.3 sums its two remainder children once. S4 and S7 overlap in the initial signed inequality; their HB partitions remain separate and disjoint for each term.
Put . In the displays below, is the signed source contribution divided by , and is that row’s allocated share of the common error . Section 6 charges these shares once. The signed sources and their normalized bounds are
| (2.24) | |||
| (2.25) |
| (2.26) | |||
| (2.27) |
For S5 set , . Before the structured sieve or HB we split
| (2.28) |
The first term is S5-low and the second is S5-top. The endpoint belongs to BV. Clipping at retains parent labels. S5-low uses B and
| (2.29) |
For S7,
| (2.30) | |||
| (2.31) |
Its profile loss is zero. Appendix A.3 proves its outward upper endpoint, which Section 6.4 uses at the fixed positive parameter. Equation (6.5b) uses the S3 comparison.
For the two-prefix rows,
| (2.32) | |||
| (2.33) |
| (2.34) | |||
| (2.35) |
Only S8-A has equal-set prefix orbits. Its equal-label sets are identically clipped to . The full summand and level are symmetric before slotting. Thus there and elsewhere. Formula (2.17b) removes strict triangular ordering. Its prefix-square part is disjoint from the forbidden-tail union. The range lies in the small-coordinate anatomy, and both squareful errors are included. Its outward lower endpoint enters (6.4) once, with coefficient . S9’s literal prefix sets are disjoint, including . Hence , the prefix diagonal is empty, and both normalization differences vanish by (2.17c). Only its tail-squareful error occurs. Its lower endpoint has coefficient and multiplicity one; see Sections 6.3.3 and 6.4.
S5-top and S6 use BV separately. For S5-top the total level is , with relative level obtained by dividing by the actual prefix. Here , cutoff , profile . Section 5 proves its full coefficient and error estimate. Its prepared Class-II, packing and Class-I contributions are zero, and its main term enters separately. Section 6.3 includes S5-low errors once.
∎
The separate BV row S6
This subsection bounds the separate BV row. Its exact source is
| (2.36) |
Section 5.3 takes . The margin absorbs the logarithmic loss uniformly. Put , , with cutoff . Then
eventually, uniformly for . Thus the upper sieve is legal, and
| (2.37) |
The BV error includes comparison with the -level profile. Section 5 gives the full weighted BV remainder, prefix multiplicities and endpoint direction. This row uses the classical proof, without structured slot normalization or C1–C5. Its BV error is subtracted once, together with its main term.
2.5. The retained curved S10 row
This subsection bounds the retained curved row.
Lemma 2.5 (Retained curved profile).
Put
The actual source is
| (2.38) |
Ret consists of whole parent-label cells with . For the curved source-trimmed target
| (2.39) |
we have
| (2.40) |
The profile and S2-tail errors are zero.
Proof.
On clipped support, . Thus at finite . The coefficient permits discarding Drop before estimating Ret. The literal prefixes , are disjoint. Hence and the prefix diagonal is empty. Selection is constant on whole labels. For anatomy A, gives residual . Table 2.1 verifies the lower cutoff, including the crossing band. The tested source stays , with shift . On Ret,
Increasing gives the favorable direction. For every discarded actual point,
The larger of the two selection deficits bounds the strip. The projection onto is -Lipschitz, so is -Lipschitz. The two deficits satisfy
The projection estimate covers the cap, affine middle and floor. The two displayed inequalities cover both branches of the minimum. Also , including the clipped case , and . Therefore
This includes endpoint cells: , . The inherited labels at are retained. On the whole canonical source, . Here increases on . The -density is at most . Hence
For an exact rational check, use .
Substitution of gives the strict bound. The independent Appendix A.3 bound uses on this same strip:
These are two bounds for the same loss. The error account retains and subtracts only the single conservative allowance ; the allocated common error is charged once in Section 6. Section 6.3 assembles the endpoint and common errors. Lemma 2.2 supplies preparation, with . The coefficient identities and masks apply with the stated signed row coefficient. ∎
3. The S2 group: a joint three-piece estimate
This section bounds the four S2 rows jointly from below. These rows are
Their signed lower functional is S2-T8/
3.1. Source partition and four rows
Lemma 3.1.
The plain S2 source satisfies (3.2), with the disjoint partition (3.4). The selected third row has level and cutoff (3.5).
Proof.
Fix
where is sufficiently small for the AA37 constant and is fixed before . Then tends to infinity through even integers. Put
Sections 3–5 use this endpoint, with the normalization
| (3.1) |
The first product is positive, and the second is at least one. Thus uniformly in even .
The unsifted AA37 input is . By (1.7), , where contains low-tested-prime and exceptional cells. Source-square restoration is empty at . For a Buchstab prefix over , put
where is sieved with the empty cofactor allowed. Then
| (3.2) |
This follows by applying twice, with repeated factors of still allowed. The final cutoff is . Modulus-one coefficients give , and the cutoff factors come from and .
Let . Put Set and . The cells carry the inherited global half-open labels Clipping at or preserves each label. A whole cell is selected when
| (3.3) |
Let be the selected union in . Its strict complement has . For , , and on , . Hence
| (3.4) |
Equality belongs to PF or the selected label. All three pieces retain the negative sign of . The coupled cut is compared with one whole- product-block estimate.
On a selected prefix block, put
| (3.5) |
where is the actual analytic cell infimum. Since , , the required upper bound for the negative row. Its sieve argument exceeds . The whole- cells satisfy the admission envelope . Here The boundary estimate retains the sharper condition (3.3). ∎
3.2. Coefficients and prepared hypotheses
Lemma 3.2.
The four signed rows satisfy H1–H7 of Theorem A. Their coefficients are (3.6)–(3.8), with both masks (3.11).
Proof.
Fix a complete symmetric prefix/tail block with its AA37 signs, and put The smooth support is , . It is squarefree, with primes avoiding . The empty tail is included once. Before unequal-coordinate dissection, complete equal-bin prefixes are divided by . Packing puts wholly in slot 1, and the labelled convolution of slot is divided by . Thus
| (3.6) |
The prefix and slot factorials have distinct roles. The signed remainder and its external scalar are
| (3.7) |
Prime realizations and smooth divisors stay inside the convolution. Absolute values are taken after the signed -sum.
The local density is for every , with higher-power constant 3. Put . Let be the disjoint forbidden tail/prefix correction and the allowed-repeat correction. Let be the retained squarefree coefficient. Then With , define
Substitution before HB gives
| (3.8) |
Every source modulus is eventually below . Tested primes exceed , so on the original source. Its squarefree NC and grouped allowed-repeat difference vanish before HB. For , the term is kept as the mass-conversion error. The fixed logarithmic coefficient envelope and reduce it to PNT. A sufficiently large fixed logarithmic saving gives .
Choose a tested-prime shell , with ; on it HB has cap . In each interior rectangle we choose the largest eligible elementary rough factor, breaking ties by first index. Its coefficient is rough Möbius, rough unit, or normalized rough logarithm, of modulus at most one. The complement has at most five factors and is bounded by . With , the full doubled support satisfies
| (3.9) |
This uses the original window and eventually. The shift stays .
Lemma 2.2 supplies the equal-ratio mesh and integer endpoints. For all four rows, including whole-, it gives , and . It also gives H6, H7 and Class I. The internal packing Lemma 1.2 applies at the literal , and since , (2.17f) gives . Put . By (3.3), , so
Here and . Every selected S2-3 cell therefore has . Including slot-1 smooth inflation gives
| (3.10) |
The ambient margins are . After scale transfer, dyadic constants and endpoint localization, they exceed eventually. PF and the boundary region retain these margins and .
The dispersion argument is the one in the distribution-input subsection, with [Z1, Theorem 2.8, (3.17)–(3.20), (3.25)–(3.27), (3.57)–(3.60), (3.70)–(3.73)]. Its S2 parameters are as follows.
| Step | Data |
| First dispersion | . For , split at . |
| SW precision | Below: trivial BDH. Above: . Request this extra saving before norm-normalized BFI. |
| Frequencies | , , ; . |
| Mellin weight | In (1.32), set . Take on , supported in . For and , and . Here . |
| Coloring | , , , . Normalized cost: . |
| Derivatives | . |
Both norm cases give . The second dispersion retains
| (3.11) |
Representations are normalized by , which is then restored. At the integrand vanishes. Both nonmodular Mellin phases of (1.32) are kept, and coloring precedes aggregation. Fiber multiplicity is at most . Hence
| (3.12) |
The spectral coefficient has the weighted norm
| (3.13) |
For , specialize to
with the least prime . Then and , and (3.13) gives the required weighted norm. Here remains allowed.
For unit slot 2, its atom has . By (3.10), , so eventually and the frequency sum is empty. Every other nonempty spectral scale is at least one. For general , , hence eventually on nonempty frequency blocks. Also , as required at the weighted-norm endpoints. Finally, By [Z1, (3.89)], the positive-epsilon prefactor is eventually at most . Equations (3.10)–(3.13) give the signed spectral bound.
Put and . Lemma 2.2 gives the complete support
This support includes repeated-prime moduli and every smooth divisor. The full hypothesis check is as follows.
| Condition | S2 data |
| H1 | Coefficient (3.6), with primes avoiding ; corrections exactly (3.8). |
| H2 | lies in slot 1; slots 2 and 3 are -rough. Keep repeated primes and empty slots. |
| H3 and LEN | (3.9)–(3.13), the full support above and Lemma 2.2. Majorant: , , . Ambient length: . |
| H4 | , ; . |
| H5 | and (3.9), with Lemma 2.2’s endpoints. |
| H6 | ; . |
| H7 | (3.16), using external coefficients only. |
3.3. Shiu’s estimate and the three dispersion terms
Lemma 3.3.
Let be a prepared family of interior Class-II boxes satisfying the local scale, roughness, support and coprimality hypotheses of Theorem A and (3.9)–(3.11), with uniform fixed source constants. Assume the coefficient and scale bounds (3.16), with replaced by and . Then (3.15) holds with a fixed exponent in place of , and the normalized sum satisfies (3.17).
Proof.
We first bound the deletion of . The restoration formula in [Z1, §3.5, (3.45)] retains by the exact Möbius expansion.
Let and , with local shift . Assume fixed , , and
with and . On the doubled box assume , and finally assume and . For fixed nonnegative ,
| (3.14) |
To prove this, write , so the interval length is . For fixed , put , and . Then , . Put ; consecutive values differ by . Opposite signs would imply , a contradiction, so the sign stays constant. The values lie in one reduced class modulo . Their interval has length and endpoint . Choose fixed . Since and , and eventually. Shiu’s reduced-progression bound [15] gives For modulus one, We use Cauchy–Schwarz and , then the localized divisor moment. This proves (3.14), including signed shifts. The modulus condition uses and .
Take , , , and . By [Z1, (3.6)] and (3.9)–(3.10), where and is fixed. Thus (3.14) applies.
In the following divisor sum, is the second two-rough-slot product of [Z1, (3.28)–(3.31)]. Its primes are at least and . Counting repeats gives This includes . Every nontrivial satisfies eventually. For fixed , We partition by the exact value . Dropping the remaining gcd condition and summing (3.14) gives
The divisor weights fix independently of .
The mixed term keeps . For fixed , the number of admissible pairs is at most . Also , and . Increasing by two and using , we find the positive deletion error For pure density, . This gives the same bound. Copy symmetry gives the first-copy deletion bound. For two congruences, and imply , so its deleted contribution is empty. These three bounds include unit rough slots, and both masks (3.11) remain in force.
The first Cauchy–Schwarz inequality is . Its full divisor-deletion contribution is at most
Since , this term is absorbed by the power-saving term established below in (3.15). The exact mixed term retains via [Z1, §3.5, (3.45)], and the divisor sum above gives its full alternative bound. Restoration and near-diagonal/BDH recombination follow [Z1, (3.34)–(3.47), (3.49)–(3.53)], with both masks and all three dispersion terms kept.
Theorem A is applied at . Its local terms are and , where . The latter includes GR restoration and first-CS deletion. Here , . Three internal modulus-slot shells cost at most , so the first term is at most . With shell and source-specific GR logarithms absorbed into ,
| (3.15) |
For the external family , Lemma 2.2 gives
| (3.16) |
Here is fixed before . Put . Lemma 2.2 gives . We use the larger envelope : PF and the selected boundary region form one whole- family. Their prime realizations and smooth divisors remain internal.
For , we replace and in (3.15)–(3.16) by and any fixed . With , and denominator (3.1), we get
| (3.17) | ||||
Here ; the extra 2 comes from . By (3.1), and . The bound gives . Also , and for fixed , as . Here and all source and box parameters are fixed before . For S2 we take , and . ∎
3.4. The strict BV complement
Lemma 3.4.
The source on has upper main comparator (3.19) and remainder , at the actual cutoff .
Proof.
For , put On all of ,
| (3.18) |
Write . Since , . Ordering gives , so and
The definition of now gives
Hence for all sufficiently large , and . Sifting is monotone in its cutoff, so
Apply the upper sieve to the right-hand side. Its squarefree weight has , and . Thus every prime factor of is below ; indeed . For , the three largest distinct prime factors recover uniquely, also when . The actual aggregate weight has , , and the prefix/divisor multiplicity is one. Here is reduced. The two-endpoint remainder is at most twice the classical BV maximal sum. It is for sufficiently large fixed . The positive upper comparator is enlarged from to :
| (3.19) |
The factor 4 includes Mertens and . Thus enters directly, with its stated normalization. The comparator overlaps . The source partition (3.4) stays disjoint, with its original boundary conventions. ∎
3.5. The signed functional, tail and endpoint
Lemma 3.5.
The selected endpoint is (3.22). With its tail allowance included, the source satisfies (3.23).
Proof.
Put . Define
Let be the maximum of
Put
The signed functional is
| (3.20) |
It combines the prefix terms with the third-term comparison. On , and . Thus Hence and on PF, with equality possible on its boundary. The analytic whole- argument uses level loss . At depth one and , the guard is active and its branch gives throughout the whole parent cell. Thus the numerator margin is at least .
The source/profile numerator margins are on triples and on second prefixes. By continuity and the 2-Lipschitz S2 hull bound, and since dominates at indicator switch-off, . Inherited endpoints cost at most another , and the numerical and analytic losses are and . Missing-coordinate infima retain the floor and the relevant candidate. Depth-two padding costs at most . Increasing and decreasing give the signs in (3.20). PNT/Mertens, harmonic prime measures and equal-bin factorials give the ordered integrals. Here is fixed throughout.
The boundary region has width Its outer ordered area is at most , and each fiber has width at most . Also . Including the dynamic cutoff,
| (3.21) |
Thus the cell-selection/dynamic allowance is , while the boundary arithmetic discrepancy is estimated separately.
The directed 192-bit Arb inputs [23] are:
| Prefix | |
|---|---|
| PF upper | |
| Corner lower |
The true sieve functions are used beyond 12. Put . The finite delay-integral enclosure gives on . The classical linear-sieve asymptotic gives and . Thus is bounded for all sufficiently large . Since are continuous, it is bounded on the remaining compact interval. Hence before the contraction below. The same decay gives integrable tails and the vanishing limits used next. Integrating and , with their vanishing limits at infinity, gives the exact identities
and hence, for ,
Separating from gives . Since , this implies . The preceding integral bound therefore gives for .
Fix and write , , , and . The PF fiber has and . On every affine branch in the hull, its argument is , where . The following list covers every branch of , , , , the two unguarded parts of each of the first two terms, and both branches of each pair guard:
| Branch | Lower bound for | ||
| , increasing | |||
| , decreasing | |||
| , increasing | |||
| , decreasing | |||
| , increasing | |||
| , decreasing | |||
| , increasing | |||
| , decreasing |
Here and . Substitution of and shows that every lower bound in the table is at least . The permanent baseline is always present. The guards switch off only, since each is continuous and nonincreasing in ; at switch-off its value equals . For the pair guards put
Since , these functions are continuous, strictly decreasing, with slopes and on the two branches. On the increasing branch , so switch-off can occur only on the decreasing branch. At a switch-off, direct substitution gives
Thus removing either guarded branch cannot raise the hull. All affine crossings and the kink of are continuous. The only other drop is at ; its left value is , so it is inactive there. Every active branch has . The full argument hull is therefore continuous and strictly decreasing on the fiber. Its finitely many affine pieces have disjoint -images. Consequently, with no branch-count factor,
Integrating over the full ordered triangle gives
The true PF tail above 12 costs less than
Here . The lower endpoint uses , upper products and , and the lower corner endpoint. All prefix arguments exceed 128. Their repair costs less than D. Both repairs fit strictly inside . Adding the true tail to the finite PF upper bound gives
| (3.22) | ||||
This eight-branch bound is in D units. It includes that allowance.
The source identities and preceding estimates yield
| (3.23) |
The four rows and three third-row pieces form S2-T8/
For H6, the normalized LOG and boundary errors are
and .
Class I is , with , and at these enter .
The strict BV source is , with main term in (3.20).
PNT, Mertens, endpoint and mass-conversion errors vanish.
The fixed lies outside , while the allowance lies inside it, in D units.
Finally, E_
4. The switched rows
This section proves a joint lower bound for the switched rows.
4.1. The source and its finite signs
This subsection describes the source and proves the finite-source sign lemma. Fix the parameters
| (4.1) |
Let , and put
| (4.2) |
The D-unit denominator is . All sieve primes belong to . Source primes dividing enter the final error table, as do repeated source primes in squarefree identities. Write
| (4.3) |
Let . The source forms, each with , are as follows.
| Form | Exact representation and constraints |
| , , , , | |
| , the same outer conditions, | |
| , , , | |
| , , , |
On , the two endpoint orders give distinct representations. The condition is omitted there. Let , and count representations, and put
| (4.4) |
These forms exhaust the sources. For , allows at most two cofactor primes, and excludes cofactor 1. A composite cofactor gives . Two cofactor factors give , because each factor is at least . The linked source parameters are:
| Form | Weight | HB patterns/factors | Cofactor cutoff |
|---|---|---|---|
| / | |||
| / | |||
| / | |||
| / |
All four forms use rows G1-0 through G1-3. Their faces are listed in (4.36) and the boundary-family table. Their multiplicities satisfy (4.6) and the sharper peel bound below. Every source coordinate is at least . On and , each remaining factor is at least . On , . Only on do we use its square-root cutoff. There and , so
| (4.5) |
For absolute estimates,
| (4.6) |
For the peel, . Ordering gives . If , all factors are at least , so . Otherwise chooses one low-band and one high-band factor, with at most choices, where and . Thus , before any union.
Let count the admissible divisor tuples, retaining and every original coprimality condition. The identity is
| (4.7) |
With , put
| (4.8) |
| Row | Weight | Divisor variables and range | Cofactor cutoff |
| , | |||
| , | |||
| , | |||
| , | |||
| , | |||
| , | |||
| , | |||
| , , | |||
| in the outer domain | |||
| in the outer domain | |||
| in the outer domain |
Lemma 4.1 (Finite-source signs).
Let be sufficiently large. Suppose is squarefree and coprime to . If and , then
| (4.9) |
Proof.
The exact sum is kept. Let count primes in , , and . For a second-band exponent , let count first-band primes below . The first ten rows give
| (4.10) |
and hence . The cases and give and , respectively. The latter is positive only at , of degree 3, where . Three fourth-band factors with a first-band factor exceed . For , the lower slab leaves only , where . It suffices that
| (4.11) |
Three first-band factors and a fourth below have exponent less than . Four first-band factors have a smaller upper bound.
If , then . If , then . At degree 3, take the second-band prime as and order the remaining primes as . Then , and
| (4.12) |
This is a representation. When , there is also one representation, and these cover . At degree 4, , since . Finally suppose . Degree 3 gives and one representation. For , there is also one representation, and they cancel . At degree 4, all primes lie in the third band, where and . ∎
Conditions (4.11)–(4.12) and hold eventually, and the finite radial range is . Section 5 gives (5.31)–(5.32) and positive excess at degrees 5 through 11. Extra representations lower .
Define the weighted sequences
| (4.13) |
Each occurrence has weight . Then
| (4.14) |
Removing source conditions, including , enlarges these positive counts. Their negative coefficients preserve the required lower bound. The sieve counts primes with weight , and by (4.6) smaller primes and endpoints cost . A source coordinate may leave a composite , and this excess is . Restricting to gives equality up to the same error, so (4.14) has a vanishing D-unit error.
The lower slab is exact:
| (4.15) |
Its complement contributes zero. The source factors are eventually odd, so , and the shifted-prime source has . For the fixed target, set
| (4.16) |
The cut is applied before Buchstab and AA37. Restoring it once costs
| (4.17) |
Discrepancies, membership and boundary faces use (4.16).
4.2. The four sieve rows and their coefficients
This subsection sets up the four sieve rows and their signed remainder coefficients. Put , in which the source weights occur once. Three Buchstab steps give
| (4.18) | ||||
Here , and the cutoffs exclude their endpoints. Also . The cells are endpoint-clipped parent intervals with inherited lower labels. For the full anatomy infimum , put
| (4.19) |
AA37 is applied at , with relative tail labels. The smooth divisor satisfies , . All source forms use the following four rows.
| Row | Prefix | AA37 | Base cutoff and retained cells | |
| G1-0 | upper | ; all | ||
| G1-1 | lower | ; all | ||
| G1-2 | upper | ; all | ||
| G1-3 | lower | after PR; |
The first three residuals are at least
| (4.20) |
For G1-0–G1-2, the smallest completion coordinate satisfies , so the active branch is at least . If its guard closes, or the parent crosses , the branch gives the same lower bound. Hence . Dividing by gives values above 30. For the fourth row, put . The largest anatomy coordinate is , and the full anatomy contains also across . The middle branch exceeds the first for and the third for . Since , it is redundant. Hence The increasing branch is evaluated on the left and the decreasing branch on the right. For , both residual branches decrease. Thus
Subtracting and using the retained-cell condition gives and , whence The exact condition is . It gives the lower-sieve range on the whole cell, including equality. The linked level and orbit data are:
| Row | Lower floor for | Orbit | Ratio and outside error |
|---|---|---|---|
| G1-0 | ; AA37 | ||
| G1-1 | ; AA37 | ||
| G1-2 | or | ; AA37 | |
| G1-3 | , or | ; AA37 and (4.57) |
All rows use all four source forms and level (4.19), with exact signed remainder coefficient (4.26). The common remaining errors are in the final table.
For the cut source, define
| (4.21) | ||||||
For allowed odd , take for , so that . Prefix primes lie above the cutoff and original tail primes lie below it. Thus , including and repeated tail primes. Mertens and verify the density hypotheses uniformly.
Fix a cell and tail labels, and let be the ordered masked and unrestricted labelled coefficients. Put . With the actual masks ,
| (4.22) |
Equal-bin permutations preserve the clipped prime sets, products, labels and summands. Unequal bins enforce order. For G1-3, the -cutoff difference is removed first, leaving base . The factor and the prefix-diagonal correction are kept.
Put , , and . Adding and subtracting gives
| (4.23) |
Allowed repeats are kept with these masks. Composite sources may retain the comparator difference. Theorem 5 bounds both squareful terms. The tested congruence is exactly
| (4.24) |
Every actual modulus satisfies and
By (4.28), , where . Eventually . This verifies the full support condition of Theorem A; see [Z1, Theorem 3.2, (H3)].
Primes below determine uniquely, and rough positions are at least . Their multiplicities allow at most assignments, and masks remove assignments. Consequently
| (4.25) |
which covers original, unrestricted and grouped coefficients. Fixed row conventions are included in , and enters aggregate bounds once. For 1-bounded slot sequences we extract . The D-unit formulas are
| (4.26) |
Here for upper AA37 and for lower AA37. We form before this sign. The slot factorial and source weights enter once, and is omitted from the remainder.
4.3. Preparation of the product source
This subsection splits the product source into boxes and checks the hypotheses of the distribution input. Order-3 Heath–Brown [12] is applied pointwise to every source coordinate. Then
| (4.27) |
There are patterns per row, giving 648 row/form/pattern instances. All source indicators are kept. Put . We split each dyadic shell , , into intervals , . Their common relative width is . For , . The point 1 is kept as a singleton. A boundary box crosses a source, window, ordering, cap or cut face. An interior box has constant source indicators. Per variable there are shells and intervals, so there are choices per variable. The 24-variable fine count is ; two further shells give . The three internal slot-shell sums are counted in .
Choose a nonunit cell, and put Thus . The exact interval counts are
Both differ from by less than 1. The ambient count is , and roughness stays in its coefficient. For an integer endpoint , gives , so only are integer endpoints. The factor , with , kills these endpoints. Hence
Lemma 4.2 (Common product boxes).
Let be a retained interior box. For its lower endpoints , put . Then
| (4.28) |
The largest eligible HB scale in is chosen, with the first index in a tie. Write for this lower scale and for the complementary product. Every box is Class II, and eventually
| (4.29) |
On its doubled complementary majorant support,
| (4.30) |
The thresholds (4.32)–(4.32a) below imply LEN on every box.
Proof.
Buchstab, AA37, (4.23) and the G1-3 base preserve the measure. Prime-power replacement and logarithm freezing preserve the indicators. Equation (4.27) gives the support, and the bounds and give the scale.
Choose a coordinate with exponent in . One of its six or fewer factors is at least . Its lower endpoint lies between half this size and . Since , an eligible choice exists, and the prescribed choice is constant on each box. Fubini gives
| (4.31) |
The selected coefficient is rough Möbius, rough 1, or normalized rough logarithm. The complementary convolution has at most 23 factors and bound . Each logarithm stays on its original factor. Endpoint subtraction is used in the interval and auxiliary-coprimality lemmas of Theorem A. Narrow intervals, the relative-norm alternative and both cross-copy masks are kept. These inputs include more than scalar divisor moments.
Put , and impose
| (4.32) |
| (4.32a) |
For fixed the latter holds eventually, and uniformity as is unnecessary. Since , so . Thus and . Also since . Consequently With and , the integer intervals coincide. Then , using and . This gives the short-interval input for . Threshold (4.32) gives
| (4.33) |
Also , and these prove (4.29) and the packing scale conversion. The frequency stays .
Put ; for , . Let count nonunit complementary cells, with endpoints . Put and . Unit factors stay singletons. There is a nonunit complementary factor. At least three source coordinates have product at least . Only one HB factor was selected. Thus . The ambient length is , with . The fixed majorant in condition C3 of Theorem A doubles this interval about its midpoint. Its upper extension is . Since on an interior box, on the doubled support. Hence for . The function increases for , and as this proves (4.30). Threshold (4.32) also gives and .
Write , and . The geometry gives
where and . Thus , and in particular eventually. Also eventually. By (4.33), Since , . Therefore
As and uniformly, eventually. On , , and both Cauchy–Schwarz copies remain in the doubled rectangle after coloring. Equation (4.30) excludes exact resonance; see [Z1, (3.10)].
By the internal Lemma 1.2,
Thus . Threshold (4.32a) gives . Since , The same threshold gives . Hence Packing also gives . Since and , . Finally, eventual monotonicity gives . ∎
Put , . The replacement costs (4.58)–(4.61). Order-three rough Heath–Brown [12] is used on each coordinate shell, with the inverse Dirichlet series truncated at its upper endpoint. The pointwise factors are 1 or -rough. The product inequalities are retained; they are constant on interiors. Boundary pieces are estimated below.
For a form with coordinates, let denote the HB numerator, including its source-form weight but excluding the inverse coordinate logarithms. Then . Each of these HB logarithms is normalized by , and the frozen coordinate logarithm satisfies . For , the resulting exterior coefficient is at most uniformly. For a selected logarithm, The selected coefficient is 1-bounded and the complement has bound . With (4.66) and fixed source-label/slot constants, this gives H7, .
The internal Lemma 1.2 is applied at . The of AA37 is placed in slot 1, also when . Empty prime-label slots 2 and 3 carry unit atoms, and those two slots are rough. The four surplus margins are
| (4.34) |
passing to preserves the first margin. After subtracting it is , and the other margins exceed the losses in (4.33). The box discrepancy is
| (4.35) |
For every source form and row, the preparation data are:
| Object | Common prepared value |
|---|---|
| Selected factor | Largest eligible lower scale, first index in a tie; in (4.29) |
| Selected interval | , |
| Complement | ; , |
| Majorant | , ; doubled support (4.30) |
| External multiplicity | fixed instances; boxes, (4.66) |
The hypothesis checks are collected below.
| Hypothesis | Verification |
|---|---|
| H1, H2 | (4.22)–(4.26), with repeated-prime multiplicities |
| H3, LEN | Full support after (4.24), Lemma 4.2, (4.34)–(4.35) |
| H4 | , , |
| H5 | The two windows of Lemma 4.2 |
| H6, H7 | (4.43), (4.63), (4.66) |
For H4, eventually , so Theorem A applies to the plain cut product measure. The local estimate is [Z1, Theorem 3.2, (3.13)]. The spectral frequency is . If invert modulo , then . Hence is integral, also for , without any condition .
4.4. Source errors and the Class-II sum
This subsection bounds the boundary, proper-power, logarithm and comparator errors and the interior Class-II sum. A source face is
| (4.36) |
Every defining-face coefficient has absolute value at most 2 after expansion into the HB variables. Since , its coefficient sum is at most 48. The face families are:
| Family | Number |
|---|---|
| Two faces, source windows/orderings, fixed coordinate transports | fixed |
| Coordinate dyadic edges | lattices |
| Möbius caps | lattices |
| Identity caps | lattices |
| Product dyadic edge and three slack families | lattices |
Thus there are at most 24 lattice families, of gap . HB partition edges are refined exactly, and prefix and tail labels are modulus-side conditions. The Class-II choice is constant on each box.
Lemma 4.3 (Lattice thin shells).
Let , , , and . Fix a nonempty , and assume for . Let and , and let have pairwise distances at least . Put . Then
| (4.37) | ||||
For empty , the count is zero. For a singleton one may take and interval-count factor 1.
Proof.
Assign each tuple to the least with , and apply [Z1, Lemma B.2, (B.14)] on that fibre. Only matters there; the other coefficients enter . Put , where is the complementary product. After clipping to and merging touching or overlapping intervals, the union has at most components. Its fibre count is at most , the count before relaxation in (B.14). Summing uses
| (4.38) |
with factors fixed and the product constraint dropped in the harmonic sum. These give (4.37). The component count concerns the clipped union, and no restriction relates and . ∎
The boundary distance is at most . For each defining face, take . Six or fewer factors of a coordinate at least give . A Möbius-cap variable is at least . The same 16 fixed and 24 lattice families suffice. The worst lattice has , and for . Thus the boundary union for one form and pattern satisfies
| (4.39) | ||||
The leading constant is . The second-line ratio is bounded by
| (4.40) |
Its logarithmic derivative is negative there. At 300000, , and give . Since , (4.40) follows. This justifies the rounding at width exponent 334.
Boundary estimates keep the unnormalized HB logarithms. The full weight uses the actual coordinate logarithms; since , the numerator bound above gives the deliberately coarser bound below. Thus for one pattern, including its source-form weight,
| (4.41) |
Here . The reciprocal-totient constant is below 2, since and . Put . The composition bound is : one maps the two compositions to a fixed matrix with those margins. Cauchy–Schwarz and (4.38) give
| (4.42) | ||||
Another Cauchy–Schwarz application on gives
| (4.43) | ||||
We include 648 instances and the multiplier , since ; we also include and . Since ,
| (4.44) | ||||
This covers cut faces, windows/orderings, dyadic families and caps. The four parts count row/form/pattern/box occurrences once, including box and dyadic factors. Hence H6 has , with D rate . Every fixed suffices; gives .
The proper-power event concerns one source coordinate, while other coordinates may contribute further prime factors. For ,
| (4.58) |
Roughness below preserves primes and removes powers. The same absolute bound is used, telescoping over four or fewer coordinates. For ,
| (4.59) |
Squares are bounded by an integer tail, and for we use . Fixing one coordinate at leaves at most
completions. For the sole completion is bounded by . For we count directly, and for we use (4.38). Thus . By (4.25), the full modulus sum is per tuple. Since , we use . Then
| (4.60) |
We take and absorb logarithms in the spare power. Dividing by gives
| (4.61) |
This step precedes HB boxes. The event has its separate modulus bound.
For logarithm freezing, each coordinate has at most six HB factors. If is its lower logarithm,
| (4.62) |
Up to four inverse logarithms change by at most . This is multiplied by the unnormalized numerator bound above. The frozen inverse logarithms contribute to (4.62), while the normalized interior coefficient excludes them. Summing exact differences over disjoint boxes, with , (4.42) and Cauchy–Schwarz, gives
| (4.63) |
Hence H6 holds with and .
For the comparator error, source primes are at least before HB. Thus
| (4.64) |
Also , by (4.25) and reciprocal-totient summation. Equations (4.23)–(4.24) give
| (4.65) |
The two squareful terms in (4.23) contribute once, by Theorem 5. Class II includes GR cross-copy restoration.
The external precisions are
| (4.66) |
These use the box count above. Three internal slot-shell sums use three of the four extra logarithms. Choose
| (4.67) | ||||
Here . Fix and above all remaining preceding logarithmic losses, with as in (1.29). Then (4.67) implies every lower bound in (1.29), in particular . Precisions are fixed before the threshold. Theorem A gives
| (4.68) |
This includes local restoration and GR at precision . The prime-source condition uses the global target of [Z1, Theorem 1.2]. The local target does not enter this box-width requirement. The product-source H6 exponents are those above. Lemma 3.3 applies with : by (4.2) and (3.1), , and (4.28) gives eventually. Set , which is a fixed finite exponent. Hence
| (4.69) |
Scale conversion preserves , with no saving. The stronger (4.28) is not needed here. Boundary, comparator, proper-power and logarithm sums have no factor. The raw boundary rate is , with D rate . All these errors vanish at the fixed target.
4.5. The dynamic-cutoff peel
This subsection bounds the error of the dynamic-cutoff peel. For a retained G1-3 cell, put and . The finite union bound is
| (4.45) |
Here , , and . The last two follow from and the coordinate conditions. The negative upper-chain sign permits enlargement of this nonnegative difference. Only the -base enters HB.
Lemma 4.4 (Uniform peel bound).
Let and . Suppose and , with
| (4.46) |
Eventually, uniformly in ,
| (4.47) |
Proof.
Write . By the representation bound above, . Put for . Then . Each layer has the same roughness and two-form bound. The layers are summed once, including coefficient 2 on both forms.
Enlarge the range to , of length ; both and are -rough. If , and , then , which source roughness excludes. Thus the all-primes two-form majorant applies. For squarefree , CRT gives
| (4.48) |
For , follows from . For , the same rules are extended only in the Euler product. A prime endpoint costs in the auxiliary sum. Selberg least common multiples stay on . Put and . They are extended squarefree multiplicatively, and we put . Finite-poset diagonalization gives
| (4.49) |
Cauchy–Schwarz gives minimum at . Finite inversion gives
| (4.50) |
The Dirichlet series factors as , where . Its nonconstant local coefficients are , and . For , absolute logarithmic moments through order 2 converge. For , the absolute local mass is . We split at . Mertens gives . Above we use . The -th logarithmic moment is , for . Expanding absolute local products gives a fixed with
| (4.51) |
At zero, 2 contributes . A generic odd prime contributes . For , this is multiplied by . Convolution with and the second logarithmic moment for the tail give, uniformly,
| (4.52) |
Thus the dimension-two convention is . Equations (4.48), (4.50) give
| (4.53) |
the remainder is at most . Uniformly in (4.46),
| (4.54) |
These use , and , together with for the uniform upper saving. For one layer, the main coefficient in units is eventually at most . The strict slack absorbs the remainder in (4.53). This proves (4.47) on the -scale, including short . ∎
For in (4.45), the retained-cell condition gives
| (4.55) | ||||
On G1-1, G1-2 and G1-3, . The two-branch peak is . Masked branches are zero or below it, and extra -branches are zero or at most . The inherited label has , even for a clipped parent interval. Since , and . Hence . All prime factors of are at least , and . We apply (4.47) with ; may be smaller. For fixed positive , Mertens gives eventually
| (4.56) |
Here . The pair belongs to one parent bin. Thus
The raw difference is below . Its adverse D bound is
| (4.57) |
The source multiplier enters once, without 500, label counts or tail factorials. The slack includes the Selberg remainder.
4.6. Canonical profiles and the joint lower bound
This subsection compares the rows with canonical profiles and proves the joint lower bound for the four rows. Put with the six-branch definition of Section 2.3, where is the unbuffered function of (2.17d). Thus
| (4.70) |
For , put
The six branches are
The subtraction precedes each guard. For the actual coordinates, set
| (4.71) |
Here is extended by zero below 2. Above every finite table endpoint its true values are used.
The function is -Lipschitz, and each exponent changes by at most in a parent cell. An active -branch has unshifted gap throughout. After , its source margin is
| (4.72) |
The other branches and maxima preserve this comparison across switches, and so do the two full-anatomy branches. If a parent crosses , then , so for its largest actual exponent. Since , . Every canonical branch is at most , so the margin is at least . Parents below use the activation argument above, and clipping shrinks the infimum domain.
If , the numerator exceeds , and (4.72), for actual exponents then inherited labels, gives . Thus positive canonical lower terms lie in retained whole cells, and elsewhere their contribution is zero. On retained cells we use Mertens and the monotonicity of , keeping the numerator fixed. The -base dominates the actual-cutoff lower main term, so canonical restriction loses zero. The arithmetic difference (4.57) remains, with possibly nonzero mass.
Let . By (4.20), the first three residuals satisfy
| (4.73) |
Three elementary integrations give
| (4.74) |
which cancels the constant-one parts of . The actual upper main chain is therefore at most
| (4.75) |
with the preceding errors.
Let , and . Then , and (4.17) bounds the mass difference. PNT and partial summation give
| (4.76) |
where
| (4.77) | ||||
The last-prime density on the radial face is . Integrating the companion variable gives . For the Buchstab argument is at most , and its value is plus for . This gives both integrals and the positive correction. Set , . On compact exponent boxes, the last logarithm has radial-face error , and . PNT is applied first and fixed partitions are then refined, and the positive exponent lower bound gives domination. Monomial-face strips, including ’s endpoint-swap strip, have vanishing main mass. Representation conditions are retained before the limit. The upper cut costs (4.17). This proves (4.76) at finite .
With , (4.75)–(4.76) give
| (4.78) |
The factor cancels once here. It remains in (4.57) and in the finite target of Section 1. At , that target is , with zero-epsilon limit .
The directed bounds are
| (4.79) |
Appendix A.5 gives the delay-function, quadrature and mass enclosures. Its endpoint is (A.10d). Here is the 4096-cell outward upper-corner sum in Appendix A.5. It is a conservative bound, not the continuous integral value. Let denote the directed upper parts of . Put
| (4.83) | ||||||
Exactly, . Their signs are , so has signs . We therefore use upper for rows 0,2 and lower for rows 1,3. The four directed row enclosures are in Appendix A.5, and the four terms are cancelled before rounding. The joint reference value is
| (4.84) | ||||
Put and let sum the exact four row lower endpoints. Appendix A.5 proves , so is used. The main base contains the reference value once, and the adverse sum contains once. The row enclosures include . The cap for is , which gives the weaker value , with about D loss. Equations (4.13)–(4.78) transfer these enclosures to the arithmetic rows.
Successive differences are taken in the order
AA37 includes fixed-parameter and asymptotic terms. Only the -base enters G1-3 Heath–Brown [12]. After monotonicity the exact first-contribution partition is retained, and the favourable fixed-cutoff and G1 cutoff differences are discarded. Each difference or part occurs once below.
| Contribution | Adverse D bound at fixed |
| Upper source restoration | (4.17) |
| Lower slab | zero: outside the source by (4.15) |
| G1 source-tag exceptions | ; the DIRECT term is separate, as in (1.23) |
| G1-3 peel | , once |
| Matched canonical restriction loss | zero, by (4.72) |
| AA37 | its common share once, plus |
| Squareful terms | Theorem 5: |
| NC | (4.65) |
| Tested proper powers | (4.61) |
| LOG | (4.63) |
| HB boundary | (4.44), one term with four parts |
| Interior Class II, including GR | (4.69) |
| Prime mass/PNT and Mertens | , from (4.76)–(4.78) |
For , there are complementary products. There are such source primes, all at least . A positive fraction of absorbs divisor/logarithmic losses. Labels and HB boxes preserve these sums.
Theorem A and Theorem 5 in Appendix B.1, together with the directed endpoints above, give
| (4.85) |
where the last term sums the vanishing errors in the table. The AA37 term and the PR term stay fixed. Analytic constants and the residual margin are fixed first. Then is chosen, followed by , labels, widths and precisions. Finally is chosen for all length and spectral conditions. These include BFI/SW, Poisson and the W-prime bound at width 334. The threshold depends on fixed . Thus (4.85) holds for all four arithmetic rows, with .
5. Direct BV rows, the O1 switched term, and weak G4
This section treats the rows R1, S5-top and S6 by prime BV, and the switched term O1 and weak G4 by one convolution lemma.
5.1. Sources and classical inputs
Fix even and put . Fix before . Here denotes a modulus, sieve weights and a sieve prime. Put , and write for an interval width. The exponent measures the fixed logarithmic loss. We use
| (5.1) |
Here , and the raw coefficients satisfy . For finitely supported , put
| (5.2) |
Both sums run over the full support. Remove prime powers from the -estimate [Z1, (2.20)] and apply partial summation. Increasing absorbs the conversion losses. Thus, for each , there is such that
| (5.3) |
It is applied with residue . The sieve input is [Z1, Theorem 2.5, (2.25)], under these hypotheses:
| Sequence | Finite, with nonnegative multiplicities; |
|---|---|
| Density | multiplicative; on |
| Outside | |
| Parameters | ; (5.5) with fixed |
Then
| (5.4) |
The density obeys , since . Also on , including . Uniformly in ,
| (5.5) |
By Mertens’ theorem [20], the logarithm of the product is ; here one uses and partial summation. Removing decreases the product, and a larger fixed covers bounded . This proves (5.5). For ,
| (5.6) |
Hence, uniformly for , fixed ,
| (5.7) |
The tails are and , so occurs once. The primitive-character large sieve [Z1, (2.19)] is
| (5.8) |
5.2. One prime-BV calculation for three rows
One application of prime BV covers the three negative rows. Put
For a permitted squarefree prefix , define
| (5.9) |
Dropping the condition gives an upper bound. The three negative rows are
| (5.10) | ||||
where and . Put
| (5.11) |
All prefix primes belong to . The radial condition is ; the product has no radial cutoff. For , put
| (5.12) |
For R1 put ; for T5 and T6 put . In all three rows, let . The parameter checks are as follows.
| Row | Uniform positive margins before the vanishing loss |
| R1 | ; ; |
| T5 | ; ; |
| T6 | ; ; eventually |
For R1, the linear forms are evaluated at its closure vertices: , , , . Thus and , and we apply (5.4). For , its primes lie below those of . Hence , , and
| (5.13) |
The source mass is . For R1, consists of the three largest primes of . For T5 or T6, is the largest prime. So each row counts each modulus at most once, including , although different rows may share moduli.
For a half-open source cell , put . Then , , and . The absolute remainder obeys the same multiplicity bound. Choose , then . By (5.3),
| (5.14) |
The strict endpoint costs . For , one may eventually take . By (5.7) and the formula for above,
| (5.15) |
For R1, . PNT and partial summation give . The convergence is uniform away from zero. Removing costs , and replacing by costs a relative . The domains are bounded Jordan polytopes. Since stays positive, the kernels converge uniformly. Thus
| (5.16) | ||||||
where and . The R1 contribution is in , and its raw comparator is .
5.3. Comparators, endpoints and finite losses
This subsection evaluates the comparators and collects the finite losses. Put , , and . Then
| (5.17) |
and the outer limits are , . For , the S2 replacement is
| (5.18) |
where integrates over R1. The cutoff in is . Thus R1 is replaced once by , with coefficient in (5.18).
For lower labels , put and
| (5.19) |
The half-open cells partition the source, with and . The region between them satisfies . Here ; the estimates hold for . The PF-side cost in is (Appendix A.4). The PF estimate and the full S2 row are proved in §3. At , forces , so such a point is absent from the permitted source. Parent-grid faces follow the half-open convention. For S5 and S6,
| (5.20) |
The disjoint domains are , , and . The first is treated directly, the other two by BV. A prime equal to , or divides , so permitted primes avoid these rational endpoints. The S5-top raw value is . Its row coefficient is , so its entry is
| (5.20a) |
before the level loss. It is obtained by dividing (5.15) times by ; see Appendix A.6. The sources are specified in Sections 2–4, and the errors are summed in Section 6.3. For finite , the denominator is . If , then
| (5.21) |
Let collect the adverse vanishing errors: sieve , (5.14), endpoints , and Euler/PNT conversion . By (5.21), it tends to zero uniformly. Its logarithmic part obeys in . By (5.21), (5.17), (A.13) and (A.14), the R1, S5-top and S6 contributions to are respectively , and , using row minima , and ; hence their sum is . We use for R1 and S6, and for S5-top, whose positive- increment is zero. For S6,
| (5.22) |
in units. S5 keeps its vanishing logarithmic loss. Appendix A.6 gives the outward enclosures.
5.4. A common complete-support convolution lemma
Both applications below need a mean-value estimate of Bombieri–Vinogradov type [16, 17] for a convolution with complete supports. The form used here is stated and proved in this subsection.
Lemma 5.1 (Bilinear mean value for complete supports).
Put , . Fix and assume and . The supports are and . For every , assume
| (5.23) |
uniformly in and the coefficient family, for and . Then, for every , there is such that
| (5.24) |
Here is as in (5.2). The constant depends on and the hypothesis constants.
Proof.
Put and . Orthogonality gives
| (5.25) |
Write , with primitive nonprincipal inducing . Since , the left side of (5.24) is at most
| (5.26) |
where , and is defined likewise. Split the conductors at . For , subtract the principal average on each reduced class. By (5.23),
Cauchy–Schwarz gives . Thus small conductors cost at most . For , use (5.8) and Cauchy–Schwarz:
| (5.27) |
There are conductor blocks, and . The divisor-weighted sum obeys . After division by , the bound is
| (5.28) |
Take , , . This proves (5.24) on the full supports. ∎
The next lemma verifies that hypothesis for primes in short intervals.
Lemma 5.2 (Prime interval coefficients).
Fix . Let and . If has length , then satisfies (5.23) with , uniformly in .
Proof.
Endpoint PNT gives
Fix . Put and . The target bound is then comparable to . For , use endpoint power-log Siegel–Walfisz. After removing the primes dividing , it gives
Take ; then the first term is . Also . Since , the bound is , uniformly in . For , positivity gives
The function eventually decreases. Since ,
Using and in the displayed bound above, we get
Here , and . Hence (5.23) holds with . ∎
In (5.26), one takes , , , using (5.23) for and (5.8) otherwise. The two applications use these parameters:
| Source | |||
|---|---|---|---|
| O1 | |||
| G4 |
The G4 partition has equal widths, including its last interval.
5.5. O1: signs, full convolution and mass
This subsection proves the upper bound for the switched excess. We use the finite source and the thirteen-row weight of §1. Put
| (5.29) |
Let count the permitted source pairs, , with their exact indicators from §4. Let denote the four bin counts defined below. Set . For squarefree , the pointwise identity is
| (5.29a) | ||||
For , all three negative source counts vanish:
| Row | Obstruction |
|---|---|
| S11 | Five factors ; . |
| S12 | One factor and four . |
| S13 | Three remaining factors would have product , contradicting . |
Thus . For , put , . Take such that . The following conditions guarantee pairs.
| Condition | Guaranteed count |
In each case the pair consists of the two smallest prime factors. Its upper pair constraint follows from . All remaining factors exceed the second prime. For G13, gives the square-root cutoff. Extra S13 pairs, including radial endpoints, carry a negative coefficient. Put
| (5.29b) |
Since , . Apply (4.9)–(4.12) on , and discard vectors with or . The remaining ten vectors for have , and so do the nineteen for . Hence their positive weight vanishes.
For the remaining cells put , , and
| (5.30) |
Here , so the lower clamp is inactive. For , the coordinate bins are , , , . A cell is specified by the following data:
| Counts | |
|---|---|
| Order | |
| Ranks | |
| Flat branch | , |
| Slope branch | , |
The last line uses infinite outer sentinels. Each nonempty cell is convex, and each of its inequalities involves at most two coordinates. Its weight is
| (5.31) |
Let be the set of cells with ; their weights are at most 36. They partition the ordered prime vectors, with the stated face conventions. Define
| (5.32) | ||||
The radial interval is exactly . Put , where selects permitted squarefree factorizations in . Squareful or non-coprime rough exceptions number . Each has at most eleven prime factors. So each one-prime row is at most 11, and each two-prime row is at most . Thus , and
| (5.33) |
Full-support majorant. Put , , and . Let be its exponent interval. A box is outer for if . Let count labelled prime factorizations with factor in . Put
| (5.34) |
Then . For , put
| (5.35) |
Thus . For fixed , , and each labelled factorization fixes one interval tuple. There are at most such factorizations, so
| (5.36) |
uniformly in . Every original cell constraint remains, and outer boxes satisfy , . For , split dyadically at ; then, eventually,
| (5.37) |
and there are blocks. Their norms satisfy , . The interval lemma gives (5.23) with . Use saving 6 and a single level , . Each block then costs , giving
| (5.38) |
Each cofactor has at least four rough prime factors, and the sieve divisors remain outside the convolution. All block scales are comparable to .
Sieve and mass. Sieve with multiplicity at , and put . For ,
| (5.39) |
Every has at most eleven prime factors, all . Put
For squarefree with prime , and . Hence
| (5.40) | ||||
Here eventually. By (5.42), the normalized cost is ; it is included in . By (5.33), source exceptions cost before normalization. Since , their normalized cost is . Primes in cost at most . Outer-box multiplicities remain nonnegative for nonpositive . Apply (5.4) to the finite multiset. Each box has mass
Uniform PNT approximates it by
with exponentially small relative error. The excess of the outer boxes lies within of the facets. Radial facets cost . Every other facet has at most two nonzero normal coordinates, and its normal is not parallel to . Each radial slice has excess , costing . Thus the total weighted excess is .
The slice mass is Lipschitz near 1. All coordinates exceed , so denominators and derivatives are bounded. Changing shifts each two-coordinate inequality by . If a constraint uses the eliminated coordinate, its gradient has at least identical nonzero entries. Thus the slice change is . Radial integration gives
| (5.41) |
Hence
| (5.42) |
Thus (5.40) is . For , and . By (5.7),
Equations (5.33), (5.38)–(5.42) and the sieve give
| (5.43) |
The errors are , , and , including the radial and box errors. Each is . Appendix A.6 encloses (5.32). The low- cells are handled by (4.9)–(4.12) and (5.29a)–(5.29b).
5.6. Weak G4: interval partition and injection
This subsection bounds the remaining balanced semiprimes. Fix with and . Put
For , this is the cutoff in (1.3). Count ordered prime pairs by
| (5.44) |
Unique factorization gives ; both orders and all coprimality types are included. For , put and
| (5.45) |
Partition into the intervals , with the last upper endpoint closed. Each relative width is comparable to , and there are intervals. For an interval with upper endpoint , take and
| (5.46) |
Then , with . For , . Its support lies in , a set of length . PNT or Brun–Titchmarsh gives . Thus
| (5.47) |
Write , and split into dyadic pieces . Here and . Thus is admissible. The norms are and . The interval lemma gives (5.23) for every exact interval. With in (5.24), each block costs , and their sum is . A single level works throughout, with . Together with (5.47),
| (5.48) |
For example, one may take , , . Apply this to
| (5.49) |
with the conditions , . A counted term satisfies , . Eventually,
A composite would satisfy , so is prime. The designated gives an injection into (5.44), with multiplicity one in all ordering and coprimality cases. The closed lower endpoint covers , and the square and endpoint conventions cost .
Sieve with multiplicity at , , . Primes cost at most . Put . For , is reduced and
| (5.50) |
Eventually both prime factors exceed , so the non-coprime term vanishes. For comparison, at one has , and . Thus (5.7) gives
Since is bounded and is fixed, the correction in (5.4) is
Hence the sieve factor has the same leading constant. The G4 bound below uses as above. By (5.48) and (5.4), the remainder is . Uniform PNT gives
| (5.51) |
Endpoints cost . PNT is applied to the inner count, then partial summation to the outer sum. Since , the integral is . Also . Hence
| (5.52) |
The injection gives , which proves weak G4. Sections 2–4 give G1 and the nineteen OL estimates.
5.7. One signed allocation
Theorem 4 and §6.3 give (1.21), with and .
For general , the pointwise bound and (5.52) give
| (5.54) |
Cancel the common positive factor . For , , , the criterion is then (1.22): . The raw bad-count coefficient is , that is, . Its limit is . The fixed- construction here uses (1.22). For fixed , put and . The same source argument works if
| (5.56) |
Then and . With kept fixed, require and the analytic threshold. The signed allocation is as follows.
| Term | Position and multiplicity |
| Full R1 comparator | One replacement in (5.18). Appendix A.4 includes the R1- comparison in S2. The extra allowance in (6.6) is conservative. |
| PF/BV selected cells | The PF-side loss of (5.19), once. |
| S5 BV top | One replacement on in the split row. |
| S6 level increment | of (5.22), once. |
| Finite BV errors | , including the logarithmic loss; . |
| AA37 perturbation | by (1.27), once in (6.6). Cutoff and selection costs are in (6.4). |
| O1 main term | , inside . Its enclosure enters once. |
| O1 errors | from (5.43): box, radial, exceptional, small-prime, non-coprime and BV. The non-coprime cost is ; finite-source exceptions cost . |
| Weak G4 | is subtracted once outside in (5.54). |
Sections 2–4 and 6.3 prove the source and profile bounds. Each fixed cost enters once, and direct low-prime removal costs after normalization.
6. Proof of Theorem 1
6.1. One signed assembly
Put , and . This scalar differs from the pointwise weight. The signed source is
| (6.1) |
Theorem 4 (Signed assembly).
Fix one actual construction with , , , , and . Assume four conditions.
-
(1)
The nineteen row chains and outer chains cover (6.1). They retain exact source maps, multiplicities, half-open domains, selectors and restrictions.
-
(2)
The source, AA37, comparator, detection, boundary, Class-I, Class-II, measure and profile estimates below hold. They retain actual domains, signed modulus sums and norms. Uniformity holds after the displayed family count.
-
(3)
Directed endpoints bound their specified profiles. S1, S2-T8/4 and G1 enter jointly, once each. The S1-3 prefactor comparison is separate from its dynamic cutoff.
-
(4)
Each fixed loss enters once under the paired tail convention. The AA37 perturbation fits . The explicit selector, cutoff and peel bounds remain. Parameters follow the order below.
There are finite signed terms and slacks with
| (6.2) |
Hence the fixed- threshold holds eventually when
| (6.3) |
Proof.
The signed row coefficient is included in . All quantities below are in D units.
| Stage | Quantity |
| Actual signed master source. | |
| Declared row source after its exact identity. | |
| Low/upper cuts, source tags, squarefree/coprime restoration. | |
| Exact selector, dynamic-cutoff and peel partition, with main-comparison error terms. | |
| Actual-level AA37 main term, fixed/asymptotic perturbations and remainder. | |
| Exact comparator decomposition. | |
| detection, proper powers and LOG freezing. | |
| Boundary, II, I-1 and I-2 partition. | |
| Continuum mass after prime-measure/Euler conversion. | |
| Sign-correct specified profile after domination. | |
| Directed endpoint with the paired tail convention. |
Finite telescoping yields
| (6.4) |
For S2 we use (3.3)–(3.4):
Here is evaluated at inherited labels, and differs from . S10 Ret/Drop, S5 low/top and S4/S7 A/B retain their half-open endpoints. The modulus masks are , and . They give, before the signed row coefficient,
| (6.4a) |
The first two masks split disjointly, and the third gives . NC uses the remaining squarefree moduli. A failure of both conditions belongs to the tail.
For , put and . Then
| (6.4d) |
Signed differences are kept and favourable slacks are discarded. Each tuple is assigned to its first failed condition. The low direct primes, the upper G1 cut, the excluded factors and the squarefree/coprime restoration are removed. The source is then retained. The unique D1 Lemma 2.1 and the G1 cut-measure comparison prove these changes.
A box meeting a source face is a boundary box. Otherwise the largest eligible lower-endpoint exponent is chosen for II. Ties are broken by the fixed variable index, and then I-1 and I-2 are used. The DIRECT preparation lemmas verify (SH1)–(SH5) [Z1, §3.11, (3.98)–(3.101)]. Every G1 coordinate exceeds , and its two Class-I families are empty by the product-source proof. The tables bound every adverse difference, and the fixed-parameter argument gives . This proves (6.2). ∎
6.2. Sources, local inputs and directed endpoints
The map fixes each sign and domain. Positive terms use lower endpoints, and negative terms use upper endpoints.
| Contribution | Source and endpoint direction |
| (2.19): coefficients , orbits ; one joint from (A.4). | |
| Four terms; , , in (3.4). Whole- uses II; strict complement uses BV-R1. One lower from (A.7). | |
| Absolute single-prefix profiles with level reduced by . | |
| A/B partitions within each row; upper endpoints. | |
| S5-low on and disjoint BV-top; upper endpoints. | |
| Separate BV-S6 upper estimate. | |
| Ret Drop, with its directed lower estimate. | |
| G1 chain (4.18), separate cutoff peel; source weights occur inside . Child signs give upper/lower/upper/lower profiles; one joint . | |
| O1 (1.9), (1.12), upper . |
The master coefficients are .
D1/G1 replace the sources before Buchstab/HB, with their signed corrections. DIRECT uses Lemmas 2.2 and 2.1. G1 uses (4.14), the monotonicity and its cut-measure comparison. Sections 2–4 verify the actual source and local hypotheses of [Z1, Theorem 3.2, (3.13)] and the packing of [Z1, Theorem 4.1]. The complete-weight prime-source theorem has a different coefficient family. For AA37 we apply [Z1, Theorem 2.6, (2.30)–(2.33b)] with
Section 1 supplies the density and sieve mass. Sections 2–4 supply the levels and cutoffs. The three terms of this theorem are , and . Outer contributions and adverse source differences complete (6.1).
The nineteen applications are indexed by , that is, by row, parent-prefix cell and signed remainder. The remainder is taken before the exterior coefficient . It includes the source coefficient and the AA37 sign once, and it excludes the orbit . For G1, , with for upper remainders and for lower remainders. The quantities are formed before this sign. Put . By [Z1, (2.32)–(2.33)], (3.8) and (4.22)–(4.26),
| (6.4b) |
This identity is finite at fixed . Here by (2.17c) and (4.21), with the AA37 remainder convention of [Z1, (2.32)–(2.33)]. For S2 we use the per-block terms underlying (3.8). The DIRECT comparator differences vanish, while G1 keeps their bounds. HB is applied to the first term. Its Class-II factor is
| (6.4c) |
Here comes from the HB/log/box expansion of the same source. Division by leaves this factor once. The other terms enter the boundary, proper-power, LOG, I-1 or I-2 classes. Each block keeps its tested measure, grid, coefficients, cutoff and normalization.
The hypotheses are checked as follows.
| Input | Actual-source check |
| C1–C5, LEN | H1–H5 of [Z1, Theorem 3.2]; Sections 2–4 check coefficients, packing, shift, norms and scales. , , , , . Direct preparation gives tested measure and integer intervals; G1-LOCAL uses the plain cut measure, fixed majorant and doubled support. |
| H6 | Source-wide freezing and boundary bounds, separately; Section 4.4 includes proper powers. |
| H7 | Both direct families have exponent ; G1 has envelope . The finite sum preserves it, including representation multiplicities [Z1, (3.91)]. |
| Sources and masks | Sections 2.1–2.5, 3.1–3.2, 4.1–4.2; D1/G1 replacement; (6.4a)–(6.4b). |
| Profiles and cutoffs | Sections 3.5, 4.6; (2.22), (2.38)–(2.40), (3.21), (4.45)–(4.57). Squarefree/II: (4.64)–(4.65), (4.68)–(4.69). BV: Sections 3.5, 5.2–5.5. |
| Joint endpoints | Appendix A and the next two comparisons; signs from (6.1). |
| Fixed losses | (1.26)–(1.29), (6.6), parameter order below. |
The repeated-prime bound is , proved in (B.1)–(B.7). Thus the four assembly hypotheses hold for these families.
For G1 set
Here sums the four exact row lower endpoints. We insert from (4.84) in and in , once each. Their difference is in (4.85). The signed allocation underlying the row endpoints is (A.9). The row bounds prove (6.4d). S1 and S2 enter only through their joint endpoints. Sections 3.1–3.5 assign all four S2 terms, the three pieces, the selector and the tail.
The S1-3 coefficient is in (2.19). Its single replacement is (2.20). The single comparison with is (2.21)–(2.22). Thus occurs once, at , with adverse value . Its cutoff cost lies inside , and S2-3 has its own . The correction changes S1-1 from to instead.
6.3. The complete error sum
Every entry below is a nonnegative bound in D units or a proved zero. The finite logarithmic exponents are chosen after the earlier constants. They may differ by row.
| contribution | Scope and exact error term | Bound |
|---|---|---|
| Source identities | The 19 signed identities, (6.4b) | |
| Source restoration | Squarefree and restoration on 15 direct sources, before AA37 | |
| Direct lower cut | Original tail, counted before boxes | |
| Switched upper cut | Actual strip | |
| Source endpoint | The original source face | ; straddling boxes belong to boundary |
| Exceptional source factors | Direct or switched tagged factor dividing , at first removal | |
| S2 selector | Extra selected cells and dynamic comparison | |
| S10 selector | Dropped whole cells | |
| S1 dynamic cutoff | S1-3 cutoff and dynamic comparisons; prefactor excluded | |
| G1 cutoff peel | G1-3 four-prefix peel, never HB-expanded | |
| G1 profile boundary | Matched-profile modulus-label strips; peel separate | adverse |
| S5-top plus an extra allowance ; this allowance is not the corner bound: already includes the R1 corner at | , once | |
| Joint-versus-row G1 comparison above | , once | |
| Replaces the four selector/cutoff/peel bounds above | , once | |
| Fixed sieve perturbation | Integrated absolute AA37 error on all rows | , once |
| Asymptotic sieve perturbation | Remaining AA37 perturbation | ; rate unspecified |
| Squareful tail, repeated prefix, allowed rough repetition | Disjoint masks of (6.4a): first forbidden tail equality; first prefix repetition after allowed tail; retained rough repetition. Tests: , , . | Theorem 5: separately and together. Third term on DIRECT. |
| Squarefree normalization | Retained squarefree full moduli only | Direct on the operative tested-prime source; G1 |
| Comparator density | for every ; discrepancy in the preceding two rows | additional |
| Direct prime powers | Tested-side proper prime powers | |
| Switched prime powers | At most four tested coordinates, each at least | |
| Logarithm freezing | Exact -freezing difference over all disjoint boxes | G1 ; direct |
| Logarithmic identity | Freezing is selected; Laplace truncation is unused | |
| Switched boundary | All four switched rows, one grouped contribution | |
| Direct boundary | All 15 direct rows, one grouped contribution | |
| Class I-1, Class I-2 | First-failure direct classes; count before choosing | |
| Class II | All actual blocks with absolute exterior coefficients | Both terms of (6.5), once |
| Prime-measure and Euler-product conversion | PNT, Li, radial/product prime measure, sieve product and large factors | each; §3.5, §4.6 (4.76)–(4.78), direct-BV terms in §5. O1 (5.33)–(5.43) enters . |
| Profile comparison | Signed domination of the specified profile at the actual level | adverse by the row comparisons in §§ 2–4; favourable slack discarded |
| S1-3 prefactor, (2.20)–(2.21), at ; dynamic cutoff excluded | adverse, once | |
| S1-1 correction; the S2 correction is already inside its joint endpoint | One error | |
| S2 infinite tail | Joint S2 A=1 tail beyond the finite prefix | One error , already included when is used |
| Directed enclosure | Directed numerical enclosure of the specified profile | additional |
| R1 BV remainder, S5 BV remainder, S6 BV remainder | Three actual BV/sieve bridge errors | , including , and the recorded measure conversion |
| S6 level increment | Selected S6 increment over the nominal S6 baseline | One error |
| Switched-excess error | Full O1 (5.33)–(5.43): source exceptions, outer boxes, prime/radial mass, noncoprime correction, small primes, sieve error, level/Euler conversion and product BV | , once; product BV costs . |
We take , the coordinate measure and of (5.30)–(5.32). Set and put
Then , and gives the sole main term . For fixed geometry and BV exponents, (5.43) gives
Here are the prime-box PNT/Euler errors of Section 5.5. The radial and outer-box masses contribute . By (5.40),
Since and , its contribution is . It enters once. The envelope covers (5.33) and (5.40), including source exceptions, and covers the endpoint. The direct-BV conversions and the outer errors below are kept separate.
For Class II put and . By [Z1, Theorem 3.2, (3.13)],
We sum the exterior coefficients , use and divide by :
| (6.5) |
Here absorbs the fixed factor from . Both terms are kept. The cited proof contains GR, colouring, cross-copy coprimality, CRT, zero mode, moments, Poisson, W-prime norm, Theorem T and endpoints [Z1, Theorem 3.2, §§3.5–3.9]. The actual-source H7 sum includes them once [Z1, §3.10, (3.91)–(3.92)]. The outer errors are for rough exceptions, for squares/source factors dividing , and for G4. They enter (6.9) once, separately from O1.
6.4. Selected endpoints and persistent costs
We use the adverse endpoints of Appendix A.2–A.6. Terminating decimals are rational.
| Input | Certified value or enclosure | Use |
|---|---|---|
| S7 at : canonical raw value in ; use the upper endpoint. | ||
| S1 in D units: , the lower endpoint of the S1 ball in Appendix A.2. | ||
| Selected S2 endpoint: . | ||
| Independent S2 enclosure: . | ||
| S2 refinement: PF , corner , tail . The sum differs from the endpoint improvement by less than . | ||
| Switched integral | . | |
| Signed reference sum | . | |
| Persistent errors | ; decomposition (6.6). | |
The two lower endpoints used above are
The printed reference sum is the following thirteen-term sum of the adverse endpoints in Appendix A:
Here is the lower endpoint of the S1 ball in Appendix A.2, and is the selected S2 lower endpoint printed above. The four endpoints and four endpoints are the adverse directed rational endpoints printed in (A.7), (A.10), and Appendices A.2–A.6. The upper endpoints for the two remaining integrals are
They come from (A.14) and (A.13), respectively. The switched-integral endpoint is . Every summand is a printed rational endpoint; the sum uses no unrounded analytic integral value. Exact rational addition gives . We take the smaller rational . Thus is obtained from the printed endpoint data.
We use the net-tail value of (A.7). Put ; this tail is already inside . The persistent sum is
| (6.6) |
The order is the S6 increment, , , the G1 reconciliation, , . By (1.27), . The exact BV decomposition is
Here is optional and conservative. For comparison, Appendix A.6 bounds the hypothetical S5-top increment at ; the selected S5-top uses zero shift. The selected S2 corner already uses and its increment by (3.19) and (3.22). The extra is conservative. Both terms enter (6.6) once.
The four selector/cutoff/peel bounds sum to
The deliberately looser bound also covers this sum. The allowance enters (6.6) once. The independent S2 enclosure includes every tail:
| (6.6a) |
Its lower bound improves by about . The input table gives the three improvements and the rounding error. Sections 3.1–3.5 and 6.2 prove the actual-source arithmetic, non-II, cutoff, AA37 and joint comparisons.
The equivalent pre-tail convention transfers only :
| (6.6b) | ||||
Thus exactly. Here
The net value is smaller by , and all other endpoints and error terms agree. We use the net pair and subtract each error term once. Then
The strong outward margin exceeds D. We retain the smaller safety margin . This spends an extra in the final vanishing-error threshold; it is a reserve and is not charged a second time in (6.6). The computation uses the full-precision (A.7), and the single G1 correction. The displayed endpoint sum is ; its excess over the conservative base is . Shorter intervals are outward summaries. By (6.2) and (6.4b),
| (6.3a) |
6.5. Fixed parameters, then the limit
First fix the source geometry and the classical constants. Theorem 6 gives , uniformly in tail-label counts. The constant is absolute [Z1, Theorem 2.6, (2.31)]. Choose
Since and AA37 has depth [Z1, Theorem 2.6], the omitted restrictions and are automatic. When , only is required. Then fixes the labels, factorial bounds and positive power savings. Appendix A holds for and .
By (4.20), with ,
Fix , and then
| (6.7) |
The G1 boundary exponent is . The condition gives decay, and the choice gives . The three slot-shell sums cost at most three logarithms, which leaves . After counting the full Class-I family, we take . Choose the exceptional-cutoff and moment precisions by (4.67), including , so that all bounds in (1.29) hold. The SW/BFI precisions are chosen next. The width makes the source-wide boundary and freezing errors vanish. The selected local precision gives the Class-II logarithmic term . The resulting rates are
| Error | G1 | DIRECT |
|---|---|---|
| Boundary | ||
| Logarithm |
The upper G1 cut is ; Class I is ; the logarithmic term of (6.5) is . For fixed and finite ,
Theorems 5 and 6, with (6.5), give vanishing row errors. The PNT/Mertens, BV/sieve and asymptotic AA37 errors are . The finite identities and the complete error table cover the sum. Finally choose . The choice includes all local theorem thresholds and requires and . The endpoint slack conditions are
The last is the short-interval threshold (4.32a). We also impose the GR roughness condition and all fixed short-interval moment and Brun–Bonferroni thresholds. The choice also includes (1.14) and the final slack in (1.23). These are eventual conditions at fixed positive . For fixed , , and real , the quantity is at most when
This follows from . It shows directly that the power errors in (1.30) are bounded by the last threshold choice.
For we also require
The weaker allowance is . The last threshold choice may be ineffective.
6.6. From positive weight to a representation
The results of Sections 3–5 hold for each fixed . Choose , and
The exact threshold satisfies
We fix before the limit. By the definition of in (1.9), (6.1) gives . Theorem 4, (6.2) and (6.3a) give
| (6.8) |
The pointwise sieve inequality subtracts the rough exceptional-set error. Then the count is at least . The fixed- G4 bound costs . Since , , and , the integer count is eventually positive.
For a surviving semiprime , with distinct primes and , one has and
Thus for . For a prime survivor, . The positive integer count gives (1.1) in the quantitative form
| (6.9) |
This proves Theorem 1.
Appendix A Numerical certificates
The source comparisons hold by Sections 2–5. Section 6 uses each selected inequality once, with the signs of (6.1). The tables give full rational certificates and independent checks. Their directed interval calculations use Arb’s midpoint-radius arithmetic [23]; rational endpoint checks are given explicitly.
A.1. Exact interval and normalization conventions
Each terminating decimal is an exact rational, and each endpoint includes its displayed radius. The extra digits fix the direction of each bound. Set
| (A.1) |
Shorter intervals are rounded outward. The numerical-certificate supplement archive paper-ii-public-certificates-v11.tar.gz has SHA-256 cb9d7b96ce1323c9118d845f4dd701a0d830e8c610090deec88bd8792648e100. Each printed file SHA-256 is the digest of that file in the archive. An endpoint certificate bounds its endpoint, and a functional enclosure bounds the integral. Paths are relative to the extracted numerical-certificate supplement.
The common parameters are
| (A.2) | ||||
The parameter-family certificates require and . They apply to the same source and scalar profile. In Section 4 the G1 source width is .
The two numerical outputs and their component manifests are:
|
endpoint-recert/ |
| SHA-256: cff4d6dc0168e66a29a915473c3391c383c168fb81ac71ecec87e90016331bf8 |
| Manifest SHA-256: 8760a5a78fff44ca739cd12660d3a86765dd2f3d6872eae111d933f354f54730 |
|
s2-joint/ |
| SHA-256: 21083883403f3903fff3ce781e086a26f931dd809e445578cfcba546295e9e5d |
| Manifest SHA-256: d26488e736e5798544e758338acb299d417b74a309568f5ce20f738e399cf96d |
Certificate paths are relative to the supplement root.
The root SHA256SUMS lists each retained filename and digest,
including the selected S2 components.
The true profiles are computed by endpoint-recert/
Throughout, , with as in § 1. The signed master coefficients, in the order , are
| (A.3) |
Thus S1 contributes and S3 contributes . The multiplier is for S4/S5/S6/S7 and for S8/S9/S10. The joint S2 and G1 values are already in D units. The G1 source multiplicities sit inside its source weight, so they add no DIRECT-row coefficients. The switched term contributes . Up to its stated vanishing error, this is bounded below by .
Each selected endpoint has an independent check, and each row and joint contribution enters once.
A.2. S1: joint enclosure
For the joint profile in Section 2,
| (A.4) |
It covers S1-0 through S1-3 and includes the first subtraction. The subtraction uses and . The integral of Section 2.3 satisfies
Both bounds refer to the joint profile of Section 2.3.
The selected enclosure is computed by
s1-tail/
| (A.5) |
since the ratio of consecutive summands is at most . The endpoint (A.4) is used.
| Exact outer intervals containing the computed bounds |
| S1 lower bound |
| S1 upper bound |
| D lower bound from S1 |
| Infinite-tail majorant |
| Prefix deficit |
The prefix deficit is subtracted before computing the lower endpoints in (A.4). Thus (A.4) includes the deficit once. The source-to-profile comparison is in § 2.3.
The independent calculation is endpoint-recert/
| (A.5a) |
The computed lower-bound ball is
and its multiple is
These bounds imply (A.4) and its tail estimate. They also give . The selected endpoint is (A.4).
A.3. The seven separate profile endpoints
The seven directed endpoints below come from three certificate groups. Option-A gives the absolute S3-A/S8-A/S9-A values. Direct-row gives S4, S5-low and S7, and Retained-row gives S10-Ret. Each endpoint has an independent comparison. For S4, S5-low, S7 and S10 the final sum uses the adverse endpoint of the first printed interval; the following ball is an independent check. For the three Option-A rows it uses the displayed ball endpoint in the adverse direction. S7 is taken at . S10 uses the source-trimmed upper inner boundary.
| Row; coefficient giving its D contribution; certificate group. |
| Raw-profile outer interval; next line: independent endpoint comparison. |
| S3-A (Option A) Option-A |
| Upper endpoint verified in the archived comparison record |
| S4 Direct-row |
| S5-low Direct-row, direct cells |
| S7 Direct-row, |
| S8-A (Option A) Option-A |
| Lower endpoint verified in the archived comparison record |
| S9-A (Option A) Option-A |
| Lower endpoint verified in the archived comparison record |
| S10-Ret Retained-row |
| Direct-row |
|
Source code and SHA-256: row-enclosures/ |
|
Output and SHA-256: row-enclosures/ |
| Option-A |
|
Source code and SHA-256: option-a/ |
|
Output and SHA-256: option-a/ |
| Retained-row |
|
Source code and SHA-256: s10/ |
|
Output and SHA-256: s10/ |
Direct-row uses 192-bit Arb with .
S5-low sums two direct cells on , with outward rounding.
The BV-top cell is disjoint from them. The independent
calculation
endpoint-recert/
The independent S10 retained-strip bound is in D units. It lies within the single separate bound.
The absolute Option-A rows use one source, with the subtraction at . These rows give the three selected absolute endpoints.
The independent comparison gives
and the matched change is
| (A.6) |
Equation (A.6) is a comparison value only. The signed sum uses the three absolute endpoints.
A.4. S2: one four-row endpoint
Let , and be directed endpoints. They bound the prefix below, PF above and the BV corner below. On , set
An outward evaluation gives
The endpoints in (A.7) are
Use four times the printed interval for below to bound . Define by
| (A.7) |
The directed assembly gives
| (A.8) |
Let be the printed endpoints for below, and let be the endpoints above. Exact rational interval arithmetic in (A.7) gives
This is the selected joint lower value in D units. It covers S2-0 through S2-3(K/PF) and includes the tail once. The term is separate, and so are AA37 and the other finite- errors. The grid is the global one, . The selector and PR costs satisfy
The BV corner is from (5.18). IBV is
the R1 kernel (5.17) at in § 5.3. The independent
nested Arb source is s2-joint/
The output is s2-joint/
Corner increment bound.
R1 is the tetrahedron . Its vertices are , , , and , where and . On R1, and . In D units,
For , . Its exact rational value is the absolute determinant of three edge vectors at a vertex divided by . This bounds the actual R1 increment, which is already included in . The extra allowance in Section 6 is a separate conservative subtraction; it is not used as a bound for this increment.
| Exact outward enclosures |
| Prefix, n=600 |
|
Source code SHA-256: s2-selected/ |
|
Output SHA-256: s2-selected/ |
| PF outer, n=1536 |
|
Source code SHA-256: s2-selected/ |
|
Output SHA-256: s2-selected/ |
| BV corner, n=2800 |
|
Source code SHA-256: s2-selected/ |
|
Output SHA-256: s2-selected/ |
| Tail above 12, in D |
|
Source code SHA-256: s2-selected/ |
|
Output SHA-256: s2-selected/ |
| Rowwise prefix-repair allowance, in D |
| Justification: |
| The preceding tail majorant, within the single allowance |
| Joint lower-value assembly |
| Outward enclosure assembled from the printed inputs in (A.7): |
|
Full-precision assembler source SHA-256: s2-selected/ |
|
Output SHA-256: s2-selected/ |
| This output uses the retained full-precision prefix endpoint, not the shortened in (A.7); the printed-input enclosure above is evaluated directly from (A.7). |
Independent quadrature.
The calculation recorded in
s2-joint/
| (A.8a) | ||||
Interval (A.8a) covers the continuous functional and the infinite tail. The selected uses coarser adverse quadrature endpoints and also includes the allowance. The three improvements are
| tail allowance |
Here and are the printed upper PF endpoints. Similarly, and are the printed lower corner endpoints. For the new ball we take its outward lower endpoint. Because of endpoint display rounding, the sum differs from by less than . The difference exceeds , so the continuous lower endpoint exceeds . The independent prefix-only assembly gives . The coarser joint prefix-and-tail bound is . The rowwise repair allowance in (A.7) covers its own tail-majorant correction and is already inside the single allowance used in . These independent deficits are not added again. Section 6 bounds the finite- corrections, including the selector and AA37 terms. The selected value is (A.8).
The component sources are:
| True F/f, 320-bit Arb Taylor models |
|
Source code SHA-256: s2-joint/ |
|
Output SHA-256/result: s2-joint/ |
| PF directed quadrature, 24,000,005 leaves |
|
Source code SHA-256: s2-joint/ |
| Output SHA-256/result: ; four shard output hashes below |
| BV corner, rigorous nested Arb integration |
|
Source code SHA-256: s2-joint/ |
|
Output SHA-256/result: s2-joint/ |
| Joint directed assembly, including prefix deficit and full tail |
|
Source code SHA-256: s2-joint/ |
|
Output SHA-256/result: s2-joint/ |
All paths in this table are relative to the supplement root.
The hashes for s2-joint/
The independent assembly gives . It also bounds the no-growth tail after , and checks the classical A=1 tail argument. Its PF and corner enclosures are independent of the primary quadrature; the prefix term and full volume are shared inputs. That section proves the source comparison and the Class-II bounds. It also bounds the selector, the AA37/G2 terms and the other errors. The joint four-row endpoint enters once.
A.5. G1: signed allocation and radial multiplier
For the exact allocation in § 4,
| (A.9) |
Here is a pure profile target. The corresponding arithmetic
contribution is ; its lower comparison, including the
fixed and vanishing errors, is (4.85). The allocation identity (A.9)
does not assert equality with that arithmetic contribution.
The multiplicities enter once. The source code is
g1-endpoints/
| Exact rational outward intervals |
| , including four-prime correction |
| Joint , in D |
These intervals certify G1-0 through G1-3. All four targets are in D units. The exact row endpoints below use the narrower exported dyadic and intervals from the retained source.
| G1-0 K endpoint for lower bound: upper |
| Exact lower endpoint: |
| Exact upper endpoint: |
| G1-1 K endpoint for lower bound: lower |
| Exact lower endpoint: |
| Exact upper endpoint: |
| G1-2 K endpoint for lower bound: upper |
| Exact lower endpoint: |
| Exact upper endpoint: |
| G1-3 K endpoint for lower bound: lower |
| Exact lower endpoint: |
| Exact upper endpoint: |
The exact joint reference value is given below.
| (A.10) |
Let be the sum of the four exact row lower endpoints in the table. The exact difference is
Put
The printed decimal intervals are rounded outward separately from the narrower source intervals used for the exact row certificates. For an exact check of the endpoint arithmetic, enclose by
This rational enclosure comes from the Arb constant evaluation of the retained source, at 256-bit precision. We multiply its lower endpoint by , and its upper endpoint by . Exact rational multiplication and outward rounding to then give the displayed interval. Its upper endpoint exceeds the upper product by less than . The joint interval also contains the displayed interval product. Put from (A.10d). Exact multiplication gives
Thus . The exact difference also gives . The rational row endpoints keep their independent, sharper certificates. The selected endpoint is the joint one, . Section 6 includes once, and its error sum includes once. The four row values certify this comparison. The final sum uses this joint lower endpoint. The primitive (A.10c) is an earlier alternative. No completed validated complex quadrature check of its analytic neighborhoods and branches is used for the selected endpoint.
A separate implementation computes the four-prime correction in two ways
and checks the same directions. Its source endpoint-recert/
| (A.10a) |
The residual-profile -effect is at most . The selected residual slack absorbs it. The comparisons give all four T allocations and lower targets, with signs . The directions are , with the weights entering once. Section 4 proves the source application for and its error bounds.
The 4096-cell upper-corner calculation.
This paragraph gives the 4096-cell trapezoidal calculation of used in (4.79). The residual enclosure (A.10a) comes from the separate Taylor-model source and output identified above. The true delay functions are
and thereafter , . On open integer intervals, their second derivatives are bounded by 12. The quadrature uses trapezoidal panels of width aligned at integers, with integral remainder at most . Arb carries all propagated radii, and outward rational rounding uses the lattice. Monotonicity encloses . Beyond 30, its tail is bounded by ; no constant table extrapolation is used.
For fixed rational , the range is split at each kink, activation switch and pairwise affine crossing in (4.70). On each segment , and
| (A.10b) |
The constant-argument case is direct. Each segment integral lies between 0 and . The residual is nonincreasing in . Its affine derivatives are negative, and the active sets are down-sets. Hence the inner integral is nondecreasing in both outer variables. The outer integration uses , outward-enclosed logarithmic cells, and upper and lower corner sums. Diagonal triangles have half the squared cell width. On a grid of 4096 cells, the outward-rounded sums are accumulated as exact integers. This proves the directed enclosure (4.79).
For an independent evaluation of the four-prime correction, put . A primitive of is
| (A.10c) | ||||
The formula is checked by differentiation. The analytic neighborhoods and the real branches would require a validated complex-quadrature check before this primitive could serve as an endpoint certificate. Nested integration of the original double integral gives an independent enclosure. At 200-bit precision, the signed enclosures are:
| Abbreviated centre: |
| Width less than: |
| Abbreviated centre: |
| Width less than: |
| Abbreviated centre: |
| Width less than: |
| Abbreviated centre: |
| Width less than: |
These centres are not directed endpoints. The source-derived widths above refer to the narrower retained intervals. For the printed decimal integral intervals, the exact outward upper endpoint is
| (A.10d) |
| G1-0 |
| Abbreviated centre: |
| direction: upper |
| G1-1 |
| Abbreviated centre: |
| direction: lower |
| G1-2 |
| Abbreviated centre: |
| direction: upper |
| G1-3 |
| Abbreviated centre: |
| direction: lower |
The narrower source-derived two-sided joint width is below . The exact gap is the fraction displayed after (A.10).
A.6. Switched mass, BV endpoints and finite threshold
Write as in (5.32), equivalently (1.12), with the parameters and cell weight (5.30)–(5.31). The measure is the coordinate measure , where . It carries no factorial or Euclidean surface-measure factor. Then
| (A.11) |
Both implementations cover every positive-weight stratum , and the coverage is exact rational. Their upper endpoints lie in
| (A.12) |
The selected source is
switched-mass/
For the S6 BV row, put
Exact logarithms and independent Arb arithmetic give the enclosures.
| (A.13) |
Here , so the nominal D contribution is .
The increment in (A.13) enters once at level of
§ 5. The source
row-enclosures/
S5 BV-top normalization.
The moved-cell value is enclosed by
| (A.14) |
This raw row is , with master coefficient by (5.15)–(5.20a). Its D contribution is , with exact interval
| (A.14a) |
which is about D. Section 5 proves the normalization. S5-low uses its direct-cell endpoint, and S5 BV-top uses the moved-cell exact-log value (A.14). Their supports are disjoint at , and each contribution enters once.
For comparison, if S5-top used , its negative coefficient would require an upper bound for . Since and ,
Thus , with in D units. Section 6 subtracts this error once. The separate conservative BV allowance is . The R1 increment itself is already inside the selected S2 endpoint. Equations (A.14)–(A.14a) give the nominal value.
For an independent exact-rational S5-top certificate, the logarithmic ratio in (5.20) is , so . Define
Then by the positive atanh series. Exact rational comparisons give and
This proves the directed normalization. The printed rational series is the certificate. Section 6.3 proves its source application and arithmetic error bounds.
The finite-epsilon target is
| (A.15) | ||||
It is proved by exact rational arithmetic. For , set
Then , and exact rational comparisons give (A.15). This series and its tail bound certify (A.15), and its upper endpoint enters the final strict comparison.
A.7. Selected numerical endpoints
The table below lists the selected values. The full endpoints and proofs are in A.2–A.6.
| Contribution | Selected value and direction |
| S1 | Joint lower endpoint (A.4), with multiplier |
| S2 | Joint lower value (A.8), including the tail |
| S3/S8/S9 | Absolute Option-A endpoints; signs |
| S4/S5-low/S7 | Direct-row upper endpoints; multiplier |
| S10-Ret | Retained-row lower endpoint; multiplier |
| G1 | , once |
| S5-top | Raw-to-D factor ; separate error |
| S6 | Nominal value and increment (A.13) |
| Switched term | by (A.11) |
| Threshold | Upper endpoint (A.15) |
Sections 2–5 prove the source applications, and Section 6.3 combines the terms with the signs of (6.1).
Appendix B Auxiliary estimates
B.1. Repeated-prime terms
This subsection shows that terms with a repeated large prime are negligible. Fix and put
Only the normalization of (4.2) is used. The signed sum is that of Theorem 4 and Section 6.3.
Blocks, masks and signs
A block fixes a row, a literal parent prefix cell and, if present, its whole-cell selector. It also fixes an AA37 sign , and finally or . The labelled prefix intervals are clipped sets . Put , where , and . Let count all labelled rough positions, prefix and tail together. Put and write for the unrestricted coefficient. The nineteen rows and their coefficients are
There are fifteen DIRECT rows and four G1 rows (§§ 2–3, § 4.2). On DIRECT rows, includes the O1 coefficient and the Buchstab sign. The G1 weights are part of in (4.16).
The masks are those of C1 on DIRECT rows and (4.22)–(4.23) on G1. Define
| (B.1) | ||||
The full sum runs over and every labelled prime tuple. Call active if some realization has . Otherwise both coefficients vanish, including for empty intervals. On DIRECT rows, , because is a disjoint decomposition. For S1-2, S1-3, S2-2, S2-3, S8-A, G1-2 and G1-3, orbit invariance gives . For the other rows the same identity holds, since . Thus in every row.
Define by (4.21). By C1 and (4.23), (4.26),
| (B.2) |
Here is the AA37 remainder sign. Both terms use the original tested measure, before HB expansion. The first contains the forbidden-tail and forbidden-prefix parts, the second the allowed repeats. Only the C1 -term (Class II) uses HB expansion, dyadic shells, short boxes and of (4.66). The terms and are treated separately in (4.65). Both vanish on DIRECT rows.
Coefficient and test bounds
The first lemma records the support, roughness and finiteness facts used below.
Lemma B.1. For sufficiently large , depending on :
-
(1)
Every nonzero-weight full realization has and .
-
(2)
, and every labelled rough coordinate is at least .
-
(3)
On active blocks, . Hence , the constant of (4.25).
-
(4)
Each row has finitely many blocks , independently of .
Proof. The final cubic constraint and decreasing labels give . For a single coordinate, use ; the empty product is . Let be the sum of prefix lower exponents. The literal intervals and give
Here ; use (4.20) for G1. This covers before both masks, with empty tail. All primes lie in , and , so .
Next, . Tail intervals start at . Prefix coordinates satisfy by § 2 and (4.20). For any active block, choose a nonzero-weight realization. Then , so . The argument does not use .
Each prefix coordinate has at most grid labels on . The endpoints split any such grid interval into at most twelve literal pieces. Clipping can only reduce this count. Set . There are at most three coordinates and two signs. Tail vectors number , besides . Thus one explicit bound is
with allowed in this upper bound.
Put . Set on active blocks, and otherwise. The next lemma shows that both coefficients are supported on integers divisible by the square of a large prime.
Lemma B.2. For every block and integer ,
| (B.3) |
Proof. Inactive blocks contribute nothing. Write at the cutoff . The support and roughness force uniquely. The multiset fills the positions in at most ways. The two masks in (B.1) are disjoint indicators, so gives
A forbidden tuple has . For an allowed nonsquarefree tuple, is squarefree and coprime to . Thus in either case for some . Each multiplicity enters once, through , and no graph factor occurs.
The tail argument is [Z1, Lemma 4.8], with prime-source cost [Z1, Appendix B, (B.5)–(B.6)]. Lemma B.2 also covers arbitrary Goldbach prefixes and G1 masks. The next bounds use their actual tested measures; for the test functions a trivial bound suffices.
Lemma B.3. Put . For every row and ,
| (B.4) |
The second discrepancy vanishes on DIRECT rows.
Proof. The tested measures are supported in , since on DIRECT rows and on G1. For G1, the tested variable is the product ; the condition forces , while retains that coprimality restriction. By (4.6), and . Thus and . Use and . For the distinct primes of ,
On DIRECT rows, is prime, hence .
The exceptional set of integers with a repeated large prime is sparse.
Lemma B.4. For ,
| (B.5) |
Proof. Write and overcount over . The harmonic sum is then at most . The count is at most . For , this last sum is .
For either test function, (B.4)–(B.5) give
| (B.6) |
Here and , equivalently . These lemmas combine into the main estimate of this subsection.
Theorem 5 (Repeated-prime estimate).
Fix and put over the nineteen rows. For sufficiently large even ,
| (B.7) | ||||
This bounds , separately and jointly for the three parts in (B.2). Their size is , and also for fixed . The allowed-repeat part vanishes on DIRECT rows.
Proof. Disjointness in (B.3) bounds the combined integrand by . By (B.6), each block contributes at most . Also
Here , since
The finite product is compared in rational arithmetic. For the tail, and . The weighted block count is . Finally use and .
Fix , hence , and take last (§ 1.6). Then . Above the saving is , and the proof gives . Prefix multiplicities enter Lemma B.2, while row counts enter only .
B.2. Sieve remainder mass
This subsection proves (1.26), with the normalization (1.27). The AA37 input is [Z1, Theorem 2.6, (2.30)–(2.33b)], taken from [11, Theorem 4] with . For a finite nonnegative sequence, write , with . The density is multiplicative and nonnegative on prime powers. We require , and . The product and prime-power hypotheses are [Z1, (2.24), (2.27)], for . Substitute
The supports in [Z1, (2.32)–(2.33)], including , are
Positions with equal labels are distinct, and the nonincreasing labels obey [Z1, (2.29)]. Thus and . Also , independently of . The upper and lower ranges are and . By [Z1, (2.31)],
with absolute .
For a source block , take and on permitted primes (§ 4.3, after (4.21)). The prime-power sum is . Mertens gives the product bound after the primes dividing are omitted. The source checks give the density identity, the prefix exclusion and the cutoffs. Here on DIRECT rows, and on G1. Each error is , with no factor or . Hence
| (B.8) | ||||
The sum runs over the nineteen rows and their actual prefixes . Each prefix lies in one parent cell, and the empty prefix is . The labels , , , , HB patterns and boxes occur only in the remainder, so they add no factor to . For DIRECT rows, : eleven rows in § 2 give 20, and S2 gives 4. The subsequent estimate uses the convenient coarser ceiling . The four G1 coefficients have absolute value 1. The ceiling is a harmless enlargement of the exact DIRECT coefficient sum . The BV pieces S5-top, S6 and BV-R1 are treated in § 5.
Three uniform bounds
Three uniform estimates bound this mass. Put .
Lemma B.8 (exponent floor). Every Buchstab prefix prime and AA37 cutoff is at least . Every G1 source prime is at least .
Proof. The smallest fixed cutoff is , with . The others are E3 on S1-3, on G1-3, and PF/K on S2-3; all are at least , and . Other prefix ranges start at or higher; see (4.4)–(4.5). AA37 tail primes are not covered by this prefix assertion.
Lemma B.9 (density product). Uniformly in , rows, cells and , for and an absolute threshold ,
| (B.9) |
Proof. Prefix primes are , so and agree below . Since and ,
By (1.2), the last product is at most . Also and Mertens gives . Use and .
Lemma B.10 (source masses). For an absolute threshold , at every legal cut,
| (B.10) |
Proof. Rosser–Schoenfeld [22] gives . For , count ordered prime -tuples, with repetitions, whose entries are and whose product is . Fix the first entries, with product . If a last entry exists, then , and its choices number at most . Dropping the other constraints gives
Also and . The tuple lengths in are . By Lemma B.8, their entries are and . Using the weights of (4.4),
The bound uses no representation ceiling and no factorial.
Lemma B.11 (prefix harmonic sum). For each fixed row, the prefix depth may vary from to across its cells. Hence
| (B.11) |
where the sum covers all actual prefixes in all cells.
Proof. For a prefix of exact depth , use and drop order, distinctness, selectors and ranges. Its total is at most . Sum the four possible depths, including . The parent cells partition the prefixes into disjoint half-open pieces, including A/B children, Option-A pieces and retained whole cells. Thus a prefix is counted once and no cell-count factor occurs.
The three lemmas combine into the uniform mass bound.
Theorem 6 (Sieve remainder mass).
There is , depending only on and the fixed source conventions, such that for every and even , the bound (1.26) holds, independently of the tail labels and cells.
Proof. By (B.9)–(B.11),
Dividing by gives
The last comparison is .
Corollary (persistent and vanishing AA37 errors). Fix first. For , choose rational satisfying (1.27):
Then . This bounds the actual AA37 perturbation on all nineteen rows by one charge. Any further subtraction of the same numerical allowance in the final error total is an additional conservative reserve. For the condition is empty. The selector and cutoff errors retain their stated bounds. The second term of (B.8) is at most
Here are absolute constants for the formal density, and . The bound (1.26) is applied before is chosen in (1.27). Pointwise finiteness alone would allow unbounded ; the uniform bound removes that dependence.
B.3. Source and interval references
The source identity is Lemma 2.1, with its prefix and sifting data kept fixed. Section 6 bounds both difference weights, including the G1 representation multiplicities.
Hypothesis (5.23) follows from the Prime interval coefficients lemma in Section 5. Its endpoint power-log Siegel–Walfisz input is [Z1, (2.21)]. Endpoint subtraction requires
with fixed and . Then . The O1 and G4 supports have and (§§ 5.5–5.6). Thus the interval hypothesis holds, also with the auxiliary divisor of (5.23).
Appendix C Finite source checks
Here we check source identities and cutoffs on selected instances. The main text proves these estimates uniformly in .
The script uses integer arithmetic and fractions.Fraction, with a smallest-prime-factor sieve through . For each seed
the script runs with second argument and Python random.Random(seed). It draws even integers . Each draw selects and . For each of the three prefix families below, it draws separately. It tests the primes with . The plain sample also requires . There are three prefix families: ; the first at most six primes , ; and the first at most six ordered pairs . The pairs satisfy and . Thus the tested prefix condition is and .
For the three-step Buchstab identity, each seed gives further even integers . Here , and . The plain primes satisfy and . The switched checks use further even integers . Set , , and interval endpoints . The ordered triples satisfy , , and , with the coordinate bounds . The tagged triples also have and . In these three batches the rational cutoffs are compared by cross-multiplying integers.
| Check | Finite assertion | Recorded result |
|---|---|---|
| D1 | The literal cofactor row equals on each selected direct fibre. | 1,350 direct-case batches; all passed |
| D2 | The first-true partition of the ambient/plain source differences is exhaustive. | 0 escapes among 3,988,123 ambient tuples; CUT-LOW 96,876, EXC 272, SRC-RESTORE 121,017 |
| D3 | The sifted source identity is the signed sum of the plain source and its two set differences. | Exact on every tested fibre |
| D4 | Escapes of the earlier source-difference predicate are removed by the sieve. | 1,295,622 escapes; each has a cofactor prime not dividing ; 0 exceptions |
| D5 | Legendre’s identity uses the remainder of the plain tested sequence. | Exact in every tested fibre |
| D6 | The Rosser lower and upper inequalities [10] hold, with the stated signed-remainder decompositions. | Exact in every tested fibre |
| D7 | For plain sampled primes , whenever . | Exact for every such modulus and prime |
| D8 | The three-step Buchstab identity and its cutoff monotonicity hold on the plain sequence. | 90/90 cases |
| G1 | The tagged-ambient/plain-cut weight identity, tag partition, switching comparison, and plain-sequence Legendre identity hold. | 90/90 cases; 0 tag escapes; 12,337 coordinate-divides- tags and 9,701 repeated-prime tags; all switching discrepancies occur at or |
Each direct-row run has 450 batches. Together they contain 3,988,123 ambient tuples, and D2 and D4 report the combined counts. In D4, an “escape” is a tuple missed by the earlier difference predicates. Its cofactor has a sieving prime below , coprime to . The Buchstab and G1 counts also combine the three seeds. G1 counts coordinate-divisibility tags and repeated-prime tags separately, using a first-true partition: a coordinate-divisibility tag takes precedence over a repeated-prime tag when both predicates hold.
Each seed also gives five small examples. One further illustration has about 260 digits. The large examples use fixed-base Miller–Rabin screens. Their primality is uncertified. They illustrate the cutoffs only; neither the proof nor the numerical bounds use them.
The SHA-256 identifiers are:
-
•
Checker lemma_
s_ : 81d74731cf82e911ea509e3dcead1fcf885e4d3ca06e3d66b53fc749717138fc.ambient_ check.py -
•
Seed output: 997cb3e32195d3a31e61557ca87474e8d0d785e3feb396cbd95164c9e3b35fe2.
-
•
Seed output: 3139f0952534a7072f1a09388305f426092cdfab07eab56892e8992cf14ff09a.
-
•
Seed output: a6f69703a169e18fa05cd697399a67132b1fb3cd8383c5f4d10d24c84d00d04d.
-
•
Environment record (Python 3.12.3, Linux x86_64): 7f0e02eb4aff3c83e7e8cacd9a831669782f676ffc5dfec047ce26ca200e5271.
These files are in the numerical-certificate archive; see the Data Availability statement. Its README gives the verification and reproduction commands.
Use of AI tools
The author devised the method of proof. Codex (OpenAI) and Claude Code (Anthropic) are the AI tools used. They assisted with derivation checks, code, typesetting, and review. The author checked every step of the proof, every table and every reference. The author takes full responsibility for the content of the paper.
Statements and declarations
Competing interests. The author declares no competing interests.
Funding. No external funding was received.
Data availability. The numerical-certificate supplement is provided as paper-ii-public-certificates-v11.tar.gz. It contains the source scripts, full-precision outputs, finite-check run records, verification logs, and environment records. The archive SHA-256 is cb9d7b96ce1323c9118d845f4dd701a0d830e8c610090deec88bd8792648e100. After extraction, the root SHA256SUMS has SHA-256 18eb23d96be1c096bd2d32a36a34d7e5d9da978e5494e7ae02851a7b74adb182. The archive README gives verification and reproduction commands. No DOI has been assigned.
References
- [1] J. R. Chen, On the representation of a large even integer as the sum of a prime and the product of at most two primes (in Chinese), Kexue Tongbao 17 (1966), 385–386.
- [2] J. R. Chen, On the representation of a large even integer as the sum of a prime and the product of at most two primes, Scientia Sinica 16 (1973), 157–176.
- [3] J. Wu, Chen’s double sieve, Goldbach’s conjecture and the twin prime problem, Acta Arithmetica 114 (2004), no. 3, 215–273.
- [4] J. Wu, Chen’s double sieve, Goldbach’s conjecture and the twin prime problem, 2, Acta Arithmetica 131 (2008), no. 4, 367–387. DOI: 10.4064/aa131-4-5.
- [5] J. D. Lichtman, Primes in arithmetic progressions to large moduli, and Goldbach beyond the square-root barrier, with an appendix with S. Drappeau, arXiv:2309.08522v1, 2023.
- [6] J. Li and J. Liu, Theorem on the Goldbach Conjecture, arXiv:2606.05224v2, 2026.
- [Z1] R. Zhang, Shifted primes in arithmetic progressions to large moduli with linear sieve remainder weights, preprint, Zenodo, 2026. DOI: 10.5281/zenodo.23615525.
- [7] J.-M. Deshouillers and H. Iwaniec, Kloosterman sums and Fourier coefficients of cusp forms, Inventiones Mathematicae 70 (1982), 219–288. DOI: 10.1007/BF01390728.
- [8] E. Bombieri, J. B. Friedlander and H. Iwaniec, Primes in arithmetic progressions to large moduli, Acta Mathematica 156 (1986), 203–251. DOI: 10.1007/BF02399204.
- [9] S. Drappeau, Sums of Kloosterman sums in arithmetic progressions, and the error term in the dispersion method, Proceedings of the London Mathematical Society 114 (2017), no. 4, 684–732. DOI: 10.1112/plms.12022; arXiv:1504.05549v4.
- [10] H. Iwaniec, Rosser’s sieve, Acta Arithmetica 36 (1980), 171–202.
- [11] H. Iwaniec, A new form of the error term in the linear sieve, Acta Arithmetica 37 (1980), 307–320. DOI: 10.4064/aa-37-1-307-320.
- [12] D. R. Heath-Brown, Prime numbers in short intervals and a generalized Vaughan identity, Canadian Journal of Mathematics 34 (1982), 1365–1377. DOI: 10.4153/CJM-1982-095-9.
- [13] H. H. Kim, Functoriality for the exterior square of and the symmetric fourth of , Journal of the American Mathematical Society 16 (2003), 139–183, with Appendix 1 by D. Ramakrishnan and Appendix 2 by H. H. Kim and P. Sarnak. DOI: 10.1090/S0894-0347-02-00410-1.
- [14] H. Iwaniec and E. Kowalski, Analytic Number Theory, American Mathematical Society Colloquium Publications 53, American Mathematical Society, Providence, RI, 2004.
- [15] P. Shiu, A Brun–Titchmarsh theorem for multiplicative functions, Journal für die reine und angewandte Mathematik 313 (1980), 161–170.
- [16] E. Bombieri, On the large sieve, Mathematika 12 (1965), 201–225.
- [17] A. I. Vinogradov, The density hypothesis for Dirichlet -series (in Russian), Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 29 (1965), 903–934.
- [18] C. L. Siegel, Über die Classenzahl quadratischer Zahlkörper, Acta Arithmetica 1 (1935), 83–86.
- [19] A. Walfisz, Zur additiven Zahlentheorie. II, Mathematische Zeitschrift 40 (1936), 592–607. DOI: 10.1007/BF01218882.
- [20] F. Mertens, Ein Beitrag zur analytischen Zahlentheorie, Journal für die reine und angewandte Mathematik 78 (1874), 46–62.
- [21] A. A. Buchstab, Asymptotische Abschätzungen einer allgemeinen zahlentheoretischen Funktion, Matematicheskii Sbornik (N.S.) 2(44) (1937), no. 6, 1239–1246.
- [22] J. B. Rosser and L. Schoenfeld, Approximate formulas for some functions of prime numbers, Illinois Journal of Mathematics 6 (1962), 64–94. DOI: 10.1215/ijm/1255631807.
- [23] F. Johansson, Arb: Efficient arbitrary-precision midpoint-radius interval arithmetic, IEEE Transactions on Computers 66 (2017), no. 8, 1281–1292. DOI: 10.1109/TC.2017.2690633.