Published October 28, 2026 | Version version 1

From Bernoulli Numbers to the Critical Line: Analytic Continuation, Curvature Measures, Joint Exclusions, Four-Body Dynamics, and Algebraic Phase Transitions

  • 1. ROR icon Peking University

Description

This paper presents an audit architecture whose central thesis is that the completed zeta function is an adelic product of local factors; the symmetry centre 1/2, the smooth zero-counting constant 7/8, the normalization of any completed spectral determinant, the low-energy positivity of any Weil-type form, the curvature unit π2/12, the four-body collision law, the spacing lower bound for the imaginary parts, and the algebraic phase transition of the Bost–Connes system are internal invariants of the Gamma–Theta factorization and of the arithmetic local factors. A valid proof architecture preserves these invariants along the logical spine master equation =⇒ solution datum =⇒ identification with ξ =⇒ self-adjointness or algebraic uniqueness =⇒ Re ρ = 1 2 . The architecture is organized around three parallel load-bearing paths: the curvature path, the Ledger–Stiffness path, and the Bost–Connes KMS path; any one of them, if its load-bearing input is verified, closes the logical spine for the corresponding framework. Joint exclusion is organized algebraically: if the set of off-axis zeros is contained in the intersection of the surviving sets of the exclusion mechanisms, and if for some non-empty subfamily the intersection is empty or its counting measure is zero, then the set of off-axis zeros is empty.

Files

RH_and_bernoulli_number.pdf

Files (1.2 MB)

Name Size
md5:cd9e04348181d780965b5dfbb3b486de
1.2 MB Preview Download

Additional details

Additional titles

Alternative title (English)
From Bernoulli Numbers to the Critical Line

Dates

Submitted
2025-12-31

