arXiv++ Combinatorics

We consider ensembles of planar maps with two marked vertices at distance k from each other and look at the closed line separating these vertices and lying at distance d from the first one (d<k). This line divides the map into two components, the hull at distance d which corresponds to the part of the map lying on the same side as the first vertex and its complementary. The number of faces within the hull is called the hull volume and the length of the separating line the hull perimeter. We study the statistics of the hull volume and perimeter for arbitrary d and k in the limit of infinitely large planar quadrangulations, triangulations and Eulerian triangulations. We consider more precisely situations where both d and k become large with the ratio d/k remaining finite. For infinitely large maps, two regimes may be encountered: either the hull has a finite volume and its complementary is infinitely large, or the hull itself has an infinite volume and its complementary is of finite size. We compute the probability for the map to be in either regime as a function of d/k as well as a number of universal statistical laws for the hull perimeter and volume when maps are conditioned to be in one regime or the other.

We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers D. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss some possible extension to maps of higher genus.

In the O(n) loop model on random planar maps, we study the depth - in terms of the number of levels of nesting - of the loop configuration, by means of analytic combinatorics. We focus on the 'refined' generating series of pointed disks or cylinders, which keep track of the number of loops separating the marked point from the boundary (for disks), or the two boundaries (for cylinders). For the general O(n) loop model, we show that these generating series satisfy functional relations obtained by a modification of those satisfied by the unrefined generating series. In a more specific O(n) model where loops cross only triangles and have a bending energy, we explicitly compute the refined generating series. We analyse their non generic critical behavior in the dense and dilute phases, and obtain the large deviations function of the nesting distribution, which is expected to be universal. Using the framework of Liouville quantum gravity (LQG), we show that a rigorous functional KPZ relation can be applied to the multifractal spectrum of extreme nesting in the conformal loop ensemble (CLE) in the Euclidean unit disk, as obtained by Miller, Watson and Wilson, or to its natural generalisation to the Riemann sphere. It allows us to recover the large deviations results obtained for the critical O(n) random planar map models. This offers, at the refined level of large deviations theory, a rigorous check of the fundamental fact that the universal scaling limits of random planar map models as weighted by partition functions of critical statistical models are given by LQG random surfaces decorated by independent CLEs.

The hull perimeter at distance d in a planar map with two marked vertices at distance k from each other is the length of the closed curve separating these two vertices and lying at distance d from the first one (d<k). We study the statistics of hull perimeters in large random planar triangulations and quadrangulations as a function of both k and d. Explicit expressions for the probability density of the hull perimeter at distance d, as well as for the joint probability density of hull perimeters at distances d1 and d2, are obtained in the limit of infinitely large k. We also consider the situation where the distance d at which the hull perimeter is measured corresponds to a finite fraction of k. The various laws that we obtain are identical for triangulations and for quadrangulations, up to a global rescaling. Our approach is based on recursion relations recently introduced by the author which determine the generating functions of so-called slices, i.e. pieces of maps with appropriate distance constraints. It is indeed shown that the map decompositions underlying these recursion relations are intimately linked to the notion of hull perimeters and provide a simple way to fully control them.

We study the geometry of infinite random Boltzmann planar maps with vertices of high degree. These correspond to the duals of the Boltzmann maps associated to a critical weight sequence $(q_{k})_{ k \geq 0}$ for the faces with polynomial decay $k^{-a}$ with $a \in ( 3/2, 5/2)$ which have been studied by Le Gall & Miermont as well as by Borot, Bouttier & Guitter. We show the existence of a phase transition for the geometry of these maps at $a = 2$. In the dilute phase corresponding to $a \in (2, 5/2)$ we prove that the volume of the ball of radius $r$ (for the graph distance) is of order $r^{\mathsf{d}}$ with $\mathsf{d}= (a-1/2)/(a-2)$, and we provide distributional scaling limits for the volume and perimeter process. In the dense phase corresponding to $a \in (3/2,2)$ the volume of the ball of radius $r$ is exponential in $r$. We also study the first-passage percolation (FPP) distance with exponential edge weights and show in particular that in the dense phase the FPP distance between the origin and infinity is finite. The latter implies in addition that the random lattices in the dense phase are transient. The proofs rely on the recent peeling process introduced in arXiv:1506.01590 and use ideas of arXiv:1412.5509 in the dilute phase.

Let $v$ be a grid path made of north and east steps. The lattice $\rm{T{\scriptsize AM}}(v)$, based on all grid paths weakly above $v$ and sharing the same endpoints as $v$, was introduced by Préville-Ratelle and Viennot (2014) and corresponds to the usual Tamari lattice in the case $v=(NE)^n$. Our main contribution is that the enumeration of intervals in $\rm{T{\scriptsize AM}}(v)$, over all $v$ of length $n$, is given by $\frac{2 (3n+3)!}{(n+2)! (2n+3)!}$. This formula was first obtained by Tutte(1963) for the enumeration of non-separable planar maps. Moreover, we give an explicit bijection from these intervals in $\rm{T{\scriptsize AM}}(v)$ to non-separable planar maps.

