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.

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.