∴
Proof-Heavy
Papers with many verified theorems
Papers where most of the content is formal mathematics — theorem statements, proof sketches, and verified claims. Use these as a reference corpus, not as a narrative introduction.
5 papers · Auto-generated from the full corpus
Mathematics
Draft
DOI
The Euler Product Smoothness Theorem: Multiplicative Structure Forces Latent Existence
We prove that the distribution of values of random Euler products on the
critical line possesses a stable Latent — a finite rational approximation
with exponential convergence — and provide a **complete structural proof**
of the Euler Product Smoothn
Core Theory
Draft
Lean
DOI
Flagship
The Latent: Finite Sufficient Representations of Smooth Systems
We define the **Latent** of a smooth system as the basis-free element of a graded Hilbert tensor algebra that completely characterizes the system's distributional, dynamic, and functional properties.
Mathematics
Draft
Lean
DOI
Flagship
The Riemann Hypothesis via Zeta Moment Hankel Positivity
We establish a conditional proof that the Riemann Hypothesis follows
from moment upper bounds weaker than the Lindelöf hypothesis.
Quantitative Finance
Draft
Lean
DOI
Fin Fenton Spectral
The CDF of a weighted sum of correlated lognormal random variables has lacked a tractable characterization since Fenton (1960). We show that eigenvalue conditioning of the correlation matrix, followed by Fourier-cosine inversion, yields an analytic, grid-free $N$-term spectral representation of that CDF: the **Spectral Lognormal Distribution**.
Mathematics
Working Paper
DOI
The Riemann Hypothesis via Fourier-Euler Product: The Shortest Unconditional Proof
We prove the Riemann Hypothesis unconditionally from three classical inputs: Kronecker-Weyl equidistribution, the Bessel I₀ product identity, and Mertens' divergence theorem.