{"id":"arxiv/2610.40703","url":"https://arxiv.org/abs/2610.40703","tags":["math.CO","math.MG"],"score":0,"title":"The Hibi--Li (2016) conjecture is fully resolved","domain":"math.CO","source":"arxiv","authors":["Dave Goel"],"reviews":0,"subject":"math.CO","summary":"Hibi and Li conjectured that the order polytope $\\mathcal{O}(P)$ of a finite poset $P$ has at most as many faces of each dimension as its chain polytope $\\mathcal{C}(P)$, and that equality in some dimension $k$ with $1\\leq k\\leq|P|-1$ forces the two polytopes to be unimodularly equivalent. Fourier proved the inequality in a 2026 preprint. Let $X$ be the five-element poset in which an element lies above two incomparable elements and below two other incomparable elements. Building on Fourier's proof, we show that if an $n$-element poset contains $X$ as an induced subposet, then, for every $k$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-28","reactions":{}}