arXiv++ Combinatorics

The Brownian separable permutons are a one-parameter family -- indexed by $p\in(0,1)$ -- of universal limits of random constrained permutations. We show that for each $p\in (0,1)$, there are explicit constants $1/2 < α_*(p) \leq β^*(p) < 1$ such that the length of the longest increasing subsequence in a random permutation of size $n$ sampled from the Brownian separable permuton is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ with probability tending to 1 as $n\to\infty$. In the symmetric case $p=1/2$, we have $α_*(p) \approx 0.812$ and $β^*(p)\approx 0.975$. We present numerical simulations which suggest that the lower bound $α_*(p)$ is close to optimal in the whole range $p\in(0,1)$. Our results work equally well for the closely related Brownian cographons. In this setting, we show that for each $p\in (0,1)$, the size of the largest clique (resp. independent set) in a random graph on $n$ vertices sampled from the Brownian cographon is between $n^{α_*(p) - o(1)}$ and $n^{β^*(p) + o(1)}$ (resp. $n^{α_*(1-p) - o(1)}$ and $n^{β^*(1-p) + o(1)}$) with probability tending to 1 as $n\to\infty$. Our proofs are based on the analysis of a fragmentation process embedded in a Brownian excursion introduced by Bertoin (2002). We expect that our techniques can be extended to prove similar bounds for uniform separable permutations and uniform cographs.

