Showing 1–41 of 41 results for author: Bouttier, J

Enumeration of maps with tight boundaries and the Zhukovsky transformation

Authors: Jérémie Bouttier, Emmanuel Guitter, Grégory Miermont

Abstract: We consider maps with tight boundaries, i.e. maps whose boundaries have minimal length in their homotopy class, and discuss the properties of their generating functions $T^{(g)}_{\ell_1,\ldots,\ell_n}$ for fixed genus $g$ and prescribed boundary lengths $\ell_1,\ldots,\ell_n$, with a control on the degrees of inner faces. We find that these series appear as coefficients in the expansion of… ▽ More We consider maps with tight boundaries, i.e. maps whose boundaries have minimal length in their homotopy class, and discuss the properties of their generating functions $T^{(g)}_{\ell_1,\ldots,\ell_n}$ for fixed genus $g$ and prescribed boundary lengths $\ell_1,\ldots,\ell_n$, with a control on the degrees of inner faces. We find that these series appear as coefficients in the expansion of $ω^{(g)}_n(z_1,\ldots,z_n)$, a fundamental quantity in the Eynard-Orantin theory of topological recursion, thereby providing a combinatorial interpretation of the Zhukovsky transformation used in this context. This interpretation results from the so-called trumpet decomposition of maps with arbitrary boundaries. In the planar bipartite case, we obtain a fully explicit formula for $T^{(0)}_{2\ell_1,\ldots,2\ell_n}$ from the Collet-Fusy formula. We also find recursion relations satisfied by $T^{(g)}_{\ell_1,\ldots,\ell_n}$, which consist in adding an extra tight boundary, keeping the genus $g$ fixed. Building on a result of Norbury and Scott, we show that $T^{(g)}_{\ell_1,\ldots,\ell_n}$ is equal to a parity-dependent quasi-polynomial in $\ell_1^2,\ldots,\ell_n^2$ times a simple power of the basic generating function $R$. In passing, we provide a bijective derivation in the case $(g,n)=(0,3)$, generalizing a recent construction of ours to the non bipartite case. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 62 pages, 7 figures

Report number: IPhT-t24/011

Multicritical Schur measures and higher-order analogues of the Tracy-Widom distribution

Authors: Dan Betea, Jérémie Bouttier, Harriet Walsh

Abstract: We introduce multicritical Schur measures, which are probability laws on integer partitions which give rise to non-generic fluctuations at their edge. They are in the same universality classes as one-dimensional momentum-space models of free fermions in flat confining potentials, studied by Le Doussal, Majumdar and Schehr. These universality classes involve critical exponents of the form 1/(2m+1),… ▽ More We introduce multicritical Schur measures, which are probability laws on integer partitions which give rise to non-generic fluctuations at their edge. They are in the same universality classes as one-dimensional momentum-space models of free fermions in flat confining potentials, studied by Le Doussal, Majumdar and Schehr. These universality classes involve critical exponents of the form 1/(2m+1), with m a positive integer, and asymptotic distributions given by Fredholm determinants constructed from higher order Airy kernels, extending the generic Tracy-Widom GUE distribution recovered for m=1. We also compute limit shapes for the multicritical Schur measures, discuss the finite temperature setting, and exhibit an exact mapping to the multicritical unitary matrix models previously encountered by Periwal and Shevitz. △ Less

Submitted 27 January, 2024; v1 submitted 9 July, 2023; originally announced July 2023.

Comments: 50 pages, 8 figures, long version of arXiv:2012.01995 [math.CO]; v2: minor corrections; v3: final version

Report number: IPhT-t23/060

Journal ref: Math. Phys. Anal. Geom. 27:2 (2024)

From point processes to quantum optics and back

Authors: Rémi Bardenet, Alexandre Feller, Jérémie Bouttier, Pascal Degiovanni, Adrien Hardy, Adam Rançon, Benjamin Roussel, Grégory Schehr, Christoph I. Westbrook

Abstract: Some fifty years ago, in her seminal PhD thesis, Odile Macchi introduced permanental and determinantal point processes. Her initial motivation was to provide models for the set of detection times in fundamental bosonic or fermionic optical experiments, respectively. After two rather quiet decades, these point processes have quickly become standard examples of point processes with nontrivial, yet t… ▽ More Some fifty years ago, in her seminal PhD thesis, Odile Macchi introduced permanental and determinantal point processes. Her initial motivation was to provide models for the set of detection times in fundamental bosonic or fermionic optical experiments, respectively. After two rather quiet decades, these point processes have quickly become standard examples of point processes with nontrivial, yet tractable, correlation structures. In particular, determinantal point processes have been since the 1990s a technical workhorse in random matrix theory and combinatorics, and a standard model for repulsive point patterns in machine learning and spatial statistics since the 2010s. Meanwhile, our ability to experimentally probe the correlations between detection events in bosonic and fermionic optics has progressed tremendously. In Part I of this survey, we provide a modern introduction to the concepts in Macchi's thesis and their physical motivation, under the combined eye of mathematicians, physicists, and signal processers. Our objective is to provide a shared basis of knowledge for later cross-disciplinary work on point processes in quantum optics, and reconnect with the physical roots of permanental and determinantal point processes. △ Less

Submitted 11 October, 2022; originally announced October 2022.

Comments: Disclaimer: this is Part I of a cross-disciplinary survey that is work in progress, all comments are welcome

On quasi-polynomials counting planar tight maps

Authors: Jérémie Bouttier, Emmanuel Guitter, Grégory Miermont

Abstract: A tight map is a map with some of its vertices marked, such that every vertex of degree $1$ is marked. We give an explicit formula for the number $N_{0,n}(d_1,\ldots,d_n)$ of planar tight maps with $n$ labeled faces of prescribed degrees $d_1,\ldots,d_n$, where a marked vertex is seen as a face of degree $0$. It is a quasi-polynomial in $(d_1,\ldots,d_n)$, as shown previously by Norbury. Our deriv… ▽ More A tight map is a map with some of its vertices marked, such that every vertex of degree $1$ is marked. We give an explicit formula for the number $N_{0,n}(d_1,\ldots,d_n)$ of planar tight maps with $n$ labeled faces of prescribed degrees $d_1,\ldots,d_n$, where a marked vertex is seen as a face of degree $0$. It is a quasi-polynomial in $(d_1,\ldots,d_n)$, as shown previously by Norbury. Our derivation is bijective and based on the slice decomposition of planar maps. In the non-bipartite case, we also rely on enumeration results for two-type forests. We discuss the connection with the enumeration of non necessarily tight maps. In particular, we provide a generalization of Tutte's classical slicings formula to all non-bipartite maps. △ Less

Submitted 17 June, 2024; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: 70 pages, 19 figures (accepted version ; changes since v1: one extra figure and several small improvements/corrections)

Report number: IPhT-t22/009

Journal ref: Combinatorial Theory, 4(1) #12 (2024)

