arXiv++ Combinatorics

This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations. First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit. Second, and unexpectedly given the above results, we show that for $β>0$ sufficiently small, the expected number of independent sets of size $βn$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions.

We study sorting by queues that can rearrange their content by applying permutations from a predefined set. These new sorting devices are called shuffle queues and we investigate those of them corresponding to sets of permutations defining some well-known shuffling methods. If $\mathbb{Q}_Σ$ is the shuffle queue corresponding to the shuffling method $Σ$, then we find a number of surprising results related to two natural variations of shuffle queues denoted by $\mathbb{Q}_Σ^{\prime}$ and $\mathbb{Q}_Σ^{\textsf{pop}}$. These require the entire content of the device to be unloaded after a permutation is applied or unloaded by each pop operation, respectively. First, we show that sorting by a deque is equivalent to sorting by a shuffle queue that can reverse its content. Next, we focus on sorting by cuts. We prove that the set of permutations that one can sort by using $\mathbb{Q}_{\text{cuts}}^{\prime}$ is the set of the $321$-avoiding separable permutations. We give lower and upper bounds to the maximum number of times the device must be used to sort a permutation. Furthermore, we give a formula for the number of $n$-permutations, $p_{n}(\mathbb{Q}_Σ^{\prime})$, that one can sort by using $\mathbb{Q}_Σ^{\prime}$, for any shuffling method $Σ$, corresponding to a set of irreducible permutations. We also show that $p_{n}(\mathbb{Q}_Σ^{\textsf{pop}})$ is given by the odd indexed Fibonacci numbers $F_{2n-1}$, for any shuffling method $Σ$ having a specific "back-front" property. The rest of the work is dedicated to a surprising conjecture inspired by Diaconis and Graham, which states that one can sort the same number of permutations of any given size by using the devices $\mathbb{Q}_{\text{In-sh}}^{\textsf{pop}}$ and $\mathbb{Q}_{\text{Monge}}^{\textsf{pop}}$, corresponding to the popular In-shuffle and Monge shuffling methods.

A di-sk tree is a rooted binary tree whose nodes are labeled by $\oplus$ or $\ominus$, and no node has the same label as its right child. The di-sk trees are in natural bijection with separable permutations. We construct a combinatorial bijection on di-sk trees proving the two quintuples $(\LMAX,\LMIN,\DESB,\iar,\comp)$ and $(\LMAX,\LMIN,\DESB,\comp,\iar)$ have the same distribution over separable permutations. Here for a permutation $π$, $\LMAX(π)/\LMIN(π)$ is the set of values of the left-to-right maxima/minima of $π$ and $\DESB(π)$ is the set of descent bottoms of $π$, while $\comp(π)$ and $\iar(π)$ are respectively the number of components of $π$ and the length of initial ascending run of $π$. Interestingly, our bijection specializes to a bijection on $312$-avoiding permutations, which provides (up to the classical {\em Knuth--Richards bijection}) an alternative approach to a result of Rubey (2016) that asserts the two triples $(\LMAX,\iar,\comp)$ and $(\LMAX,\comp,\iar)$ are equidistributed on $321$-avoiding permutations. Rubey's result is a symmetric extension of an equidistribution due to Adin--Bagno--Roichman, which implies the class of $321$-avoiding permutations with a prescribed number of components is Schur positive. Some equidistribution results for various statistics concerning tree traversal are presented in the end.

We launch a systematic study of the refined Wilf-equivalences by the statistics $\mathsf{comp}$ and $\mathsf{iar}$, where $\mathsf{comp}(π)$ and $\mathsf{iar}(π)$ are the number of components and the length of the initial ascending run of a permutation $π$, respectively. As Comtet was the first one to consider the statistic $\mathsf{comp}$ in his book {\em Analyse combinatoire}, any statistic equidistributed with $\mathsf{comp}$ over a class of permutations is called by us a {\em Comtet statistic} over such class. This work is motivated by a triple equidistribution result of Rubey on $321$-avoiding permutations, and a recent result of the first and third authors that $\mathsf{iar}$ is a Comtet statistic over separable permutations. Some highlights of our results are: (1) Bijective proofs of the symmetry of the double Comtet distribution $(\mathsf{comp},\mathsf{iar})$ over several Catalan and Schröder classes, preserving the values of the left-to-right maxima. (2) A complete classification of $\mathsf{comp}$- and $\mathsf{iar}$-Wilf-equivalences for length $3$ patterns and pairs of length $3$ patterns. Calculations of the $(\mathsf{des},\mathsf{iar},\mathsf{comp})$ generating functions over these pattern avoiding classes and separable permutations. (3) A further refinement by the Comtet statistic $\mathsf{iar}$, of Wang's recent descent-double descent-Wilf equivalence between separable permutations and $(2413,4213)$-avoiding permutations.

