arXiv++ Combinatorics

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.

A rotation of a permutation is a new permutation obtained by moving the first several terms of the permutation to the end of the permutation. A circular permutation is the set of all rotations of a permutation. The enumerations of permutations and circular permutations avoiding patterns of length three and four are well studied. In this paper, we provide exact formulas for the number of permutations whose first $k\geq 2$ rotations all avoid a given pattern of length three, as well as the number of permutations whose first three rotations respectively avoid the rotations of a given pattern of length three. In contrast to permutations and circular permutations avoiding patterns of length three, the Wilf-equivalence classes under study are entirely determined by complements and reverses. We also classify and enumerate permutations whose first two rotations avoid different patterns of length three.

We prove the remaining conjectural distribution-equivalence of mesh patterns of length 2 from 2019. This completes the classification of distribution-equivalence and Wilf-equivalence classes for mesh patterns of length 2. Consequently the numbers of such classes are 105 and 46, respectively. We approach this by constructing a marked occurrence bijection, in the spirit of the cluster method for consecutive patterns.

The classification and enumeration of short mesh patterns have emerged as two central directions in the area. We make substantial progress on both fronts. We construct an involution and a bijection that establish distributional equivalences for two classes of length-$2$ mesh patterns, thereby resolving a conjecture from 2019 and a recent conjecture. As a consequence, the best known upper bounds for the numbers of distribution-equivalence and Wilf-equivalence classes drop to $106$ and $47$, respectively. Combined with the known lower bounds of 105 and 46, conjectured to be exact, these results leave both classifications hinging on a single distribution-equivalence question conjectured in 2019, whose resolution would at once settle the remaining Wilf-equivalence case. We further conjecture that this unresolved equidistribution also holds for involutions, a subclass of all permutations. We also determine the distributions of three additional classes of length-$2$ mesh patterns through a detailed structural analysis. Our work combines bijective techniques with generating-function methods, yielding new insights into the structure and enumeration of short mesh patterns.

We collect open problems in permutation patterns on four themes: rank-unimodality in the permutation pattern poset, Wilf-equivalence and shape-Wilf-equivalence, the enumeration of derangements in permutation classes, and sorting by stacks in series, generalized stacks, and restricted containers (C-machines).

In 2020, Bloom and Sagan defined subsets of the symmetric group $\mathfrak{S}_n$ called partial shuffles, and proved a formula for the Schur expansion of the pattern quasisymmetric function associated with a partial shuffle. In their proof, they establish that any two partial shuffles of the same size are Wilf-equivalent. We give an alternative proof of this fact, using an iterative approach. We also show that Wilf-equivalence is preserved on including a decreasing pattern in partial shuffles, and we provide some enumerative results for avoidance classes whose bases consist of a partial shuffle and a decreasing permutation.

In a previous work, Bóna and Pantone studied permutations that avoided all but one pattern of length $k$ that began with a length $k-1$ increasing subsequence. We draw the connection between that idea and distant patterns, first discussed heavily in a work by Dimitrov, and study similar permutation classes, where the index not part of the increasing subsequence can vary. We find a large class of Wilf-Equivalences between $k+1$ classes of $k$ patterns of length $k+1$, and outline several classes of unbalanced Wilf-Equivalences related to the first class. Using this, we are also find new bounds on the exponential growth rate on all monotone distant patterns with a single gap constraint.

Partially ordered patterns (POPs) generalize the classical notion of permutation patterns within the framework of pattern avoidance. Building on recent work by Burstein, Han, Kitaev, and Zhang, which introduced the concept of shape-Wilf-equivalence of sets of patterns, we develop the notions of \emph{ordinal} and \emph{disjoint sums} of labeled posets. This framework enables us to reinterpret their main result as an ordinal sum analogue of the classical theorem by Backelin, West, and Xin. We establish analogous results for disjoint sums of POPs and further extend their results to prove Wilf-equivalence for classes of POPs that include isolated vertices. In particular, we prove the shape-Wilf-equivalence of the sets of patterns $\{123, 213, 312\}$ and $\{132, 231, 321\}$. Our proof strategy involves a bijection that filters through an encoding scheme for the transversals avoiding these patterns. We use these results to completely classify the partially ordered patterns of size $3,4,5$ whose connected components are all chains. This classification also confirms a conjecture posed by Dimitrov at the problem session of the British Combinatorics Conference 2024 (BCC30).

