quant research // summarizing the paperLOADING
Alexander S. Ushakov, Yury N. Berdinsky · 2026-07-26
A plain-English AI summary of what this paper means for investors — generated on demand from the abstract.
We apply the Henstock--Kurzweil (HK) gauge integral to the Black--Scholes model of option pricing and obtain the European call price directly from a Gaussian cylindrical kernel, without stochastic calculus. Under the risk- neutral measure, the log-price is a Brownian motion with drift nu = r - sigma^2/2. Its transition density is the Gaussian kernel G_t(x,y) = (2 pi sigma^2 t)^{-1/2} exp( - (y - x - nu t)^2 / (2 sigma^2 t) ). We give a machine-checked formalization in Lean 4 / Mathlib of the following: the Chapman--Kolmogorov (semigroup) property, the fact that G_t is a probability density, strong continuity of the pricing operator, the closed-form price C = S_0 N(d_1) - K e^{-rT} N(d_2) with the standard normal CDF N, and the exactness of the drift--diffusion Chernoff splitting at every level. The entire proof is "sorry"-free and depends only on propext, Classical.choice, and Quot.sound. Digital and barrier options are treated as further examples, illustrating the universality of the method, and we show that the construction is compatible with the classical Ito calculus in the continuum limit.
Go deeper: a full research-committee breakdown of this paper, its assumptions and failure modes, and how its method would apply to a specific ticker or your watchlist. See StockTools AI →
AI summary generated from the paper’s public abstract via arXiv; it may miss nuance — read the source before relying on it. Thank you to arXiv for its open-access interoperability; StockTools is not affiliated with arXiv, and all rights remain with the authors. Educational only, not financial advice.