poset ↗ reference
2264 papers tagged with this keyword
Sorting orders, subword complexes, Bruhat order and total positivity
Published
• View Publication
• BIB
In this note we construct a poset map from a Boolean algebra to the Bruhat order which unveils an interesting connection between subword complexes, sorting orders, and certain totally nonnegative spaces. This relationship gives a new proof of Björner and Wachs' result \cite{BW} that the proper part of Bruhat order is homotopy equivalent to the proper part of a Boolean algebra --- that is, to a sphere. We also obtain a geometric interpretation for sorting orders. We conclude with two new results: that the intersection of all sorting orders is the weak order, and the union of sorting orders is the Bruhat order.
$(q,t)$-deformations of multivariate hook product formulae
Published
• View Publication
• BIB
We generalize multivariate hook product formulae for $P$-partitions. We use Macdonald symmetric functions to prove a $(q,t)$-deformation of Gansner's hook product formula for the generating functions of reverse (shifted) plane partitions. (The unshifted case has also been proved by Adachi.) For a $d$-complete poset, we present a conjectural $(q,t)$-deformation of Peterson--Proctor's hook product formula.
New Hopf Structures on Binary Trees (Extended Abstract)
Published
• View Publication
• BIB
The multiplihedra {M_n} form a family of polytopes originating in the study of higher categories and homotopy theory. While the multiplihedra may be unfamiliar to the algebraic combinatorics community, it is nestled between two families of polytopes that certainly are not: the permutahedra {S_n} and associahedra {Y_n}. The maps between these families reveal several new Hopf structures on tree-like objects nestled between the Malvenuto-Reutenauer (MR) Hopf algebra of permutations and the Loday-Ronco (LR) Hopf algebra of planar binary trees. We begin their study here, constructing a module over MR and a Hopf module over LR from the multiplihedra. Rich structural information about this module is uncovered via a change of basis--using Möbius inversion in posets built on the 1-skeleta of the {M_n}. Our analysis uses the notion of an interval retract, which should have independent interest in poset combinatorics. It also reveals new families of polytopes, and even a new factorization of a known projection from the associahedra to hypercubes.
A Variant of the Stanley Depth for Multisets
Published in Discrete Mathematics Volume 342, Issue 5, May 2019, Pages 1325--1335
• View Publication
• BIB
We define and study a variant of the \emph{Stanley depth} which we call \emph{total depth} for partially ordered sets (posets). This total depth is the most natural variant of Stanley depth from $\llbracket S_k\rrbracket$ -- the poset of nonempty subsets of $\{1,2,\dots,k\}$ ordered by inclusion -- to any finite poset. In particular, the total depth can be defined for the poset of nonempty submultisets of a multiset ordered by inclusion, which corresponds to a product of chains with the bottom element deleted. We show that the total depth agrees with Stanley depth for $\llbracket S_k\rrbracket$ but not for such posets in general. We also prove that the total depth of the product of chains $\bm{n}^k$ with the bottom element deleted is $(n-1)\lceil{k/2}\rceil$, which generalizes a result of Bir{ó}, Howard, Keller, Trotter, and Young (2010). Further, we provide upper and lower bounds for a general multiset and find the total depth for any multiset with at most five distinct elements. In addition, we can determine the total depth for any multiset with $k$ distinct elements if we know all the interval partitions of $\llbracket S_k\rrbracket$.
Generalization of Fibonomial Coefficients
Following Lucas and then other Fibonacci people Kwasniewski had introduced and had started ten years ago the open investigation of the overall F-nomial coefficients which encompass among others Binomial, Gaussian and Fibonomial coefficients with a new unified combinatorial interpretation expressed in terms of cobweb posets' partitions and tilings of discrete hyperboxes. In this paper, we deal with special subfamily of T-nomial coefficients.
The main aim of this note is to develop the theory of T-nomial coefficients with the help of generating functions. The binomial-like theorem for T-nomials is delivered here and some consequences of it are drawn. A new combinatorial interpretation of T-nomial coefficients is provided and compared with the Konvalina way of objects' selections from weighted boxes. A brief summary of already known properties of T-nomial coefficients is served.
On the Facets of the Secondary Polytope
Published in Journal of Combinatorial Theory, Series A, 118 (2011), no.2, 425-447
• View Publication
• BIB
The secondary polytope of a point configuration A is a polytope whose face poset is isomorphic to the poset of all regular subdivisions of A. While the vertices of the secondary polytope - corresponding to the triangulations of A - are very well studied, there is not much known about the facets of the secondary polytope. The splits of a polytope, subdivisions with exactly two maximal faces, are the simplest examples of such facets and the first that were systematically investigated. The present paper can be seen as a continuation of these studies and as a starting point of an examination of the subdivisions corresponding to the facets of the secondary polytope in general. As a special case, the notion of k-split is introduced as a possibility to classify polytopes in accordance to the complexity of the facets of their secondary polytopes. An application to matroid subdivisions of hypersimplices and tropical geometry is given.
Chain enumeration of $k$-divisible noncrossing partitions of classical types
Published in J. Combin. Theory Ser. A 118 (2011) 879-898
• View Publication
• BIB
We give combinatorial proofs of the formulas for the number of multichains in the $k$-divisible noncrossing partitions of classical types with certain conditions on the rank and the block size due to Krattenthaler and M{ü}ller. We also prove Armstrong's conjecture on the zeta polynomial of the poset of $k$-divisible noncrossing partitions of type $A$ invariant under a $180^\circ$ rotation in the cyclic representation.
A new explicit formula for Kerov polynomials
Published
• View Publication
• BIB
We prove a formula expressing the Kerov polynomial $Σ_k$ as a weighted sum over the lattice of noncrossing partitions of the set $\{1,...,k+1\}$. In particular, such a formula is related to a partial order $\mirr$ on the Lehner's irreducible noncrossing partitions which can be described in terms of left-to-right minima and maxima, descents and excedances of permutations. This provides a translation of the formula in terms of the Cayley graph of the symmetric group $\frak{S}_k$ and allows us to recover the coefficients of $Σ_k$ by means of the posets $P_k$ and $Q_k$ of pattern-avoiding permutations discovered by Bóna and Simion. We also obtain symmetric functions specializing in the coefficients of $Σ_k$.
On natural join of posets properties and first applications
In addition to the three standard operations on posets which are dual of poset or ordinal and cardinal sums of partial ordered sets one adds the natural join of posets. This is especially natural natural join operation for graded posets including very special and important the so called cobweb posets. The main aims of this article are the presentation of the authors update applications of natural join of posets in the domain of graded posets and summary of the general properties of natural join of posets with posing some questions arising on the way. Thus in this note apart from revealing some general properties of natural join of posets we also deliver the authors combinatorial interpretations of cobweb posets including discrete hyperboxes coding of the so called cobweb posets .Various explicit formulas for the zeta functions and zeta matrices as well as the inverse of zeta matrix for any graded posets are supplied. Whitney numbers formulas and those for characteristic polynomials are given too.
Topology of Hom complexes and test graphs for bounding chromatic number
Published
• View Publication
• BIB
We introduce new methods for understanding the topology of $\Hom$ complexes (spaces of homomorphisms between two graphs), mostly in the context of group actions on graphs and posets. We view $\Hom(T,-)$ and $\Hom(-,G)$ as functors from graphs to posets, and introduce a functor $(-)^1$ from posets to graphs obtained by taking atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of $\Hom$ complexes in terms of spaces of equivariant poset maps and $Γ$-twisted products of spaces. When $P = F(X)$ is the face poset of a simplicial complex $X$, this provides a useful way to control the topology of $\Hom$ complexes.
Our foremost application of these results is the construction of new families of `test graphs' with arbitrarily large chromatic number - graphs $T$ with the property that the connectivity of $\Hom(T,G)$ provides the best possible lower bound on the chromatic number of $G$. In particular we focus on two infinite families, which we view as higher dimensional analogues of odd cycles. The family of `spherical graphs' have connections to the notion of homomorphism duality, whereas the family of `twisted toroidal graphs' lead us to establish a weakened version of a conjecture (due to Lovász) relating topological lower bounds on chromatic number to maximum degree. Other structural results allow us to show that any finite simplicial complex $X$ with a free action by the symmetric group $S_n$ can be approximated up to $S_n$-homotopy equivalence as $\Hom(K_n,G)$ for some graph $G$; this is a generalization of a result of Csorba. We conclude the paper with some discussion regarding the underlying categorical notions involved in our study.
Natural join construction of graded posets versus ordinal sum and discrete hyper boxes
One introduces here the natural join $P \os Q$ of graded posets $< P,\leq_P >$ and $< Q,\leq_Q >$ with correspondingly maximal and minimal sets being identical as expressed by ordinal sum $P\oplus Q$ apart from other definition and due to that one arrives at a simple proof of the $M{ö}bius $ function formula for cobweb posets. We also quote the other authors explicit formulas for the zeta matrix and its inverse for any graded posets with the finite set of minimal elements from earlier works of the author. These formulas are based on the formulas for cobweb posets and their $Hasse$ diagrams or graphs named $KoDAGs$ which are interpreted as chains of binary complete or universal relations joined by the natural join operation. Natural join of two independent sets is therefore the ordinal sum of this trivially ordered posets represented also by directed biclique named dibiclique and correspondingly by their $Hasse $ diagrams or graphs named $KoDAGs$. Such cobweb posets and equivalently their Hasse diagrams or graphs named $KoDAGs$ are also encoded by discrete hyper-boxes and the natural join operation of such discrete hyper boxes is just cartesian product of them accompanied with projection out of common faces. All graded posets with no mute vertices in their $Hasse$ diagrams which means that no vertex has indegree or outdegree equal zero are natural join of chain of relations and may be at the same time interpreted an $n-ary$ relation, $n \in N \cup \{\infty \}$.
Linear Extension Diameter of Downset Lattices of 2-Dimensional Posets
Published
• View Publication
• BIB
The linear extension diameter of a finite poset P is the maximum distance between a pair of linear extensions of P, where the distance between two linear extensions is the number of pairs of elements of P appearing in different orders in the two linear extensions. We prove a formula for the linear extension diameter of the Boolean Lattice and characterize the diametral pairs of linear extensions. For the more general case of a downset lattice D_P of a 2-dimensional poset P, we characterize the diametral pairs of linear extensions of D_P and show how to compute the linear extension diameter of D_P in time polynomial in |P|.
A geometric approach to acyclic orientations
Published in Order Volume 26, Number 4 (2009), 283-288
• View Publication
• BIB
The set of acyclic orientations of a connected graph with a given sink has a natural poset structure. We give a geometric proof of a result of Jim Propp: this poset is the disjoint union of distributive lattices.
The poset of bipartitions
Published in Europ. J. Combin. 32 (2011), 1253-1281
• View Publication
• BIB
Bipartitional relations were introduced by Foata and Zeilberger in their characterization of relations which give rise to equidistribution of the associated inversion statistic and major index. We consider the natural partial order on bipartitional relations given by inclusion. We show that, with respect to this partial order, the bipartitional relations on a set of size $n$ form a graded lattice of rank $3n-2$. Moreover, we prove that the order complex of this lattice is homotopy equivalent to a sphere of dimension $n-2$. Each proper interval in this lattice has either a contractible order complex, or it is isomorphic to the direct product of Boolean lattices and smaller lattices of bipartitional relations.As a consequence, we obtain that the Möbius function of every interval is 0, 1, or -1. The main tool in the proofs is discrete Morse theory as developed by Forman, and an application of this theory to order complexes of graded posets, designed by Babson and Hersh, in the extended form of Hersh and Welker.
On the Order Dimension of Outerplanar Maps
Published
• View Publication
• BIB
Schnyder characterized planar graphs in terms of order dimension. Brightwell and Trotter proved that the dimension of the vertex-edge-face poset $\Pvef{M}$ of a planar map $M$ is at most four. In this paper we investigate cases where $\dim(\Pvef{M}) \leq 3$ and also where $\dim(\Qvf{M}) \leq 3$; here $\Qvf{M}$ denotes the vertex-face poset of $M$. We show: - If $M$ contains a $K_4$-subdivision, then $\dim(\Pvef{M}) = \dim(\Qvf{M}) = 4$. - If $M$ or the dual $M^*$ contains a $K_{2,3}$-subdivision, then $\dim(\Pvef{M}) = 4$. Hence, a map $M$ with $\dim(\Pvef{M}) \leq 3$ must be outerplanar and have an outerplanar dual. We concentrate on the simplest class of such maps and prove that within this class $\dim(\Pvef{M}) \leq 3$ is equivalent to the existence of a certain oriented coloring of edges. This condition is easily checked and can be turned into a linear time algorithm returning a 3-realizer. Additionally, we prove that if $M$ is 2-connected and $M$ and $M^*$ are outerplanar, then $\dim(\Qvf{M}) \leq 3$. There are, however, outerplanar maps with $\dim(\Qvf{M}) = 4$. We construct the first such example.
The poset perspective on alternating sign matrices
Published in Discrete Math. Theor. Comput. Sci. Proc., AK, (2009) 813-824
• View Publication
• BIB
Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We put ASMs into a larger context by studying the order ideals of subposets of a certain poset, proving that they are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self--complementary plane partitions (TSSCPPs), Catalan objects, tournaments, semistandard Young tableaux, and totally symmetric plane partitions. We use this perspective to prove an expansion of the tournament generating function as a sum over TSSCPPs which is analogous to a known formula involving ASMs.
d-Complete Posets Generalize Young Diagrams for the Jeu de Taquin Property
The jeu de taquin process produced a standard Young tableau from a skew standard Young tableau by shifting its entries to the northwest. We generalize this process to posets: certain partial numberings of any poset are shifted upward. A poset is said to have the jeu de taquin property if the numberings resulting from this process do not depend upon certain choices made during the process. Young diagrams are the posets which underlie standard Young tableaux. These posets have the jeu de taquin property. d-Complete posets are posets which satisfy certain local structual conditions. They are mutual generalizations of Young diagrams, shifted Young diagrams, and rooted trees. We prove that all d-complete posets have the jeu de taquin property. The proof shows that each d-complete poset actually has the stronger "simultaneous" property; this may lead to an algebraic understanding of the main result. A partial converse is stated: "Non-overlapping" simultaneous posets are d-complete.
Optimizing Linear Extensions
Published
• View Publication
• BIB
The minimum number of elements needed for a poset to have exactly n linear extensions is at most 2sqrt{n}. In a special case, the bound can be improved to sqrt{n}.
Euler characteristic of the truncated order complex of generalized noncrossing partitions
Published in Electronic J. Combin. 16(1) (2009), Article #R143, 10 pp.
• View Publication
• BIB
The purpose of this note is to complete the study, begun in the first author's PhD thesis, of the topology of the poset of generalized noncrossing partitions associated to real reflection groups. In particular, we calculate the Euler characteristic of this poset with the maximal and minimal elements deleted. As we show, the result on the Euler characteristic extends to generalized noncrossing partitions associated to well-generated complex reflection groups.
Koszul incidence algebras, affine semigroups, and Stanley-Reisner ideals
Published in Advances in Mathematics 224 (2010), 2312-2345
• View Publication
• BIB
We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of squarefree monomial ideals. The characterization in the graded setting is via the Cohen-Macaulay property of certain posets or simplicial complexes, and in the more general nongraded setting, via the sequential Cohen-Macaulay property.