We present bijections for planar maps with boundaries. In particular, we obtain bijections for triangulations and quadrangulations of the sphere with boundaries of prescribed lengths. For triangulations we recover the beautiful factorized formula obtained by Krikun using a (technically involved) generating function approach. The analogous formula for quadrangulations is new. We also obtain a far-reaching generalization for other face-degrees. In fact, all the known enumerative formulas for maps with boundaries are proved bijectively in the present article (and several new formulas are obtained). Our method is to show that maps with boundaries can be endowed with certain "canonical" orientations, making them amenable to the master bijection approach we developed in previous articles. As an application of our enumerative formulas, we note that they provide an exact solution of the dimer model on rooted triangulations and quadrangulations.

The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, we utilize beta-description trees to cyclicly Gray code three classes of cubic planar maps, namely, bicubic planar maps, 3-connected cubic planar maps, and cubic non-separable planar maps.

The aim of this paper is to clarify the relationship between Gromov-hyperbolicity and amenability for planar maps.

We address the enumeration of q-coloured planar maps counted bythe number of edges and the number of monochromatic edges. We prove that the associated generating function is differentially algebraic,that is, satisfies a non-trivial polynomial differential equation withrespect to the edge variable. We give explicitly a differential systemthat characterizes this series. We then prove a similar result for planar triangulations, thus generalizing a result of Tutte dealing with their proper q-colourings. Instatistical physics terms, we solvethe q-state Potts model on random planar lattices. This work follows a first paper by the same authors, where the generating functionwas proved to be algebraic for certain values of q,including q=1, 2 and 3. It isknown to be transcendental in general. In contrast, our differential system holds for an indeterminate q.For certain special cases of combinatorial interest (four colours; properq-colourings; maps equipped with a spanning forest), we derive from this system, in the case of triangulations, an explicit differential equation of order 2 defining the generating function. For general planar maps, we also obtain a differential equation of order 3 for the four-colour case and for the self-dual Potts model.

We start by studying a peeling process on finite random planar maps with faces of arbitrary degrees determined by a general weight sequence, which satisfies an admissibility criterion. The corresponding perimeter process is identified as a biased random walk, in terms of which the admissibility criterion has a very simple interpretation. The finite random planar maps under consideration were recently proved to possess a well-defined local limit known as the infinite Boltzmann planar map (IBPM). Inspired by recent work of Curien and Le Gall, we show that the peeling process on the IBPM can be obtained from the peeling process of finite random maps by conditioning the perimeter process to stay positive. The simplicity of the resulting description of the peeling process allows us to obtain the scaling limit of the associated perimeter and volume process for arbitrary regular critical weight sequences.

We construct a moduli space of four colorings on planar cubic graphs. More precisely, we introduce the notion of weak Hamiltonian, a generalization of Hamiltonian cycles, and relate it to 4-colorings. Weak Hamiltonians have a form of deformation, which we call mutation, which gives them a graph structure, the Weak Hamiltonian graph. This graph encodes the different colorings as 3 vertex cliques. Identifying vertices on these cliques, we obtain a new graph, the chromatic graph, whose vertices are exactly the colorings of the original graph. Also, this construction gives a heuristic argument on why 4 colors are sufficient to color planar maps.

We introduce a strengthening of the notion of transience for planar maps in order to relax the standard condition of bounded degree appearing in various results, in particular, the existence of Dirichlet harmonic functions proved by Benjamini and Schramm. As a corollary we obtain that every planar non-amenable graph admits Dirichlet harmonic functions.

Ordinary tensor models of rank $D\geq 3$ are dominated at large $N$ by tree-like graphs, known as melonic triangulations. We here show that non-melonic contributions can be enhanced consistently, leading to different types of large $N$ limits. We first study the most generic quartic model at $D=4$, with maximally enhanced non-melonic interactions. The existence of the $1/N$ expansion is proved and we further characterize the dominant triangulations. This combinatorial analysis is then used to define a non-quartic, non-melonic class of models for which the large $N$ free energy and the relevant expectations can be calculated explicitly. They are matched with random matrix models which contain multi-trace invariants in their potentials: they possess a branched polymer phase and a 2D quantum gravity phase, and a transition between them whose entropy exponent is positive. Finally, a non-perturbative analysis of the generic quartic model is performed, which proves analyticity in the coupling constants in cardioid domains.