We continue the study of separable elements in finite Weyl groups. These elements generalize the well-studied class of separable permutations. We show that the multiplication map $W/U \times U \to W$ is a length-additive bijection, or splitting, of the Weyl group $W$ when $U$ is an order ideal in right weak order generated by a separable element; this generalizes a result for the symmetric group, answering an open problem of Wei. For a generalized quotient of the symmetric group, we show that this multiplication map is a bijection if and only if $U$ is an order ideal in right weak order generated by a separable element, thereby classifying those generalized quotients which induce splittings of the symmetric group, resolving a problem of Björner and Wachs from 1988. We also prove that this map is always surjective when $U$ is an order ideal in right weak order. Interpreting these sets of permutations as linear extensions of 2-dimensional posets gives the first direct combinatorial proof of an inequality due originally to Sidorenko in 1991, answering an open problem Morales, Pak, and Panova. We also prove a new $q$-analog of Sidorenko's formula. All of these results are conjectured to extend to arbitrary finite Weyl groups. Finally, we show that separable elements in $W$ are in bijection with the faces of all dimensions of several copies of the graph associahedron of the Dynkin diagram of $W$. This correspondence associates to each separable element $w$ a certain nested set; we give product formulas for the rank generating functions of the principal upper and lower order ideals generated by $w$ in terms of these nested sets, generalizing several known formulas.

Let $P_n^{\text{sep}}$ denote the uniform probability measure on the set of separable permutations in $S_n$. Let $\mathbb{N}^*=\mathbb{N}\cup\{\infty\}$ with an appropriate metric and denote by $S(\mathbb{N},\mathbb{N}^*)$ the compact metric space consisting of functions $σ=\{σ_i\}_{ i=1}^\infty$ from $\mathbb{N}$ to $\mathbb{N}^*$ which are injections when restricted to $σ^{-1}(\mathbb{N})$\rm; that is, if $σ_i=σ_j$, $i\neq j$, then $σ_i=\infty$. Extending permutations $σ\in S_n$ by defining $σ_j=j$, for $j>n$, we have $S_n\subset S(\mathbb{N},\mathbb{N}^*)$. We show that $\{P_n^{\text{sep}}\}_{n=1}^\infty$ converges weakly on $S(\mathbb{N},\mathbb{N}^*)$ to a limiting distribution of regenerative type, which we calculate explicitly.

Let $r(n,k)$ (resp. $s(n,k)$) be the number of Schröder paths (resp. little Schröder paths) of length $2n$ with $k$ hills, and set $r(0,0)=s(0,0)=1$. We bijectively establish the following recurrence relations: \begin{align*} r(n,0)&=\sum\limits_{j=0}^{n-1}2^{j}r(n-1,j), r(n,k)&=r(n-1,k-1)+\sum\limits_{j=k}^{n-1}2^{j-k}r(n-1,j),\quad 1\le k\le n, s(n,0) &=\sum\limits_{j=1}^{n-1}2\cdot3^{j-1}s(n-1,j), s(n,k) &=s(n-1,k-1)+\sum\limits_{j=k+1}^{n-1}2\cdot3^{j-k-1}s(n-1,j),\quad 1\le k\le n. \end{align*} The infinite lower triangular matrices $[r(n,k)]_{n,k\ge 0}$ and $[s(n,k)]_{n,k\ge 0}$, whose row sums produce the large and little Schröder numbers respectively, are two Riordan arrays of Bell type. Hence the above recurrences can also be deduced from their $A$- and $Z$-sequences characterizations. On the other hand, it is well-known that the large Schröder numbers also enumerate separable permutations. This propelled us to reveal the connection with a lesser-known permutation statistic, called initial ascending run, whose distribution on separable permutations is shown to be given by $[r(n,k)]_{n,k\ge 0}$ as well.

We define the notion of a separable element in a finite Weyl group, generalizing the well-studied class of separable permutations. We prove that the upper and lower order ideals in weak Bruhat order generated by a separable element are rank-symmetric and rank-unimodal, and that the product of their rank generating functions gives that of the whole group, answering an open problem of Fan Wei. We also prove that separable elements are characterized by pattern avoidance in the sense of Billey and Postnikov.

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.