Ascent sequences of length $n$ avoiding the pattern $021$ are enumerated by the $n$-th Catalan number $C_n=\frac{1}{n+1}\binom{2n}{n}$. In this paper, we extend this result and enumerate ascent sequences avoiding $\{021,τ\}$, where $τ$ is a pattern of length four. We in turn identify all of the corresponding Wilf-equivalence classes and find generating function formulas corresponding to each class. In a couple of cases, we make use of an auxiliary statistic and the kernel method to ascertain the generating function. In several cases, our work of enumeration is shortened by establishing the equivalence of $\{021,τ\}$- and $\{021,τ'\}$-avoiders of a given length through an explicit bijection. As a consequence of our results, one obtains new combinatorial interpretations in terms of ascent sequences for several of the entries in the OEIS.

Theorems relating permutations with objects in other fields of mathematics are often stated in terms of avoided patterns. Examples include various classes of Schubert varieties from algebraic geometry (Billey and Abe 2013), commuting functions in analysis (Baxter 1964), beta-shifts in dynamical systems (Elizalde 2011) and homology of representations (Sundaram 1994). We present a new algorithm, BiSC, that, given any set of permutations, outputs a conjecture for describing the set in terms of avoided patterns. The algorithm automatically conjectures the statements of known theorems such as the descriptions of smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-M{é}lou and Butler 2007), Baxter permutations (Chung et al. 1978), stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990). The algorithm has also been used to discover new theorems and conjectures related to the dihedral and alternating subgroups of the symmetric group, Young tableaux, Wilf-equivalences, and sorting devices.

We prove a conjecture of Gao and Kitaev on Wilf-equivalence of sets of patterns {12345,12354} and {45123,45213} that extends the list of 10 related conjectures proved in the literature in a series of papers. To achieve our goals, we prove generalized versions of shape-Wilf-equivalence results of Backelin, West, and Xin and use a particular result on shape-Wilf-equivalence of monotone patterns. We also derive general results on shape-Wilf-equivalence of certain classes of partially ordered patterns and use their specialization (also appearing in a paper by Bloom and Elizalde) as an essential piece in proving the conjecture. Our results allow us to show (shape-)Wilf-equivalence of large classes of sets of patterns, including 11 out of 12 classes found by Bean et al. in relation to the conjecture.

Two $k$-ary Fibonacci recurrences are $a_k(n) = a_k(n-1) + k \cdot a_k(n-2)$ and $b_k(n) = k \cdot b_k(n-1) + b_k(n-2)$. We provide a simple proof that $a_k(n)$ is the number of $k$-regular words over $[n] = \{1,2,\ldots,n\}$ that avoid patterns $\{121, 123, 132, 213\}$ when using base cases $a_k(0) = a_k(1) = 1$ for any $k \geq 1$. This was previously proven by Kuba and Panholzer in the context of Wilf-equivalence for restricted Stirling permutations, and it creates Simion and Schmidt's classic result on the Fibonacci sequence when $k=1$, and the Jacobsthal sequence when $k=2$. We complement this theorem by proving that $b_k(n)$ is the number of $k$-regular words over $[n]$ that avoid $\{122, 213\}$ with $b_k(0) = b_k(1) = 1$ for any~$k \geq 2$. Finally, we conjecture that $|Av^{2}_{n}(\underline{121}, 123, 132, 213)| = a_1(n)^2$ for $n \geq 0$. That is, vincularizing the Stirling pattern in Kuba and Panholzer's Jacobsthal result gives the Fibonacci-squared numbers.

The number of 123-avoiding permutation on $\{1,2,\ldots,n\}$ with a fixed leading terms is counted by the ballot numbers. The same holds for $132$-avoiding permutations. These results were proved by Miner and Pak using the Robinson-Schensted-Knuth (RSK) correspondence to connect permutations with Dyck paths. In this paper, we first provide an alternate proof of these enumeration results via a direct counting argument. We then study the number of pattern-avoiding permutations with a fixed prefix of length $t\geq1$, generalizing the $t=1$ case. We find exact expressions for single and pairs of patterns of length three as well as the pair $3412$ and $3421$. These expressions depend on $t$, the extrema, and the order statistics. We also define $r$-Wilf equivalence for permutations with a single fixed leading term $r$, and classify the $r$-Wilf-equivalence classes for both classical and vincular patterns of length three.