References

  • Bibliography [1] B. Riemann. Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse. Monatsberichte der Berliner Akademie, 1859. Verifiable. [2] L. Euler. De summis serierum reciprocarum. Commentarii academiae scientiarum Petropoli tanae 7 (1735), 123–134. Verifiable. Cited for the Basel problem ζ(2) = π2/6. [3] N. E. Nörlund. Vorlesungen über Differenzenrechnung. Springer, Berlin, 1924. Verifiable. [4] H. von Mangoldt. Zu Riemann's Abhandlung "Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse". Journal für die reine und angewandte Mathematik 114 (1895), 255–305. Verifiable. [5] J. Hadamard. Étude sur les propriétés des fonctions entières et en particulier d'une fonction considérée par Riemann. Journal de Mathématiques Pures et Appliquées 9 (1893), 171–215. Verifiable. [6] S.-C. Woon. Zero scattering of continued Bernoulli polynomials. 2026. Literature claim. 187 [7] S. Liu. Explicit analytic expressions for zeros of the Riemann zeta function and construction of a theoretical framework. Zenodo, 2026. Preprint. [8] A. França and A. LeClerc. Statistical and other properties of Riemann zeros based on an explicit equation for the n-th zero. arXiv:1307.8395, 2013. Preprint. [9] P. Flajolet and L. Vepstas. On differences of zeta values. Journal of Computational and Applied Mathematics 220 (2008), 58–73. Verifiable. Cited as a proved literature result for the Flajolet–Vepstas asymptotic. [10] X.-J. Li. The positivity of a sequence of numbers and the Riemann Hypothesis. Journal of Number Theory 65 (1997), 325–333. Verifiable. [11] K. Maślanka. The Newton series for the Riemann zeta function. 2005. Literature claim. [12] M. W. Coffey. Toward verification of the Riemann hypothesis: the first two Li/Keiper constants. 2005. Literature claim. [13] L. Báez-Duarte. A new formulation of the Riemann Hypothesis. 2005. Literature claim. [14] L. Guth and J. Maynard. New large value estimates for Dirichlet polynomials. Annals of Mathematics, 2024. Verifiable. [15] D. Buchanan. The Buchanan coil invariant and the Gauss–Bonnet condition for the vorticity web. 2026. Literature claim. [16] S. Chowla and A. Selberg. On Epstein's zeta function (I). Journal für die reine und angewandte Mathematik 227 (1967), 86–110. Verifiable. [17] B. Rodgers and T. Tao. The de Bruijn–Newman constant is non-negative. Forum of Mathematics, Pi 8 (2020), e6. Verifiable. [18] H. L. Montgomery. The pair correlation of zeros of the zeta function. Analytic Number Theory, Proceedings of Symposia in Pure Mathematics 24 (1973), 181–193. Verifiable. [19] A. M. Odlyzko. On the distribution of spacings between zeros of the zeta function. Mathe matics of Computation 48 (1987), 273–308. Verifiable. [20] H. L. Montgomery and R. C. Vaughan. Hilbert's inequality. Journal of the London Mathematical Society 8 (1974), 73–82. Verifiable. [21] A. P. Guinand. A summation formula in the theory of prime numbers. Proceedings of the London Mathematical Society 50 (1948), 107–119. Verifiable. [22] A. Weil. Sur les formules explicites de la théorie des nombres premiers. Comm. Sém. Math. Univ. Lund, 1952, 252–265. Verifiable. [23] A. Selberg. Contributions to the theory of the Riemann zeta function. Archiv for Mathematik og Naturvidenskab 48 (1946), 89–155. Verifiable. [24] A. Connes and C. Consani. Weil positivity and trace formula, the archimedean place. arXiv, 2020. Preprint. [25] E. Bombieri. Remarks on Weil's quadratic functional. In: The Riemann Hypothesis, Springer, 2000, 69–84. Verifiable. 188 [26] M. Suzuki. Weil's quadratic form and de Branges spaces. Canadian Journal of Mathematics, 2025. Literature claim (bibliographic data to be confirmed). [27] A. Fragkos, B. Krause, and P. Miheisi. Prime Carleson maximal estimates. arXiv:2607.05560, 2026. Literature claim. [28] D. Kastoris. Computer-assisted semilocal Weil positivity at c = 14,17,19. Zenodo, 2026. Literature claim. [29] L. Oen. A Fourier–Lévy normal form for the localized Weil form. Zenodo, 2026. Literature claim. [30] M. Chuk. Weil positivity in compact windows: certified two-sided bounds and a Landau Widom decay law. arXiv:2608.24827, 2026. Literature claim. [31] H. J. Landau and H. O. Widom. The eigenvalue distribution of time- and band-limited signals. SIAM Journal on Mathematical Analysis 15 (1984), 396–407. Verifiable. Cited as a proved literature result for the Landau–Widom plunge rate. [32] V. Borchsenius and B. Jessen. Mean motions and values of the Riemann zeta function. Acta Mathematica 80 (1948), 97–166. Verifiable. [33] J.-B. Bost and A. Connes. Hecke algebras, type III factors and phase transitions with spontaneous symmetry breaking in number theory. Selecta Mathematica 1 (1995), 411–457. Verifiable. [34] G. Perelman. The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159, 2002. Preprint. [35] D. Petz. Monotonicity of quantum relative entropy revisited. Reviews in Mathematical Physics 15 (2003), 79–91. Verifiable. [36] E. Rouché. Mémoire sur la série de Lagrange. Journal de l'École Polytechnique 22 (1862), 217–250. Verifiable. [37] A. Hurwitz. Über die Nullstellen der Bessel'schen Function. Mathematische Annalen 33 (1889), 246–266. Verifiable. [38] P. M. Anselone. Collectively Compact Operator Approximation Theory. Prentice-Hall, Englewood Cliffs, 1971. Verifiable. [39] F. Stummel. Linear perturbations of holomorphic functions. Mathematische Zeitschrift 115 (1970), 123–146. Verifiable. [40] S. Bögli, P. Siegl, and C. Tretter. Spectral exactness for the Galerkin method. 2017. Verifiable. [41] L. de Moura, S. Kong, J. Avigad, F. van Doorn, and J. von Raumer. The Lean theorem prover (system description). In: Automated Deduction– CADE-28, Springer, 2021, 625–635. Verifiable. [42] The mathlib Community. The Lean mathematical library. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, 367–381. Verifiable. 189 [43] tt-bost-connes-lean v0.2. Tomita–Takesaki modular theory of the Bost–Connes algebra at β =1, formalized in Lean 4. Software. [44] G Six. The Bost–Connes modular generator as a candidate Hilbert–Pólya operator, formal ized in Lean 4. Zenodo, 2026. Software. [45] G Six. The Riemann Hypothesis is exactly one bit: where the Riemann Hypothesis stands, proved in Lean 4. Zenodo, 2026. Software. [46] G Six. Tomita–Takesaki modular theory of the Bost–Connes algebra at β = 1, formalized in Lean 4. Zenodo, 2026. Software.