Gaussian maximum 2026-10-06
For independent standard normal random variables , the maximum of has scale . A union bound and the Gaussian tail bound give the upper scale. Integrating the normal density over gives a lower tail bound , implying .
For the unnormalized normal density , the smallest axis-aligned envelope is and . The boundary reaches that width at . Region area is , so the acceptance rate is , independently of . Multiplying by a positive constant rescales both coordinates and their areas consistently.
Normal scale mixture representation of Student t Created 2026-10-14 Updated 2026-10-20
For independent and , the displayed ratio has the Student t-distribution with statistical degrees of freedom. Equivalently, conditional on , has normal distribution . This is a normal scale mixture representation of Student t: a small latent denominator occasionally produces a much larger spread. The result is a heavy-tailed distribution even though every conditional probability distribution is a normal distribution.
For a short derivation, independence lets us multiply the conditional normal density and the chi-squared distribution's probability density function, then integrate over the unobserved :
The resulting gamma function integral has shape and rate , yielding the normalized probability density function above. Also, for , conditional expectation gives . Thus unit scale does not mean unit variance. Finally, and imply convergence in probability to 1 by Chebyshev's inequality; Slutsky's theorem then gives the standard normal distribution limit.
The independent coordinates make the logarithm of the probability density ratio a sum. For coordinate , its contribution to the Kullback-Leibler divergence is
because . Thus, retaining all constants,
Here and , so both normal densities are nondegenerate.
Under the risk-neutral measure, write
Complete the square in the normal density after multiplying by the power of . The truncated lognormal moment gives, for ,
All real powers have finite moments in this lognormal distribution. If , the indicator is identically one and . The function is an undiscounted conditional moment; the option prices below additionally include the discount factor.
Separate into a diffusion generator and the constant killing term . The appropriate stochastic differential equation and its explicit geometric Brownian motion solution are
The second-order term in the Itô formula cancels the drift of when ; if , the solution stays zero.
Fix a terminal time . Apply the Itô formula to for . Its drift is
After localization this is a local martingale, and it is bounded because is bounded. It is therefore a true martingale. Taking expectations at its endpoints gives the Feynman-Kac formula
For and , the change of variable in the normal density produces the killed geometric Brownian heat kernel with respect to Lebesgue measure:
For , an equivalent form is
In particular,
The apparent missing in this last expression is absorbed into the completed square, together with the killing factor; it is not a transcription error. The total mass is , as expected for killing at rate . At the fundamental kernel is instead the measure ; it has no Radon-Nikodym derivative with respect to Lebesgue measure. Thus . At the kernel is , and continuity of bounded gives the initial condition. This also specifies the fundamental solution at the degenerate point omitted by a density-only formula.
Let denote the time- price of a zero-coupon bond paying one at maturity , with . Information available at is the sigma-algebra in the market filtration. For a curve differentiable in maturity, the instantaneous forward rate and its diagonal short rate are
The last identity follows by integrating the maturity derivative and using . The continuous-time bank account reinvesting at the short rate is , and its reciprocal is the discount factor. Modelling forward rates means specifying a random maturity-indexed curve with an evolution consistent with the same pricing measure for every bond. The expectation below is under that money-market risk-neutral measure, not an unspecified physical measure.
For fixed maturity , if is a true martingale on , its terminal value is . Consequently
Conversely, this representation gives , a conditional-expectation martingale by the tower property. For example, for , conditioning the right side on returns . These claims assume . A positive discounted local martingale alone need not equal the conditional expectation of its terminal value, so the word “martingale” cannot be weakened without an extra integrability argument.
In the Vasicek model, the Brownian motion and coefficients in must be understood under this pricing measure. Multiplying by and integrating gives, conditionally on ,
Assume first , and put and . Integrating the explicit solution over yields
The interchange of the stochastic integrals is justified by their deterministic square-integrable kernels on the finite triangular domain; equivalently approximate the kernels by step functions, interchange finite sums, and pass to the limit using the Itô isometry. The last integral conditionally has a centered normal distribution independent of , with variance
A deterministic Brownian integral is Gaussian because its step approximations are sums of independent normal increments; their variances converge by the Itô isometry. Completing the square in the normal density proves for a normal variable of mean and variance . Hence the zero-coupon bond price is exponential-affine:
An equivalent familiar form is
At , both coefficients are zero and the bond value is one. These formulas are valid for negative as well as positive nonzero on finite horizons, though a genuinely mean-reverting Vasicek model has . For , direct integration gives , and
All the exponential moments used above are finite, so the prices defined by the conditional expectation do give true discounted martingales.
To fit an initial bond curve, let its observed prices be positive, satisfy , and have a sufficiently smooth instantaneous forward rate . Set ; this compatibility is forced by the infinitesimal-maturity bond price. Replace by a deterministic function , with , so that
Its mean satisfies , . The variance of the integrated rate remains , since changing deterministic drift does not change the centered Gaussian process. Therefore
The required mean is consequently . Solve its mean equation for :
Combining the last two terms gives the explicit Hull-White model calibration in the question's parameter convention:
With , the specified mean solves the same linear differential equation and initial condition as the model mean, so it is the actual mean. The resulting model forward curve equals ; integrating and using proves for every maturity. If the drift is instead written , its calibration parameter is , not itself.
The printed allowance of arbitrary constants needs a qualification for this final claim. If , replacing by changes no coefficient at all: regardless of . Its initial curve is fixed at . With , the compatible smooth observed curve is already a counterexample to the unconditional fitting claim. Thus arbitrary compatible smooth positive initial curves can be fitted by the stated replacement when ; it cannot fit arbitrary curves when . In that degenerate case one can instead introduce an independent deterministic drift in , choosing to recover the desired initial curve. Likewise an externally fixed is incompatible with exact fitting, and an arbitrary nonsmooth set of prices need not define the differentiable forward curve assumed in the model.
Write for the standard normal density. Differentiating the Black-Scholes formula and using gives
The last equality follows by differentiating . This derivative is the option's vega.
For , use the unnormalized normal density . Its ratio region is
The bound on is one because is maximized at zero. To bound , maximize for . Its derivative vanishes at , giving . Thus the normal ratio-of-uniforms envelope is , .
Draw independent , set and , and accept precisely when
returning . Equivalently compare logarithms to avoid underflow. Since , the region area is and the rectangle area is . Therefore
It is independent of the normal scale. In the diagram the vertical coordinate is normalized by , so the same shape works for every positive scale.
Figure 1.
Normal ratio-of-uniforms region and its minimum axis-aligned rejection rectangle
. Details.
The printed assertion is false as a supremum bound uniform over shrinking bandwidths. The supplied hint proves a pointwise stochastic order with constants uniform in . Taking the supremum inside the probability changes the problem: a growing number of spatial windows produces a logarithmic cost. We first establish the valid consequence of the hint, then give a counterexample satisfying the printed assumptions.
For , let , and . The Invariant distribution of an Itô diffusion has a probability density function bounded above and bounded away from zero on the required compact interval. Choosing therefore gives constants such that , uniformly for and .
For the centered function , . Outside , . The given second-moment estimate and the Chebyshev inequality yield
On the event , the drift coefficient contributes an average whose error is at most , by Hölder continuity. The Itô isometry and stationarity give . Another use of the Chebyshev inequality proves
This also accounts for the zero-denominator convention through the first exceptional event. The bound proves pointwise , uniformly in the location's tail probabilities. It supplies no bound for the probability of a supremum over all locations.
For an explicit counterexample, take and the bounded globally Lipschitz function
It has Lipschitz constant , exponent , and satisfies the inward-drift conditions with , . The stochastic differential equation has a unique strong solution of a stochastic differential equation. Its Invariant distribution of an Itô diffusion has density
The exponent is zero on , equals when , and equals outside . This verifies integrability, positivity and a constant density on the central interval. Start the Itô diffusion in this Invariant distribution of an Itô diffusion to obtain the required stationary process.
Set and choose windows with centers , . Their intervals are disjoint and lie in , where the drift is zero. Write
Then whenever . The same occupation bound as above gives for . With , a union bound and the Chebyshev inequality imply
The quadratic variations are , and the cross quadratic covariations vanish since the windows are disjoint. Each clock tends to infinity almost surely: for any fixed window, the occupation estimate at times , followed by the Borel-Cantelli lemmas, gives . The Knight theorem for orthogonal martingales therefore represents using independent standard Brownian motions . This theorem is applied to the finite collection for each ; no growing-dimensional central limit theorem is being assumed.
On the preceding clock event, compare each time-changed Brownian motion with its value at deterministic time . The Brownian reflection principle and a union bound show that, for every fixed ,
This bound does not require the Brownian motions to be independent of their clocks. In particular, in probability. The variables are independent random variables. Their Gaussian maximum exceeds with probability tending to one: for , integration of the normal density over gives , and hence
Since on the clock event, it follows that, for some ,
But for this bandwidth. Thus the error after subtraction of and multiplication by is not bounded in probability, contradicting the printed stochastic order. The valid pointwise bound above is provable; the uniform shrinking-bandwidth assertion is not. This counterexample shows why a uniform rate needs at least a enlargement of the noise scale. If is instead held fixed and constants may depend on , this counterexample does not contradict that different interpretation.
For the standard normal density, . Using integration by parts,
The boundary term vanishes because Gaussian decay dominates every power. Since the given mean is zero and variance is one, , yielding the Gaussian fourth moment
The displayed identity requires a correction to the process construction in the source. In a piecewise-deterministic Markov process, the instantaneous hazard function is evaluated at the current flowing state , and the destination is sampled from . Keeping the jump times and destinations of the original Markov jump process instead evaluates both quantities at its last reset state , which generally differs from . The source PDF confirms that these original jump times and destinations were retained. Consequently its definition does not in general produce the asserted transition kernel, or even a Markov process in the state variable alone.
For an explicit counterexample, take , , , and let every be the standard normal distribution, independently of . These are smooth coefficients with bounded positive jump rate, so nonexplosion holds. In the literal construction, the first holding time has the exponential distribution of rate . Thus the probability distribution of has an atom of mass at . Paths with at least one jump contribute no atom there, because the reset has a normal density. The asserted identity instead assigns to this no-jump atom the mass
which differs for every .
Here is the full derivation for the intended piecewise-deterministic Markov process. Assume nonexplosion; smoothness alone does not guarantee it. Start at , let be the first jump after , and set
One precise construction draws an independent unit-rate exponential random variable and takes , with . This implements a hazard function along the flow of a vector field, rather than a fixed exponential holding time at the last reset. Its survival probability and jump-time probability density function are
Equivalently, with . On , the terminal state is . Conditional on , draw the new state from and restart the same construction from . The Markov property and the tower property of conditional expectation therefore give the first-jump decomposition of a piecewise-deterministic Markov process
This proves the requested identity under the corrected construction, for every bounded Borel measurable function . The two contributions partition according to whether the first jump occurs before ; later jumps are already contained in .
For comparison, the literal construction does have a different renewal identity when started at a reset with . If denotes only these reset-start operators, the same conditional expectation argument gives
These need not be the transition operators conditional on at an arbitrary time: that observation does not specify the hidden reset state. This distinction explains exactly why replacing only the between-jump paths is insufficient.