← 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,623 words 7 claims
Core Theory Working Paper DOI
The Structured Latent Basis: Feature Engineering as Basis Selection
We introduce the Structured Latent Basis (SLB) framework, a perspective that compares feature engineering, meta-learning, and representation learning through a common diagnostic question: does the chosen representation make a regularized linear predi
6,304 words 2 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
number_theory Working Paper Lean DOI
Conditional BSD Implications with Twelve Explicit Debt Assumptions
The Birch and Swinnerton-Dyer conjecture predicts that for an elliptic curve $E/\mathbb{Q}$ the Mordell-Weil rank equals the order of vanishing of the Hasse-Weil $L$-function at $s = 1$.
10,226 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
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
mathematics Draft Lean DOI
A Finite-Dimensional Bounded-Perturbation Certificate
Saddle-point approximations replace an action by its quadratic part, but transferring a quantitative error statement between applications requires an explicit remainder estimate.
9,373 words 12 claims
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,863 words 23 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,806 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
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,473 words 7 claims
Core Theory Draft 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,268 words 27 claims
Quantitative Finance Draft Lean DOI Flagship
The Fenton Distribution: An Elementary Representation
An elementary representation route for sums of correlated lognormals; published with DOI and stated for review.
13,537 words 9 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,550 words 3 claims