arXiv++ Combinatorics

The complex of injective words is a cell complex that arises in a number of different areas. It has applications to proving homological stability and to the study of group cohomology, and it is closely related to the random-to-random Markov chain. This complex was first studied by Farmer, who proved it has the homology of a wedge of top-dimensional spheres. Later, Björner and Wachs established its shellability, and Reiner and Webb uncovered its $S_n$-module structure, observing in the process that the rank of its top homology group is the $n$th derangement number. We introduce natural subcomplexes of the complex of injective words by fixing a permutation pattern $σ$ and considering only those injective words in the alphabet $\{1,2,\dots,n\} $ that avoid $σ$. We prove that such pattern-avoiding complexes are shellable if $σ$ begins or ends with its largest or smallest letter, and we construct homology bases for the complexes avoiding such patterns. For patterns of length 3, all of which have this property, we show that the rank of the top homology of the resulting complex is a Riordan number. All but four patterns of length 4 also have this property, and for two of the remaining four patterns, we establish shellability using a different method. We also introduce a technique to use enumerative combinatorics to prove shellability, and we apply it to the complex of separable injective words, thereby deducing shellability in this case. Along the way, we give a combinatorial formula for all of the $h$-numbers in the full complex of injective words as well as for each of the subcomplexes which we prove are shellable. Going in the other direction, we use shellability of complexes of pattern-avoiding injective words to deduce new refined counting formulas for pattern-avoiding permutations.

Building on our classification of shape-Wilf-equivalence classes for triples of patterns of length three, we complete the classification for quadruples and quintuples. The larger pattern sets exhibit structural features that are not captured by the encoding methods used for triples and require additional combinatorial tools. Our main new ingredient is a Dyck-path approach to Ferrers boards containing the staircase board. By introducing distinguished cells and related structural parameters on the associated Dyck paths, we obtain new shape-Wilf-equivalences and, for several classes, explicit formulas for the number of avoiding transversals on a fixed Ferrers board. We further study the corresponding pattern-avoiding perfect matchings through the pattern-preserving bijection of Bloom and Elizalde. Besides deriving recurrence relations, we give bijective interpretations of several matching enumeration sequences in terms of grand Dyck paths, Schröder paths, and Dyck paths. These constructions provide additional combinatorial structure beyond the classification itself. Together with the companion paper on triples, the present work completes the classification of shape-Wilf-equivalence classes for subsets of patterns of length three, apart from the trivial empty and full pattern sets.

We enumerate all families of involutions avoiding a classical pattern of length four together with 4321. While the enumeration of permutations avoiding two classical patterns is by now well understood, the case of pattern-avoiding involutions presents additional structural constraints that require dedicated techniques. In particular our main enumerative tool is Biane's bijection between involutions and labelled Motzkin paths. The paper provides exact bivariate generating functions (taking into account length and number of descents), and structural descriptions for all except one family. In the remaining case we provide a functional equation for the generating function and express it as an explicit continued fraction. We make extensive use of experimental and software-supported methods.

An inversion sequence of length $n$ is an integer sequence $(a_1, \ldots, a_n)$ such that $0 \le a_i < i$ for all $i$. The study of pattern-avoiding inversion sequences was initiated in 2015 by Mansour and Shattuck and in 2016 by Corteel, Martinez, Savage and Weselcouch. Martinez and Savage later defined a new type of pattern, a triple of binary relations, of which there are currently 14 uncounted avoidance classes. We complete the enumeration for all of these classes using generating tree methods "growing on the left" and "growing on the right". For many of these classes we are able to find algebraic generating functions. We also discuss the asymptotic behaviour of the counting sequences.

Let $n$ be a positive integer. A translation-invariant total order (TITO) with period $n$ is a total order of the integers that is invariant under translations by multiples of $n$. These structures arise naturally in the study of Coxeter groups. In particular, real $n$-TITOs are in bijection with biclosed sets of positive roots of the affine symmetric group $\widetilde S_n$. Barkley and Defant recently introduced pattern avoidance for TITOs and used it to define the affine Tamari lattice. The enumeration of TITOs avoiding a single pattern of length $3$ is due to Crites and Barkley--Defant. We extend this work to TITOs avoiding two patterns. Our main results include a complete enumeration of TITOs that avoid a pair of patterns in $S_3\times S_3$, as well as of TITOs that avoid a pair $(p, q)$ with $p \in S_3 \setminus \{123, 321\}$ and $q \in S_4$. Furthermore, we provide an explicit construction of the inverse of the bijection between $312$-avoiding TITOs and noncrossing arc diagrams, thereby extending the combinatorial framework introduced by Barkley.

A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,ω)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to canon labelings of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,ω)$-partitions and simplifies existing proofs. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations, giving rise to dissonant canon permutations, as well as $γ$-positivity and interpretations of descent polynomials of canon permutations.

