poset ↗ reference
2214 papers tagged with this keyword
Nested set complexes for posets and the Bier construction
Published
• View Publication
• BIB
We generalize the concept of combinatorial nested set complexes to posets and exhibit the topological relationship between the arising nested set complexes and the order complex of the underlying poset. In particular, a sufficient condition is given so that this relationship is actually a subdivision. We use the results to generalize the proof method of Čukić and Delucchi, so far restricted to semilattices, for a result of Björner, Paffenholz, Sjöstrand and Ziegler on the Bier construction on posets.
On Cobweb posets tiling problem
Published in Adv. Stud. Contemp. Math. volume 16 (2), 2008 (April) pp. 219-233
• Search Publication
Kwasniewski's cobweb posets uniquely represented by directed acyclic graphs are such a generalization of the Fibonacci tree that allows joint combinatorial interpretation for all of them under admissibility condition. This interpretation was derived in the source papers and it entailes natural enquieres already formulated therein. In our note we response to one of those problems. This is a tiling problem. Our observations on tiling problem include proofs of tiling's existence for some cobweb-admissible sequences. We show also that not all cobwebs admit tiling as defined below.
Face enumeration - from spheres to manifolds
Published
• View Publication
• BIB
We prove a number of new restrictions on the enumerative properties of homology manifolds and semi-Eulerian complexes and posets. These include a determination of the affine span of the fine $h$-vector of balanced semi-Eulerian complexes and the toric $h$-vector of semi-Eulerian posets.
The lower bounds on simplicial homology manifolds, when combined with higher dimensional analogues of Walkup's 3-dimensional constructions \cite{Wal}, allow us to give a complete characterization of the $f$-vectors of arbitrary simplicial triangulations of $S^1 \times S^3, \C P^2,$ $ K3$ surfaces, and $(S^2 \times S^2) # (S^2 \times S^2).$ We also establish a principle which leads to a conjecture for homology manifolds which is almost logically equivalent to the $g$-conjecture for homology spheres. Lastly, we show that with sufficiently many vertices, every triangulable homology manifold without boundary of dimension three or greater can be triangulated in a 2-neighborly fashion.
Inclusion Matrices and Chains
Published
• View Publication
• BIB
Given integers $t$, $k$, and $v$ such that $0\leq t\leq k\leq v$, let $W_{tk}(v)$ be the inclusion matrix of $t$-subsets vs. $k$-subsets of a $v$-set. We modify slightly the concept of standard tableau to study the notion of rank of a finite set of positive integers which was introduced by Frankl. Utilizing this, a decomposition of the poset $2^{[v]}$ into symmetric skipless chains is given. Based on this decomposition, we construct an inclusion matrix, denoted by $W_{\bar{t}k}(v)$, which is row-equivalent to $W_{tk}(v)$. Its Smith normal form is determined. As applications, Wilson's diagonal form of $W_{tk}(v)$ is obtained as well as a new proof of the well known theorem on the necessary and sufficient conditions for existence of integral solutions of the system $W_{tk}\bf{x}=\bf{b}$ due to Wilson. Finally we present anotherinclusion matrix with similar properties to those of $W_{\bar{t}k}(v)$ which is in some way equivalent to $W_{tk}(v)$.
Algebraic Shifting and f-Vector Theory
Published in Ph. D. thesis. The Hebrew University of Jerusalem (2007)
• Search Publication
This thesis focuses on algebraic shifting and its applications to f-vector theory of simplicial complexes and more general graded posets. In particular, several approaches and partial results concerning the g-conjecture for simplicial spheres are presented here.
Cubical convex ear decompositions
Published in Electronic J. Combinatorics 16(2) (2009) R17
• View Publication
• BIB
We consider the problem of constructing a convex ear decomposition for a poset. The usual technique, first used by Nyman and Swartz, starts with a CL-labeling and uses this to shell the `ears' of the decomposition. We axiomatize the necessary conditions for this technique as a "CL-ced" or "EL-ced". We find an EL-ced of the d-divisible partition lattice, and a closely related convex ear decomposition of the coset lattice of a relatively complemented group. Along the way, we construct new EL-labelings of both lattices. The convex ear decompositions so constructed are formed by face lattices of hypercubes.
We then proceed to show that if two posets P_1 and P_2 have convex ear decompositions (CL-ceds), then their products P_1 \times P_2, P_1 \lrtimes P_2, and P_1 \urtimes P_2 also have convex ear decompositions (CL-ceds). An interesting special case is: if P_1 and P_2 have polytopal order complexes, then so do their products.
Markov models for accumulating mutations
Published
• View Publication
• BIB
We introduce and analyze a waiting time model for the accumulation of genetic changes. The continuous time conjunctive Bayesian network is defined by a partially ordered set of mutations and by the rate of fixation of each mutation. The partial order encodes constraints on the order in which mutations can fixate in the population, shedding light on the mutational pathways underlying the evolutionary process. We study a censored version of the model and derive equations for an EM algorithm to perform maximum likelihood estimation of the model parameters. We also show how to select the maximum likelihood poset. The model is applied to genetic data from different cancers and from drug resistant HIV samples, indicating implications for diagnosis and treatment.
$k$-Ribbon Fibonacci Tableaux
We extend the notion of $k$-ribbon tableaux to the Fibonacci lattice, a differential poset defined by R. Stanley in 1975. Using this notion, we describe an insertion algorithm that takes $k$-colored permutations to pairs of $k$-ribbon Fibonacci tableaux of the same shape, and we demonstrate a color-to-spin property, similar to that described by Shimozono and White for ribbon tableaux. We give an evacuation algorithm which relates the pair of $k$-ribbon Fibonacci tableaux obtained through the insertion algorithm to the pair of $k$-ribbon Fibonacci tableaux obtained using Fomin's growth diagrams. In addition, we present an analogue of Knuth relations for $k$-colored permutations and $k$-ribbon Fibonacci tableaux.
Equivalences on Acyclic Orientations
The cyclic and dihedral groups can be made to act on the set Acyc(Y) of acyclic orientations of an undirected graph Y, and this gives rise to the equivalence relations ~kappa and ~delta, respectively. These two actions and their corresponding equivalence classes are closely related to combinatorial problems arising in the context of Coxeter groups, sequential dynamical systems, the chip-firing game, and representations of quivers.
In this paper we construct the graphs C(Y) and D(Y) with vertex sets Acyc(Y) and whose connected components encode the equivalence classes. The number of connected components of these graphs are denoted kappa(Y) and delta(Y), respectively. We characterize the structure of C(Y) and D(Y), show how delta(Y) can be derived from kappa(Y), and give enumeration results for kappa(Y). Moreover, we show how to associate a poset structure to each kappa-equivalence class, and we characterize these posets. This allows us to create a bijection from Acyc(Y)/~kappa to the union of Acyc(Y')/~kappa and Acyc(Y'')/~kappa, Y' and Y'' denote edge deletion and edge contraction for a cycle-edge in Y, respectively, which in turn shows that kappa(Y) may be obtained by an evaluation of the Tutte polynomial at (1,0).
Enumerative Properties of NC^B(p,q)
Published
• View Publication
• BIB
We determine the rank generating function, the zeta polynomial and the Moebius function for the poset NC^B(p,q) of annular non-crossing partitions of type B, where p and q are two positive integers. We give an alternative treatment of some of these results in the case q=1, for which this poset is a lattice. We also consider the general case of multiannular non-crossing partitions of type B, and prove that this reduces to the cases of non-crossing partitions of type B in the annulus and in the disc.
Derived Semidistributive Lattices
Published
• View Publication
• BIB
For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in this poset. Our main result states that C(L,g) is a semidistributive lattice if L is semidistributive, and that C(L,g) is a bounded lattice if L is bounded. Let S_n be the permutohedron on n letters and T_n be the associahedron on n+1 letters. Explicit computations show that C(S_n,a) = S_{n-1} and C(T_n,a) = T_{n-1}, up to isomorphism, whenever a is an atom. These results are consequences of new characterizations of finite join semidistributive and finite lower bounded lattices: (i) a finite lattice is join semidistributive if and only if the projection sending g in C(L) to g_0 in L creates pullbacks, (ii) a finite join semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are generalization of the tools used by Barbut et al. to prove that lattices of Coxeter groups are bounded.
Relating two Hopf algebras built from an operad
Published in International Mathematics Research Notices 2007 (2007) rnm131, 27 pages
• View Publication
• BIB
Starting from an operad, one can build a family of posets. From this family of posets, one can define an incidence Hopf algebra. By another construction, one can also build a group directly from the operad. We then consider its Hopf algebra of functions. We prove that there exists a surjective morphism from the latter Hopf algebra to the former one. This is illustrated by the case of an operad built on rooted trees, the $\NAP$ operad, where the incidence Hopf algebra is identified with the Connes-Kreimer Hopf algebra of rooted trees.
Distributive lattices defined for representations of rank two semisimple Lie algebras
Published
• View Publication
• BIB
For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3. We then form the distributive lattices of order ideals of these posets. Corollary 5.4 gives elegant quotient-of-products expressions for the rank generating functions of these lattices (thereby providing answers to a 1979 question of Stanley). Also, Theorem 5.3 describes how these lattices provide a new combinatorial setting for the Weyl characters of representations of rank two semisimple Lie algebras. Most of these lattices are new; the rest of them (or related structures) have arisen in work of Stanley, Kashiwara, Nakashima, Littelmann, and Molev. In a future paper, one author shows that the posets constructed here form a Dynkin diagram-indexed answer to a combinatorially posed classification question. In a companion paper, some of these lattices are used to explicitly construct some representations of rank two semisimple Lie algebras. This implies that these lattices are strongly Sperner.
Peak Quasisymmetric Functions and Eulerian Enumeration
Published in Adv. Math. 176: 248--276 (2003)
• Search Publication
Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus Eulerian posets having a nonnegative $\cd$-index (for example, face lattices of convex polytopes) correspond to peak quasisymmetric functions having a nonnegative representation in terms of this basis. We diagonalize the operator that associates the basis of descent sets for all quasisymmetric functions to that of peak sets for the algebra of peak functions, and study the $g$-polynomial for Eulerian posets as an algebra homomorphism.
Operads of compatible structures and weighted partitions
Published in J. Pure Appl. Algebra 212 (2008), no. 11, 2522--2534.
• View Publication
• BIB
In this paper we describe operads encoding two different kinds of compatibility of algebraic structures. We show that there exist decompositions of these in terms of black and white products and we prove that they are Koszul for a large class of algebraic structures by using the poset method of B. Vallette. In particular we show that this is true for the operads of compatible Lie, associative and pre-Lie algebras.
On multipartite posets
Published
• View Publication
• BIB
A poset $\mathbf{P} = (X,\preceq)$ is {\em $m$-partite} if $X$ has a partition $X = X_1 \cup ... \cup X_m$ such that (1) each $X_i$ forms an antichain in $\mathbf{P}$, and (2) $x\prec y$ implies $x\in X_i$ and $y\in X_j$ where $i<j$. In this article we derive a tight asymptotic upper bound on the order dimension of $m$-partite posets in terms of $m$ and their bipartite sub-posets in a constructive and elementary way.
Posets of annular non-crossing partitions of types B and D
Published
• View Publication
• BIB
We study the set $\sncb (p,q)$ of annular non-crossing permutations of type B, and we introduce a corresponding set $\ncb (p,q)$ of annular non-crossing partitions of type B, where $p$ and $q$ are two positive integers. We prove that the natural bijection between $\sncb (p,q)$ and $\ncb (p,q)$ is a poset isomorphism, where the partial order on $\sncb (p,q)$ is induced from the hyperoctahedral group $B_{p+q}$, while $\ncb (p,q)$ is partially ordered by reverse refinement. In the case when $q=1$, we prove that $\ncb (p,1)$ is a lattice with respect to reverse refinement order.
We point out that an analogous development can be pursued in type D, where one gets a canonical isomorphism between $\sncd (p,q)$ and $\ncd (p,q)$. For $q=1$, the poset $\ncd (p,1)$ coincides with a poset ``$NC^{(D)} (p+1)$'' constructed in a paper by Athanasiadis and Reiner in 2004, and is a lattice by the results of that paper.
Shelling-type orderings of regular CW-complexes and acyclic matchings of the Salvetti complex
Published
• View Publication
• BIB
Motivated by the work of Salvetti and Settepanella we introduce certain total orderings of the faces of any shellable regular CW-complex (called `shelling-type orderings') that can be used to explicitly construct maximum acyclic matchings of the poset of cells of the given complex. Building on an application of this method to the classical zonotope shellings we describe a class of maximum acyclic matchings for the Salvetti complex of a linear complexified arrangement. To do this, we introduce and study a new combinatorial stratification of the Salvetti complex. For the obtained acyclic matchings we give an explicit description of the critical cells that depends only on the chosen linear extension of the poset of regions. It is always possible to choose the linear extension so that the critical cells can be explicitly constructed from the chambers of the arrangement via the bijection to no-broken-circuit sets defined by Jewell and Orlik. Our method can be generalized to arbitraty oriented matroids.
The poset metrics that allow binary codes of codimension m to be m-, (m-1)-, or (m-2)-perfect
Published in IEEE Trans. Inf. Theory 54(11) 2008, 5241-5246
• View Publication
• BIB
A binary poset code of codimension M (of cardinality 2^{N-M}, where N is the code length) can correct maximum M errors. All possible poset metrics that allow codes of codimension M to be M-, (M-1)- or (M-2)-perfect are described. Some general conditions on a poset which guarantee the nonexistence of perfect poset codes are derived; as examples, we prove the nonexistence of R-perfect poset codes for some R in the case of the crown poset and in the case of the union of disjoin chains. Index terms: perfect codes, poset codes
Universal derived equivalences of posets
By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for any abelian category A, a functor between the categories of complexes of diagrams over X and Y with values in A. This functor induces a triangulated functor between the corresponding derived categories.
This allows us to prove, for pairs X, Y of posets sharing certain common underlying combinatorial structure, that for any abelian category A, regardless of its nature, the categories of diagrams over X and Y with values in A are derived equivalent.