---
title: Metric-Graph Gaussian Free Field
url: https://www.emergentmind.com/topics/metric-graph-gaussian-free-field-gff
type: topic
---

# Metric-Graph Gaussian Free Field

Searching arXiv for recent and foundational papers on metric-graph Gaussian free fields and related level-set geometry.
The metric-graph Gaussian free field (metric-graph GFF), also called the cable-system GFF, is the Gaussian free field on a one-dimensional network obtained by replacing each edge of a weighted graph by a line segment and endowing the resulting space with its natural path metric. It is a continuous Gaussian field whose restriction to the vertex set is the usual discrete GFF, while along each edge it is given by a Brownian-bridge interpolation between endpoint values. This construction makes the field pointwise defined and continuous on the cable system, preserves the Green-function covariance structure, and provides a natural bridge between discrete lattice models, Brownian loop soups, first passage sets, and continuum Gaussian free fields [2603.25400].

## 1. Construction on cable systems

Let \(\mathcal G=(V,E)\) be a finite connected graph with positive conductances \(C(x,y)\). The associated metric graph \(\widetilde{\mathcal G}\) is obtained by replacing each edge \(\{x,y\}\) by a line segment of length \(C(x,y)^{-1}\), i.e. its resistance; in the two-dimensional box setup used for one-arm probabilities on \(\mathbb Z^2\), each nearest-neighbor edge is replaced by a segment of length \(2\) [1805.09204][1607.06424][2603.25400]. Brownian motion on \(\widetilde{\mathcal G}\) behaves as one-dimensional Brownian motion along edges and, at vertices, continues along adjacent edges according to the underlying graph structure; with equal conductances this continuation is uniform among outgoing edges, and more generally it is weighted by the conductances [1607.06424].

The metric-graph GFF \(\tilde\phi\) with Dirichlet boundary condition is the centered Gaussian process indexed by points of \(\widetilde{\mathcal G}\) whose covariance is the Green function of this Brownian motion killed on the boundary. Equivalently, one first samples the discrete GFF \(\phi\) on \(V\), then, conditionally on the vertex values, fills each edge independently with a Brownian bridge joining the endpoint values. Thus \(\tilde\phi\) is the unique continuous Gaussian field whose vertex restriction is \(\phi\), whose conditional mean along edges is harmonic, and whose covariance matches the cable-system Green function [1805.09204][1607.06424].

For the standard two-dimensional box
\[
B_N := \{x\in \mathbb Z^2 : |x|_\infty \le N\},
\]
the discrete field with Dirichlet boundary on the inner boundary of \(B_{N+1}\) has covariance given by the killed simple-random-walk Green function \(G_N\), and the metric-graph field \(\widetilde\varphi_N\) on \(\widetilde B_{N+1}\) is its cable-system extension with
\[
\mathbb E[\widetilde\varphi_{N,x}\widetilde\varphi_{N,y}] = G_N(x,y).
\]
Restricted to vertices, \(\widetilde\varphi_N\) is exactly the discrete GFF \(\varphi_N\) [2603.25400].

## 2. Markovian structure, first passage sets, and intrinsic geometry

A decisive advantage of the cable-system setting is that the GFF is a continuous random function on a one-dimensional network and satisfies a strong Markov property along random compact sets. If \(A\subset \widetilde{\mathcal G}\) is an optional random compact set with finitely many connected components, then
\[
\tilde\phi = \tilde\phi_A + \tilde\phi^A,
\]
where, conditionally on \(A\), the field \(\tilde\phi^A\) is an independent zero-boundary metric-graph GFF on \(\widetilde{\mathcal G}\setminus A\), and \(\tilde\phi_A\) is harmonic off \(A\) with boundary values prescribed on \(A\) and on the original boundary [1805.09204]. This is the cable-system analogue of the local-set decomposition for the continuum GFF.

This structure permits a literal pathwise definition of first passage sets. For a harmonic boundary condition \(u\) and a real parameter \(a\), the first passage set of level \(-a\) is
\[
\widetilde{\mathbb A}^{u}_{-a}
=
\Big\{
x\in\widetilde{\mathcal G}:\exists \text{ continuous path }\gamma \text{ from }x\text{ to }\partial\mathcal G
\text{ with }\tilde\phi+u\ge -a \text{ on }\gamma
\Big\}.
\]
Every connected component of \(\widetilde{\mathbb A}^{u}_{-a}\) touches the boundary; on the new boundary created by the set, the field equals \(-a\); and the complement carries an independent zero-boundary metric-graph GFF. These sets are monotone in both the level and the boundary condition [1805.09204]. In the metric-graph setting this pathwise description is not heuristic: it is the definition.