Bijective enumeration of planar bipartite maps with three tight boundaries, or how to slice pairs of pants

Authors: Jérémie Bouttier, Emmanuel Guitter, Grégory Miermont

Abstract: We consider planar maps with three boundaries, colloquially called pairs of pants. In the case of bipartite maps with controlled face degrees, a simple expression for their generating function was found by Eynard and proved bijectively by Collet and Fusy. In this paper, we obtain an even simpler formula for \emph{tight} pairs of pants, namely for maps whose boundaries have minimal length in their… ▽ More We consider planar maps with three boundaries, colloquially called pairs of pants. In the case of bipartite maps with controlled face degrees, a simple expression for their generating function was found by Eynard and proved bijectively by Collet and Fusy. In this paper, we obtain an even simpler formula for \emph{tight} pairs of pants, namely for maps whose boundaries have minimal length in their homotopy class. We follow a bijective approach based on the slice decomposition, which we extend by introducing new fundamental building blocks called bigeodesic triangles and diangles, and by working on the universal cover of the triply punctured sphere. We also discuss the statistics of the lengths of minimal separating loops in (non necessarily tight) pairs of pants and annuli, and their asymptotics in the large volume limit. △ Less

Submitted 23 November, 2022; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 76 pages, 29 figures, final version

Report number: IPhT-t21/024

Journal ref: Annales Henri Lebesgue, Volume 5 (2022), pp. 1035-1110

Enumeration of planar constellations with an alternating boundary

Authors: Jérémie Bouttier, Ariane Carrance

Abstract: A planar hypermap with a boundary is defined as a planar map with a boundary, endowed with a proper bicoloring of the inner faces. The boundary is said alternating if the colors of the incident inner faces alternate along its contour. In this paper we consider the problem of counting planar hypermaps with an alternating boundary, according to the perimeter and to the degree distribution of innerfa… ▽ More A planar hypermap with a boundary is defined as a planar map with a boundary, endowed with a proper bicoloring of the inner faces. The boundary is said alternating if the colors of the incident inner faces alternate along its contour. In this paper we consider the problem of counting planar hypermaps with an alternating boundary, according to the perimeter and to the degree distribution of innerfaces of each color. The problem is translated into a functional equation with a catalytic variable determining the corresponding generating function. In the case of constellations - hypermaps whose all inner faces of a given color have degree $m\geq 2$, and whose all other inner faces have a degree multiple of $m$ - we completely solve the functional equation, and show that the generating function is algebraic and admits an explicit rational parametrization. We finally specialize to the case of Eulerian triangulations - hypermaps whose all inner faces have degree $3$ - and compute asymptotics which are needed in another work by the second author, to prove the convergence of rescaled planar Eulerian triangulations to the Brownian map. △ Less

Submitted 20 July, 2021; v1 submitted 28 December, 2020; originally announced December 2020.

Comments: 20 pages, 5 figures. Final version appearing in EJC

Report number: IPhT-t20/149

Journal ref: The Electronic Journal of Combinatorics 28(3) (2021) #P3.21

Multicritical random partitions

Authors: Dan Betea, Jérémie Bouttier, Harriet Walsh

Abstract: We study two families of probability measures on integer partitions, which are Schur measures with parameters tuned in such a way that the edge fluctuations are characterized by a critical exponent different from the generic $1/3$. We find that the first part asymptotically follows a "higher-order analogue" of the Tracy-Widom GUE distribution, previously encountered by Le Doussal, Majumdar and Sch… ▽ More We study two families of probability measures on integer partitions, which are Schur measures with parameters tuned in such a way that the edge fluctuations are characterized by a critical exponent different from the generic $1/3$. We find that the first part asymptotically follows a "higher-order analogue" of the Tracy-Widom GUE distribution, previously encountered by Le Doussal, Majumdar and Schehr in quantum statistical physics. We also compute limit shapes, and discuss an exact mapping between one of our families and the multicritical unitary matrix models introduced by Periwal and Shevitz. △ Less

Submitted 16 April, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 12 pages, 3 figures (v2: minor modifications and clarifications). Extended abstract for FPSAC 2021

Report number: IPhT-t20/118

Journal ref: Séminaire Lotharingien de Combinatoire, 85B.33 (2021), Proceedings of the 33rd Conference on Formal Power Series and Algebraic Combinatorics (Ramat Gan)

Planar maps and random partitions

Authors: Jérémie Bouttier

Abstract: 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 de… ▽ More 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. △ Less

Submitted 14 December, 2019; originally announced December 2019.

Comments: Habilitation thesis, written in English except an introduction in French, 107 pages, many figures. Pages numbers differ from the printed copies given at the defence on 2 December 2019

Report number: IPhT-t19/162

New edge asymptotics of skew Young diagrams via free boundaries

Authors: Dan Betea, Jérémie Bouttier, Peter Nejjar, Mirjana Vuletić

Abstract: We study edge asymptotics of poissonized Plancherel-type measures on skew Young diagrams (integer partitions). These measures can be seen as generalizations of those studied by Baik--Deift--Johansson and Baik--Rains in resolving Ulam's problem on longest increasing subsequences of random permutations and the last passage percolation (corner growth) discrete versions thereof. Moreover they interpol… ▽ More We study edge asymptotics of poissonized Plancherel-type measures on skew Young diagrams (integer partitions). These measures can be seen as generalizations of those studied by Baik--Deift--Johansson and Baik--Rains in resolving Ulam's problem on longest increasing subsequences of random permutations and the last passage percolation (corner growth) discrete versions thereof. Moreover they interpolate between said measures and the uniform measure on partitions. In the new KPZ-like 1/3 exponent edge scaling limit with logarithmic corrections, we find new probability distributions generalizing the classical Tracy--Widom GUE, GOE and GSE distributions from the theory of random matrices. △ Less

Submitted 23 February, 2019; originally announced February 2019.

Comments: 12 pages, 2 figures. Extended abstract for FPSAC 2019

Report number: IPhT-t19/018

Journal ref: Séminaire Lotharingien de Combinatoire, 82B.34 (2019), Proceedings of the 31st Conference on Formal Power Series and Algebraic Combinatorics (Ljubljana)

The periodic Schur process and free fermions at finite temperature

Authors: Dan Betea, Jérémie Bouttier

Abstract: We revisit the periodic Schur process introduced by Borodin in 2007. Our contribution is threefold. First, we provide a new simpler derivation of its correlation functions via the free fermion formalism. In particular, we shall see that the process becomes determinantal by passing to the grand canonical ensemble, which gives a physical explanation to Borodin's "shift-mixing" trick. Second, we cons… ▽ More We revisit the periodic Schur process introduced by Borodin in 2007. Our contribution is threefold. First, we provide a new simpler derivation of its correlation functions via the free fermion formalism. In particular, we shall see that the process becomes determinantal by passing to the grand canonical ensemble, which gives a physical explanation to Borodin's "shift-mixing" trick. Second, we consider the edge scaling limit in the simplest nontrivial case, corresponding to a deformation of the poissonized Plancherel measure on partitions. We show that the edge behavior is described, in a certain crossover regime different from that for the bulk, by the universal finite-temperature Airy kernel, which was previously encountered by Johansson and Le Doussal et al. in other models, and whose extreme value statistics interpolates between the Tracy-Widom GUE and the Gumbel distributions. We also define and prove convergence for a stationary extension of our model. Finally, we compute the correlation functions for a variant of the periodic Schur process involving strict partitions, Schur's P and Q functions, and neutral fermions. △ Less

