arXiv++ Combinatorics

In 2019, Bóna and Smith introduced the notion of strong pattern avoidance, saying that a permutation $π$ strongly avoids a pattern $σ$ if $π$ and $π^2$ both avoid $σ$. Recently, Archer and Geary generalized the idea of strong pattern avoidance to chain avoidance, in which a permutation $π$ avoids a chain of patterns $(τ^{(1)}:τ^{(2)}:\cdots:τ^{(k)})$ if the $i$-th power of the permutation avoids the pattern $τ^{(i)}$ for $1\leq i\leq k$. In this paper, we give explicit formulae for the number of sets of permutations avoiding certain chains of patterns. Our results give affirmative answers to two conjectures proposed by Archer and Geary.

In this paper, we mainly study two notions of pattern avoidance in parking functions. First, for any collection of length 3 patterns, we compute the number of parking functions of size $n$ that avoid them under the first notion. This is motivated by the recent work of Adeniran and Pudwell, who obtained analogous results using a second notion of pattern avoidance. Then, we provide new purely bijective proofs for two of their results, and improve the formula of another one. Finally, we apply similar enumeration techniques to the work of Novelli and Thibon on certain Hopf algebras of generalised parking functions, and compute their graded dimensions.

We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.

We consider the avoidance of patterns in inversion sequences that relate sorting via sorting machines including data structures such as pop stacks and stacks. Such machines have been studied under a variety of additional constraints and generalizations, some of which we apply here. We give the classification of several classes of sortable inversion sequences in terms of pattern avoidance. We are able to provide an exact enumeration of some of the sortable classes in question using both classical approaches and a more recent strategy utilizing generating trees.

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.

Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is that problems can easily be combined or expanded. In this paper, we illustrate that this versatility makes CP an ideal tool for exploring problems in permutation patterns. We declaratively define permutation properties, permutation pattern avoidance and containment constraints using CP and show how this allows us to solve a wide range of problems. We show how this approach enables the arbitrary composition of these conditions, and also allows the easy addition of extra conditions. We demonstrate the effectiveness of our techniques by modelling the containment and avoidance of six permutation patterns, eight permutation properties and measuring five statistics on the resulting permutations. In addition to calculating properties and statistics for the generated permutations, we show that arbitrary additional constraints can also be easily and efficiently added. This approach enables mathematicians to investigate permutation pattern problems in a quick and efficient manner. We demonstrate the utility of constraint programming for permutation patterns by showing how we can easily and efficiently extend the known permutation counts for a conjecture involving the class of $1324$ avoiding permutations. For this problem, we expand the enumeration of $1324$-avoiding permutations with a fixed number of inversions to permutations of length 16 and show for the first time that in the enumeration there is a pattern occurring which follows a unique sequence on the Online Encyclopedia of Integer Sequences.

This thesis finds its place in the interplay between algebraic and geometric combinatorics. We focus on studying two different families of lattices in relation to the weak order: the permutree lattices and the $s$-weak order. The first part involves the permutree quotients of the weak order. We define inversion and cubic vectors on permutrees which respectively give a constructive meet operation between permutrees and a cubical realization of permutreehedra. We characterize minimal elements of permutree congruence classes using automata that capture ${ijk}/{kij}$-pattern avoidances and generalize stack sorting and Coxeter sorting. The second part centers on flow polytopes. More specifically, we give a positive answer to a conjecture of Ceballos and Pons on the $s$-permutahedron when $s$ is a composition. We define the $s$-oruga graph whose flow polytope recovers the $s$-weak order with explicit coordinates. Finally, we introduce the bicho graphs whose flow polytopes describe permutree lattices.

