Pith. Sign in

REVIEW

On the cyclic coloring conjecture

Combinatorics · Submitted 22 Sep 2020 · 28 references

Pith's verdict: A genuinely useful reduction of Borodin's cyclic coloring conjecture, but the proof of the reduction needs a real fix around 2-connectedness before I'd trust the equivalence.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 27, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 5 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2009.10436 (version 1)
Pith IDASTJ3CZU, Pith's permanent record of this paper and its review
CitationRoman Sotak, Stanislav Jendrol. "On the cyclic coloring conjecture." arXiv:2009.10436 (2020). https://pith.science/paper/ASTJ3CZU
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

The paper proves that the 1984 Cyclic Coloring Conjecture for all connected plane graphs is equivalent to the same bound restricted to subdivisions of simple 3-connected plane graphs, so settling the small family settles the old conjecture.

The reading

This note attacks the 1984 Cyclic Coloring Conjecture, which states that every connected plane graph $G$ admits a vertex coloring in which any two vertices sharing a face receive different colors, using at most $\lfloor \frac{3}{2}\Delta^*(G)\rfloor$ colors, where $\Delta^*(G)$ is the largest face size. The authors prove a reduction: the full conjecture holds if and only if the same bound holds for the much smaller family of subdivisions of simple 3-connected plane graphs (Theorem 4). The proof takes a hypothetical minimal counterexample, cuts it along a separating cycle of length at most $\Delta^*(G)$, colors the two smaller pieces, and glues the colorings back together. On the restricted family the paper proves four new upper bounds, three of them tight, and derives the conjecture for subdivisions of triangulations, quadrangulations, even-face pentagulations, and regular subdivisions. If the reduction is sound, the old open problem has been compressed to a bounded subproblem that appears substantially closer to reach.

What carries the argument

The load-bearing mechanism is the separating-cycle reduction of Theorem 3: every 2-connected plane graph with at least four faces that is not a subdivision of a simple 3-connected plane graph contains a separating cycle $C_n$ of length $n \leq \Delta^*(G)$. The reduction $R(G)$, obtained by contracting each maximal path whose interior vertices all have degree 2 into a single edge, organizes the argument: if $R(G)$ is simple and 3-connected the graph is already in the good family, otherwise $R(G)$ carries a 2-face or a suitable 2-vertex cut, which is converted into the short separating cycle. The second mechanism is the gluing step in Theorem 4: two cyclic colorings of the pieces of a graph cut along a cycle of length at most $\Delta^*$ can be aligned on the shared cycle, because every face of the whole graph survives in one of the pieces and the pieces meet only along the cycle. For the bounds on the restricted family, the central object is the subdivision multigraph $S(G)$, whose vertices are the faces of $G$ and whose edges are the degree-2 vertices of $G$, each edge joining the two faces its vertex is incident with; coloring the inserted vertices is exactly edge-coloring $S$, so a classical edge-coloring bound and an edge-coloring bound with a multiplicity term supply the color counts in Theorems 7 and 8.

Extended reading notes

Core claim

The central claim is Theorem 4: the Cyclic Coloring Conjecture (Conjecture 1, $\chi_c(G) \leq \lfloor \frac{3}{2}\Delta^*(G)\rfloor$ for every connected plane graph $G$) is equivalent to Conjecture 3, the same bound restricted to subdivisions of simple 3-connected plane graphs. One direction is immediate; the paper proves the converse. A counterexample $H$ with the fewest faces, then fewest vertices, is asserted to be 2-connected, is shown by Lemma 1 to have at least four faces, and cannot be a subdivision of a simple 3-connected plane graph; Theorem 3 then provides a separating cycle $C_n$ with $n \leq \Delta^*(H)$. Cutting $H$ along $C_n$ gives two smaller plane graphs $H_1, H_2$ with maximum face degree at most $\Delta^*(H)$; applying the conjectured bound to each and adjusting the palettes so the two colorings agree on the $n$ vertices of $C_n$ yields a cyclic coloring of $H$ with at most $\lfloor \frac{3}{2}\Delta^*(H)\rfloor$ colors, a contradiction. For the restricted family, the paper proves four new bounds: one (Theorem 5) by specializing a known $k^*$-based bound, using $k^* = t(G) + 2$ for subdivisions, and three (Theorems 6, 7, 8) by transferring the problem of coloring inserted degree-2 vertices to an edge-coloring problem on an auxiliary multigraph; three of the four bounds are shown to be tight.

Load-bearing premise

The proof assumes, without giving an argument, that a counterexample with the fewest possible faces and then the fewest possible vertices must be 2-connected, and the separating-cycle theorem it relies on applies only to 2-connected graphs; if a minimal counterexample could have a cut vertex, the reduction and the claimed equivalence would not follow from the proof as written.

Editorial extensions

