Proof of the Riemann Hypothesis

Abstract

This paper proves the Riemann Hypothesis by constructing, rather than postulating, a self-adjoint Hilbert--Schmidt determinant model for the completed zeta function. The proof is organized around a single principle: the zeros of the completed zeta function are not used as spectral data. Instead, the classical explicit formula is first converted into a finite-window comparison problem in an orthogonal Hilbert-space decomposition. Sections~2--5 build the three ingredients needed for this conversion: the analytic compact-resolvent framework, the coefficient-space arithmetic trace for the prime-power contribution, and the singular-boundary component. These are placed in the ambient decomposition $X = \mathcal K_R \oplus J_{\mathrm{arith}}\mathcal H_{\mathrm{arith}} \oplus \operatorname{Ran}\Pi_{\mathrm{res}}.$ Passing to the canonical comparison representative modulo $\operatorname{Ran}\Pi_{\mathrm{res}}$ leaves an effective $\mathcal K_R$-component, while the arithmetic summand accounts for the Euler-product term. The finite-part structure used in this comparison is intrinsic to the finite-window coordinate ledger. It is fixed from the contour convention, the logarithmic representative, and the finite readout probes; the completed zeta function, its divisor, and its logarithmic derivative do not belong to the operator construction. The operator-side functional is defined from the $\mathcal K_R$-projection of the canonical comparison representative, whereas the classical explicit-formula ledger is introduced separately and identified with the completed zeta logarithmic derivative only at the final target-identification stage. Section~6 closes the proof. The centered Mellin seam involution $w\mapsto -w$ descends to a self-adjoint involution on $\mathcal K_R$. Its signed boundary-distribution kernel is realized, by a Sobolev-reference Schatten-four sandwich estimate, as a self-adjoint Hilbert--Schmidt operator $K=K^*\in\mathfrak S_2.$ This gives the intrinsic determinant factor $F_K^0(s)=\det\nolimits_2\bigl(I+i(s-\tfrac12)K\bigr),$ and the comparison function $F_K(s) = e^{a_{\mathrm{EF}}+b_{\mathrm{EF}}(s-\frac12)} F_K^0(s),$ where $a_{\mathrm{EF}}$ and $b_{\mathrm{EF}}$ are central constants of the explicit-formula ledger; they are not supplied from $\xi$ at the construction stage. The finite-window comparison quotient is then passed to the central Cauchy--Laplace family. On the $K$-side, the finite-part realized functional is identified with the determinant trace through finite-window scalar coefficients, cyclic tensor contractions, finite-rank compression, and the Hilbert--Schmidt limit. On the classical side, the explicit-formula ledger is identified with the central logarithmic derivative of the completed zeta function. These two independently obtained transform identities give $\frac{d}{dw}\log F_K\!\left(\frac12+w\right) = \frac{d}{dw}\log \xi\!\left(\frac12+w\right)$ near $w=0$. The central scalar target identification gives local analytic equality, and the identity theorem yields $F_K(s)\equiv \xi(s).$ Since $K$ is self-adjoint, every zero of $F_K$ coming from a nonzero eigenvalue $\lambda_j\in\mathbb R\setminus\{0\}$ has the form $s=\frac12+\frac{i}{\lambda_j}.$ The identity $F_K=\xi$ therefore places every nontrivial zero of $\xi$, and hence of $\zeta$, on the critical line.

This Zenodo record is a permanently preserved version of a PREreview. You can view the complete PREreview at https://prereview.org/reviews/17143549.

\documentclass[12pt]{article}

\usepackage{amsmath,amssymb,amsthm}

\usepackage{geometry}

\geometry{margin=1in}

\usepackage{hyperref}

\hypersetup{colorlinks=true, urlcolor=blue, linkcolor=blue, citecolor=blue}

\title{Pre-Review Comments on Proof of the Riemann Hypothesis by Yoshinori Shimizu}

\author{Anik Chakraborty}

\date{September 17, 2025}

\begin{document}

\maketitle

\section{General Overview}

I appreciate the opportunity to provide feedback on this ambitious and technically rich manuscript. The paper addresses the venerable and important problem of the Riemann Hypothesis (RH) and its generalizations, bringing together sophisticated methods from operator theory, analytic number theory, and distributional analysis.

The manuscript shows deep understanding and an innovative approach by combining a Weil-type positivity method with a Herglotz-type mm-function construction, connected via a novel framework involving small-bandwidth equivalence and a uniqueness principle.

\section{Constructive Feedback and Points for Consideration}

While the work presents significant technical merit, there are a few points where clearer exposition and strengthened mathematical justification would be helpful in advancing the claims conclusively.

\subsection{Small-Bandwidth Equivalence}

The crucial equivalence of the operator-side and arithmetic-side measures for bandwidths less than log⁡2\log 2 is a pivotal step. The paper employs heuristic \textit{half-rule} corrections for endpoint behaviors at the boundary η=log⁡2\eta=\log 2, especially relating to the prime p=2p=2 contributions.

Beyond the treatment of endpoint contributions, establishing a completely rigorous proof of the small-bandwidth equivalence as a distributional identity is essential. This includes verifying that the measures coincide in all appropriate tempered distribution senses, not just locally near boundaries. Specifically, the claimed equivalence ⟨μL,φ⟩=⟨μξ,φ⟩\langle \mu_{L}, \varphi \rangle = \langle \mu_{\xi}, \varphi \rangle \quad for all the test functions φ∈Aη\varphi \in A_{\eta} requires a complete distributional proof that addresses both the global validity of this identity across the entire function space and the rigorous justification of all intermediate steps in the explicit formula manipulation.

