Skip to main content
European Commission logo print header

Random Geometry

Periodic Reporting for period 4 - RANDGEOM (Random Geometry)

Reporting period: 2020-07-01 to 2021-12-31

The objective of this project is an investigation of the geometric structure of random spaces that arise in critical models of statistical physics. We are motivated by inspiring yet non-rigorous predictions from the physics community and the models studied are some of the most popular models in contemporary probability theory such as percolation, random planar maps and random walks. One topic of study is random planar maps and quantum gravity, a thriving field on the intersection of probability, statistical physics, combinatorics and complex analysis. Our goal is to develop a rigorous theory of these maps viewed as surfaces (rather than metric spaces) via their circle packing. The circle packing structure was recently used by the PI and Gurel-Gurevich to show that these maps are a.s. recurrent, resolving a major conjecture in this area. The main concrete goal of this project is a rigorous proof of the mysterious KPZ correspondence, a conjectural formula from the physics literature allowing to compute dimensions of certain random sets in the usual square lattice from the corresponding dimension in the random geometry. We hope to gain progress on the most central problems in two-dimensional statistical physics, such as estimating the typical displacement of the self-avoiding walk, proving conformal invariance for critical percolation on the square lattice and many others.
Another set of problems is investigating aspects of universality in critical percolation in various high-dimensional graphs. These graphs include lattices in dimension above 6, Cayley graphs of finitely generated non-amenable groups and also finite graphs such as the complete graph, the Hamming hypercube and expanders. It is believed that critical percolation on these graphs is universal in the sense that the resulting percolated clusters exhibit the same mean-field geometry.
1. A complete geometric and spectral analysis of "random causal map" - a natural and popular model of random planar maps.

2. A proof that the uniform spanning forest on any proper planar map with bounded degrees is almost surely connected. This answers a question of Benjamini, Lyons, Peres and Schramm 2001.

3. A proof that the exit measure of the random walk on a unimodular hyperbolic triangulation exists (that is, the random walker converges) and has full support and no atoms.

4. A proof that almost surely impossible to distinguish the connected components of the uniform spanning forest from each other by invariantly defined graph properties, resolving a conjecture of Benjamini, Lyons, Peres and Schramm 2001.

5. A proof that the diameter of the uniform spanning tree on high-dimensional graph grows like square root of the volume.

6. A proof that the local limit of the uniform spanning tree on regular graph with degree tending to infinity is the Poisson(1) branching process conditioned to survive.

7. A proof that the random walk on orthodiagonal maps converges to Brownian motion.

8. A proof that the circle packing on the so-called mated-CRT random triangulation has no macroscopic circles.

9. A full characterization of parabolicity/hyperbolicity of random planar maps.

10. The book "Planar maps, random walks and circle packing" which constitutes a comprehensive introduction to the research topics of this ERC project.
yellow.png
dcptube.png
randomhyperboliccirclepacking.png
multiplyconnected.png
An orthodiagonal map
layersgrey.jpeg
6cubep087.png