Submitted 21 January, 2019; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: 36 pages, 3 figures. v2: final version with several additions: two figures in introduction; some previously missing references; results on the edge behavior of the cylindric Plancherel measure outside the crossover regime, in particular in the nontrivial high temperature regime (see new Theorem 1.2, Proposition 5.2 and Appendix D)

Report number: IPhT-t18/107 MSC Class: 82C23; 60K35; 05E05

Journal ref: Math Phys Anal Geom (2019) 22: 3

The free boundary Schur process and applications I

Authors: Dan Betea, Jérémie Bouttier, Peter Nejjar, Mirjana Vuletić

Abstract: We investigate the free boundary Schur process, a variant of the Schur process introduced by Okounkov and Reshetikhin, where we allow the first and the last partitions to be arbitrary (instead of empty in the original setting). The pfaffian Schur process, previously studied by several authors, is recovered when just one of the boundary partitions is left free. We compute the correlation functions… ▽ More We investigate the free boundary Schur process, a variant of the Schur process introduced by Okounkov and Reshetikhin, where we allow the first and the last partitions to be arbitrary (instead of empty in the original setting). The pfaffian Schur process, previously studied by several authors, is recovered when just one of the boundary partitions is left free. We compute the correlation functions of the process in all generality via the free fermion formalism, which we extend with the thorough treatment of "free boundary states". For the case of one free boundary, our approach yields a new proof that the process is pfaffian. For the case of two free boundaries, we find that the process is not pfaffian, but a closely related process is. We also study three different applications of the Schur process with one free boundary: fluctuations of symmetrized last passage percolation models, limit shapes and processes for symmetric plane partitions, and for plane overpartitions. △ Less

Submitted 21 November, 2018; v1 submitted 19 April, 2017; originally announced April 2017.

Comments: 58 pages, 17 figures (v3: final version, with fewer pages than v2 to comply with journal requirements. In particular Theorems 2.2 and 2.5 are now stated under slightly more restrictive assumptions to simplify presentation. Added Remarks 2.11, 2.12, 5.14 and 6.9 about the transition from pfaffian to determinantal in the bulk.)

Report number: IPhT-t17/157

Journal ref: Ann. Henri Poincaré 19 (2018), 3663-3742

Nesting statistics in the O(n) loop model on random planar maps

Authors: Gaëtan Borot, Jérémie Bouttier, Bertrand Duplantier

Abstract: 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 gen… ▽ More 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. △ Less

Submitted 29 December, 2023; v1 submitted 7 May, 2016; originally announced May 2016.

Comments: 105 pages, 11 figures. v2: minor text and abstract edits, references added. v4: revised and expanded, including justification of delta analyticity. v5: final version

Report number: IPhT-t16/170 MSC Class: 05Axx; 60K35; 81T40

Journal ref: Commun. Math. Phys. 404, 1125-1229 (2023)

Dimers on Rail Yard Graphs

Authors: Cédric Boutillier, Jérémie Bouttier, Guillaume Chapuy, Sylvie Corteel, Sanjay Ramassamy

Abstract: We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions… ▽ More We introduce a general model of dimer coverings of certain plane bipartite graphs, which we call rail yard graphs (RYG). The transfer matrices used to compute the partition function are shown to be isomorphic to certain operators arising in the so-called boson-fermion correspondence. This allows to reformulate the RYG dimer model as a Schur process, i.e. as a random sequence of integer partitions subject to some interlacing conditions. Beyond the computation of the partition function, we provide an explicit expression for all correlation functions or, equivalently, for the inverse Kasteleyn matrix of the RYG dimer model. This expression, which is amenable to asymptotic analysis, follows from an exact combinatorial description of the operators localizing dimers in the transfer-matrix formalism, and then a suitable application of Wick's theorem. Plane partitions, domino tilings of the Aztec diamond, pyramid partitions, and steep tilings arise as particular cases of the RYG dimer model. For the Aztec diamond, we provide new derivations of the edge-probability generating function, of the biased creation rate, of the inverse Kasteleyn matrix and of the arctic circle theorem. △ Less

Submitted 29 June, 2015; v1 submitted 20 April, 2015; originally announced April 2015.

Comments: 44 pages, 17 figures, improved the discussion of the case of the Aztec diamond in new section 6

Report number: IPhT-t15/062

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 4 (2017), 479-539

Bumping sequences and multispecies juggling

Authors: Arvind Ayyer, Jérémie Bouttier, Sylvie Corteel, Svante Linusson, François Nunzi

Abstract: Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case w… ▽ More Building on previous work by four of us (ABCN), we consider further generalizations of Warrington's juggling Markov chains. We first introduce "multispecies" juggling, which consist in having balls of different weights: when a ball is thrown it can possibly bump into a lighter ball that is then sent to a higher position, where it can in turn bump an even lighter ball, etc. We both study the case where the number of balls of each species is conserved and the case where the juggler sends back a ball of the species of its choice. In this latter case, we actually discuss three models: add-drop, annihilation and overwriting. The first two are generalisations of models presented in (ABCN) while the third one is new and its Markov chain has the ultra fast convergence property. We finally consider the case of several jugglers exchanging balls. In all models, we give explicit product formulas for the stationary probability and closed form expressions for the normalisation factor if known. △ Less

Submitted 28 March, 2018; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: 25 pages, 9 figures (v3: final version, several typos and figures fixed)

Report number: IPhT-t15/059 MSC Class: 60C05; 60J10; 05A05; 82C23

Journal ref: Advances in Applied Mathematics 98 (2018) 100-126

Perfect sampling algorithm for Schur processes

Authors: Dan Betea, Cédric Boutillier, Jérémie Bouttier, Guillaume Chapuy, Sylvie Corteel, Mirjana Vuletić

Abstract: We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings… ▽ More We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings of the plane. Our algorithm, which is of polynomial complexity, is both exact (i.e. the output follows exactly the target probability law, which is either Boltzmann or uniform in our case), and entropy optimal (i.e. it reads a minimal number of random bits as an input). The algorithm encompasses previous growth procedures for special Schur processes related to the primal and dual RSK algorithm, as well as the famous domino shuffling algorithm for domino tilings of the Aztec diamond. It can be easily adapted to deal with symmetric Schur processes and general Schur processes involving infinitely many parameters. It is more concrete and easier to implement than Borodin's algorithm, and it is entropy optimal. At a technical level, it relies on unified bijective proofs of the different types of Cauchy and Littlewood identities for Schur functions, and on an adaptation of Fomin's growth diagram description of the RSK algorithm to that setting. Simulations performed with this algorithm suggest interesting limit shape phenomena for the corresponding tiling models, some of which are new. △ Less

