← All collections

Latest Work

Recently created or revised papers

Papers that have been added or substantially updated recently. Ordered by creation date. Maturity varies — some are polished, some are early drafts still being developed.

20 papers · Auto-generated from the full corpus

number_theory Short Draft Lean DOI
An Unconditional BGST$\to$R$_2$ Fourier Transfer via Poisson-Kernel Deconvolution
Baluyot, Goldston, Suriajaya, and Turnage-Butterbaugh [BGST23] proved the first unconditional asymptotic for Montgomery's pair-correlation function $F(\alpha, T)$, with error $O(1/\sqrt{\log T})$ uniformly for $\alpha \in [0,1]$.
4,073 words 6 claims
Physics Working Paper DOI
A refuted-and-vindicated pre-registration test of a spectral error model on a superconducting processor
We pre-register and test a spectral-error-mitigation prediction for the two-qubit gate fidelity of Quantum Inspire's Tuna-9 9-qubit transmon processor and execute it in four cryptographically timestamped stages.
7,875 words
Formal Verification Short Draft Lean DOI
Formal Koide Structure: Mass Bounds, Generation Counting, and Neutrino Predictions from the Z_N Ansatz
The Z₃ Ansatz $\sqrt{m_r} = a(1 + b\cos(\theta_0 + 2\pi r/3))$ with $b^2 = 2$ is a parametrization — not a dynamical model — that encodes the Koide mass relation $Q = 2/3$.
3,710 words
Formal Verification Draft Lean DOI
The Yang-Mills Mass Gap via Gauge Absorption and Perelman W-Entropy
**Theorem A (Main result, conditional).** Conditional on the 20 named Tier A–D hypotheses of §7.1 — in particular the three Tier-D perturbative-QFT inputs (`tomboulis_formula`, `b_zero_from_feynman`, `beta_1_rge_def`) — we establish that Yang-Mills t
20,020 words 5 claims
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.
3,525 words 18 claims
Mathematics Working Paper DOI
Full Density of Zeta Zeros on the Critical Line via GUE Universality
We prove that 100% of the nontrivial zeros of $\zeta(s)$ lie on the critical line in the density sense: $N_0(T)/N(T) \to 1$ as $T \to \infty$. The proof combines two results.
4,700 words 3 claims
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.
19,040 words 27 claims
Quantitative Finance Working Paper DOI
Spectral Importance Sampling: Optimal Rare-Event Simulation via Eigenvalue-Conditioned Measure Change
We develop a variance reduction framework for simulating rare events in correlated portfolios by exploiting the eigenvalue decomposition of the correlation matrix. The central observation is that the eigenvalue modes $Z_k$ — projections of the asset vector onto the eigenvectors of the correlation matrix — are mutually independent.
5,351 words 3 claims
Formal Verification Working Paper Lean DOI Flagship
Dimension-Independent Finiteness of Central Configurations for Positive Masses
We prove that for any $N \geq 3$ bodies with positive masses in $\mathbb{R}^d$ ($d \geq 2$), the number of central configurations modulo similarity is finite, resolving Smale's 6th Problem in **every spatial dimension $d \geq 2$ simultaneously**.
18,003 words 1 claims
Quantitative Finance Draft Lean DOI
Terminal Portfolio Value Distribution to Machine Precision
We present a deterministic, semi-analytical framework for computing the complete distribution of a portfolio's terminal value at horizon $T$ for correlated lognormal assets. Unlike traditional approaches, this method requires no Monte Carlo simulation.
5,172 words 3 claims
Physics Draft Lean DOI
The Fine Structure Constant from First Principles: A Two-Axiom Derivation via the Latent Grade Hierarchy
We derive the fine-structure constant $\alpha$ ($1/\alpha = 137.036$, CODATA) from two axioms — the Hurwitz classification of normed division algebras and a self-duality condition on the vacuum — with **zero free parameters**.
9,504 words 11 claims
Formal Verification Working Paper Lean DOI Flagship
Grade Decomposition and Gevrey Regularity for Navier-Stokes: A Machine-Checked Conditional Framework
We introduce a grade decomposition of the Gevrey energy balance for the incompressible Navier-Stokes equations. The physically correct model uses $\mathbb{C}$-valued Fourier coefficients with a factor of $i$ in the advection; the real-coefficient model trivializes all grade-3 terms.
9,471 words 7 claims
Machine Learning Draft Lean DOI
The Latent of Latents: Hierarchical Finite Representations of Knowledge Families
The Latent Theorem guarantees that any smooth system has a finite representation whose size depends on regularity and accuracy, not on ambient dimensionality. We extend this result to **families** of smooth systems.
11,938 words 7 claims
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.
80,076 words 35 claims
Physics Draft DOI Flagship
The Exact Latent Solution of the Gravitational Three-Body Problem
We argue that **every trajectory of the planar gravitational three-body problem** (excluding measure-zero triple collision) admits a finite Latent representation to arbitrary accuracy — an exact, implicit, constructive *encoding* in Fourier space — u
11,407 words 3 claims
Physics Short Draft Lean DOI
The Exact Latent Solution of the Gravitational N-Body Problem
We extend the exact Latent solution of the gravitational three-body problem [Nagy 2026g] to the general $N$-body case.
4,613 words 11 claims
Physics Short Draft Lean DOI
Practical Padé Representations of the Gravitational Three-Body Problem
We demonstrate that Padé resummation of Taylor-series solutions provides a practical, machine-precision representation of the full gravitational three-body problem.
2,886 words 1 claims
Quantitative Finance Working Paper Lean DOI
Contaminated by Construction: Separating Simulation Noise from Model Risk in ES Backtests
Expected Shortfall backtesting under Basel III/IV suffers from an unmeasured structural weakness: Monte Carlo estimation of ES injects computational noise into the Acerbi-Székely (2014) test statistic, but the magnitude of this contamination has not
12,334 words
Quantitative Finance Working Paper Lean DOI
Deterministic Portfolio VaR Without Monte Carlo: The Eigen-COS Method
We present the Eigen-COS method, a deterministic algorithm that computes exact Value-at-Risk, closed-form Expected Shortfall, and the full CDF/PDF for weighted sums of correlated lognormal assets — without Monte Carlo simulation.
11,097 words 3 claims
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**.
10,471 words 19 claims