The theory of limits of permutations leads to limit objects called permutons, which are certain Borel measures on the unit square. We prove that permutons avoiding a given permutation of order $k$ have a particularly simple structure. Namely, almost every fiber of the disintegration of the permuton (say, along the x-axis) consists only of atoms, at most $(k-1)$ many, and this bound is sharp. We use this to give a simple proof of the `permutation removal lemma'.

We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times. We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems.

We review a recent development at the interface between discrete mathematics on one hand and probability theory and statistics on the other, specifically the use of Markov chains and their boundary theory in connection with the asymptotics of randomly growing permutations. Permutations connect total orders on a finite set, which leads to the use of a pattern frequencies. This view is closely related to classical concepts of nonparametric statistics. We give several applications and discuss related topics and research areas, in particular the treatment of other combinatorial families, the cycle view of permutations, and an approach via exchangeability.

We derive a large deviation principle for random permutations induced by probability measures of the unit square, called permutons. These permutations are called $μ$-random permutations. We also introduce and study a new general class of models of random permutations, called Gibbs permutation models, which combines and generalizes $μ$-random permutations and the celebrated Mallows model for permutations. Most of our results hold in the general setting of Gibbs permutation models. We apply the tools that we develop to the case of $μ$-random permutations conditioned to have an atypical proportion of patterns. Several results are made more concrete in the specific case of inversions. For instance, we prove the existence of at least one phase transition for a generalized version of the Mallows model where the base measure is non-uniform. This is in contrast with the results of Starr (2009, 2018) on the (standard) Mallows model, where the absence of phase transition, i.e., phase uniqueness, was proven. Our results naturally lead us to investigate a new notion of permutons, called conditionally constant permutons, which generalizes both pattern-avoiding and pattern-packing permutons. We describe some properties of conditionally constant permutons with respect to inversions. The study of conditionally constant permutons for general patterns seems to be a challenging problem.

The Baxter permuton is a random probability measure on the unit square which describes the scaling limit of uniform Baxter permutations. We find an explict formula for the expectation of the Baxter permuton, i.e.\ the density of its intensity measure. This answers a question of Dokos and Pak (2014). We also prove that all pattern densities of the Baxter permuton are strictly positive, distinguishing it from other permutons arising as scaling limits of pattern-avoiding permutations. Our proofs rely on a recent connection between the Baxter permuton and Liouville quantum gravity (LQG) coupled with the Schramm-Loewner evolution (SLE). The method works equally well for a two-parameter generalization of the Baxter permuton recently introduced by the first author, except that the density is not as explicit. This new family of permutons, called \emph{skew Brownian permuton}, describes the scaling limit of a number of random constrained permutations. We finally observe that in the LQG/SLE framework, the expected proportion of inversions in a skew Brownian permuton equals $\frac{π-2θ}{2π}$ where $θ$ is the so-called imaginary geometry angle between a certain pair of SLE curves.

We construct a new family of random permutons, called skew Brownian permuton, which describes the limits of several models of random constrained permutations. This family is parametrized by two real parameters. For a specific choice of the parameters, the skew Brownian permuton coincides with the Baxter permuton, i.e., the permuton limit of Baxter permutations. We prove that for another specific choice of the parameters, the skew Brownian permuton coincides with the biased Brownian separable permuton, a one-parameter family of permutons previously studied in the literature as the limit of uniform permutations in substitution-closed classes. This brings two different limiting objects under the same roof, identifying a new larger universality class. The skew Brownian permuton is constructed in terms of flows of solutions of certain stochastic differential equations (SDEs) driven by two-dimensional correlated Brownian excursions in the non-negative quadrant. We call these SDEs skew perturbed Tanaka equations because they are a mixture of the perturbed Tanaka equations and the equations encoding skew Brownian motions. We prove existence and uniqueness of (strong) solutions for these new SDEs. In addition, we show that some natural permutons arising from Liouville quantum gravity spheres decorated with two Schramm-Loewner evolution curves are skew Brownian permutons and such permutons cover almost the whole range of possible parameters. Some connections between constrained permutations and decorated planar maps have been investigated in the literature at the discrete level; this paper establishes this connection directly at the continuum level. Proving the latter result, we also give an SDE interpretation of some quantities related to SLE-decorated Liouville quantum gravity spheres.

We recently introduced a new universal family of permutons, depending on two parameters, called skew Brownian permuton. For some specific choices of the parameters, the skew Brownian permuton coincides with some previously studied permutons: the biased Brownian separable permuton and the Baxter permuton. The latter two permutons are degenerate cases of the skew Brownian permuton. In the present paper we prove the first convergence result towards a non-degenerate skew Brownian permuton. Specifically, we prove that strong-Baxter permutations converge in the permuton sense to the skew Brownian permuton for a non-degenerate choice of the two parameters. In order to do that, we develop a robust technique to prove convergence towards the skew Brownian permuton for various families of random constrained permutations. This technique relies on generating trees for permutations, allowing an encoding of permutations with multi-dimensional walks in cones. We apply this technique also to semi-Baxter permutations.

We look at geometric limits of large random non-uniform permutations. We mainly consider two theories for limits of permutations: permuton limits, introduced by Hoppen, Kohayakawa, Moreira, Rath, and Sampaio to define a notion of scaling limits for permutations; and Benjamini-Schramm limits, introduced by the author to define a notion of local limits for permutations. The models of random permutations that we consider are mainly constrained models, that is, uniform permutations belonging to a given subset of the set of all permutations. We often identify this subset using pattern-avoidance, focusing on: permutations avoiding a pattern of length three, substitution-closed classes, (almost) square permutations, permutation families encoded by generating trees, and Baxter permutations. We explore some universal phenomena for the models mentioned above. For Benjamini-Schramm limits we explore a concentration phenomenon for the limiting objects. For permuton limits we deepen the study of some known universal permutons, called biased Brownian separable permutons, and we introduce some new ones, called Baxter permuton and skew Brownian permutons. In addition, for (almost) square permutations, we investigate the occurrence of a phase transition for the limiting permutons. On the way, we establish various combinatorial results both for permutations and other related objects. Among others, we give a complete description of the feasible region for consecutive patterns as the cycle polytope of a specific graph; and we find new bijections relating Baxter permutations, bipolar orientations, walks in cones, and a new family of discrete objects called coalescent-walk processes.

Suppose we choose a permutation $π$ uniformly at random from $S_n$. Let $\mathsf{runsort}(π)$ be the permutation obtained by sorting the ascending runs of $π$ into lexicographic order. Alexandersson and Nabawanda recently asked if the plot of $\mathsf{runsort}(π)$, when scaled to the unit square $[0,1]^2$, converges to a limit shape as $n\to\infty$. We answer their question by showing that the measures corresponding to the scaled plots of these permutations $\mathsf{runsort}(π)$ converge with probability $1$ to a permuton (limiting probability distribution) that we describe explicitly. In particular, the support of this permuton is $\{(x,y)\in[0,1]^2:x\leq ye^{1-y}\}$.

Baxter permutations, plane bipolar orientations, and a specific family of walks in the non-negative quadrant, called tandem walks, are well-known to be related to each other through several bijections. We introduce a further new family of discrete objects, called coalescent-walk processes and we relate it to the three families mentioned above. We prove joint Benjamini--Schramm convergence (both in the annealed and quenched sense) for uniform objects in the four families. Furthermore, we explicitly construct a new random measure on the unit square, called the Baxter permuton and we show that it is the scaling limit (in the permuton sense) of uniform Baxter permutations. In addition, we relate the limiting objects of the four families to each other, both in the local and scaling limit case. The scaling limit result is based on the convergence of the trajectories of the coalescent-walk process to the coalescing flow -- in the terminology of Le Jan and Raimond (2004) -- of a perturbed version of the Tanaka stochastic differential equation. Our scaling result entails joint convergence of the tandem walks of a plane bipolar orientation and its dual, extending the main result of Gwynne, Holden, Sun (2016), and giving an alternative answer to Conjecture 4.4 of Kenyon, Miller, Sheffield, Wilson (2019) compared to the one of Gwynne, Holden, Sun (2016).

Baxter permutations, plane bipolar orientations, and a specific family of walks in the non-negative quadrant are well-known to be related to each other through several bijections. We introduce a further new family of discrete objects, called coalescent-walk processes, that are fundamental for our results. We relate these new objects with the other previously mentioned families introducing some new bijections. We prove joint Benjamini--Schramm convergence (both in the annealed and quenched sense) for uniform objects in the four families. Furthermore, we explicitly construct a new fractal random measure of the unit square, called the coalescent Baxter permuton and we show that it is the scaling limit (in the permuton sense) of uniform Baxter permutations. To prove the latter result, we study the scaling limit of the associated random coalescent-walk processes. We show that they converge in law to a continuous random coalescent-walk process encoded by a perturbed version of the Tanaka stochastic differential equation. This result has connections (to be explored in future projects) with the results of Gwynne, Holden, Sun (2016) on scaling limits (in the Peanosphere topology) of plane bipolar triangulations. We further prove some results that relate the limiting objects of the four families to each other, both in the local and scaling limit case.

Words are sequences of letters over a finite alphabet. We study two intimately related topics for this object: quasi-randomness and limit theory. With respect to the first topic we investigate the notion of uniform distribution of letters over intervals, and in the spirit of the famous Chung--Graham--Wilson theorem for graphs we provide a list of word properties which are equivalent to uniformity. In particular, we show that uniformity is equivalent to counting 3-letter subsequences. Inspired by graph limit theory we then investigate limits of convergent word sequences, those in which all subsequence densities converge. We show that convergent word sequences have a natural limit, namely Lebesgue measurable functions of the form $f:[0,1]\to[0,1]$. Via this theory we show that every hereditary word property is testable, address the problem of finite forcibility for word limits and establish as a byproduct a new model of random word sequences. Along the lines of the proof of the existence of word limits, we can also establish the existence of limits for higher dimensional structures. In particular, we obtain an alternative proof of the result by Hoppen, Kohayakawa, Moreira, Ráth and Sampaio [{\it J. Combin. Theory Ser. B 103(1):93--113, 2013}] establishing the existence of permutons.

The theory of limits of discrete combinatorial objects has been thriving for the last decade or so. The syntactic, algebraic approach to the subject is popularly known as "flag algebras", while the semantic, geometric one is often associated with the name ``graph limits''. The language of graph limits is generally more intuitive and expressible, but a price that one has to pay for it is that it is better suited for the case of ordinary graphs than for more general combinatorial objects. Accordingly, there have been several attempts in the literature, of varying degree of generality, to define limit objects for more complicated combinatorial structures. This paper is another attempt at a workable general theory of dense limit objects. Unlike previous efforts in this direction (with notable exception of [Ashwini Aroskar and James Cummings. Limits, regularity and removal for finite structures. Technical Report arXiv:1412.2014 [math.LO], arXiv e-print, 2014.]), we base our account on the same concepts from the first-order logic and the model theory as in the theory of flag algebras. We show how our definition naturally encompasses a host of previously considered cases (graphons, hypergraphons, digraphons, permutons, posetons, colored graphs, etc.), and we extend the fundamental properties of existence and uniqueness to this more general case. We also give an intuitive general proof of the continuous version of the Induced Removal Lemma based on the completeness theorem for propositional calculus. We capitalize on the notion of an open interpretation that often allows to transfer methods and results from one situation to another. Again, we show that some previous arguments can be quite naturally framed using this language.

A record in a permutation is a maximum or a minimum, from the left or from the right. The entries of a permutation can be partitioned into two types: the ones that are records are called external points, the others are called internal points. Permutations without internal points have been studied under the name of square permutations. Here, we explore permutations with a fixed number of internals points, called almost square permutations. Unlike with square permutations, a precise enumeration for the total number of almost square permutations of size $n+k$ with exactly $k$ internal points is not known. However, using a probabilistic approach, we are able to determine the asymptotic enumeration. This allows us to describe the permuton limit of almost square permutations with $k$ internal points, both when $k$ is fixed and when $k$ tends to infinity along a negligible sequence with respect to the size of the permutation. Finally, we show that our techniques are quite general by studying the set of $321$-avoiding permutations of size $n$ with exactly $k$ additional internal points ($k$ fixed). In this case we obtain an interesting asymptotic enumeration in terms of the Brownian excursion area. As a consequence, we show that the points of a uniform permutation in this set concentrate on the diagonal and the fluctuations of these points converge in distribution to a biased Brownian excursion.

We establish a novel bijective encoding that represents permutations as forests of decorated (or enriched) trees. This allows us to prove local convergence of uniform random permutations from substitution-closed classes satisfying a criticality constraint. It also enables us to reprove and strengthen permuton limits for these classes in a new way, that uses a semi-local version of Aldous' skeleton decomposition for size-constrained Galton--Watson trees.

We describe the limit (for two topologies) of large uniform random square permutations, i.e., permutations where every point is a record. The starting point for all our results is a sampling procedure for asymptotically uniform square permutations. Building on that, we first describe the global behavior by showing that these permutations have a permuton limit which can be described by a random rectangle. We also explore fluctuations about this random rectangle, which we can describe through coupled Brownian motions. Second, we consider the limiting behavior of the neighborhood of a point in the permutation through local limits. As a byproduct, we also determine the random limits of the proportion of occurrences (and consecutive occurrences) of any given pattern in a uniform random square permutation.

We consider uniform random permutations in classes having a finite combinatorial specification for the substitution decomposition. These classes include (but are not limited to) all permutation classes with a finite number of simple permutations. Our goal is to study their limiting behavior in the sense of permutons. The limit depends on the structure of the specification restricted to families with the largest growth rate. When it is strongly connected, two cases occur. If the associated system of equations is linear, the limiting permuton is a deterministic $X$-shape. Otherwise, the limiting permuton is the Brownian separable permuton, a random object that already appeared as the limit of most substitution-closed permutation classes, among which the separable permutations. Moreover these results can be combined to study some non strongly connected cases. To prove our result, we use a characterization of the convergence of random permutons by the convergence of random subpermutations. Key steps are the combinatorial study, via substitution trees, of families of permutations with marked elements inducing a given pattern, and the singularity analysis of the corresponding generating functions.

The Brownian separable permuton is a random probability measure on the unit square, which was introduced by Bassino, Bouvel, Féray, Gerin, Pierrot (2016) as the scaling limit of the diagram of the uniform separable permutation as size grows to infinity. We show that, almost surely, the permuton is the pushforward of the Lebesgue measure on the graph of a random measure-preserving function associated to a Brownian excursion whose strict local minima are decorated with i.i.d. signs. As a consequence, its support is almost surely totally disconnected, has Hausdorff dimension one, and enjoys self-similarity properties inherited from those of the Brownian excursion. The density function of the averaged permuton is computed and a connection with the shuffling of the Brownian continuum random tree is explored.

We consider uniform random permutations in proper substitution-closed classes and study their limiting behavior in the sense of permutons. The limit depends on the generating series of the simple permutations in the class. Under a mild sufficient condition, the limit is an elementary one-parameter deformation of the limit of uniform separable permutations, previously identified as the Brownian separable permuton. This limiting object is therefore in some sense universal. We identify two other regimes with different limiting objects. The first one is degenerate; the second one is nontrivial and related to stable trees. These results are obtained thanks to a characterization of the convergence of random permutons through the convergence of their expected pattern densities. The limit of expected pattern densities is then computed by using the substitution tree encoding of permutations and performing singularity analysis on the tree series.