The non-bipartite matching-polytope toric ideal degree conjecture

Let GG be a non-bipartite graph, let MG\mathcal{M}_G be its matching polytope, and let IMGI_{\mathcal{M}_G} be the associated toric ideal. Write ω(IMG)\omega(I_{\mathcal{M}_G}) for the maximal degree of a minimal generator of this ideal.

Matching-polytope degree conjecture. One has

ω(IMG)≤4.\omega(I_{\mathcal{M}_G})\leq 4.

This conjecture extends the established bound ω(IMG)≤3\omega(I_{\mathcal{M}_G})\leq 3 for bipartite graphs; the paper gives non-bipartite examples attaining degree 44, but the general upper bound remains open.

References

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.