---
title: Liouville Quantum Gravity
url: https://www.emergentmind.com/topics/liouville-quantum-gravity-lqg
type: topic
---

# Liouville Quantum Gravity

Liouville Quantum Gravity (LQG) is a mathematically rigorous theory of random two-dimensional Riemannian geometry built from the exponential of the Gaussian Free Field. LQG serves as the universal scaling limit of large random planar maps and is intimately related to conformal field theory, Schramm–Loewner Evolution (SLE), and conformal welding. It provides a canonical object whose geometry encodes both the conformal structure and the metric-measure geometry of random surfaces. Connections to SLE and Conformal Loop Ensembles (CLE) further enable its analysis via probabilistic and integrable techniques.

## 1. Construction and Characterization of LQG Surfaces

A $\gamma$-LQG surface (for coupling constant $\gamma\in(0,2)$) is an equivalence class of pairs $(D,h)$, where $D\subset\mathbb{C}$ is a planar domain and $h$ is a Gaussian Free Field (GFF) with possible logarithmic singularities, modulo conformal transformations:
\[
h' = h \circ \varphi + Q \log |\varphi'|, \qquad Q = 2/\gamma + \gamma/2.
\]
The central object is the $\gamma$-Liouville area measure, formally
\[
\mu_h(dz) = \lim_{\varepsilon\to 0} \varepsilon^{\gamma^2/2} \exp(\gamma h_\varepsilon(z)) dz,
\]
where $h_\varepsilon$ is a mollification (typically circle-average) of $h$. The quantum boundary length measure is similarly defined via
\[
\nu_h(dx) = \lim_{\varepsilon\to 0} \varepsilon^{\gamma^2/4} \exp(\gamma h_\varepsilon(x)/2) dx
\]
on suitable boundaries. These random measures exhibit Weyl scaling and conformal covariance, and their construction relies fundamentally on the theory of Gaussian multiplicative chaos [2404.16642, 2109.01252, 2510.16431].

## 2. Metric Structure and Volume Growth

LQG becomes a canonical random metric space by equipping the surface with the $\gamma$-LQG metric $D_h$, constructed as the subsequential limit (in topology of local uniform convergence) of Liouville first-passage percolation (LFPP) metrics:
\[
D_h^\varepsilon(z,w) = \inf_{P:z\to w} \int_0^1 \exp(\xi h_\varepsilon(P(t))) |P'(t)|\,dt,\qquad \xi=\gamma/d_\gamma,
\]
with $d_\gamma$ the Hausdorff (and Minkowski) dimension of the LQG metric (satisfying $d_\gamma>2$). The limiting metric $D_h$ is uniquely characterized by the properties of being a length space, locality, Weyl scaling, and conformal coordinate change [2109.01252, 2211.04701].

Volume growth in the LQG metric is fractal: for $B_{D_h}(z,r)$ the $D_h$-metric ball of radius $r$,
\[
\mu_h(B_{D_h}(z,r)) \asymp r^{d_\gamma + o(1)},
\]
and all positive and negative moments of $\mu_h(B_{D_h}(z,r))$ are finite [2001.11467]. The KPZ relation links Hausdorff dimensions in the Euclidean and quantum geometries:
\[
x = \frac{\gamma^2}{4}\Delta^2 + \left(1 - \frac{\gamma^2}{4}\right)\Delta,
\]
where $x$ is the Euclidean dimension and $\Delta$ is the LQG (quantum) dimension [2510.16431].

## 3. Geodesics, Geometric Networks, and Metric Balls

In $(\mathbb{C}, D_h)$, geodesics exist uniquely for most pairs of points, but multiple geodesics—up to a finite deterministic bound $m(\gamma)$—can arise [2010.11260]. Typical geodesic networks from a base point exhibit confluence: two geodesics from the base point coincide for a positive-length initial segment before branching. The sets of points joined by exactly two or three geodesics form dense sets, each with a (conjecturally) computable fractal dimension.

Harmonic balls in LQG, defined via the mean-value property relative to $\mu_h$, are constructed through the Hele–Shaw obstacle problem and are explicitly not $D_h$-metric balls nor Lipschitz domains; their boundaries are Jordan curves [2208.11795]. Metric balls exhibit fractal boundaries, and their geometric properties underpin many scaling limits and stochastic growth models.

