---
title: 'Liouville Brownian Motion: Constructions & Properties'
url: https://www.emergentmind.com/topics/liouville-brownian-motion-lbm
type: topic
---

# Liouville Brownian Motion: Constructions & Properties

Liouville Brownian Motion (LBM) is the canonical diffusion process in the random geometry induced by a Gaussian free field via the exponential "Liouville measure," central to rigorous approaches to Liouville quantum gravity (LQG) and fractal random geometry. In its archetypal setting on the plane or a Riemann surface, LBM is constructed as a time-changed Brownian motion, with the clock determined by a positive continuous additive functional whose Revuz measure is the (subcritical or critical) Gaussian multiplicative chaos associated to the field. LBM thus provides the stochastic analytic bridge between probabilistic geometry and the physics of two-dimensional quantum gravity, with direct mathematical connections to Dirichlet form theory, spectral analysis, random matrix theory, and random planar maps.

## 1. Construction of Liouville Brownian Motion

Let $X$ be a mass-$m>0$ Gaussian free field (GFF) on $\mathbb{R}^2$, a log-correlated generalized Gaussian distribution with covariance kernel $G^{(m)}$ solving $(m^2 - \Delta)G^{(m)}(x,y) = 2\pi \delta_x(y)$. The Liouville measure (subcritical regime $\gamma\in(0,2)$) is defined via Gaussian multiplicative chaos,
\[
M_\gamma(dz) = \lim_{n\to\infty} \exp\bigl(\gamma X_n(z) - \tfrac{\gamma^2}{2} \mathbb{E}[X_n(z)^2]\bigr) dz,
\]
where $X_n$ is a smooth regularization of $X$ (e.g., via spectral truncation). $M_\gamma$ is a non-degenerate, atomless Radon measure, almost surely singular with respect to Lebesgue measure and supported off capacity-zero sets [1901.07753].

Given a planar Brownian motion $B=(B_t)$ independent of $X$, define its (strict) positive continuous additive functional (PCAF) $F$ with Revuz measure $M_\gamma$ via
\[
F_t = \lim_{\epsilon\to 0} \int_0^t \exp\bigl(\gamma X_n(B_s) - \tfrac{\gamma^2}{2} \mathbb{E}[X_n(B_s)^2]\bigr) ds.
\]
The Liouville Brownian motion is the time-changed process
\[
\mathcal{B}_t := B_{F^{-1}_t}, \quad \text{where}\quad F^{-1}_t = \inf\{s>0: F_s > t\}.
\]
This construction is almost sure with respect to the randomness of the GFF, and $\mathcal{B}$ is a strong Markov process with continuous sample paths, infinite lifetime, and symmetry with respect to $M_\gamma$ [1301.2876, 1901.07753, 1302.6050, 1407.3240].

At criticality ($\gamma=2$), the measure is constructed using the derivative martingale [1311.5847]. For general weight functions, the Dirichlet form is modified accordingly, yielding "Liouville distorted Brownian motion" with respect to the weighted chaos measure [1901.07755].

## 2. Dirichlet Forms, Symmetry, and Generator Structure

LBM is precisely the Hunt process associated to the closure in $L^2(M_\gamma)$ of the symmetric, strongly local pre-Dirichlet form
\[
\mathcal{E}(f,g) = \frac{1}{2} \int_{\mathbb{R}^2} \nabla f(x)\cdot \nabla g(x)\, dx,
\quad \mathcal{F} = \{f \in L^2(M_\gamma) \cap H^1_\text{loc}(\mathbb{R}^2): \nabla f \in L^2(dx)\}
\]
[1302.6050, 1301.2876]. Its infinitesimal generator on $C^\infty_c$ is the elliptic operator
\[
\Delta_X f = e^{-\gamma X(x)}\Delta f,
\]
subject to closure in $L^2(M_\gamma)$. The form is regular, symmetric in $L^2(M_\gamma)$, and ensures the process is $M_\gamma$-symmetric and reversible [1302.6050]. For distorted LBM, the base measure incorporates a weight $\rho(x)=|x|^\alpha$, modifying the Dirichlet form and resulting process accordingly [1901.07755].

The strong Feller property holds for both the resolvent and the semigroup; the resolvent kernel is absolutely continuous and admits a strictly positive, jointly continuous density on compacts [1302.6050]. The intrinsic metric associated to the Dirichlet form is identically zero, a manifestation of the extreme singularity of the Liouville metric geometry [1302.6050].

## 3. Heat Kernel and Spectral Properties

The LBM admits a jointly continuous heat kernel $p_t(x,y)$ with respect to the Liouville measure, satisfying symmetry $p_t(x,y) = p_t(y,x)$ and Chapman-Kolmogorov equations. The semigroup is strong Feller, and strict positivity on compacts holds for all $t>0$ [1407.3240].

