partition
6235 papers tagged with this keyword
Four-element generating sets of partition lattices and their direct products
Let $n>3$ be a natural number. By a 1975 result of H. Strietz, the lattice Part$(n)$ of all partitions of an $n$-element set has a four-element generating set. In 1983, L. Zádori gave a new proof of this fact with a particularly elegant construction. Based on his construction from 1983, the present paper gives a lower bound on the number $ν(n)$ of four-element generating sets of Part$(n)$. We also present a computer assisted statistical approach to $ν(n)$ for small values of $n$.
In his 1983 paper, L. Zádori also proved that for $n\geq 7$, the lattice Part$(n)$ has a four element generating set that is not an antichain. He left the problem whether such a generating set for $n\in\{5,6\}$ exists open. Here we solve this problem in negative for $n=5$ and in affirmative for $n=6$.
Finally, the main theorem asserts that the direct product of some powers of partition lattices is four-generated. In particular, by the first part of this theorem, Part$(n_1)\times$ Part$(n_2)$ is four-generated for any two distinct integers $n_1$ and $n_2$ that are at least 5. The second part of the theorem is technical but it has two corollaries that are easy to understand. Namely, the direct product Part$(n)$ $\times$ Part$(n+1)$ $\times\dots\times$ Part$(3n-14)$ is four-generated for each integer $n\geq 9$. Also, for every positive integer $u$, the $u$-th the direct power of the direct product Part$(n)$ $\times$ Part$(n+1)$ $\times\dots\times$ Part$(n+u-1)$ is four-generated for all but finitely many $n$. If we do not insist on too many direct factors, then the exponent can be quite large. For example, our theorem implies that the $10^{127}$-th direct power of Part$(1011)$ $\times$ Part$(1012)$ $\times \dots \times$ Part$(2020)$ is four-generated.
Distribution properties for t-hooks in partitions
Published in Annals of Combinatorics, Vol. 25 Issue 3, 2021
• View Publication
• BIB
Partitions, the partition function $p(n)$, and the hook lengths of their Ferrers-Young diagrams are important objects in combinatorics, number theory and representation theory. For positive integers $n$ and $t$, we study $p_t^e(n)$ (resp. $p_t^o(n)$), the number of partitions of $n$ with an even (resp. odd) number of $t$-hooks. We study the limiting behavior of the ratio $p_t^e(n)/p(n)$, which also gives $p_t^o(n)/p(n)$ since $p_t^e(n) + p_t^0(n) = p(n)$. For even $t$, we show that $$\lim\limits_{n \to \infty} \dfrac{p_t^e(n)}{p(n)} = \dfrac{1}{2},$$ and for odd $t$ we establish the non-uniform distribution $$\lim\limits_{n \to \infty} \dfrac{p^e_t(n)}{p(n)} = \begin{cases} \dfrac{1}{2} + \dfrac{1}{2^{(t+1)/2}} & \text{if } 2 \mid n, \\ \\ \dfrac{1}{2} - \dfrac{1}{2^{(t+1)/2}} & \text{otherwise.} \end{cases}$$ Using the Rademacher circle method, we find an exact formula for $p_t^e(n)$ and $p_t^o(n)$, and this exact formula yields these distribution properties for large $n$. We also show that for sufficiently large $n$, the signs of $p_t^e(n) - p_t^o(n)$ are periodic.
Strong cliques in diamond-free graphs
Published
• View Publication
• BIB
A strong clique in a graph is a clique intersecting all inclusion-maximal stable sets. Strong cliques play an important role in the study of perfect graphs. We study strong cliques in the class of diamond-free graphs, from both structural and algorithmic points of view. We show that the following five NP-hard or co-NP-hard problems remain intractable when restricted to the class of diamond-free graphs: Is a given clique strong? Does the graph have a strong clique? Is every vertex contained in a strong clique? Given a partition of the vertex set into cliques, is every clique in the partition strong? Can the vertex set be partitioned into strong cliques? On the positive side, we show that the following two problems whose computational complexity is open in general can be solved in linear time in the class of diamond-free graphs: Is every maximal clique strong? Is every edge contained in a strong clique? These results are derived from a characterization of diamond-free graphs in which every maximal clique is strong, which also implies an improved Erdős-Hajnal property for such graphs.
The reflection representation in the homology of subword order
Published in Algebraic Combinatorics, Volume 4, Issue 5 (2021)
• View Publication
• BIB
We investigate the homology representation of the symmetric group on rank-selected subposets of subword order.
We show that the homology module for words of bounded length, over an alphabet of size $n,$
decomposes into a sum of tensor powers of the $S_n$-irreducible $S_{(n-1,1)}$ indexed by the partition $(n-1,1),$ recovering, as a special case, a theorem of Björner and Stanley for words of length at most $k.$ For arbitrary ranks we show that the homology is an integer combination of positive tensor powers of the reflection representation $S_{(n-1,1)}$, and conjecture that this combination is nonnegative. We uncover a curious duality in homology in the case when one rank is deleted.
We prove that the action on the rank-selected chains of subword order is a nonnegative integer combination of tensor powers of $S_{(n-1,1)}$, and show that its Frobenius characteristic is $h$-positive and supported on the set $T_{1}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 1\}.$
Our most definitive result describes the Frobenius characteristic of the homology for an arbitrary set of ranks, plus or minus one copy of the Schur function $s_{(n-1,1)},$ as an integer combination of the set
$T_{2}(n)=\{h_λ: λ=(n-r, 1^r), r\ge 2\}.$ We conjecture that this combination is nonnegative, establishing this fact for particular cases.
A Fourfold Refined Enumeration of Alternating Sign Trapezoids
Published in The Electronic Journal of Combinatorics, 29(3):P3.42, 2022
• View Publication
• BIB
Alternating sign trapezoids have recently been introduced as a generalisation of alternating sign triangles. Fischer established a threefold refined enumeration of alternating sign trapezoids and provided three statistics on column strict shifted plane partitions with the same joint distribution. In this paper, we are able to add a new pair of statistics to these results. More precisely, we consider the number of $-1$s on alternating sign trapezoids and introduce a corresponding statistic on column strict shifted plane partitions that has the same distribution. More generally, we show that the joint distributions of the two quadruples of statistics on alternating sign trapezoids and column strict shifted plane partitions, respectively, coincide. In addition, we provide a closed-form expression for the $2$-enumeration of alternating sign trapezoids.
Number of generators of ideals in Jordan cells of the family of graded Artinian algebras of height two
Published
• View Publication
• BIB
We let $A=R/I$ be a standard graded Artinian algebra quotient of $R={\sf k}[x,y]$, the polynomial ring in two variables over a field ${\sf k}$ by an ideal $I$, and let $n$ be its vector space dimension. The Jordan type $P_\ell$ of a linear form $\ell\in A_1$ is the partition of $n$ determining the Jordan block decomposition of the multiplication on $A$ by $\ell$ -- which is nilpotent. The first three authors previously determined which partitions of $n=\dim_{\sf k}A$ may occur as the Jordan type for some linear form $\ell$ on a graded complete intersection Artinian quotient $A=R/(f,g)$ of $R$, and they counted the number of such partitions for each complete intersection Hilbert function $T$ arXiv:1810.00716.\par
We here consider the family $\mathrm{G}_T$ of graded Artinian quotients $A=R/I$ of $R={\sf k}[x,y]$, having arbitrary Hilbert function $H(A)=T$. The Jordan cell $\mathbb V(E_P)$ corresponding to a partition $P$ having diagonal lengths $T$ is comprised of all ideals $I$ in $R$ whose initial ideal is the monomial ideal $E_P$ determined by $P$. These cells give a decomposition of the variety $\mathrm{G}_T$ into affine spaces. We determine the generic number $κ(P)$ of generators for the ideals in each cell $\mathbb V(E_P)$, generalizing a result of arXiv:1810.00716. In particular, we determine those partitions for which $κ(P)=κ(T)$, the generic number of generators for an ideal defining an algebra $A$ in $\mathrm{G}_T$. We also count the number of partitions $P$ of diagonal lengths $T$ having a given $κ(P)$. A main tool is a combinatorial and geometric result allowing us to split $T$ and any partition $P$ of diagonal lengths $T$ into simpler $T_i$ and partitions $P_i$, such that $\mathbb V(E_P)$ is the product of the cells $\mathbb V(E_{P_i})$, and $T_i$ is single-block: $\mathrm{G}_{T_i}$ is a Grassmannian.
Vertex Partitions into an Independent Set and a Forest with Each Component Small
Published in SIAM Journal on Discrete Math. Vol. 35(3), 2021, pp. 1769-1791
• View Publication
• BIB
For each integer k >= 2, we determine a sharp bound on mad(G) such that V(G) can be partitioned into sets I and F_k, where I is an independent set and G[F_k] is a forest in which each component has at most k vertices. For each k we construct an infinite family of examples showing our result is best possible. Our results imply that every planar graph G of girth at least 9 (resp. 8, 7) has a partition of V(G) into an independent set I and a set F such that G[F] is a forest with each component of order at most 3 (resp. 4, 6).
Hendrey, Norin, and Wood asked for the largest function g(a,b) such that if mad(G) < g(a,b) then V(G) has a partition into sets A and B such that mad(G[A]) < a and mad(G[B]) < b. They specifically asked for the value of g(1,b), i.e., the case when A is an independent set. Previously, the only values known were g(1,4/3) and g(1,2). We find g(1,b) whenever 4/3 < b < 2.
Tilted Halved Hexagons: Hexagons, Semi-hexagons, and Halved Hexagons Under One Roof
We investigate a new family of regions that is the universal generalization of three well-known region families in the field of enumeration of tilings: the quasi-regular hexagons, the semi-hexagons, and the halved hexagons. We prove a simple product formula for the number of tilings of these new regions. Our main result also yields the enumerations of two special classes of plane partitions with restricted parts.
Positivity among P-partition generating functions
Published in Annals of Combinatorics, 26, 171-204, 2022
• View Publication
• BIB
We seek simple conditions on a pair of labeled posets that determine when the difference of their $(P,ω)$-partition enumerators is $F$-positive, i.e., positive in Gessel's fundamental basis. This is a quasisymmetric analogue of the extensively studied problem of finding conditions on a pair of skew shapes that determine when the difference of their skew Schur functions is Schur-positive. We determine necessary conditions and separate sufficient conditions for $F$-positivity, and show that a broad operation for combining posets preserves positivity properties. We conclude with classes of posets for which we have conditions that are both necessary and sufficient.
Combinatorial encoding of Bernoulli schemes and the asymptotic behavior of Young tableaux
Published
• View Publication
• BIB
We consider two examples of a fully decodable combinatorial encoding of Bernoulli schemes: the encoding via Weyl simplices and the much more complicated encoding via the RSK (Robinson--Schensted--Knuth) correspondence. In the first case, the decodability is a quite simple fact, while in the second case, this is a nontrivial result obtained by D.~Romik and P.~Śniady and based on the papers~ \cite{KV}, \cite{VK}, and others. We comment on the proofs from the viewpoint of the theory of measurable partitions; another proof, using representation theory and generalized Schur--Weyl duality, will be presented elsewhere. We also study a new dynamics of Bernoulli variables on $P$-tableaux and find the limit 3D-shape of these tableaux.
Truncated theta series and partitions into distinct parts
Linear inequalities involving Euler's partition function $p(n)$ have been the subject of recent studies. In this article, we consider the partition function $Q(n)$ counting the partitions of $n$ into distinct parts. Using truncated theta series, we provide four infinite families of linear inequalities for $Q(n)$ and partition theoretic interpretations for these results.
Rank partition functions and truncated theta identities
Published
• View Publication
• BIB
In $1944$, Freeman Dyson defined the concept of rank of an integer partition and introduced without definition the term of crank of an integer partition. A definition for the crank satisfying the properties hypothesized for it by Dyson was discovered in 1988 by G. E. Andrews and F. G. Garvan. In this paper, we introduce truncated forms for two theta identities involving the generating functions for partitions with non-negative rank and non-negative crank. As corollaries we derive new infinite families of linear inequalities for the partition function $p(n)$. The number of Garden of Eden partitions are also considered in this context in order to provide other infinite families of linear inequalities for $p(n)$.
Partition identities and application to infinite dimensional Groebner basis and viceversa
Published in Arc Schemes and Singularities, page 145, 2019
• View Publication
• BIB
In the first part of this article, we consider a Groebner basis of the differential ideal {x_1^2} with respect to "the" weighted lexicographical monomial order and show that its computation is related with an identity involving the partitions that appear in the first Rogers-Ramanujan identity. We then prove that a Grobener basis of this ideal is not differentially finite in contrary with the case of "the" weighted reverse lexicographical order. In the second part, we give a simple and direct proof of a theorem of Nguyen Duc Tam about the Groaner basis of the differential ideal {x_1y_1}; we then obtain identities involving partitions with 2 colors.
Looking for a new member of Gordon's identities
Published in Annals of Combinatorics, 25(3), 543-571(2021)
• View Publication
• BIB
We give a commutative algebra viewpoint on Andrews recursive formula for the partitions appearing in "Gordon's identities", which are a generalization of Rogers-Ramanujan identities. Using this approach and differential ideals we conjecture a family of partition identities which extend Gordon's identities. This family is indexed by r >=2. We prove the conjecture for r=2 and r=3.
Sorting with pattern-avoiding stacks: the $132$-machine
Published
• View Publication
• BIB
This paper continues the analysis of the pattern-avoiding sorting machines recently introduced by Cerbai, Claesson and Ferrari [CCF]. These devices consist of two stacks, through which a permutation is passed in order to sort it, where the content of each stack must at all times avoid a certain pattern. Here we characterize and enumerate the set of permutations that can be sorted when the first stack is $132$-avoiding, solving one of the open problems proposed in [CCF]. To that end we present several connections with other well known combinatorial objects, such as lattice paths and restricted growth functions (which encode set partitions). We also provide new proofs for the enumeration of some sets of pattern-avoiding restricted growth functions and we expect that the tools introduced can be fruitfully employed to get further similar results.
On the number of $k$-compositions of $n$ satisfying certain coprimality conditions
Published in Acta Math. Hungar. 164 (1) (2021), 135-156
• View Publication
• BIB
We generalize the asymptotic estimates by Bubboloni, Luca and Spiga (2012) on the number of $k$-compositions of $n$ satisfying some coprimality conditions. We substantially refine the error term concerning the number of $k$-compositions of $n$ with pairwise relatively prime summands. We use a different approach, based on properties of multiplicative arithmetic functions of $k$ variables and on an asymptotic formula for the restricted partition function.
Stable characters from permutation patterns
Published in Selecta Mathematica, Volume 27 (2021)
• View Publication
• BIB
For a fixed permutation $σ\in S_k$, let $N_σ$ denote the function which counts occurrences of $σ$ as a pattern in permutations from $S_n$. We study the expected value (and $d$-th moments) of $N_σ$ on conjugacy classes of $S_n$ and prove that the irreducible character support of these class functions stabilizes as $n$ grows. This says that there is a single polynomial in the variables $n, m_1, \ldots, m_{dk}$ which computes these moments on any conjugacy class (of cycle type $1^{m_1}2^{m_2}\cdots$) of any symmetric group. This result generalizes results of Hultman and of Gill, who proved the cases $(d,k)=(1,2)$ and $(1,3)$ using ad hoc methods. Our proof is, to our knowledge, the first application of partition algebras to the study of permutation patterns.
A symmetric Bloch-Okounkov theorem
Published in Res. Math. Sci. 8, 19 (2021)
• View Publication
• BIB
The algebra of so-called shifted symmetric functions on partitions has the property that for all elements a certain generating series, called the $q$-bracket, is a quasimodular form. More generally, if a graded algebra $A$ of functions on partitions has the property that the $q$-bracket of every element is a quasimodular form of the same weight, we call $A$ a quasimodular algebra. We introduce a new quasimodular algebra consisting of symmetric polynomials in the part sizes and multiplicities.
$H$-kernels in $H$-colored digraphs without $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{C_{3}}$
Let $H$ be a digraph possibly with loops and $D$ a digraph without loops with a coloring of its arcs $c:A(D) \rightarrow V(H)$ ($D$ is said to be an $H$-colored digraph). A directed path $W$ in $D$ is said to be an $H$-path if and only if the consecutive colors encountered on $W$ form a directed walk in $H$. A subset $N$ of vertices of $D$ is said to be an $H$-kernel if (1) for every pair of different vertices in $N$ there is no $H$-path between them and (2) for every vertex $u$ in V($D$)$\setminus$$N$ there exists an $H$-path in $D$ from $u$ to $N$. Under this definition an $H$-kernel is a kernel whenever $A(H)=\emptyset$.
The color-class digraph $\mathscr{C}_C$($D$) of $D$ is the digraph whose vertices are the colors represented in the arcs of $D$ and ($i$,$j$) $\in$ $A$($\mathscr{C}_C$($D$)) if and only if there exist two arcs, namely ($u$,$v$) and ($v$,$w$) in $D$, such that ($u$,$v$) has color $i$ and ($v$,$w$) has color $j$. Since not every $H$-colored digraph has an $H$-kernel and $V(\mathscr{C}_C(D))= V(H)$, the natural question is: what structural properties of $\mathscr{C}_C(D)$, with respect to the $H$-coloring, imply that $D$ has an $H$-kernel?
In this paper we investigate the problem of the existence of an $H$-kernel by means of a partition $ξ$ of $V(H)$ and a partition \{$ξ_1$, $ξ_2$\} of $ξ$. We establish conditions on the directed cycles and the directed paths of the digraph $D$, with respect to the partition \{$ξ_1$, $ξ_2$\}. In particular we pay attention to some subestructures produced by the partitions $ξ$ and \{$ξ_1$, $ξ_2$\}, namely $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{C_{3}}$ and $(ξ_{1}, ξ, ξ_{2})$-$H$-subdivisions of $\overrightarrow{P_{3}}$.
We give some examples which show that each hypothesis in the main result is tight.
Generalized Ordered Set Partitions
In this paper, we consider ordered set partitions obtained by imposing conditions on the size of the lists, and such that the first $r$ elements are in distinct blocks, respectively. We introduce a generalization of the Lah numbers. For this new combinatorial sequence we derive its exponential generating function, some recurrence relations, and combinatorial identities. We prove and present results using combinatorial arguments, generating functions, the symbolic method and Riordan arrays. For some specific cases we provide a combinatorial interpretation for the inverse matrix of the generalized Lah numbers by means of two families of posets.