← 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

Formal Verification Working Paper Lean DOI
Explicit Flat Palm Weights for the Second Class Particle in a Three-State Attractive Interacting Particle System
3,823 words 3 claims
Quantitative Finance Draft Lean DOI
The Projected-Generator Method for Path-Dependent Derivative Pricing
Derivative pricing has a clear mathematical target: compute the discounted risk-neutral value of a payoff under a specified model. For European vanilla contracts this target is often analytic or nearly analytic.
24,467 words 7 claims
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,075 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,877 words
Formal Verification Draft Lean DOI
Resolving the Equity Premium Requires at Least Two Dimensions: A Machine-Checked Class No-Go and a Term-Structure Discriminator
The equity premium puzzle of Mehra and Prescott (1985) is the observation that the standard consumption-based asset pricing model, calibrated to plausible risk aversion and the observed smoothness of aggregate consumption, predicts an equity premium
20,868 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,716 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,060 words 5 claims
Mathematics Working Paper Lean DOI
The Riemann Hypothesis via Fourier-Euler Product: A Short Conditional Reduction
We give a short conditional reduction of the Riemann Hypothesis to three classical inputs — Kronecker-Weyl equidistribution, the Bessel I₀ product identity, and Mertens' divergence theorem — plus a cited pair-correlation step.
3,579 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,708 words 3 claims
Mathematics Draft Lean DOI Flagship
Toward the Riemann Hypothesis: A Superquadratic-Growth Framework for Zeta Moments and its Limits
We present an algebraic framework relating the growth of the zeta moments to Hankel-determinant structure, together with an honest account of where the framework does and does not reach the Riemann Hypothesis.
21,020 words 24 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,353 words 3 claims
Formal Verification Working Paper DOI Flagship
Toward Dimension-Independent Finiteness of Central Configurations for Positive Masses: A Scope-Audited Reduction with Named Open Bridges
A proposed route toward finiteness of central configurations for positive masses, with formalized components and explicit assumptions.
35,889 words 6 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,174 words 3 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,940 words 7 claims
Physics Draft DOI Flagship
Toward an Exact Latent Encoding of the Gravitational Three-Body Problem
A proposed finite Latent encoding for gravitational three-body trajectories, with convergence and formalization status separated from the main claim.
12,548 words 3 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.
61,534 words 28 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,888 words 1 claims
Physics Working Paper DOI
Spectral Error Mitigation: Exact Noise Inversion for Quantum Computers via Cluster Lindblad
4,368 words 3 claims
Formal Verification Working Paper Lean DOI
Harvestability
This paper studies **harvestability** as a horizon object for portfolio allocation within a CRRA investor model facing Ornstein-Uhlenbeck eigenmodes.
17,342 words 22 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,336 words