[Paper Review] Bipolar orientations on planar maps and $\mathrm{SLE}_{12}$

Richard Kenyon, Jason Miller+2 more|arXiv (Cornell University)|Nov 12, 2015

Stochastic processes and statistical mechanics55 references12 citations

TL;DR

This paper establishes a bijection between bipolar-oriented planar maps and random walks in the nonnegative quadrant, showing that the uniformly random bipolar-oriented map, decorated by its Peano curve (encoding the left-most paths to the sink), converges in law to a $\mathrm{SLE}_{12}$-decorated $p=4/3$-Liouville quantum gravity surface under the peanosphere topology. The result holds universally across triangulations, quadrangulations, $k$-angulations, and mixed-face maps.

ABSTRACT

We give bijections between bipolar-oriented (acyclic with unique source and sink) planar maps and certain random walks, which show that the uniformly random bipolar-oriented planar map, decorated by the "peano curve" surrounding the tree of left-most paths to the sink, converges in law with respect to the peanosphere topology to a $\sqrt{4/3}$-Liouville quantum gravity surface decorated by an independent Schramm-Loewner evolution with parameter $κ=12$ (i.e., SLE$_{12}$). This result is universal in the sense that it holds for bipolar-oriented triangulations, quadrangulations, $k$-angulations, and maps in which face sizes are mixed.

Motivation & Objective

• To establish a universal scaling limit for uniformly random bipolar-oriented planar maps across diverse face types (triangulations, quadrangulations, etc.).
• To demonstrate that the Peano curve encoding left-most paths to the sink converges to an SLE$_{12}$ process in the scaling limit.
• To unify the description of bipolar-oriented maps via a bijection with random walks in $\mathbb{Z}_{\geq 0}^2$, enabling exact enumeration and local structure analysis.
• To connect discrete bipolar orientations to continuum random geometry via the peanosphere framework and Liouville quantum gravity (LQG).

Proposed method

• Construct a bijection between bipolar-oriented planar maps and certain two-dimensional random walks in the nonnegative quadrant.
• Use the northwest (NW) and southeast (SE) trees derived from the bipolar orientation to define a pair of discrete trees that encode the map's structure.
• Apply the peanosphere construction to represent the discrete map as a mating of trees, where the correlation between the trees is determined by the LQG and SLE parameters.
• Leverage known results on the convergence of random walk excursions to Brownian motion to show that the discrete tree pair converges to a correlated pair of continuum random trees.
• Use the equivalence between SLE-decorated LQG and mating of trees to conclude that the scaling limit is an $\mathrm{SLE}_{12}$ curve on a $p=4/3$-Liouville quantum gravity surface.
• Establish symmetry-based heuristics (e.g., east-west reflection and reflection-reversal) to predict the winding gap of $\pi/2$ between the NW path and adjacent edges, supporting the $\kappa=12$ identification.

Experimental results

Research questions

• RQ1 Does the uniformly random bipolar-oriented planar map converge to a universal scaling limit across different face types (triangulations, quadrangulations, etc.)?
• RQ2 What is the scaling limit of the Peano curve that traces the left-most paths to the sink in a bipolar-oriented map?
• RQ3 How do the winding properties of edges relative to a long NW path inform the identification of the limiting SLE process?
• RQ4 Can the bijection between bipolar maps and random walks in $\mathbb{Z}_{\geq 0}^2$ be used to derive exact enumerative formulas and local degree distributions?
• RQ5 Is the limiting geometry of bipolar-oriented maps equivalent to $\mathrm{SLE}_{12}$ on $p=4/3$-Liouville quantum gravity?

Key findings

• The uniformly random bipolar-oriented planar map, decorated by its Peano curve, converges in law to a $p=4/3$-Liouville quantum gravity surface decorated by an independent $\mathrm{SLE}_{12}$ curve under the peanosphere topology.
• The convergence is universal: it holds for all face-size distributions, including triangulations, quadrangulations, $k$-angulations, and mixed-face maps.
• The bijection between bipolar-oriented maps and random walks in $\mathbb{Z}_{\geq 0}^2$ yields exact enumerative formulae and provides local information on vertex and face degrees.
• The winding of edges relative to a long NW path is on average $\pi/2$ less than the path’s winding on the west side, and approximately zero on the east side, supporting the $\kappa=12$ identification.
• The NW and SE trees of the bipolar map converge to a correlated pair of continuum random trees with correlation parameter corresponding to $\kappa=12$ and $\gamma=\sqrt{4/3}$.
• The symmetry-based argument for a $\pi/2$ winding gap on the west and zero gap on the east side of a long NW path is consistent with the $\mathrm{SLE}_{12}$ limit and the critical angle $\theta_c = \pi/2$ for $\kappa=4/3$.