poset ↗ reference
2287 papers tagged with this keyword
Sects
Published
• View Publication
• BIB
By explicitly describing a cellular decomposition we determine the Borel invariant cycles that generate the Chow groups of the quotient of a reductive group by a Levi subgroup. For illustrations we consider the variety of polarizations $\mbf{SL}_n / \mbf{S}(\mbf{GL}_p\times \mbf{GL}_q)$, and we introduce the notion of a sect for describing its cellular decomposition. In particular, for $p=q$, we show that the Bruhat order on the sect corresponding to the dense cell is isomorphic, as a poset, to the rook monoid with the Bruhat-Chevalley-Renner order.
Incompatible double posets and double order polytopes
Published in Electronic Journal of Combinatorics 27(1) P1.9 (2020), 13 pages
• View Publication
• BIB
In 1986 Stanley associated to a poset the order polytope. The close interplay between its combinatorial and geometric properties makes the order polytope an object of tremendous interest. Double posets were introduced in 2011 by Malvenuto and Reutenauer as a generalization of Stanleys labelled posets. A double poset is a finite set equipped with two partial orders. To a double poset Chappell, Friedl and Sanyal (2017) associated the double order polytope. They determined the combinatorial structure for the class of compatible double posets. In this paper we generalize their description to all double posets and we classify the 2-level double order polytopes.
On orthogonal symmetric chain decompositions
Published
• View Publication
• BIB
The $n$-cube is the poset obtained by ordering all subsets of $\{1,\ldots,n\}$ by inclusion, and it can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains, which is the minimum possible number. Two such decompositions of the $n$-cube are called orthogonal if any two chains of the decompositions share at most a single element. Shearer and Kleitman conjectured in 1979 that the $n$-cube has $\lfloor n/2\rfloor+1$ pairwise orthogonal decompositions into the minimum number of chains, and they constructed two such decompositions. Spink recently improved this by showing that the $n$-cube has three pairwise orthogonal chain decompositions for $n\geq 24$. In this paper, we construct four pairwise orthogonal chain decompositions of the $n$-cube for $n\geq 60$. We also construct five pairwise edge-disjoint chain decompositions of the $n$-cube for $n\geq 90$, where edge-disjointness is a slightly weaker notion than orthogonality.
On the unimodality of convolutions of sequences of binomial coefficients
Published in J. Integer Seq. 22 (2019) Article 19.2.8
• Search Publication
We provide necessary and sufficient conditions on the unimodality of a convolution of two sequences of binomial coefficients preceded by a finite number of ones. These convolution sequences arise as as rank sequences of posets of vertex-induced subtrees for a particular class of trees. The number of such trees whose poset of vertex-induced subgraphs containing the root is not rank unimodal is determined for a fixed number of vertices $i$.
Structure and enumeration results of matchable Lucas cubes
Published
• View Publication
• BIB
A lucasene is a hexagon chain that is similar to a fibonaccene, an $L$-fence is a poset the Hasse diagram of which is isomorphic to the directed inner dual graph of the corresponding lucasene. A new class of cubes, which named after matchable Lucas cubes according to the number of its vertices (or elements), are a series of directed or undirected Hasse diagrams of filter lattices of $L$-fences. The basic properties and several classes of polynomials, e.g.\ rank generating functions, cube polynomials and degree sequence polynomials, of matchable Lucas cubes are obtained. Some special conclusions on binomial coefficients and Lucas triangle are given.
A class of non-matchable distributive lattices
The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed graph of the graph. A finite distributive lattice is matchable if its Hasse diagram is isomorphic to a $Z$-transformation directed graph of a plane weakly elementary bipartite graph, otherwise non-matchable. We introduce the meet-irreducible cell with respect to a perfect matching of a plane (weakly) elementary bipartite graph and give its equivalent characterizations. Using these, we extend a result on non-matchable distributive lattices, and obtain a class of new non-matchable distributive lattices.
A New Characterization of $\mathcal{V}$-Posets
Published
• View Publication
• BIB
In 2016, Hasebe and Tsujie gave a recursive characterization of the set of induced $N$-free and bowtie-free posets; Misanantenaina and Wagner studied these orders further, naming them "$\mathcal{V}$-posets". Here we offer a new characterization of $\mathcal{V}$-posets by introducing a property we refer to as autonomy. A poset $\cP$ is said to be autonomous if there exists a directed acyclic graph $D$ (with adjacency matrix $U$) whose transitive closure is $\cP$, with the property that any total ordering of the vertices of $D$ so that Gaussian elimination of $U^TU$ proceeds without row swaps is a linear extension of $\cP$. Autonomous posets arise from the theory of pressing sequences in graphs, a problem with origins in phylogenetics. The pressing sequences of a graph can be partitioned into families corresponding to posets; because of the interest in enumerating pressing sequences, we investigate when this partition has only one block, that is, when the pressing sequences are all linear extensions of a single autonomous poset. We also provide an efficient algorithm for recognition of autonomy using structural information and the forbidden subposet characterization, and we discuss a few open questions that arise in connection with these posets.
Diagonal Orbits in a Type A Double Flag Variety of Complexity One
Published
• View Publication
• BIB
We continue our study of the inclusion posets of diagonal $SL(n)$-orbit closures in a product of two partial flag varieties. We prove that, if the diagonal action is of complexity one, then the poset is isomorphic to one of the 28 posets that we determine explicitly. Furthermore, our computations show that the number of diagonal $SL(n)$-orbits in any of these posets is at most 10 for any positive integer $n$. This is in contrast with the complexity 0 case, where, in some cases, the resulting posets attain arbitrary heights.
Uniform random posets
We propose a simple algorithm generating labelled posets of given size according to the almost uniform distribution. By "almost uniform" we understand that the distribution of generated posets converges in total variation to the uniform distribution. Our method is based on a Markov chain generating directed acyclic graphs.
Relations in doubly laced crystal graphs via discrete Morse theory
Published
• View Publication
• BIB
We study the combinatorics of crystal graphs given by highest weight representations of types $A_{n}, B_{n}, C_{n}$, and $D_{n}$, uncovering new relations that exist among crystal operators. Much structure in these graphs has been revealed by local relations given by Stembridge and Sternberg. However, there exist relations among crystal operators that are not implied by Stembridge or Sternberg relations. Viewing crystal graphs as edge colored posets, we use poset topology to study them. Using the lexicographic discrete Morse functions of Babson and Hersh, we relate the Möbius function of a given interval in a crystal poset of simply laced or doubly laced type to the types of relations that can occur among crystal operators within this interval.
For a crystal of a highest weight representation of finite classical Cartan type, we show that whenever there exists an interval whose Möbius function is not equal to -1, 0, or 1, there must be a relation among crystal operators within this interval not implied by Stembridge or Sternberg relations. As an example of an application, this yields relations among crystal operators in type $C_{n}$ that were not previously known. Additionally, by studying the structure of Sternberg relations in the doubly laced case, we prove that crystals of highest weight representations of types $B_{2}$ and $C_{2}$ are not lattices.
A Dichotomy Theorem for First-Fit Chain Partitions
Published
• View Publication
• BIB
First-Fit is a greedy algorithm for partitioning the elements of a poset into chains. Let $\textrm{FF}(w,Q)$ be the maximum number of chains that First-Fit uses on a $Q$-free poset of width $w$. A result due to Bosek, Krawczyk, and Matecki states that $\textrm{FF}(w,Q)$ is finite when $Q$ has width at most $2$. We describe a family of posets $\mathcal{Q}$ and show that the following dichotomy holds: if $Q\in\mathcal{Q}$, then $\textrm{FF}(w,Q) \le 2^{c(\log w)^2}$ for some constant $c$ depending only on $Q$, and if $Q\not\in\mathcal{Q}$, then $\textrm{FF}(w,Q) \ge 2^w - 1$.
Sunflowers of Convex Open Sets
Published
• View Publication
• BIB
A sunflower is a collection of sets $\{U_1,\ldots, U_n\}$ such that the pairwise intersection $U_i\cap U_j$ is the same for all choices of distinct $i$ and $j$. We study sunflowers of convex open sets in $\mathbb R^d$, and provide a Helly-type theorem describing a certain "rigidity" that they possess. In particular we show that if $\{U_1,\ldots, U_{d+1}\}$ is a sunflower in $\mathbb R^d$, then any hyperplane that intersects all $U_i$ must also intersect $\bigcap_{i=1}^{d+1} U_i$. We use our results to describe a combinatorial code $\mathcal C_n$ for all $n\ge 2$ which is on the one hand minimally non-convex, and on the other hand has no local obstructions. Along the way we further develop the theory of morphisms of codes, and establish results on the covering relation in the poset $\mathbf P_{\mathbf{Code}}$.
Pattern groups and a poset based Hopf monoid
Published
• View Publication
• BIB
The supercharacter theory of algebra groups gave us a representation theoretic realization of the Hopf algebra of symmetric functions in noncommuting variables. The underlying representation theoretic framework comes equipped with two canonical bases, one of which was completely new in terms of symmetric functions. This paper simultaneously generalizes this Hopf structure by considering a larger class of groups while also restricting the representation theory to a more combinatorially tractable one. Using the normal lattice supercharacter theory of pattern groups, we not only gain a third canonical basis, but also are able to compute numerous structure constants in the corresponding Hopf monoid, including coproducts and antipodes for the new bases.
Some properties of a new partial order on Dyck paths
Published
• View Publication
• BIB
We introduce and study a new partial order on Dyck paths. We prove that these posets are meet-semilattices. We show that their numbers of intervals are the same as the number of bicubic planar maps. We describe an unexpected connection with the Hochschild polytopes of Saneblidze.
Weak order and descents for monotone triangles
Published
• View Publication
• BIB
Monotone triangles are a rich extension of permutations that biject with alternating sign matrices. The notions of weak order and descent sets for permutations are generalized here to monotone triangles, and shown to enjoy many analogous properties. It is shown that any linear extension of the weak order gives rise to a shelling order on a poset, recently introduced by Terwilliger, whose maximal chains biject with monotone triangles; among these shellings are a family of EL-shellings.
The weak order turns out to encode an action of the 0-Hecke monoid of type A on the monotone triangles, generalizing the usual bubble-sorting action on permutations. It also leads to a notion of descent set for monotone triangles, having another natural property: the surjective algebra map from the Malvenuto- Reutenauer Hopf algebra of permutations into quasisymmetric functions extends in a natural way to an algebra map out of the recently-defined Cheballah-Giraudo-Maurice algebra of alternating sign matrices.
Counting Shellings of Complete Bipartite Graphs and Trees
Published
• View Publication
• BIB
A shelling of a graph, viewed as an abstract simplicial complex that is pure of dimension 1, is an ordering of its edges such that every edge is adjacent to some other edges appeared previously. In this paper, we focus on complete bipartite graphs and trees. For complete bipartite graphs, we obtain an exact formula for their shelling numbers. And for trees, we relate their shelling numbers to linear extensions of tree posets and bound shelling numbers using vertex degrees and diameter.
Rainbow Ramsey problems for the Boolean lattice
Published
• View Publication
• BIB
We address the following rainbow Ramsey problem: For posets $P,Q$ what is the smallest number $n$ such that any coloring of the elements of the Boolean lattice $B_n$ either admits a monochromatic copy of $P$ or a rainbow copy of $Q$. We consider both weak and strong (non-induced and induced) versions of this problem. We also investigate related problems on (partial) $k$-colorings of $B_n$ that do not admit rainbow antichains of size $k$.
2-chains: an interesting family of posets
Published
• View Publication
• BIB
We introduce a new family of finite posets which we call 2-chains. These first arose in the study of 0-Hecke algebras, but they admit a variety of different characterisations. We give these characterisations, prove that they are equivalent and derive some numerical results concerning 2-chains.
On the growth of the Möbius function of permutations
Published in Journal of Combinatorial Theory, Series A, vol. 169 (2020), 105121
• View Publication
• BIB
We study the values of the Möbius function $μ$ of intervals in the containment poset of permutations. We construct a sequence of permutations $π_n$ of size $2n-2$ for which $μ(1,π_n)$ is given by a polynomial in $n$ of degree 7. This construction provides the fastest known growth of $|μ(1,π)|$ in terms of $|π|$, improving a previous quadratic bound by Smith.
Our approach is based on a formula expressing the Möbius function of an arbitrary permutation interval $[α,β]$ in terms of the number of embeddings of the elements of the interval into $β$.
Dushnik-Miller dimension of d-dimensional tilings with boxes
Planar graphs are the graphs with Dushnik-Miller dimension at most three (W. Schnyder, Planar graphs and poset dimension, Order 5, 323-343, 1989). Consider the intersection graph of interior disjoint axis parallel rectangles in the plane. It is known that if at most three rectangles intersect on a point, then this intersection graph is planar, that is it has Dushnik-Miller dimension at most three. This paper aims at generalizing this from the plane to $R^d$ by considering tilings of $R^d$ with axis parallel boxes, where at most $d+1$ boxes intersect on a point. Such tilings induce simplicial complexes and we will show that those simplicial complexes have Dushnik-Miller dimension at most $d+1$.