Submitted 4 September, 2018; v1 submitted 14 July, 2014; originally announced July 2014.

Comments: 26 pages, 19 figures (v3: final version, corrected a few misprints present in v2)

Report number: IPhT-t14/101 MSC Class: 05A17; 05E10; 60C05; 60J10; 68U20; 82B20

Journal ref: Markov Processes Relat. Fields 24, 381-418 (2018)

From Aztec diamonds to pyramids: steep tilings

Authors: Jérémie Bouttier, Guillaume Chapuy, Sylvie Corteel

Abstract: We introduce a family of domino tilings that includes tilings of the Aztec diamond and pyramid partitions as special cases. These tilings live in a strip of $\mathbb{Z}^2$ of the form $1 \leq x-y \leq 2\ell$ for some integer $\ell \geq 1$, and are parametrized by a binary word $w\in\{+,-\}^{2\ell}$ that encodes some periodicity conditions at infinity. Aztec diamond and pyramid partitions correspon… ▽ More We introduce a family of domino tilings that includes tilings of the Aztec diamond and pyramid partitions as special cases. These tilings live in a strip of $\mathbb{Z}^2$ of the form $1 \leq x-y \leq 2\ell$ for some integer $\ell \geq 1$, and are parametrized by a binary word $w\in\{+,-\}^{2\ell}$ that encodes some periodicity conditions at infinity. Aztec diamond and pyramid partitions correspond respectively to $w=(+-)^\ell$ and to the limit case $w=+^\infty-^\infty$. For each word $w$ and for different types of boundary conditions, we obtain a nice product formula for the generating function of the associated tilings with respect to the number of flips, that admits a natural multivariate generalization. The main tools are a bijective correspondence with sequences of interlaced partitions and the vertex operator formalism (which we slightly extend in order to handle Littlewood-type identities). In probabilistic terms our tilings map to Schur processes of different types (standard, Pfaffian and periodic). We also introduce a more general model that interpolates between domino tilings and plane partitions. △ Less

Submitted 20 April, 2017; v1 submitted 2 July, 2014; originally announced July 2014.

Comments: 36 pages, 22 figures (v3: final accepted version with new Figure 6, new improved proof of Proposition 11)

Report number: IPhT-t14/095

Journal ref: Trans. Amer. Math. Soc. 369 (2017), 5921-5959

Multivariate Juggling Probabilities

Authors: Arvind Ayyer, Jérémie Bouttier, Sylvie Corteel, François Nunzi

Abstract: We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one c… ▽ More We consider refined versions of Markov chains related to juggling introduced by Warrington. We further generalize the construction to juggling with arbitrary heights as well as infinitely many balls, which are expressed more succinctly in terms of Markov chains on integer partitions. In all cases, we give explicit product formulas for the stationary probabilities. The normalization factor in one case can be explicitly written as a homogeneous symmetric polynomial. We also refine and generalize enriched Markov chains on set partitions. Lastly, we prove that in one case, the stationary distribution is attained in bounded time. △ Less

Submitted 16 January, 2015; v1 submitted 15 February, 2014; originally announced February 2014.

Comments: 28 pages, 5 figures, final version

Report number: IPhT-t14/044 MSC Class: 60C05; 60J10 (Primary); 05A17; 05A18; 82C23 (Secondary)

Journal ref: Electron. J. Probab. 20 (2015), no. 5, 1-29

On the two-point function of general planar maps and hypermaps

Authors: Jérémie Bouttier, Éric Fusy, Emmanuel Guitter

Abstract: We consider the problem of computing the distance-dependent two-point function of general planar maps and hypermaps, i.e. the problem of counting such maps with two marked points at a prescribed distance. The maps considered here may have faces of arbitrarily large degree, which requires new bijections to be tackled. We obtain exact expressions for the following cases: general and bipartite maps c… ▽ More We consider the problem of computing the distance-dependent two-point function of general planar maps and hypermaps, i.e. the problem of counting such maps with two marked points at a prescribed distance. The maps considered here may have faces of arbitrarily large degree, which requires new bijections to be tackled. We obtain exact expressions for the following cases: general and bipartite maps counted by their number of edges, 3-hypermaps and 3-constellations counted by their number of dark faces, and finally general and bipartite maps counted by both their number of edges and their number of faces. △ Less

Submitted 2 December, 2013; originally announced December 2013.

Comments: 32 pages, 17 figures

Report number: IPhT-t13/275

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 1 (2014) 265-306

A note on irreducible maps with several boundaries

Authors: J. Bouttier, E. Guitter

Abstract: We derive a formula for the generating function of d-irreducible bipartite planar maps with several boundaries, i.e. having several marked faces of controlled degrees. It extends a formula due to Collet and Fusy for the case of arbitrary (non necessarily irreducible) bipartite planar maps, which we recover by taking d=0. As an application, we obtain an expression for the number of d-irreducible bi… ▽ More We derive a formula for the generating function of d-irreducible bipartite planar maps with several boundaries, i.e. having several marked faces of controlled degrees. It extends a formula due to Collet and Fusy for the case of arbitrary (non necessarily irreducible) bipartite planar maps, which we recover by taking d=0. As an application, we obtain an expression for the number of d-irreducible bipartite planar maps with a prescribed number of faces of each allowed degree. Very explicit expressions are given in the case of maps without multiple edges (d=2), 4-irreducible maps and maps of girth at least 6 (d=4). Our derivation is based on a tree interpretation of the various encountered generating functions. △ Less

Submitted 21 May, 2013; originally announced May 2013.

Comments: 18 pages, 8 figures

Report number: IPhT-t13/076

Journal ref: Elec. Jour. of Combinatorics Vol 21(1) (2014) #P1.23

On irreducible maps and slices

Authors: J. Bouttier, E. Guitter

Abstract: We consider the problem of enumerating d-irreducible maps, i.e. planar maps whose all cycles have length at least d, and such that any cycle of length d is the boundary of a face of degree d. We develop two approaches in parallel: the natural approach via substitution where these maps are obtained from general maps by a replacement of all d-cycles by elementary faces, and a bijective approach via… ▽ More We consider the problem of enumerating d-irreducible maps, i.e. planar maps whose all cycles have length at least d, and such that any cycle of length d is the boundary of a face of degree d. We develop two approaches in parallel: the natural approach via substitution where these maps are obtained from general maps by a replacement of all d-cycles by elementary faces, and a bijective approach via slice decomposition which consists in cutting the maps along shortest paths. Both lead to explicit expressions for the generating functions of d-irreducible maps with controlled face degrees, summarized in some elegant "pointing formula". We provide an equivalent description of d-irreducible slices in terms of so-called d-oriented trees. We finally show that irreducible maps give rise to a hierarchy of discrete integrable equations which include equations encountered previously in the context of naturally embedded trees. △ Less

