REVIEW 2 major objections 3 minor 33 references
Clustered Variants of Haj\'os' Conjecture
T0 review · 2 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Every graph with no subdivision of $K_{s+1}$ is colorable with $4s-5$ colors and bounded monochromatic components.
desk verdict First O(s) clustered coloring bound for K_{s+1}-subdivision-free graphs, built on a clever transfer lemma whose omitted restricted version is the only real gap. 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 central objects are clustered colorings, in which every monochromatic component has bounded size, and almost $(\le 1)$-subdivisions, where at most one edge of the subdivided graph is subdivided more than once. The proof machinery is a list-coloring framework built around a distinguished set $Y_1$ of vertices whose lists have size one; a 'progress' operation moves vertices into $Y_1$ while pruning the lists of their neighbors. The deepest input is a tangle-based structure theorem for graphs excluding a fixed bounded-degree subdivision: any large tangle controlling a large clique minor forces a small exceptional set $Z$ such that every vertex outside $Z$ lies on the small side of a low-order separation. These tools split the graph into smaller pieces, color each piece by induction, and glue the colorings so that every monochromatic component stays bounded.
What would settle it
For some fixed $s$ and arbitrarily large $\eta$, construct a graph $G$ with no $K_{s+1}$-subdivision such that every coloring with at most $4s-5$ colors has a monochromatic component with more than $\eta$ vertices; such a graph would directly disprove Theorem 6, the paper's central claim.
Extended reading notes
Core claim
The central discovery is that the obstruction that kills Hajós' conjecture—the chromatic number of $K_{s+1}$-subdivision-free graphs can grow like $s^2/\log s$—disappears when monochromatic components are allowed to be large but bounded. The main theorem states that for each $s$ there exists $\eta$ such that every graph with no $K_{s+1}$-subdivision has a coloring with at most $\max\{4s-5,1\}$ colors and every monochromatic component has at most $\eta$ vertices. The proof proceeds through a stronger family of statements about graphs avoiding almost $(\le 1)$-subdivisions of $K_{s+1}$, using list-coloring with a distinguished set of precolored vertices and a structure theorem that confines large tangle structure to a small exceptional set. The final $O(s)$ bound is the first linear upper bound on the clustered chromatic number of $K_{s+1}$-subdivision-free graphs.
Load-bearing premise
The argument's load-bearing premise is that graphs excluding a fixed bounded-degree subdivision admit the tangle-based small-exception structure described in Theorem 14, together with an unproved companion lemma (Lemma 19); if either of those gives way, the linear bound no longer follows.
Editorial extensions
If this is right
- The clustered form of Hajós' conjecture is settled up to a constant factor: $O(s)$ colors with bounded monochromatic components suffice for every $K_{s+1}$-subdivision-free graph.
- In the bounded-treewidth case the number of colors is optimal: some treewidth-$(s-1)$ graphs need $s$ colors even with arbitrarily large allowed clustering, so Theorem 1 cannot be improved without extra assumptions.
- Excluding a general minor instead of a subdivision costs exactly one extra color: every graph with no $H$-minor and no almost $(\le 1)$-subdivision of $K_{s+1}$ is $(s+1)$-colorable with bounded clustering.
- For subdivision exclusion, the color count grows linearly with the maximum degree $d$ of the excluded graph: $\max\{s+3d-5,2\}$ colors suffice, and replacing the almost-subdivision prohibition by a $K_{s,t}$-subgraph prohibition gives $\max\{s+3d-4,2\}$.
- The lower-bound construction shows the clustering number cannot be independent of $s$; it must grow at least like $\Omega(s/\log s)$ in the worst case.
Reading between the lines
- A likely next step is to make the clustering bound explicit and small: all $\eta$ values in the theorems come from iterated functions and are not evaluated, so the theorem establishes existence but not practical colorings.
- The method indicates that linear clustered colorings may extend to graphs excluding a subdivision of any fixed graph $H$, with constants depending only on $|V(H)|$ and $\Delta(H)$, not just to complete graphs; the almost-$(\le 1)$-subdivision statements are evidence that the decomposition is robust.
- Testing the small case $s=4$ could sharpen the constant: if the $11$-color bound for $K_5$-subdivision-free graphs could be improved, the constant $4$ in $4s-5$ is not optimal, while a lower-bound example would identify the true linear rate.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves several clustered-coloring results in the direction of Hajós' conjecture. It introduces the notion of an almost (≤1)-subdivision of a graph and shows, among other things, that graphs of bounded treewidth with no such subdivision of K_{s+1} are s-choosable with bounded clustering (Theorem 1), that graphs with no H-minor and no such subdivision are (s+1)-colorable with bounded clustering (Theorem 2), and that graphs with no K_{s+1}-subdivision are (4s−5)-colorable with bounded clustering (Theorem 6). The proof strategy combines the authors' earlier clustered-coloring results for K_{s,t}-free graphs with a structure theorem of Liu and Thomas for graphs excluding a bounded-degree subdivision. A long reduction (Lemma 16) establishes a restricted list-coloring statement for K_{s,t}-free graphs with no H-subdivision, and a transfer lemma (Lemmas 18 and 19) is used to pass from the K_{s,t}-free setting to the setting of graphs with no almost (≤1)-subdivision of K_{s+1}.
Significance. If correct, Theorem 6 gives the first O(s) bound on the clustered chromatic number of graphs with no K_{s+1}-subdivision, settling the clustered analogue of Hajós' conjecture up to a constant factor. Theorems 1 and 2 also give best-possible or near-best-possible numbers of colors in their settings. The paper is carefully structured, and the long proof of Lemma 16 is written in a self-contained manner. However, the central Theorem 6 depends on Lemma 19, whose proof is omitted, and on structure theorems and companion-paper results that are not reproduced here. The manuscript therefore currently leaves a load-bearing verification to the reader.
major comments (2)
- [Section 4, Lemma 19] The proof of Lemma 19 is omitted with the sentence 'The proof is identical, so we omit it.' This is a load-bearing step: Theorem 20(3) invokes Lemma 19, Theorem 20(4) follows from Theorem 20(3) with H=K_{s+1}, and Theorem 6 is then read off from Theorem 20(4). The transfer from restricted list-coloring results for K_{s,t}-free graphs to restricted faithful list-coloring results for graphs with no almost (≤1)-subdivision of K_{s+1} requires checking that the constructions of L′ and L* in the proof of Lemma 18 preserve the restricted condition L(v)⊆[β′+r′], and that the cardinality identities such as |L(v)|=β′+r′−|N_G(v)∩Y1| remain valid in the restricted setting. Because the proof is absent, the central O(s) bound of Theorem 6 cannot currently be verified from the manuscript alone. Please include the full proof or a detailed appendix that goes through the restricted case line by line.
- [Section 4, Claim 18.1 in Lemma 18] In the proof of Claim 18.1, for a vertex v∈V(C) with |N_G(v)∩Y1|>β′, the manuscript asserts |N_G(v)∩P| > |N_G(v)∩Y1|. This inequality is not justified and is in fact false in general. Because C is disjoint from Y1, any neighbor of v in Y1 must lie in P, so N_G(v)∩Y1⊆P and the case is vacuous: |P|=s−1<β′. The proof should state this vacuity explicitly. This is not a fatal error in Lemma 18 as written, but it is precisely the kind of step that the omitted 'identical' proof of Lemma 19 must handle, and the manuscript currently leaves that verification unperformed.
minor comments (3)
- [Section 4, final paragraph] The sentence 'This together with Lemma 15 complete the proof of Theorems 1, 2, 4 and 6' is inaccurate. Lemma 15 concerns graphs of maximum degree at most 1 and is used for Theorem 5 when d=1; it does not address Theorems 1, 2, 4 and 6. Moreover, the case s=2 is not covered by Theorem 20, which assumes s>2, and is not discussed. These small cases follow from the fact that graphs with no almost (≤1)-subdivision of K3 are forests, but they should be stated explicitly.
- [Introduction and Section 2.2] The proof relies on Theorem 14 from [22] and on Theorems 8 and 9 and Lemmas 10–13 from the companion papers [23,24], none of which are reproduced. Please add a sentence indicating the publication status of these references so that the reader knows whether the dependency is on published work or on preprints under review.
- [Introduction, remark after Theorem 5] The remark that graphs of arbitrarily high girth and chromatic number show that excluding finitely many subgraphs cannot ensure an upper bound is stated too quickly; high girth alone does not forbid all subdivisions of K_{s+1}. Please clarify the intended argument or rephrase the remark.
Circularity Check
No circularity found: Theorem 6 follows by parameter substitution from Lemma 16, Lemma 19, and independent companion statements; flagged proof gaps are correctness risks, not circularity.
full rationale
The derivation of Theorem 6 is: Theorem 20(4) is obtained from Theorem 20(3) by taking H=K_{s+1}; Theorem 20(3) follows from Lemma 16 plus Lemma 19; Lemma 16 is proved in this paper using Theorem 14 ([22]) and companion results ([23,24]); Theorem 20(1)-(2) similarly apply Theorem 8/9 with Lemma 18/19. At no point is the target statement (an O(s) clustered-coloring bound for K_{s+1}-subdivision-free graphs) used as a hypothesis. The cited Theorem 14 is a structure theorem about separations in graphs with no bounded-degree subdivision, not a coloring theorem, and the cited results from [23,24] are parameter-free statements about K_{s,t}-free graphs and list-assignment progress whose assumptions do not include the target result. Thus Hard Rule 4 applies: these self-citations are independent support and do not constitute circularity. The manuscript itself flags one load-bearing gap: Lemma 19 is stated with 'The proof is identical, so we omit it,' and Lemma 18 contains a case (|N_G(v)∩Y1| > beta') that is vacuous when the neighbor set is contained in P with |P|=s-1<beta'; these are correctness/support concerns, not demonstrations that a prediction is equivalent to an input. There are no fitted parameters, no definitional identities equating the derived bound with an assumption, and no uniqueness theorem invoked to force a choice. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption Companion clustering theorems: graphs with no K_{s,t} subgraph and bounded treewidth (Theorem 8) or with an excluded minor (Theorem 9) admit bounded cluster list colorings.
- domain assumption Structure theorem for excluding bounded-degree subdivisions: if a tangle in a graph controls a K_{floor(3dh/2)}-minor and the graph excludes an H-subdivision, then all but at most ξ vertices are separated by bounded-order cuts.
- standard math Standard tangle and separation machinery from Robertson-Seymour theory.
- standard math Standard graph theory definitions: treewidth, minors, subdivisions, tangles, list coloring, and choosability.
invented entities (2)
-
almost (≤1)-subdivision of H
-
faithful (s,r,Y1)-list-assignment
Cite this review
Pith. "Pith review of Clustered Variants of Haj\'os' Conjecture." pith.science (2026). https://pith.science/paper/PIYI7MQU
@misc{pith2026190805597,
author = {Pith},
title = {Pith review of: Clustered Variants of Haj\'os' Conjecture},
year = {2026},
howpublished = {\url{https://pith.science/paper/PIYI7MQU}},
note = {Machine review of arXiv:1908.05597}
}
abstract
Haj\'os conjectured that every graph containing no subdivision of the complete graph $K_{s+1}$ is properly $s$-colorable. This conjecture was disproved by Catlin. Indeed, the maximum chromatic number of such graphs is $\Omega(s^2/\log s)$. We prove that $O(s)$ colors are enough for a weakening of this conjecture that only requires every monochromatic component to have bounded size (so-called clustered coloring). Our approach leads to more results. Say that a graph is an almost $(\leq 1)$-subdivision of a graph $H$ if it can be obtained from $H$ by subdividing edges, where at most one edge is subdivided more than once. Note that every graph with no $H$-subdivision does not contain an almost $(\leq 1)$-subdivision of $H$. We prove the following (where $s \geq 2$): (1) Graphs of bounded treewidth and with no almost $(\leq 1)$-subdivision of $K_{s+1}$ are $s$-choosable with bounded clustering. (2) For every graph $H$, graphs with no $H$-minor and no almost $(\leq 1)$-subdivision of $K_{s+1}$ are $(s+1)$-colorable with bounded clustering. (3) For every graph $H$ of maximum degree at most $d$, graphs with no $H$-subdivision and no almost $(\leq 1)$-subdivision of $K_{s+1}$ are $\max\{s+3d-5,2\}$-colorable with bounded clustering. (4) For every graph $H$ of maximum degree $d$, graphs with no $K_{s,t}$ subgraph and no $H$-subdivision are $\max\{s+3d-4,2\}$-colorable with bounded clustering. (5) Graphs with no $K_{s+1}$-subdivision are $(4s-5)$-colorable with bounded clustering. The first result shows that the weakening of Haj\'{o}s' conjecture is true for graphs of bounded treewidth in a stronger sense; the final result is the first $O(s)$ bound on the clustered chromatic number of graphs with no $K_{s+1}$-subdivision.
Reference graph
Works this paper leans on
-
[1]
Par- titioning into graphs with only small components
Noga Alon, Guoli Ding, Bogdan Oporowski, and Dirk Vertigan . Par- titioning into graphs with only small components. J. Combin. Theory Ser. B, 87(2):231–243, 2003
work page 2003
-
[2]
Proof of a conjecture of Mader, Erdős and Hajnal on topological complete subgraphs
Béla Bollobás and Andrew Thomason . Proof of a conjecture of Mader, Erdős and Hajnal on topological complete subgraphs. European J. Combin., 19(8):883–887, 1998
work page 1998
-
[3]
Paul A. Catlin. Ha´jos’ graph-coloring conjecture: variations and counterexam- ples. J. Combin. Theory Ser. B, 26:268–274, 1979. 25
work page 1979
-
[4]
Improper coloring of graphs on surfaces.J
Ilkyoo Choi and Louis Esperet . Improper coloring of graphs on surfaces.J. Graph Theory, 91(1):16–34, 2019
work page 2019
-
[5]
Gabriel A. Dirac . A property of 4-chromatic graphs and some remarks on critical graphs. J. London Math. Soc., 27:85–92, 1952
work page 1952
-
[6]
Islands in minor-closed classes
Zdeněk Dvořák and Sergey Norin . Islands in minor-closed classes. I. Bounded treewidth and separators. 2017, arXiv:1710.02727
arXiv 2017
-
[7]
A relative of Hadwiger’s conjecture.SIAM J
Katherine Edw ards, Dong Yeap Kang, Jaehoon Kim, Sang-il Oum, and Paul Seymour . A relative of Hadwiger’s conjecture.SIAM J. Discrete Math., 29(4):2385–2388, 2015
work page 2015
-
[8]
On the conjecture of Hajós.Combina- torica, 1(2):141–143, 1981
Paul Erdős and Siemion F ajtlowicz. On the conjecture of Hajós.Combina- torica, 1(2):141–143, 1981
work page 1981
Show all 33 references
-
[9]
Graph theory and probability.Canad
Paul Erdős. Graph theory and probability.Canad. J. Math., 11:34–38, 1959
1959
-
[10]
Colouring planar graphs with three colours and no large monochromatic components
Louis Esperet and Gwenaël Joret . Colouring planar graphs with three colours and no large monochromatic components. Combinatorics, Probability & Computing, 23(4):551–570, 2014
2014
-
[11]
Islands in graphs on surfaces.SIAM J
Louis Esperet and Pascal Ochem . Islands in graphs on surfaces.SIAM J. Discrete Math., 30(1):206–219, 2016
2016
-
[12]
Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz.Combina- torica, 33(2):181–197, 2013
Jacob Fox, Choongbum Lee, and Benny Sudakov . Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz.Combina- torica, 33(2):181–197, 2013
2013
-
[13]
Bounded size components—partitions and transversals
Penny Haxell, Tibor Szabó, and Gábor Tardos . Bounded size components—partitions and transversals. J. Combin. Theory Ser. B, 88(2):281– 297, 2003
2003
-
[14]
Kevin Hendrey and Da vid R. Wood . Defective and clustered colouring of sparse graphs. Combin. Probab. Comput., 28(5):791–810, 2019
2019
-
[15]
Jan v an den Heuvel and Da vid R. Wood . Improper colourings inspired by Hadwiger’s conjecture.J. London Math. Soc., 98:129–148, 2018
2018
-
[16]
Improper coloring of graphs with no odd clique minor
Dong Yeap Kang and Sang-il Oum . Improper coloring of graphs with no odd clique minor. Combin. Probab. Comput., 28(5):740–754, 2019
2019
-
[17]
A weakening of the odd Hadwiger’s conjecture.Com- bin
Ken-ichi Ka w arabayashi. A weakening of the odd Hadwiger’s conjecture.Com- bin. Probab. Comput., 17(6):815–821, 2008
2008
-
[18]
A relaxed Hadwiger’s conjec- ture for list colorings.J
Ken-ichi Ka w arabayashi and Bojan Mohar. A relaxed Hadwiger’s conjec- ture for list colorings.J. Combin. Theory Ser. B, 97(4):647–651, 2007
2007
-
[19]
Topological cliques in graphs
János Komlós and Endre Szemerédi . Topological cliques in graphs. II.Com- bin. Probab. Comput., 5(1):79–90, 1996
1996
-
[20]
Graph colouring with no large monochromatic components.Combin
Nathan Linial, Jiří Matoušek, Or Sheffet, and Gábor Tardos . Graph colouring with no large monochromatic components.Combin. Probab. Comput., 17(4):577–589, 2008
2008
-
[21]
Partitioning H-minor free graphs into three subgraphs with no large components.J
Chun-Hung Liu and Sang-il Oum . Partitioning H-minor free graphs into three subgraphs with no large components.J. Combin. Theory Ser. B, 128:114– 133, 2018
2018
-
[22]
Excludingsubdivisionsofboundeddegree graphs
Chun-Hung Liu and Robin Thomas. Excludingsubdivisionsofboundeddegree graphs. J. Combin. Theory Ser. B, 134:1–35, 2019. 26
2019
-
[23]
Chun-Hung Liu and Da vid R. Wood . Clustered coloring of graphs excluding a subgraph and a minor. 2019, arXiv:1905.09495
2019 arXiv
-
[24]
Chun-Hung Liu and Da vid R. Wood . Clustered graph coloring and layered treewidth. 2019, arXiv:1905.08969
2019
-
[25]
Triangulations and the Hajós conjecture.Electron
Bojan Mohar. Triangulations and the Hajós conjecture.Electron. J. Combin., 12:N15, 2005
2005
-
[26]
Bojan Mohar, Bruce Reed, and Da vid R. Wood . Colourings with bounded monochromatic components in graphs of given circumference.Australas. J. Com- bin., 69(2):236–242, 2017
2017
-
[27]
Conquering graphs of bounded treewidth
Sergey Norin. Conquering graphs of bounded treewidth. 2015. Unpublished manuscript
2015
-
[28]
Sergey Norin, Alex Scott, Paul Seymour, and Da vid R. Wood . Clus- tered colouring in minor-closed classes.Combinatorica, 39(6):1387–1412, 2019
2019
-
[29]
Graph minors
Neil Robertson and Paul Seymour . Graph minors. V. Excluding a planar graph. J. Combin. Theory Ser. B, 41(1):92–114, 1986
1986
-
[30]
Hadwiger’s conjecture
Paul Seymour . Hadwiger’s conjecture. In John Forbes Nash Jr. and Michael Th. Rassias , eds., Open Problems in Mathematics, pp. 417–437. Springer, 2015
2015
-
[31]
Some remarks on Hajós’ conjecture.J
Carsten Thomassen. Some remarks on Hajós’ conjecture.J. Combin. Theory Ser. B, 93(1):95–105, 2005
2005
-
[32]
Da vid R. Wood . Contractibility and the Hadwiger conjecture. European J. Combin., 31(8):2102–2109, 2010. arXiv:0811.2012
2010 arXiv
-
[33]
Da vid R. Wood. Defective and clustered graph colouring.Electron. J. Combin., DS23, 2018. Version 1. 27
2018
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.