---
title: Gaussian Multiplicative Chaos Measure
url: https://www.emergentmind.com/topics/gaussian-multiplicative-chaos-random-measure
type: topic
---

# Gaussian Multiplicative Chaos Measure

A Gaussian multiplicative chaos (GMC) random measure is a universal probabilistic object constructed by exponentiating a regularized log-correlated Gaussian field, appropriately renormalized. GMC describes the random limit measures arising from such exponential interactions and exhibits a rich phase diagram depending on the "coupling" parameter. Its study unites probability theory, mathematical physics, geometric measure theory, and several connections to Liouville quantum gravity and random matrix theory.

## 1. Log-Correlated Gaussian Fields and Regularization

The foundation of GMC is the log-correlated Gaussian field $X$ on a domain $D\subset\mathbb{R}^d$, formally characterized by covariance
\[
\E\left[X(x) X(y)\right] = \log \frac{1}{|x-y|} + g(x,y)
\]
where $g$ is continuous on $D \times D$. Such a field is only defined as a random Schwartz distribution (generalized function), so regularization is essential. This is performed by mollification: for a mollifier $\theta$,
\[
 X_\varepsilon(x) = \int_D X(y)\, \theta_\varepsilon(x-y) \,\mathrm{d}y,\quad \theta_\varepsilon(x) = \varepsilon^{-d}\theta(x/\varepsilon)
\]
which smooths $X$ at scale $\varepsilon$. The variance has the essential logarithmic divergence $\Var[X_\varepsilon(x)] = \log(1/\varepsilon) + O(1)$ uniformly in $x$ [1506.09113].

## 2. Definition, Phase Transition, and Construction of GMC

For $\gamma > 0$ and reference measure $\mu$ (Lebesgue or more general Radon measures), define the random measures:
\[
M_\varepsilon^{\gamma}(\mathrm{d}x) = \exp\big( \gamma X_\varepsilon(x) - \tfrac{\gamma^2}{2} \E[X_\varepsilon(x)^2] \big)\, \mu(\mathrm{d}x)
\]
A critical phenomenon occurs in the parameter $\gamma$:
- If $\gamma^2 < 2d$, this family of measures converges in probability (and in $L^1$) as $\varepsilon \to 0$ to a non-degenerate, atomless random Radon measure $M^{\gamma}$.
- If $\gamma^2 \geq 2d$, the limit becomes trivial: $M^{\gamma} \equiv 0$ almost surely [1506.09113, 1407.4418].

Uniform integrability is established via second-moment computations:
\[
\E[M_\varepsilon^\gamma(D)^2] = \iint_{D\times D} e^{\gamma^2\Cov(X_\varepsilon(x),X_\varepsilon(y))} \mathrm{d}x \mathrm{d}y < \infty \Longleftrightarrow \gamma^2 < 2d
\]
[1506.09113].

The universality (independence from mollifier) is rigorously established, e.g., via Karhunen-Loève expansion or by shift-covariant (randomized shift) properties [1506.09113, 1407.4418].

## 3. Critical and Supercritical Gaussian Multiplicative Chaos

At the threshold $\gamma_c = \sqrt{2d}$ (criticality), naive regularization yields a vanishing measure. Two alternative constructions yield a non-trivial limit [1206.1671, 1212.0529]:
- **Derivative martingale**: Take the derivative in $\gamma$ at criticality:
  \[
  D_\varepsilon(\mathrm{d}x) = [ - X_\varepsilon(x) + \gamma_c \E[X_\varepsilon(x)^2] ] \exp\left( \gamma_c X_\varepsilon(x) - \frac{\gamma_c^2}{2} \E[X_\varepsilon(x)^2] \right) \mathrm{d}x
  \]
  These converge a.s. to a positive, non-atomic, atomless measure $M'$, with full support and universal scaling properties [1206.1671].

- **Seneta-Heyde renormalization**: Multiply the vanishing measure by $\sqrt{\log (1/\varepsilon)}$, i.e.,
  \[
  \widetilde{M}_\varepsilon^{\gamma_c}(\mathrm{d} x) = \sqrt{\log(1/\varepsilon)}\, \exp\left( \gamma_c X_\varepsilon(x) - \frac{\gamma_c^2}{2} \E[X_\varepsilon(x)^2] \right) \mathrm{d}x
  \]
Both constructions yield the same critical chaos measure up to explicit constants [1212.0529].

In the **supercritical regime** $\gamma^2 > 2d$, the only nontrivial limiting random objects are purely atomic random measures, constructed as Poisson clusterings with intensity the critical chaos. The limit is universal up to a multiplicative constant and independent of regularization [2504.07552]. The limiting atomic measure is characterized as follows:
\[
M^\gamma = \sum_{k \ge 1} Z_k \delta_{x_k}
\]
where $(x_k)$ are points from a Poisson process on $D$ with intensity $M^{\gamma_c}$ and $Z_k$ are independent random masses with Pareto-type tails.

## 4. Uniqueness, Universality, and Shift Equivariance