Providing a more comprehensive and rigorous treatment of these aspects within the framework of tempered distributions or microlocal analysis could strengthen this argument. Incorporating such rigorous global equivalence analysis would greatly support the central claims.

\subsection{Uniqueness Principle and Analytic Continuation}

The principle extending local agreements to global equality is intuitively compelling. However, more detailed justification, perhaps through explicit domain analysis and verification of growth conditions within complex analytic frameworks, would enhance clarity and rigor.

This could include relating the arguments explicitly to classical results on analytic continuation where applicable.

\subsection{Endpoint Term Corrections}

The manuscript could benefit from a careful and systematic treatment of endpoint terms arising from bandwidth cutoffs, potentially drawing on advanced tools in distribution theory and boundary value analysis.

Such treatment would help rule out subtle contributions that could affect positivity and convergence properties vital for the main results.

\subsection{Regularized Determinants and Coefficient Identifications}

Utilizing det⁡2\det_2 as a spectral encoding device is a good choice, but providing more detail on operator trace-class approximations and on controlling error terms in coefficient transport would clarify the arguments.

\subsection{Density Arguments and Limit Interchanges}

The extension from finite bandwidth test spaces to a larger function class via densification and the use of dominated convergence requires more explicit uniform bound proofs.

Ensuring these limits are justified will add robustness to the positivity results claimed.

\section{Citations Suggestion of References}

The following authoritative references, many of which are already cited or well-known in the manuscript, provide rigorous mathematical foundations underpinning the identified technical gaps. They are classical and comprehensive works in operator theory, analytic number theory, and distributional analysis, and they directly relate to the theoretical techniques suggested above to strengthen the manuscript's arguments.

\begin{thebibliography}{99}

\bibitem{hormander1}

L. H\"{o}rmander, \textit{The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis}, 2nd ed., Springer-Verlag, Berlin, 1990.

\bibitem{hormander3}

L. H\"{o}rmander, \textit{The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators}, Springer-Verlag, Berlin, 1985.

\bibitem{treves}

F. Tr\`{e}ves, \textit{Introduction to Pseudodifferential and Fourier Integral Operators}, Vol. 1, Plenum Press, New York, 1980.

\bibitem{titchmarsh}

E. C. Titchmarsh, \textit{The Theory of the Riemann Zeta-Function}, 2nd ed., revised by D. R. Heath-Brown, Oxford University Press, Oxford, 1986.

\bibitem{montgomery-vaughan}

H. L. Montgomery and R. C. Vaughan, \textit{Multiplicative Number Theory I: Classical Theory}, Cambridge Studies in Advanced Mathematics, Vol. 97, Cambridge University Press, Cambridge, 2007.

\bibitem{simon}

B. Simon, \textit{Trace Ideals and Their Applications}, 2nd ed., Mathematical Surveys and Monographs, Vol. 120, American Mathematical Society, Providence, RI, 2005.

\bibitem{gohberg-krein}

I. C. Gohberg and M. G. Krein, \textit{Introduction to the Theory of Linear Nonselfadjoint Operators}, Translations of Mathematical Monographs, Vol. 18, American Mathematical Society, Providence, RI, 1969.

\bibitem{lions-magenes}

Lions, J.L. and Magenes, E., 2012. Non-homogeneous boundary value problems and applications: Vol. 1 (Vol. 181). Springer Science &\& Business Media.

\end{thebibliography}

\subsection{Citation Placement Recommendations}

\textbf{Section 2.1—Small-Bandwidth Equivalence:}

\begin{itemize}

\item \textit{Where}: At heuristic half-rule corrections for endpoint behaviors \\

\textit{Add}: following rigorous distributional methods \cite{hormander1}

\item \textit{Where}: At prime p = 2 contributions \\

\textit{Add}: using microlocal analysis techniques \cite{treves}

\end{itemize}

\textbf{Section 2.2—Uniqueness Principle:}

\begin{itemize}

\item \textit{Where}: At intuitively compelling statement \\

\textit{Add}: as established in classical analytic continuation theory \cite{titchmarsh}

\item \textit{Where}: Before growth condition claims \\

\textit{Add}: applying standard growth estimates \cite{montgomery-vaughan}

\end{itemize}

\textbf{Section 2.4 - det⁡2\det_2 Construction:}

\begin{itemize}

\item \textit{Where}: At first mention of det⁡2\det_2 \\

\textit{Add}: following Simon's trace-class framework \cite{simon}

\item \textit{Where}: At coefficient transport \\

\textit{Add}: using spectral theory methods \cite{gohberg-krein}

\end{itemize}

\section{Additional Suggestions}

\begin{itemize}

\item Providing a more accessible notation overview and schematic overview diagrams could assist readers in navigating the complex framework.

\item Considering incremental submissions of core lemmas and principles for focused feedback before the whole proof attempt might help.

\end{itemize}

\section{Conclusion}

This work represents a challenging and inventive approach to one of mathematics' greatest open problems. While there appear to be gaps in the current form, the technical insights developed could inform ongoing research and stimulate discussion.

I hope the suggestions offered are helpful and contribute positively to the further development of this manuscript.

\vspace{1cm}

\noindent

\textbf{Pre-Reviewer:} Anik Chakraborty,\\

\textbf{Affiliation:} Department of Mathematics, University of Delhi, India\\

Date: September 17, 2025

\end{document}

Competing interests

The author declares that they have no competing interests.

Read the original source

Proof of the Riemann Hypothesis

This article has been Reviewed by the following groups

Discuss this preprint

Listed in

Abstract

Article activity feed

Competing interests