The cable-system formalism also supports an intrinsic pseudo-metric built from the zero set. For a continuous path \(\gamma\), its length is defined as the local time at level \(0\) accumulated by \(\tilde\phi\circ\gamma\), and the induced pseudo-distance is
\[
\delta_{x,y}(\tilde\phi)
=
\inf\{\mathrm{len}_{\tilde\phi}(\gamma): \gamma \text{ a continuous path from }x\text{ to }y\}.
\]
This pseudo-distance vanishes exactly on sign clusters, since points connected without crossing the zero set accumulate zero local time. A Lévy-type identity relates the pair \((|\tilde\phi|,\delta_{\cdot,A})\) to a reflected/unreflected transformation of the field, extending classical identities for Brownian motion and Brownian bridges to general metric graphs [1607.06424]. When the boundary consists of two points, the law of the pseudo-distance depends only on the effective resistance between them and coincides with the law of the local time at zero of a one-dimensional Brownian bridge of corresponding length [1607.06424].

## 3. Planar level-set percolation and one-arm probabilities

For a level \(h\), the metric-graph excursion set is
\[
\widetilde E_N^{\ge h}
=
\{x\in \widetilde B_{N+1}: \widetilde\varphi_{N,x}\ge h\},
\]
with connectivity defined by continuous paths in the cable system. In the discrete model, the corresponding set is
\[
E_N^{\ge h}
=
\{x\in B_N:\varphi_{N,x}\ge h\},
\]
with nearest-neighbor connectivity. The central observables are one-arm events such as
\[
\Big\{0 \stackrel{\widetilde\varphi_N\ge h}{\longleftrightarrow} \partial B_{N/2}\Big\}
\quad\text{and}\quad
\Big\{0 \stackrel{\widetilde\varphi_N\ge h}{\longleftrightarrow} \partial_i B_N\Big\},
\]
and their discrete counterparts [2603.25400].

In two dimensions, the Green function satisfies \(G_N(0,0)\asymp \log N\), and the metric-graph bulk one-arm probability reflects this logarithmic variance scale. For any fixed \(h\in\mathbb R\),
\[
\mathbb P\Big(0 \stackrel{\widetilde\varphi_N\ge h}{\longleftrightarrow} \partial B_{N/2}\Big)
\asymp
(\log N)^{-1/2}\times \text{an explicit function of }h.
\]
More concretely, for fixed \(h\le 0\) and large \(N\), this probability is essentially of order \(|h|/\sqrt{\log N}\), whereas for \(h>0\) it lies between \(e^{-a_1h^2}(\log N)^{-1/2}\) and \(e^{-a_2h^2}(\log N)^{-1/2}\) for suitable constants \(a_1,a_2>0\) [2603.25400]. The metric-graph model also admits conditional one-arm asymptotics given the field value at the origin, expressed through an exploration martingale and Brownian hitting probabilities [2603.25400].

The point-to-boundary regime exhibits a phase transition at level \(0\). For \(h<0\), Lupu–Werner’s isomorphism yields the exact identity
\[
\mathbb P\Big(0\stackrel{\widetilde\varphi_N\ge h}{\longleftrightarrow}\partial B_N\Big)
=
\mathbb P\big(|\widetilde\varphi_{N,0}|\le |h|\big),
\]
hence
\[
\mathbb P\Big(0\stackrel{\widetilde\varphi_N\ge h}{\longleftrightarrow}\partial B_N\Big)
\asymp |h|(\log N)^{-1/2}.
\]
For \(h\ge 0\), by contrast,
\[
\mathbb P\Big(0\stackrel{\widetilde\varphi_N\ge h}{\longleftrightarrow}\partial_i B_N\Big)
\lesssim (\log N)^{-1}N^{-c h^2}
\]
for some \(c>0\), so the decay is polynomial in \(N\) rather than logarithmic [2603.25400]. This sharp distinction is specific to the boundary one-arm event.

A structural reason for the tractability of the cable model is that in a metric-graph exploration of \(\{\widetilde\varphi\ge h\}\), the explored boundary is exactly at level \(h\). The discrete model lacks this flat terminal condition: when the discrete exploration stops, its outer neighbors are below \(h\), but not pinned to \(h\). This discrepancy is the source of later quantitative differences between the two models [2603.25400].

