A Candidate Proof Architecture for Binary Goldbach: Quartic Sieve Reassembly, the Liouville Parity Obstruction, Quantitative Dual Reserve, and the Remaining Signed Prime-Correlation Theorem
- 1Justus-Liebig-Universität Gießen
Abstract
We present a self-contained account of the PIHR–Goldbach research programme through Gold-41. The objective is to prove the binary Goldbach conjecture through a weighted prime-pair inequality derived from a quartic divisor construction. The framework employs exact Möbius-weighted divisor identities, character weights modulo eight, short arithmetic-progression estimates, cutoff transport, and a decomposition into rough semiprime, three-prime, four-prime, five-prime, and mixed-factor classes. The Gold-40 analysis reports a quartic lower balance in which the remaining obstruction is a single signed correlation involving the actual shifted-prime sequence. A subsequent five-prime estimate reduces the unresolved operator to the semiprime, three-prime, and mixed-factor classes. We examine the Liouville parity comparison, which demonstrates that the previously available short distribution estimates do not, by themselves, imply the required uniform correlation lower bound. We then formulate the Quantitative Dual Reserve (QDR) method and establish its exact finite-dimensional primal-dual structure. The strongest candidate completion is a signed parity-separation theorem for the residual arithmetic operator after subtraction of controlled short-row contributions. We formulate its precise logical role, discuss possible bilinear and character-theoretic approaches, and identify the remaining requirements for an effective Goldbach proof. The manuscript distinguishes established classical theorems, algebraic identities verified here, results reported in the preceding Gold-40 manuscripts, conditional implications, numerical experiments, and unproved hypotheses.
Related
- The Current Strongest Candidate Proof Chain for Binary Goldbach: Exact FEEL Reassembly, Signed Nonzero-Frequency Routing, Zero-Mode Reduction, Rough-Prime Switching, and the Residual Truncated Titchmarsh Correlation
- A Candidate Proof Architecture for Binary Goldbach: Signed Möbius–Prime Correlations, Quartic Sieve Reassembly, Balanced Type-II Dispersion, and the Remaining Parity-Separation Theorem
- A Quantitative Reeb-Form Obstruction for Real Hypersurfaces of Strict Nearly Kähler Six-Manifolds
- Quantitative CT Geometry of the Patent Ductus Arteriosus in Infants with Congenital Heart Disease: Association with Aortic Arch Obstruction or Hypoplasia
- A Lorentz Endpoint and Quantitative Obstruction for a Cowling-Price Moment Reduction
BibTeX
@misc{arneth2026candidate,
title = {{A Candidate Proof Architecture for Binary Goldbach: Quartic Sieve Reassembly, the Liouville Parity Obstruction, Quantitative Dual Reserve, and the Remaining Signed Prime-Correlation Theorem}},
author = {Borros Arneth},
howpublished = {Zenodo},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23496979},
url = {https://zenodo.org/records/23496979},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A Candidate Proof Architecture for Binary Goldbach: Quartic Sieve Reassembly, the Liouville Parity Obstruction, Quantitative Dual Reserve, and the Remaining Signed Prime-Correlation Theorem
AU - Borros Arneth
PY - 2026
DA - 2026/10/20
PB - Zenodo
DO - 10.5281/zenodo.23496979
UR - https://zenodo.org/records/23496979
AB - We present a self-contained account of the PIHR–Goldbach research programme through Gold-41. The objective is to prove the binary Goldbach conjecture through a weighted prime-pair inequality derived from a quartic divisor construction. The framework employs exact Möbius-weighted divisor identities, character weights modulo eight, short arithmetic-progression estimates, cutoff transport, and a decomposition into rough semiprime, three-prime, four-prime, five-prime, and mixed-factor classes. The Gold-40 analysis reports a quartic lower balance in which the remaining obstruction is a single signed correlation involving the actual shifted-prime sequence. A subsequent five-prime estimate reduces the unresolved operator to the semiprime, three-prime, and mixed-factor classes. We examine the Liouville parity comparison, which demonstrates that the previously available short distribution estimates do not, by themselves, imply the required uniform correlation lower bound. We then formulate the Quantitative Dual Reserve (QDR) method and establish its exact finite-dimensional primal-dual structure. The strongest candidate completion is a signed parity-separation theorem for the residual arithmetic operator after subtraction of controlled short-row contributions. We formulate its precise logical role, discuss possible bilinear and character-theoretic approaches, and identify the remaining requirements for an effective Goldbach proof. The manuscript distinguishes established classical theorems, algebraic identities verified here, results reported in the preceding Gold-40 manuscripts, conditional implications, numerical experiments, and unproved hypotheses.
ER -