poset ↗ reference
2216 papers tagged with this keyword
Split-facets for Balanced Minimal Evolution Polytopes and the Permutoassociahedron
Published
• View Publication
• BIB
Understanding the face structure of the balanced minimal evolution (BME) polytope, especially its top-dimensional facets, is crucially important to phylogenetic applications. We show that BME polytope has a sub-lattice of its poset of faces which is isomorphic to a quotient of the well-studied permutoassociahedron. This sub-lattice corresponds to compatible sets of splits displayed by phylogenetic trees, and extends the lattice of faces of the BME polytope found by Hodge, Haws, and Yoshida. Each of the maximal elements in our new poset of faces corresponds to a single split of the leaves. Nearly all of these turn out to actually be facets of the BME polytope, a collection of facets which grows exponentially.
The colored symmetric and exterior algebras
Published in J. Algebra 496 (2018), 187-215
• Search Publication
We study colored generalizations of the symmetric algebra and its Koszul dual, the exterior algebra. The symmetric group $\mathfrak{S}_n$ acts on the multilinear components of these algebras. While $\mathfrak{S}_n$ acts trivially on the multilinear components of the colored symmetric algebra, we use poset topology techniques to understand the representation on its Koszul dual. We introduce an $\mathfrak{S}_n$-poset of weighted subsets that we call the weighted boolean algebra and we prove that the multilinear components of the colored exterior algebra are $\mathfrak{S}_n$-isomorphic to the top cohomology modules of its maximal intervals. We use a technique of Sundaram to compute group representations on Cohen-macaulay posets to give a generating formula for the Frobenius series of the colored exterior algebra. We exploit that formula to find an explicit expression for the expansion of the corresponding representations in terms of irreducible $\mathfrak{S}_n$-representations. We show that the two colored Koszul dual algebras are Koszul in the sense of Priddy.
On Order Ideals of Minuscule Posets III: The CDE Property
Recent work of Hopkins establishes that the lattice of order ideals of a minuscule poset satisfies the coincidental down-degree expectations property of Reiner, Tenner, and Yong. His approach appeals to the classification of minuscule posets. A uniform proof is presented herein.
The blueprint follows that of Rush and Wang in their uniform proof that various cardinality statistics are homomesic on orbits of order ideals of minuscule posets under the Fon-Der-Flaass action. The underpinning remains the original insight of Rush and Shi into the structure of the isomorphism between the weight lattice of a minuscule representation of a complex simple Lie algebra and the lattice of order ideals of the corresponding minuscule poset.
Poset structures on (m + 2)-angulations and polynomial bases of the quotient by G^m -quasisymmetric functions
For integers m, n $\ge$ 1, we describe a bijection sending dissections of the (mn + 2)-regular polygon into (m + 2)-sided polygons to a new basis of the quotient of the polynomial algebra in mn variables by an ideal generated by some kind of higher quasi-symmetric functions. We show that divisibility of the basis elements corresponds to a new partial order on dissections, which is studied in some detail.
A two-sided analogue of the Coxeter complex
Published
• View Publication
• BIB
For any Coxeter system $(W,S)$ of rank $n$, we introduce an abstract boolean complex (simplicial poset) of dimension $2n-1$ that contains the Coxeter complex as a relative subcomplex. Faces are indexed by triples $(I,w,J)$, where $I$ and $J$ are subsets of the set $S$ of simple generators, and $w$ is a minimal length representative for the parabolic double coset $W_I w W_J$. There is exactly one maximal face for each element of the group $W$. The complex is shellable and thin, which implies the complex is a sphere for the finite Coxeter groups. In this case, a natural refinement of the $h$-polynomial is given by the "two-sided" $W$-Eulerian polynomial, i.e., the generating function for the joint distribution of left and right descents in $W$.
A Note on Schnyder's Theorem
Published in Order (July 2011) 28:221-226
• View Publication
• BIB
We give an alternate proof of Schnyder's Theorem, that the incidence poset of a graph $G$ has dimension at most three if and only if $G$ is planar.
Weak embeddings of posets to the Boolean lattice
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (January 24, 2018) dmtcs:3684
• View Publication
• BIB
The goal of this paper is to prove that several variants of deciding whether a poset can be (weakly) embedded into a small Boolean lattice, or to a few consecutive levels of a Boolean lattice, are NP-complete, answering a question of Griggs and of Patkos. As an equivalent reformulation of one of these problems, we also derive that it is NP-complete to decide whether a given graph can be embedded to the two middle levels of some hypercube.
Maximal Newton points and the quantum Bruhat graph
We discuss a surprising relationship between the partially ordered set of Newton points associated to an affine Schubert cell and the quantum cohomology of the complex flag variety. The main theorem provides a combinatorial formula for the unique maximum element in this poset in terms of paths in the quantum Bruhat graph, whose vertices are indexed by elements in the finite Weyl group. Key to establishing this connection is the fact that paths in the quantum Bruhat graph encode saturated chains in the strong Bruhat order on the affine Weyl group. This correspondence is also fundamental in the work of Lam and Shimozono establishing Peterson's isomorphism between the quantum cohomology of the finite flag variety and the homology of the affine Grassmannian. One important geometric application of the present work is an inequality which provides a necessary condition for non-emptiness of certain affine Deligne-Lusztig varieties in the affine flag variety.
Schröder partitions, Schröder tableaux and weak poset patterns
Published
• View Publication
• BIB
We introduce the notions of Schröder shape and of Schröder tableau, which provide some kind of analogs of the classical notions of Young shape and Young tableau. We investigate some properties of the partial order given by containment of Schröder shapes. Then we propose an algorithm which is the natural analog of the well known RS correspondence for Young tableaux, and we characterize those permutations whose insertion tableaux have some special shapes. The last part of the article relates the notion of Schröder tableau with those of interval order and of weak containment (and strong avoidance) of posets. We end our paper with several suggestions for possible further work.
The CDE property for minuscule lattices
Published in Journal of Combinatorial Theory, Series A, 152, 2017
• View Publication
• BIB
Reiner, Tenner, and Yong recently introduced the coincidental down-degree expectations (CDE) property for finite posets and showed that many nice posets are CDE. In this paper we further explore the CDE property, resolving a number of conjectures about CDE posets put forth by Reiner-Tenner-Yong. A consequence of our work is the completion of a case-by-case proof that any minuscule lattice is CDE. We also explain two major applications of the study of CDE posets: formulas for certain classes of set-valued tableaux; and homomesy results for rowmotion and gyration acting on sets of order ideals.
Orbits of antichains in certain root posets
Published in Electronic Journal of Combinatorics 24(4) (2017), #P4.25
• View Publication
• BIB
This paper gives another proof of Propp and Roby's theorem saying that the average antichain size in any reverse operator orbit of the poset $[m]\times [n]$ is $\frac{mn}{m+n}$. It is conceivable that our method should work for other situations. As a demonstration, we show that the average size of antichains in any reverse operator orbit of $[m]\times K_{n-1}$ equals $\frac{2mn}{m+2n-1}$. Here $K_{n-1}$ is the minuscule poset $[n-1]\oplus ([1] \sqcup [1]) \oplus [n-1]$. Note that $[m]\times [n]$ and $[m]\times K_{n-1}$ can be interpreted as sub-families of certain root posets. We guess these root posets should provide a unified setting to exhibit the homomesy phenomenon defined by Propp and Roby.
Two double poset polytopes
Published
• View Publication
• BIB
To every poset P, Stanley (1986) associated two polytopes, the order polytope and the chain polytope, whose geometric properties reflect the combinatorial qualities of P. This construction allows for deep insights into combinatorics by way of geometry and vice versa. Malvenuto and Reutenauer (2011) introduced 'double posets', that is, (finite) sets equipped with two partial orders, as a generalization of Stanley's labelled posets. Many combinatorial constructions can be naturally phrased in terms of double posets. We introduce the 'double order polytope' and the 'double chain polytope' and we amply demonstrate that they geometrically capture double posets, i.e., the interaction between the two partial orders. We describe the facial structures, Ehrhart polynomials, and volumes of these polytopes in terms of the combinatorics of double posets. We also describe a curious connection to Geissinger's valuation polytopes and we characterize 2-level polytopes among our double poset polytopes.
Fulkerson's 'anti-blocking' polytopes from combinatorial optimization subsume stable set polytopes of graphs and chain polytopes of posets. We determine the geometry of Minkowski- and Cayley sums of anti-blocking polytopes. In particular, we describe a canonical subdivision of Minkowski sums of anti-blocking polytopes that facilitates the computation of Ehrhart (quasi-)polynomials and volumes. This also yields canonical triangulations of double poset polytopes.
Finally, we investigate the affine semigroup rings associated to double poset polytopes. We show that they have quadratic Groebner bases, which gives an algebraic description of the unimodular flag triangulations described in the first part.
The symmetric group action on rank-selected posets of injective words
Published
• View Publication
• BIB
The symmetric group $\mathfrak{S}_n$ acts naturally on the poset of injective words over the alphabet $\{1, 2,\dots,n\}$. The induced representation on the homology of this poset has been computed by Reiner and Webb. We generalize their result by computing the representation of $\mathfrak{S}_n$ on the homology of all rank-selected subposets, in the sense of Stanley. A further generalization to the poset of $r$-colored injective words is given.
Face numbers and the fundamental group
Published
• View Publication
• BIB
We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $Δ$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(Δ)$, where $m(Δ)$ denotes the minimum number of generators of the fundamental group of $Δ$. Furthermore, we prove that a weaker bound, $h_2(Δ)\geq {d+1 \choose 2}m(Δ)$, applies to any $d$-dimensional pure simplicial poset $Δ$ all of whose faces of co-dimension $\geq 2$ have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset $Ψ$ all of whose vertex links satisfy Serre's condition $(S_r)$, we establish lower bounds on $h_1(Ψ),\ldots,h_r(Ψ)$ in terms of the $μ$-numbers introduced by Bagchi and Datta.
The poset of rational cones
Published in Pacific J. Math. 292 (2018) 103-115
• View Publication
• BIB
We introduce a natural partial order on the set Cones(d) of rational cones in R^d. The poset NPol(d-1) of normal polytopes in R^{d-1} embeds into Cones(d) via the homogenization map. The order in Cones(d) is conjecturally the inclusion order. We prove this for d=3 and show a stronger version of the connectivity of Cones(d) for all d. Topological aspects of the conjecture are also discussed.
Filters in the partition lattice
Published
• View Publication
• BIB
Given a filter $Δ$ in the poset of compositions of $n$, we form the filter $Π^{*}_Δ$ in the partition lattice. We determine all the reduced homology groups of the order complex of $Π^{*}_Δ$ as ${\mathfrak S}_{n-1}$-modules in terms of the reduced homology groups of the simplicial complex $Δ$ and in terms of Specht modules of border shapes. We also obtain the homotopy type of this order complex. These results generalize work of Calderbank--Hanlon--Robinson and Wachs on the $d$-divisible partition lattice. Our main theorem applies to a plethora of examples, including filters associated to integer knapsack partitions and filters generated by all partitions having block sizes $a$ or~$b$. We also obtain the reduced homology groups of the filter generated by all partitions having block sizes belonging to the arithmetic progression $a, a + d, \ldots, a + (a-1) \cdot d$, extending work of Browdy.
Additive posets, CW-complexes, and graphs
Published
• View Publication
• BIB
We introduce and study additive posets. We show that the top homology group (with coefficients in Z/2Z) of a finite dimensional CW-complex carries a structure of an additive poset invariant under subdivisions. Applications to CW-complexes and graphs are discussed.
Pattern Avoiding Linear Extensions of Rectangular Posets
Published
• View Publication
• BIB
Inspired by Yakoubov's 2015 investigation of pattern avoiding linear extensions of the posets called combs, we study pattern avoiding linear extensions of rectangular posets. These linear extensions are closely related to standard tableaux. For positive integers $s$ and $t$ we consider two natural rectangular partial orders on $\{1,2,\ldots,s t\}$, which we call the NE rectangular order and the EN rectangular order. First we enumerate linear extensions of both rectangular orders avoiding most sets of patterns of length three. Then we use both a generating tree and a bijection to show that the linear extensions of the EN rectangular order which avoid 1243 are counted by the Fuss-Catalan numbers. Next we use the transfer matrix method to enumerate linear extensions of the EN rectangular order which avoid 2143. Finally, we open an investigation of the distribution of the inversion number on pattern avoiding linear extensions.
A family of extremal hypergraphs for Ryser's conjecture
Published
• View Publication
• BIB
Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph, the vertex cover number is at most $r{-}1$ times the matching number. This conjecture is only known to be true for $r\leq 3$ in general and for $r\leq 5$ if the hypergraph is intersecting. There has also been considerable effort made for finding hypergraphs that are extremal for Ryser's Conjecture, i.e. $r$-partite hypergraphs whose cover number is $r-1$ times its matching number. Aside from a few sporadic examples, the set of uniformities $r$ for which Ryser's Conjecture is known to be tight is limited to those integers for which a projective plane of order $r-1$ exists.
We produce a new infinite family of $r$-uniform hypergraphs extremal to Ryser's Conjecture, which exists whenever a projective plane of order $r-2$ exists. Our construction is flexible enough to produce a large number of non-isomorphic extremal hypergraphs. In particular, we define what we call the {\em Ryser poset} of extremal intersecting $r$-partite $r$-uniform hypergraphs and show that the number of maximal and minimal elements is exponential in $\sqrt{r}$.
This provides further evidence for the difficulty of Ryser's Conjecture.
Weak orders on symmetric groups and posets of support $τ$-tilting modules
Published
• View Publication
• BIB
We give a necessary and sufficient condition for that the support $τ$-tilting poset of a finite dimensional algebra is isomorphic to the poset of symmetric group with weak order. Moreover we show that there are infinitely many finite dimensional algebras whose support $τ$-tilting posets are isomorphic to the poset of symmetric group with weak order.