## 4. Comparison with the discrete GFF and planar scaling limits

The discrete two-dimensional GFF has the same logarithmic bulk one-arm order as the cable model, but the probabilities are not asymptotically equal. For fixed \(h\),
\[
\mathbb P\Big(0\stackrel{\varphi_N\ge h}{\longleftrightarrow}\partial B_{N/2}\Big)
-
\mathbb P\Big(0\stackrel{\widetilde\varphi_N\ge h}{\longleftrightarrow}\partial B_{N/2}\Big)
\ge c(h)(\log N)^{-1/2}
\]
for all large \(N\), with \(c(h)>0\) [2603.25400]. Thus the discrete one-arm probability is strictly larger by an amount of the same order as the probability itself. In the discrete exploration, boundary values are typically strictly below \(h\), and the resulting entropic repulsion shifts the connection probability upward relative to the metric-graph case [2603.25400].

This discrete-versus-metric distinction is visible already in planar crossing events. On a rectangle \(R_L\cap \delta\mathbb Z^2\) with zero boundary, the metric-graph probability of a positive crossing between inner boundary arcs is at most \(c/\sqrt{|\log\delta|}\), while the corresponding discrete probability stays bounded away from both \(0\) and \(1\) [2001.06447]. With alternating boundary data, both models have nondegenerate left-right crossing probabilities, but the discrete crossing probability exceeds the metric-graph one by a fixed positive amount for all sufficiently small mesh [2001.06447].

The scaling limit of the cable model with alternating boundary data is explicitly computable. On polygons of \(\delta\mathbb Z^2\) with alternating \(\pm 2\lambda\) boundary values, the connection pattern of the frontiers of positive and negative first passage sets converges to a conformally covariant limit expressed through fused multiple \(\mathrm{SLE}_4\) partition functions [2004.09104]. In the rectangle case, if \(q\) is the conformal cross-ratio, then
\[
\lim_{\delta\to 0}
\mathbb P\Big[(y_1^\delta y_2^\delta)\stackrel{\widetilde\Gamma^\delta\ge 0}{\longleftrightarrow}(y_3^\delta y_4^\delta)\Big]
=
q^4,
\]
whereas the corresponding discrete GFF limit with the critical boundary amplitude is \(q\) [2004.09104][2001.06447]. The fact that both models converge to the same continuum GFF but have different level-set crossing limits is one of the clearest indications that cable interpolation changes the geometry of excursion connectivity.

Metric-graph first passage sets also converge to continuum first passage sets in the Hausdorff metric, and certain natural metric-graph interfaces converge to continuum level lines and hence to \(\mathrm{SLE}_4\) processes [1805.09204]. More recently, continuum GFF level-line crossing probabilities with piecewise constant Dirichlet data were identified as ratios of \(c=1\) degenerate conformal blocks, and the corresponding metric-graph crossing probabilities were shown to converge to those formulas in the scaling limit [2606.22228].

## 5. Higher-dimensional and transient-graph regimes

On transient weighted graphs \(G\) with polynomial volume growth exponent \(\alpha\) and Green-function decay exponent \(\nu\), the cable-system GFF induces a bond-percolation model on the underlying discrete graph through the excursion set at level \(a\). In the regime
\[
1\le \nu \le \frac{\alpha}{2},
\]
the critical level is \(a_c=0\), and the critical one-arm probability satisfies
\[
P\big(0\leftrightarrow B(0,R)^c\big)=R^{-\nu/2+o(1)}.
\]
More precisely, the upper bound is \(C\,q(R)\,R^{-\nu/2}\), where \(q(R)\) is a slowly varying correction; for \(\mathbb Z^3\), this gives \(R^{-1/2}\) up to a \(\log\log R\) factor, and for \(\mathbb Z^4\), \(R^{-1}\) up to logarithmic corrections [2312.10030]. The same work establishes sharp upper bounds for the truncated two-point function near criticality and identifies the correlation-length exponent \(\nu_c=2/\nu\) in this regime [2312.10030].

For the specific cable system \(\widetilde{\mathbb Z^d}\), critical connectivity enjoys a quasi-multiplicativity property. When \(3\le d\le 5\),
\[
P^{D_1\cup D_2}(A_1\leftrightarrow A_2)
\asymp
P^{D_1}(A_1\leftrightarrow \partial B(N))\,
P^{D_2}(A_2\leftrightarrow \partial B(N)),
\]
while for \(d\ge 7\) there is a correction factor \(N^{6-d}\), and \(d=6\) is critical with bounds differing by \(N^{o(1)}\) [2412.05706]. This result is a key input for the construction of the incipient infinite cluster.

