The f-vector comparison conjecture for order and chain polytopes

About 14 years old · traced to

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,…,fd−1),f(C(P))=(f0′,f1′,…,fd−1′).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 fi≤fi′f_i\leq f'_i for all 1≤i≤d−11\leq i\leq d-1. Moreover, if fi=fi′f_i=f'_i for some 1≤i≤d−11\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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.