arXiv++ Combinatorics

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 consequently determined via symmetries and we conjecture this happens for longer patterns as well. We describe the generating functions for each set of patterns including the fixed-point-free case, $σ(i)\neq i$ for all $i.$ Notating $M\mathcal{I}_n(π)$ as the generating function for the major index over the avoidance class of involutions associated to $π$ we particularly present an independent determination that $M\mathcal{I}_n(321)$ is the $q$-analogue for the central binomial coefficient that first appeared in a paper by Barnebei, Bonetti, Elizalde and Silimbani. A shorter proof is presented that establishes a connection to core, a central topic in poset theory. We also prove that $M\mathcal{I}_n(132;q)=q^{\binom{n}{2}}M\mathcal{I}_n(213;q^{-1})$ and that the same symmetry holds for the larger class of permutations conjecturing that the same equality is true for involutions and permutations given any pair of patterns of the form $k(k-1)\dots 1(k+1)(k+2)\dots m$ and $12\dots (k-1) m(m-1)\dots k$, $k\leq m$.

This paper completes a project to enumerate permutations avoiding a triple T of 4-letter patterns, in the sense of classical pattern avoidance, for every T. There are 317 symmetry classes of such triples T and previous papers have enumerated avoiders for all but 14 of them. One of these 14 is conjectured not to have an algebraic generating function. Here, we find the generating function for each of the remaining 13, and it is algebraic in each case.

This paper is one of a series whose goal is to enumerate the avoiders, in the sense of classical pattern avoidance, for each triple of 4-letter patterns. There are 317 symmetry classes of triples of 4-letter patterns, avoiders of 267 of which have already been enumerated. Here we enumerate avoiders for all small Wilf classes that have a representative triple containing the pattern 1342, giving 40 new enumerations and leaving only 13 classes still to be enumerated. In all but one case, we obtain an explicit algebraic generating function that is rational or of degree 2. The remaining one is shown to be algebraic of degree 3. We use standard methods, usually involving detailed consideration of the left to right maxima, and sometimes the initial letters, to obtain an algebraic or functional equation for the generating function.

We consider asymptotics of set partition pattern avoidance in the sense of Klazar. Our main result derives the asymptotics of the number of set partitions avoiding a given set partition within an exponential factor, which leads to a classification of possible growth rates of set partition pattern classes. We further define a notion of permutation-tuple avoidance, which generalizes notions of Aldred et al. and the usual permutation pattern setting, and similarly determine the number of permutation-tuples avoiding a given tuple to within an exponential factor.

An open conjecture in pattern avoidance theory is that the distribution of the major index among 321-avoiding permutations is distributed unimodally. We construct a formula for this distribution, and in the case of 2 descents prove unimodality, with unimodality for 3 through 5 descents likely being little more complicated. The formula refines the $q$-analogue of the Frame-Robinson-Thrall hooklength formula for two-rowed partitions, and in the latter part of the paper we discuss another theorem of the same type, and further exploration toward this question. We also give observations on the analogous behaviors for other permutation patterns of length 3.

A frequent topic in the study of pattern avoidance is identifying when two sets of patterns $Π, Π'$ are Wilf equivalent, that is, when $|\text{Av}_n(Π)| = |\text{Av}_n(Π')|$ for all $n$. In recent work of Dokos et al. the notion of Wilf equivalence was refined to reflect when avoidance of classical patterns preserves certain statistics. In this article, we continue their work by examining $\text{des}$-Wilf equivalence when avoiding certain non-classical patterns.

In this paper, we consider pattern avoidance in a subset of words on $\{1,1,2,2,\dots,n,n\}$ called reverse double lists. In particular a reverse double list is a word formed by concatenating a permutation with its reversal. We enumerate reverse double lists avoiding any permutation pattern of length at most 4 and completely determine the corresponding Wilf classes. For permutation patterns $ρ$ of length 5 or more, we characterize when the number of $ρ$-avoiding reverse double lists on $n$ letters has polynomial growth. We also determine the number of $1\cdots k$-avoiders of maximum length for any positive integer $k$.

A zero-one matrix $A$ contains another zero-one matrix $P$ if some submatrix of $A$ can be transformed to $P$ by changing some ones to zeros. $A$ avoids $P$ if $A$ does not contain $P$. The Pattern Avoidance Game is played by two players. Starting with an all-zero matrix, two players take turns changing zeros to ones while keeping $A$ avoiding $P$. We study the strategies of this game for some patterns $P$. We also study some generalizations of this game.

This paper presents a collection of experimental results regarding permutation pattern avoidance, focusing on cases where there are "many" patterns to be avoided.

We introduce new natural generalizations of the classical descent and inversion statistics for permutations, called width-$k$ descents and width-$k$ inversions. These variations induce generalizations of the excedance and major statistics, providing a framework in which the most well-known equidistributivity results for classical statistics are paralleled. We explore additional relationships among the statistics providing specific formulas in certain special cases. Moreover, we explore the behavior of these width-$k$ statistics in the context of pattern avoidance.

