Skip to content
DraconiticResearch
Search Sources API
203,203 studies31 sourcesUpdated 34 min ago
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

  1. The Hibi--Li (2016) conjecture is fully resolved
    Dave Goel
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsGeometry & topologyarXiv
  2. A counterexample to the wrapping number conjecture
    Qiuyu Ren
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  3. A sharp bound on the binding number of Kk-free graphs and the Brandt conjecture
    Jifu Lin, Heng Yang
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
  4. Tuza's Ryser-conjecture claim for four-partite hypergraphs with matching number two
    Patrick White
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsarXiv
  5. A Counterexample to Teschner's Bondage-Number Conjecture
    Yousof Yavari
    arXivPreprintarXiv licenceFull textCombinatorics & discrete mathematicsarXiv
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  -