arXiv++ Combinatorics

West's stack-sorting map involves a stack which avoids the permutation $21$ consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map $SC_σ$, where the stack must always avoid a given permutation $σ$ consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to $SC_σ$. Specifically, we show that the periodic points of $SC_σ$ are precisely the permutations that consecutively avoid $σ$ and its reverse.

Extending the classical pop-stack sorting map on the lattice given by the right weak order on $S_n$, Defant defined, for any lattice $M$, a map $\mathsf{Pop}_{M}: M \to M$ that sends an element $x\in M$ to the meet of $x$ and the elements covered by $x$. In parallel with the line of studies on the image of the classical pop-stack sorting map, we study $\mathsf{Pop}_{M}(M)$ when $M$ is the weak order of type $B_n$, the Tamari lattice of type $B_n$, the lattice of order ideals of the root poset of type $A_n$, and the lattice of order ideals of the root poset of type $B_n$. In particular, we settle four conjectures proposed by Defant and Williams on the generating function \begin{equation*} \mathsf{Pop}(M; q) = \sum_{b \in \mathsf{Pop}_{M}(M)} q^{|\mathscr{U}_{M}(b)|}, \end{equation*} where $\mathscr{U}_{M}(b)$ is the set of elements of $M$ that cover $b$.

Permutations whose prefixes contain at least as many ascents as descents are called ballot permutations. Lin, Wang, and Zhao have previously enumerated ballot permutations avoiding small patterns and have proposed the problem of enumerating ballot permutations avoiding a pair of permutations of length $3$. We completely enumerate ballot permutations avoiding two patterns of length $3$ and we relate these avoidance classes with their respective recurrence relations and formulas, which leads to an interesting bijection between ballot permutations avoiding $132$ and $312$ with left factors of Dyck paths. In addition, we also conclude the Wilf-classification of ballot permutations avoiding sets of two patterns of length $3$, and we then extend our results to completely enumerate ballot permutations avoiding three patterns of length $3$.

Multidimensional permutations, or $d$-permutations, are represented by their diagrams on $[n]^d$ such that there exists exactly one point per hyperplane $x_i$ that satisfies $x_i= j$ for $i \in [d]$ and $j \in [n]$. Bonichon and Morel previously enumerated $3$-permutations avoiding small patterns, and we extend their results by first proving four conjectures, which exhaustively enumerate $3$-permutations avoiding any two fixed patterns of size $3$. We further provide a enumerative result relating $3$-permutation avoidance classes with their respective recurrence relations. In particular, we show a recurrence relation for $3$-permutations avoiding the patterns $132$ and $213$, which contributes a new sequence to the OEIS database. We then extend our results to completely enumerate $3$-permutations avoiding three patterns of size $3$.

Weights of permutations were originally introduced by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019) in their study of the combinatorics of tiered trees. Given a permutation $σ$ viewed as a sequence of integers, computing the weight of $σ$ involves recursively counting descents of certain subpermutations of $σ$. Using this weight function, one can define a $q$-analog $E_n(x,q)$ of the Eulerian polynomials. We prove two main results regarding weights of permutations and the polynomials $E_n(x,q)$. First, we show that the coefficients of $E_n(x, q)$ stabilize as $n$ goes to infinity, which was conjectured by Dugan, Glennon, Gunnells, and Steingrímsson (Journal of Combinatorial Theory, Series A 164:24-49, 2019), and enables the definition of the formal power series $W_d(t)$, which has interesting combinatorial properties. Second, we derive a recurrence relation for $E_n(x, q)$, similar to the known recurrence for the classical Eulerian polynomials $A_n(x)$. Finally, we give a recursive formula for the numbers of certain integer partitions and, from this, conjecture a recursive formula for the stabilized coefficients mentioned above.