Diamond generation of bichromatic-forbidding 4-candidates
Conjecture 30 · arXiv:2504.08327
Status open high confidence
Conjecture 30 from arXiv:2504.08327 proposes a complete recursive generation scheme for bichromatic-forbidding 4-candidates via three explicit expansion operations starting from the diamond graph. The conjecture was posed by the authors in April 2025 as part of the structural analysis underlying their main 4-coloring conjecture for graphs with one crossing. No follow-up work addressing this conjecture was found in the indexed literature as of May 2026.
Reviewer notes. No follow-up paper addressing Conjecture 30 was found after 5 web calls. The conjecture is a highly technical structural claim internal to the proof strategy of the paper: it asserts that the class of bichromatic-forbidding 4-candidates is closed under and exhausted by three specific expansion operations applied to the diamond graph (Lemmas 27, 28, 29). The paper is recent (April 2025) and this specific conjecture is likely too specialized to attract independent attention yet.
Context
A plane graph with outer face bounded by a 4-cycle is bichromatic-forbidding if no 4-colouring assigns the same colour to opposite pairs of the bounding 4-cycle. A 4-candidate is a specific class of such graphs arising in the structural analysis of non-4-colourable graphs in $\mathcal{C}$. The conjecture proposes a complete recursive generation scheme for this class via three explicit expansion operations.
Source paper
On a conjecture concerning 4-coloring of graphs with one crossing
Zdeněk Dvořák, Bernard Lidický, Bojan Mohar · 2025-04-14
https://arxiv.org/abs/2504.08327