REVIEW 2 major objections 3 minor 29 references
Defective correspondence coloring of planar graphs
T0 review · 2 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper constructs a planar graph that is 1-defective 3-correspondable but not 4-correspondable, and shows outerplanar graphs need exactly three defects for 2-correspondence coloring.
desk verdict Main theorem rests on a false lemma; the other two results look plausible, but the paper's headline claim is not proven as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the gadget T, formed by two copies R1 and R2 of K4-minus-an-edge sharing a central vertex z, with endpoint colors for u and v fixed by the partial coloring. A correspondence cover of each half is classified as twisted when it contains a specific 6-cycle of conflicts and wedged when it contains a smaller conflict pattern; the lemmas use these two patterns to decide whether a 1-defective coloring with zero defect on z exists. The counting lemma then shows that for any 3-fold cover, only six of the nine (u,v) color pairs are bad, so with four copies of T there is a pair that is good for at least two copies. That pair is colored through the extension lemmas, and the four-copy graph is the configuration that makes the counting work; the non-4-correspondability direction is carried by a permutation-based 4-fold cover that blocks every proper coloring.
What would settle it
Enumerate all 3-fold correspondence covers of T(4) up to isomorphism and check each for a 1-defective coloring; if any cover has none, the positive half of the main theorem fails, and similarly, finding a proper coloring of the specific 4-fold cover constructed in Section 9 would refute the non-4-correspondability claim.
Extended reading notes
Core claim
The main construction is the graph T(4): four copies of a twelve-vertex gadget T glued by identifying the x-vertices and identifying the y-vertices. The paper proves that every 3-fold correspondence cover of T(4) has a 1-defective coloring, while a carefully chosen 4-fold cover has no proper coloring at all. The proof works by classifying the two halves of T, each half being K4 with one edge deleted, as twisted or wedged depending on which conflict cycles appear in the cover, then showing that among the nine possible color pairs for the shared endpoints u and v, at most six pairs can be bad in a sense that forces an extra defect. Counting over the four copies leaves a good pair that can be colored with zero defect on u and v, while the 4-fold obstruction is built from a permutation construction on the four copies. The paper also establishes that some planar graph fails 3-defective 3-correspondability, and that outerplanar graphs need exactly three defects for two-list correspondence coloring.
Load-bearing premise
The positive half of the main construction depends on Lemma 5.4(i), which asserts that every assignment of conflict matchings to the four-vertex half-gadget R, with one vertex given one color and three vertices given two colors, admits a 1-defective coloring in which the special vertex c is left with zero defect.
Editorial extensions
If this is right
- The main construction answers a question asked for list coloring in the correspondence setting: 1-defective 3-correspondability does not imply 4-correspondability for planar graphs.
- Combining Theorem 1.3 with known decomposition results leaves the smallest d for which every planar graph is d-defective 3-correspondable between 4 and 6.
- The graph witnessing Theorem 1.3 is 4-correspondable, so a planar graph can be properly 4-correspondable and still fail to be 3-defective 3-correspondable.
- Every outerplanar graph is 3-defective 2-correspondable, and the fan-based construction shows that two defects do not suffice.
- The same framework leaves open whether the separating graph could be chosen not 4-choosable, which would strengthen the break with list coloring.
Reading between the lines
- The twisted/wedged classification is checkable by brute force: for the small cover types that appear after fixing u and v, exhaustive enumeration would independently confirm the counting lemmas and could be reused for larger gadgets.
- If the T(4) construction is as flexible as it appears, similar identified-copy gadgets should produce separations for other defect and list-size pairs, such as d-defective 3-correspondability versus d+1-correspondability for small d.
- The outerplanar theorem suggests that on graphs of bounded treewidth, defective correspondence coloring may track defective list coloring with the defect threshold shifted by one; series-parallel graphs would be a natural test class.
- Because the non-4-correspondability cover is built from permutations on the four copies, varying the permutation family could probe whether the threshold is sharp, for example whether T(3) is already 1-defective 3-correspondable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies defective correspondence coloring of planar graphs. It claims three main results: (i) there is a planar graph that is not 3-defective 3-correspondable (Theorem 1.3); (ii) there is a planar graph that is 1-defective 3-correspondable but not 4-correspondable, extending a recent result of Ma, Xu, and Zhu from list coloring to correspondence coloring (Theorem 1.4); and (iii) every outerplanar graph is 3-defective 2-correspondable, with 3 defects best possible (Theorem 1.6). The proof of Theorem 1.4 is built around a gadget T(4) formed from four copies of a graph T identified at two vertices, with Section 5 setting up the reduction, Sections 6-8 proving the 1-defective 3-correspondability direction, and Section 9 proving the failure of 4-correspondability. The outerplanar and Theorem 1.3 arguments are independent of the T(4) construction. The main defect of the manuscript is that a central lemma used to combine colorings across the two halves of T is false as stated, and the proof of Theorem 1.4 collapses as a result.
Significance. If Theorem 1.4 were correct, it would be a genuine separation result: a planar graph that is 1-defective 3-correspondable but not 4-correspondable would extend the Ma-Xu-Zhu list-coloring example to the correspondence setting, where matchings may vary per edge. Theorems 1.3 and 1.6 are also interesting contributions to the defective correspondence coloring literature, and the non-4-correspondability construction in Section 9 is explicit and appears self-contained. However, the 1-defective 3-correspondability direction of the main theorem rests on Lemma 5.4(i), which admits a concrete counterexample. The manuscript is not a reliable proof of Theorem 1.4 as written, although the other two main theorems may well survive independently.
major comments (2)
- [§5.1, Lemma 5.4(i)] Lemma 5.4(i) is false as stated. Consider the correspondence cover of R with L(a)={a1}, L(b)={b1,b2}, L(c)={c1,c2}, L(d)={d1,d2} and edges a1b1, a1d1, b1c1, b2c2, c1d2, c2d1, b1d2, b2d1. All matchings in this cover are maximal. Since φ(a)=a1 is forced, if φ(c)=c1 then def(c)=0 forces φ(b)=b2 and φ(d)=d1, giving def(d)=2 because d1 is adjacent to both a1 and b2. If φ(c)=c2 then def(c)=0 forces φ(b)=b1 and φ(d)=d2, giving def(b)=2 because b1 is adjacent to both a1 and d2. Hence no 1-defective H-coloring has def(c)=0, contradicting the lemma. The proof of the lemma fails in Case 2, where the proposed assignment φ(b)=b1, φ(c)=c2, φ(d)=d2 creates exactly the second defective vertex in this cover.
- [§7–§8, dependence on Lemma 5.4(i)] The invalidity of Lemma 5.4(i) is load-bearing for the proof of Theorem 1.4, not a peripheral gap. The concatenation arguments in Lemmas 7.2, 7.3, and 7.7 use Lemma 5.4(i) precisely to obtain a coloring of one half of T with zero defect at the shared vertex z; this is exactly the false conclusion def(c)=0 when z plays the role of c. Lemma 7.7, Case 2 is representative: the proof chooses φ(z)=z1 with def φ(z)=0 and then colors the other half with only a 1-defective coloring, so if the first half could only guarantee def φ(z)≤1, the total defect at z could become 2. The counterexample from my first comment is a cover of R that is neither wedged nor twisted, so it can occur in a good cover of T\{u,v} in the case ℓ(x)=1, ℓ(z)=2, ℓ(y)=2, which is automatically good under Definition 5.6. Consequently Lemma 7.1, Lemma 5.9, and Theorem 5.11, and therefore the 1-defective 3-correspondability half of Theorem 1.4, are not established. Section 9's proof of non-4-correspondability appears independent of this lemma, but the two halves of Theorem 1.4 together are unsupported as written.
minor comments (3)
- [§2, Definition 2.1] In the displayed definition of E(H) for a list cover, the text reads "c= d}}" with a doubled closing brace and an unspaced equality; this should be "c = d" and a single closing brace.
- [§8, Lemma 8.7] In the final paragraph of the proof of Lemma 8.7, the sentence "if ψ is the coloring induced by ... then ψ is a 1-defective H coloring φ of T" mixes the names ψ and φ; the last symbol should be ψ.
- [§4, Theorem 4.1 proof, Case 2] In Case 2 of the proof of Theorem 4.1, the line "with ψ2(v) ⩽ 1 and ψ2(z) ⩽ 2" should read "with def ψ2(v) ⩽ 1 and def ψ2(z) ⩽ 2" for clarity.
Circularity Check
No circularity: the proof is a self-contained constructive argument with no fitted inputs and no load-bearing self-citations.
full rationale
The paper's claims are proved by explicit combinatorial constructions: it builds correspondence covers and derives defective colorability or non-colorability from local matching conditions. There is no parameter fitted to the target result, no definition that presupposes the conclusion, and no 'prediction' that is forced by the way an input was constructed. The only self-citation, reference [1], is used for expository text on list/correspondence coloring, not as a load-bearing premise. Background results such as the degeneracy-correspondence bound from Bernshteyn and Lee are external and used as standard lemmas; they do not assume the paper's conclusions. The reader's proposed counterexample to Lemma 5.4(i) concerns the mathematical validity of a lemma, not circularity: an incorrect proof step is a correctness problem, not a reduction of the theorem to its own inputs. Accordingly, no circular step meeting the quoted-evidence standard was found.
Assumptions & free parameters
assumptions (3)
- standard math A d-degenerate graph is (d+1)-correspondable (Lemma 2.2, cited to Bernshteyn and Lee).
- domain assumption Every planar graph is 0-def 5-correspondable, adapting Thomassen's 5-choosability to correspondence coloring.
- ad hoc to paper Lemma 5.4(i): every cover of R with list sizes 1,2,2,2 admits a 1-defective coloring with zero defect at c.
Cite this review
Pith. "Pith review of Defective correspondence coloring of planar graphs." pith.science (2026). https://pith.science/paper/57YWEJJK
@misc{pith2026241115336,
author = {Pith},
title = {Pith review of: Defective correspondence coloring of planar graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/57YWEJJK}},
note = {Machine review of arXiv:2411.15336}
}
abstract
Defective coloring (also known as relaxed or improper coloring) is a generalization of proper coloring defined as follows: for $d \in \mathbb{N}$, a coloring of a graph is $d$-defective if every vertex is colored the same as at most $d$ of its neighbors. We investigate defective coloring of planar graphs in the context of correspondence coloring, a generalization of list coloring introduced by Dvo\v{r}\'ak and Postle. First we show there exists a planar graph that is not $3$-defective $3$-correspondable, strengthening a recent result of Cho, Choi, Kim, Park, Shan, and Zhu. Then we construct a planar graph that is $1$-defective $3$-correspondable but not $4$-correspondable, thereby extending a recent result of Ma, Xu, and Zhu from list coloring to correspondence coloring. Finally we show all outerplanar graphs are $3$-defective $2$-correspondence colorable, with 3 defects being best possible.
Figures
Figures from the paper (9 more)
Reference graph
Works this paper leans on
-
[1]
J. Anderson, A. Dhawan, and A. Kuchukova. Coloring locally sparse graphs , arXiv preprint arXiv:2402.19271, 2024 (cit. on p. 4)
arXiv 2024
-
[2]
A. Bernshteyn and E. Lee. Weak degeneracy of graphs , Journal of Graph Theory, 103 (4) (2023), 607–634 (cit. on pp. 3, 5)
work page 2023
- [3]
-
[4]
E.-K. Cho, I. Choi, R. Kim, B. Park, T. Shan, and X. Zhu. Decomposing planar graphs into graphs with degree restrictions , Journal of Graph Theory, 101 (2) (2022), 165–181 (cit. on p. 3)
work page 2022
-
[5]
L. J. Cowen, R. H. Cowen, and D. R. Woodall. Defective colorings of graphs in surfaces: partitions into subgraphs of bounded valency , Journal of Graph Theory, 10 (2) (1986), 187– 195 (cit. on pp. 2, 4, 22)
work page 1986
-
[6]
W. Cushing and H. A. Kierstead. Planar graphs are 1-relaxed, 4-choosable, European Journal of Combinatorics, 31 (5) (2010), 1385–1397 (cit. on p. 2)
work page 2010
-
[7]
Z. Dvoˇ r´ ak and L. Postle.Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8 , Journal of Combinatorial Theory, Series B,129 (2018), 38–54 (cit. on pp. 1, 3, 5)
work page 2018
-
[8]
N. Eaton and T. Hull. Defective list colorings of planar graphs , Bull. Inst. Combin. Appl, 25 (79-87) (1999), 40 (cit. on pp. 2, 4)
work page 1999
Show all 29 references
-
[9]
Erdos, A
P. Erdos, A. L. Rubin, and H. Taylor. Choosability in graphs , Congr. Numer, 26 (4) (1979), 125–157 (cit. on p. 4)
1979
-
[10]
Fang and T
H. Fang and T. Wang. Relaxed DP-3-coloring of planar graphs without some cycles , Bulletin of the Malaysian Mathematical Sciences Society, 45 (5) (2022), 2681–2690 (cit. on p. 3)
2022
-
[11]
Y. Jing, A. Kostochka, F. Ma, P. Sittitrai, and J. Xu. Defective DP-colorings of sparse multi- graphs, European Journal of Combinatorics, 93 (2021), 103267 (cit. on p. 3). 22
2021
-
[12]
Y. Jing, A. Kostochka, F. Ma, and J. Xu. Defective DP-colorings of sparse simple graphs , Discrete Mathematics, 345 (1) (2022), 112637 (cit. on p. 2)
2022
-
[13]
Kostochka and J
A. Kostochka and J. Xu. On 2-defective DP-colorings of sparse graphs , European Journal of Combinatorics, 91 (2021), 103217 (cit. on p. 2)
2021
-
[14]
Kostochka and J
A. Kostochka and J. Xu. Sparse critical graphs for defective DP-colorings , Discrete Mathe- matics, 347 (5) (2024), 113899 (cit. on p. 3)
2024
-
[15]
K.-W. Lih, Z. Song, W. Wang, and K. Zhang. A note on list improper coloring planar graphs , Applied Mathematics Letters, 14 (3) (2001), 269–273 (cit. on p. 3)
2001
-
[16]
L. Lov´ as. On decomposition of graphs , Studia Sci. Math. Hungar., 1 (1966). https://real- j.mtak.hu/5451/, 237–238 (cit. on p. 2)
1966
-
[17]
J. Ma, R. Xu, and X. Zhu. On two problems of defective choosability of graphs , Journal of Graph Theory, (2023) (cit. on p. 2)
2023
-
[18]
Nakprasit and P
K. Nakprasit and P. Sittitrai. Sufficient conditions on planar graphs to have a relaxed DP-3- coloring, Graphs and Combinatorics, 35 (2019), 837–845 (cit. on pp. 2, 3)
2019
-
[19]
Robertson, D
N. Robertson, D. Sanders, P. Seymour, and R. Thomas. The four-colour theorem , journal of combinatorial theory, Series B, 70 (1) (1997), 2–44 (cit. on p. 2)
1997
-
[20]
Sittitrai, K
P. Sittitrai, K. M. Nakprasit, and K. Nakprasit. A weak DP-partitioning of planar graphs without 4-cycles and 6-cycles , Bulletin of the Malaysian Mathematical Sciences Society,46 (4) (2023), 141 (cit. on p. 3)
2023
-
[21]
ˇSkrekovski
R. ˇSkrekovski. List improper colourings of planar graphs , Combinatorics Probability and Computing, 8 (3) (1999), 293–299 (cit. on pp. 2, 4, 21)
1999
-
[22]
Sribunhung, K
S. Sribunhung, K. M. Nakprasit, K. Nakprasit, and P. Sittitrai. Relaxed DP-Coloring and another Generalization of DP-Coloring on Planar Graphs without 4-Cycles and 7-Cycles. , Discussiones Mathematicae: Graph Theory, 43 (1) (2023) (cit. on p. 3)
2023
-
[23]
Thomassen
C. Thomassen. Every planar graph is 5-choosable , Journal of Combinatorial Theory Series B, 62 (1) (1994), 180–181 (cit. on pp. 2, 3)
1994
-
[24]
V. G. Vizing. Coloring the vertices of a graph in prescribed colors , Diskret. Analiz, 29 (3) (1976), 10 (cit. on p. 4)
1976
-
[25]
M. Voigt. List colourings of planar graphs , Discrete Mathematics, 120 (1-3) (1993), 215–219 (cit. on p. 2)
1993
-
[26]
Wang and L
Y. Wang and L. Xu. Improper choosability of planar graphs without 4-cycles , SIAM Journal on Discrete Mathematics, 27 (4) (2013), 2029–2037 (cit. on p. 2)
2013
-
[27]
D. R. Wood. Defective and clustered graph colouring, preprint arXiv:1803.07694, 2018 (cit. on p. 2)
2018 arXiv
-
[28]
D. Woodall. Defective choosability of graphs in surfaces , Discussiones Mathematicae Graph Theory, 31 (3) (2011), 441–459 (cit. on p. 22)
2011
-
[29]
Xiao and M
Y. Xiao and M. Huang. A weak DP-coloring of planar graphs without 4-and 9-cycles , Discrete Applied Mathematics, 342 (2024), 391–397 (cit. on p. 3). 23
2024
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.