The Riemann Hypothesis
Field
Number theory
Problem overview
The Riemann Hypothesis concerns the location of the nontrivial zeros of the Riemann zeta function
$$
\zeta(s) = \sum_{n=1}^\infty n^{-s},
$$
and asserts that all nontrivial zeros lie on the critical line
$$
\Re(s) = \frac{1}{2}.
$$
This conjecture lies at the center of analytic number theory and is deeply connected to the distribution of prime numbers, the behavior of arithmetic functions, and the structure of \(L\)-functions more broadly. Despite extensive partial results and numerical verification, a complete proof has remained elusive despite many powerful analytic approaches.
Why the problem is difficult
The zeta function encodes delicate cancellation among arithmetic and analytic contributions. Its nontrivial zeros are constrained globally by the functional equation, the Euler product, the completed zeta function, and the explicit formula.
Major challenges include:
- zeros are governed by global analytic behavior rather than local formulas;
- the functional equation links \(\alpha\) and \(1-\alpha\), creating paired structure;
- limiting and regularization issues are unavoidable;
- many equivalent criteria are known, but none has yet yielded an accepted proof;
- proposed approaches often fail at equality cases, hidden degeneracies, or uncontrolled limiting steps.
The problem has resisted sustained effort for over a century despite vast numerical confirmation.
Coherence-geometric organizing idea
From a Coherence Geometry viewpoint, the functional-equation pair
$$
\alpha,\qquad 1-\alpha
$$
should be treated as a labelled two-source object. If \(\alpha\) lies off the critical line, then \(\alpha\) and \(1-\alpha\) remain distinct modulo conjugation. On the critical line, they collapse because
$$1-\alpha=\overline{\alpha}.$$
The manuscript studies this distinction using a matrix-valued completed explicit formula and a two-state transfer test. The goal is not to isolate a zero by arbitrary interpolation, but to track the transfer defect created by an off-critical functional-equation orbit.
Projection into standard analytic language
The paper constructs a matrix-valued completed-explicit-formula framework with a two-state transfer observable. For an off-critical zero orbit [\(\alpha\)], the construction gives a forced first-order transfer ledger
$$
T_x(B_{\rm other}^{\alpha})=2S_\alpha,
$$
where \(S_\alpha\) records transfer between the two faithful source labels
$$\alpha\,\qquad 1-\alpha.$$
For the fixed negative-support transfer test, the remaining-zero transfer ledger has an operator-norm compact-limit representative
$$R_\infty=2S_\alpha.$$
The terminal question is then: what positive full-Pauli completion of this forced first-order transfer target is admissible?
Main criterion
The manuscript proves a strict first-order terminal-closure criterion.
In the first-order matrix-valued explicit-formula source category, analytic source labels are ordinary zero-orbit labels with finite Pauli fibre data. The category does not contain primitive exterior-square source labels of the form
$$\rho\wedge\sigma.$$
However, failure of projective collapse of the functional-equation pair is measured by the rank-area
$$\mathcal A_{12}
=
\Omega_{11}\Omega_{22}-|\Omega_{12}|^2
=
\|x_1\wedge x_2\|^2.$$
This is a second-order exterior resource.
Thus, under strict first-order terminal closure, unassigned rank-area cannot be terminally absorbed. The criterion therefore forces
$$\mathcal A_{12}=0.$$
By the equality case of the positive-semidefinite Cauchy–Schwarz inequality, this implies projective collapse of the represented terminal Gram pair. Label-compatible source-faithfulness then implies
$$1-\alpha=\overline{\alpha},$$
and hence
$$\Re(\alpha)=\frac12.$$
Boundary of the result
The result is not presented as an unconditional proof in an unrestricted analytic framework. It is a strict first-order terminal-closure criterion.
The paper also identifies the boundary of that criterion. The forced transfer defect is first-order and is visible to the matrix-valued completed explicit formula. The obstruction to terminal collapse is different: it is the distinguished rank-area
$$\mathcal A_{12}
=
\Omega_{11}\Omega_{22}-|\Omega_{12}|^2,$$
equivalently the exterior resource
$$x_\alpha\wedge x_{1-\alpha}.$$
In the strict first-order source category, this rank-area has no primitive analytic source label and therefore cannot be terminally absorbed as unassigned data.
To retain nonzero rank-area as terminal analytic data, an enlarged framework would need an exact mechanism controlling this quantity. A literal second-order exterior source law with labels
$$\rho\wedge\sigma$$
would be one way to do this. An equivalent determinant, kernel, spectral, trace, curvature, or positivity framework could also encode the same quantity in another form. Such mechanisms lie outside the first-order matrix-valued explicit-formula framework used here.
In this sense, the manuscript identifies a source-order boundary: the forced transfer defect is first-order, while the obstruction to pair collapse is second-order. This boundary is not merely notational: it concerns the analytic representation and control of the distinguished rank-area itself.
Status
Candidate criterion manuscript available
Technical Review
Readers are encouraged to evaluate the work according to its stated claims and mathematical arguments.
Particular points of interest include:
- correctness of the matrix-valued completed explicit formula setup;
- normalization of the two-state transfer test;
- prime-silence and gamma/algebraic silence for the negative-support test;
- derivation of the forced ledger \(T_x(B_{\rm other}^{\alpha})=2S_\alpha\);
- operator-norm compactness of the fixed-test transfer ledger;
- the strict first-order terminal admissibility condition;
- the absence of primitive exterior-square labels in the first-order source category;
- the label-compatible source-faithfulness step;
- the boundary claim concerning second-order exterior source laws.
Corrections, counterexamples, simplifications, literature pointers, and independent verification are welcome.
Available document
- Title: A First-Order Terminal-Closure Criterion for the Riemann Hypothesis and the Exterior-Rank Source Boundary
- Identifier: CGI-RSR-000008
- Author: Barry L. Petersen
- Length: 52 pages
- Version: v1.0
- Repository: Zenodo (DOI link)
- Citation: Petersen, B. L. (2026). A First-Order Terminal-Closure Criterion for the Riemann Hypothesis and the Exterior-Rank Source Boundary. Zenodo. https://doi.org/10.5281/zenodo.19971259
The Zenodo-hosted PDF is the authoritative technical record. This page is descriptive only.
Back to Clay Millennium Problems Home