---
title: Critical Brownian Loop-Soup
url: https://www.emergentmind.com/topics/critical-brownian-loop-soup
type: topic
---

# Critical Brownian Loop-Soup

A critical Brownian loop-soup is a random, conformally invariant ensemble of Brownian loops in Euclidean space or a planar domain, parameterized by an intensity. In two dimensions, at certain critical intensities, the loop-soup model exhibits a robust geometric and probabilistic structure tied to phase transitions, conformal field theory (CFT), and probabilistic representations of quantum fields. It provides a canonical scaling limit for statistical lattice models and underpins key correspondences with Schramm–Loewner Evolution (SLE), Conformal Loop Ensembles (CLE), and the Gaussian Free Field (GFF) in the plane.

## 1. Construction and Definition

The Brownian loop-soup in a domain $D$ is a Poisson point process on the space of unrooted Brownian loops with intensity $\lambda>0$, governed by the Brownian loop measure $\mu_D$. The loop measure is constructed as
\[
\mu_D(d\ell) = \int_D \int_{0}^\infty (2\pi t^2)^{-1} \mathbb{P}^{(t)}_{z,z}(d\ell) \, dt \, d^2z
\]
where $\mathbb{P}^{(t)}_{z,z}$ is the law of a planar Brownian bridge of duration $t$ from $z$ to $z$ staying in $D$ [1006.2373], [1501.05945].

For $\lambda>0$, the Brownian loop-soup $\Gamma$ is the Poisson process of loops in $D$ with intensity $\lambda \mu_D$. In $\mathbb{R}^3$, the analogous construction is with
\[
\mu(d\ell) = \int_{\mathbb{R}^3} dx \int_{0}^{\infty} \frac{dt}{t} (2\pi t)^{-3/2} P^{x,x;t}(d\ell)
\]
where $P^{x,x;t}$ is Brownian bridge law in $\mathbb{R}^3$ [2601.04840].

Clusters are defined by the intersection graph: two loops are adjacent if they intersect, and clusters are maximal connected sets.

## 2. Critical Intensity and Phase Transition

A nontrivial critical intensity $\lambda_c$ governs the macroscopic geometry of the loop-soup. In two dimensions, the phase transition occurs at $\lambda_c = 1/2$, or equivalently $c=1$ (with a change of conventions in the literature) [1006.2373], [1501.04861]. At criticality:
- For $0 < \lambda < \lambda_c$, every cluster is almost surely finite and the collection of clusters remains disconnected.
- At $\lambda=\lambda_c$, one is at a sharp threshold: cluster-size distributions follow power laws, the outer cluster boundaries become Conformal Loop Ensembles CLE$_4$, and the “carpet” (the complement of all loops) forms a nontrivial fractal set.
- For $\lambda>\lambda_c$, there is almost surely a unique giant cluster (“full-packing” regime).

In three dimensions, the critical intensity $\alpha_c$ satisfies $0 < \alpha_c < \infty$. For $\alpha < \alpha_c$, all clusters are finite, while for $\alpha > \alpha_c$, there is at least one unbounded cluster; for large $\alpha$, all loops join the same, space-filling cluster. This feature distinguishes the critical Brownian loop-soup in $d=3$ from the $d=2$ case: true percolation (infinite cluster formation) only appears in $d \geq 3$ [2601.04840].

Table: Main Phase Transitions in Brownian Loop-Soups

| Dimension | Critical Intensity | Subcritical ($<$ critical) | Critical | Supercritical ($>$ critical)         |
|-----------|-------------------|----------------------------|----------|--------------------------------------|
| $d=1$     | N/A               | N/A                        | Trivial  | Trivial                              |
| $d=2$     | $\lambda_c=1/2$   | Finitely many clusters     | Power-law| Unique giant cluster                 |
| $d=3$     | $0<\alpha_c<\infty$| Only finite clusters        | Percolation threshold | Unique dense cluster for $\alpha\gg \alpha_c$ |
| $d\geq4$  | No percolation    | No intersection           | No percolation | No percolation                      |

## 3. Conformal Invariance, Restriction, and Loop-Soup–CLE Correspondence

The Brownian loop measure and the loop-soup law are exactly conformally invariant in $d=2$. For simply connected domains $D$ and conformal $f:D\to D'$, loops are mapped in law to those in $D'$ via $f$ [1501.05945], [2112.00074]. This gives rise to the restriction property: conditioning on loops remaining in subdomains produces a statistically identical loop-soup in the smaller domain [1006.2373].

At criticality in two dimensions ($c=1$), the outermost boundaries of clusters in the loop-soup are distributed as CLE$_4$—simple, non-nested, disjoint continuous loops with the full conformal restriction law. This establishes an equivalence between:
- Branching SLE$_\kappa$ loop ensembles for $\kappa\in(8/3,4]$,
- Outermost cluster boundaries in the loop-soup at intensity $c = (3\kappa-8)(6-\kappa)/(2\kappa)$,
- Ensembles satisfying the conformal restriction axioms [1006.2373].

## 4. Critical Exponents, Fractal Geometry, and Cluster Structure