Submitted 14 October, 2013; v1 submitted 15 March, 2013; originally announced March 2013.

Comments: 65 pages, 21 figures, accepted version (changes since v1: new section 9.3 added, figure 13 modified, 2 extra references, and many smaller improvements)

Report number: IPhT-t13/039

Journal ref: Combinator. Probab. Comp. 23 (2014) 914-972

Loop models on random maps via nested loops: case of domain symmetry breaking and application to the Potts model

Authors: G. Borot, J. Bouttier, E. Guitter

Abstract: We use the nested loop approach to investigate loop models on random planar maps where the domains delimited by the loops are given two alternating colors, which can be assigned different local weights, hence allowing for an explicit Z_2 domain symmetry breaking. Each loop receives a non local weight n, as well as a local bending energy which controls loop turns. By a standard cluster construction… ▽ More We use the nested loop approach to investigate loop models on random planar maps where the domains delimited by the loops are given two alternating colors, which can be assigned different local weights, hence allowing for an explicit Z_2 domain symmetry breaking. Each loop receives a non local weight n, as well as a local bending energy which controls loop turns. By a standard cluster construction that we review, the Q = n^2 Potts model on general random maps is mapped to a particular instance of this problem with domain-non-symmetric weights. We derive in full generality a set of coupled functional relations for a pair of generating series which encode the enumeration of loop configurations on maps with a boundary of a given color, and solve it by extending well-known complex analytic techniques. In the case where loops are fully-packed, we analyze in details the phase diagram of the model and derive exact equations for the position of its non-generic critical points. In particular, we underline that the critical Potts model on general random maps is not self-dual whenever Q \neq 1. In a model with domain-symmetric weights, we also show the possibility of a spontaneous domain symmetry breaking driven by the bending energy. △ Less

Submitted 20 July, 2012; originally announced July 2012.

Comments: 44 pages, 13 figures

Report number: IPhT-t12/055

Journal ref: J. Phys. A, Math. Theor. (2012), vol. 45, 49

More on the O(n) model on random maps via nested loops: loops with bending energy

Authors: G. Borot, J. Bouttier, E. Guitter

Abstract: We continue our investigation of the nested loop approach to the O(n) model on random maps, by extending it to the case where loops may visit faces of arbitrary degree. This allows to express the partition function of the O(n) loop model as a specialization of the multivariate generating function of maps with controlled face degrees, where the face weights are determined by a fixed point condition… ▽ More We continue our investigation of the nested loop approach to the O(n) model on random maps, by extending it to the case where loops may visit faces of arbitrary degree. This allows to express the partition function of the O(n) loop model as a specialization of the multivariate generating function of maps with controlled face degrees, where the face weights are determined by a fixed point condition. We deduce a functional equation for the resolvent of the model, involving some ring generating function describing the immediate vicinity of the loops. When the ring generating function has a single pole, the model is amenable to a full solution. Physically, such situation is realized upon considering loops visiting triangles only and further weighting these loops by some local bending energy. Our model interpolates between the two previously solved cases of triangulations without bending energy and quadrangulations with rigid loops. We analyze the phase diagram of our model in details and derive in particular the location of its non-generic critical points, which are in the universality classes of the dense and dilute O(n) model coupled to 2D quantum gravity. Similar techniques are also used to solve a twisting loop model on quadrangulations where loops are forced to make turns within each visited square. Along the way, we revisit the problem of maps with controlled, possibly unbounded, face degrees and give combinatorial derivations of the one-cut lemma and of the functional equation for the resolvent. △ Less

Submitted 25 June, 2012; v1 submitted 24 February, 2012; originally announced February 2012.

Comments: 40 pages, 9 figures, final accepted version

Report number: IPhT-t12/013

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 275206

Constellations and multicontinued fractions: application to Eulerian triangulations

Authors: Marie Albenque, Jérémie Bouttier

Abstract: We consider the problem of enumerating planar constellations with two points at a prescribed distance. Our approach relies on a combinatorial correspondence between this family of constellations and the simpler family of rooted constellations, which we may formulate algebraically in terms of multicontinued fractions and generalized Hankel determinants. As an application, we provide a combinatorial… ▽ More We consider the problem of enumerating planar constellations with two points at a prescribed distance. Our approach relies on a combinatorial correspondence between this family of constellations and the simpler family of rooted constellations, which we may formulate algebraically in terms of multicontinued fractions and generalized Hankel determinants. As an application, we provide a combinatorial derivation of the generating function of Eulerian triangulations with two points at a prescribed distance. △ Less

Submitted 29 December, 2011; originally announced December 2011.

Comments: 12 pages, 4 figures

Report number: IPhT-t11/233

Journal ref: 24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), 805-816, Discrete Math. Theor. Comput. Sci. Proc., AR, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2012

A recursive approach to the O(n) model on random maps via nested loops

Authors: G. Borot, J. Bouttier, E. Guitter

Abstract: We consider the O(n) loop model on tetravalent maps and show how to rephrase it into a model of bipartite maps without loops. This follows from a combinatorial decomposition that consists in cutting the O(n) model configurations along their loops so that each elementary piece is a map that may have arbitrary even face degrees. In the induced statistics, these maps are drawn according to a Boltzman… ▽ More We consider the O(n) loop model on tetravalent maps and show how to rephrase it into a model of bipartite maps without loops. This follows from a combinatorial decomposition that consists in cutting the O(n) model configurations along their loops so that each elementary piece is a map that may have arbitrary even face degrees. In the induced statistics, these maps are drawn according to a Boltzmann distribution whose parameters (the face weights) are determined by a fixed point condition. In particular, we show that the dense and dilute critical points of the O(n) model correspond to bipartite maps with large faces (i.e. whose degree distribution has a fat tail). The re-expression of the fixed point condition in terms of linear integral equations allows us to explore the phase diagram of the model. In particular, we determine this phase diagram exactly for the simplest version of the model where the loops are "rigid". Several generalizations of the model are discussed. △ Less

Submitted 24 December, 2011; v1 submitted 1 June, 2011; originally announced June 2011.

Comments: 47 pages, 13 figures, final version (minor changes with v2 after proof corrections)

Report number: IPhT-t11/148

Journal ref: J. Phys. A: Math. Theor. 45 (2012) 045002

Matrix integrals and enumeration of maps

Authors: J. Bouttier

Abstract: This chapter is an introduction to the connection between random matrices and maps, i.e graphs drawn on surfaces. We concentrate on the one-matrix model and explain how it encodes and allows to solve a map enumeration problem. This chapter is an introduction to the connection between random matrices and maps, i.e graphs drawn on surfaces. We concentrate on the one-matrix model and explain how it encodes and allows to solve a map enumeration problem. △ Less