For $t \to 0$, there are sub-Gaussian upper bounds:
\[
p_t(x,y) \leq C_1\, t^{-1}\, \log(t^{-1}) \exp\left(-C_2 \left(\frac{|x-y|^\beta \wedge 1}{t}\right)^{1/(\beta-1)}\right),\;\;\forall\,\beta > \frac12(\gamma+2)^2,
\]
and on-diagonal lower bounds
\[
p_t(x,x) \geq C_3 t^{-1} (\log t^{-1})^{-\eta},\;\;\forall\,\eta > 18,
\]
$M_\gamma$-almost everywhere [1407.3240]. For $\gamma = \sqrt{8/3}$ (Brownian map case), the heat kernel obeys sharp two-sided estimates with off-diagonal exponents reflecting LQG metric volume growth: for example,
\[
p_t(x,y) \leq C(\log t^{-1})^{\kappa} t^{-1} \exp\left(- C'\left(\frac{d(x,y)^4}{t}\right)^{1/3 (\log (e + d(x,y)/t))^{-\kappa}}\right)
\]
in the $\sqrt{8/3}$-LQG metric [2507.13269].

The spectral dimension is almost surely 2, both pointwise and globally, reflecting the preservation of "quantum" diffusive scaling relative to the Liouville geometry [1407.3240, 2507.13269]. Short-time asymptotics of the heat kernel at $x$ are governed by the multifractal thickness of $M_\gamma$ at $x$ [2501.15936].

## 4. Multifractality and Interactions with Thick Points

LBM exhibits deep multifractal behavior stemming from the underlying GFF structure. The time spent by LBM in $\alpha$-thick points (where the GFF is atypically large) forms random sets $E_\alpha^\gamma$ whose Hausdorff dimension is given by
\[
\dim_H E_\alpha^\gamma = \frac{1-{\alpha^2}/{4}}{1-\frac{\alpha\gamma}{2}+\frac{\gamma^2}{4}},
\]
valid for $\alpha, \gamma \in [0,2)$ [1412.1705]. For $\gamma > \sqrt{2}$, the LBM path is Lebesgue-almost everywhere differentiable, with subdiffusive or superdiffusive scaling in the Euclidean metric depending on the field thickness at the starting point.

The multifractal structure is encoded in the local exponents of the time-change functional and reflects in local times, level sets, and occupation measures of LBM [1412.1705]. In $d>2$, the spectral dimension at $x$ depends both on $\gamma$ and local field thickness $\alpha$ [2501.15936].

## 5. Extensions: Distorted, Discrete, and High-Dimensional Variants

### Weighted and Distorted Liouville BM

For weight functions $\rho(x) = |x|^\alpha$, the Dirichlet form and resulting process generalize to "Liouville distorted Brownian motion," with the chaos measure taking the form $M_\gamma(dx) = e^{\gamma X(x) - (\gamma^2/2)\mathbb{E}[X(x)^2]} \rho(x)\, dx$. The associated Hunt diffusion is constructed via Dirichlet-form theory, positive capacity of sets, and explicit PCAFs [1901.07755].

### Regularization and SDE Representation

On regularized geometries (truncated GFF), n-regularized LBM admits solutions as weak diffusions driven by random, oscillatory diffusion coefficients. The stochastic differential equation for $X_n$ is
\[
dB^{(n)}_t = \exp\left(-\frac{\gamma}{2} X_n(B^{(n)}_t) + \frac{\gamma^2}{4}\mathbb{E}[X_n(B^{(n)}_t)^2]\right) dW_t,
\]
where $W$ is a standard planar Brownian motion [1606.05857].

### Discrete Approximations and Scaling Limits

LBM arises as the quenched scaling limit of random walk on random planar maps (mated-CRT maps, Poisson-Voronoi tessellations), when graphs are embedded using Peano or Tutte/Harmonic embeddings. The Markov process with invariant measure (vertex degree in the discrete, $M_\gamma$ in the continuum) converges in local-uniform topology on curves to LBM [2003.10320, 1809.02091].

### One-Dimensional LBM and Excursions

The theory extends to dimension one: given a Liouville measure $v(dx)$ (from boundary GMC), the LBM is the scale-invariant linear diffusion in $\mathbb{R}$ with speed measure $v$, constructed via time-change of Brownian motion by the local-time additive functional. Its spectral representation, excursion theory, and multifractal properties are accessible via Kreĭn's string theory [1705.01726].

### Higher-Dimensional Analogues ($d > 2$)

LBM in $\mathbb{R}^d$ for $d>2$ is constructed using the log-correlated Gaussian field and time-change by whole-space GMC. The spectral dimension at $x$ is
\[
d_s(x) = 2 + 2(d-2)\left(2 + \frac{\alpha^2}{2} - \alpha\right)^{-1}
\]
for an $\alpha$-thick point, interpolating between quantum (2) and Euclidean ($d$) behavior. Quantum cones and shift-invariance under LBM are established for characteristic weights [2501.15936].

## 6. Critical Case and Further Developments

At the critical value $\gamma=2$, both the measure and LBM require additional renormalization, leading to construction via the derivative martingale and modified additive functional. The critical LBM is supported on a random set of Hausdorff dimension zero [1311.5847]. The associated Dirichlet form remains strongly local and regular, but heat kernel estimates become subtler, with only weak Feller properties available. Full off-diagonal bounds for the heat kernel in the critical regime remain an open area [1311.5847].

Extension of LBM to other settings, such as distorted Dirichlet forms, higher topologies (torus/sphere), and boundaries (quantum disks), is active. The random geometry perspective continues to produce profound links between probability, random matrix theory, SLE/CLE, and mathematical physics [1809.02091, 2507.13269].

## 7. Significance and Connections

LBM provides the analytic and probabilistic machinery to probe the metric and spectral properties of Liouville quantum gravity surfaces and random planar geometries. It is the unique strong Markov Hunt diffusion symmetric with respect to the Liouville measure, characterized by time-changed Brownian motion, reversibility, and strong Feller properties. Its probabilistic construction, Dirichlet form, and spectral kernel structure reflect the pathologies and richness of the random geometry—vanishing intrinsic metric, nontrivial scaling, multifractality, and universality under scaling limits of discrete random walks [1301.2876, 2003.10320, 2507.13269, 1311.5847].

Source: https://www.emergentmind.com/topics/liouville-brownian-motion-lbm