The 5-cycle double cover conjecture for graphic matroids
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 -cycle double cover of a matroid is a family of at most cycles such that every element belongs to exactly two members.
Graphic matroid 5-cycle double cover conjecture. Every graphic matroid without coloops has a -cycle double cover.
This is the matroid formulation of the graph-theoretic -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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.