🔬 physics

Permutons, meanders, and SLE-decorated Liouville quantum gravity

This paper introduces a class of random permutons constructed from space-filling Schramm-Loewner evolution curves on Liouville quantum gravity surfaces, characterizing their geometric properties, proving the sublinear length of their longest increasing subsequences for various pattern-avoiding permutations, and conjecturing their role as the scaling limit of uniform meandric permutations.

Original authors: Jacopo Borga, Ewain Gwynne, Xin Sun

Published 2026-09-30

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jacopo Borga, Ewain Gwynne, Xin Sun

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of mathematics, there is a branch dedicated to understanding how things change when they grow infinitely large. One specific puzzle involves permutations, which are simply different ways of arranging a list of numbers. Imagine shuffling a deck of cards; the order you end up with is a permutation. For decades, mathematicians have studied what happens to these arrangements when the deck becomes so large that it approaches infinity. They discovered that these massive, random shuffles tend to settle into specific, predictable shapes. These shapes are not made of paper or plastic, but of probability, forming a smooth, continuous cloud of points that describes the overall behavior of the shuffle. This field has revealed that while individual shuffles are chaotic, the collective behavior of trillions of them follows strict, elegant laws.

Recently, a team of researchers from MIT, the University of Chicago, and Peking University turned their attention to a particularly tricky class of these shuffles. They focused on arrangements that avoid certain forbidden patterns, as well as a unique type of arrangement derived from a geometric puzzle known as a "meander." A meander is essentially a single loop that crosses a straight line a specific number of times without ever touching the line without crossing it. If you trace the order in which the loop hits the line, you get a specific permutation. The researchers wanted to know: as these loops and their corresponding number arrangements grow larger and larger, what shape do they form? To answer this, they had to bridge two seemingly unrelated worlds: the geometry of random curves and the physics of random surfaces.

The team constructed a new family of these infinite shapes, which they call permutons, using a sophisticated mathematical framework. They started with a random, crumpled surface, a concept from theoretical physics known as a quantum gravity surface. On this surface, they drew two special, space-filling curves. These curves are not like the lines you draw with a pen; they are so tangled and complex that they eventually visit every single point on the surface, filling it up completely without ever crossing themselves. The researchers then looked at how these two curves interacted. By tracking the order in which the first curve visited points and comparing it to the order in which the second curve visited the same points, they could generate a new, random permutation. This method allowed them to create a whole class of these infinite shapes, including the specific one they suspected described the meander puzzle.

One of their most significant findings concerns the "longest increasing subsequence" within these massive arrangements. In a standard random shuffle, if you look for the longest list of numbers that go up in order, you will find a list that grows with the square root of the total size. However, the researchers proved that for the specific shapes they studied, this longest list grows much more slowly. It is "sublinear," meaning that as the total number of items explodes, the longest ordered list becomes a vanishingly small fraction of the whole. This result settles a long-standing question for several types of pattern-avoiding permutations, showing that their internal order is far more scrambled than previously thought. It also suggests that the same is true for the meander permutations, although a formal proof for that specific case remains a conjecture.

The team also investigated the physical "size" of these shapes. In mathematics, the dimension of a shape tells you how much space it occupies. A line has a dimension of one, and a flat sheet has a dimension of two. The researchers proved that the closed support of their random shapes—the actual area where the points of the shape exist—has a dimension of exactly one. This is a surprising result because the shapes are generated by curves that fill up a two-dimensional surface. Despite the curves being space-filling, the specific way they intersect to create the permutation results in a shape that is as thin as a line, no matter how much you zoom in. This finding reveals a hidden simplicity within the apparent complexity of these random systems.

Furthermore, the researchers discovered a unique symmetry in the shape derived from the meander puzzle. They showed that if you were to pick a random point on the shape and treat it as the new starting point, the statistical properties of the shape would remain exactly the same. This "re-rooting invariance" is a rare and powerful property that helps confirm that their mathematical model is the correct description for the meander problem. While they could not yet prove that the meander puzzle definitely converges to this shape, they provided strong evidence by showing that the shape possesses this unique symmetry, which the meander permutations are expected to have. They also derived a formula to calculate the likelihood of finding specific patterns within these shapes, linking the probability of these patterns to the behavior of the curves on the quantum surface.

The paper concludes by acknowledging that while they have mapped the terrain of these shapes and proven several of their properties, the ultimate goal of rigorously proving that the meander puzzle converges to this specific shape remains open. The connection between the discrete world of loop puzzles and the continuous world of quantum surfaces is deep and difficult to bridge directly. However, by establishing the properties of the target shape—its sublinear growth, its one-dimensional thinness, and its unique symmetry—the researchers have provided a clear destination for future explorers. They have shown that even in the most tangled, random systems, there are fundamental laws of order and dimension waiting to be discovered.

Technical Summary: Permutons, Meanders, and SLE-decorated Liouville Quantum Gravity

Problem Statement
This paper investigates a specific class of random permutons (probability measures on $[0,1]^2$ with uniform marginals) constructed from pairs of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. The primary motivation is to understand the scaling limits of various random permutation models, specifically:

Meandric permutations: Permutations induced by a simple loop crossing a line $2n$ times (meanders).
Pattern-avoiding permutations: Including Baxter, semi-Baxter, and strong-Baxter permutations.

While the scaling limits of uniform random permutations are well-understood (converging to the uniform permuton with longest increasing subsequences of order $\sqrt{n}$ ), the behavior of these specific constrained models is less clear. The authors aim to characterize the geometric and probabilistic properties of the limiting permutons for these models, particularly the meandric permuton, which is conjectured to be the scaling limit of uniform meandric permutations.

