The wheel-graph matching-polytope degree conjecture

For an integer d4d\geq 4, let WdW_d be the wheel graph with rim vertices 1,,d11,\ldots,d-1 forming a cycle and hub vertex dd adjacent to every rim vertex. Let MWd\mathcal{M}_{W_d} be its matching polytope, let IMWdI_{\mathcal{M}_{W_d}} be the associated toric ideal, and let ω(IMWd)\omega(I_{\mathcal{M}_{W_d}}) denote the maximal degree of a minimal generator.

Wheel-graph degree conjecture. One has

ω(IMWd)={2if d is even,4if d is odd.\omega(I_{\mathcal{M}_{W_d}})= \begin{cases} 2 & \text{if $d$ is even},\\ 4 & \text{if $d$ is odd}. \end{cases}

The source notes that the odd case has lower bound 44 via odd subdivisions, while computations establish the value 22 for W4W_4 and W6W_6; the formula for all d4d\geq4 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).

Additional references

5 papers in this index state this conjecture (1997–2025). The statement above is taken from the most recent of them; the others are arXiv:2305.16847, arXiv:2304.08112, arXiv:1308.6678, arXiv:q-alg/9703025.

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.