At and near criticality, the model exhibits explicit critical exponents and a well-characterized fractal geometry:
- The Hausdorff dimension of the “carpet” for $c=1$ is $15/8$; the CLE$_4$ cluster boundary loops have dimension $3/2$.
- Crossing/connectivity probabilities exhibit nontrivial exponents: the probability that an annulus is traversed decays as $(r/R)^{1/2}$ at $c=1$, in line with SLE$_4$ and CLE$_4$ one-arm events [1006.2373].
- In $d=3$, there exists an algebraic one-arm exponent $\xi(\alpha)$ for the connection probability between $\partial B(1)$ and $\partial B(r)$, with $p_r(\alpha) = r^{\xi+o(1)}$ as $r\to0$ at criticality [2601.04840].

Importantly, at criticality in two dimensions, the cluster boundaries have no double points almost surely: the set of double points on critical cluster boundaries is empty with probability one [2507.20324]. This feature confirms that loop-soup CLE$_4$ boundaries are simple.

## 5. Conformal Field Theory, Primary Operators, and Central Charge

The critical Brownian loop-soup gives rise to a nontrivial CFT with central charge $c=2\lambda$ [1501.05945], [2112.00074]:
- Primary operators in the loop-soup CFT are given by exponentiated statistics of the loops (“layering” and “winding” operators), $O_a(z) = \exp(i a N(z))$, with either $N(z)$ the signed number of loops covering $z$, or the total winding number [1501.05945], [2007.01869].
- Their scaling dimensions are computable: for the layering operator, $\Delta_\ell(a) = \frac{\lambda}{10}[1-\cos a]$; for winding, $\Delta_w(a) = \lambda a(2\pi-a)/8\pi^2$, each showing $2\pi$-periodicity in $a$.
- The CFT admits an explicit stress-energy tensor $T(z)$ (expressed both in terms of loop edge numbers and vertex operators), which satisfies standard OPEs and conformal Ward identities [2112.00074].
- The loop-soup CFT is non-minimal, non-unitary for generic $\lambda$, and allows a continuous operator spectrum. At $\lambda=1/2$, the central charge is $c=1$, matching the free (Gaussian) boson theory.

The field of occupation times (local time fields) of the critical loop-soup can be rigorously identified in law with the Wick square $:\!\phi^2\!:$ of the Gaussian free field $\phi$ in the domain [2403.07830], [2107.13340].

## 6. Loop-Soup Cluster Decomposition, Excursions, and CLE–GFF Couplings

A pivotal structural feature at criticality is the exact decomposition of loop-soup clusters conditioned on their boundaries. For the $c=1$ loop-soup in $D$ and a CLE$_4$ outer boundary $\gamma$, the set of boundary-touching loops in the soup is distributed as an independent Poisson point process of Brownian excursions of intensity $(1/4)\mu^{\mathrm{exc}}$ in the domain enclosed by $\gamma$ [1509.01180], [1610.09343]. This allows:
- A Markovian resampling property and a domain Markov structure for CLEs and loop-soups,
- The identification between loop-soup occupation times and the GFF squared,
- The equivalence and commutativity of the three central couplings: GFF $\leftrightarrow$ CLE$_4$ level-lines (Miller–Sheffield), GFF$^2$ $\leftrightarrow$ occupation fields (Le Jan), loop-soup $\leftrightarrow$ CLE$_4$ via cluster boundaries (Sheffield–Werner) [1509.01180].

This decomposition is unique to $c=1$: at other intensities, the set of loops touching the boundary or a portion thereof fails to be a Poisson point process of excursions, and the Markovian structure is strictly weaker [1610.09343].

## 7. Scaling Limits, Universality, and Higher Dimensions

The critical Brownian loop-soup arises as the universal scaling limit of many lattice loop models: discrete random-walk loop soups on planar graphs (or tori) converge in the metric of unrooted loops to the Brownian loop-soup, provided suitable invariance and RSW-type properties hold [2603.13161], [1501.04861]. At criticality, the cluster boundaries become conformal loop ensembles CLE$_4$, and the critical exponents, central charge, and CFT data are universal.

In $d=3$, the critical loop-soup defines the only nontrivial continuum percolation scenario for Brownian loop-soups: above $\alpha_c$, there is a unique, possibly dense, cluster spanning $\mathbb{R}^3$. For $d\geq4$, Brownian loops almost surely do not intersect, so clusters are single loops and percolation is absent [2601.04840].

In high dimensions ($d\geq7$), loop-soup clusters containing macroscopic cycles split into two asymptotically independent families (“intensity doubling”): cycles made by a single large loop and cycles built from chainings of small loops (ghost cycles), both scaling to independent critical loop-soups [2511.21670].

---

References by arXiv id:  
- [1006.2373]: Conformal Loop Ensembles: Construction via Loop-soups  
- [1501.04861]: Brownian Loops and Conformal Fields  
- [1501.05945]: Conformal Correlation Functions in the Brownian Loop Soup  
- [1509.01180]: Decomposition of Brownian loop-soup clusters  
- [1610.09343]: Conditioning a Brownian loop-soup cluster on a portion of its boundary  
- [2007.01869]: New Recipes for Brownian Loop Soups  
- [2112.00074]: The Brownian loop soup stress-energy tensor  
- [2107.13340]: Multiplicative chaos of the Brownian loop soup  
- [2403.07830]: Parity questions in critical planar Brownian loop-soups  
- [2507.20324]: Non-existence of several random fractals in the Brownian motion and the Brownian loop soup  
- [2511.21670]: Intensity doubling for Brownian loop-soups in high dimensions  
- [2601.04840]: Three-dimensional Brownian loop soup clusters  
- [2603.13161]: Universality for the 2D Random Walk Loop Soup

Source: https://www.emergentmind.com/topics/critical-brownian-loop-soup