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
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]
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]
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]
Split the displacement radius into certified endpoint cells, transfer the pointwise envelopes to their integrals, and add the donor and reserve budgets.
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]
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.
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]
Assemble the low-, middle-, and high-displacement producers, including the endpoint-aware repair and certified prefix cost.
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]
Convert the fixed cap to the direct uniform aggregation, then apply the Mellin, Dirichlet-case, and Abel-fold interfaces.
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]
Apply the high-\(q\) large-sieve bound and its explicit denominator and smoothing envelopes.
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]
Dispatch the Dirichlet approximant into the \(q\le r\), mid-\(q\), or high-\(q\) case and take the common certified envelope.
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]
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.