If this is right

  • The 1984 conjecture is true exactly if its bound holds for subdivisions of simple 3-connected plane graphs, so work on it can ignore all other connected plane graphs (Theorem 4).
  • The conjecture is verified for subdivisions of plane triangulations, of simple 3-connected plane quadrangulations, and of simple 3-connected plane pentagulations with even maximum face degree (Corollary 2).
  • The conjecture is verified for regular subdivisions of simple 3-connected plane graphs whose edges are all replaced by paths of one common length at least two, and for subdivisions whose maximum face degree is large enough compared with $t(G)$, the length of the longest path consisting of degree-2 vertices (Corollaries 1, 3, and 5).
  • Three of the four new bounds on the restricted family are tight, and a prism construction (Lemma 2) attains $\lfloor \frac{3}{2}\Delta^*(G)\rfloor$ exactly, so the restricted family already contains graphs that meet the conjectured ceiling.
  • The paper's Conjecture 4, that $\chi_c(G) \leq \Delta^*(G) + t(G) + 2$ for such subdivisions, unifies two older conjectures and cannot be improved, since the same prism construction is tight for it.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The gluing step needs only that the separating cycle is no longer than the color budget, so the equivalence would survive a relaxation of Theorem 3 to separating cycles of length up to $\lfloor \frac{3}{2}\Delta^*\rfloor$; the paper proves the stronger length bound $n \leq \Delta^*$ but does not use the extra room.
  • Since inserted degree-2 vertices are colored through the subdivision multigraph, the conjecture is, for this family, an edge-coloring problem in disguise; better edge-coloring bounds for these special multigraphs would improve Theorem 7 directly toward $\lfloor \frac{3}{2}\Delta^*\rfloor$.
  • The reduction implies that a counterexample to the full conjecture, if one exists, must belong to the complement of the good family and must resist every separating cycle of length at most $\Delta^*$; a search for counterexamples can therefore be restricted to graphs whose reductions fall into the 2-face or 2-cut cases of Theorem 3.
Original abstract

A cyclic coloring of a plane graph $G$ is a coloring of its vertices such that vertices incident with the same face have distinct colors. The minimum number of colors in a cyclic coloring of a plane graph $G$ is its cyclic chromatic number $\chi_c(G)$. Let $\Delta^*(G)$ be the maximum face degree of a graph $G$. In this note we show that to prove the Cyclic Coloring Conjecture of Borodin from 1984, saying that every connected plane graph $G$ has $\chi_c(G) \leq \lfloor \frac{3}{2}\Delta^*(G)\rfloor$, it is enough to do it for subdivisions of simple $3$-connected plane graphs. We have discovered four new different upper bounds on $\chi_c(G)$ for graphs $G$ from this restricted family; three bounds of them are tight. As corollaries, we have shown that the conjecture holds for subdivisions of plane triangulations, simple $3$-connected plane quadrangulations, and simple $3$-connected plane pentagulations with an even maximum face degree, for regular subdivisions of simple $3$-connected plane graphs of maximum degree at least 10, and for subdivisions of simple $3$-connected plane graphs having the maximum face degree large enough in comparison with the number of vertices of their longest paths consisting only of vertices of degree two.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,175 input tokens.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.42 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.96 · compares with prior results 0.31 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

A cyclic coloring of a plane graph $G$ is a coloring of its vertices such that vertices incident with the same face have distinct colors. The minimum number of colors in a cyclic coloring of a plane graph $G$ is its cyclic chromatic number $\chi_c(G)$. Let $\Delta^*(G)$ be the maximum face degree of a graph $G$. In this note we show that to prove the Cyclic Coloring Conjecture of Borodin from 1984, saying that every connected plane graph $G$ has $\chi_c(G) \leq \lfloor \frac{3}{2}\Delta^*(G)\rfloor$, it is enough to do it for subdivisions of simple $3$-connected plane graphs. We have discovered four new different upper bounds on $\chi_c(G)$ for graphs $G$ from this restricted family; three bounds of them are tight. As corollaries, we have shown that the conjecture holds for subdivisions of plane triangulations, simple $3$-connected plane quadrangulations, and simple $3$-connected plane pentagulations with an even maximum face degree, for regular subdivisions of simple $3$-connected plane graphs of maximum degree at least 10, and for subdivisions of simple $3$-connected plane graphs having the maximum face degree large enough in comparison with the number of vertices of their longest paths consisting only of vertices of degree two.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A cyclic coloring of a plane graph $G$ is a coloring of its vertices such that vertices incident with the same face have distinct colors. background 1.00 0.05 0.02 asserted 0.99
s1 The minimum number of colors in a cyclic coloring of a plane graph $G$ is its cyclic chromatic number $\chi_c(G)$. background 1.00 0.07 0.02 asserted 0.99
s2 Let $\Delta^*(G)$ be the maximum face degree of a graph $G$. background 1.00 0.10 0.02 asserted 0.85
s3 In this note we show that to prove the Cyclic Coloring Conjecture of Borodin from 1984, saying that every connected plane graph $G$ has $\chi_c(G) \leq \lfloor \frac{3}{2}\Delta^*(G)\rfloor$, it is enough to do it for subdivisions of simple $3$-connected plane graphs. contribution 0.71 0.92 0.74 asserted 1.00
s4 We have discovered four new different upper bounds on $\chi_c(G)$ for graphs $G$ from this restricted family; three bounds of them are tight. result 0.85 0.97 0.19 asserted 1.00
s5 As corollaries, we have shown that the conjecture holds for subdivisions of plane triangulations, simple $3$-connected plane quadrangulations, and simple $3$-connected plane pentagulations with an even maximum face degree, for regular subdivisions of simple $3$-connected plane graphs of maximum degree at least 10, and for subdivisions of simple $3$-connected plane graphs having the maximum face degree large enough in comparison with the number of vertices of their longest paths consisting only of vertices of degree two. result 0.95 0.95 0.36 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How the literature uses it

What this paper does with the arXiv papers it cites

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.