The perfect-graph characterization of quadratic stable-set toric ideals

Let GG be a perfect graph. Let SG\mathcal{S}_G denote its stable-set polytope and ISGI_{\mathcal{S}_G} the associated toric ideal. Use the notions of perfectly contractile graph, odd hole, antihole, and odd prism as defined above.

Stable-set ideal conjecture. The following conditions are equivalent:

  1. GG is perfectly contractile.
  2. GG contains no odd holes, no antiholes, and no odd prisms.
  3. ω(ISG)=2\omega(I_{\mathcal{S}_G})=2.

The conjecture links the structural characterization of perfectly contractile perfect graphs with quadratic generation of the stable-set polytope's toric ideal; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Kenta Mori, Ryo Motomura, Hidefumi Ohsugi and Akiyoshi Tsuchiya, “Toric ideal of matching polytopes and edge colorings”, arXiv:2501.19209 (2026).

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.