Given permutations $π\in S_n$ and $σ\in S_k$, let $N_σ(π)$ denote the number of occurrences of $σ$ in $π$. While pattern avoidance and the distribution of pattern occurrences in permutations have been extensively studied, their interactions with the group structure on $S_n$ are still poorly understood. Gaetz and Ryba showed that the expected value of $χ^{λ[n]}(π)N_σ(π)$ for $π\in S_n$ is given by a polynomial $a_σ^λ(n)$. More recently, Gaetz and Pierson derived explicit formulas for $a_{\mathrm{id}_k}^λ(n)$ when $\lvertλ\rvert \le 2$, which led them to conjecture that the polynomials $a_{\mathrm{id}_k}^λ(n)$ are real-rooted and nonnegative for $n \ge k$. We show that for all partitions $λ$, the polynomials $a_{\mathrm{id}_k}^λ(n)$ admit explicit closed forms in $n$ and $k$. These formulas allow us to exhibit counterexamples to Gaetz and Pierson's real-rootedness conjecture as well as to prove special cases of their nonnegativity conjecture. Lastly, we note that our results imply that the expected value of $f \cdot N_{\mathrm{id}_k}$ on $S_n$ admits a closed form whenever $f$ is a permutation statistic expressible as a polynomial in the functions $m_j \colon \bigsqcup_{n \ge 0} S_n \to \mathbb{Z}$ which count $j$-cycles in their inputs.

Building off recent work of Garg and Peng, we continue the investigation into classical and consecutive pattern avoidance in rooted forests. We prove a forest analogue of the Stanley-Wilf conjecture for avoiding a single pattern as well as certain other sets of patterns. Our techniques are analytic, easily generalizing to different types of pattern avoidance and allowing for computations of convergent lower bounds of the forest Stanley-Wilf limit in the cases covered by our result. We end with several open questions and directions for future research, including some on the limit distributions of certain statistics of pattern-avoiding forests.

In this paper, we study pattern avoidance in weak ascent sequences, giving some results for patterns of length 3. This is an analogous study to one given by Duncan and Steingrímsson (2011) for ascent sequences. More precisely, we provide systematically the generating functions for the number of weak ascent sequences avoiding the patterns $001, 011, 012, 021$, and $102$. Additionally, we establish bijective connections between pattern-avoiding weak ascent sequences and other combinatorial objects, such as compositions, upper triangular 01-matrices, and plane trees.

A \emph{Hessenberg Schubert variety} is an irreducible component of the intersection of a Schubert variety and a Hessenberg variety, defined as the closure of a Schubert cell inside the Hessenberg variety. We consider the smoothness of Hessenberg Schubert varieties of regular semisimple Hessenberg varieties of type $A$ in this paper. We consider the smoothness of the intersection of a Schubert variety and a Hessenberg variety to ensure the smoothness of the corresponding Hessenberg Schubert variety. Specifically, we analyze the structure of the GKM graphs of the intersection of a Schubert variety indexed by some special permutations and a Hessenberg variety. The regularity of the GKM graph is completely characterized in terms of pattern avoidance, which is a necessary (and also sufficient conjecturally) condition for the intersection to be smooth. We then extend the pattern avoidance result to all permutations, which is believed to be a sufficient condition for the corresponding Hessenberg Schubert variety to be smooth.

A 0-1 matrix $M$ contains another 0-1 matrix $P$ if some submatrix of $M$ can be turned into $P$ by changing any number of $1$-entries to $0$-entries. $M$ is $\mathcal{P}$-saturated where $\mathcal{P}$ is a family of 0-1 matrices if $M$ avoids every element of $\mathcal{P}$ and changing any $0$-entry of $M$ to a $1$-entry introduces a copy of some element of $\mathcal{P}$. The extremal function $\operatorname{ex}(n,\mathcal{P})$ and saturation function $\operatorname{sat}(n,\mathcal{P})$ are the maximum and minimum possible weight of an $n\times n$ $\mathcal{P}$-saturated 0-1 matrix, respectively, and the semisaturation function $\operatorname{ssat}(n,P)$ is the minimum possible weight of an $n\times n$ $\mathcal{P}$-semisaturated 0-1 matrix $M$, i.e., changing any $0$-entry in $M$ to a $1$-entry introduces a new copy of some element of $\mathcal{P}$. We give upper bounds on parameters of minimally non-$O(n^{d-1})$ $d$-dimensional 0-1 matrices, generalized from minimally nonlinear 0-1 matrices in two dimensions, and we show the existence of infinitely many minimally non-$O(n^{d-1})$ $d$-dimensional 0-1 matrices with all dimensions of length greater than $1$. For any positive integers $k,d$ and integer $r\in[0,d-1]$, we construct a family of $d$-dimensional 0-1 matrices with both extremal function and saturation function exactly $kn^r$ for sufficiently large $n$. We show that no family of $d$-dimensional 0-1 matrices has saturation function strictly between $O(1)$ and $Θ(n)$ and we construct a family of $d$-dimensional 0-1 matrices with bounded saturation function and extremal function $Ω(n^{d-ε})$ for any $ε>0$. Up to a constant multiplicative factor, we fully settle the problem of characterizing the semisaturation function of families of $d$-dimensional 0-1 matrices, which we prove to always be $Θ(n^r)$ for some integer $r\in[0,d-1]$.

