poset ↗ reference
2264 papers tagged with this keyword
Dual Ramsey theorems for relational structures
In this paper we provide explicit dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and conclude the paper with an explicit dual of the Nešetřil-Rödl Theorem for relational structures. Instead of embeddings which are crucial for "direct" Ramsey results, for each class of structures under consideration we propose a special class of surjective maps and prove a dual Ramsey theorem in such a setting. In contrast to on-going Ramsey classification projects where the research is focused on fine-tuning the objects, in this paper we advocate the idea that fine-tuning the morphisms is the key to proving dual Ramsey results. Since the setting we are interested in involves both structures and morphisms, all our results are spelled out using the reinterpretation of the (dual) Ramsey property in the language of category theory.
Some applications of Rees products of posets to equivariant gamma-positivity
Published
• View Publication
• BIB
The Rees product of partially ordered sets was introduced by Björner and Welker. Using the theory of lexicographic shellability, Linusson, Shareshian and Wachs proved formulas, of significance in the theory of gamma-positivity, for the dimension of the homology of the Rees product of a graded poset $P$ with a certain $t$-analogue of the chain of the same length as $P$. Equivariant generalizations of these formulas are proven in this paper, when a group of automorphisms acts on $P$, and are applied to establish the Schur gamma-positivity of certain symmetric functions arising in algebraic and geometric combinatorics.
Interval Orders with Two Interval Lengths
Published
• View Publication
• BIB
A poset $P = (X,\prec)$ has an interval representation if each $x \in X$ can be assigned a real interval $I_x$ so that $x \prec y$ in $P$ if and only if $I_x$ lies completely to the left of $I_y$. Such orders are called \emph{interval orders}. In this paper we give a surprisingly simple forbidden poset characterization of those posets that have an interval representation in which each interval length is either 0 or 1. In addition, for posets $(X,\prec)$ with a weight of 1 or 2 assigned to each point, we characterize those that have an interval representation in which for each $x \in X$ the length of the interval assigned to $x$ equals the weight assigned to $x$. For both these problems we can determine in polynomial time whether the desired interval representation is possible and in the affirmative case, produce such a representation.
Tolerance Orders of Open and Closed Intervals
Published
• View Publication
• BIB
In this paper we combine ideas from tolerance orders with recent work on OC interval orders. We consider representations of posets by unit intervals $I_v$ in which the interval endpoints ($L(v)$ and $R(v)$) may be open or closed as well as the center point ($c(v)$). This yields four types of intervals: $A$ (endpoints and center points closed), $B$ (endpoints and center points open), $C$ (endpoints closed, center points open), and $D$ (endpoints open, center points closed). For any non-empty subset $S$ of $\{A,B,C,D\}$, we define an $S$-order as a poset $P$ that has a representation as follows: each element $v$ of $P$ is assigned a unit interval $I_v$ of type belonging to $S$, and $x \prec y$ if and only if either (i) $R(x) < c(y)$ or (ii) $R(x) = c(y)$ and at least one of $R(x), c(y)$ is open and at least one of $L(y), c(x)$ is open. We characterize several of the classes of $S$-orders and provide separating examples between unequal classes. In addition, for each $S \subseteq \{A,B,C,D\}$ we present a polynomial-time algorithm that recognizes $S$-orders, providing a representation when one exists and otherwise providing a certificate showing it is not an $S$-order.
Noncrossing hypertrees
Hypertrees and noncrossing trees are well-established objects in the combinatorics literature, but the hybrid notion of a noncrossing hypertree has received less attention. In this article I investigate the poset of noncrossing hypertrees as an induced subposet of the hypertree poset. Its dual is the face poset of a simplicial complex, one that can be identified with a generalized cluster complex of type $A$. The first main result is that this noncrossing hypertree complex is homeomorphic to a piecewise spherical complex associated with the noncrossing partition lattice and thus it has a natural metric. The fact that the order complex of the noncrossing partition lattice with its bounding elements removed is homeomorphic to a generalized cluster complex was not previously known or conjectured.
The metric noncrossing hypertree complex is a union of unit spheres with a number of remarkable properties: 1) the metric subspheres and simplices in each dimension are both bijectively labeled by the set of noncrossing hypertrees with a fixed number of hyperedges, 2) the number of spheres containing the simplex labeled by the noncrossing tree $τ$ is the same as the number simplices in the sphere labeled by the noncrossing tree $τ$, and 3) among the maximal spherical subcomplexes one finds every normal fan of a metric realization of the simple associahedron associated to the cluster algebra of type $A$. In particular, the poset of noncrossing hypertrees and its metric simplicial complex provide a new perspective on familiar combinatorial objects and a common context in which to view the known bijections between noncrossing partitions and the vertices/facets of simple/simplicial associahedra.
Boolean dimension and tree-width
Published
• View Publication
• BIB
The dimension is a key measure of complexity of partially ordered sets. Small dimension allows succinct encoding. Indeed if $P$ has dimension $d$, then to know whether $x \leq y$ in $P$ it is enough to check whether $x\leq y$ in each of the $d$ linear extensions of a witnessing realizer. Focusing on the encoding aspect Nešetřil and Pudlák defined a more expressive version of dimension. A poset $P$ has boolean dimension at most $d$ if it is possible to decide whether $x \leq y$ in $P$ by looking at the relative position of $x$ and $y$ in only $d$ permutations of the elements of $P$. We prove that posets with cover graphs of bounded tree-width have bounded boolean dimension. This stays in contrast with the fact that there are posets with cover graphs of tree-width three and arbitrarily large dimension. This result might be a step towards a resolution of the long-standing open problem: Do planar posets have bounded boolean dimension?
A fractal perspective on optimal antichains and intersecting subsets of the unit $n$-cube
An \emph{$n$-cube antichain} is a subset of the unit $n$-cube $[0,1]^n$ that does not contain two elements $\mathbf{x}=(x_1, x_2,\ldots, x_n)$ and $\mathbf{y}=(y_1, y_2,\ldots, y_n)$ satisfying $x_i\le y_i$ for all $i\in \{1,\ldots,n\}$. Using a chain partition of an adequate finite poset we show that the Hausdorff dimension of an $n$-cube antichain is at most $n-1$.We conjecture that the $(n-1)$-dimensional Hausdorff measure of an $n$-cube antichain is at most $n$ times the Hausdorff measure of a facet of the unit $n$-cube and we verify this conjecture for $n=2$ as well as under the assumption that the $n$-cube antichain is a smooth surface. Our proofs employ estimates on the Hausdorff measure of an $n$-cube antichain in terms of the sum of the Hausdorff measures of its injective projections. Moreover, by proceeding along devil's staircase, we construct a $2$-cube antichain whose $1$-dimensional Hausdorff measure equals $2$. Additionally, we discuss a problem with an intersection condition in a similar setting.
Polynomial bases: positivity and Schur multiplication
Published
• View Publication
• BIB
We establish a poset structure on combinatorial bases of multivariate polynomials defined by positive expansions, and study properties common to bases in this poset. Included are the well-studied bases of Schubert polynomials, Demazure characters and Demazure atoms; the quasi-key, fundamental and monomial slide bases introduced in 2017 by Assaf and the author; and a new basis we introduce completing this poset structure. We show the product of a Schur polynomial and an element of a basis in this poset expands positively in that basis; in particular, we give the first Littlewood-Richardson rule for the product of a Schur polynomial and a quasi-key polynomial. This rule simultaneously extends Haglund, Luoto, Mason and van Willigenburg's (2011) Littlewood-Richardson rule for quasi-Schur polynomials and refines their Littlewood-Richardson rule for Demazure characters. We also establish bijections connecting combinatorial models for these polynomials including semi-skyline fillings and quasi-key tableaux.
On the combinatorics of Riordan arrays and Sheffer polynomials: monoids, operads and monops
We introduce a new algebraic construction, {\em monop}, that combines monoids (with respect to the product of species), and operads (monoids with respect to the substitution of species) in the same algebraic structure. By the use of properties of cancellative set-monops we construct a family of partially ordered sets whose prototypical examples are the Dowling lattices. They generalize the partition posets associated to a cancellative operad, and the subset posets associated to a cancellative monoid. Their generalized Withney numbers of the first and second kind are the entries of a Riordan matrix and its inverse. Equivalently, they are the connecting coefficients of two umbral inverse Sheffer sequences with the family of powers $\{x^n\}_{n=0}^{\infty}$. We study algebraic monops, their associated algebras and the free monop-algebras, as part of a program in progress to develop a theory of Koszul duality for monops.
Counting chambers in restricted Coxeter arrangements
Solomon showed that the Poincaré polynomial of a Coxeter group $W$ satisfies a product decomposition depending on the exponents of $W$. This polynomial coincides with the rank-generating function of the poset of regions of the underlying Coxeter arrangement. In this note we determine all instances when the analogous factorization property of the rank-generating function of the poset of regions holds for a restriction of a Coxeter arrangement. It turns out that this is always the case with the exception of some instances in type $E_8$.
Symmetric Chain Decompositions of Products of Posets with Long Chains
Published in Electronic Journal of Combinatorics (2018) Vol. 25 P1.69
• View Publication
• BIB
We ask if there exists a symmetric chain decomposition of the cuboid $Q_k \times n$ such that no chain is "taut", i.e. no chain has a subchain of the form $(a_1,\ldots, a_k,0)\prec \ldots\prec (a_1,\ldots,a_k,n-1)$. In this paper, we show this is true precisely when $k \ge 5$ and $n\ge 3$. This question arises naturally when considering products of symmetric chain decompositions which induce orthogonal chain decompositions --- the existence of the decompositions provided in this paper unexpectedly resolves the most difficult case of previous work by the second author on almost orthogonal symmetric chain decompositions \cite{orth}, making progress on a conjecture of Shearer and Kleitman. In general, we show that for a finite graded poset $P$, there exists a canonical bijection between symmetric chain decompositions of $P \times m$ and $P \times n$ for $m, n\ge \text{rk}(P) + 1$, that preserves the existence of taut chains. If $P$ has a unique maximal and minimal element, then we also produce a canonical $(\text{rk}(P) +1)$ to $1$ surjection from symmetric chain decompositions of $P \times (\text{rk}(P) + 1)$ to symmetric chain decompositions of $P \times \text{rk}(P)$ which sends decompositions with taut chains to decompositions with taut chains.
Shellability of posets of labeled partitions and arrangements defined by root systems
Published
• View Publication
• BIB
We prove that the posets of connected components of intersections of toric and elliptic arrangements defined by root systems are EL-shellable and we compute their homotopy type. Our method rests on Bibby's description of such posets by means of "labeled partitions": after giving an EL-labeling and counting homology chains for general posets of labeled partitions, we obtain the stated results by considering the appropriate subposets.
$q$-Stirling numbers revisited
Published in Electronic Journal of Combinatorics, 25 Issue 1 (2018), Paper #P1.37
• View Publication
• BIB
We give combinatorial proofs of $q$-Stirling identities using restricted growth words. This includes a poset theoretic proof of Carlitz's identity, a new proof of the $q$-Frobenius identity of Garsia and Remmel and of Ehrenborg's Hankel $q$-Stirling determinantal identity. We also develop a two parameter generalization to unify identities of Mercier and include a symmetric function version.
Models for Configuration Space in a Simplicial Complex
Published in Colloq. Math. 155 (2019), no. 1, 127-139
• View Publication
• BIB
We produce combinatorial models for configuration space in a simplicial complex, and for configurations near a single point ("local configuration space.") The model for local configuration space is built out of the poset of poset structures on a finite set. The model for global configuration space relies on a combinatorial model for a simplicial complex with a deleted subcomplex. By way of application, we study the nodal curve $y^2 z = x^3 + x^2 z$, obtaining a presentation for its two-strand braid group, a conjectural presentation for its three-strand braid group, and presentations for its two- and three-strand local braid groups near the singular point.
The ideal of maximal flags of a poset
We study algebraic and homological properties of facet ideals of order complexes of posets which we call ideals of maximal flags of posets or simply flag ideals. We characterize the unmixed and Cohen-Macaulay flag ideals of graded posets. We also give structural results for the multigraded Betti numbers of flag ideals of such posets. The structural results on multigraded Betti numbers of flag ideals are used to characterize the class of flag ideals with linear resolutions.
On the $1/3-2/3$ Conjecture
Published
• View Publication
• BIB
Let $(P,\leq)$ be a finite poset (partially ordered set), where $P$ has cardinality $n$. Consider linear extensions of $P$ as permutations $x_1x_2\cdots x_n$ in one-line notation. For distinct elements $x,y\in P$, we define $\mathbb{P}(x\prec y)$ to be the proportion of linear extensions of $P$ in which $x$ comes before $y$. For $0\leq α\leq \frac{1}{2}$, we say $(x,y)$ is an $α$-balanced pair if $α\leq \mathbb{P}(x\prec y) \leq 1-α.$ The $1/3-2/3$ Conjecture states that every finite partially ordered set which is not a chain has a $1/3$-balanced pair. We make progress on this conjecture by showing that it holds for certain families of posets. These include lattices such as the Boolean, set partition, and subspace lattices; partial orders that arise from a Young diagram; and some partial orders of dimension $2$. We also consider various posets which satisfy the stronger condition of having a $1/2$-balanced pair. For example, this happens when the poset has an automorphism with a cycle of length $2$. Various questions for future research are posed.
Finding Balance: Split Graphs and Related Classes
Published
• View Publication
• BIB
A graph is a split graph if its vertex set can be partitioned into a clique and a stable set. A split graph is unbalanced if there exist two such partitions that are distinct. Cheng, Collins and Trenk (2016), discovered the following interesting counting fact: unlabeled, unbalanced split graphs on $n$ vertices can be placed into a bijection with all unlabeled split graphs on $n-1$ or fewer vertices. In this paper we translate these concepts and the theorem to different combinatorial settings: minimal set covers, bipartite graphs with a distinguished block and posets of height one.
The Moduli Space of Harnack Curves in Toric Surfaces
Published in Forum of Mathematics, Sigma 9 (2021) e43
• View Publication
• BIB
In 2006, Kenyon and Okounkov computed the moduli space of Harnack curves of degree $d$ in $\mathbb{C}\mathbb{P}^2$. We generalize to any projective toric surface some of the techniques used there. More precisely, we show that the moduli space $\mathcal{H}_Δ$ of Harnack curves with Newton polygon $Δ$ is diffeomorphic to $\mathbb{R}^{m-3}\times\mathbb{R}_{\geq0}^{n+g-m}$ where $Δ$ has $m$ edges, $g$ interior lattice points and $n$ boundary lattice points, solving a conjecture of Crétois and Lang. Additionally, we use abstract tropical curves to construct a compactification of this moduli space by adding points that correspond to collections of curves that can be patchworked together to produce a curve in $\mathcal{H}_Δ$. This compactification comes with a natural stratification with the same poset as the secondary polytope of $Δ$.
Forbidden subposet problems for traces of set families
Published
• View Publication
• BIB
In this paper we introduce a problem that bridges forbidden subposet and forbidden subconfiguration problems. The sets $F_1,F_2, \dots,F_{|P|}$ form a copy of a poset $P$, if there exists a bijection $i:P\rightarrow \{F_1,F_2, \dots,F_{|P|}\}$ such that for any $p,p'\in P$ the relation $p<_P p'$ implies $i(p)\subsetneq i(p')$. A family $\mathcal{F}$ of sets is \textit{$P$-free} if it does not contain any copy of $P$. The trace of a family $\mathcal{F}$ on a set $X$ is $\mathcal{F}|_X:=\{F\cap X: F\in \mathcal{F}\}$.
We introduce the following notions: $\mathcal{F}\subseteq 2^{[n]}$ is $l$-trace $P$-free if for any $l$-subset $L\subseteq [n]$, the family $\mathcal{F}|_L$ is $P$-free and $\mathcal{F}$ is trace $P$-free if it is $l$-trace $P$-free for all $l\le n$. As the first instances of these problems we determine the maximum size of trace $B$-free families, where $B$ is the butterfly poset on four elements $a,b,c,d$ with $a,b<c,d$ and determine the asymptotics of the maximum size of $(n-i)$-trace $K_{r,s}$-free families for $i=1,2$. We also propose a generalization of the main conjecture of the area of forbidden subposet problems.
Chomp on numerical semigroups
Published
• View Publication
• BIB
We consider the two-player game chomp on posets associated to numerical semigroups and show that the analysis of strategies for chomp is strongly related to classical properties of semigroups. We characterize, which player has a winning-strategy for symmetric semigroups, semigroups of maximal embedding dimension and several families of numerical semigroups generated by arithmetic sequences. Furthermore, we show that which player wins on a given numerical semigroup is a decidable question. Finally, we extend several of our results to the more general setting of subsemigroups of $\mathbb{N} \times T$, where $T$ is a finite abelian group.