The unranked graphic order polytope conjecture

About 6 years old · traced to

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.

References

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.