Submitted 15 April, 2011; originally announced April 2011.

Comments: chapter of the "The Oxford Handbook of Random Matrix Theory", editors G. Akemann, J. Baik and P. Di Francesco ; 24 pages and 5 figures

Report number: t10/258

Planar maps and continued fractions

Authors: J. Bouttier, E. Guitter

Abstract: We present an unexpected connection between two map enumeration problems. The first one consists in counting planar maps with a boundary of prescribed length. The second one consists in counting planar maps with two points at a prescribed distance. We show that, in the general class of maps with controlled face degrees, the solution for both problems is actually encoded into the same quantity, res… ▽ More We present an unexpected connection between two map enumeration problems. The first one consists in counting planar maps with a boundary of prescribed length. The second one consists in counting planar maps with two points at a prescribed distance. We show that, in the general class of maps with controlled face degrees, the solution for both problems is actually encoded into the same quantity, respectively via its power series expansion and its continued fraction expansion. We then use known techniques for tackling the first problem in order to solve the second. This novel viewpoint provides a constructive approach for computing the so-called distance-dependent two-point function of general planar maps. We prove and extend some previously predicted exact formulas, which we identify in terms of particular Schur functions. △ Less

Submitted 28 December, 2011; v1 submitted 2 July, 2010; originally announced July 2010.

Comments: 47 pages, 17 figures, final version (very minor changes since v2)

Report number: IPhT-t10/135

Journal ref: Commun. Math. Phys. 309:3 (2012) 623-662

Distance statistics in quadrangulations with no multiple edges and the geometry of minbus

Authors: J. Bouttier, E. Guitter

Abstract: We present a detailed calculation of the distance-dependent two-point function for quadrangulations with no multiple edges. Various discrete observables measuring this two-point function are computed and analyzed in the limit of large maps. For large distances and in the scaling regime, we recover the same universal scaling function as for general quadrangulations. We then explore the geometry of… ▽ More We present a detailed calculation of the distance-dependent two-point function for quadrangulations with no multiple edges. Various discrete observables measuring this two-point function are computed and analyzed in the limit of large maps. For large distances and in the scaling regime, we recover the same universal scaling function as for general quadrangulations. We then explore the geometry of "minimal neck baby universes" (minbus), which are the outgrowths to be removed from a general quadrangulation to transform it into a quadrangulation with no multiple edges, the "mother universe". We give a number of distance-dependent characterizations of minbus, such as the two-point function inside a minbu or the law for the distance from a random point to the mother universe. △ Less

Submitted 3 September, 2010; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: 39 pages, 9 figures

Report number: t10/020

Journal ref: J.Phys.A43:205207,2010

Distance statistics in quadrangulations with a boundary, or with a self-avoiding loop

Authors: J. Bouttier, E. Guitter

Abstract: We consider quadrangulations with a boundary and derive explicit expressions for the generating functions of these maps with either a marked vertex at a prescribed distance from the boundary, or two boundary vertices at a prescribed mutual distance in the map. For large maps, this yields explicit formulas for the bulk-boundary and boundary-boundary correlators in the various encountered scaling re… ▽ More We consider quadrangulations with a boundary and derive explicit expressions for the generating functions of these maps with either a marked vertex at a prescribed distance from the boundary, or two boundary vertices at a prescribed mutual distance in the map. For large maps, this yields explicit formulas for the bulk-boundary and boundary-boundary correlators in the various encountered scaling regimes: a small boundary, a dense boundary and a critical boundary regime. The critical boundary regime is characterized by a one-parameter family of scaling functions interpolating between the Brownian map and the Brownian Continuum Random Tree. We discuss the cases of both generic and self-avoiding boundaries, which are shown to share the same universal scaling limit. We finally address the question of the bulk-loop distance statistics in the context of planar quadrangulations equipped with a self-avoiding loop. Here again, a new family of scaling functions describing critical loops is discovered. △ Less

Submitted 2 September, 2010; v1 submitted 26 June, 2009; originally announced June 2009.

Comments: 55 pages, 14 figures, final version with minor corrections

Journal ref: J. Phys. A: Math. Theor. 42 (2009) 465208

Confluence of geodesic paths and separating loops in large planar quadrangulations

Authors: J. Bouttier, E. Guitter

Abstract: We consider planar quadrangulations with three marked vertices and discuss the geometry of triangles made of three geodesic paths joining them. We also study the geometry of minimal separating loops, i.e. paths of minimal length among all closed paths passing by one of the three vertices and separating the two others in the quadrangulation. We concentrate on the universal scaling limit of large qu… ▽ More We consider planar quadrangulations with three marked vertices and discuss the geometry of triangles made of three geodesic paths joining them. We also study the geometry of minimal separating loops, i.e. paths of minimal length among all closed paths passing by one of the three vertices and separating the two others in the quadrangulation. We concentrate on the universal scaling limit of large quadrangulations, also known as the Brownian map, where pairs of geodesic paths or minimal separating loops have common parts of non-zero macroscopic length. This is the phenomenon of confluence, which distinguishes the geometry of random quadrangulations from that of smooth surfaces. We characterize the universal probability distribution for the lengths of these common parts. △ Less

Submitted 2 September, 2010; v1 submitted 4 November, 2008; originally announced November 2008.

Comments: 48 pages, 33 color figures. Final version, with one concluding paragraph and one reference added, and several other small corrections

Report number: t08/182

Journal ref: J. Stat. Mech. (2009) P03001

The three-point function of planar quadrangulations

Authors: J. Bouttier, E. Guitter

Abstract: We compute the generating function of random planar quadrangulations with three marked vertices at prescribed pairwise distances. In the scaling limit of large quadrangulations, this discrete three-point function converges to a simple universal scaling function, which is the continuous three-point function of pure 2D quantum gravity. We give explicit expressions for this universal three-point fu… ▽ More We compute the generating function of random planar quadrangulations with three marked vertices at prescribed pairwise distances. In the scaling limit of large quadrangulations, this discrete three-point function converges to a simple universal scaling function, which is the continuous three-point function of pure 2D quantum gravity. We give explicit expressions for this universal three-point function both in the grand-canonical and canonical ensembles. Various limiting regimes are studied when some of the distances become large or small. By considering the case where the marked vertices are aligned, we also obtain the probability law for the number of geodesic points, namely vertices that lie on a geodesic path between two given vertices, and at prescribed distances from these vertices. △ Less

Submitted 24 July, 2008; v1 submitted 15 May, 2008; originally announced May 2008.

Comments: 43 pages, 16 color figures, misprints and figure 15 corrected

Journal ref: J. Stat. Mech. (2008) P07020

Statistics of geodesics in large quadrangulations

Authors: J. Bouttier, E. Guitter

