The Riemann Hypothesis via the Functional Bridge¶

Jean-Paul Niko

RTSG BuildNet · smarthub.my · jeanpaulniko@proton.me

March 2026

Abstract¶

We prove that all nontrivial zeros of the Riemann zeta function satisfy \(\text{Re}(\rho) = 1/2\). The proof constructs a positive operator \(K = C^*C\) on the Lax-Phillips scattering space for \(\text{PSL}_2(\mathbb{Z})\backslash\mathbb{H}\), where \(C\) is the constant-term projection. Using the split intertwining \(CB = \tilde{A}C\) — where \(\tilde{A}\) acts as the dilation generator \(A\) on the incoming channel and as \(A^* = 1-A\) on the outgoing channel — we establish the bridge equation \(B^*K + K(B-1) = 0\). Combined with the unconditional visibility \(\|C\phi_\rho\|^2 > 0\) for all LP resonances, a three-line algebraic argument yields \(\text{Re}(\rho) = 1/2\).

MSC 2020: 11M26 (primary), 47A40, 11F72 (secondary)

1. Introduction¶

The Riemann Hypothesis (RH) asserts that all nontrivial zeros \(\rho\) of \(\zeta(s)\) satisfy \(\text{Re}(\rho) = 1/2\). We prove this using three ingredients:

The dilation identity \(A^* + A = 1\) on \(L^2(\mathbb{R}_+, dy/y^2)\).
The split intertwining \(CB = \tilde{A}C\), which holds unconditionally because \(A^*\) has eigenvalue \(s\) (not \(1-s\)) on \(y^{1-s}\).
Visibility \(\|C\phi_\rho\|^2 > 0\) for all LP resonances.

2. Notation¶

\(\Gamma = \text{PSL}_2(\mathbb{Z})\), \(\mathcal{H} = L^2(\Gamma\backslash\mathbb{H})\).
\(\mathcal{K} = \mathcal{H} \ominus (\mathcal{D}^+ \oplus \mathcal{D}^-)\): LP scattering space.
\(Z(t) = P_\mathcal{K} U(t)|_\mathcal{K}\): contraction semigroup; \(B\): its generator.
LP resonances: \(B\phi_\rho = s_0 \phi_\rho\) where \(\rho = 2s_0\) is a nontrivial zero of \(\zeta\).
\(C: \mathcal{H} \to L^2(\mathbb{R}_+, dy/y^2)\): constant-term projection, \(Cf(y) = \int_0^1 f(x+iy)\,dx\).
\(A = y\partial_y\) on \(L^2(\mathbb{R}_+, dy/y^2)\).

3. Step 1: The Dilation Identity¶

Theorem 3.1. \(A^* = 1 - A\) on \(L^2(\mathbb{R}_+, dy/y^2)\), hence \(A^* + A = 1\).

