Ball and Roma unify the Hull-White (1987) (H-W) power series and Stein-Stein (1991) (S-S) Fourier inversion approaches to stochastic volatility option pricing, showing both are applications of the moment generating function (MGF) of average variance AV=(1/T)∫σ2(s)ds. They extend both methods to the Cox-Ingersoll-Ross (CIR)/Heston (1993) square-root volatility model using the CIR bond pricing formula, derive a formal analytical explanation for the volatility smile, and correct errors in Stein-Stein's analysis — specifically their misuse of σˉ2 as the Black-Scholes (BS) benchmark instead of E[AV].
Key Claims
MGF unification: H-W and S-S are two uses of the same MGF K(λ)=E[exp(−λ∫σ2(s)ds)]. H-W differentiates K at λ=0 for moments → power series; S-S inverts K as a Fourier transform → exact density.
Square-root model MGF: For Heston (1993) variance process dv=a(m−v)dt+ζvdz, the MGF of average variance is I∗(λ)=exp(N∗(T)+M∗(T)⋅v0), where γ=a2+2λζ2/T, g(T)=2γ+(a−γ)(1−e−γT), N∗(T)=(am/ζ2)⋅ln[2γ/g(T)], M∗(T)=−2(1−e−γT)/g(T). Read directly from CIR (1985) bond pricing formula — far simpler than S-S's sinh/cosh expressions.
Power series accuracy: option price OP≈BS(E[AV])+21⋅∂AV2∂2BS⋅Var(AV)+61⋅∂AV3∂3BS⋅Skew(AV). Second-order truncation (OP2) accurate to the penny for all plausible parameter values. Third-order (OP3) can be unstable; OP2 recommended.
Volatility smile derivation: Implied variance under the false BS assumption is approximately E[AV]+ε, where ε≈21⋅E[AV]Var(AV)⋅(−(c2/2)2+(c1/c2)2−1), with c1=ln(P/Ke−rT) and c2=E[AV]⋅T. ε is quadratic in log-moneyness c1, minimized at-the-money (ATM, c1=0) and rising for out-of-the-money/in-the-money (OTM/ITM) options — the U-shaped volatility smile follows analytically from Jensen's inequality applied to the BS price's convexity in variance.
S-S misdiagnosis corrected: S-S reported systematic upward option pricing bias from SV. Error: they compared their SV price against BS at variance σˉ2 (Ornstein-Uhlenbeck, OU, long-run mean of σ squared). Correct benchmark is E[AV]=σˉ2+k2/2δ+transient terms>σˉ2 (Jensen's inequality). With correct benchmark, SV gives downward bias ATM and upward bias OTM/ITM.
∣σ∣ vs. reflected OU: S-S claimed their arithmetic OU model is equivalent to a reflecting barrier at σ=0. In fact they model ∣σ(t)∣ (absolute value of OU), whose transition density is p(x,y;t)+p(x,−y;t) — not the reflecting-barrier density satisfying the Kolmogorov boundary condition at 0. The absolute-value process has a higher long-run mean than σˉ, imparting upward bias to E[AV].
Expected average variance (OU model): E[AV]=σˉ2+k2/2δ+(2δ(σ0−σˉ)−k2(1−e−δT))/(δ2T). The limiting average variance (T→∞) converges to σˉ2+k2/2δ>σˉ2, confirming the upward bias.
Zero correlation constraint: All methods require dz1⊥dz2. With nonzero correlation, P conditional on AV is no longer lognormal; both power series and Fourier-via-AV methods break down. Heston (1993) handles nonzero correlation via characteristic functions of log-price directly.
"The core technical problem, tackled by these two papers, is the characterization of the distribution of the average variance of the underlying asset, which may be achieved through its moment generating function."
"Not only are the option prices in close agreement but the stochastic volatility price is below the BS counterpart. This behavior was not demonstrated in the S&S paper."
"The implied variance of the BS option price when the true price process is subject to stochastic volatility is approximately quadratic in c1, the 'out-ness-of-the-money.'"
My Take
The paper's lasting contribution is the MGF-of-average-variance framework: it clarifies that all zero-correlation SV option pricing methods are equivalent in principle and differ only in how they use the MGF. The closed-form connection to CIR bond pricing is elegant and makes the Heston model tractable without requiring the full characteristic-function machinery Heston used. The S-S correction is important pedagogically — the error (using σˉ2 instead of E[AV] as the BS benchmark) is easy to make and was influential. The smile derivation (Section V) is clean and intuitive, though it only works for the uncorrelated case; the empirically observed skew (asymmetric smile) requires nonzero leverage, which is outside this paper's scope.