■
Most Mature
Working papers, fully developed
Papers classified as Working Papers in the maturity taxonomy — over 4000 words, Lean-verified or human-reviewed, ready to be cited or shared. The trust-layer entry points.
10 papers · Auto-generated from the full corpus
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.
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.
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
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.
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.
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.
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.
Physics
Working Paper
DOI
Spectral Error Mitigation: Exact Noise Inversion for Quantum Computers via Cluster Lindblad
Formal Verification
Working Paper
Lean
DOI
Explicit Flat Palm Weights for the Second Class Particle in a Three-State Attractive Interacting Particle System
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.