poset ↗ reference
2216 papers tagged with this keyword
On $e$-positivity and $e$-unimodality of chromatic quasisymmetric functions
Published
• View Publication
• BIB
The $e$-positivity conjecture and the $e$-unimodality conjecture of chromatic quasisymmetric functions are proved for some classes of natural unit interval orders. Recently, J. Shareshian and M. Wachs introduced chromatic quasisymmetric functions as a refinement of Stanley's chromatic symmetric functions and conjectured the $e$-positivity and the $e$-unimodality of these functions. The $e$-positivity of chromatic quasisymmetric functions implies the $e$-positivity of corresponding chromatic symmetric functions, and our work resolves Stanley's conjecture on chromatic symmetric functions of $(3+1)$-free posets for two classes of natural unit interval orders.
Gamma-positivity in combinatorics and geometry
Gamma-positivity is an elementary property that polynomials with symmetric coefficients may have, which directly implies their unimodality. The idea behind it stems from work of Foata, Schützenberger and Strehl on the Eulerian polynomials; it was revived independently by Brändén and Gal in the course of their study of poset Eulerian polynomials and face enumeration of flag simplicial spheres, respectively, and has found numerous applications since then. This paper surveys some of the main results and open problems on gamma-positivity, appearing in various combinatorial or geometric contexts, as well as some of the diverse methods that have been used to prove it.
A note on Tamari intervals
To every partial order P, one associates a polynomial $\mathbb{D}_P$ in 4 variables that enumerates the intervals of P according to 4 parameters. Some symmetry properties of this polynomial are obtained for a specific family of posets, the Tamari lattices. A ternary symmetry is proved for the polynomial in 3 variables obtained by setting one variable to 1. Another global symmetry is conjectured. The set of synchronized intervals is described using a facet of the Newton polytope. A relation to the statistics of the canopy of binary planar trees is described.
A Simply Exponential Upper Bound on the Maximum Number of Stable Matchings
Published
• View Publication
• BIB
Stable matching is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley. In this paper, we provide a new upper bound on $f(n)$, the maximum number of stable matchings that a stable matching instance with $n$ men and $n$ women can have. It has been a long-standing open problem to understand the asymptotic behavior of $f(n)$ as $n\to\infty$, first posed by Donald Knuth in the 1970s. Until now the best lower bound was approximately $2.28^n$, and the best upper bound was $2^{n\log n- O(n)}$. In this paper, we show that for all $n$, $f(n) \leq c^n$ for some universal constant $c$. This matches the lower bound up to the base of the exponent. Our proof is based on a reduction to counting the number of downsets of a family of posets that we call "mixing". The latter might be of independent interest.
On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
Published
• View Publication
• BIB
We investigate the ordinal invariants height, length, and width of well quasi orders (WQO), with particular emphasis on width, an invariant of interest for the larger class of orders with finite antichain condition (FAC). We show that the width in the class of FAC orders is completely determined by the width in the class of WQOs, in the sense that if we know how to calculate the width of any WQO then we have a procedure to calculate the width of any given FAC order. We show how the width of WQO orders obtained via some classical constructions can sometimes be computed in a compositional way. In particular, this allows proving that every ordinal can be obtained as the width of some WQO poset. One of the difficult questions is to give a complete formula for the width of Cartesian products of WQOs. Even the width of the product of two ordinals is only known through a complex recursive formula. Although we have not given a complete answer to this question we have advanced the state of knowledge by considering some more complex special cases and in particular by calculating the width of certain products containing three factors. In the course of writing the paper we have discovered that some of the relevant literature was written on cross-purposes and some of the notions re-discovered several times. Therefore we also use the occasion to give a unified presentation of the known results.
ERRATUM:We incorrectly claimed in Lemma 4.4(1) the formula $o(P\cdot Q)=o(P)\cdot o(Q)$ for wpos $P$ and $Q$ and incorrectly attributed it to Abraham and Bonnet. We incorrectly claimed in 4.4(2) that the formula for $h(P\cdot Q)$ was due to Abraham and Bonnet.
On an extremal problem involving a pair of forbidden posets
Resolving a conjecture of Methuku and the first author we determine the size of the largest family of subsets of an $n$-element set avoiding both $Y_k$ and $Y_k'$ as induced subposets. The result follows as a consequence of the analogous result on a cyclical grid poset.
Doppelgangers: the Ur-Operation and Posets of Bounded Height
In the early 1970's, Richard Stanley and Kenneth Johnson introduced and laid the groundwork for studying the order polynomial of partially ordered sets (posets). Decades later, Hamaker, Patrias, Pechenik, and Williams introduced the term "doppelgangers": equivalence classes of posets under the equivalence relation given by equality of the order polynomial. We provide necessary and sufficient conditions on doppelgangers through application of both old and novel tools, including new recurrences and the Ur-operation: a new generalized poset operation. In addition, we prove that the doppelgangers of posets P of bounded height $|P|-k$ may be classified up to systems of $k$ diophantine equations in $2^{O(k^2)}$ time, and similarly that the order polynomial of such posets may be computed in $O(|P|)$ time.
Hasse diagrams of posets with up to 7 elements, and the number of posets with 10 elements, without the use of computer programs
Let $P(n)$ be the set of all posets with $n$ elements. Let $P^{(j)}(n)$, $1\leq j\leq 2^n,$ be the number of all posets with $n$ elements possessing exactly $j$ antichains. We have determined the numbers $P^{(j)}(7),$ $1\leq j\leq 128$, and using a result of M.~Erné [Erné, M., On the cardinalities of finite topologies and the number of antichains in partially ordered sets, Discrete Mathematics 35 (1981), 119-133.], we compute $|P(10)|$ without the aid of any computer program. We include the Hasse diagrams of all the non-isomorphic posets of $P(7)$. We also present formulas for the number of connected posets of certain forms, and use them to compute $|P(n)|$ with $1\le n\le 8$ by a different method.
Forbidding rank-preserving copies of a poset
Published
• View Publication
• BIB
The maximum size, $La(n,P)$, of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a copy of $P$ as a subposet, has been intensively studied.
Let $P$ be a graded poset. We say that a family $\mathcal{F}$ of subsets of $[n]=\{1,2,...,n\}$ contains a \emph{rank-preserving} copy of $P$ if it contains a copy of $P$ such that elements of $P$ having the same rank are mapped to sets of same size in $\mathcal{F}$. The largest size of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a rank-preserving copy of $P$ as a subposet is denoted by $La_{rp}(n,P)$. Clearly, $La(n,P) \le La_{rp}(n,P)$ holds.
In this paper we prove asymptotically optimal upper bounds on $La_{rp}(n,P)$ for tree posets of height $2$ and monotone tree posets of height $3$, strengthening a result of Bukh in these cases. We also obtain the exact value of $La_{rp}(n,\{Y_{h,s},Y_{h,s}'\})$ and $La(n,\{Y_{h,s},Y_{h,s}'\})$, where $Y_{h,s}$ denotes the poset on $h+s$ elements $x_1,\dots,x_h,y_1,\dots,y_s$ with $x_1<\dots<x_h<y_1,\dots,y_s$ and $Y'_{h,s}$ denotes the dual poset of $Y_{h,s}$.
Comparing Dushnik-Miller Dimension, Boolean Dimension and Local Dimension
Published
• View Publication
• BIB
The original notion of dimension for posets is due to Dushnik and Miller and has been studied extensively in the literature. Quite recently, there has been considerable interest in two variations of dimension known as Boolean dimension and local dimension. For a poset $P$, the Boolean dimension of $P$ and the local dimension of $P$ are both bounded from above by the dimension of $P$ and can be considerably less. Our primary goal will be to study analogies and contrasts among these three parameters. As one example, it is known that the dimension of a poset is bounded as a function of its height and the tree-width of its cover graph. The Boolean dimension of a poset is bounded in terms of the tree-width of its cover graph, independent of its height. We show that the local dimension of a poset cannot be bounded in terms of the tree-width of its cover graph, independent of height. We also prove that the local dimension of a poset is bounded in terms of the path-width of its cover graph. In several of our results, Ramsey theoretic methods will be applied.
Differential posets and restriction in critical groups
Published in Algebraic Combinatorics, Volume 2 (2019) no. 6, p. 1311-1327
• View Publication
• BIB
In recent work, Benkart, Klivans, and Reiner defined the critical group of a faithful representation of a finite group $G$, which is analogous to the critical group of a graph. In this paper we study maps between critical groups induced by injective group homomorphisms and in particular the map induced by restriction of the representation to a subgroup. We show that in the abelian group case the critical groups are isomorphic to the critical groups of a certain Cayley graph and that the restriction map corresponds to a graph covering map. We also show that when $G$ is an element in a differential tower of groups, critical groups of certain representations are closely related to words of up-down maps in the associated differential poset. We use this to generalize an explicit formula for the critical group of the permutation representation of the symmetric group given by the second author, and to enumerate the factors in such critical groups.
A Dual Ramsey Theorem for Finite Ordered Oriented Graphs
In contrast to the abundance of "direct" Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a meaningful dual Ramsey result. In this paper we prove a dual Ramsey theorem for finite ordered oriented graphs. Instead of embeddings, which are crucial for "direct" Ramsey results, we consider a special class of surjective homomorphisms between finite ordered oriented graphs. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
Poset ideals of P-partitions and generalized letterplace and determinantal ideals
For any finite poset $P$ we have the poset of isotone maps $\text{Hom}(P,\mathbb{N})$, also called $P^{op}$-partitions. To any poset ideal ${\mathcal J}$ in $\text{Hom}(P,\mathbb{N})$, finite or infinite, we associate monomial ideals: the letterplace ideal $L({\mathcal J},P)$ and the Alexander dual co-letterplace ideal $L(P,{\mathcal J})$, and study them. We derive a class of monomial ideals in $k[x_p, p \in P]$ called $P$-stable. When $P$ is a chain we establish a duality on strongly stable ideals. We study the case when ${\mathcal J}$ is a principal poset ideal. When $P$ is a chain we construct a new class of determinantal ideals which generalizes ideals of {\it maximal} minors and whose initial ideals are letterplace ideals of prinicpal poset ideals.
Resonance graphs of kinky benzenoid systems are daisy cubes
Klavžar and Mollard introduced daisy cubes which are interesting isometric subgraphs of $ n$-cubes $Q_n$, induced with intervals between the maximal elements of a poset $ (V (Q_n),\leq)$ and the vertex $ 0^n \in V (Q_n)$. In this paper we show that the resonance graph, which reflects the interaction between Kekulé structures of aromatic hydrocarbon molecules, is a daisy cube, if the molecules considered can be modeled with the so called kinky benzenoid systems, i.e. catacondensed benzenoid systems without linear hexagons.
Rowmotion and Increasing Labeling Promotion
Published in Journal of Combinatorial Theory Series A, Volume 164, 2019, Pages 72-108
• View Publication
• BIB
In 2012, N. Williams and the second author showed that on order ideals of ranked partially ordered sets (posets), rowmotion is conjugate to (and thus has the same orbit structure as) a different toggle group action, which in special cases is equivalent to promotion on linear extensions of posets constructed from two chains. In 2015, O. Pechenik and the first and second authors extended these results to show that increasing tableaux under K-promotion naturally corresponds to order ideals in a product of three chains under a toggle group action conjugate to rowmotion they called hyperplane promotion. In this paper, we generalize these results to the setting of arbitrary increasing labelings of any finite poset with given restrictions on the labels. We define a generalization of K-promotion in this setting and show it corresponds to a toggle group action we call toggle-promotion on order ideals of an associated poset. When the restrictions on labels are particularly nice (for example, specifying a global bound on all labels used), we show that toggle-promotion is conjugate to rowmotion. Additionally, we show that any poset that can be nicely embedded into a Cartesian product has a natural toggle-promotion action conjuate to rowmotion.
The Containment Poset of Type $A$ Hessenberg Varieties
Published
• View Publication
• BIB
Flag varieties are well-known algebraic varieties with many important geometric, combinatorial, and representation theoretic properties. A Hessenberg variety is a subvariety of a flag variety identified by two parameters: an element $X$ of the Lie algebra $\mathfrak{g}$ and a Hessenberg subspace $H\subseteq \mathfrak{g}$. This paper considers when two Hessenberg spaces define the same Hessenberg variety when paired with $X$. To answer this question we present the containment poset $\mathcal{P}_X$ of type $A$ Hessenberg varieties with a fixed first parameter $X$ and prove directly that if $X$ is not a multiple of the element $\bf 1$ then the Hessenberg spaces containing the Borel subalgebra determine distinct Hessenberg varieties. Lastly we give a natural involution on $\mathcal{P}_X$ that induces a homeomorphism of varieties and prove additional properties of $\mathcal{P}_X$ when $X$ is a regular nilpotent element.
A simple discharging method for forbidden subposet problems
Published
• View Publication
• BIB
The poset $Y_{k+1, 2}$ consists of $k+2$ distinct elements $x_1$, $x_2$, \dots, $x_{k}$, $y_1$,$y_2$, such that $x_1 \le x_2 \le \dots \le x_{k} \le y_1$,~$y_2$. The poset $Y'_{k+1, 2}$ is the dual of $Y_{k+1, 2}$ Let $\rm{La}^{\sharp}(n,\{Y_{k+1, 2}, Y'_{k+1, 2}\})$ be the size of the largest family $\mathcal{F} \subset 2^{[n]}$ that contains neither $Y_{k+1,2}$ nor $Y'_{k+1,2}$ as an induced subposet. Methuku and Tompkins proved that $\rm{La}^{\sharp}(n, \{Y_{3,2}, Y'_{3,2}\}) = Σ(n,2)$ for $n \ge 3$ and they conjectured the generalization that if $k \ge 2$ is an integer and $n \ge k+1$, then $\rm{La}^{\sharp}(n, \{Y_{k+1,2}, Y'_{k+1,2}\}) = Σ(n,k)$. In this paper, we introduce a simple discharging approach and prove this conjecture.
A poset $Φ_n$ whose maximal chains are in bijection with the $n \times n$ alternating sign matrices
Published
• View Publication
• BIB
For an integer $n\geq 1$, we display a poset $Φ_n$ whose maximal chains are in bijection with the $n\times n$ alternating sign matrices. The Hasse diagram $\widehat Φ_n$ is obtained from the $n$-cube by adding some edges. We show that the dihedral group $D_{2n}$ acts on $\widehat Φ_n$ as a group of automorphisms.
Computing metric hulls in graphs
Published
• View Publication
• BIB
We prove that, given a closure function the smallest preimage of a closed set can be calculated in polynomial time in the number of closed sets. This confirms a conjecture of Albenque and Knauer and implies that there is a polynomial time algorithm to compute the convex hull-number of a graph, when all its convex subgraphs are given as input. We then show that computing if the smallest preimage of a closed set is logarithmic in the size of the ground set is LOGSNP-complete if only the ground set is given. A special instance of this problem is computing the dimension of a poset given its linear extension graph, that was conjectured to be in P.
The intent to show that the latter problem is LOGSNP-complete leads to several interesting questions and to the definition of the isometric hull, i.e., a smallest isometric subgraph containing a given set of vertices $S$. While for $|S|=2$ an isometric hull is just a shortest path, we show that computing the isometric hull of a set of vertices is NP-complete even if $|S|=3$. Finally, we consider the problem of computing the isometric hull-number of a graph and show that computing it is $Σ^P_2$ complete.
The Möbius function of permutations with an indecomposable lower bound
Published
• View Publication
• BIB
We show that the Möbius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the Möbius sum. For increasing oscillations, we give a recursion for the Möbius sum which only involves evaluating simple inequalities.