Methodology
The authors employ a framework combining probability theory, complex analysis, and statistical physics. The core methodology involves:

SLE and LQG Construction: Defining random permutons $\pi$ via a pair of space-filling SLE curves $(\eta_1, \eta_2)$ on a $\gamma$ -LQG surface. The curves are parametrized by the LQG area measure $\mu_h$ . The permuton is defined by the time-change function $\psi$ such that $\eta_1(t) = \eta_2(\psi(t))$ .
Geometric Analysis of SLE: Utilizing properties of space-filling SLE curves, including their duality with flow lines of the Gaussian Free Field (GFF), their reversibility (specifically for $\kappa=8$ ), and their interaction with the LQG metric $D_h$ .
Scaling Arguments: Using the scale invariance of the whole-plane GFF and the local absolute continuity between the GFF and the quantum sphere field to transfer estimates from infinite-volume settings to the unit-area quantum sphere.
Combinatorial Proofs: Establishing connections between the geometric properties of the permuton (e.g., the dimension of its support, the existence of monotone sets) and the asymptotic behavior of the longest increasing subsequence (LIS) in discrete permutations.

Key Contributions and Results

Sublinear Longest Increasing Subsequence (LIS):
The paper proves that for any sequence of random permutations converging to a permuton constructed from independent SLE curves or coupled SLE curves (as in the skew Brownian permuton), the length of the longest increasing subsequence is sublinear (i.e., $LIS(\sigma_n)/n \to 0$ in probability).
- Mechanism: The authors show that the closed support of such permutons contains no "monotone sets" of positive measure. A set $A \subset [0,1]^2$ is monotone if it is contained in the union of two rectangles defined by any point in it. They prove that for SLE-decorated LQG permutons, any monotone set has zero mass.
- Implications: This confirms that the LIS for Baxter, strong-Baxter, and semi-Baxter permutations is sublinear. It leads to the conjecture that the same holds for meandric permutations.
Hausdorff Dimension of the Support:
The authors prove that the closed support of any permuton in their class (constructed from space-filling SLEs on LQG) has Hausdorff dimension one.
- Significance: This indicates that the support is "as small as possible" for a permuton (since the projection onto axes must be full), meaning the measure is singular with respect to the Lebesgue measure on the square. This contrasts with permutons constructed from generic space-filling curves, where the dimension can be arbitrarily close to 2.
Re-rooting Invariance for the Meandric Permuton:
A specific symmetry property is established for the meandric permuton (where $\kappa_1 = \kappa_2 = 8$ and the curves are independent). The paper proves a re-rooting invariance: if the underlying SLE curves are re-rooted at a point determined by the permuton's support, the resulting permuton has the same distribution as the original.
- Connection to Discrete Models: This property mirrors a known bijection for discrete meandric permutations (cyclic shifts). The authors note that this invariance fails if $\kappa \neq 8$ , providing evidence that the scaling limit of meanders must correspond to $\kappa=8$ .
Pattern Density Formula:
For the meandric permuton, the authors derive an explicit formula for the annealed pattern densities (the probability that $n$ i.i.d. points sampled from the permuton form a specific permutation pattern).
- Formula: The density is expressed as an integral over $\mathbb{C}^n$ involving the joint density of $n$ points sampled from the LQG area measure and the probabilities that independent SLE $_8$ curves hit these points in a specific order. While the LQG correlation functions are known explicitly via conformal bootstrap, the SLE hitting probabilities remain an open problem.
Conjectures and Open Problems:
- Conjecture 1.8: Uniform meandric permutations converge to the meandric permuton defined by independent SLE $_8$ curves on a $\gamma$ -LQG sphere with $\gamma = \sqrt{\frac{1}{3}(17 - \sqrt{145})}$ .
- Conjecture 1.9: The cyclic meandric permutation converges to the identity permuton.
- Conjecture 1.18: The LIS of uniform meandric permutations scales as $n^\alpha$ with $\alpha \approx 0.69$ .
- The paper lists several open problems, including finding a non-SLE/LQG description of the meandric permuton, proving lower bounds for LIS in these models, and computing exact SLE hitting probabilities.

Significance and Claims
The paper positions itself as a bridge between the combinatorics of random permutations and the geometric theory of SLE and LQG.

Unification: It unifies the study of various pattern-avoiding permutations and meanders under a single geometric framework (SLE-decorated LQG).
Rigorous Bounds: It provides the first rigorous proof that the LIS for Baxter-type permutations is sublinear, resolving a question that was previously open.
Geometric Characterization: By establishing the Hausdorff dimension of the support and the re-rooting invariance, the authors provide strong geometric evidence supporting the conjecture that meanders converge to a specific SLE $_8$ -decorated LQG limit.
Modesty: The authors explicitly state that they do not prove the convergence of discrete meanders to the SLE/LQG limit (Conjecture 1.4) or the convergence of meandric permutations to the meandric permuton (Conjecture 1.8). Instead, they study the conjectural limiting objects directly to derive properties that must hold if the conjectures are true. They acknowledge that proving the actual convergence remains a difficult open problem requiring new combinatorial insights.

In summary, the paper characterizes the "shape" of the scaling limits for a broad class of random permutations, proving that they are singular, one-dimensional objects with sublinear LIS, and providing a precise probabilistic description of the meandric permuton that aligns with physical predictions from statistical mechanics.

More like this