Universidad Nacional de La Plata, La Plata, Argentina
In this paper, which is entirely unconditional, we prove a sharpened almost-all theorem with fully explicit effective constants for the restricted weighted Goldbach sum
whose expected main term is , where is the twin-prime constant and is the binary singular series.
Our results are organised around four pillars. (I) We give a complete character-pair decomposition of the second moment of the error , extracting the exact diagonal constant , where is the Gallagher-Goldston constant. (II) We establish a uniform minor-arc bound
by combining the complete Vaughan identity with the Bombieri-Vinogradov theorem in integral form, giving an explicit derivation of before applying a rigorous safety margin. (III) We derive the effective almost-all theorem
with the explicit constant , obtained from via a Stechkin-type optimisation. (IV) We prove a Pintz-type exceptional-set bound on .
Most statements in the main body carry the tag [PROVED]; a small number of remarks (Remark 1.3, Remark 4.4, Remark 6.2) and Theorem 6.5 are explicitly flagged [HONEST CAVEAT]. No Generalised Riemann Hypothesis, no zero-density hypothesis, no ternary sum , no spectral input, and no Chen-type sieve are used anywhere.
Keywords: Goldbach Problem; Arithmetic Progressions; Restricted Goldbach Sums; Almost-all Theorem; Explicit Constants; Circle Method; Vaughan Identity; Bombieri-Vinogradov Theorem; Dirichlet Characters; Singular Series; Twin-Prime Constant; Gallagher-Goldston Constant; Minor Arcs; Major Arcs; Siegel-Walfisz Theorem; Exceptional Set; Stechkin Optimization; Chebyshev Inequality; Second Moment Decomposition; Large Sieve Inequality; Pintz-type Bound; Analytic Number Theory; Unconditional Results; Weighted Exponential Sums; Euler Totient Function