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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
What this paper does with the arXiv papers it cites
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.