poset ↗ reference
2214 papers tagged with this keyword
Derived equivalences between diagram categories of finite posets
We study universal derived equivalences between diagram categories indexed by finite posets. Starting from a construction of Ladkani, we give an intrinsic criterion for determining when a finite poset admits a decomposition to which this construction can be applied. This leads to the notion of an admissible cut, formulated entirely in terms of the order structure of the poset. Our main result therefore provides a method for producing, from a given finite poset admitting such a cut, a new poset that is universally derived equivalent to it. The construction is reversible once the partition is retained, so that the original mixed order relations can be recovered from the transformed poset. As applications, we show that every finite poset of height at most one is universally derived equivalent to its opposite, give a criterion characterizing source-to-sink transformations at minimal elements, and recover the universal derived equivalence of all orientations of a finite tree through sequences of such local transformations. These results are also applied to persistence modules indexed by finite posets and to extensions obtained by adjoining further finite parameters.
A simple algorithm for computing Hamilton paths on independent set polytopes
The independent set polytope, or stable set polytope, of a graph $G$ is the 0/1-polytope defined by the convex hull of the characteristic vectors of all independent sets of $G$. We present a simple algorithm for computing a Hamilton path on the independent set polytope of a given $n$-vertex graph $G$ with amortized delay $\mathcal{O}(n)$. The independent sets are listed such that two consecutive sets differ either in removing a vertex, or adding a vertex and removing its neighbors from the independent set, i.e., the symmetric difference between two consecutive independent sets induces a star in $G$. As applications of this result, we obtain an algorithm to compute a Hamilton path on the matching polytope of an $m$-edge graph $G$ with worst-case delay $\mathcal{O}(m)$, which lists all matchings of $G$ in such a way that the symmetric difference between two consecutive matchings is a path on at most three edges. Furthermore, we obtain an algorithm to compute a Hamilton path on the chain polytope and order polytope of an $n$-element poset $P$ with amortized delay $\mathcal{O}(n)$, which lists all antichains of $P$ or all ideals of $P$, respectively, by star exchanges. Our algorithms are derived from the generic framework proposed by Merino and Mütze (FOCS'23+SICOMP'24) for computing Hamilton paths on arbitrary 0/1-polytopes, which uses a linear optimization procedure as a black box. Our algorithms bypass solving the computationally intractable maximum weight independent set problem by a simple and purely combinatorial greedy rule.
Layered mixed matrices and reaction networks
The purpose of this work is twofold. In the first part, we consider layered mixed matrices introduced by Murota, relate them to existing notions in combinatorial commutative algebra, and investigate the irreducibility of their determinants. Furthermore, for a layered mixed matrix in combinatorial canonical form, we determine the sparsity structure of its inverse. That is, we characterize which entries of the inverse are nonzero.
In the second part, we establish for the first time a formal connection between these algebraic results and the theory of buffering structures for reaction networks developed by Mochizuki and Okada. We identify the lattice of buffering structures with the lattice of order ideals of the block poset of the combinatorial canonical form of the associated layered mixed matrix. This allows us to characterize the reducibility of the symbolic Jacobian determinant as a polynomial in the reaction-rate derivatives, as well as the nonzero sensitivity responses of species concentrations to reaction-rate perturbations.
Relative Dimension of Posets
Dimension of partially ordered sets (posets for short) can be seen as a measure of how much space is needed to store posets. Refining the definition of dimension, or actually the local dimension, in this respect we obtain the notion of relative dimension. We discuss properties of relative dimension and we give bounds for relative dimension of some well-known families of posets.
Box-Delaunay graphs of large chromatic number
For every $n$, we construct a 2-dimensional $n$-element poset whose Hasse diagram has independence number $n\exp(-Ω(\sqrt{\log n}))$, and consequently, chromatic number $\exp(Ω(\sqrt{\log n}))$. This also yields an $n$-point planar set whose box-Delaunay graph satisfies the same bounds.
Maximal anti-Ramsey problems for posets
We study the forbidden poset analog of the maximal anti-Ramsey problem introduced for graphs by Burr, Erd\H os, Graham, and Sós. For integers $m\le 2^n$ and poset $P=(P,\preceq)$, we introduce $\mathrm{ar_m}(n,m,P)$ (and $\mathrm{ar^*_m}(n,m,P)$) to denote the minimum integer $k$ such that there exists a family $\mathcal{F}\subseteq 2^{[n]}$ with $|\mathcal{F}|=m$ and a coloring $\mathcal{F}\rightarrow [k]$ with all weak (strong) copies of $P$ being rainbow. As long as there exist $P$-free families of size $m$, these parameters equal 1. It is known that the largest size $La(n,P)$ ($La^*(n,P)$) of weak (strong) $P$-free families has order of magnitude $Θ(\binom{n}{\lfloor n/2\rfloor})$ unless $P$ is the antichain $A_k$ on $k$ elements. In this paper we study $\mathrm{ar_m}(n,m,P)$ and $\mathrm{ar^*_m}(n,m,P)$ in two regimes of $m$. We determine the asymptotics of these parameters for all posets $P$ when $m=2^n$. We also consider the case $m=Θ(\binom{n}{\lfloor n/2\rfloor})$. It is shown that for any connected poset $P$ and integer $k$, there exist integers $m_{P,k}$ and $m^*_{P,k}$ such that to color the middle $k$ layers of the Boolean lattice with all weak or strong copies of $P$ being rainbow, one needs $Θ(n^{m_{P,k}})$ or $Θ(n^{m^*_{P,k}})$ colors. For tree posets $T$, one has $m_{T,k}=m^*_{T,k}$. We conjecture that for any tree poset $T$, and positive real $\varepsilon$, $\mathrm{ar_m}(n,m,T),\mathrm{ar^*_m}(n,m,T)=Ω(n^{m_{T,k}})$ holds provided $m\ge (k-1+\varepsilon)\binom{n}{\lfloor n/2\rfloor}$. We prove our conjecture on $\mathrm{ar_m}(n,m,T)$ for an infinite class of tree posets.
Orthogonal adjointness in posets with $0$
Motivated by the concept of polarity introduced by G. Birkhoff for a binary relation on a set, we introduce a concept of orthogonality in a poset with $0$. A pair of operators $f$, $g$ on a poset with $0$ is called orthogonally adjoint if $f(x)$ is orthogonal to $y$ if and only if $x$ is orthogonal to $g(y)$. We characterize the existence and the uniqueness of $g$ for given $f$ and describe basic properties of orthogonal adjointness. We present constructions of orthogonally adjoint pairs in pseudocomplemented posets. If a given operator $f$ is an order-isomorphism of a pseudocomplemented poset satisfying some natural properties then the corresponding adjoint $g$ can be described explicitly. Moreover, if $f$ and $f^{-1}$ are bijective $\perp$-morphisms then they are orthogonally adjoint, too. Finally we show that a given pair of orthogonally adjoint mappings on a poset $\mathbf P$ may not be extendable to the Dedekind-McNeille completion of $\mathbf P$ and we present sufficient conditions for the existence of such an extension. We also provide sufficient conditions for the existence of an extension of orthogonally adjoint mappings to the lattice of ideals. Our results are illustrated by numerous examples.
Frankl's Conjecture at Height Four and the Structure of Height-Five Counterexamples
We study Frankl's union-closed sets conjecture through the height of the inclusion poset. Working in the equivalent empty-set-free formulation, where one seeks an element contained in strictly more than half of the members, we prove the conjecture for every finite union-closed family of height at most four. Equivalently, the usual at-least-half formulation holds for every union-closed family containing the empty set and having height at most five.
We also develop a structural theory for the next unresolved case. Assuming a smallest empty-set-free counterexample of height at most five, we show that it has even cardinality $2t$, at least three critical elements of frequency $t$, and satisfies the minimal-counterexample bound $t \geq 2n-1$. Every critical element determines a coatom of the form $U \setminus \{x\}$, while every critical pair satisfies a dichotomy between a full double-avoidance top and a large avoidance fiber admitting a three-layer trace normal form. Coordinate deletion further yields an exact matching-defect obstruction. Finally, introducing the minimum number of join-irreducible members required to cover all critical elements, we exclude the five-cover case and show that this critical join-cover number is either three or four. These results substantially constrain any possible height-five counterexample while leaving the remaining transfer problem explicit.
Braces on the cohomology of noncrossing 2-partitions
We show that the operadic structure on the cohomology of the poset of noncrossing 2-partitions is isomorphic to the Brace operad.
The Orlik--Solomon algebra of a locally geometric poset and cohomology of complex abelian arrangements
We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit vector space basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the rational cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement.
Meet obstructions and saturation for the constant window convolution on graded posets
Let $\mathsf{P}$ be a finite graded poset and $Δ_a^{\mathsf{P}}$ the height-$a$ thickening of its diagonal. We study the \emph{window convolution} $C_a=q_{1\sharp}(k_{Δ_a^{\mathsf{P}}}\otimes^{\mathbf L}q_2^\ast(-))$ on $\mathrm{Shv}(\mathsf{P};k)$. An interleaving distance needs the left derived $\mathbb{L}C_a$ to compose as a flow, $\mathbb{L}C_a\mathbb{L}C_b\simeq\mathbb{L}C_{a+b}$; the total meet functor $Φ$ gives rise to the canonical comparison. Finality is sufficient, and necessary where the finality defect of $Φ$ is essential; where $Φ$ is total at a minimal apex with unit windows, it is the failure of a length-two interval to have a single interior element. The flow fails at every branching length-two interval, and with it on the face poset of every finite regular cell complex of dimension $\ge2$. It survives on tame posets, where $\mathrm{id}\Rightarrow\mathbb{L}C_a$ gives a canonical extended interleaving pseudometric on $\operatorname{D^{b}}(\mathrm{Shv}(\mathsf{P};k))$; in the saturation cases computed here it takes no finite value above the length of $\mathsf{P}$, and is finite if and only if the derived colimits agree.
On facet gaps of order and chain polytopes
We discuss three questions from a recent paper of Bhandari, Cunningham, Morrell, Oh and Smith. We obtain an exact local formula for the facet gap between the order and the chain polytope of a finite poset. This gives a classification of the case $\gap(P)=2$ in terms of star elements. For marked chain--order polytopes, the same local weights determine the facet differences between all admissible decompositions.
A Canonical m-Atomic Decomposition of Bipartite Graphs via a Grid Model
We study finite, connected, simple bipartite graphs in a grid model, in which a graph is drawn as a rectangular array and its structure is read off from empty subrectangles, called holes. In this model we attach to every brick a numerical invariant, its characteristic m, the difference between the number of rows and the largest proper independent set. A brick is excessive if m > 0.
Our main results concern this invariant. We determine the characteristic of a disconnected excessive brick from those of its components, showing that m = min_i min{m_i, imb(W_i)} while the imbalance is additive; and we prove that an m-excessive brick is m-extendable, that is, every matching of size m extends to a maximum matching. Since Plummer's notion of n-extendability is defined only for graphs carrying a perfect matching, and our proof nowhere uses balance, the characteristic extends that notion canonically to unbalanced bipartite graphs. Using the characteristic we partition bipartite graphs into eleven structural classes.
The underlying decomposition into atomic blocks is the classical decomposition into elementary components, and the description of the maximum proper independent sets by ideals of the block poset is likewise classical; the paper states precisely which results are classical and are not claimed here. What the grid model adds is a single geometric framework in which holes, characteristics and the block triangular form are read off from one picture.
Crown-free families and forbidden subposets with $e(P)\in \{1,2\}$
The maximum size of a weak $P$-free family $\mathcal{F}\subseteq 2^{[n]}$ is denoted by $La(n,P)$. Let $e(P)$ denote the maximum integer $k$ such that the union of any $k$ consecutive layers of $2^{[n]}$ is weak $P$-free. In recent years, multiple examples of posets with $e(P)<π^-(P):=\liminf_{n\to\infty} \frac{La(n,P)}{\binom{n}{\lfloor \frac{n}{2}\rfloor}}$ have been found. We add several further posets with $e(P)=1$ to this list. We define a family $\mathcal{F}\subseteq 2^{[n]}$ of size at least $(1.22+o(1))\binom{n}{\lfloor \frac{n}{2}\rfloor}$ that is weak $O_6$-free, where $O_6$ is the six-element crown poset. We also show an infinite set of posets $P$ with $1=e(P)<π^-(P)$ that are minimal with respect to this property.
Finally, we consider how far apart $e(P)$ and $π^-(P)$ can be. We prove that for every fixed finite poset $P$ with $e(P)=1$, there is a constant $δ_P>0$ such that $La(n,P)\le(2-δ_P+o(1))\binom{n}{\lfloor n/2\rfloor}$. The value 2 is optimal: explicit vertex-edge incidence posets with $e(P)=1$ have $π^-(P)$ values tending to $2$. In contrast, for every $K>0$ we construct a finite poset $P$ with $e(P)=2$ and lower density greater than $K$.
Uniformity without Projective Consistency: An Exact Counterexample for a Nested Binary Term Grammar
Let T_0={L} and T_{r+1}={L} union {N(a,b):a,b in T_r}. On the nonleaf terms E_r, require each event N(a,b) to occur after its nonleaf children, and let mu_r be the uniform measure on the linear extensions of this poset. We study the restriction rho_43 that deletes the new level-4 events while preserving the relative order of the level-3 events. We prove that the pushforward of mu_4 under rho_43 is not mu_3. Two explicit orders on the 25 level-3 events have different numbers of level-4 extensions. If b_i is the number of T_2 terms, including the leaf, seen in a prefix of length i, the number of newly released events is (i+1)^2-b_i^2. The release profile of a depth-priority order dominates that of a level order pointwise and is strictly larger for 3<=i<=15. An explicit injection between admissible interleavings therefore gives a strict analytic fiber inequality. Two algorithmically independent exact computations reproduce both 1557-digit fiber counts; their reduced ratio is 614690215260160000/479048686862260621, approximately 1.2831476885707443. The analogous restrictions through level 3 are consistent, so 4-to-3 is the first failure in this grammar. The result is specific to this grammar, uniform measures, and restriction map.
Lascoux series, parking functions and noncrossing partitions
In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.
Order dimension beyond rank for simplicial hyperplane arrangements
We show that the order dimension of the poset of regions in a simplicial hyperplane arrangement can exceed its rank, answering a question of Reading and Segovia. Examples are Coxeter arrangements \(H_4\) and \(E_6\), with \( \dim W(H_4) \geq 5\) and \( \dim W(E_6) \geq 7\).
The Kelly--Trotter product conjecture for posets of dimension three
Kelly and Trotter conjectured that dim(P x Q) >= dim P + dim Q - 2 for all finite posets P and Q. We prove the conjecture when dim P = dim Q = 3. This also disproves Trotter's conjecture that, for every 1 <= m <= n, there exist finite posets P and Q with dim P = m, dim Q = n, and dim(P x Q) = n. We further prove that dim(C_k x P) = 4 for every finite poset P with dim P = 3 and every crown C_k with k >= 3. The proof uses the classification of 3-irreducible posets and graphs of critical pairs. For the six infinite noncrown families, we construct explicit non-3-colorable subgraphs. The ten fixed posets are handled by an exhaustive 3-coloring search.
On the Gap of Finite Posets
Let $P$ be a finite nonempty poset with $n$ elements, let $f:P\to\{1,\ldots,n\}$ be a uniformly random order-preserving bijection, and put $h_P(x)=\mathbb E[f(x)]$. Define $\operatorname{gap}(P)$ as the largest difference between consecutive values in the ordered list consisting of $0$, $n+1$, and all the expected ranks $h_P(x)$. Write $w(P)$ for the largest size of a pairwise incomparable subset. We prove three results. The first proves an old conjectural relation between width and expected-rank gaps that has appeared repeatedly, in increasingly general forms, in work of Brightwell and Trotter (2002), Biró and Trotter (2011), and Aires and Kahn (2025): $\operatorname{gap}(P)\le 2w(P)-1$. Second, for every $L>0$ we construct a width-two poset such that every maximal chain has an expected-rank gap of at least $L$, where the two endpoint spacings are included when computing this gap. Finally, for every $r\in\mathbb N$, we construct a poset $P_r$ for which the relative order induced on every nonempty selected set $X$ has base-two entropy below $3|X|$, while $\operatorname{gap}(P_r)\ge(3/2)^r$. Thus the gap can be arbitrarily large while the induced order on every selected set has relatively small entropy. The key ideas behind all three results were found by ChatGPT 5.6 Sol.
Weighted bond posets and a new chromatic symmetric function
The classical bond lattice of a graph was used in a formula of Whitney to compute the chromatic polynomial. In this paper, we use weighted versions of the bond lattice, to introduce and study a new polynomial and a new symmetric function invariant of a graph. Examples of the new polynomial invariant include the classical Narayana polynomials (for the path graph), the tree-Eulerian polynomials (for the complete graph), and the binomial-Eulerian polynomials (for the star graph). These examples suggest an interesting connection to $h$-polynomials of general graph-associahedra. We prove that for any chordal graph, our polynomial graph invariant is $γ$-positive.
Multiweighted bond posets yield a symmetric function graph invariant that is an analog of the chromatic polynomial. The highest degree homogeneous component of this symmetric function is of particular interest. The parking function symmetric function introduced by Haiman arises as an example, as do symmetric functions studied by the first author in connection with multibracketed Lie algebras and with colored exterior algebras. The $γ$-positivity result mentioned above is a specialization of an $e$-positivity result for the highest degree homogeneous component, which we prove for any chordal graph using the theory of lexicographic shellability. We conjecture that this symmetric function is Schur-log-concave, which specializes to Huh's log-concavity theorem for the chromatic polynomial.