poset ↗ reference
2264 papers tagged with this keyword
The canonical complex of the weak order
Published in Order, 40:349-370, 2023
• View Publication
• BIB
We define and study the canonical complex of a finite semidistributive lattice $L$. It is the simplicial complex on the join or meet irreducible elements of $L$ which encodes each interval of $L$ by recording the canonical join representation of its bottom element and the canonical meet representation of its top element. This complex behaves properly with respect to lattice quotients of $L$, in the sense that the canonical complex of a quotient of $L$ is the subcomplex of the canonical complex of $L$ induced by the join or meet irreducibles of $L$ uncontracted in the quotient. We then describe combinatorially the canonical complex of the weak order on permutations in terms of semi-crossing arc bidiagrams, formed by the superimposition of two non-crossing arc diagrams of N. Reading. We provide explicit direct bijections between the semi-crossing arc bidiagrams and the weak order interval posets of G. Châtel, V. Pilaud and V. Pons. Finally, we provide an algorithm to describe the Kreweras maps in any lattice quotient of the weak order in terms of semi-crossing arc bidiagrams.
Crowns as retracts
We investigate crowns as retracts of finite posets. We define a multigraph $\mathfrak{F}(P)$ reflecting the network of so-called improper 4-crowns contained in the extremal points of $P$, and we show that $P$ contains a 4-crown as retract iff there exists a graph homomorphism of a certain type from $\mathfrak{F}(P)$ to a multigraph $\mathfrak{C}$ not depending on $P$. Additionally we show that $P$ contains a retract-crown with more than four points iff the poset induced by the extremal points of $P$ contains such a retract-crown. As practical result we develop and apply criteria for the systematic investigation of crowns as retracts. Most of our results are valid for infinite posets without infinite chains, too.
The configuration space of a robotic arm over a graph
Published
• View Publication
• BIB
We investigate the configuration space $\mathcal{S}_{G,b,\ell}$ associated with the movement of a robotic arm of length $\ell$ on a grid over an underlying graph $G$, anchored at a vertex $b \in G$. We study an associated PIP (poset with inconsistent pairs) $\text{IP}_{G,b,\ell}$ consisting of indexed paths on $G$. This PIP acts as a combinatorial model for the robotic arm, and we use $\text{IP}_{G,b,\ell}$ to show that the space $\mathcal{S}_{G,b,\ell}$ is a CAT(0) cubical complex, generalizing work of Ardila, Bastidas, Ceballos, and Guo. This establishes that geodesics exist within the configuration space, and yields explicit algorithms for moving the robotic arm between different configurations in an optimal fashion. We also give a tight bound on the diameter of the robotic arm transition graph (the maximal number of moves necessary to change from one configuration to another) and compute this diameter for a large family of underlying graphs $G$.
Improved lower bound on the on-line chain partitioning of semi-orders with representation
An on-line chain partitioning algorithm receives a poset, one element at a time, and irrevocably assigns the element to one of the chains in the partition. The on-line chain partitioning problem involves finding the minimal number of chains needed by an optimal on-line algorithm. Chrobak and Ślusarek considered variants of the on-line chain partitioning problem in which the elements are presented as intervals and intersecting intervals are incomparable. They constructed an on-line algorithm which uses at most $3w-2$ chains, where $w$ is the width of the interval order, and showed that this algorithm is optimal. They also considered the problem restricted to intervals of unit-length and while they showed that first-fit needs at most $2w-1$ chains, over $30$ years later, it remains unknown whether a more optimal algorithm exists. In this paper, we improve upon previously known bounds and show that any on-line algorithm can be forced to use $\lceil\frac{3}{2}w\rceil$ chains to partition a semi-order presented in the form of its unit-interval representation. As a consequence, we completely solve the problem for $w=3$.
Improved lower bounds on the on-line chain partitioning of posets of bounded dimension
An on-line chain partitioning algorithm receives a poset, one element at a time, and irrevocably assigns the element to one of the chains. Over 30 years ago, Szemerédi proved that any on-line algorithm could be forced to use $\binom{w+1}{2}$ chains to partition a poset of width $w$. The maximum number of chains that can be forced on any on-line algorithm remains unknown. In a survey paper by Bosek et al., it is shown that Szemerédi's argument could be improved to obtain a lower bound almost twice as good. Variants of the problem were considered where the class is restricted to posets of bounded dimension or where the poset is presented via a realizer of size $d$. In this paper, we prove two results. First, we prove that any on-line algorithm can be forced to use $(2-o(1))\binom{w+1}{2}$ chains to partition a $2$-dimensional poset of width $w$. Second, we prove that any on-line algorithm can be forced to use $(2-\frac{1}{d-1}-o(1))\binom{w+1}{2}$ chains to partition a poset of width $w$ presented via a realizer of size $d$.
Weak ascent sequences and related combinatorial structures
In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular length-4 bivincular pattern; upper-triangular binary matrices that satisfy a column-adjacency rule; factorial posets that are weakly (3+1)-free. We also show how weak ascent sequences are related to a class of pattern avoiding inversion sequences that has been a topic of recent research by Auli and Elizalde. Finally, we consider the problem of enumerating these new sequences and give a closed form expression for the number of weak ascent sequences having a prescribed length and number of weak ascents.
Dimension bounds on classes of interval orders with restricted representation
In general, representations of interval orders may use an arbitrary set of interval lengths. We can define subclasses of interval orders by restricting the allowable lengths of intervals. Motivated by a recent paper of Keller, Trenk, and Young, we study the dimension of posets in some of these subclasses. Among other results, we answer several of their questions, and we simplify the proof of one of their main results.
Orbit configuration space of standard action and cellular methods of poset
We extend the existing idea of "cellular poset", introduce a collection of "cellular methods" for the computation of homology of intersection lattice of a complicated subspace arrangement, and for the computation of multiplicative structure induced by intersection. As an application, we give a presentation of cohomology ring of orbit configuration space of standard action by cellular methods and a spectral sequence associated with Grothendieck fibration of poset.
Combinatorial and Topological Aspects of Path Posets, and Multipath Cohomology
Published in Journal of Algebraic Combinatorics (2023)
• View Publication
• BIB
Multipath cohomology is a cohomology theory for directed graphs, which is defined using the path poset. The aim of this paper is to investigate combinatorial properties of path posets, and to provide computational tools for multipath cohomology. In particular, we develop acyclicity criteria, and provide computations of multipath cohomology groups of oriented linear graphs. We further interpret the path poset as the face poset of a simplicial complex, and we investigate realisability problems.
Log-concave poset inequalities
Published in Journal of Association for Mathematical Research, vol. 2, issue 1 (2024), 53--153
• View Publication
• BIB
We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize and extend several previous results establishing Mason conjectures for the numbers of independent sets of matroids. Notably, we prove matching equality conditions for both earlier inequalities and our extensions.
In contrast with much of the previous work, our proofs are combinatorial and employ nothing but linear algebra. We use the language formulation of greedoids which allows a linear algebraic setup, which in turn can be analyzed recursively. The underlying non-commutative nature of matrices associated with greedoids allows us to proceed beyond polymatroids and prove the equality conditions. As further application of our tools, we rederive both Stanley's inequality on the number of certain linear extensions, and its equality conditions, which we then also extend to the weighted case.
The interval posets of permutations seen from the decomposition tree perspective
Published
• View Publication
• BIB
The interval poset of a permutation is the set of intervals of a permutation, ordered with respect to inclusion. It has been introduced and studied recently in [B. Tenner, arXiv:2007.06142]. We study this poset from the perspective of the decomposition trees of permutations, describing a procedure to obtain the former from the latter. We then give alternative proofs of some of the results in [B. Tenner, arXiv:2007.06142], and we solve the open problems that it posed (and some other enumerative problems) using techniques from symbolic and analytic combinatorics. Finally, we compute the Möbius function on such posets.
Totally nonnegative critical varieties
Published
• View Publication
• BIB
We study totally nonnegative parts of critical varieties in the Grassmannian. We show that each totally nonnegative critical variety Crit$^{\ge0}_f$ is the image of an affine poset cyclohedron under a continuous map and use this map to define a boundary stratification of Crit$^{\ge0}_f$. For the case of the top-dimensional positroid cell, we show that the totally nonnegative critical variety Crit$^{\ge0}_{k,n}$ is homeomorphic to the second hypersimplex $Δ_{2,n}$.
$P$-associahedra
Published
• View Publication
• BIB
For each poset $P$, we construct a polytope $A(P)$ called the $P$-associahedron. Similarly to the case of graph associahedra, the faces of $A(P)$ correspond to certain nested collections of subsets of $P$. The Stasheff associahedron is a compactification of the configuration space of $n$ points on a line, and we recover $A(P)$ as an analogous compactification of the space of order-preserving maps $P\to\mathbb{R}$. Motivated by the study of totally nonnegative critical varieties in the Grassmannian, we introduce affine poset cyclohedra and realize these polytopes as compactifications of configuration spaces of $n$ points on a circle. For particular choices of (affine) posets, we obtain associahedra, cyclohedra, permutohedra, and type B permutohedra as special cases.
Beyond the Sottile-Sturmfels degeneration of a semi-infinite Grassmannian
Published
• View Publication
• BIB
We study toric degenerations of semi-infinite Grassmannians (a.k.a. quantum Grassmannians). While the toric degenerations of the classical Grassmannians are well studied, the only known example in the semi-infinite case is due to Sottile-Sturmfels. We start by providing a new interpretation of the Sottile-Sturmfels construction by finding a poset such that their degeneration is the toric variety of the order polytope of the poset. We then use our poset to construct and study a new toric degeneration in the semi-infinite case. Our construction is based on the notion of poset polytopes introduced by Fang-Fourier-Litza-Pegel. As an application we introduce semi-infinite PBW-semistandard tableaux, giving a basis in the homogeneous coordinate ring of a semi-infinite Grassmannian.
Poset Ramsey numbers: large Boolean lattice versus a fixed poset
Published
• View Publication
• BIB
Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f: P\rightarrow P'$ and for any $X, Y\in P$, $X\leq _P Y$ if and only of $f(X)\leq_{P'} f(Y)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements. We focus on a poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. We show a sharp jump in behaviour of this number as a function of $n$ depending on whether or not $P$ contains a copy of either a poset $V$, i.e. a poset on elements $A, B, C$ such that $B>C$, $A>C$, and $A$ and $B$ incomparable, or a poset $Λ$, its symmetric counterpart. Specifically, we prove that if $P$ contains a copy of $V$ or $Λ$ then $R(P, Q_n) \geq n +\frac{1}{15} \frac{n}{\log n}$. Otherwise $R(P, Q_n) \leq n + c(P)$ for a constant $c(P)$. This gives the first non-marginal improvement of a lower bound on poset Ramsey numbers and as a consequence gives $R(Q_2, Q_n) = n + Θ(\frac{n}{\log n})$.
Minimal Diamond-Saturated Families
Published
• View Publication
• BIB
For a given fixed poset $\mathcal P$ we say that a family of subsets of $[n]$ is $\mathcal P$-saturated if it does not contain an induced copy of $\mathcal P$, but whenever we add to it a new set, an induced copy of $\mathcal P$ is formed. The size of the smallest such family is denoted by $\text{sat}^*(n, \mathcal P)$. For the diamond poset $\mathcal D_2$ (the two-dimensional Boolean lattice), Martin, Smith and Walker proved that $\sqrt n\leq\text{sat}^*(n, \mathcal D_2)\leq n+1$. In this paper we prove that $\text{sat}^*(n, \mathcal D_2)\geq (4-o(1))\sqrt n$. We also explore the properties that a diamond-saturated family of size $c\sqrt n$, for a constant $c$, would have to have.
About posets for which no lower cover or no upper cover has the fixed point property
For a finite non-empty set $X$, let $\mathfrak{P}(X)$ denote the set of all posets with carrier $X$, ordered by inclusion of their partial order relations. We investigate properties of posets $P \in \mathfrak{P}(X)$ for which no lower cover or no upper cover in $\mathfrak{P}(X)$ has the fixed point property. We derive two conditions, one of them sufficient for that no lower cover of $P$ has the fixed point property, the other one sufficient for that no upper cover of $P$ has the fixed point property. If $P$ itself has the fixed point property, the conditions are even equivalent to the respective total lack of lower or upper covers with the fixed point property. We use the results to confirm a conjecture of Schröder.
The permuto-associahedron revisited
Published
• View Publication
• BIB
A classic problem connecting algebraic and geometric combinatorics is the realization problem: given a poset, determine whether there exists a polytope whose face lattice is the poset. In 1990s, Kapranov defined a poset as a hybrid between the face poset of a permutohedron and that of an associahedron, and he asked whether this poset is realizable. Shortly after his question was posed, Reiner and Ziegler provided a realization. Based on our previous work on the nested braid fan, we provide in this paper a different realization of Kapranov's poset by constructing the vertex set and the normal fan of a permuto-associahedron simultaneously.
Model structures on finite total orders
Published
• View Publication
• BIB
We initiate the study of model structures on (categories induced by) lattice posets, a subject we dub homotopical combinatorics. In the case of a finite total order $[n]$, we enumerate all model structures, exhibiting a rich combinatorial structure encoded by Shapiro's Catalan triangle. This is an application of previous work of the authors on the theory of $N_\infty$-operads for cyclic groups of prime power order, along with new structural insights concerning extending choices of certain model structures on subcategories of $[n]$.
Metric properties of incomparability graphs with an emphasis on paths
Published
• View Publication
• BIB
We describe some metric properties of incomparability graphs. We consider the problem of the existence of infinite paths, either induced or isometric, in the incomparability graph of a poset. Among other things, we show that if the incomparability graph of a poset is connected and has infinite diameter, then it contains an infinite induced path. Furthermore, if the diameter of the set of vertices of degree at least $3$ is infinite, then the graph contains as an induced subgraph either a comb or a kite.