Shamov's general framework rigorously establishes the uniqueness and universality of subcritical GMC [1407.4418]. A random measure $M$ on $T$ is a (subcritical) GMC over a Gaussian field $(X, Y)$ with expectation $\mu$ if:
- $M$ is measurable w.r.t.\ $X$
- $M \ll \mu$ a.s., $\E M = \mu$
- **Shift-covariance** (randomized shift): for any Cameron–Martin vector $\xi \in H$,
  \[
  M(X+\xi,\,dt) = \exp(\langle Y(t),\xi\rangle) M(X,dt)
  \]
For log-correlated fields, this shift-covariance captures the structural essence of GMC; universality follows since any two regularization schemes generate equivalent (in law, and even almost surely as functions of the underlying field) random measures [1407.4418].

## 5. Dimensional, Geometric, and Regularity Properties

The limiting GMC measure $M^\gamma$ is non-atomic and multifractal. Important quantitative properties include:

- **Moments:** For $p \in \left(0, 2d/\gamma^2\right)$,
  \[
  \E[M^\gamma(A)^p] < \infty
  \]
- **Exact-dimensionality:** For a base measure $\nu$ of dimension $\alpha$, the GMC measure $\widetilde{\nu}$ is almost surely exact-dimensional of dimension $\alpha - \gamma^2/2$ provided $\gamma^2/2 < \alpha$ [1601.00556].
- **Projections:** For sufficiently small $\gamma$ (e.g., $\gamma<0.28$ in dimension $2$), all orthogonal projections of Liouville quantum gravity (LQG) measure are absolutely continuous with Hölder continuous densities [1601.00556].
- **Fourier dimension:** The GMC measure, due to Hölder-regularity of projections, has positive Fourier (Salem) dimension almost surely [1601.00556].
- **Complex GMC:** Analytic continuation to complex $\gamma$ yields a random generalized function valued in Sobolev/Besov spaces, with sharp moment and regularity bounds in admissible sectors of the complex plane [2301.05274, 1905.12027].

## 6. Geometric and Physical Applications; Liouville Quantum Gravity

GMC is the foundation of Liouville quantum gravity (LQG), describing random geometry in 2D quantum gravity [1506.09113, 1212.0529]. The random measure constructed by exponentiating the Gaussian free field (GFF) is the area measure in LQG. The critical and supercritical regimes correspond to the boundary and glassy phases in LQG, with the KPZ formula relating Euclidean and quantum dimensions:
\[
\dim_{\mathrm{Leb}}(K) = (1 + \gamma^2/4) \dim_{M^\gamma}(K) - (\gamma^2/4) (\dim_{M^\gamma}(K))^2
\]
and for the critical measure $M'$, the map is $\Phi(q)=d q (2-q)$ [1212.0529].

In the supercritical/atomic phase, the KPZ duality and Poisson cluster structure provide a rigorous model for the glassy, freezing phase of 2D random geometry [1202.5296, 2504.07552].

## 7. Connections and Universality Beyond Gaussianity

Recent developments rigorously establish universality of GMC in the subcritical regime for a large class of non-Gaussian, log-correlated fields, notably via invariance principles and coupling techniques [2410.19979, 2502.17412]. For i.i.d. exponentials, or random characteristic polynomials of random matrices (unitary, orthogonal, symplectic), convergence to GMC has been proved in the appropriate regime [1701.03289, 2008.07825]. This universality indicates that GMC is the canonical scaling limit of multiplicative cascades and a universal object for extremes of log-correlated fields.

---

**Summary Table: GMC Regimes and Limiting Measures**

| $\gamma^2$          | Limiting GMC Measure         | Structure            | Construction                         |
|---------------------|-----------------------------|----------------------|--------------------------------------|
| $0 < \gamma^2 < 2d$ | $M^\gamma$                  | Atomless, universal  | Regularization + renormalization     |
| $\gamma^2 = 2d$     | $M'$ (derivative chaos)     | Atomless, universal  | Derivative martingale/Seneta–Heyde   |
| $\gamma^2 > 2d$     | $M^\gamma$ (atomic)         | Purely atomic, PPP   | Poisson cluster over $M^{\gamma_c}$  |

---

## References

- *An Elementary Approach to Gaussian Multiplicative Chaos* [1506.09113]
- *On Gaussian Multiplicative Chaos* [1407.4418]
- *Critical Gaussian Multiplicative Chaos: Convergence of the Derivative Martingale* [1206.1671]
- *Renormalization of Critical Gaussian Multiplicative Chaos and KPZ Formula* [1212.0529]
- *Complex Gaussian Multiplicative Chaos on Phase Boundaries* [2301.05274]
- *Exact Dimensionality and Projection Properties of Gaussian Multiplicative Chaos* [1601.00556]
- *Uniqueness of Supercritical Gaussian Multiplicative Chaos* [2504.07552]
- *Gaussian Multiplicative Chaos and KPZ Duality* [1202.5296]
- *Invariance Principle for the Gaussian Multiplicative Chaos via a High Dimensional CLT with Low Rank Increments* [2502.17412]
- *Absolute Continuity of Non-Gaussian and Gaussian Multiplicative Chaos Measures* [2410.19979]

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