arXiv++ Combinatorics

We address the six vertex model on a random lattice, which in combinatorial terms corresponds to the enumeration of weighted 4-valent planar maps equipped with an Eulerian orientation. This problem was exactly, albeit non-rigorously solved by Ivan Kostov in 2000 using matrix integral techniques. We convert Kostov's work to a combinatorial argument involving functional equations coming from recursive decompositions of the maps, which we solve rigorously using complex analysis. We then investigate modular properties of the solution, which lead to simplifications in certain special cases. In particular, in two special cases of combinatorial interest we rederive the formulae discovered by Bousquet-Mélou and the first author.

We consider maps on genus-$g$ surfaces with $n$ (labeled) faces of prescribed even degrees. It is known since work of Norbury that, if one disallows vertices of degree one, the enumeration of such maps is related to the counting of lattice point in the moduli space of genus-$g$ curves with $n$ labeled points and is given by a symmetric polynomial $N_{g,n}(\ell_1,\ldots,\ell_n)$ in the face degrees $2\ell_1, \ldots, 2\ell_n$. We generalize this by restricting to genus-$g$ maps that are essentially $2b$-irreducible for $b\geq 0$, which loosely speaking means that they are not allowed to possess contractible cycles of length less than $2b$ and each such cycle of length $2b$ is required to bound a face of degree $2b$. The enumeration of such maps is shown to be again given by a symmetric polynomial $\hat{N}_{g,n}^{(b)}(\ell_1,\ldots,\ell_n)$ in the face degrees with a polynomial dependence on $b$. These polynomials satisfy (generalized) string and dilaton equations, which for $g\leq 1$ uniquely determine them. The proofs rely heavily on a substitution approach by Bouttier and Guitter and the enumeration of planar maps on genus-$g$ surfaces.

A well-known conjecture by Lovász and Plummer from the 1970s asserted that a bridgeless cubic graph has exponentially many perfect matchings. It was solved in the affirmative by Esperet et al. (Adv. Math. 2011). On the other hand, Chudnovsky and Seymour (Combinatorica 2012) proved the conjecture in the special case of cubic planar graphs. In our work we consider random bridgeless cubic planar graphs with the uniform distribution on graphs with $n$ vertices. Under this model we show that the expected number of perfect matchings in labeled bridgeless cubic planar graphs is asymptotically $cγ^n$, where $c>0$ and $γ\sim 1.14196$ is an explicit algebraic number. We also compute the expected number of perfect matchings in (non necessarily bridgeless) cubic planar graphs and provide lower bounds for unlabeled graphs. Our starting point is a correspondence between counting perfect matchings in rooted cubic planar maps and the partition function of the Ising model in rooted triangulations.

Drmota and Stufler proved recently that the expected number of pattern occurrences of a given map is asymptotically linear when the number of edges goes to infinity. In this paper we improve their result by means of a different method. Our method allows us to develop a systematic way for computing the explicit constant of the linear (main) term and shows that it is a positive rational number. Moreover, by extending our method, we also solve the corresponding problem of submap occurrences.

We present recent results on the enumeration of $q$-coloured planar maps, where each monochromatic edge carries a weight $ν$. This is equivalent to weighting each map by its Tutte polynomial, or to solving the $q$-state Potts model on random planar maps. The associated generating function, obtained by Olivier Bernardi and the author, is differentially algebraic. That is, it satisfies a (non-linear) differential equation. The starting point of this result is a functional equation written by Tutte in 1971, which translates into enumerative terms a simple recursive description of planar maps. The proof follows and adapts Tutte's solution of properly $q$-coloured triangulations (1973-1984). We put this work in perspective with the much better understood enumeration of families of uncoloured planar maps, for which the recursive approach almost systematically yields algebraic generating functions. In the past 15 years, these algebraicity properties have been explained combinatorially by illuminating bijections between maps and families of plane trees. We survey both approaches, recursive and bijective. Comparing the coloured and uncoloured results raises the question of designing bijections for coloured maps. No complete bijective solution exists at the moment, but we present bijections for certain specialisations of the general problem. We also show that for these specialisations, Tutte's functional equation is much easier to solve that in the general case. We conclude with some open questions.

Catalytic equations appear in several combinatorial applications, most notably in the numeration of lattice path and in the enumeration of planar maps. The main purpose of this paper is to show that the asymptotic estimate for the coefficients of the solutions of (so-called) positive catalytic equations has a universal asymptotic behavior. In particular, this provides a rationale why the number of maps of size $n$ in various planar map classes grows asymptotically like $c\cdot n^{-5/2} γ^n$, for suitable positive constants $c$ and $γ$. Essentially we have to distinguish between linear catalytic equations (where the subexponential growth is $n^{-3/2}$) and non-linear catalytic equations (where we have $n^{-5/2}$ as in planar maps). Furthermore we provide a quite general central limit theorem for parameters that can be encoded by catalytic functional equations, even when they are not positive.

