Mkrtchyan–Hakobyan S12S_{12}-Conjecture

From papers

Let GG be a finite graph, and for graphs GG and HH write HGH\prec G when there is an HH-coloring of GG: a mapping f ⁣:E(G)E(H)f\colon E(G)\to E(H) that maps adjacent edges to distinct edges and satisfies f(G(v))=H(u)f(\partial_G(v))=\partial_H(u) for some uV(H)u\in V(H) at every vertex vV(G)v\in V(G). A graph is cubic if every vertex has degree three, and a perfect matching is a set of pairwise nonadjacent edges meeting every vertex exactly once. Let S12S_{12} be obtained from S10S_{10} by replacing its central vertex with a triangle.

S12S_{12}-Conjecture. If GG is a cubic graph with a perfect matching, then

S12G.S_{12}\prec G.

The conjecture was proposed by Mkrtchyan and Hakobyan; the supplied source announces a counterexample to it, so the assertion is refuted.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Isaak H. Wolf, “A counterexample to the S_10- and the S_12-Conjecture”, arXiv:2509.14184 (2025).

Solutions 0

No solutions have been posted yet.