The unranked graphic order polytope conjecture

Let P\operatorname{\mathscr{P}} be a finite poset, not necessarily ranked, with no antichain of size 33. Its order polytope O(P)\operatorname{\mathcal{O}}(\operatorname{\mathscr{P}}) is the polytope associated with P\operatorname{\mathscr{P}} by the order-polytope construction.

Unranked graphic order polytope conjecture. The order polytope O(P)\operatorname{\mathcal{O}}(\operatorname{\mathscr{P}}) is graphic.

This conjecture proposes dropping the ranked hypothesis from the preceding theorem characterizing a class of graphic order polytopes. The paper notes that rankedness is not necessary and gives non-ranked graphic examples, but does not establish the conjecture in general.

Sources & referencesView supporting material

Primary source

Tristram Bogart, João Gouveia and Juan Camilo Torres, “An Algebraic Approach to Projective Uniqueness with an Application to Order Polytopes”, arXiv:2005.00640 (2020).

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.