In this paper, we find distribution of descents over $(n-3)$- and $(n-4)$-stack-sortable permutations in terms of Eulerian polynomials. Our results generalize the enumeration results by Claesson, Dukes, and Steingr\'ımsson on $(n-3)$- and $(n-4)$-stack-sortable permutations. Moreover, we find distribution of descents on $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations that avoid any given pattern of length 3, which extends known results in the literature on distribution of descents over pattern-avoiding 1- and 2-stack-sortable permutations. Our distribution results also give enumeration of $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations avoiding any pattern of length 3. One of our conjectures links our work to stack-sorting with restricted stacks, and the other conjecture states that 213-avoiding permutations sortable with $t$ stacks are equinumerous with 321-avoiding permutations sortable with $t$ stacks for any $t$.

We study the distribution of the number of double deficiencies (DD) in permutations of length n avoiding one or two patterns of length 3. Using structural decompositions of these avoidance classes--together with a lattice-path decomposition in the 321-avoiding case--we derive functional equations and convolution-type recurrences that efficiently compute the corresponding double-deficiency generating functions in all but one single-pattern case. In the 321-avoiding permutations, the resulting generating function is algebraic; we derive exact formulas for the mean and variance and prove that the distribution is close in total variation to Bin(n-2,1/4), with an explicit convergence rate. We also identify a DD-preserving symmetry that yields DD-Wilf equivalences, reducing the number of two-pattern cases that need to be considered separately. For the resulting two-pattern classes, we obtain explicit recurrences, including C-finite relations.

The enumeration of pattern-avoiding permutations has been a popular area of study over the past several decades, but comparatively little attention has been given to the topic of pattern-avoiding involutions. In this paper, we derive the algebraic generating functions of two Wilf-equivalence classes of involutions avoiding a single pattern of length $4$, $\operatorname{Av^I}(2431)$ and $\operatorname{Av^I}(3421)$. We then adapt the Mosaic method, a fast counting algorithm for permutations, to count involutions and apply it to substantially extend the known initial terms of the counting sequences for the remaining two Wilf-equivalence classes avoiding a pattern of length $4$, $\operatorname{Av^I}(1324)$ and $\operatorname{Av^I}(4231)$. Based on these extended sequences, we empirically analyze the asymptotic behavior of the counting sequences of these two classes.

Derangements are permutations without fixed points, and are in bijection with desarrangements: permutations whose first non-descent is even, or equivalently, permutations without ``pixed points''. Bsila, Cox, Hugo, Styron, and Zhuang recently proved a theorem characterizing all $Π\subseteq\mathfrak{S}_{3}$, such that $1\leq\left|Π\right|\leq3$, for which the number of derangements avoiding all patterns in $Π$ is equal to the number of desarrangements avoiding all patterns in $Π$. They left finding a bijective proof of this theorem as an open problem, and posed a related conjecture concerning the distributions of fixed points and pixed points over pattern avoidance classes. In this paper, we give bijective proofs of this theorem and conjecture.

Motivated by a recent conjecture of Bsila, Cox, Hugo, Styron and Zhuang concerning fixed points and pixed points on pattern-avoiding permutations, we prove a bivariate refinement involving descent statistics. Given a set of permutations $Π$, let $\mathfrak{S}_n(Π)$ denote the set of permutations in the symmetric group $\mathfrak{S}_n$ that avoid every element of $Π$ in the sense of pattern avoidance. For each set $Π$ appearing in their conjecture, we show that the pairs of statistics $(\mathrm{des},\mathrm{fix})$ and $(\mathrm{ides},\mathrm{pix})$ are equidistributed over $\mathfrak{S}_n(Π)$. Our proof is based on explicit ordinary generating functions for the corresponding pattern-avoiding classes.

We announce a series of results on the combinatorial study of the q-Catalan triangle (C_{n,k}(q)), defined by C_{n,0}(q)=q^{n(n-1)/2} and C_{n,k}(q)=C_{n,k-1}(q)+q^{n-k-1}C_{n-1,k}(q). We establish combinatorial interpretations via a universal combinatorial family of seven components: four families of pattern-avoiding permutations weighted by inversion or co-inversion statistics, Dyck paths, binary words and triangulations. We introduce the mirror polynomial C-tilde_{n,k}(q)=q^{n(n-1)/2}C_{n,k}(q^{-1}), prove its dual recurrence and co-inversion interpretation. The q,p-Catalan triangle and a multivariate generalization opening the way to cyclotomic q-analogues are introduced. Theorems on the q-Catalan triangle via 312-avoiding permutations and the mirror recurrence are proved completely here. This is the first paper of series W0-W5 on classical and q-deformed interpretations of the Catalan triangle.

We study Mallows random permutations conditioned to avoid a given pattern $α$ of length~$3$. When the bias parameter is of the form $e^{β/n}$, we prove that these permutations converge to a non-trivial explicit deterministic permuton that depends on the pattern $α$ and on the parameter $β$. Along the way, we provide parametrizations for $α$-avoiding permutons, and establish a large deviation principle for uniform $α$-avoiding permutations. As a byproduct of the proof, we also obtain asymptotic estimates of two versions of $q$-Catalan numbers in the regime $q=e^{β/n}$.

