The f-vector comparison conjecture for order and chain polytopes

From papers

Let PP be a finite poset with P=d>1|P|=d>1. The order polytope O(P){\mathcal O}(P) and chain polytope C(P){\mathcal C}(P) are the polytopes associated with PP, and write their ff-vectors as

f(O(P))=(f0,f1,,fd1),f(C(P))=(f0,f1,,fd1).f({\mathcal O}(P))=(f_0,f_1,\ldots,f_{d-1}),\qquad f({\mathcal C}(P))=(f'_0,f'_1,\ldots,f'_{d-1}).

The f-vector comparison conjecture. One has fifif_i\leq f'_i for all 1id11\leq i\leq d-1. Moreover, if fi=fif_i=f'_i for some 1id11\leq i\leq d-1, then O(P){\mathcal O}(P) and C(P){\mathcal C}(P) are unimodularly equivalent.

The claim compares the face numbers of the two naturally associated polytopes. The supplied text does not give evidence that this statement has been resolved, so its status remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Takayuki Hibi and Nan Li, “Unimodular equivalence of order and chain polytopes”, arXiv:1208.4029 (2012).

Solutions 0

No solutions have been posted yet.