## 4. Mating-of-Trees, SLE Couplings, and Conformal Welding

LQG's deep structure is revealed through mating-of-trees: a bijective correspondence exists between certain LQG surfaces decorated by space-filling SLE of parameter $\kappa'=16/\gamma^2$ and pairs of correlated Brownian motions representing the left/right boundary processes, a construction that integrates discrete random planar map bijections (e.g., Mullin's bijection) with the continuum [1409.7055, 1712.01571]. The Brownian pair a.s. determines the LQG surface and the SLE curve.

Conformal welding of LQG surfaces along boundary arcs with matching quantum lengths yields interfaces that are Schramm–Loewner Evolution (SLE) curves (of $\kappa$ linked to $\gamma$ via $\kappa = \gamma^2$ or $16/\gamma^2$), with precise welding theorems for both chordal and radial setups [2411.19810, 1812.11808]. The quantum zipper theorem and its critical extension guarantee the uniqueness and conformal invariance of welded surfaces, cementing the SLE-LQG coupling as a powerful tool for encoding random geometry.

CLEs (Conformal Loop Ensembles) coupled to LQG via SLEs provide a Poissonian description of loop-cut quantum disks, with interfaces and the field jointly characterized by stable Lévy processes and associated PPPs. Disk welding recovers the CLE-decorated LQG surface [2002.05698].

## 5. Spectral Geometry, Heat Kernel, and Diffusions

Liouville Brownian motion (LBM) is the canonical diffusion associated to the LQG geometry, defined as a time-change of Euclidean Brownian motion by the quantum clock induced by $\mu_h$ [2512.02538]. The spectral geometry of LQG, governed by the infinitesimal generator in divergence form, exhibits a Weyl law:
\[
N(\lambda) \sim c_\gamma \mu_h(\Sigma) \lambda
\]
for the eigenvalue counting function $N(\lambda)$, with $c_\gamma = [\pi (2 - \gamma^2/2)]^{-1}$, showing that the spectral dimension remains $2$. Heat kernel estimates and associated trace asymptotics further probe the random geometry and are under active investigation.

Numerical studies confirm the prediction $d_s=2$ for spectral dimension and reveal superdiffusive scaling with respect to the Euclidean metric, showing that the canonical diffusion on LQG is not governed by the underlying Euclidean structure but by the random metric [1411.1738].

## 6. Scaling Limits, Universality, and Planar Map Convergence

LQG is the universal scaling limit of planar maps decorated by critical statistical physics models. Under discrete conformal embeddings such as the Cardy–Smirnov map or Tutte embedding, random triangulations or quadrangulations converge in the Gromov–Hausdorff–Prokhorov sense to the LQG surface $(D, D_h, \mu_h)$ [2510.16431, 1712.01571]. The Brownian map, accessed via QLE(8/3,0) construction for $\gamma=\sqrt{8/3}$, is a concrete realization of the $\sqrt{8/3}$-LQG metric space, and allows convergence results for discrete interfaces (self-avoiding walks, percolation, etc.) to SLE processes on the Brownian map.

Extensions to supercritical regimes $Q \in (0,2)$ (i.e., $c_L \in (1,25)$), reveal a dramatically different geometric behavior: random surfaces lose conformal geometry and become dominated by "infinite spikes", with scaling limits corresponding to branched polymer trees (Continuum Random Tree, CRT) upon rare-event conditioning [2410.12693].

## 7. Open Problems and Future Directions

Open questions include explicit determination of the Hausdorff dimension $d_\gamma$ for all $\gamma\in(0,2)$, rigorous analysis of scaling limits for models with central charge $c \in (1,25)$, identification of heat kernel behavior with respect to the LQG metric, and the spectral and geometric properties of LQG on higher-genus surfaces. Furthermore, the universality of KPZ scaling, new connections to quantum chaos, and the development of canonical quantum metrics in more general settings remain central challenges [2512.02538, 1908.05573, 2510.16431].

The LQG framework integrates probabilistic, analytic, and integrable techniques, unifying paradigms in random geometry and quantum field theory, and continues to drive the mathematical understanding of two-dimensional quantum gravity.

Source: https://www.emergentmind.com/topics/liouville-quantum-gravity-lqg