arXiv++ Combinatorics

We consider models of block-weighted random planar maps in which possibly decorated maps are decomposed canonically into blocks, each block receiving the weight $u$. These maps present a transition at some critical value $u=u_{cr}$ above which the maps degenerate into Brownian trees. We show that the enumerative properties and critical exponents of the maps at $u=u_{cr}$ and those for $u<u_{cr}$ are connected by duality relations which are precisely those expected in the context of the Liouville quantum gravity description of random surfaces. We illustrate this result by various instances of block-weighted maps: random planar quadrangulations decomposed into simple blocks, Hamiltonian cycles on cubic or bicubic planar maps decomposed into irreducible blocks, and meandric systems.

A planar stuffed map is an embedding of a graph into the 2-sphere $S^{2}$, considered up to orientation-preserving homeomorphisms, such that the complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to $S^{2}$ with multiple boundaries. This is a generalization of planar maps whose complement of the graph is a collection of disjoint topologically connected components that are each homeomorphic to a disc. The main goal of this work is to construct a bijection between bipartite planar stuffed maps and collections of integer-labelled trees connected by hyperedges such that they form a hypertree, called hypermobiles. This bijection directly generalizes the Bouttier-Di Franceso-Guitter bijection between bipartite planar maps and mobiles. Additionally, we show that the generating functions of these trees of mobiles satisfy both an algebraic equation, generalizing the case of ordinary planar maps, and a new functional equation. As an example, we explicitly enumerate a class of stuffed quadrangulations.

We revisit, in a self contained way, the Markov property on planar maps and decorated planar maps from three perspectives. First, we characterize the laws on these planar maps that satisfy both the Markov property and rerooting invariance, showing that they are Boltzmann-type maps. Second, we provide a comprehensive characterization of random submaps, that we call stopping maps, satisfying the Markov property, demonstrating that they are not restricted to those obtained through a peeling procedure. Third, we introduce decorated metric planar maps in which edges are replaced by copies of random length intervals $[0,w_e]$, and the decorations are given by continuous functions on the edges. We define a probability measure on them that is the analogue of the Boltzmann map and show that it satisfies the Markov property even for sets that halt exploration mid-edge.

We address the enumeration of Eulerian orientations of 4-valent planar maps according to three parameters: the number of vertices, the number of alternating vertices (having in/out/in/out incident edges), and the number of clockwise oriented faces. This is a refinement of the six vertex model studied by Kostov, then Zinn-Justin and Elvey Price, where one only considers the first two parameters. Via a bijection of Ambjorn and Budd, our problem is equivalent to the enumeration of Eulerian partial orientations of general planar maps, counted by the number of edges, the number of undirected edges, and the number of vertices. We first derive from combinatorial arguments a system of functional equations characterising the associated trivariate series $Q(t,ω,v)$. We then derive from this system a compact characterisation of this series. We use it to determine $Q(t,ω,v)$ in three two-parameter cases. The first two cases correspond to setting the variable $ω$ counting alternating vertices (or undirected edges after the AB bijection) to $0$ or $1$: when $ω=0$ we count Eulerian orientations of general planar maps by edges and vertices, and when $ω=1$ we count Eulerian orientations of quartic maps by vertices and clockwise faces. The final forms of these two series, namely $Q(t,0, v)$ and $Q(t,1,v)$, refine those obtained by the authors in an earlier paper for $v=1$. The third case that we solve, namely $v=1$ (but $ω$ arbitrary), is the standard six-vertex model, for which we provide a new proof of the formula of Elvey Price and Zinn-Justin involving Jacobi theta functions. This new derivation remains purely in the world of formal power series, not relying on complex analysis. Our results also use a more direct approach to solving the functional equations, in contrast to the guess and check approaches used in previous work.

We present a bijective proof for the planar case of Louf's counting formula on bipartite planar maps with prescribed face degree, that arises from the Toda hierarchy. We actually show that his formula hides two simpler formulas, both of which can be rewritten as equations on trees using duality and Schaeffer's bijection for eulerian maps. We prove them bijectively and show that the constructions we provide for trees can also be interpreted as "slit-slide-sew" operations on maps. As far as we know, this is the first bijection for a formula arising from an integrable hierarchy with infinitely many parameters.

