arXiv++ Combinatorics

Past studies on the local limit of maximal weight matchings in edge-weighted large random graphs rely fundamentally on the assumption that the weights are atomless, which ensures that the maximal weight matching is unique. This excludes de facto maximal size matchings that correspond to equal edge-weights. In this work, we overcome this difficulty by assigning i.i.d.~atomless weights to edges and choosing the maximal size matching that maximises the weight. We call these doubly constrained matchings \emph{optimal matchings}. The natural generalisation of optimal matchings for infinite unimodular random graphs are unimodular matchings of maximal density at the root that maximise the expected weight at the root when it is matched. For unimodular Bienaymé-Galton-Watson (UBGW) trees and for a broad class of weight distributions, we show existence and uniqueness in law of such matchings. We also prove that if a sequence of finite random weighted graphs converges locally to an UBGW tree with i.i.d.~weights, then there exists a sequence of matchings on the finite graphs that converges locally to the optimal matching on the limiting tree. Finally, we identify a regime, depending only on the offspring distribution of the limiting tree, in which correlations between edge states in the optimal matching decay exponentially with their graph distance. In this regime, we strengthen the previous convergence to the convergence of optimal matchings of the finite graphs. As a by-product, we can explicitly compute the asymptotic densities of edges that belong to all maximal-density matchings, and of edges that belong to none.

We develop a new bijective framework for the enumeration of bipartite planar maps with control on the degree distribution of black and white vertices. Our approach builds on the blossoming-tree paradigm, introducing a family of orientations on bipartite maps that extends Eulerian and quasi-Eulerian orientations and connects the bijection of Bousquet-Mélou and Schaeffer to the general scheme of Albenque and Poulalhon. This enables us to generalize the Bousquet-Mélou and Schaeffer's bijection to several families of bipartite maps. As an application, we also derive a rational and Lagrangian parametrization with positive integer coefficients for the generating series of quartic maps equipped with an Ising model, which is key to the probabilistic study of these maps.

We consider sequences of finite weighted random graphs that converge locally to unimodular i.i.d. weighted random trees. When the weights are atomless, we prove that the matchings of maximal weight converge locally to a matching on the limiting tree. For this purpose, we introduce and study unimodular matchings on weighted unimodular random trees as well as a notion of optimality for these objects. In this context, we prove that, in law, there is a unique optimal unimodular matching for a given unimodular tree. We then prove that this law is the local limit of the sequence of matchings of maximal weight. Along the way, we also show that this law is characterised by an equation derived from a message passing algorithm.

We derive three critical exponents for Bernoulli site percolation on the on the Uniform Infinite Planar Triangulation (UIPT). First we compute explicitly the probability that the root cluster is infinite. As a consequence, we show that the off-critical exponent for site percolation on the UIPT is $β= 1/2$. Then we establish an integral formula for the generating function of the number of vertices in the root cluster. We use this formula to prove that, at criticality, the probability that the root cluster has at least $n$ vertices decays like $n^{-1/7}$. Finally, we also derive an expression for the law of the perimeter of the root cluster and use it to establish that, at criticality, the probability that the perimeter of the root cluster is equal to $n$ decays like $n^{-4/3}$. Among these three exponents, only the last one was previously known. Our main tools are the so-called gasket decomposition of percolation clusters, generic properties of random Boltzmann maps, as well as analytic combinatorics.

We investigate the geometry of a typical spin cluster in random triangulations sampled with a probability proportional to the energy of an Ising configuration on their vertices, both in the finite and infinite volume settings. This model is known to undergo a combinatorial phase transition at an explicit critical temperature, for which its partition function has a different asymptotic behavior than uniform maps. The purpose of this work is to give geometric evidence of this phase transition. In the infinite volume setting, called the Infinite Ising Planar Triangulation, we exhibit a phase transition for the existence of an infinite spin cluster: for critical and supercritical temperatures, the root spin cluster is finite almost surely, while it is infinite with positive probability for subcritical temperatures. Remarkably, we are able to obtain an explicit parametric expression for this probability, which allows to prove that the percolation critical exponent is $β=1/4$. We also derive critical exponents for the tail distribution of the perimeter and of the volume of the root spin cluster, both in the finite and infinite volume settings. Finally, we establish the scaling limit of the interface of the root spin cluster seen as a looptree. In particular in the whole supercritical temperature regime, we prove that the critical exponents and the looptree limit are the same as for critical Bernoulli site percolation. Our proofs mix combinatorial and probabilistic arguments. The starting point is the gasket decomposition, which makes full use of the spatial Markov property of our model. This decomposition enables us to characterize the root spin cluster as a Boltzmann planar map in the finite volume setting. We then combine precise combinatorial results obtained through analytic combinatorics and universal features of Boltzmann maps to establish our results.

In an article published in 1987 in Combinatorica \cite{MR918397}, Frieze and Jackson established a lower bound on the length of the longest induced path (and cycle) in a sparse random graph. Their bound is obtained through a rough analysis of a greedy algorithm. In the present work, we provide a sharp asymptotic for the length of the induced path constructed by their algorithm. To this end, we introduce an alternative algorithm that builds the same induced path and whose analysis falls into the framework of a previous work by the authors on depth-first exploration of a configuration model \cite{EFMN}. We also analyze an extension of our algorithm that mixes depth-first and breadth-first explorations and generates $m$-induced paths.

We introduce an algorithm that constructs a random uniform graph with prescribed degree sequence together with a depth first exploration of it. In the so-called supercritical regime where the graph contains a giant component, we prove that the renormalized contour process of the Depth First Search Tree has a deterministic limiting profile that we identify. The proof goes through a detailed analysis of the evolution of the empirical degree distribution of unexplored vertices. This evolution is driven by an infinite system of differential equations which has a unique and explicit solution. As a byproduct, we deduce the existence of a macroscopic simple path and get a lower bound on its length.

We prove the existence of the local weak limit of the measure obtained by sampling random triangulations of size $n$ decorated by an Ising configuration with a weight proportional to the energy of this configuration. To do so, we establish the algebraicity and the asymptotic behaviour of the partition functions of triangulations with spins for any boundary condition. In particular, we show that these partition functions all have the same phase transition at the same critical temperature. Some properties of the limiting object -- called the Infinite Ising Planar Triangulation -- are derived, including the recurrence of the simple random walk at the critical temperature.

We prove that geodesic rays in the Uniform Infinite Planar Triangulation (UIPT) coalesce in a strong sense using the skeleton decomposition of random triangulations discovered by Krikun. This implies the existence of a unique horofunction measuring distances from infinity in the UIPT. We then use this horofunction to define the skeleton "seen from infinity" of the UIPT and relate it to a simple Galton--Watson tree conditioned to survive, giving a new and particularly simple construction of the UIPT. Scaling limits of perimeters and volumes of horohulls within this new decomposition are also derived, as well as a new proof of the $2$-point function formula for random triangulations in the scaling limit due to Ambjørn and Watabiki.

We develop a method to compute the generating function of the number of vertices inside certain regions of the Uniform Infinite Planar Triangulation (UIPT). The computations are mostly combinatorial in flavor and the main tool is the decomposition of the UIPT into layers, called the skeleton decomposition, introduced by Krikun. In particular, we get explicit formulas for the generating functions of the number of vertices inside hulls (or completed metric balls) centered around the root, and the number of vertices inside geodesic slices of these hulls. We also recover known results about the scaling limit of the volume of hulls previously obtained by Curien and Le Gall by studying the peeling process of the UIPT.