We introduce bijections between families of rooted maps with unfixed genus and families of so-called blossoming trees endowed with an arbitrary forward matching of their leaves. We first focus on Eulerian maps with controlled vertex degrees. The mapping from blossoming trees to maps is a generalization to unfixed genus of Schaeffer's closing construction for planar Eulerian maps. The inverse mapping relies on the existence of canonical orientations which allow to equip the maps with canonical spanning trees, as proved by Bernardi. Our bijection gives in particular (here in the Eulerian case) a combinatorial explanation to the striking similarity between the (infinite) recursive system of equations which determines the partition function of maps with unfixed genus (as obtained via matrix models and orthogonal polynomials) and that determining the partition function of planar maps. All the functions in the recursive system get a combinatorial interpretation as generating functions for maps endowed with particular multiple markings of their edges. This allows us in particular to give a combinatorial proof of some differential identities satisfied by these functions. We also consider face-colored Eulerian maps with unfixed genus and derive some striking identities between their generating functions and those of properly weighted marked maps. The same methodology is then applied to deal with $m$-regular bipartite maps with unfixed genus, leading to similar results. The case of cubic maps is also briefly discussed.

In 2006, Chapoton defined a class of Tamari intervals called "new intervals" in his enumeration of Tamari intervals, and he found that these new intervals are equi-enumerated with bipartite planar maps. We present here a direct bijection between these two classes of objects using a new object called "degree tree". Our bijection also gives an intuitive proof of an unpublished equi-distribution result of some statistics on new intervals given by Chapoton and Fusy.

We consider a natural local dynamic on the set of all rooted planar maps with $n$ edges that is in some sense analogous to "edge flip" Markov chains, which have been considered before on a variety of combinatorial structures (triangulations of the $n$-gon and quadrangulations of the sphere, among others). We provide the first polynomial upper bound for the mixing time of this "edge rotation" chain on planar maps: we show that the spectral gap of the edge rotation chain is bounded below by an appropriate constant times $n^{-11/2}$. In doing so, we provide a partially new proof of the fact that the same bound applies to the spectral gap of edge flips on quadrangulations, which makes it possible to generalise a recent result of the author and Stauffer to a chain that relates to edge rotations via Tutte's bijection.

We prove that properly rescaled large planar Eulerian triangulations converge to the Brownian map. This result requires more than a standard application of the methods that have been used to obtain the convergence of other families of planar maps to the Brownian map, as the natural distance for Eulerian triangulations is a canonical oriented pseudo-distance. To circumvent this difficulty, we adapt the layer decomposition method established by Curien and Le Gall, which yields asymptotic proportionality between three natural distances on planar Eulerian triangulations: the usual graph distance, the canonical oriented pseudo-distance, and the Riemannian metric. This notably gives the first mathematical proof of a convergence to the Brownian map for maps endowed with their Riemannian metric. Along the way, we also construct new models of infinite random maps, as local limits of large planar Eulerian triangulations.

This habilitation thesis summarizes the research that I have carried out from 2005 to 2019. It is organized in four chapters. The first three deal with random planar maps. Chapter 1 is about their metric properties: from a general map-mobile bijection, we compute the three-point function of quadrangulations, before discussing the connection with continued fractions. Chapter 2 presents the slice decomposition, a unified bijective approach that applies notably to irreducible maps. Chapter 3 concerns the $O(n)$ loop model on planar maps: by a combinatorial decomposition, we obtain the phase diagram before studying loop nesting statistics. Chapter 4 deals with random partitions and Schur processes, from steep domino tilings to fermionic systems.

We survey the theory and applications of mating-of-trees bijections for random planar maps and their continuum analog: the mating-of-trees theorem of Duplantier, Miller, and Sheffield (2014). The latter theorem gives an encoding of a Liouville quantum gravity (LQG) surface decorated by a Schramm-Loewner evolution (SLE) curve in terms of a pair of correlated linear Brownian motions. We assume minimal familiarity with the theory of SLE and LQG. Mating-of-trees theory enables one to reduce problems about SLE and LQG to problems about Brownian motion and leads to deep rigorous connections between random planar maps and LQG. Applications discussed in this article include scaling limit results for various functionals of decorated random planar maps, estimates for graph distances and random walk on (not necessarily uniform) random planar maps, computations of the Hausdorff dimensions of sets associated with SLE, scaling limit results for random planar maps conformally embedded in the plane, and special symmetries for $\sqrt{8/3}$-LQG which allow one to prove its equivalence with the Brownian map.