The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and prove that this decomposition is triangular with respect to the dominance order on partitions. As an application, we derive pattern avoidance conditions which characterize the involution Stanley symmetric functions which are equal to Schur $P$-functions. We deduce as a corollary that the involution Stanley symmetric function of the reverse permutation is a Schur $P$-function indexed by a shifted staircase shape. These results lead to alternate proofs of theorems of Ardila-Serrano and DeWitt on skew Schur functions which are Schur $P$-functions. We also prove new Pfaffian formulas for certain related involution Schubert polynomials.

We develop interval pattern avoidance and Mars-Springer ideals to study singularities of symmetric orbit closures in a flag variety. This paper focuses on the case of the Levi subgroup GL_p x GL_q acting on the classical flag variety. We prove that all reasonable singularity properties can be classified in terms of interval patterns of clans.

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.

We give a permutation pattern avoidance criteria for determining when the projection map from the flag variety to a Grassmannian induces a fiber bundle structure on a Schubert variety. In particular, we introduce the notion of a split pattern and show that a Schubert variety has such a fiber bundle structure if and only if the corresponding permutation avoids the split patterns 3|12 and 23|1. Continuing, we show that a Schubert variety is an iterated fiber bundle of Grassmannian Schubert varieties if and only if the corresponding permutation avoids (non-split) patterns 3412, 52341, and 635241. This extends a combined result of Lakshmibai-Sandhya, Ryan, and Wolper who prove that Schubert varieties whose permutation avoids the "smooth" patterns 3412 and 4231 are iterated fiber bundles of smooth Grassmannian Schubert varieties.

We consider asymptotics of set partition pattern avoidance in the sense of Klazar. One of the results of this paper extends work of Alweiss, and finds a classification for set partitions $π$ such that the number of set partitions of $[n]$ avoiding $π$ grows more slowly than $n^{cn}$ for all $c>0$. Several conjectures are proposed, and the related question of asymptotics of parallel ($k$-tuple) permutation pattern avoidance is considered and solved completely to within an exponential factor, generalizing Marcus and Tardos's 2004 proof of the Stanley-Wilf Conjecture.

We introduce a new technique to study pattern avoidance in dynamical systems, namely the use of a commuter function between non-conjugate dynamical systems. We investigate the properties of such a commuter function, specifically $h : [0,1] \to [0,1]$ satisfying $T_1 \circ h = h \circ T_μ$, where $T_μ$ denotes a symmetric tent map of height $μ$. We make use of this commuter function to prove strict inclusion of the set of allowed patterns of $T_μ$ in the set of allowed patterns of $T_1$.

There is a connection between permutation groups and permutation patterns: for any subgroup $G$ of the symmetric group $S_\ell$ and for any $n \geq \ell$, the set of $n$-permutations involving only members of $G$ as $\ell$-patterns is a subgroup of $S_n$. Making use of the monotone Galois connection induced by the pattern avoidance relation, we characterize the permutation groups that arise via pattern avoidance as automorphism groups of relations of a certain special form. We also investigate a related monotone Galois connection for permutation groups and describe its closed sets and kernels as automorphism groups of relations.

In the first part of this survey, we present classical notions arising in combinatorics on words: growth function of a language, complexity function of an infinite word, pattern avoidance, periodicity and uniform recurrence. Our presentation tries to set up a unified framework with respect to a given binary relation. In the second part, we mainly focus on abelian equivalence, $k$-abelian equivalence, combinatorial coefficients and associated relations, Parikh matrices and $M$-equivalence. In particular, some new refinements of abelian equivalence are introduced.

A permutation is said to be a square if it can be obtained by shuffling two order-isomorphic patterns. The definition is intended to be the natural counterpart to the ordinary shuffle of words and languages. In this paper, we tackle the problem of recognizing square permutations from both the point of view of algebra and algorithms. On the one hand, we present some algebraic and combinatorial properties of the shuffle product of permutations. We follow an unusual line consisting in defining the shuffle of permutations by means of an unshuffling operator, known as a coproduct. This strategy allows to obtain easy proofs for algebraic and combinatorial properties of our shuffle product. We besides exhibit a bijection between square $(213,231)$-avoiding permutations and square binary words. On the other hand, by using a pattern avoidance criterion on oriented perfect matchings, we prove that recognizing square permutations is $\mathbf{NP}$-complete.

In 2000 Klazar introduced a new notion of pattern avoidance in the context of set partitions of $[n]=\{1,\ldots, n\}$. The purpose of the present paper is to undertake a study of the concept of Wilf-equivalence based on Klazar's notion. We determine all Wilf-equivalences for partitions with exactly two blocks, one of which is a singleton block, and we conjecture that, for $n\geq 4$, these are all the Wilf-equivalences except for those arising from complementation. If $τ$ is a partition of $[k]$ and $Π_n(τ)$ denotes the set of all partitions of $[n]$ that avoid $τ$, we establish inequalities between $|Π_n(τ_1)|$ and $|Π_n(τ_2)|$ for several choices of $τ_1$ and $τ_2$, and we prove that if $τ_2$ is the partition of $[k]$ with only one block, then $|Π_n(τ_1)| <|Π_n(τ_2)|$ for all $n>k$ and all partitions $τ_1$ of $[k]$ with exactly two blocks. We conjecture that this result holds for all partitions $τ_1$ of $[k]$. Finally, we enumerate $Π_n(τ)$ for all partitions $τ$ of $[4]$.