In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding binary trees via permutations. In particular, we establish a one-to-one correspondence between tree patterns and certain mesh permutation patterns. We also conduct a systematic investigation of all tree patterns on at most 5 vertices, and we establish bijections between pattern-avoiding binary trees and other combinatorial objects, in particular pattern-avoiding lattice paths and set partitions.

In this paper, we study pattern avoidance for stabilized-interval-free (SIF) permutations. These permutations are contained in the set of indecomposable permutations and in the set of derangements. We enumerate pattern-avoiding SIF permutations for classical and pairs of patterns of size 3. In particular, for the patterns 123 and 231, we rely on combinatorial arguments and the fixed-point distribution of general permutations avoiding these patterns. We briefly discuss 123-avoiding permutations with two fixed points and offer a conjecture for their enumeration by the distance between their fixed points. For the pattern 231, we also give a direct argument that uses a bijection to ordered forests.

In 2011, Duncan and Steingrímsson conjectured that modified ascent sequences avoiding any of the patterns 212, 1212, 2132, 2213, 2231 and 2321 are counted by the Bell numbers. Furthermore, the distribution of the number of ascents is the reverse of the distribution of blocks on set partitions. We solve the conjecture for all the patterns except 2321. We describe the corresponding sets of Fishburn permutations by pattern avoidance, and leave some open questions for future work.

We offer elementary proofs for several results in consecutive pattern containment that were previously demonstrated using ideas from cluster method and analytical combinatorics. Furthermore, we establish new general bounds on the growth rates of consecutive pattern avoidance in permutations.

We study various aspects of Dyck words appearing in binary sequences, where $0$ is treated as a left parenthesis and $1$ as a right parenthesis. We show that binary words that are $7/3$-power-free have bounded nesting level, but this no longer holds for larger repetition exponents. We give an explicit characterization of the factors of the Thue-Morse word that are Dyck, and show how to count them. We also prove tight upper and lower bounds on $f(n)$, the number of Dyck factors of Thue-Morse of length $2n$.

A permutation is called Grassmannian if it has at most one descent. The study of pattern avoidance in such permutations was initiated by Gil and Tomasko in 2021. We continue this work by studying Grassmannian permutations that avoid an increasing pattern. In particular, we count the Grassmannian permutations of size $m$ avoiding the identity permutation of size $k$, thus solving a conjecture made by Weiner. We also refine our counts to special classes such as odd Grassmannian permutations and Grassmannian involutions. We prove most of our results by relating Grassmannian permutations to Dyck paths and binary words.

Two words $p$ and $q$ are avoided by the same number of length-$n$ words, for all $n$, precisely when $p$ and $q$ have the same set of border lengths. Previous proofs of this theorem use generating functions but do not provide an explicit bijection. We give a bijective proof for all pairs $p, q$ that have the same set of proper borders, establishing a natural bijection from the set of words avoiding $p$ to the set of words avoiding $q$.

We introduce a kind of $(p, q, t)$-Catalan numbers of Type A by generalizing the Jacobian type continued fraction formula, we proved that the corresponding expansions could be expressed by the polynomials counting permutations on $§_n(321)$ by various descent statistics. Moreover, we introduce a kind of $(p, q, t)$-Catalan numbers of Type B by generalizing the Jacobian type continued fraction formula, we proved that the Taylor coefficients and their $γ$-coefficients could be expressed by the polynomials counting permutations on $§_n(3124, 4123, 3142, 4132)$ by various descent statistics. Our methods include permutation enumeration techniques involving variations of bijections from permutation patterns to labeled Motzkin paths and modified Foata-Strehl action.