A celebrated result of Bousquet-Mélou and Jehanne states that the bivariate power series solutions of so-called combinatorial polynomial equations with one catalytic variable, also known as catalytic equations, are algebraic series. We give a purely combinatorial derivation of this result in the case of order one catalytic equations (those involving only one univariate unknown series). In particular our approach provides a tool to produce context-free specifications, or bijections with simple multi-type families of trees, for the derivation trees of combinatorial structures that are directly governed by an order one catalytic decomposition. This provides a simple unified framework to deal with various combinatorial interpretation problems that were solved or raised over the last 50 years since the first such catalytic equation was written by W. T. Tutte in the late 60's to enumerate rooted planar maps.

We construct growth bijections for bipolar oriented planar maps and for Schnyder woods. These give direct combinatorial proofs of several counting identities for these objects. Our method mainly uses two ingredients. First, a slit-slide-sew operation, which consists in slightly sliding a map along a well-chosen path. Second, the study of the orbits of natural rerooting operations on the considered classes of oriented maps.

We introduce a model of tree-rooted planar maps weighted by their number of $2$-connected blocks. We study its enumerative properties and prove that it undergoes a phase transition. We give the distribution of the size of the largest $2$-connected blocks in the three regimes (subcritical, critical and supercritical) and further establish that the scaling limit is the Brownian Continuum Random Tree in the critical and supercritical regimes, with respective rescalings $\sqrt{n/\log(n)}$ and $\sqrt{n}$.

In [Fleurat, Salvy 2024], we introduced a model of block-weighted random maps that undergoes a phase transition as the density of separating elements changes. The purpose of this note is to demonstrate that the methodology we developed can be extended to many other families of maps. We prove that a phase transition exists and provide detailed information about the size of the largest blocks in each regime.

The purpose of this paper is to study the limiting distribution of special {\it additive functionals} on random planar maps, namely the number of occurrences of a given {\it pattern}. The main result is a central limit theorem for these pattern counts in the case of pattern with a simple boundary. The proof relies on a combination of analytic and combinatorial methods together with a moment method due to Gao and Wormald~\cite{GaoWormald}. It is an important issue to handle the overlap structure of two pattern which is the main difficulty in the proof.

Mobiles are a particular class of decorated plane trees which serve as codings for planar maps. Here we address the question of enumerating mobiles in their most general flavor, in correspondence with planar Eulerian (i.e., bicolored) maps. We show that the generating functions for such mobiles satisfy a number of recursive equations which lie in the field of integrable systems, leading us to explicit expressions for these generating functions as ratios of particular determinants. In particular we recover known results for mobiles associated with uncolored maps and prove some conjectured formulas for the generating functions of mobiles associated with $p$-constellations.

We consider infinite random planar maps decorated by the critical Fortuin-Kasteleyn model with parameter $q>4$. The paper demonstrates that when appropriately rescaled, these maps converge in law to the infinite continuum random tree as pointed metric-measure spaces, that is, with respect to the local Gromov-Hausdorff-Prokhorov topology. Furthermore, we also show that these maps do not admit any Fortuin-Kasteleyn loops with a macroscopic graph distance diameter. Our proof is based on Scott Sheffield's hamburger-cheeseburger bijection.

Hurwitz numbers enumerate branched morphisms between Riemannn surfaces with fixed numerical data. They represent important objects in enumerative geometry that are accessible by combinatorial techniques. In the past decade, many variants of Hurwitz numbers have appeared in the literature. In this paper, we focus on an exciting such variant that arises naturally from the theory of topological recursion: Pruned Hurwitz numbers. These are defined as an enumeration of a relevant subset of branched morphisms between Riemann surfaces, that yield smaller numbers than their classical counterparts while retaining maximal information. Thus, pruned Hurwitz numbers may be viewed as the core of the Hurwitz problem. In this paper, we develop the combinatorial theory of pruned Hurwitz numbers. In particular, motivated by the successful application of combinatorial techniques to classical Hurwitz numbers, we derive two new combinatorial expressions of pruned Hurwitz numbers. Firstly, we show that they may be expressed in terms of Hurwitz mobiles which are tree-like structure that arise from the theory of random planar maps. Secondly, we prove a tropical correspondence theorem which allows the enumeration of pruned Hurwitz numbers in terms of tropical covers.

