Math 2.0

Proposition

Circular embedding conjecture

Statement

If a graph has a cycle double cover, the cycles of the cover can be used to form the 2-cells of a graph embedding onto a two-dimensional cell complex. In the case of a cubic graph, this complex always forms a manifold. The graph is said to be circularly embedded onto the manifold, in that every face of the embedding is a simple cycle in the graph. However, a cycle double cover of a graph with degree greater than three may not correspond to an embedding on a manifold: the cell complex formed by the cycles of the cover may have non-manifold topology at its vertices. The circular embedding conjecture or strong embedding conjecture states that every 2-vertex-connected graph has a circular embedding onto a manifold. If so, the graph also has a cycle double cover, formed by the faces of the embedding.

For cubic graphs, 2-vertex-connectedness and bridgelessness are equivalent. Therefore, the circular embedding conjecture is clearly at least as strong as the cycle double cover conjecture.

If a circular embedding exists, it might not be on a surface of minimal genus: Nguyen Huy Xuong described a 2-vertex-connected toroidal graph none of whose circular embeddings lie on a torus.

Further reading

  1. Wikipedia, page 21486302, revision 1365384326, Cycle double cover, section Circular embedding conjecture. adopted
About this page
Tag30V6WXQZ5F
URIm2://30V6WXQZ5F
Kindstatement, proposition
WritingW0 stub
StatusThis copy of the site has no build data. Run m2 status 30V6WXQZ5F.
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • edge uses out: each definition that the statement needs (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.