Papers · Preprint
Riemann Hypothesis via Self-Dual Trace Confinement: A Conditional Closure
The Riemann hypothesis as a question about a mirror and a ledger.
In plain words
Move the zeta function into a trace setting. Its functional equation acts as a mirror. Keep a typed ledger of the nontrivial zeros.
A translation theorem shows the odd part of that ledger vanishes exactly when every zero sits on the critical line. The Self Dual Trace Confinement law then supplies conditions under which the odd part must vanish.
The result is a conditional chain from a named source to the hypothesis, formalized in Lean without mathlib.
What it shows
- A translation between the zero ledger and the critical line statement.
- A conditional landing chain through Self Dual Trace Confinement.
- A Lean mechanization of the chain.
What it does not claim
It is not an unconditional proof in ZFC. The shell's admissibility is a standing hypothesis.
Cite
Tsiokos, I. (2026). Riemann Hypothesis via Self-Dual Trace Confinement: A Conditional Closure. Zenodo. https://doi.org/10.5281/zenodo.20713535