Blueprint for the Ternary Goldbach Formalization

5 Minor arcs

The production proof uses a repository-repaired uniform envelope. It keeps the low-, medium-, and high-denominator regimes separate, preserves the required signed cancellation, and obtains

\[ \lVert I_{\mathrm{minor}}\rVert \le \frac{1.048}{49}X^2. \]

The value \(1.048/49\) is the repository’s intentionally larger conservative coefficient. The source prints \(1.00948/49\) in (14.49); this Blueprint labels the repository result as a weakened/adapted derivation and does not present the numerical difference as a published erratum.

Trust tier: HEAVY+EF+PF-U. In the region \(q{\lt}37500\), the repaired direct producer is bounded by \(1.04\) times the continuous prefix plus the explicit ten-percent repair term.

Source: helfgott-ternary-2015, equation 13.14, pp. 249–250 [adapted]

Proof

Combine the bounded-\(q\) Type-I/Type-II estimates with the compact Platt-radius split and the certified crossover margins. This is a conservative repository repair, not a verbatim paper inequality.

Trust tier: HEAVY+EF+PF-U. In the region \(37500\le q\le 150000\), the same repaired mixed fixed-prefix cap holds.

Source: helfgott-ternary-2015, equation 13.14, pp. 249–250 [adapted]

Proof

Use the uniform large-sieve and Mertens inputs in the medium range, retaining the signed cancellation and explicit repair allowance.

Trust tier: EF+PF-U. The compact small-\(q\) pieces satisfy the compressed aggregation needed by the uniform (13.14) case.

Source: helfgott-ternary-2015, equation 13.14, pp. 249–250 [adapted]

Proof

Split the displacement radius into certified endpoint cells, transfer the pointwise envelopes to their integrals, and add the donor and reserve budgets.

Theorem 5.4 Uniform q-at-most-r case (13.14)

Trust tier: HEAVY+EF+PF-C. The low, medium, and small-\(q\) regional caps imply the complete uniform \(q\le r\) case of equation (13.14).

Source: helfgott-ternary-2015, equation 13.14, pp. 249–250 [derived]

Proof

Cover denominators by \(q{\lt}37500\), \(37500\le q\le 150000\), and \(q{\gt}150000\); use the already closed high branch and transport the combined producer through the Mellin and carrier bridges.

Theorem 5.5 Uniform mid-q cap (13.15)

Trust tier: EF+PF-U. The direct mid-\(q\) aggregation satisfies the conservative fixed-branch coefficient \(1.11\).

Source: helfgott-ternary-2015, equation 13.15, p. 250 [adapted]

Proof

Assemble the low-, middle-, and high-displacement producers, including the endpoint-aware repair and certified prefix cost.

Theorem 5.6 Uniform mid-q case (13.15)

Trust tier: HEAVY+EF+PF-C. The fixed \(1.11\) direct cap implies the complete uniform mid-\(q\) case.

Source: helfgott-ternary-2015, equation 13.15, p. 250 [derived]

Proof

Convert the fixed cap to the direct uniform aggregation, then apply the Mellin, Dirichlet-case, and Abel-fold interfaces.

Theorem 5.7 High-q case (13.16)

Trust tier: HEAVY+EF+PF-U. The high-denominator branch satisfies the Chapter-14 estimate corresponding to equation (13.16).

Source: helfgott-ternary-2015, equation 13.16, p. 250 [adapted]

Proof

Apply the high-\(q\) large-sieve bound and its explicit denominator and smoothing envelopes.

Theorem 5.8 Uniform eta-star supremum (13.17)

Trust tier: BT-C. The three denominator cases imply the uniform eta-star minor-arc supremum bound of equation (13.17).

Source: helfgott-ternary-2015, equation 13.17, p. 250 [derived]

Proof

Dispatch the Dirichlet approximant into the \(q\le r\), mid-\(q\), or high-\(q\) case and take the common certified envelope.

Theorem 5.9 Integrated minor bound (14.49)

Trust tier: EF-C. The uniform (13.17) supremum gives a mixed minor contribution at most \((1.048/49)X^2\).

Source: helfgott-ternary-2015, equation 14.49, p. 275 [weakened]

Proof

Integrate the pointwise norm on the complement of the major arcs and apply the corrected Abel/Chapter-14 evaluation. The coefficient \(1.048/49\) is the repository’s conservative repaired bound.