PreprintCC BY 4.0arXiv
The Hibi-Li Face-Number Conjecture
Abstract
We prove the face-number conjecture of Hibi and Li: for every finite poset, the order polytope has no more faces of any given dimension than the chain polytope. More generally, the face numbers increase weakly along the admissible family of chain--order polytopes when one order coordinate is replaced by a chain coordinate. We also prove that, unless the order and chain polytopes are unimodularly equivalent, all face-number inequalities in dimensions 2,…,|P|−1 are strict.
Related
- The Hibi--Li (2016) conjecture is fully resolved
- A counterexample to the wrapping number conjecture
- A sharp bound on the binding number of Kk-free graphs and the Brandt conjecture
- Tuza's Ryser-conjecture claim for four-partite hypergraphs with matching number two
- A Counterexample to Teschner's Bondage-Number Conjecture
BibTeX
@misc{fourier2026hibili,
title = {{The Hibi-Li Face-Number Conjecture}},
author = {Ghislain Fourier},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.23629},
eprint = {2609.23629},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.23629},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - The Hibi-Li Face-Number Conjecture
AU - Ghislain Fourier
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2609.23629
UR - https://arxiv.org/abs/2609.23629
AB - We prove the face-number conjecture of Hibi and Li: for every finite poset, the order polytope has no more faces of any given dimension than the chain polytope. More generally, the face numbers increase weakly along the admissible family of chain--order polytopes when one order coordinate is replaced by a chain coordinate. We also prove that, unless the order and chain polytopes are unimodularly equivalent, all face-number inequalities in dimensions 2,…,|P|−1 are strict.
ER -