We consider a greedy version of the $m$-Tamari order defined on $m$-Dyck paths, recently introduced by Dermenjian. Inspired by intriguing connections between intervals in the ordinary 1-Tamari order and planar triangulations, and more generally by the existence of simple formulas counting intervals in the ordinary $m$-Tamari orders, we investigate the number of intervals in the greedy order on $m$-Dyck paths of fixed size. We find again a simple formula, which also counts certain planar maps (of prescribed size) called $(m+1)$-constellations. For instance, when $m=1$ the number of intervals in the greedy order on 1-Dyck paths of length $2n$ is proved to be $\frac{3\cdot 2^{n-1}}{(n+1)(n+2)} \binom{2n}{n}$, which is also the number of bipartite maps with $n$ edges. Our approach is recursive, and uses a ``catalytic'' parameter, namely the length of the final descent of the upper path of the interval. The resulting bivariate generating function is algebraic for all $m$. We show that the same approach can be used to count intervals in the ordinary $m$-Tamari lattices as well. We thus recover the earlier result of the first author, Fusy and Préville-Ratelle, who were using a different catalytic parameter.

We consider the model of random planar maps of size $n$ biased by a weight $u>0$ per $2$-connected block, and the closely related model of random planar quadrangulations of size $n$ biased by a weight $u>0$ per simple component. We exhibit a phase transition at the critical value $u_C=9/5$. If $u<u_C$, a condensation phenomenon occurs: the largest block is of size $Θ(n)$. Moreover, for quadrangulations we show that the diameter is of order $n^{1/4}$, and the scaling limit is the Brownian sphere. When $u > u_C$, the largest block is of size $Θ(\log(n))$, the scaling order for distances is $n^{1/2}$, and the scaling limit is the Brownian tree. Finally, for $u=u_C$, the largest block is of size $Θ(n^{2/3})$, the scaling order for distances is $n^{1/3}$, and the scaling limit is the stable tree of parameter $3/2$.

The approach is through a singularity analysis of generating functions for 3- and 4-connected triangulations, asymptotic analysis, properties of the ${{}_3F_2}$ hypergeometric series, and Tutte's enumerative work on planar maps and chromatic polynomials.

Functional equations with one catalytic appear in several combinatorial applications, most notably in the enumeration of lattice paths and in the enumeration of planar maps. The main purpose of this paper is to show that under certain positivity assumptions the dominant singularity of the solutions have a universal behavior. We have to distinguish between linear catalytic equations, where a dominating square root singularity appears, and non-linear catalytic equations, where we - usually - have a singularity of type 3/2.

A meandric system of size $n$ is the set of loops formed from two arc diagrams (non-crossing perfect matchings) on $\{1,\dots,2n\}$, one drawn above the real line and the other below the real line. A uniform random meandric system can be viewed as a random planar map decorated by a Hamiltonian path (corresponding to the real line) and a collection of loops (formed by the arcs). Based on physics heuristics and numerical evidence, we conjecture that the scaling limit of this decorated random planar map is given by an independent triple consisting of a Liouville quantum gravity (LQG) sphere with parameter $γ=\sqrt 2$, a Schramm-Loewner evolution (SLE) curve with parameter $κ=8$, and a conformal loop ensemble (CLE) with parameter $κ=6$. We prove several rigorous results which are consistent with this conjecture. In particular, a uniform meandric system admits loops of nearly macroscopic graph-distance diameter with high probability. Furthermore, a.s., the uniform infinite meandric system with boundary has no infinite path. But, a.s., its boundary-modified version has a unique infinite path whose scaling limit is conjectured to be chordal SLE$_6$.

In this paper, we survey some properties, encoding, and bijections involving combinatorial maps, double occurrence words, and chord diagrams. We particularly study quasi-trees from a purely combinatorial point of view and derive a topological representation of maps with a given spanning quasi-tree using two fundamental polygons, which extends the representation of planar maps based on the equivalence with bipartite circle graphs. Then, we focus on Depth-First Search trees and their connection with a poset we define on the spanning quasi-trees of a map. We apply the bijections obtained in the first section to the problem of enumerating loopless rooted maps. Finally, we return to the planar case and discuss a decomposition of planar rooted loopless maps and its consequences on planar rooted loopless map enumeration.

The class of fighting fish is a recently introduced model of branching surfaces generalizing parallelogram polyominoes. We can alternatively see them as gluings of cells, walks on the square lattice confined to the quadrant or shuffle of Dyck words. With these different points of view, we introduce a natural extension of fighting fish that we call \emph{generalized fighting fish}. We show that generalized fighting fish are exactly the Mullin codes of rooted planar maps endowed with their unique rightmost depth-first search spanning tree, also known as Lehman-Lenormand code. In particular, this correspondence gives a bijection between fighting fish and nonseparable rooted planar maps, enriching the garden of bijections between classes of objects enumerated by the sequence $\frac{2}{(n+1)(2n+1)} \binom{3n}{n}$.