The peeling process, which describes a step-by-step exploration of a planar map, has been instrumental in addressing percolation problems on random infinite planar maps. Bond and face percolation on maps with faces of arbitrary degree are conveniently studied via so-called lazy-peeling explorations. During such explorations distinct vertices on the exploration contour may at later stage be identified, making the process less suited to the study of site percolation. To tackle this situation and to explicitly identify site-percolation thresholds, we come back to the alternative "simple" peeling exploration of Angel and uncover deep relations with the lazy-peeling process. Along the way we define and study the random Boltzmann map of the half-plane with a simple boundary for an arbitrary critical weight sequence. Its construction is nontrivial especially in the "dense regime" where the half-planar random Boltzmann map does not possess an infinite simple core.

The present work describes the asymptotic local shape of a graph drawn uniformly at random from all connected simple planar graphs with n labelled vertices. We establish a novel uniform infinite planar graph (UIPG) as quenched limit in the local topology as n tends to infinity. We also establish such limits for random 2-connected planar graphs and maps as their number of edges tends to infinity. Our approach encompasses a new probabilistic view on the Tutte decomposition. This allows us to follow the path along the decomposition of connectivity from planar maps to planar graphs in a uniformed way, basing each step on condensation phenomena for random walks under subexponentiality and Gibbs partitions. Using large deviation results, we recover the asymptotic formula by Giménez and Noy (2009) for the number of planar graphs.

Bipolar orientations of planar maps have recently attracted some interest in combinatorics, probability theory and theoretical physics. Plane bipolar orientations with $n$ edges are known to be counted by the $n$th Baxter number $b(n)$, which can be defined by a linear recurrence relation with polynomial coefficients. Equivalently, the associated generating function $\sum_n b(n)t^n$ is D-finite. In this paper, we address a much refined enumeration problem, where we record for every $r$ the number of faces of degree $r$. When these degrees are bounded, we show that the associated generating function is given as the constant term of a multivariate rational series, and thus is still D-finite. We also provide detailed asymptotic estimates for the corresponding numbers. The methods used earlier to count all plane bipolar orientations, regardless of their face degrees, do not generalize easily to record face degrees. Instead, we start from a recent bijection, due to Kenyon et al., that sends bipolar orientations onto certain lattice walks confined to the first quadrant. Due to this bijection, the study of bipolar orientations meets the study of walks confined to a cone, which has been extremely active in the past 15 years. Some of our proofs rely on recent developments in this field, while others are purely bijective. Our asymptotic results also involve probabilistic arguments.

We address the enumeration of planar 4-valent maps equipped with an Eulerian orientation by two different methods, and compare the solutions we thus obtain. With the first method we enumerate these orientations as well as a restricted class which we show to be in bijection with general Eulerian orientations. The second method, based on the work of Kostov, allows us to enumerate these 4-valent orientations with a weight on some vertices, corresponding to the six vertex model. We prove that this result generalises both results obtained using the first method, although the equivalence is not immediately clear.

Starting from an arbitrary sequence of polygons whose total perimeter is $2n$, we can build an (oriented) surface by pairing their sides in a uniform fashion. Chmutov and Pittel (arXiv:1503.01816) have shown that, regardless of the configuration of polygons we started with, the degree sequence of the graph obtained this way is remarkably constant in total variation distance and converges towards a Poisson--Dirichlet partition as $n \to \infty$. We actually show that several other geometric properties of the graph are universal. En route we provide an alternative proof of a weak version of the result of Chmutov and Pittel using probabilistic techniques and related to the circle of ideas around the peeling process of random planar maps. At this occasion we also fill a gap in the existing literature by surveying the properties of a uniform random map with $n$ edges. In particular we show that the diameter of a random map with $n$ edges converges in law towards a random variable taking only values in $\{2,3\}$.

We introduce the set of (non-spanning) tree-decorated planar maps, and show that they are in bijection with the Cartesian product between the set of trees and the set of maps with a simple boundary. As a consequence, we count the number of tree decorated triangulations and quadrangulations with a given amount of faces and for a given size of the tree. Finally, we generalise the bijection to study other types of decorated planar maps and obtain explicit counting formulas for them.

These are lecture notes of the 48th Saint-Flour summer school, July 2018, on the topic of planar maps, random walks and the circle packing theorem.

We introduce and study a new partial order on Dyck paths. We prove that these posets are meet-semilattices. We show that their numbers of intervals are the same as the number of bicubic planar maps. We describe an unexpected connection with the Hochschild polytopes of Saneblidze.