Commonly the direct construction and the description of mutually orthogonal Latin squares (MOLS) makes use of difference or quasi-difference matrices. Now there exists a correspondence between MOLS and separable permutation codes. We like to present separable permutation codes of length $35$, $48$, $63$ and $96$ and minimum distance $34$, $47$, $62$ and $95$ consisting of $6 \times 35$, $10 \times 48$, $8 \times 63$ and $8 \times 96$ codewords respectively. Using the correspondence this gives $6$ MOLS for $n=35$, $10$ MOLS for $n=48$, $8$ MOLS for $n=63$ and $8$ MOLS for $n=96$. So $N(35) \ge 6$, $N(48) \ge 10$, $N(63) \ge 8$ and $N(96) \ge 8$ holds which are new lower bounds for MOLS. The codes will be given by generators of an appropriate subgroup $U$ of the isometry group of the symmetric group $S_n$ and $U$-orbit representatives. This gives an alternative uniform way to describe the MOLS where the data for the codes can be used as input for computer algebra systems like MAGMA, GAP etc.

Let $\mathcal I_n$ and $\mathcal J_n$ denote the set of involutions and fixed-point free involutions of $\{1, \dots, n\}$, respectively, and let $\text{des}(π)$ denote the number of descents of the permutation $π$. We prove a conjecture of Guo and Zeng which states that $I_n(t) := \sum_{π\in \mathcal I_n} t^{\text{des}(π)}$ is $γ$-positive for $n \ge 1$ and $J_{2n}(t) := \sum_{π\in \mathcal J_{2n}} t^{\text{des}(π)}$ is $γ$-positive for $n \ge 9$. We also prove that the number of $(3412, 3421)$-avoiding permutations with $m$ double descents and $k$ descents is equal to the number of separable permutations with $m$ double descents and $k$ descents.

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.

We construct an intriguing bijection between $021$-avoiding inversion sequences and $(2413,4213)$-avoiding permutations, which proves a sextuple equidistribution involving double Eulerian statistics. Two interesting applications of this result are also presented. Moreover, this result inspires us to characterize all permutation classes that avoid two patterns of length $4$ whose descent polynomial equals that of separable permutations.

A permutation class is splittable if it is contained in the merge of two of its proper subclasses. We characterise the unsplittable subclasses of the class of separable permutations both structurally and in terms of their bases.

We study random uniform permutations in an important class of pattern-avoiding permutations: the separable permutations. We describe the asymptotics of the number of occurrences of any fixed given pattern in such a random permutation in terms of the Brownian excursion. In the recent terminology of permutons, our work can be interpreted as the convergence of uniform random separable permutations towards a "Brownian separable permuton".

The descent polynomials of separable permutations and derangements are both demonstrated to be unimodal. Moreover, we prove that the $γ$-coefficients of the first are positive with an interpretation parallel to the classical Eulerian polynomial, while the second is spiral, a property stronger than unimodality. Furthermore, we conjecture that they are both real-rooted.

The weak Bruhat order on $ { \mathcal S }_n $ is the partial order $\prec$ so that $σ\prec τ$ whenever the set of inversions of $σ$ is a subset of the set of inversions of $τ$. We investigate the time complexity of computing the size of intervals with respect to $\prec$. Using relationships between two-dimensional posets and the weak Bruhat order, we show that the size of the interval $ [ σ_1, σ_2 ]$ can be computed in polynomial time whenever $σ_1^{-1} σ_2$ has bounded width (length of its longest decreasing subsequence) or bounded intrinsic width (maximum width of any non-monotone permutation in its block decomposition). Since permutations of intrinsic width $1$ are precisely the separable permutations, this greatly extends a result of Wei. Additionally, we show that, for large $n$, all but a vanishing fraction of permutations $ σ$ in $ { \mathcal S }_n$ give rise to intervals $ [ id , σ]$ whose sizes can be computed with a sub-exponential time algorithm. The general question of the difficulty of computing the size of arbitrary intervals remains open.

When two patterns occur equally often in a set of permutations, we say that these patterns are equipopular. Using both structural and analytic tools, we classify the equipopular patterns in the set of separable permutations. In particular, we show that the number of equipopularity classes for length $n$ patterns in the separable permutations is equal to the number of partitions of $n-1$.

This paper is continuation of the study of the 1-box pattern in permutations introduced by the authors in \cite{kitrem4}. We derive a two-variable generating function for the distribution of this pattern on 132-avoiding permutations, and then study some of its coefficients providing a link to the Fibonacci numbers. We also find the number of separable permutations with two and three occurrences of the 1-box pattern.