Abstract
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 $\tau$ is a partition of $[k]$ and $\Pi_n(\tau)$ denotes the set of all partitions of $[n]$ that avoid $\tau$, we establish inequalities between $|\Pi_n(\tau_1)|$ and $|\Pi_n(\tau_2)|$ for several choices of $\tau_1$ and $\tau_2$, and we prove that if $\tau_2$ is the partition of $[k]$ with only one block, then $|\Pi_n(\tau_1)| <|\Pi_n(\tau_2)|$ for all $n>k$ and all partitions $\tau_1$ of $[k]$ with exactly two blocks. We conjecture that this result holds for all partitions $\tau_1$ of $[k]$. Finally, we enumerate $\Pi_n(\tau)$ for all partitions $\tau$ of $[4]$.
Highlights
A set partition of a set S is a collection of disjoint nonempty subsets B1, . . . , Bm of S whose union is S
If S is a set of positive integers and σ ⊢ S, the standardization of σ is the set partition of {1, 2, . . . , |S|} obtained by replacing the smallest element of S by 1, the second smallest element of S by 2, and so on
The concept of pattern avoidance for set partitions was introduced by Klazar in Klazar (2000)
Summary
A set partition of a set S is a collection of disjoint nonempty subsets B1, . . . , Bm of S whose union is S. The present paper is a contribution to the study of Klazar’s definition of pattern avoidance, but we should mention right away that there are other definitions. One of these arises from the well-known correspondence between set partitions and restricted growth functions. (This is called the standard form of σ.) let RGF(σ) = a1 · · · an, where i ∈ Bai. We can obtain an alternative notion of pattern avoidance for set partitions by using a natural notion of avoidance for RGF’s. This result should be compared with Klazar’s result in Klazar (2000) that for all such π and σk the generating function of |Πn(π)| is rational (whereas the generating function for |Πn(βk)| is not)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Similar Papers
More From: Discrete Mathematics & Theoretical Computer Science
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.