---
title: Conditional Gaussian Multiplicative Chaos
url: https://www.emergentmind.com/topics/conditional-gaussian-multiplicative-chaos
type: topic
---

# Conditional Gaussian Multiplicative Chaos

Conditional Gaussian multiplicative chaos (conditional GMC) is a probabilistic structure underlying certain random measures associated with critical weak-disorder limits in models such as the continuum directed polymer on the diamond fractal of Hausdorff dimension two. In this context, standard (subcritical) GMC constructions fail due to divergence issues at criticality, but a conditional GMC structure persists, linking families of random measures through stochastic “shifts” with random base references. This framework characterizes the scaling limits of partition functions in critical polymer models and is conjectured to extend to (2+1)-dimensional critical continuum polymers and stochastic heat equations, where log-correlated fields are prevalent [1908.08192].

## 1. Gaussian Multiplicative Chaos in Classical and Critical Regimes

In the foundational setup, consider a measurable space $(\Gamma, \mu)$ (e.g., a fractal of dimension $d$ and its uniform measure) and a centered Gaussian field $\mathbf W = \{\mathbf W(p): p \in \Gamma\}$ with covariance $T(p, q) = \mathbb E[\mathbf W(p)\mathbf W(q)]$. The aim is to construct random measures via
\[
\mathbf M_\beta(dp) = \exp\left(\beta \mathbf W(p) - \tfrac{\beta^2}{2} T(p, p)\right) \mu(dp),
\]
for inverse temperature parameter $\beta \ge 0$. Since the field is typically distribution-valued, pointwise exponentiation is not well-defined. The classical Kahane theory, advanced by Shamov and others, provides meaning for $\mathbf M_\beta$ via regularization and limit procedures, especially in the subcritical regime ($\beta < \beta_c$), where $\beta_c$ is a model-dependent critical value.

In the subcritical regime, one can regularize $\mathbf W$ (via mollification, projection, or truncation) and obtain nontrivial measures with all positive moments finite, satisfying
\[
\mathbb E[\mathbf M_\beta(dp) \mathbf M_\beta(dq)] = \exp(\beta^2 T(p,q)) \mu(dp)\mu(dq).
\]
However, in the critical regime ($\beta = \beta_c$), the procedure breaks down: the limit of $\mathbf M_\beta$ as $\beta \to \beta_c$ is almost surely zero, and the second moment $\int_{\Gamma^2} \exp(\beta^2 T(p,q)) \mu(dp)\mu(dq)$ diverges.

## 2. Failure of Subcritical GMC at Critical Dimension on the Diamond Fractal

In the diamond hierarchical lattice (DHL) setting, the Hausdorff dimension is $d = \frac{\log b + \log s}{\log s}$ for branching number $b$ and segmentation parameter $s$. For $b < s$, $d < 2$ (subcritical). Here, white-noise coupling produces a true subcritical GMC.

Aggravatingly, at $b = s$ ($d = 2$), log-divergences in the path intersection kernel $T(p, q)$ cause the second moment to diverge for all $\beta > 0$:
\[
\int_{\Gamma \times \Gamma} \exp(\beta^2 T(p,q)) \mu(dp)\mu(dq) = \infty.
\]
This implies that for any fixed $\beta$, the standard GMC measure trivializes, and recovering nontrivial chaos would require taking $\beta$ to infinity as the regularization scale vanishes, which is not feasible within the GMC framework.

## 3. Conditional GMC Structure for Critical Continuum Random Polymers

Despite the failure of classical GMC, Clark [1908.08192] demonstrates that there exists a family of random measures $\{\mathbf M_r\}_{r\in\mathbb R}$ on the path space $\Gamma$ arising as critical scaling limits of discrete directed polymers on hierarchical graphs. Key properties include:
- $\mathbb E[\mathbf M_r] = \mu$ for all $r$; $\mathbf M_r \xrightarrow{d} \mu$ as $r \to -\infty$.
- Second-order correlations $\upsilon_r = \mathbb E[\mathbf M_r \otimes \mathbf M_r]$ are mutually absolutely continuous, with
\[
\frac{d\upsilon_r}{d\upsilon_R}(p,q) = \exp\{(r - R) T(p, q)\},
\]
for $R < r$.

A central result is the existence, for each $r$ and any $a > 0$, of a white-noise field $\mathbf W_{\mathbf M_r}$ on $L^2(\Gamma, \mathbf M_r)$ with covariance $T$, such that the *conditional* GMC measure
\[
\mathds M_{r,a}(dp) = \exp\left( \sqrt{a}\, \mathbf W_{\mathbf M_r}(p) - \frac{a}{2} \mathbb E[ \mathbf W_{\mathbf M_r}(p)^2 \mid \mathbf M_r ]\right) \mathbf M_r(dp)
\]
has law equal to $\mathbf M_{r+a}$.

