Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology
(Submitted on 12 Feb 2018 (v1), last revised 8 Aug 2023 (this version, v4))
Abstract: Given any polytope $P$ and any generic linear functional ${\bf c} $, one obtains a directed graph $G(P,{\bf c})$ from the 1-skeleton of $P$ by orienting each edge $e(u,v)$ from $u$ to $v$ for ${\bf c} (u) < {\bf c} ( v)$. For $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice $L$, the join of any collection $S$ of elements which all cover a common element $u$ in $L$ is proven to equal the sink of the smallest face of $P$ containing $u$ and all of the elements of $S$. The author conjectures for such $G(P,{\bf c})$ that no directed path in $G(P,{\bf c})$ ever revisits any facet of $P$. This would imply for such $P$ and ${\bf c}$ that the simplex method for linear programming is efficient under all possible pivot rules. This conjecture is proven for 3-polytopes and for spindles.
For simple polytopes in which $G(P,{\bf c})$ is the Hasse diagram of a lattice $L$, the order complex of each open interval in $L$ is proven homotopy equivalent to a ball or a sphere. Applications are given to the weak Bruhat order, the Tamari lattice, and the Cambrian lattices.
This paper concludes with an appendix by Dominik Preu\ss proving the monotone Hirsch conjecture for $P$ a simple polytope and $G(P,{\bf c})$ the Hasse diagram of a lattice. This confirms one of the main consequences that the author's conjecture would have.
Submission history
From: Patricia Hersh [view email][v1] Mon, 12 Feb 2018 20:12:57 GMT (27kb)
[v2] Fri, 10 Aug 2018 00:52:05 GMT (31kb)
[v3] Mon, 18 Nov 2019 01:42:23 GMT (44kb)
[v4] Tue, 8 Aug 2023 22:04:44 GMT (63kb)
Link back to: arXiv, form interface, contact.