For all \(d\ge 3\), \(d\neq 6\), four natural incipient infinite cluster constructions for the critical cable-system GFF coincide: conditioning on \(\{0\leftrightarrow \partial B(N)\}\) and letting \(N\to\infty\); conditioning on \(\{0\leftrightarrow \infty\}\) at supercriticality and letting the level tend to criticality; conditioning on \(\{0\leftrightarrow x\}\) and sending \(x\to\infty\); and conditioning on large cluster capacity [2412.05709]. Under the resulting IIC law, the cluster is almost surely infinite and one-ended, and conditioned on \(\{0\leftrightarrow \partial B(N)\}\), the volume of the critical cluster in \(B(M)\) is typically of order
\[
M^{(\frac d2+1)\land 4}
\quad\text{for } N\gg M
\]
[2412.05709].

A further high-dimensional phenomenon is the microscopic separation of macroscopic sign clusters. For \(d\ge 3\), \(d\neq 6\), with uniformly positive probability there exist two distinct sign clusters of diameter at least \(cN\) in a box of size \(N\) whose mutual distance is less than
\[
N^{-[(d-2)\vee(2d-8)]},
\]
in sharp contrast with the planar \(\mathrm{CLE}_4\) picture [2510.20516]. As a byproduct, the number of pivotal edges for the one-arm event is typically of order
\[
N^{(\frac d2-1)\land 2},
\]
which implies that the cut-edge set of the IIC has dimension \((\frac d2-1)\land 2\) [2510.20516].

## 6. Loop soups, topological twists, and broader frameworks

The cable-system GFF is tightly linked to Brownian loop soups. On a metric graph, there is a coupling at loop-soup intensity \(1/2\) such that the total loop local time equals \(\tfrac12\tilde\phi^2\), and the loop-soup clusters coincide with the sign clusters of the metric-graph GFF [1805.09204][2412.05709]. For first passage sets, Aru–Lupu–Sepúlveda showed that at level \(0\) and nonnegative boundary data, the metric-graph FPS is exactly the union of loop-soup plus excursion clusters that contain a boundary excursion, together with the boundary itself [1805.09204]. This yields a direct geometric interpretation of GFF level sets in terms of Brownian loops and excursions.

A further extension introduces gauge-twisted metric-graph GFFs. Given a \(\{-1,1\}\)-valued gauge field \(\sigma\) on the edges, one defines a twisted Laplacian and a twisted GFF \(\tilde\phi_\sigma\). The usual metric-graph GFF conditioned on the topological event that every sign cluster is trivial for \(\sigma\) has the same absolute-value law as \(|\tilde\phi_\sigma|\), and the probability of this topological event is
\[
\mathbb P(\tilde\phi\in T_\sigma)
=
\left(\frac{\det G_\sigma}{\det G}\right)^{1/2}
=
\exp\Big(-\mu^{\rm loop}(\{\wp:\operatorname{hol}^\sigma(\wp)=-1\})\Big),
\]
where \(G\) and \(G_\sigma\) are the untwisted and twisted Green matrices [2209.07901]. On annular planar domains this gives the probability that no sign cluster surrounds the hole [2209.07901].

Finally, recent graph-theoretic work provides a dimension-free constructive viewpoint that is compatible with cable and metric settings. A discrete Hadamard variational formula expresses the Green function on a growing weighted graph as a sum of layer contributions, and the associated Hadamard operator gives a dynamic construction of the discrete GFF from white noise; the formulation is explicitly dimension-free and is stated to require no smoothness of any kind [2603.14776]. A plausible implication is that similar Dirichlet-form-based constructions should extend to metric graphs and fractal geometries. Related approximation results for DGFFs on random graphs converging to compact manifolds show how graph Laplacians, Green operators, and Sobolev-space interpretations can be organized so that discrete GFFs converge to continuum GFFs [1809.03382].

Across these developments, the metric-graph GFF serves as a technically precise intermediary between lattice GFFs and continuum Gaussian free fields. Its continuity along edges is not a cosmetic refinement: it alters level-set connectivity, makes first passage sets pathwise meaningful, sharpens the loop-soup correspondence, and exposes both planar conformal structures and high-dimensional critical geometry in forms that are inaccessible in the purely vertex-based model.

Source: https://www.emergentmind.com/topics/metric-graph-gaussian-free-field-gff