poset ↗ reference
2264 papers tagged with this keyword
Frieze patterns as root posets and affine triangulations
Published
• View Publication
• BIB
The entries of frieze patterns may be interpreted as coordinates of roots of a finite Weyl groupoid of rank two. We prove the existence of maximal elements in their root posets and classify those frieze patterns which can be used to build an affine simplicial arrangement.
Markov chains for promotion operators
Published in Algebraic Monoids, Group Embeddings, and Algebraic Combinatorics, Fields Institute Communications, Volume 71, 2014, pp 285-304
• View Publication
• BIB
We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain explicitly the eigenvalues of the transition matrix in general when the poset is a rooted forest. We first survey these results and then present explicit bounds on the mixing time and conjecture eigenvalue formulas for more general posets. We also present a generalization of promotion to arbitrary subsets of the symmetric group.
A classification of the face numbers of Buchsbaum simplicial posets
Published
• View Publication
• BIB
The family of Buchsbaum simplicial posets generalizes the family of simplicial cell manifolds. The $h'$-vector of a simplicial complex or simplicial poset encodes the combinatorial and topological data of its face numbers and the reduced Betti numbers of its geometric realization. Novik and Swartz showed that the $h'$-vector of a Buchsbaum simplicial poset satisfies certain simple inequalities; in this paper we show that these necessary conditions are in fact sufficient to characterize the $h'$-vectors of Buchsbaum simplicial posets with prescribed Betti numbers.
Partitions of a Finite Partially Ordered Set
Published
• View Publication
• BIB
In this paper, we investigate the notion of partition of a finite partially ordered set (poset, for short). We will define three different notions of partition of a poset, namely, monotone, regular, and open partition. For each of these notions we will find three equivalent definitions, that will be shown to be equivalent. We start by defining partitions of a poset in terms of fibres of some surjection having the poset as domain. We then obtain combinatorial characterisations of such notions in terms of blocks, without reference to surjection. Finally, we give a further, equivalent definition of each kind of partition by means of analogues of equivalence relations.
On the Möbius Function of Permutations With One Descent
Published
• View Publication
• BIB
The set of all permutations, ordered by pattern containment, is a poset. We give a formula for the Möbius function of intervals $[1,π]$ in this poset, for any permutation $π$ with at most one descent. We compute the Möbius function as a function of the number and positions of pairs of consecutive letters in $π$ that are consecutive in value. As a result of this we show that the Möbius function is unbounded on the poset of all permutations. We show that the Möbius function is zero on any interval $[1,π]$ where $π$ has a triple of consecutive letters whose values are consecutive and monotone. We also conjecture values of the Möbius function on some other intervals of permutations with at most one descent.
The Homomorphism Poset of $K_{3,3}$
A geometric graph \G is a simple graph drawn in the plane, on points in general position, with straight-line edges. We call \G a geometric realization of the underlying abstract graph G. A geometric homomorphism from \G to \H is a vertex map that preserves adjacencies and crossings (but not necessarily non-adjacencies or non-crossings). Geometric homomorphisms can be used to define a partial order on the set of isomorphism classes of geometric realizations of an abstract graph G. In this paper, the homomorphism poset of K_{3,3} is determined.
Lattices of regular closed subsets of closure spaces
Published
• View Publication
• BIB
For a closure space (P,f) with f(\emptyset)=\emptyset, the closures of open subsets of P, called the regular closed subsets, form an ortholattice Reg(P,f), extending the poset Clop(P,f) of all clopen subsets. If (P,f) is a finite convex geometry, then Reg(P,f) is pseudocomplemented. The Dedekind-MacNeille completion of the poset of regions of any central hyperplane arrangement can be obtained in this way, hence it is pseudocomplemented. The lattice Reg(P,f) carries a particularly interesting structure for special types of convex geometries, that we call closure spaces of semilattice type. For finite such closure spaces, (1) Reg(P,f) satisfies an infinite collection of stronger and stronger quasi-identities, weaker than both meet- and join-semidistributivity. Nevertheless it may fail semidistributivity. (2) If Reg(P,f) is semidistributive, then it is a bounded homomorphic image of a free lattice. (3) Clop(P,f) is a lattice iff every regular closed set is clopen. The extended permutohedron R(G) on a graph G, and the extended permutohedron Reg(S) on a join-semilattice S, are both defined as lattices of regular closed sets of suitable closure spaces. While the lattice of regular closed sets is, in the semilattice context, always the Dedekind Mac-Neille completion of the poset of clopen sets, this does not always hold in the graph context, although it always does so for finite block graphs and for cycles. Furthermore, both R(G) and Reg(S) are bounded homomorphic images of free lattices.
Convex Polytopes from Nested Posets
Published in European Journal of Combinatorics 43 (2015) 229 - 248
• View Publication
• BIB
Motivated by the graph associahedron KG, a polytope whose face poset is based on connected subgraphs of G, we consider the notion of associativity and tubes on posets. This leads to a new family of simple convex polytopes obtained by iterated truncations. These generalize graph associahedra and nestohedra, even encompassing notions of nestings on CW-complexes. However, these poset associahedra fall in a different category altogether than generalized permutohedra.
Greedy algorithms and poset matroids
Published
• View Publication
• BIB
We generalize the matroid-theoretic approach to greedy algorithms to the setting of poset matroids, in the sense of Barnabei, Nicoletti and Pezzoli (1998) [BNP]. We illustrate our result by providing a generalization of Kruskal algorithm (which finds a minimum spanning subtree of a weighted graph) to abstract simplicial complexes.
Another proof of Wilmes' conjecture
Published in Discrete Mathematics, 323, 2014
• View Publication
• BIB
We present a new proof of the monomial case of Wilmes' conjecture, which gives a formula for the coarsely-graded Betti numbers of the G-parking function ideal in terms of maximal parking functions of contractions of G. Our proof is via poset topology and relies on a theorem of Gasharov, Peeva, and Welker that connects the Betti numbers of a monomial ideal to the topology of its lcm-lattice.
A modular relation for the chromatic symmetric functions of (3+1)-free posets
We consider a linear relation which expresses Stanley's chromatic symmetric function for a poset in terms of the chromatic symmetric functions of some closely related posets, which we call the modular law. By applying this in the context of (3+1)-free posets, we are able to reduce Stanley and Stembridge's conjecture that the chromatic symmetric functions of all (3+1)-free posets are e-positive to the case of (3+1)-and-(2+2)-free posets, also known as unit interval orders. In fact, our reduction can be pushed further to a much smaller class of posets, for which we have no satisfying characterization. We also obtain a new proof of the fact that all 3-free posets have e-positive chromatic symmetric functions.
The root posets and their rich antichains
Let $Δ$ be a (connected) Dynkin diagram of rank $n\ge 2$ and $Φ_+ = Φ_+(Δ)$ the corresponding root poset (it consists of all positive roots with respect to a fixed root basis). The width of $Φ_+$ is $n$. We will show that $Φ_+$ is "conical": it is the disjoint union of $n$ solid chains.
The rich antichains in $Φ_+$ are the antichains of cardinality $n-1$. It is well known that the number of rich antichains is equal to the cardinality of $Φ_+$. The set $\mathcal R(Δ)$ of rich antichains in $Φ_+$ can itself be considered as a poset which is quite similar, but not always isomorphic, to $Φ_+$.
We will show that there always exists a unique rich antichain $A$ such that any rich antichain is contained in the ideal generated by $A$. For $Δ\neq \Bbb E_6$ all roots in $A$ have the same length, namely $e_2$, where $e_1 \le e_2 \le \dots \le e_n$ are the exponents of $Δ.$ For $Δ= \Bbb E_6$, the antichain $A$ consists of four roots of length $e_2 = 4$ and one root of length $5$.
Valid Orderings of Real Hyperplane Arrangements
Published
• View Publication
• BIB
Given a real finite hyperplane arrangement A and a point p not on any of the hyperplanes, we define an arrangement vo(A,p), called the *valid order arrangement*, whose regions correspond to the different orders in which a line through p can cross the hyperplanes in A. If A is the set of affine spans of the facets of a convex polytope P and p lies in the interior of P, then the valid orderings with respect to p are just the line shellings of p where the shelling line contains p. When p is sufficiently generic, the intersection lattice of vo(A,p) is the *Dilworth truncation* of the semicone of A. Various applications and examples are given. For instance, we determine the maximum number of line shellings of a d-polytope with m facets when the shelling line contains a fixed point p. If P is the order polytope of a poset, then the sets of facets visible from a point involve a generalization of chromatic polynomials related to list colorings.
Isotone extension of mappings
A set of necessary and sufficient conditions under which an isotone mapping from a subset of a poset X to a poset Y has an extension to an isotone mapping from X to Y are found.
Unimodality of partitions with distinct parts inside Ferrers shapes
Published in European J. Combin. 49 (2015), 194--202
• View Publication
• BIB
We investigate the rank-generating function $F_λ$ of the poset of partitions contained inside a given shifted Ferrers shape $λ$. When $λ$ has four parts, we show that $F_λ$ is unimodal when $λ=\langle n,n-1,n-2,n-3 \rangle$, for any $n\ge 4$, and that unimodality fails for the doubly-indexed, infinite family of partitions of the form $λ=\langle n,n-t,n-2t,n-3t \rangle$, for any given $t\ge 2$ and $n$ large enough with respect to $t$.
When $λ$ has $b\le 3$ parts, we show that our rank-generating functions $F_λ$ are all unimodal. However, the situation remains mostly obscure for $b\ge 5$. In general, the type of results that we obtain present some remarkable similarities with those of the 1990 paper of D. Stanton, who considered the case of partitions inside ordinary (straight) Ferrers shapes.
Along the way, we also determine some interesting $q$-analogs of the binomial coefficients, which in certain instances we conjecture to be unimodal. We state several other conjectures throughout this note, in the hopes to stimulate further work in this area. In particular, one of these will attempt to place into a much broader context the unimodality of the posets $M(n)$ of staircase partitions, for which determining a combinatorial proof remains an outstanding open problem.
On the topology of the permutation pattern poset
Published in Journal of Combinatorial Theory, Series A, 134 (2015), pp. 1-35
• View Publication
• BIB
The set of all permutations, ordered by pattern containment, forms a poset. This paper presents the first explicit major results on the topology of intervals in this poset. We show that almost all (open) intervals in this poset have a disconnected subinterval and are thus not shellable. Nevertheless, there seem to be large classes of intervals that are shellable and thus have the homotopy type of a wedge of spheres. We prove this to be the case for all intervals of layered permutations that have no disconnected subintervals of rank 3 or more. We also characterize in a simple way those intervals of layered permutations that are disconnected. These results carry over to the poset of generalized subword order when the ordering on the underlying alphabet is a rooted forest. We conjecture that the same applies to intervals of separable permutations, that is, that such an interval is shellable if and only if it has no disconnected subinterval of rank 3 or more. We also present a simplified version of the recursive formula for the Möbius function of decomposable permutations given by Burstein et al.
Characterization of hereditarily reversible posets
A poset P is called reversible if every order preserving bijective self map of P is an order automorphism. P is called hereditarily reversible if every subposet of P is reversible. We give a complete characterization of hereditarily reversible posets in terms of forbidden subsets. A similar result is stated also for preordered sets. As a corollary we extend the list of known examples of hereditarily reversible topological spaces.
The Kraft sum as a monotone function on the refinement-ordered set of uniquely decipherable codes
Published in Mathematics for Applications 2 (2013) No. 1, pp. 1-4
• View Publication
• BIB
The set of all uniquely decipherable (UD) codes is partially ordered by refinement, meaning that all strings in the cruder code can be represented as concatenations of strings taken from the finer code. The Kraft sum is a monotone (increasing) function on this poset. In the refinement order, chains of UD codes having the same Kraft sum are necessarily of the simple sequence type. A characterization of UD codes in terms of equalities involving Kraft sums is also given.
Shellability of the higher pinched Veronese posets
Published
• View Publication
• BIB
The pinched Veronese poset $V^*_n$ is the poset with ground set consisting of all non-negative integer vectors of length n such that the sum of their coordinates is divisible by $n$ with exception of the vector $(1,...,1)$. For two vectors $a$ and $b$ in $V^*_n$ we have $a \leq b$ if and only if $b - a$ belongs to the ground set of $V^*_n$.
We show that every interval in $V^*_n$ is shellable for $n$ at least 4. In order to obtain the result, we develop a new method for showing that a poset is shellable. This method differs from classical lexicographic shellability.
Shellability of intervals in $V^*_n$ has consequences in commutative algebra. As a corollary we obtain a combinatorial proof of the fact that the pinched Veronese ring is Koszul for $n \geq 4$. (This also follows from a result by Conca, Herzog, Trung and Valla.)
Charge on tableaux and the poset of k-shapes
Published
• View Publication
• BIB
A poset on a certain class of partitions known as k-shapes was recently introduced to provide a combinatorial rule for the expansion of a (k-1)-Schur functions into k-Schur functions at t=1. The main ingredient in this construction was a bijection, which we call the weak bijection, that associates to a k-tableau a pair made out of a (k-1)-tableau and a path in the poset of k-shapes. We define here a concept of charge on k-tableaux (which conjecturally gives a combinatorial interpretation for the expansion coefficients of Hall-Littlewood polynomials into k-Schur functions), and show that it is compatible in the standard case with the weak bijection. In particular, we obtain that the usual charge of a standard tableau of size n is equal to the sum of the charges of its corresponding paths in the poset of k-shapes, for k=2,3...n.