← All collections

$

Quantitative Finance

Exact pricing, risk, and distributions

Closed-form results and machine-verified theorems for financial mathematics — rough volatility, expected shortfall, spectral importance sampling, and exact distribution theory.

8 papers

Quantitative Finance Draft Lean Flagship
The Fenton Distribution Solved
The moment-based Latent representation of correlated lognormal sums (Nagy, 2026, *The Exact Latent Distribution of Correlated Lognormal Sums*) relies on scaled moments $c_k = m_k/k!$ that grow as $e^{\sigma_{\max}^2 k^2/2}$.
14,277 words 10 claims
quantitative_finance Draft Lean
The ATM Skew Power Law: A Machine-Verified Derivation from the rBergomi Model
We derive the ATM implied volatility skew power law $\psi(T) \sim C \cdot T^{H-1/2}$ from the rough Bergomi (rBergomi) model through a machine-verified chain of 125 theorems.
14,265 words 62 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
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 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 Draft Lean
Bayesian Live Risk
We propose Bayesian Live Risk (BLR), a framework in which the spectral representation of portfolio loss is treated as a posterior state updated in real time.
11,538 words 5 claims
Quantitative Finance Working Paper Lean
The Spectral Volatility Surface
We construct a low-rank arbitrage-aware volatility surface with $O(rm)$ parameters and closed-form COS reuse for pricing and Greeks. Total implied variance is expressed as a finite cosine series in log-moneyness, $w(k, T) = c(T) + \sum_j u_j(T)\cos(\omega_j k)$, with $r = 6$–$12$ modes per maturity.
8,745 words 10 claims
Quantitative Finance Draft Lean
Fin Arcsinh Bs
We derive a closed-form European option pricing formula valid for all spot prices \( S_0 \in \mathbb{R} \), including negative values. The formula replaces the logarithmic transform of Black-Scholes with the inverse hyperbolic sine, yielding a three-term call price \( C = S_+ \Phi(d_+) - S_- \Phi(d_-) - K e^{-rT} \Phi(d) \).
8,413 words 8 claims