poset ↗ reference
2287 papers tagged with this keyword
An Explicit Counterexample to Stanley's Rankwise Lower-Bound Conjecture for Differential Posets
In Problem~6 of his 1988 paper on differential posets, Stanley asked for the least possible cardinality of a fixed rank of an $r$-differential poset and suggested that the minimum should be attained by $Y^r$, the $r$-fold Cartesian power of Young's lattice. We disprove the resulting universal coefficientwise lower bound. For every $r\geq 3$, we construct an infinite $r$-differential poset $P^{(r)}$ satisfying \[
\card{P^{(r)}_4}
=\card{(Y^r)_4}-\left\lfloor\frac r3\right\rfloor. \] For $r=3$, the construction replaces thirteen rank-four lower-cover blocks of $Y^3$ by twelve blocks with the same point and pair incidence multiplicities, producing the initial rank sequence $1,3,9,22,50$ instead of $1,3,9,22,51$. A reflection extension then yields an infinite differential poset. The construction does not address the cases $r=1$ and $r=2$.
A closed form for the block-statistic generating function of the $2\times n$ rectangle: the two-row case of Kahane's conjecture
Kahane (arXiv:2607.11225) proves that for a fence poset $P$ of size $n$, $n!\,Ω(P;t)=\sum_{σ\in S_n} t^{\mathrm{bl}(σ)}$, with $\mathrm{bl}(σ)$ a canonical block count, and conjectures (Conjecture 4.4) that the identity extends to the cell poset of any skew shape, with $\mathrm{bl}$ replaced by a constructively-defined extension $\widetilde{\mathrm{bl}}$. We prove the conjecture for every $2\times n$ rectangle -- the first genuinely two-dimensional case, where blocks are no longer path-intervals and the statistic is a correlated function of both rows. We introduce a two-parameter growth-state generating function $W_n(α,β;t)$ refining $\sum_σt^{\widetilde{\mathrm{bl}}(σ)}$ by the rank $α$ of the bottom-row minimum and the rank $β$ of the rightmost top cell's block-root, and prove the closed form $W_n(α,β;t)=(α-1)!\,B(n,β-2)\,S_n(α,β;t)$ ($n\ge 1$), where $B(n,k)$ is the Catalan triangle and $S_n$ a rising-factorial skeleton. The proof is an induction on $n$ through Kahane's column-insertion transition, whose load-bearing structural fact -- the block-root below a newly inserted top cell is always the global bottom-row minimum -- reduces the induction to a Catalan-triangle computation. Summing over $(α,β)$ telescopes to $C_n\,t^{\overline{n}}(t+1)^{\overline{n}}$, which by MacMahon's product formula equals $(2n)!\,Ω(R_{2,n};t)$. Every load-bearing step is a complete general-$n$ argument; the transition table and the inductive step are cross-checked by exhaustive enumeration (through $n=8$ and $n=9$) via an independent from-scratch implementation. General skew shapes and $m>2$ rows remain open.
Acyclic Poset Multiplihedra and their Quotients
Two families of polytopes underlie the combinatorics of associative operations. Associahedra and multiplihedra respectively capture the information in the operation itself and in the morphisms that respect that operation. The first applications of these polytopes, from Stasheff, were for modeling homotopy associative spaces and their homotopy homomorphisms. Later, lax and weak higher categories used both as the shapes of commuting diagrams. More recently, the associahedra have been generalized to versions based on graphs, and then to posets: the acyclonestohedra. Here we use the graph multiplihedra to define and realize new multiplihedra for the acyclonestohedra. Quotients of these are also studied, concluding with the interval polytopes of the order polytopes of posets.
On the Slice Rank of Tensors in P-Echelon Form
For a totally ordered finite set $A$ with the total order $Q$, a poset $P=([d],\le_P)$, and a field $\mathbb{F}$, a tensor $T:A^d\longrightarrow \mathbb{F}$ is in $P$-echelon form if $r\le_{P}s$ in $P$ implies $a_r\le_Q a_s$ in every tuple $(a_1,\dots,a_d)$ in the support of $T$. We prove that if the Hasse diagram of $P$ has no isolated vertex, then tensors in $P$-echelon form with nonzero diagonal entries have full slice-rank. Our results extend and improve on recent results of Amanov and Yeliussizov.
Correction: N-free posets and orthomodularity
We present a corrected version of a theorem from the paper "N-free posets and orthomodularity" published in Order 43(1) (2026).
On unirational varieties with poset parameterizations
We use partially ordered sets (posets) to provide a canonical parameterization for the Zariski closure of the image of a semialgebraic set under a rational map whose coordinate functions are polynomials with nonnegative integral coefficients. The resulting poset parametrization of such a unirational variety allows us to translate several well-studied problems into combinatorics; e.g. reducing the problems to describing the poset associated to the variety. These problems include, the implicitization problem from algebraic geometry, the toric reparameterization problem, the computation of the linear span of the variety, and the problem of distinguishing two semialgebraic subsets of the same ambient space. The technique applies to instances of these problems in several fields, including algebraic geometry, algebraic combinatorics, statistics and applied algebra. We demonstrate the technique on examples from each field, including degenerate subvarieties of secant varieties, matroid flat varieties -- which generalize toric varieties of edge polytopes, as well as varieties arising in multivariate data analysis and evolutionary biology.
Further thoughts on dimensions of posets
We recall the concept of the dimension of a finite poset $P$, and the longstanding conjecture that for all finite nonempty posets $P$ and $Q$, $\dim(P\times Q)\geq\dim(P)+\dim(Q)-2.$ We then note two other plausible inequalities, either of which would imply that one.
In the final section, writing $P\preccurlyeq P'$ if, for all $Q,$ $\dim(P\times Q)\leq\dim(P'\times Q),$ and writing $P\approx P'$ if $P\preccurlyeq P'$ and $P'\preccurlyeq P,$ we note some results and questions concerning these relations.
Matroid correspondence
Motivated by algebraic correspondences and linear operators associated with volume and Lorentzian polynomials, we introduce matroid correspondences and their polymatroid analogues. A matroid correspondence defines a functor between poset categories of matroids whose morphisms are matroid quotients, and various standard functors, including deletion, contraction, free extension, truncation, intersection, union, and pullback, arise in this way. We show that these correspondences preserve representability and algebraicity under natural hypotheses. In the polymatroid setting, we establish compatibility with multisymmetric lifts. Finally, we relate this construction to the supports of linear operators with Lorentzian symbols.
Even smaller universal posets
We show that for every $η>0$ and sufficiently large $n$, there exists a poset of size $2^{(1+η)n/2}$ containing all the $n$-element posets as induced subposets. This improves a recent result of Bastide, Groenland and Nenadov. Our proof provides a labeling scheme preserving transitivity, inspired by the Boolean lattice. Among other tools, we use the Szemerédi Regularity Lemma.
Combinatorial interpretation of the coefficients of the order polynomial of fence posets
Given a fence poset P , we define a new statistic on permutations, denoted by blP, that provides a combinatorial interpretation of the coefficients of the order polynomial of P , answering a question of Ferroni, Morales, and Panova (2025). Using the fact that the base polytope of a lattice path matroid can be decomposed into order polytopes of fence posets, we also obtain a combinatorial interpretation of the coefficients of the Ehrhart polynomial of the base polytope of Schubert matroids, answering a question of Stanley (1999). As an application of this statistic, we establish the first nontrivial lower bound for the linear coefficient of the Ehrhart polynomial of an order polytope. Finally, we conjecture generalizations of this statistic to skew-shape posets and circular fence posets.
On the maximum size of $B_3$-free families
A family $\mathcal{G}$ of sets is a weak copy of the poset $(P,\leqslant)$ if there exists a bijection $ι:P\rightarrow \mathcal{G}$ with $ι(p)\subset ι(q)$ whenever $p\leqslant q$. $\mathcal{G}$ is a strong copy if $ι(p)\subset ι(q)$ if and only if $p\leqslant q$ holds. A family is weak (strong) $P$-free if it does not contain any weak (strong) copies of $P$. For a poset $P$, let $e(P)$ ($e^*(P)$) denote the most number of middle layers of $2^{[n]}$ that does not contain a weak (strong) copy of $P$. Ellis, Ivan, and Leader were the first to show the existence of posets $P$ for which there exists a positive real $\varepsilon_P$ such that $La(n,P)\ge (e(P)+\varepsilon_P)\binom{n}{\lfloor n/2}$ and $La^*(n,P)\ge (e^*(P)+\varepsilon_P)\binom{n}{\lfloor n/2}$ holds, where $La(n,P)$ ($La^*(n,P)$) denotes the maximum size of a weak (strong) $P$-free family $\mathcal{F}\subseteq 2^{[n]}$. More precisely, they showed that $P=B_d$ are such posets for all $d\ge 4$, where $B_d$ is the Boolean lattice ordered by inclusion. Very recently, Tompkins showed that the diamond $B_2$ is also such a poset. In this short note, we apply his method to settle the case of the last Boolean poset $B_3$. We show that there exists a positive $\varepsilon$ such that $$La^*(n,B_3)\ge La(n,B_3)\ge La(n,D_6)\ge (3+\varepsilon)\binom{n}{\lfloor n/2\rfloor},$$
where $D_6$ is the poset on eight elements $a<b_1,\dots,b_6<c$.
Magnitude homology of tope graphs
We completely determine the magnitude homology of tope graphs of real hyperplane arrangements. Their ranks can be described as the Hilbert functions of the Stanley--Reisner rings of certain simplicial complexes naturally associated with the arrangements. For Coxeter arrangements, this gives a computation of the magnitude homology of the Cayley graph of the corresponding Coxeter group. We also prove the homological reciprocity for central arrangements conjectured by Koizumi--Liu. The proof combines poset combinatorics, the Edelman--Walker theorem, and Alexander duality.
An Overlap Construction for Relative Linear Extension Ratios
Chan and Pak introduced the relative linear extension ratio $ρ(P,x)=e(P)/e(P-x)$, where $e(P)$ is the number of linear extensions of a finite poset $P$, and let $ν(c,d)$ be the least number of elements of a poset that realizes $ρ(P,x)=d/c$. They proved that $ν(c,d)\le d/c+O(\log d\log\log d)$ for $d\ge 3c$, and asked whether the hypothesis $d\ge 3c$ can be relaxed to $d\ge(1+\varepsilon)c$ or removed. We prove the fixed-gap form of this question: for every fixed $\varepsilon>0$, $ν(c,d)\le \frac{d}{c}+O_{\varepsilon}(\log d\log\log d)$ whenever $d\ge(1+\varepsilon)c$, and the implied constant is absolute once $d\ge 2c$. The new ingredient is a one-element overlap construction: if $x$ is minimal in $P$ and $y$ is minimal in $Q$, then there is a poset $R$ with $|R|=|P|+|Q|-1$ and an element $z$ such that $ρ(R,z)=ρ(P,x)+ρ(Q,y)-1$. Together with the continued-fraction construction of Chan and Pak and Rukavishnikova's tail bound for sums of partial quotients, this removes the factor $3$ in their range. We also show that the fixed-gap hypothesis is essentially optimal for this construction. In the range $1 < d/c < 2$, with $h=d-c$, the size bound the construction can certify is at least $\lfloor c/h\rfloor$, so the method reaches the stated error term only when $h$ is at least of order $c/(\log c\log\log c)$. The remaining obstruction to removing the hypothesis is a short-interval problem for sums of partial quotients, which we describe. The deductive part of the argument has been checked with the Lean proof assistant.
Planarity and dimension II
The dimension of a poset $P$ is the minimum positive integer $d$ such that $P$ is an induced subposet of $\mathbb{R}^d$ equipped with the product order. We give a constant-factor polynomial-time approximation algorithm for computing dimension in the class of posets with a planar (Hasse) diagram. While computing the dimension of a poset is NP-hard in general, the computational complexity of the problem for planar posets remains open. The algorithmic result is driven by a structural understanding of the canonical obstruction to small dimension: standard examples. A longstanding problem, originating in the early 1980s, asked whether every poset with a planar diagram has dimension bounded by a function of the maximum order of a standard example that it contains. In the first paper of the series, we have resolved the problem in a more general setting of posets with planar cover graphs by establishing a polynomial bound. We prove a stronger bound in the original setting, namely, for every poset $P$ with a planar diagram $\mathrm{dim}(P) \leq 96\mathrm{se}(P)+672$, where $\mathrm{dim}(P)$ denotes the dimension of $P$ and $\mathrm{se}(P)$ denotes the maximum order of a standard example contained in $P$.
An Improved Lower Bound for Diamond-Free Families
We construct a diamond-free family in the Boolean lattice whose size is asymptotically larger than the union of two middle layers. Denote the diamond poset by $Q_2$ and let $La(n,Q_2)$ be the maximum size of a family in $2^{[n]}$ containing no weak copy of $Q_2$. We prove $La(n,Q_2) \ge (c+o(1))\binom{n}{\lfloor n/2\rfloor}$, where $c \approx 2.147908$. In particular, this disproves the diamond conjecture.
Subword representations and weak hypercube dimension for acyclic categories
We introduce a categorical analogue of weak hypercube representations of finite posets by means of faithful embeddings into categories of subwords of finite words. For finite acyclic categories, we characterize those admitting such a weak subword representation: they are precisely the monic categories whose hom-sets carry a left-compatible local total order. The proof is constructive and gives an explicit word representation. We also introduce a query game for categories, generalizing a Boolean query game for posets, and show how winning sets produce explicit word representations and hence upper bounds for the weak word dimension.
Orlik--Solomon sheaf homology of geometric lattices
We associate the Orlik--Solomon sheaf with a finite geometric lattice and compute its sheaf homology. We show that this homology concentrates in top degree, admitting a convolution-type decomposition into a principal ideal OS piece tensoring with a principal filter complement poset homology. Applications to uniform matroids provide interesting representations of symmetric groups.
Equality conditions for correlation inequalities
We prove equality conditions for the Ahlswede--Daykin (AD) inequality and the Fortuin--Kasteleyn--Ginibre (FKG) inequality. We then present a number of applications and special cases of these equality conditions. These include Björner's and Fishburn's inequalities for linear extensions of finite posets, the Lam--Postnikov--Pylyavskyy (LPP) and the Okounkov inequalities for Schur positivity of products of Schur functions. We conclude with equality conditions for the Ahlswede--Daykin--Schur (ADS) inequality recently introduced in Chan--Chen--Pak--Soskin (2026), which is an AD type extension of the LPP inequality.
A note on long nontrivial cycle in Hamiltonian graphs
Let $G$ be an $n$-vertex graph containing a Hamiltonian cycle and with minimum degree at least $3$. Girão, Kittipassorn and Narayanan (Israel J. Math., 2019) proved that $G$ contains another cycle of length at least $n-O(n^{4/5})$. In this paper, we improve their bound to $n-O(n^{2/3})$. Our proof is combined with a constructive method, which is based on a poset result, and a nonconstructive method. And the bound is best possible under these two methods.
Characterizing finite posets whose probabilistic powerdomain are RB-domains
We classify the finite posets whose probabilistic powerdomain is an RB-domain. For a finite nonempty poset \(P\), let \(\Vone(P)\) be the probability powerdomain of $P$, which is the probability simplex ordered by the stochastic order. We prove that \(\Vone(P)\) is an RB-domain if and only if \(P\) has a least element and the undirected Hasse graph of \(P\) is a tree. Consequently, the probabilistic powerdomain does not preserve RB-domains; the four-point diamond gives a finite counterexample. The proof separates two obstructions. First, if \(P\) has no least element, then the face of probability measures supported on the minimal points must be fixed pointwise by every deflation below the identity. Secondly, once a least element exists, the Hasse graph is connected, and a cycle in it makes the local stochastic cone non-simplicial. A Euclidean finite-step cone argument then rules out the finite-valued monotone approximations supplied by the RB property.