In particular, the family $\{\mathbf M_r\}$ forms a *cascade*:
\[
\mathbf M_r(dp) \stackrel{\rm law}{=} \exp\left(\sqrt{r-R}\, \mathbf W_{\mathbf M_R}(p) - \frac{r-R}{2} \mathbb E[\mathbf W_{\mathbf M_R}(p)^2 \mid \mathbf M_R] \right) \mathbf M_R(dp),
\]
for any $R < r$. This realizes the conditional GMC as a one-parameter family closed under subcritical GMC shifts with random base measure $\mathbf M_R$.

## 4. Technical Construction, Conditioning, and Uniqueness

The construction is carried out on an enlarged probability space realizing simultaneously $\mathbf M_R$ and an independent white noise $W: \mathcal H \to L^2(\Omega)$ on a Hilbert space $\mathcal H$. The conditional field $\mathbf W_{\mathbf M_R} = W \circ \hat U_{\mathbf M_R}$ is a centered Gaussian field with covariance $T$. The conditional GMC measure
\[
\mathds M_{R, r-R}(dp) = \exp\left( \sqrt{r-R}\, \mathbf W_{\mathbf M_R}(p) - \tfrac{r-R}{2} \mathbb E[\mathbf W_{\mathbf M_R}(p)^2 \mid \mathbf M_R] \right) \mathbf M_R(dp)
\]
is measurable with respect to the $\sigma$-algebra generated by $\mathbf M_R$ and $W$. The family of conditional GMCs satisfies the following:
- Conditional expectation: $\mathbb E [\mathds M_{R, r-R}(A)| \mathbf M_R ] = \mathbf M_R(A)$ for measurable $A$.
- Compatibility with the multiplicative structure under Cameron–Martin shifts required by Shamov’s axioms.
- Uniqueness in law, as they satisfy renormalization properties (I)–(IV) given in [1908.08192].

## 5. Radon–Nikodym Derivative and Interrelationship of Correlation Measures

The correlation measures between different levels of the cascade are connected via explicit Radon–Nikodym derivatives given by
\[
\frac{d\upsilon_r}{d\upsilon_R}(p,q) = \exp\{(r-R) T(p,q)\}.
\]
Notably, the support of $\mu \otimes \mu$ is typically on $\{T = 0\}$, while $\mathbf M_r \otimes \mathbf M_r$ almost surely places weight on $\{T > 0\}$, reflecting the concentration of the polymer endpoint measure on self-intersecting path pairs due to the disorder's effect at criticality.

## 6. Extensions and Open Problems in Higher Dimensions

A structurally analogous conditional GMC is conjectured to govern the critical $(2+1)$-dimensional directed polymer and, equivalently, the critical stochastic heat equation in two spatial dimensions, as studied by Caravenna–Sun–Zygouras and Gu–Quastel–Tsai. There, a one-parameter family $\{\mathbf Z_t\}_{t \in \mathbb R}$ of endpoint measures is expected to satisfy
\[
\mathbf Z_t(dx) \stackrel{\rm law}{=} \exp\left(\sqrt{t-s}\, \mathbf W_{\mathbf Z_s}(x) - \tfrac{t-s}{2} \mathbb E[\mathbf W_{\mathbf Z_s}(x)^2 \mid \mathbf Z_s]\right) \mathbf Z_s(dx),\quad s < t,
\]
with $\mathbf W_{\mathbf Z_s}$ a white noise on $\mathbb R^2$ conditionally on $\mathbf Z_s$ and $K(x, y)$ the renormalized local time intersection kernel. The technical challenge is the singularity of $K(x, y)$ at the diagonal and the resulting difficulty in controlling exponential moments under singular random reference measures. No complete rigorous GMC construction is currently available in this $(2+1)$-dimensional setting, making it a central open problem in the field [1908.08192].

## 7. Significance and Broader Implications

The conditional GMC framework elucidates the mathematical structure underlying critical continuum polymer measures on fractal geometries where classical GMC fails. The existence of an intrinsic, conditional multiplicative chaos, closed under a cascade of random measure shifts, offers a canonical platform for modeling randomness in critical statistical mechanics and stochastic PDEs. The diamond fractal provides a tractable arena for establishing these conditional structures, with anticipated analogs in higher-dimensional, nonhierarchical models and in the study of critical log-correlated Gaussian fields.

Source: https://www.emergentmind.com/topics/conditional-gaussian-multiplicative-chaos