arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.10480

The circle packing and Riemann uniformization embedding of the mated-CRT map converges to Liouville quantum gravity

Nina Holden·Pu Yu
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the mated-CRT map converges to Liouville quantum gravity under circle packing and the Riemann uniformization embedding. The proof is based on our recent work on circle packing and the Riemann uniformization embedding for random planar maps in ergodic-scale free environments, comparison of circle packing in different domains and several existing and new estimates for the mated-CRT map. As an intermediate step, we prove an extension of He and Schramm's result (1996) on convergence of circle packing maps to conformal maps to global uniform topology in several settings. The latter results are of independent interest and will be applied in our subsequent work on the convergence of spanning tree weighted planar maps to $\sqrt{2}$-LQG under circle packing and Riemann uniformization embedding.

Explore related subjects

math.PRmath.CV

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Nina Holden, Pu Yu. 2026-10-07. The circle packing and Riemann uniformization embedding of the mated-CRT map converges to Liouville quantum gravity. https://arxiv.org/abs/2610.10480

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Pairwise Negative Correlation for Uniform Spanning Subgraphs of the Complete Graph

We study pairwise negative correlation for three families of uniform spanning-subgraph measures on the complete graph. In Part~I, we consider the uniform probability measure on connected spanning subgraphs and prove pairwise negative correlation for all sufficiently large complete graphs. In Part~II, we study the uniform measure on spanning forests with a prescribed number of connected components and prove pairwise negative correlation for every fixed number of components when the number of vertices is sufficiently large. In Part~III, we consider connected spanning subgraphs with prescribed excess and establish the analogous result for every fixed excess. The three parts are self-contained and are intended as separate manuscripts.

math.PR↗
arXiv2026

Naturality characterizes product measures and relative product measures

We show that the formation of the product measure is the only natural way to assign to each tuple of probability measures on measurable spaces a probability measure on the product space. Here, naturality is meant in the sense of category theory and amounts to the condition that the assignment commutes with pushforward along measurable maps. In the standard Borel setting, we also prove an analogous result for relative products over a fixed base probability space. As a corollary, we conclude that the formation of relative products is a lax symmetric monoidal functor.

math.PR↗
arXiv2026

A Dimension-Free Bound on the Poincaré Constant of Isotropic Log-Concave Measures

The Kannan--Lovász--Simonovits (KLS) conjecture asserts that isotropic log-concave probability measures have Poincaré constants bounded by a universal constant, independently of dimension. We give a deterministic variational proof with an explicit bound on the Poincaré constant $C_P(μ)\le25$, where $μ$ is any isotropic log-concave probability measure. Starting from elliptic moment estimates and a quadratic variance inequality, we establish geometric bounds on normalized Appell coefficient norms through \emph{joint} maximization over the measure and test function. Variation of the measure gives a maximum-principle inequality, while stationarity in the test function controls the highest-order cumulant terms. Two concave barriers constructed from quadratic and cubic polynomials close the induction. A weighted Helmholtz--Hodge decomposition then controls the curl correction of weighted divergence, yielding a curvature estimate for compatible symmetric tensor fields that is uniform in rank. Quadratic duality converts this estimate into an operator comparison for centered integration, linking the coefficient bounds to control of the inverse gradient. A spectral-radius estimate and a scalar growth inequality for adjoint iterates then yield the Poincaré bound. The final estimate is independent of the auxiliary positive curvature, allowing approximation to complete the proof for general isotropic log-concave measures.

math.PR↗