1 · The essentials
These manuscripts study randomly chosen networks drawn on a sphere and ask what shapes emerge as the networks grow. For one family, controlled by a number , the limiting shape is a random surface when , but a random tree when . They also ask how a traveler taking random steps through a network moves on the limiting surface. In two particular network models, the manuscripts show that this motion approaches a continuous random motion on that surface. Under the stated rules, the required speed-up is exactly the number of edges in the network. A companion manuscript also describes convergence of quantities that govern how this motion spreads over time. The main random-walk result has a Lean formalization, though the supplied source does not specify which individual claims that formalization covers.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine increasingly large networks of streets drawn on a globe, viewed from farther away so that their overall size stays comparable. Depending on how the networks are selected, the large-scale object resembles either a surface or a branching tree; a traveler choosing a street at random at every junction also has a limiting description. This image does not capture the precise random geometry or the rules used to measure distance and time.
Why it matters
The family connects three questions: what a large random map looks like, how random motion behaves on it, and how its spectral quantities behave. The exact edge-count time acceleration links the discrete and continuous motions without an additional clock constant under the stated conventions. The metric-measure manuscript also describes its results as resolving the finite spherical cases of Gwynne and Miller’s graph-metric conjecture for the specified ensembles.
2 · Going further
The geometric problem concerns critical spherical Fortuin–Kasteleyn (FK) planar maps with a fixed parameter . For , the companion manuscripts show convergence to ordinary unit-area Liouville quantum gravity (LQG) spheres after deterministic rescaling of graph distances. Their conformal result also retains the area measure and the full nested interface collection, with an independent conformal loop ensemble decorating the limit. At , a separate manuscript constructs the critical sphere’s field and area law from subcritical spheres, equips it with its critical intrinsic metric, and shows the corresponding geometric convergence. For every fixed , the tree-limit manuscript instead shows convergence to the Brownian continuum random tree, with distances scaled by a constant times for an -edge map.
The main dynamical result concerns critical spherical FK–Ising maps. A stationary walk chooses uniformly among incident half-edges, including those belonging to loops and multiple edges, and its stationary law is the corner measure. Accelerating time by exactly the number of map edges yields convergence to Liouville Brownian motion on the ordinary unit-area -quantum sphere. For any deterministic metric scale yielding the metric-measure limit, the result retains that same surface together with any fixed finite number of conditionally independent walks and their time parameters. The main result has a Lean formalization; the supplied material gives no claim-by-claim account of its scope.
The argument’s structure, as described in the abstracts, is a chain of companion results rather than a detailed construction supplied here. The main walk manuscript uses geometric and electrical results from the spectral companion, which in turn uses the conformal and metric-measure companions and stated Brownian/LQG inputs. With total attempt rate one and edge-count time acceleration, the spectral manuscript shows joint convergence of the measured metric space, all ordered eigenvalues with multiplicities and padding, and the heat trace locally uniformly at strictly positive times. Its conductivity and clock constants are one under these conventions.
A parallel manuscript treats maps sampled with weight equal to their number of spanning trees. Using companion contour and metric limits for that ensemble, it shows convergence of stationary walks to Liouville Brownian motion on the unit-area -LQG sphere, retaining the conditional path law jointly with the measured metric space. Here too the acceleration is exactly the number of edges, with total attempt rate one and a continuum Dirichlet form normalized by a factor of . The metric-measure companion places both subcritical FK maps and uniform spanning-tree-decorated maps in the same geometric framework, using degree-proportional vertex probability measures and every primal edge for distances.
Useful notions
- Graphs, edges, and random walks
- Probability measures and stationary laws
- Rescaling distances and time
- Convergence of random metric spaces
- Eigenvalues and heat traces
What was known before / what is new
Before
The metric-measure manuscript identifies Gwynne and Miller’s graph-metric conjecture as the context for its finite spherical results. The above-four manuscript identifies a finite-volume continuum-random-tree prediction as its target. The spectral manuscript explicitly relies on stated Brownian/LQG inputs, but the supplied abstracts do not detail those inputs or provide a broader historical account.
New
The geometric manuscripts show a surface-to-tree transition: LQG sphere limits for fixed and a Brownian continuum random tree limit for fixed . The walk manuscripts show edge-count time acceleration for FK–Ising and spanning-tree-weighted maps, with different LQG sphere parameters. The FK–Ising spectral companion additionally shows convergence of all ordered eigenvalues and heat traces under its stated conventions and inputs.
Limits and assumptions
These statements concern the specified finite spherical ensembles, not arbitrary random networks. The geometric results fix q in the stated ranges and use deterministic distance normalizations; they do not state a result for q varying with map size. The walk results start from stationarity, retain loops and multiple edges, and use the stated half-edge selection rules; the exact clock depends on the given normalizations. Spectral heat-trace convergence is locally uniform only at strictly positive times and uses stated Brownian/LQG inputs. The main random-walk result has a Lean formalization, but its detailed scope is not supplied, so formal verification should not be attributed to every companion claim. The source does not identify further open problems or state diffusion or spectral results for every q.
Mini glossary
- Planar map —
- A network embedded on a sphere, with the embedding included as part of the object.
- Metric-measure limit —
- A limiting space that records both distances and a measure describing how mass is distributed.
- Liouville quantum gravity sphere —
- The random measured sphere, equipped here with its corresponding metric, appearing as the surface limit in these manuscripts.
- Liouville Brownian motion —
- The continuous random motion on the limiting quantum sphere identified as the limit of the specified discrete walks.
- Stationary law —
- A starting probability distribution that remains unchanged as the random walk evolves.
- Brownian continuum random tree —
- The random continuous tree appearing as the geometric limit of critical FK maps for fixed q greater than four.
Keywords : Random planar maps · Liouville quantum gravity · Random-walk convergence
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Critical Fortuin–Kasteleyn planar maps converge to Liouville quantum gravity spheres for and to the Brownian continuum random tree for q > 4, establishing the surface-to-tree geometric transition. For FK–Ising and spanning-tree-weighted maps, stationary random walks converge to Liouville Brownian motion on the limiting sphere. The FK–Ising spectral result also gives convergence of eigenvalues and heat traces, using the stated Brownian/LQG inputs.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
Random Walks on Critical FK–Ising Maps and Liouville Brownian Motion
05/10/2026We prove that stationary random walks on critical spherical FK–Ising planar maps converge to Liouville Brownian motion on the ordinary unit-area -quantum sphere, using the geometric and electrical results of the spectral companion. The walk chooses uniformly among all incident half-edges, retaining loops and multiple edges. With the corner measure as the stationary law, the deterministic time acceleration is exactly the number of map edges. For any deterministic metric scale giving the metric-measure limit, convergence retains that same surface and any fixed finite number of conditionally independent walks with their time parameters.
Spectral convergence for critical FK–Ising planar maps
05/10/2026Using the conformal and metric-measure companion results and the stated Brownian/Liouville quantum gravity inputs, we prove spectral convergence for critical spherical FK–Ising maps to Liouville Brownian motion on the ordinary unit-area -quantum sphere. The discrete walk has total attempt rate one, uses every map edge including loops and multiplicities, and has the corner measure as its stationary law. Accelerating time by the number of map edges gives joint convergence of the metric-measure space, all ordered eigenvalues with multiplicities and padding, and the heat trace locally uniformly at strictly positive times. The conductivity and clock constant are one in these conventions.
A Linear Clock for Random Walk on Tree-Weighted Planar Maps
05/10/2026We prove that stationary random walk on a planar map sampled with weight equal to its number of spanning trees converges to Liouville Brownian motion on the unit-area -Liouville quantum sphere. The convergence retains the conditional path law jointly with the measured metric space. The walk chooses uniformly among all incident half-edges and starts from the stationary degree measure. For total attempt rate one and the continuum Dirichlet form with factor 1/2, the time acceleration is exactly the number of map edges. The result uses the companion contour and metric limits for this same ensemble.
Canonical conformal limits of subcritical FK planar maps
24/09/2026For every fixed , we prove joint convergence of spherical Fortuin–Kasteleyn planar maps in their flag-triangle uniformization to the corresponding unit-area Liouville quantum gravity sphere decorated by an independent conformal loop ensemble. The convergence includes the area measure, deterministically rescaled graph distances between all vertex pairs, and the full nested interface collection, with interfaces converging uniformly up to reparameterization.
The critical Liouville quantum sphere and geometric limits of FK maps at q=4
24/09/2026We construct the field and area law of the unit-area critical Liouville quantum sphere as a limit of ordinary subcritical quantum spheres, and equip it with its critical intrinsic metric. We then prove that spherical Fortuin–Kasteleyn planar maps at q = 4, embedded by their equilateral flag uniformizations, converge jointly to this sphere decorated by an independent nested conformal loop ensemble CLE4. With deterministic distance normalization, the convergence includes the area measure, the full embedded distance function, and every macroscopic interface through all positive integer edge counts.
Metric-measure limits of subcritical FK and spanning-tree planar maps
24/09/2026We resolve the finite spherical cases of Gwynne and Miller's graph-metric conjecture for critical Fortuin–Kasteleyn maps at each fixed and for uniform spanning-tree-decorated maps. After deterministic rescaling of graph distances, these maps, equipped with the vertex probability measure proportional to degree, converge in Gromov–Hausdorff–Prokhorov law to their ordinary unit-area Liouville quantum gravity spheres. Distances use every primal edge, and convergence holds through all positive integer edge counts.
Brownian continuum random tree limits of finite Fortuin–Kasteleyn maps above four
24/09/2026We prove the finite-volume continuum-random-tree prediction for critical Fortuin–Kasteleyn planar maps at every fixed q > 4. After rescaling graph distances by a constant times n−1/2, an n-edge map with normalized degree measure converges to the Brownian continuum random tree in the Gromov–Hausdorff–Prokhorov topology. The convergence holds through all positive integer sizes.