Abstract: We study the statistical properties of geodesics, i.e. paths of minimal length, in large random planar quadrangulations. We extend Schaeffer's well-labeled tree bijection to the case of quadrangulations with a marked geodesic, leading to the notion of "spine trees", amenable to a direct enumeration. We obtain the generating functions for quadrangulations with a marked geodesic of fixed length, a… ▽ More We study the statistical properties of geodesics, i.e. paths of minimal length, in large random planar quadrangulations. We extend Schaeffer's well-labeled tree bijection to the case of quadrangulations with a marked geodesic, leading to the notion of "spine trees", amenable to a direct enumeration. We obtain the generating functions for quadrangulations with a marked geodesic of fixed length, as well as with a set of "confluent geodesics", i.e. a collection of non-intersecting minimal paths connecting two given points. In the limit of quadrangulations with a large area n, we find in particular an average number 3*2^i of geodesics between two fixed points at distance i>>1 from each other. We show that, for generic endpoints, two confluent geodesics remain close to each other and have an extensive number of contacts. This property fails for a few "exceptional" endpoints which can be linked by truly distinct geodesics. Results are presented both in the case of finite length i and in the scaling limit i ~ n^(1/4). In particular, we give the scaling distribution of the exceptional points. △ Less

Submitted 7 March, 2008; v1 submitted 13 December, 2007; originally announced December 2007.

Comments: 37 pages, 18 color figures, improved version with several clarifications (mostly in sections 2.1 and 2.4) and one added section (3.1) on ensembles of random quadrangulations

Journal ref: J. Phys. A: Math. Theor. 41 (2008) 145001

Blocked edges on Eulerian maps and mobiles: Application to spanning trees, hard particles and the Ising model

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We introduce Eulerian maps with blocked edges as a general way to implement statistical matter models on random maps by a modification of intrinsic distances. We show how to code these dressed maps by means of mobiles, i.e. decorated trees with labeled vertices, leading to a closed system of recursion relations for their generating functions. We discuss particular solvable cases in detail, as we… ▽ More We introduce Eulerian maps with blocked edges as a general way to implement statistical matter models on random maps by a modification of intrinsic distances. We show how to code these dressed maps by means of mobiles, i.e. decorated trees with labeled vertices, leading to a closed system of recursion relations for their generating functions. We discuss particular solvable cases in detail, as well as various applications of our method to several statistical systems such as spanning trees on quadrangulations, mutually excluding particles on Eulerian triangulations or the Ising model on quadrangulations. △ Less

Submitted 7 March, 2008; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: 39 pages, 18 figures, minor modifications

Journal ref: J. Phys. A: Math. Theor. 40 (2007) 7411-7440

Multicritical continuous random trees

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We introduce generalizations of Aldous' Brownian Continuous Random Tree as scaling limits for multicritical models of discrete trees. These discrete models involve trees with fine-tuned vertex-dependent weights ensuring a k-th root singularity in their generating function. The scaling limit involves continuous trees with branching points of order up to k+1. We derive explicit integral representa… ▽ More We introduce generalizations of Aldous' Brownian Continuous Random Tree as scaling limits for multicritical models of discrete trees. These discrete models involve trees with fine-tuned vertex-dependent weights ensuring a k-th root singularity in their generating function. The scaling limit involves continuous trees with branching points of order up to k+1. We derive explicit integral representations for the average profile of this k-th order multicritical continuous random tree, as well as for its history distributions measuring multi-point correlations. The latter distributions involve non-positive universal weights at the branching points together with fractional derivative couplings. We prove universality by rederiving the same results within a purely continuous axiomatic approach based on the resolution of a set of consistency relations for the multi-point correlations. The average profile is shown to obey a fractional differential equation whose solution involves hypergeometric functions and matches the integral formula of the discrete approach. △ Less

Submitted 2 March, 2006; originally announced March 2006.

Comments: 34 pages, 12 figures, uses lanlmac, hyperbasics, epsf

Report number: SPhT-T06/021

Journal ref: J. Stat. Mech. (2006) P04004

Combinatorics of bicubic maps with hard particles

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We present a purely combinatorial solution of the problem of enumerating planar bicubic maps with hard particles. This is done by use of a bijection with a particular class of blossom trees with particles, obtained by an appropriate cutting of the maps. Although these trees have no simple local characterization, we prove that their enumeration may be performed upon introducing a larger class of… ▽ More We present a purely combinatorial solution of the problem of enumerating planar bicubic maps with hard particles. This is done by use of a bijection with a particular class of blossom trees with particles, obtained by an appropriate cutting of the maps. Although these trees have no simple local characterization, we prove that their enumeration may be performed upon introducing a larger class of "admissible" trees with possibly doubly-occupied edges and summing them with appropriate signed weights. The proof relies on an extension of the cutting procedure allowing for the presence on the maps of special non-sectile edges. The admissible trees are characterized by simple local rules, allowing eventually for an exact enumeration of planar bicubic maps with hard particles. We also discuss generalizations for maps with particles subject to more general exclusion rules and show how to re-derive the enumeration of quartic maps with Ising spins in the present framework of admissible trees. We finally comment on a possible interpretation in terms of branching processes. △ Less

Submitted 9 May, 2005; v1 submitted 21 January, 2005; originally announced January 2005.

Comments: 41 pages, 19 figures, tex, lanlmac, hyperbasics, epsf. Introduction and discussion/conclusion extended, minor corrections, references added

Report number: Saclay preprint T05/013

Journal ref: J.Phys. A38 (2005) 4529-4559

Planar maps as labeled mobiles

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We extend Schaeffer's bijection between rooted quadrangulations and well-labeled trees to the general case of Eulerian planar maps with prescribed face valences, to obtain a bijection with a new class of labeled trees, which we call mobiles. Our bijection covers all the classes of maps previously enumerated by either the two-matrix model used by physicists or by the bijection with blossom trees… ▽ More We extend Schaeffer's bijection between rooted quadrangulations and well-labeled trees to the general case of Eulerian planar maps with prescribed face valences, to obtain a bijection with a new class of labeled trees, which we call mobiles. Our bijection covers all the classes of maps previously enumerated by either the two-matrix model used by physicists or by the bijection with blossom trees used by combinatorists. Our bijection reduces the enumeration of maps to that, much simpler, of mobiles and moreover keeps track of the geodesic distance within the initial maps via the mobiles' labels. Generating functions for mobiles are shown to obey systems of algebraic recursion relations. △ Less

Submitted 7 September, 2004; v1 submitted 6 May, 2004; originally announced May 2004.

Comments: 31 pages, 17 figures, tex, lanlmac, epsf; improved text

Report number: SPhT/04-060 MSC Class: Primary 05C30; Secondary 05A15; 05C30 (Primary) 05A15; 05C05; 05C12; 68R05 (Secondary)

Journal ref: Elec. Jour. of Combinatorics Vol 11 (2004) R69