We study positional statistics for four families of pattern-avoiding permutations counted by the large Schröder numbers. Specifically, we focus on the pairs of patterns {2413,3142} (separable permutations), {1324,1423}, {1423,2413}, and {1324,2134}. For each class, we derive multivariate generating functions that track the relative positions of specific entries. Our approach combines structural decompositions with the kernel method to obtain explicit formulas involving the generating function for the Schröder numbers. As a byproduct, we obtain alternative proofs that each of these classes is enumerated by the Schröder numbers. We also identify several known triangular arrays arising from our positional refinements, including connections to the central binomial coefficients and sequences appearing in the work of Kreweras on covering hierarchies.

In a recent preprint, Mike Cummings showed that the smooth components of suitably parametrized Springer fibers are in bijection with contracted, fully reduced Plücker degree-two $\mathfrak{sl}_r$-webs of standard type and that are forests. He showed these are enumerated by sequence A116731 in the OEIS, which is equinumerous with permutations avoiding the patterns {321,2143,3124}. Cummings posed the problem of strengthening this enumerative result by finding a bijection between these webs and a collection of pattern-avoiding permutations. Here we solve this problem, although notably not with the collection of patterns that Cummings had proposed. Rather, we give a bijection between this class of webs and permutations avoiding the patterns {132,4321,3214}.

This paper establishes an analogue of the Robinson--Schensted correspondence for cylindric tableaux. In particular, for any pair of positive integers $(d,L)$, we construct a bijection between permutations that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ and pairs of $(d,L)$-cylindric standard Young tableaux with a common shape. This arises as a special case of a Knuth-type generalization involving cylindric semistandard tableaux and a further generalization involving oscillating tableaux. Using these results, we construct several other bijections and derive enumerative consequences involving cylindric tableaux and pattern-avoiding permutations. For example, we give asymptotics for the number of permutations in $S_n$ that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ as $n\to\infty$.

Fix a strong rectangulation pattern $P$ of size $L$. We show that the growth constant of the class of strong rectangulations avoiding $P$ is strictly smaller than $Λ=27/2$, the growth constant for all strong rectangulations. More precisely, forbidding any such $P$ yields a pattern-uniform exponential drop of at least $Λ- 1/Λ^{3L-1}$. Consequently, the proportion of $P$-avoiding rectangulations among all rectangulations tends to zero as $n\to \infty$. This is the first result on the uniform drop of exponential growth for pattern-avoiding rectangulations. The proof utilizes the standard correspondence with leftmost history quadrant walks, along with a pattern-insertion scheme that controls the radius of convergence of the associated generating functions, thereby establishing the first uniform exponential upper bound for rectangulation classes defined by geometric avoidance.

We introduce and study a new restricted family of overpartitions, called block-separated overpartitions, in which no two consecutive distinct part-size blocks may both be overlined. Using a two-state transfer-matrix automaton, we derive a closed matrix-product expression for the ordinary generating function, establish an Euler-type factorization, and obtain an explicit normalized recurrence suitable for computation of arbitrary coefficients. We further prove that the possible overlining patterns on the distinct blocks are counted by Fibonacci numbers, giving natural bijections with independent sets on paths, pattern-avoiding binary words, and Fibonacci tilings.

We study longest and shortest directed paths in the following natural model of directed random planar maps: the uniform infinite bipolar-oriented triangulation (UIBOT), which is the local limit of uniform bipolar-oriented triangulations around a typical edge. We construct the Busemann function which measures directed distance to $\infty$ along a natural interface in the UIBOT. We show that in the case of longest (resp.\ shortest) directed paths, this Busemann function converges in the scaling limit to a $2/3$-stable Lévy process (resp.\ a $4/3$-stable Lévy process). We also prove up-to-constants bounds for directed distances in finite bipolar-oriented triangulations sampled from a Boltzmann distribution, and for size-$n$ cells in the UIBOT. These bounds imply that in a typical subset of the UIBOT with $n$ edges, longest directed path lengths are of order $n^{3/4}$ and shortest directed path lengths are of order $n^{3/8}$. These results give the scaling dimensions for discretizations of the (hypothetical) $\sqrt{4/3}$-directed Liouville quantum gravity metrics. The main external input in our proof is the bijection of Kenyon-Miller-Sheffield-Wilson (2015). We do not use any continuum theory. We expect that our techniques can also be applied to prove similar results for directed distances in other random planar map models and for longest increasing subsequences in pattern-avoiding permutations.

Recently, Brualdi and Cao studied $I_k$-avoiding $(0,1)$-matrices by decomposing them into zigzag paths and proved that the maximum number of $1$'s in such a matrix is given by an exact number. We further study the structure of maximal $I_k$-avoiding $(0,1)$-matrices (IAMs) by interpreting them as families of non-intersecting lattice paths on the square lattice. Using this perspective, we establish a bijection showing that IAMs are equinumerous with plane partitions of a certain size. Moreover, we classify all ten symmetry classes of IAMs under the action of the dihedral group of order $8$ and show that the enumeration formulas for these classes are given by simple product formulas. Extending this approach to skew shapes, we derive a conceptual formula for enumerating maximal $I_k$-avoiding $(0,1)$-fillings of skew shapes.