The Gaussian free field is a random distribution, so its purported level curve cannot be defined by evaluating its height at every point. A coupling must instead be stated using conditional means and covariances. The SLE4 coupling with a Gaussian free field does exactly this.
Choose the Green-function normalization
A Zero-boundary Gaussian free field is characterized on real compactly supported smooth test functions by
Equivalently its energy normalization is the Dirichlet inner product . This fixes the otherwise convention-dependent height constant.
Set and
The field has prescribed Dirichlet values on the negative half-line and on the positive half-line. Subtracting recovers the zero-Dirichlet field . It is the shifted field , rather than an unshifted zero-boundary field, whose zero-height interface has ordinary chordal law.
Let be chordal from to , with Chordal Loewner equation and . Write and . The coupling statement is:
where, conditionally on the curve, is an independent zero-boundary field in the slit domain. The equality is for restrictions to test functions in that domain, and extends to suitable stopping times. Its covariance is by conformal invariance. The two sides of the revealed slit have heights and , in the order specified by their real images under . This is the continuum meaning of a Gaussian free field level line.
The fundamental calculations explain why the parameter is four. For , the Itô formula gives
At the drift vanishes. Thus
Each harmonic mean is a bounded martingale before approaching its point. Differentiating the explicit conformally transformed Green function gives the Loewner variation of the Dirichlet Green function
Therefore
In words, the variance learned from the evolving mean exactly equals the covariance lost when the slit is removed. For a Green kernel the same calculation gives ; using a different Green normalization changes the height constant, not the SLE parameter.
To construct the coupling, first sample the SLE curve. In the two components to its left and right, sample independent zero-boundary fields and add the corresponding constant heights. Extend these as distributions to obtain the candidate full field. The following martingale identity proves its marginal law rather than merely matching its first two moments.
For a real test function , put and
Localization permits integration of the pointwise identities. They yield . Hence
is a complex local martingale: the drift cancels the Itô correction. Since , , making it a true martingale. At the complete-curve limit, becomes the constant height in each component and the remaining Green kernel becomes that of those components. Thus is the conditional characteristic function of the sampled candidate field. Taking expectations gives
Applying this to every linear combination of test functions proves the entire Gaussian law, not only its covariance. The conditional version proves the displayed conditional-field statement. Exhaustion by compact test supports justifies passage across the slit and the limiting distributional extensions.
This revealed curve is a local set of a Gaussian free field: conditionally on it, the remaining field is a zero-boundary field plus a specified harmonic function. The spatial Markov property is thereby preserved at random domains, a property not available for arbitrary field-dependent sets. One can strengthen the coupling to a curve measurable from the field. The proof explores compatible interfaces in small subdomains and uses the conditional boundary heights and monotonicity to show that two such interfaces for the same field cannot separate; a countable exhaustion gives uniqueness. This supplies a rigorous replacement for the informal phrase “draw the zero contour.” It does not assert that the distribution has pointwise values.
The coupling is useful in both directions: SLE martingales give exact conditional Gaussian free field data, while the Gaussian Markov structure explains the SLE domain Markov property and its distinguished parameter. With the above normalization, the height jump is , and the corresponding interface is chordal SLE4.
Work under the money-market risk-neutral measure, with . The zero-coupon bond price is . For this CIR model, write . The Feynman-Kac formula gives
Matching the constant and linear coefficients of yields
For CIR bond pricing, solving this Riccati equation and integrating the scalar equation for , put and . Then
Substitution verifies both equations and their initial conditions. The discounted candidate solves the martingale pricing equation; its boundedness on finite horizons, or Feynman-Kac formula, identifies it with the conditional expectation. The answer is . More generally the same coefficients give .
The CIR model mean reverts to and has volatility , so it remains nonnegative and its fluctuation size depends on the rate level. For positive initial rate, zero is inaccessible if ; below this threshold zero is reachable but the process remains nonnegative. Its stationary law is a gamma distribution, of shape and rate . Explicit affine bond prices and nonnegative rates are useful features. Limitations include exclusion of negative rates, restricted volatility behavior and a single stochastic factor; the time-homogeneous parameter family cannot fit an arbitrary initial term structure exactly.
A futures contract fixes a maturity and underlying quantity, but its quoted delivery price is marked to market: gains and losses from quote changes are settled through the margin account, typically daily. A newly settled position has zero contract value; the quoted futures price is not an upfront purchase price for that position. At maturity the quote equals the spot price. In the continuous-settlement idealization, discounted futures gains must be local martingales under the money-market risk-neutral measure. Thus the quote has zero pricing-measure drift. Assuming the relevant integrability makes it a true martingale, .
This is a futures pricing formula. In contrast, an unsettled forward contract has delivery quote , where . Stochastic interest rates can make the two quotes differ. Contango means the futures quote is above spot for the maturity considered, while backwardation means it is below spot; futures curves are correspondingly described as rising or falling when comparing maturities.
For the Multivariate Ornstein-Uhlenbeck process, multiplication by the matrix exponential gives , hence
For deterministic , the Gaussian distribution has mean and covariance
Equivalently , . No symmetry or invertibility of is required. This covariance can also be evaluated from a single block matrix exponential: if the upper-right block of is , then . If is random, these assertions hold conditionally on ; the unconditional law need not be Gaussian. A stationary Gaussian law exists when the eigenvalues of have positive real parts, but stability is unnecessary for the finite-time formulas.
For , the conditional mean of is and its conditional covariance is . The Gaussian exponential-moment formula therefore gives the explicit quote
It tends to as , as required.
Yes: different adapted volatilities can give perfectly correlated terminal prices. The counterexample in part ii already establishes this with one nonconstant volatility. Both can be nonconstant as well. Put and take
The Doléans-Dade exponential has volatility , bounded between and . The second stock has volatility , also bounded and nonconstant. Their squared volatility difference integrates to
The Novikov condition and boundedness give true square-integrable martingales, and the Itô isometry gives positive variance for each . Yet gives correlation one. The mechanism is positive affine dependence, not equality of the multiplicative volatility coefficients; it also explains the failure of the literal part-ii premise.
The principle terminal correlation does not identify adapted stock volatility exposes a false printed assertion for the correlation coefficient defined in the introduction. Take , , and
Then and
Hence and are bounded. Both terminal prices have positive finite variance and are perfectly correlated, because one is a positive affine function of the other. Nevertheless on every continuous finite stock path. Equal initial prices fix the means, not the affine slope.
Here is the exact general conclusion and the intended qualified proof. Bounded volatilities make these zero-rate stochastic exponentials true square-integrable martingales. Writing , perfect terminal correlation gives for some . Conditional expectation therefore gives for every . Comparing stochastic integrals, the Itô isometry yields
This relation need not imply equality of the volatilities.
The terminal proportionality identifies bounded stock volatility criterion repairs the statement. If one additionally assumes equal terminal variances, then and the whole stock paths coincide, so positivity gives almost everywhere and the requested integral is zero. The same repair follows if terminal proportionality is assumed: equal martingale means force , after which the conditional-expectation and Itô isometry argument applies. This proves the intended conclusion under a sufficient additional hypothesis without treating centered correlation as uncentered proportionality.
For the quadratic Ornstein-Uhlenbeck state-price density, apply the Itô's formula under the reference probability measure. Since and ,
The stochastic integral is a true martingale on finite horizons by the finite moments of the Ornstein-Uhlenbeck process. A uniform sufficient condition is , making the finite-variation drift nonpositive. This is also the condition for nonpositive drift at every state.
Use the positive state-price density to price a terminal payoff by . The riskless account must cancel the drift of , giving the short rate
This pricing system is consistent with a money-market risk-neutral measure: with , the process is a stochastic exponential whose diffusion coefficient is bounded. The Novikov condition makes it a true density martingale. The original Brownian motion is for the reference measure, not automatically for this new pricing measure.
For , the OU second moment is . Thus the zero-coupon bond price is
Conditionally at time , replace by and by .
The short rate is nonnegative under the condition above, increases with , and lies between and . The model is tractable but imposes fixed rate bounds, identical rates for opposite values of , and a restricted one-factor term structure. Its long-maturity yield is . These structural restrictions, including exclusion of negative rates under the supermartingale condition, may be unsuitable for a general interest-rate fit.
For zero drift, the reflection principle gives the known Brownian first-passage time density
To obtain a general drift, on a fixed finite horizon use the exponential martingale as change-of-measure density. The Novikov condition holds for constant , and the Girsanov theorem says that the coordinate process has drift under the new measure. Thus the hitting law of under that measure is the law of under the original measure. Conditional expectation of at a hitting time bounded by equals its stopped value, by the martingale optional sampling theorem. At this value is . The drifted Brownian first-passage density is obtained by multiplying , giving .
To verify the integrated formula, put and . The identity for the standard normal density gives
Both terms vanish as , so . The distribution has total mass one for and mass for ; in the latter case the remaining probability is an atom at infinity.
Use the usual normalization , finite deterministic initial wealth , positive state-price density, and nonnegative consumption. The deflated asset prices are local martingales, so predictable stochastic integrability makes a zero-starting local martingale. Integrating part (b) gives
A nonnegative local martingale is a supermartingale: localize to martingales, apply Conditional Fatou lemma, and obtain the conditional expectation inequality and integrability. Therefore , and hence , are supermartingales. In particular,
This is supermartingale control of deflated consumption gains. Nonnegative consumption is essential to the lower bound; it is the ordinary meaning of a consumption rate here. Wealth nonnegativity alone would not supply that bound if arbitrary signed cash flows were allowed.
Write , , , and let be the total progeny of a binomial branching process. The preceding binomial branching survival correction gives . For a branching process conditioned on extinction, the offspring probability generating function is , with mean
for sufficiently large . Summing expected generation sizes therefore gives .
Put and let count vertices in graph components of order at least . A breadth-first exploration of a binomial random graph is dominated by . The Markov inequality applied to finite total progeny gives
Always . Since , we have and . Hence . This bound controls the expected value directly, including rare large graph components.
For the lower bound, use the breadth-first exploration of a binomial random graph with unseen vertices, active vertices and explored vertices, starting from , . Let indicate a new root. Conditional on the past, the newly discovered count has a binomial distribution . Put . The unseen-count recursion gives
Here is a martingale. Up to , martingale-difference orthogonality gives , since each conditional variance is at most and is bounded.
Take . Then , and . The Doob L2 maximal inequality implies
The Taylor expansion, uniformly for , gives . Thus throughout the integer interval for large . The new-root sum is nonnegative, so on the preceding event throughout this interval. No graph component finishes there: all these explored vertices belong to one graph component, of order at least , with high probability. Its expected value is therefore at least . Combining both inequalities proves
The barely-supercritical largest-component expectation uses both a positive exploration window and a finite-progeny bound; a bare convergence-in-probability assertion would not by itself justify this expectation.
The Martingale convergence theorem says that a discrete-time martingale satisfying
has an almost sure convergence limit , finite almost surely and in . The theorem asserts that the limit is integrable; it does not assert convergence in L1. More generally, the almost sure submartingale convergence theorem applies to a submartingale with . Uniform integrability is the additional condition that upgrades a martingale's convergence to convergence in L1.
For the requested distinction, let be independent fair Bernoulli variables and use their natural filtration. The coin-doubling martingale
is a nonnegative martingale: conditionally on , the next factor is with mean one, so . Also for every , giving the required uniform bound. The probability that all the Bernoulli variables equal one is . Therefore a zero is eventually encountered almost surely, after which stays zero. Thus
There can be no other limit, since convergence in L1 implies convergence in probability, whose limit must agree with the almost sure limit. This martingale satisfies the almost sure theorem but does not converge in .
Use the independent increments of Brownian motion, rather than merely checking that an Itô formula drift vanishes. For , put and write , where is independent of and has normal distribution . Its first four moments are . Therefore
For the cubic expression, the coefficient of after conditioning is , so makes it . For the quartic expression, choose . Its conditioned coefficient of is then . The constant term becomes
which equals when . Thus a standard choice is
The resulting stochastic processes are Hermite polynomial martingales and . They are genuine integrable martingales, since Gaussian moments are finite at every finite time and the displayed conditional identities establish the martingale property directly.
The choice is not unique. Constants give the valid family , , and : these add to the cubic martingale and to the quartic one. The boxed choice sets these harmless additions to zero.