The 5-cycle double cover conjecture for graphic matroids

A graphic matroid is the cycle matroid of a graph. A coloop is an element belonging to every basis, and a kk-cycle double cover of a matroid is a family of at most kk cycles such that every element belongs to exactly two members.

Graphic matroid 5-cycle double cover conjecture. Every graphic matroid without coloops has a 55-cycle double cover.

This is the matroid formulation of the graph-theoretic 55-cycle double cover conjecture. The source establishes an eight-cycle bound for graphic matroids without coloops but leaves the five-cycle bound open.

Sources & referencesView supporting material

Primary source

Sang-il Oum, “A proof of the cycle double cover conjecture by OpenAI: An exposition”, arXiv:2607.16356 (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.