We compute the distance-dependent two-point function of vertex-bicolored planar maps, i.e., maps whose vertices are colored in black and white so that no adjacent vertices have the same color. By distance-dependent two-point function, we mean the generating function of these maps with both a marked oriented edge and a marked vertex which are at a prescribed distance from each other. As customary, the maps are enumerated with arbitrary degree-dependent face weights, but the novelty here is that we also introduce color-dependent vertex weights. Explicit expressions are given for vertex-bicolored maps with bounded face degrees in the form of ratios of determinants of fixed size. Our approach is based on a slice decomposition of maps which relates the distance-dependent two-point function to the coefficients of the continued fraction expansions of some distance-independent map generating functions. Special attention is paid to the case of vertex-bicolored quadrangulations and hexangulations, whose two-point functions are also obtained in a more direct way involving equivalences with hard dimer statistics. A few consequences of our results, as well as some extension to vertex-tricolored maps, are also discussed.

This thesis deals with the Tutte polynomial, studied from different points of view. In the first part, we address the enumeration of planar maps equipped with a spanning forest, here called forested maps, with a weight $z$ per face and a weight $u$ per non-root component of the forest. Equivalently, we count (with respect to the number of faces) the planar maps $C$ weighted by $T_C(u+1,1)$, where $T_C$ is the Tutte polynomial of $C$. We begin by a purely combinatorial characterization of the corresponding generating function, denoted by $F(z,u)$. We deduce from this that $F(z,u)$ is differentially algebraic in $z$, that is, satisfies a polynomial differential equation in $z$. Finally, for $u \geq -1$, we study the asymptotic behaviour of the $n$th coefficient of $F (z,u)$. We observe a phase transition at $0$, with a very unusual regime in $n^{-3}\ln^{-2} (n)$ for $u \in [-1,0[$, which testifies a new universality class for planar maps. In the second part, we propose a framework unifying the notions of activity used in the literature to describe the Tutte polynomial. The new notion of activity thereby defined is called $Δ$-activity. It gathers all the notions of activities that were already known and has nice properties, as Crapo's property that defines a partition of the lattice of the spanning subgraphs into intervals with respect to the activity. Lastly we conjecture that every activity that describes the Tutte polynomial and that satisfies Crapo's property can be defined in terms of $Δ$-activity.

A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no beta-redexes, and planar if it is linear and the use of variables moreover follows a deterministic stack discipline. We begin by showing that the sequence counting normal planar lambda terms by a natural notion of size coincides with the sequence (originally computed by Tutte) counting rooted planar maps by number of edges. Next, we explain how to apply the machinery of string diagrams to derive a graphical language for normal planar lambda terms, extracted from the semantics of linear lambda calculus in symmetric monoidal closed categories equipped with a linear reflexive object or a linear reflexive pair. Finally, our main result is a size-preserving bijection between rooted planar maps and normal planar lambda terms, which we establish by explaining how Tutte decomposition of rooted planar maps (into vertex maps, maps with an isthmic root, and maps with a non-isthmic root) may be naturally replayed in linear lambda calculus, as certain surgeries on the string diagrams of normal planar lambda terms.

We study the geodesic two- and three-point functions of random weighted cubic maps, which are obtained by assigning random edge lengths to random cubic planar maps. Explicit expressions are obtained by taking limits of recently established bivariate multi-point functions of general planar maps. We give an alternative interpretation of the two-point function in terms of an Eden model exploration process on a random planar triangulation. Finally, the scaling limits of the multi-point functions are studied, showing in particular that the two- and three-point functions of the Brownian map are recovered as the number of faces is taken to infinity.

A recent preprint (arXiv:1402.2632) introduced a growth procedure for planar maps, whose almost sure limit is "the uniform infinite 3-connected planar map". A classical construction of Brooks, Smith, Stone and Tutte (1940) associates a squaring of a rectangle (i.e. a tiling of a rectangle by squares) to any to finite, edge-rooted planar map with non-separating root edge. We use this construction together with the map growth procedure to define a growing sequence of squarings of rectangles. We prove the sequence of squarings converges to an almost sure limit: a random infinite squaring of a finite rectangle. This provides a canonical planar embedding of the uniform infinite 3-connected planar map. We also show that the limiting random squaring almost surely has a unique point of accumulation.

It is well-known that the number of planar maps with prescribed vertex degree distribution and suitable labeling can be represented as the leading coefficient of the $\frac{1}{N}$-expansion of a joint cumulant of traces of powers of an $N$-by-$N$ GUE matrix. Here we undertake the calculation of this leading coefficient in a different way. Firstly, we tridiagonalize the GUE matrix in the manner of Trotter and Dumitriu-Edelman and then alter it by conjugation to make the subdiagonal identically equal to $1$. Secondly, we apply the cluster expansion technique (specifically, the Brydges-Kennedy-Abdesselam-Rivasseau formula) from rigorous statistical mechanics. Thirdly, by sorting through the terms of the expansion thus generated we arrive at an alternate interpretation for the leading coefficient related to factorizations of the long cycle $(12\cdots n)\in S_n$. Finally, we reconcile the group-theoretical objects emerging from our calculation with the labeled mobiles of Bouttier-Di Francesco-Guitter.