In a recent paper, Backelin, West and Xin describe a map $ϕ^*$ that recursively replaces all occurrences of the pattern $k... 21$ in a permutation $σ$ by occurrences of the pattern $(k-1)... 21 k$. The resulting permutation $ϕ^*(σ)$ contains no decreasing subsequence of length $k$. We prove that, rather unexpectedly, the map $ϕ^*$ commutes with taking the inverse of a permutation. In the BWX paper, the definition of $ϕ^*$ is actually extended to full rook placements on a Ferrers board (the permutations correspond to square boards), and the construction of the map $ϕ^*$ is the key step in proving the following result. Let $T$ be a set of patterns starting with the prefix $12... k$. Let $T'$ be the set of patterns obtained by replacing this prefix by $k... 21$ in every pattern of $T$. Then for all $n$, the number of permutations of the symmetric group $\Sn_n$ that avoid $T$ equals the number of permutations of $\Sn_n$ that avoid $T'$. Our commutation result, generalized to Ferrers boards, implies that the number of {\em involutions} of $\Sn_n$ that avoid $T$ is equal to the number of involutions of $\Sn_n$ avoiding $T'$, as recently conjectured by Jaggard.
Wilf partitions are partitions of an integer $n$ in which all nonzero multiplicities are distinct. On his webpage, the late Herbert Wilf posed the problem to find "any interesting theorems" about the number f(n) of those partitions. Recently, Fill, Janson and Ward (and independently Kane and Rhoades) determined an asymptotic formula for $\log f(n)$. Since the original motivation for studying Wilf partitions was the fact that the operation that interchanges part sizes and multiplicities is an involution on the set of Wilf partitions, they mentioned as an open problem to determine a similar asym…
We complete the Wilf classification of signed patterns of length 5 for both signed permutations and signed involutions. New general equivalences of patterns are given which prove Jaggard's conjectures concerning involutions in the symmetric group avoiding certain patterns of length 5 and 6. In this way, we also complete the Wilf classification of S_5, S_6, and S_7 for both permutations and involutions.
We present a class of permutations for which the number of distinctly ordered subsequences of each permutation approaches an almost optimal value as the length of the permutation grows to infinity.
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 …
In this note, we study the mean length of the longest increasing subsequence of a uniformly sampled involution that avoids the pattern $3412$ and another pattern.
Inspired by work of McKay, Morse, and Wilf, we give an exact count of the involutions in S_n which contain a given permutation τin S_k as a subsequence; this number depends on the patterns of the first j values of τfor 1<=j<=k. We then use this to define a partition of S_k, analogous to Wilf-classes in the study of pattern avoidance, and examine properties of this equivalence. In the process, we show that a permutation τ_1...τ_k is layered iff, for 1<=j<=k, the pattern of τ_1...τ_j is an involution. We also obtain a result of Sagan and Stanley counting the standard Young tableaux of size $n$ w…
We study questions of even-Wilf-equivalence, the analogue of Wilf-equivalence when attention is restricted to pattern avoidance by permutations in the alternating group. Although some Wilf-equivalence results break when considering even-Wilf-equivalence analogues, we prove that other Wilf-equivalence results continue to hold in the even-Wilf-equivalence setting. In particular, we prove that t(t-1)...321 and (t-1)(t-2)...21t are even-shape-Wilf-equivalent for odd t, paralleling a result (which held for all t) of Backelin, West, and Xin for shape-Wilf-equivalence. This allows us to classify the …
Enumerating Pattern-Avoiding Involutions using Combinatorial Exploration
School of Computer Science and Mathematics, Keele University（基尔大学计算机科学与数学学院）；School of Mathematics and Statistics, The University of Melbourne（墨尔本大学数学与统计学院）；Department of Mathematical and Statistical Sciences, Marquette University（马凯特大学数学与统计科学系）
We consider the distribution of the length of the longest subsequence avoiding a given pattern in a random permutation of length n. The well-studied case of a longest increasing subsequence corresponds to avoiding the pattern 21. We show that there is some constant c such that the mean value of this length is asymptotic to twice the square root of c times n and that the distribution of the length is tightly concentrated around its mean. We observe some apparent connections between c and the Stanley-Wilf limit of the class of permutations avoiding the given pattern.
A bijection is given between fixed point free involutions of $\{1,2,...,2N\}$ with maximum decreasing subsequence size $2p$ and two classes of vicious (non-intersecting) random walker configurations confined to the half line lattice points $l \ge 1$. In one class of walker configurations the maximum displacement of the right most walker is $p$. Because the scaled distribution of the maximum decreasing subsequence size is known to be in the soft edge GOE (random real symmetric matrices) universality class, the same holds true for the scaled distribution of the maximum displacement of the right …
Let $π\in \mathfrak{S}_m$ and $σ\in \mathfrak{S}_n$ be permutations. An occurrence of $π$ in $σ$ as a consecutive pattern is a subsequence $σ_i σ_{i+1} \cdots σ_{i+m-1}$ of $σ$ with the same order relations as $π$. We say that patterns $π, τ\in \mathfrak{S}_m$ are strongly c-Wilf equivalent if for all $n$ and $k$, the number of permutations in $\mathfrak{S}_n$ with exactly $k$ occurrences of $π$ as a consecutive pattern is the same as for $τ$. In 2018, Dwyer and Elizalde conjectured (generalizing a conjecture of Elizalde from 2012) that if $π, τ\in \mathfrak{S}_m$ are strongly c-Wilf equivalen…
We compute the limiting distributions of the lengths of the longest monotone subsequences of random (signed) involutions with or without conditions on the number of fixed points (and negated points) as the sizes of the involutions tend to infinity. The resulting distributions are, depending on the number of fixed points, (1) the Tracy-Widom distributions for the largest eigenvalues of random GOE, GUE, GSE matrices, (2) the normal distribution, or (3) new classes of distributions which interpolate between pairs of the Tracy-Widom distributions. We also consider the second rows of the correspond…
Let $A_k$ be the set of permutations in the symmetric group $S_k$ with prefix 12. This paper concerns the enumeration of involutions which avoid the set of patterns $A_k$. We present a bijection between symmetric Schroder paths of length $2n$ and involutions of length $n+1$ avoiding $\mathcal{A}_4$. Statistics such as the number of right-to-left maxima and fixed points of the involution correspond to the number of steps in the symmetric Schroder path of a particular type. For each $k> 2$ we determine the generating function for the number of involutions avoiding the subsequences in $A_k$, acco…
Our interest is in the scaled joint distribution associated with $k$-increasing subsequences for random involutions with a prescribed number of fixed points. We proceed by specifying in terms of correlation functions the same distribution for a Poissonized model in which both the number of symbols in the involution, and the number of fixed points, are random variables. From this, a de-Poissonization argument yields the scaled correlations and distribution function for the random involutions. These are found to coincide with the same quantities known in random matrix theory from the study of en…
Let $π$ be a permutation of $[n]=\{1,\dots,n\}$ and denote by $\ell(π)$ the length of a longest increasing subsequence of $π$. Let $\ell_{n,k}$ be the number of permutations $π$ of $[n]$ with $\ell(π)=k$. Chen conjectured that the sequence $\ell_{n,1},\ell_{n,2},\dots,\ell_{n,n}$ is log concave for every fixed positive integer $n$. We conjecture that the same is true if one is restricted to considering involutions and we show that these two conjectures are closely related. We also prove various analogues of these conjectures concerning permutations whose output tableaux under the Robinson-Sche…
We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions with certain properties. We also define and investigate an analog of Wilf-equivalence for forests.
Our interest is in the cumulative probabilities Pr(L(t) \le l) for the maximum length of increasing subsequences in Poissonized ensembles of random permutations, random fixed point free involutions and reversed random fixed point free involutions. It is shown that these probabilities are equal to the hard edge gap probability for matrix ensembles with unitary, orthogonal and symplectic symmetry respectively. The gap probabilities can be written as a sum over correlations for certain determinantal point processes. From these expressions a proof can be given that the limiting form of Pr(L(t) \le…
On mesh patterns of short length: Equidistribution and enumeration
College of Mathematics and Statistics, Chongqing University（重庆大学数学与统计学院）；Center for Discrete Mathematics, Chongqing University（重庆大学离散数学中心）；Department of Mathematics and Statistics, University of Strathclyde（斯特拉斯克莱德大学数学与统计系）；College of Mathematical Sciences & Institute of Mathematics and Interdisciplinary Sciences, Tianjin Normal University（天津师范大学数学科学学院与数学及交叉科学研究院）
We show that two classes of combinatorial objects--inversion tables with no subsequence of decreasing consecutive numbers and matchings with no 2-nestings--are enumerated by the Fishburn numbers. In particular, we give a simple bijection between matchings with no 2-nestings and inversion tables with no subsequence of decreasing consecutive numbers. We then prove using the involution principle that inversion tables with no subsequence of decreasing consecutive numbers have the same generating function as the Fishburn numbers. The Fishburn numbers have previously been shown by Bousquet-Mélou, Cl…
We consider the involutions known as "toggles," which have been used to give simplified proofs of the fundamental properties of the promotion and evacuation maps. We transfer these involutions so that they generate a group $\mathscr P_n$ that acts on the set $S_n$ of permutations of $\{1,\ldots,n\}$. After characterizing its orbits in terms of permutation skeletons, we apply the action in order to understand West's stack-sorting map. We obtain a very simple proof of a result that clarifies and extensively generalizes a theorem of Bouvel and Guibert and also generalizes a theorem of Bousquet-Mé…
We survey the theory of increasing and decreasing subsequences of permutations. Enumeration problems in this area are closely related to the RSK algorithm. The asymptotic behavior of the expected value of the length is(w) of the longest increasing subsequence of a permutation w of 1,2,...,n was obtained by Vershik-Kerov and (almost) by Logan-Shepp. The entire limiting distribution of is(w) was then determined by Baik, Deift, and Johansson. These techniques can be applied to other classes of permutations, such as involutions, and are related to the distribution of eigenvalues of elements of the…
Following Anders and Archer, we say that an unordered rooted labeled forest avoids the pattern $σ\in\mathcal{S}_k$ if in each tree, each sequence of labels along the shortest path from the root to a vertex does not contain a subsequence with the same relative order as $σ$. For each permutation $σ\in\mathcal{S}_{k-2}$, we construct a bijection between $n$-vertex forests avoiding $(σ)(k-1)k:=σ(1)\cdotsσ(k-2)(k-1)k$ and $n$-vertex forests avoiding $(σ)k(k-1):=σ(1)\cdotsσ(k-2)k(k-1)$, giving a common generalization of results of West on permutations and Anders--Archer on forests. We further define…
We present a number of results relating partial Cauchy-Littlewood sums, integrals over the compact classical groups, and increasing subsequences of permutations. These include: integral formulae for the distribution of the longest increasing subsequence of a random involution with constrained number of fixed points; new formulae for partial Cauchy-Littlewood sums, as well as new proofs of old formulae; relations of these expressions to orthogonal polynomials on the unit circle; and explicit bases for invariant spaces of the classical groups, together with appropriate generalizations of the str…
Dokos et. al. studied the distribution of two statistics over permutations $\mathfrak{S}_n$ of $\{1,2,\dots, n\}$ that avoid one or more length three patterns. A permutation $σ\in\mathfrak{S}_n$ contains a pattern $π\in\mathfrak{S}_k$ if $σ$ has a subsequence of length $k$ whose letters are in the same relative order as $π$. This paper is a comprehensive study of the same two statistics, number of inversions and major index, over involutions $\mathcal{I}_n=\{σ\in\mathfrak{S}_n:σ^2=\text{id}\}$ that avoid one or more length three patterns. The equalities between the generating functions are con…
Given a permutation pattern p and an equivalence relation on permutations, we study the corresponding equivalence classes all of whose members avoid p. Four relations are studied: Conjugacy, order isomorphism, Knuth-equivalence and toric equivalence. Each of these produces a known class of permutations or a known counting sequence. For example, involutions correspond to conjugacy, and permutations whose insertion tableau is hook-shaped with 2 in the first row correspond to Knuth-equivalence. These permutations are equinumerous with certain congruence classes of graph endomorphisms. In the case…
In their paper [1] on Wilf-equivalence for singleton classes, Backelin, Xin, and West introduce a transformation $ϕ^*$, defined by an iterative process and operating on (all) full rook placements on Ferrers boards. In [3], Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson prove the analogue of the main result of [1] in the context of involutions, and in so doing they must prove that $ϕ^*$ commutes with the operation of taking inverses. The proof of this commutation result is long and difficult, and Bousquet-M$\acute{\textrm{e}}$lou and Steingr$\acute{\textrmı}$msson ask if $…
The number of even 321-avoiding permutations of length n is equal to the number of odd ones if n is even, and exceeds it by the (n-1)/2th Catalan number otherwise. We present an involution that proves a refinement of this sign-balance property respecting the length of the longest increasing subsequence of the permutation. In addition, this yields a combinatorial proof of a recent analogous result of Adin and Roichman dealing with the last descent. In particular, we answer the question how to obtain the sign of a 321-avoiding permutation from the pair of tableaux resulting from the Robinson-Sch…