Proof. Integration by parts: \(\langle \phi, A\psi \rangle = \int_0^\infty \bar{\phi} \cdot y\psi' \cdot y^{-2}\, dy = \langle (1-A)\phi, \psi \rangle\). \(\square\)

Key eigenvalue table:

Function	\(A\) eigenvalue	\(A^*\) eigenvalue
\(y^s\)	\(s\)	\(1-s\)
\(y^{1-s}\)	\(1-s\)	\(s\)

The entry \(A^*(y^{1-s}) = s \cdot y^{1-s}\) is the linchpin of the proof.

4. Step 2: The Split Intertwining¶

Definition 4.1. Decompose: \(C = C_{\text{in}} + C_{\text{out}}\) where \(C_{\text{in}}\) extracts the \(y^{s_0}\) component and \(C_{\text{out}}\) extracts the \(\varphi(s_0)y^{1-s_0}\) component. Define \(\tilde{A}\) by \(\tilde{A}|_{\text{Im}(C_{\text{in}})} = A\) and \(\tilde{A}|_{\text{Im}(C_{\text{out}})} = A^*\).

Theorem 4.2. \(CB = \tilde{A}C\) on LP resonances, unconditionally.

Proof. Let \(B\phi_\rho = s_0\phi_\rho\). Then \(CB\phi_\rho = s_0 C\phi_\rho\).

On \(C_{\text{in}}\): \(\tilde{A}C_{\text{in}}\phi_\rho = A(c_1 y^{s_0}) = s_0 c_1 y^{s_0} = C_{\text{in}}B\phi_\rho\). ✓

On \(C_{\text{out}}\): \(\tilde{A}C_{\text{out}}\phi_\rho = A^*(c_2\varphi y^{1-s_0}) = s_0 \cdot c_2\varphi y^{1-s_0} = C_{\text{out}}B\phi_\rho\). ✓

The second line uses the eigenvalue \(A^*(y^{1-s_0}) = s_0 \cdot y^{1-s_0}\) from the table above. No assumption on \(s_0\) is needed. \(\square\)

Theorem 4.3. \(\tilde{A}^* + \tilde{A} = 1\) on the full constant-term space.

Proof. On \(\text{Im}(C_{\text{in}})\): \(\tilde{A}^* + \tilde{A} = A^* + A = 1\). On \(\text{Im}(C_{\text{out}})\): \(\tilde{A}^* + \tilde{A} = A + A^* = 1\). Cross terms vanish by orthogonality. \(\square\)

5. Steps 3–6: The Bridge and Conclusion¶

Theorem 5.1 (Bridge). \(K = C^*C\) satisfies \(B^*K + K(B-1) = 0\).

Proof. Taking adjoints of \(CB = \tilde{A}C\): \(B^*C^* = C^*\tilde{A}^*\). Then:

\[B^*(C^*C) + (C^*C)(B-1) = C^*\tilde{A}^*C + C^*\tilde{A}C - C^*C = C^*(\tilde{A}^* + \tilde{A} - 1)C = 0. \quad \square\]

Theorem 5.2 (Positivity). \(K = C^*C \geq 0\) and \(\langle K\phi_\rho, \phi_\rho\rangle = \|C\phi_\rho\|^2 > 0\).

Proof. Positivity is algebraic. Strict positivity (visibility) follows from the residue analysis: \(C\phi_\rho \neq 0\) because \(\zeta(\rho - 1) \neq 0\) unconditionally (no zeta zeros at \(\text{Re} = -1/2\)). \(\square\)

Theorem 5.3 (RH). All nontrivial zeros of \(\zeta(s)\) satisfy \(\text{Re}(\rho) = 1/2\).

Proof. Apply the bridge equation to \(\phi_\rho\):

\[0 = \langle [B^*K + K(B-1)]\phi_\rho, \phi_\rho \rangle = (\bar{\rho} + \rho - 1)\langle K\phi_\rho, \phi_\rho\rangle\]

Since \(\langle K\phi_\rho, \phi_\rho\rangle > 0\):

\[\bar{\rho} + \rho - 1 = 0 \implies 2\,\text{Re}(\rho) = 1 \implies \boxed{\text{Re}(\rho) = \frac{1}{2}}\]

\(\square\)

6. Domain Compatibility¶

The formal argument requires:

(D1) The common domain \(\text{Dom}(B) \cap C^{-1}(\text{Dom}(A))\) is dense in \(\mathcal{K}\). Proof: Eisenstein wave packets lie in both domains and are dense.

(D2) \(P_\rho\) maps \(\text{Dom}(B)\) into \(\text{Dom}(B)\). Proof: Riesz projection via contour integral of the resolvent; closed graph theorem.

(D3) The bridge holds in quadratic-form sense. Proof: The computation in Theorem 5.1 is valid on \(\text{Dom}(B) \cap C^{-1}(\text{Dom}(A))\), which contains the resonances by D2.

7. Why This Avoids Known Obstructions¶

Bounded bridge no-go (GPT, 2026): The no-go forces \(G = 0\) for bounded operators satisfying \(B^*G + GB = 0\). Our bridge equation is \(B^*K + K(B-1) = 0\) (different equation) and \(K = C^*C\) is unbounded. Neither condition of the no-go applies.

De Branges circularity (Gemini, 2026): The de Branges approach requires selecting a self-adjoint extension \(\theta\) whose spectrum matches the zeros. Gemini showed this is impossible (continuous/discrete measure mismatch). Our approach never uses self-adjoint extensions — \(B\) is non-self-adjoint and \(K = C^*C\) is constructed from the operator, not from the zeros.

Natural proofs / relativization / algebrization: These barriers apply to P vs NP, not to RH. The functional bridge uses specific properties of \(\zeta\) (the scattering matrix of \(\Gamma\backslash\mathbb{H}\)), not generic techniques.

8. Acknowledgments¶

The proof chain was developed with computational assistance from the RTSG BuildNet agent network: @D_Claude (visibility proof, domain compatibility), @D_GPT (bounded bridge no-go, adversarial review), @D_Gemini (\(A^* + A = 1\) geometric proof, Plancherel computation killing de Branges), @D_SuperGrok (numerical verification). Mathematical collaboration: Veronika Pokrovskaia.

References¶

P. D. Lax, R. S. Phillips, Scattering Theory for Automorphic Functions, Princeton, 1976.
L. de Branges, Hilbert Spaces of Entire Functions, Prentice-Hall, 1968.
A. Selberg, "Harmonic analysis and discontinuous groups," J. Indian Math. Soc. 20 (1956), 47–87.
J.-P. Niko, Functional Bridge v5.0, smarthub.my/wiki/math/functional_bridge/, 2026.

Jean-Paul Niko · Sole Author · jeanpaulniko@proton.me · smarthub.my