Let $\mathcal{S}_n(π)$ (resp. $\mathcal{I}_n(π)$ and $\mathcal{AI}_n(π)$) denote the set of permutations (resp. involutions and alternating involutions) of length $n$ which avoid the permutation pattern $π$. For $k,m\geq 1$, Backelin-West-Xin proved that $|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$ by establishing a bijection between these two sets, where $τ= τ_1τ_2\cdots τ_m$ is an arbitrary permutation of $k+1,k+2,\ldots,k+m$. The result has been extended to involutions by Bousquet-Mélou and Steingrímsson and to alternating permutations by the first author. In this paper, we shall establish a peak set preserving bijection between $\mathcal{I}_n(123τ)$ and $\mathcal{I}_n(321τ)$ via transversals, matchings, oscillating tableaux and pairs of noncrossing Dyck paths as intermediate structures. Our result is a refinement of the result of Bousquet-Mélou and Steingrímsson for the case when $k=3$. As an application, we show bijectively that $|\mathcal{AI}_n(123τ)| = |\mathcal{AI}_n(321τ)|$, confirming a recent conjecture of Barnabei-Bonetti-Castronuovo-Silimbani. Furthmore, some conjectured equalities posed by Barnabei-Bonetti-Castronuovo-Silimbani concerning pattern avoiding alternating involutions are also proved.

We introduce an algorithmic approach based on generating tree method for enumerating the inversion sequences with various pattern-avoidance restrictions. For a given set of patterns, we propose an algorithm that outputs either an accurate description of the succession rules of the corresponding generating tree or an ansatz. By using this approach, we determine the generating trees for the pattern-classes $I_n(000, 021), I_n(100, 021)$, $I_n(110, 021), I_n(102, 021)$, $I_n(100,012)$, $I_n(011,201)$, $I_n(011,210)$ and $I_n(120,210)$. Then we use the kernel method, obtain generating functions of each class, and find enumerating formulas. Lin and Yan studied the classification of the Wilf-equivalences for inversion sequences avoiding pairs of length-three patterns and showed that there are 48 Wilf classes among 78 pairs. In this paper, we solve six open cases for such pattern classes.

Partially ordered patterns (POPs) generalize the notion of classical patterns studied in the literature in the context of permutations, words, compositions and partitions. In this paper, we give a number of general, and specific enumerative results for POPs in permutations defined by bipartite graphs, substantially extending the list of known results in this direction. In particular, we completely characterize the Wilf-equivalence for patterns defined by the N-shape posets.

In this paper, we study the Wilf-type equivalence relations among multiset permutations. We identify all multiset equivalences among pairs of patterns consisting of a pattern of length three and another pattern of length at most four. To establish our results, we make use of a variety of techniques, including Ferrers-equivalence arguments, sorting by minimal/maximal letters, analysis of active sites and direct bijections. In several cases, our arguments may be extended to prove multiset equivalences for infinite families of pattern pairs. Our results apply equally well to the Wilf-type classification of compositions, and as a consequence, we obtain a complete description of the Wilf-equivalence classes for pairs of patterns of type (3,3) and (3,4) on compositions, with the possible exception of two classes of type (3,4).

Jelínek, Mansour, and Shattuck studied Wilf-equivalence among pairs of patterns of the form $\{σ,τ\}$ where $σ$ is a set partition of size $3$ with at least two blocks. They obtained an upper bound for the number of Wilf-equivalence classes for such pairs. We show that their upper bound is the exact number of equivalence classes, thus solving a problem posed by them.

In this paper, we study the pattern occurrence in $k$-ary words. We prove an explicit upper bound on the number of $k$-ary words avoiding any given pattern using a random walk argument. Additionally, we reproduce several already known results and establish a simple connection among pattern occurrences in permutations and $k$-ary words. A simple consequence of this connection is that Wilf-equivalence of two patterns in words implies their Wilf-equivalence in permutations.

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.