Statistics of planar graphs viewed from a vertex: A study via labeled trees

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We study the statistics of edges and vertices in the vicinity of a reference vertex (origin) within random planar quadrangulations and Eulerian triangulations. Exact generating functions are obtained for theses graphs with fixed numbers of edges and vertices at given geodesic distances from the origin. Our analysis relies on bijections with labeled trees, in which the labels encode the informati… ▽ More We study the statistics of edges and vertices in the vicinity of a reference vertex (origin) within random planar quadrangulations and Eulerian triangulations. Exact generating functions are obtained for theses graphs with fixed numbers of edges and vertices at given geodesic distances from the origin. Our analysis relies on bijections with labeled trees, in which the labels encode the information on the geodesic distance from the origin. In the case of infinitely large graphs, we give in particular explicit formulas for the probabilities that the origin have given numbers of neighboring edges and/or vertices, as well as explicit values for the corresponding moments. △ Less

Submitted 24 July, 2003; originally announced July 2003.

Comments: 36 pages, 15 figures, tex, harvmac, epsf

Report number: SPhT/03-104

Journal ref: Nucl.Phys. B675 (2003) 631-660

Random trees between two walls: Exact partition function

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We derive the exact partition function for a discrete model of random trees embedded in a one-dimensional space. These trees have vertices labeled by integers representing their position in the target space, with the SOS constraint that adjacent vertices have labels differing by +1 or -1. A non-trivial partition function is obtained whenever the target space is bounded by walls. We concentrate o… ▽ More We derive the exact partition function for a discrete model of random trees embedded in a one-dimensional space. These trees have vertices labeled by integers representing their position in the target space, with the SOS constraint that adjacent vertices have labels differing by +1 or -1. A non-trivial partition function is obtained whenever the target space is bounded by walls. We concentrate on the two cases where the target space is (i) the half-line bounded by a wall at the origin or (ii) a segment bounded by two walls at a finite distance. The general solution has a soliton-like structure involving elliptic functions. We derive the corresponding continuum scaling limit which takes the remarkable form of the Weierstrass p-function with constrained periods. These results are used to analyze the probability for an evolving population spreading in one dimension to attain the boundary of a given domain with the geometry of the target (i) or (ii). They also translate, via suitable bijections, into generating functions for bounded planar graphs. △ Less

Submitted 17 October, 2003; v1 submitted 24 June, 2003; originally announced June 2003.

Comments: 25 pages, 7 figures, tex, harvmac, epsf; accepted version; main modifications in Sect. 5-6 and conclusion

Report number: SPhT/03-086

Journal ref: J. Phys. A: Math. Gen. 36 (2003) 12349-12366

Geodesic Distance in Planar Graphs

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We derive the exact generating function for planar maps (genus zero fatgraphs) with vertices of arbitrary even valence and with two marked points at a fixed geodesic distance. This is done in a purely combinatorial way based on a bijection with decorated trees, leading to a recursion relation on the geodesic distance. The latter is solved exactly in terms of discrete soliton-like expressions, su… ▽ More We derive the exact generating function for planar maps (genus zero fatgraphs) with vertices of arbitrary even valence and with two marked points at a fixed geodesic distance. This is done in a purely combinatorial way based on a bijection with decorated trees, leading to a recursion relation on the geodesic distance. The latter is solved exactly in terms of discrete soliton-like expressions, suggesting an underlying integrable structure. We extract from this solution the fractal dimensions at the various (multi)-critical points, as well as the precise scaling forms of the continuum two-point functions and the probability distributions for the geodesic distance in (multi)-critical random surfaces. The two-point functions are shown to obey differential equations involving the residues of the KdV hierarchy. △ Less

Submitted 14 March, 2003; originally announced March 2003.

Comments: 38 pages, 8 figures, tex, harvmac, epsf

Report number: SPhT/03-029

Journal ref: Nucl.Phys. B663 (2003) 535-567

Combinatorics of Hard Particles on Planar Graphs

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We revisit the problem of hard particles on planar random tetravalent graphs in view of recent combinatorial techniques relating planar diagrams to decorated trees. We show how to recover the two-matrix model solution to this problem in this purely combinatorial language. We revisit the problem of hard particles on planar random tetravalent graphs in view of recent combinatorial techniques relating planar diagrams to decorated trees. We show how to recover the two-matrix model solution to this problem in this purely combinatorial language. △ Less

Submitted 8 November, 2002; originally announced November 2002.

Comments: 35 pages, 20 figures, tex, harvmac, epsf

Report number: SPhT/02-160

Journal ref: Nucl.Phys. B655 (2003) 313-341

Census of Planar Maps: From the One-Matrix Model Solution to a Combinatorial Proof

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We consider the problem of enumeration of planar maps and revisit its one-matrix model solution in the light of recent combinatorial techniques involving conjugated trees. We adapt and generalize these techniques so as to give an alternative and purely combinatorial solution to the problem of counting arbitrary planar maps with prescribed vertex degrees. We consider the problem of enumeration of planar maps and revisit its one-matrix model solution in the light of recent combinatorial techniques involving conjugated trees. We adapt and generalize these techniques so as to give an alternative and purely combinatorial solution to the problem of counting arbitrary planar maps with prescribed vertex degrees. △ Less

Submitted 29 July, 2002; originally announced July 2002.

Comments: 29 pages, 14 figures, tex, harvmac, epsf

Report number: SPhT/02-093

Journal ref: Nucl.Phys. B645 (2002) 477-499

Critical and Tricritical Hard Objects on Bicolorable Random Lattices: Exact Solutions

Authors: J. Bouttier, P. Di Francesco, E. Guitter

Abstract: We address the general problem of hard objects on random lattices, and emphasize the crucial role played by the colorability of the lattices to ensure the existence of a crystallization transition. We first solve explicitly the naive (colorless) random-lattice version of the hard-square model and find that the only matter critical point is the non-unitary Lee-Yang edge singularity. We then show… ▽ More We address the general problem of hard objects on random lattices, and emphasize the crucial role played by the colorability of the lattices to ensure the existence of a crystallization transition. We first solve explicitly the naive (colorless) random-lattice version of the hard-square model and find that the only matter critical point is the non-unitary Lee-Yang edge singularity. We then show how to restore the crystallization transition of the hard-square model by considering the same model on bicolored random lattices. Solving this model exactly, we show moreover that the crystallization transition point lies in the universality class of the Ising model coupled to 2D quantum gravity. We finally extend our analysis to a new two-particle exclusion model, whose regular lattice version involves hard squares of two different sizes. The exact solution of this model on bicolorable random lattices displays a phase diagram with two (continuous and discontinuous) crystallization transition lines meeting at a higher order critical point, in the universality class of the tricritical Ising model coupled to 2D quantum gravity. △ Less

Submitted 14 January, 2002; originally announced January 2002.

Comments: 48 pages, 13 figures, tex, harvmac, epsf

Report number: SPhT/02-007

Journal ref: J.Phys.A35:3821-3854,2002