REVIEW 1 major objections 4 minor 43 references
On List Equitable Total Colorings of the Generalized Theta Graph
T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that for every generalized theta graph $G = \Theta(l_1, \ldots, l_m)$, the total graph $T(G)$ is equitably $k$-choosable for every $k \geq m+2$, confirming the List Equitable Total Coloring Conjecture for this family.
desk verdict Extends the LETCC program to new families, but a false claim in Lemma 22 leaves Theorem 7 unproven; worth a careful revision rather than desk rejection. 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 machinery is the reduction $T(G) = [\Theta(2l_1, \ldots, 2l_m)]^2$ together with a greedy extension lemma, Lemma 10, adapted from Kostochka, Pelsmajer, and West. Lemma 10 says that if a graph has an equitable coloring after deleting a set $S$ of vertices, and each vertex of $S$, ordered suitably, has few remaining neighbors, then the coloring extends to an equitable coloring of the whole graph. Nearly every proof in the paper uses this lemma, with carefully chosen deleted sets $S$ so that the leftover graph has maximum degree at most $4$ and can be colored by the Kierstead-Kostochka theorem, or is a path square or cycle square colored by known propositions. The critical $k = m+2$ case is completed by case-specific lemmas that color three vertical layers of the $\theta$ graph in such a way that every color class remains small.
What would settle it
Run Case (2) of Lemma 22 on $\Theta(2,4,4,4)^2$ with the stated greedy order $w, u, v_{4,1}, v_{3,2}, v_{4,2}$ and search over 6-assignments satisfying the case's hypothesis: if any such list assignment forces a four-color coloring of $S_1$ whose repeated pair is $v_{4,1}/v_{3,2}$ or $v_{3,2}/v_{4,2}$ while the color $c$ already occurs in the coloring of $G-S_1$, the contradiction claimed in the lemma does not follow. Exhibiting one such assignment would show that the proof of Theorem 7 does not establish the lemma at $m=3$; finding none would support the lemma.
Extended reading notes
Core claim
On the paper's own terms, the discovery is Theorem 7: if $G = \Theta(l_1, \ldots, l_m)$, then $T(G)$, the total graph, is equitably $k$-choosable for every $k \geq m+2$. Since a total graph can be represented as the square of the doubly subdivided graph, the proof actually works with squares of generalized $\theta$ graphs, proving stronger intermediate bounds $k \geq m+3$ when the paths are long enough and then handling the critical case $k = m+2$ by a sequence of lemmas, including special cases $\Theta(2,4,4)$, $\Theta(2,4,4,4)$, and general constructions for $\Theta(2,4,\ldots,4)$, $\Theta(4,\ldots,4)$, and $\Theta(l_1,l_2,\ldots,l_m)$ with $l_m \geq 6$. For $m=1$ and $m=2$, the result reduces to known choosability of path squares and cycle squares. Together with the star-subdivision result, this verifies the List Equitable Total Coloring Conjecture for these graphs.
Load-bearing premise
The proof's most delicate load-bearing step is the assertion in Lemma 22's case 2 that a greedy four-color coloring of the five-vertex set $S_1$ must put the repeated color on $w$ and $v_{4,1}$; if other repeat patterns are possible, the contradiction used to finish that case does not follow.
Editorial extensions
If this is right
- Every generalized theta graph satisfies the List Equitable Total Coloring Conjecture, since the theorem supplies equitable $k$-choosability for every $k \geq m+2$, the conjecture's required threshold for these graphs.
- Subdivisions of stars are equitably $k$-choosable for $k \geq m+1$, one color below the conjecture's general threshold, so those graphs are handled with room to spare.
- The threshold $m+2$ cannot be lowered to $m+1$ for $m=1$ or $m=2$, because the relevant path squares and cycle squares are known failures at $m+1$; whether $m+1$ works for $m \geq 3$ is left open as Question 8.
- Together with earlier work on stars, double stars, and trees of maximum degree three, the conjecture now holds for a larger family of graphs built from internally disjoint paths.
- The greedy extension lemma gives a reusable template: any graph whose square has low maximum degree after deleting a small structured set can be attacked by the same argument.
Reading between the lines
- Editorial: the same square-of-subdivision reduction suggests the conjecture may be approachable for other graphs obtained by subdividing edges of low-maximum-degree graphs, not just stars and theta graphs.
- Editorial: a natural testable extension is Question 8; a computer search over small theta graphs with $m=3,4$ could quickly check whether $m+1$ choosability fails and guide a proof or counterexample.
- Editorial: the proof's special small cases, $\Theta(2,4,4)$ and $\Theta(2,4,4,4)$, indicate that the difficult behavior is concentrated in short paths; understanding those cases may be the key to settling the open threshold.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies list equitable total colorings of total graphs. Theorem 6 states that if G is a subdivision of the star K_{1,m}, then T(G) is equitably k-choosable for every k ≥ m+1 (with k ≥ 3 when m=1). Theorem 7 states that if G is a generalized theta graph Θ(l_1,...,l_m), then T(G) is equitably k-choosable for every k ≥ m+2, thereby verifying the List Equitable Total Coloring Conjecture for this family. Since T(G) is isomorphic to the square of the graph obtained by doubling all path lengths, the proofs are carried out on squares of generalized theta graphs. The paper uses a general extension lemma (Lemma 10) together with known equitable choosability results, and then provides ad hoc arguments for the critical case k=m+2, including Lemmas 21 through 26 for special length vectors.
Significance. If the proof were complete, Theorems 6 and 7 would be a substantial contribution: Theorem 6 is stronger than the LETCC for subdivisions of stars, and Theorem 7 would verify the LETCC for a new infinite family of graphs. The general framework of Lemmas 10 through 20 is clean and applies previous results appropriately. The treatment of the many small cases is explicit and constructive. However, a load-bearing step in the k=m+2 case is not proved correctly as written, so the main theorem is not established in the present version.
major comments (1)
- [Section 3, Lemma 22] In the proof of Lemma 22, case (2), the assertion "By the way h' is constructed, it must be that h'(w)=h'(v_{4,1})=c" is false. In G[S_1] the only non-adjacent pairs are {w,v_{4,1}}, {v_{4,1},v_{3,2}}, and {v_{3,2},v_{4,2}}. With the stated greedy order w,u,v_{4,1},v_{3,2},v_{4,2} and the lower bounds |L'(v_{4,1})|≥2, |L'(v_{3,2})|≥4, |L'(v_{4,2})|≥5, a proper 4-color output can repeat v_{4,1} and v_{3,2} (for example, assign colors 1,2,3,3,4 in that order) or can repeat v_{3,2} and v_{4,2} (colors 1,2,3,4,4). The subsequent contradiction uses (V(G)-S_1) ⊆ N(w)∪N(v_{4,1}), which only excludes a repeated color c that appears on a vertex adjacent to w or v_{4,1}. If the repeated pair is v_{4,1}/v_{3,2} or v_{3,2}/v_{4,2}, the color c may already be used by h on a vertex such as v_{2,2} or v_{2,3}, which is not adjacent to v_{3,2}; no contradiction follows. Consequently the proof does not establish that no color is used more than twice, so the k=6 case for [Θ(2,4,4,4)]^2, and therefore the m=4 case of Theorem 7 with original lengths (1,2,2,2), remains unproved.
minor comments (4)
- [Section 3, Lemma 21] In the proof of Lemma 21, case (2), the definition L'(v_{2,i}) = L(v_{2,i}) - {f(v) : v ∈ N_G(v_{3,i}) - S_1} should use N_G(v_{2,i}) - S_1; the displayed lower bounds |L'(v_{2,1})|≥2, |L'(v_{2,2})|≥3, and |L'(v_{2,3})|≥2 are computed from the latter neighborhood. As written, the bound for v_{2,2} would only be |L'(v_{2,2})|≥1 and the subsequent coloring of G[S_1] would not be guaranteed proper.
- [Section 3, Lemma 26] In the verification of the neighborhood bounds, |N_G(v_{m,1}) - S| is 2, not 1, because v_{m,1} is adjacent in G-S to both v_{1,1} and v_{2,1}. The required inequality still holds since k - m = 2, but the displayed value should be corrected.
- [Section 3, Lemma 20] After setting x_1 = v_{m,3}, x_2 = v_{1,1}, x_3 = u, x_{k-1} = v_{m,2}, and x_k = v_{m,1}, the sentence naming the remaining vertices should begin with x_4, not x_3, since x_3 has already been assigned.
- [Section 3, Lemma 22] The existence of the coloring h of G-S_1 using seven distinct colors is plausible but not justified in the text; it follows from Hall's theorem because each list has size 6 and the set {L(v) : v ∈ V(G)-S_1} contains at least two distinct lists, forcing the union of all seven lists to have size at least 7. A brief justification would improve clarity.
Circularity Check
No significant circularity; the derivation is self-contained apart from independently published choosability theorems used as black boxes.
full rationale
I walked the proof chain of Theorems 6 and 7 and found no step in which an output is defined in terms of the target result, no fitted quantity is relabeled as a prediction, and no load-bearing argument reduces to a self-citation. The new results are proved by explicit coloring constructions: the star-subdivision case reduces to Lemmas 10-16, and the generalized theta case reduces to Lemmas 19-26, each of which builds colorings from Lemma 10 and from independent results such as the Kierstead-Kostochka theorem (Theorem 4) and the published path-square and cycle-square choosability results cited as Propositions 13 and 17 from [18]. Although [18] shares an author with the present paper, the specific propositions used are stated and proved for path powers and cycle powers, not for subdivisions of stars or generalized theta graphs; they are applied to proper subgraphs or base cases and do not contain the target theorem. The LETCC is introduced as a conjecture from [18] and then verified, not assumed. No ansatz is smuggled in through citation, no uniqueness theorem is imported from the authors' prior work, and no known result is merely renamed in new coordinates. The reviewer-identified concern about the greedy assertion in Lemma 22 is a potential correctness gap in a proof step, not an equivalence of the proof's conclusion with its inputs, so under the hard rules it does not constitute circularity and does not raise the circularity score.
Assumptions & free parameters
assumptions (3)
- standard math Theorem 4 of Kierstead and Kostochka (2013) provides equitable list colorings for graphs with maximum degree up to 7 using Δ+1 colors.
- standard math Proposition 13 of Kaul, Mudrock, and Pelsmajer (2018): powers of paths are equitably k-choosable for k ≥ p+1.
- standard math Proposition 17 of Kaul, Mudrock, and Pelsmajer (2018): powers of cycles are equitably k-choosable for k ≥ 2p when n ≥ 2p+2.
Cite this review
Pith. "Pith review of On List Equitable Total Colorings of the Generalized Theta Graph." pith.science (2026). https://pith.science/paper/P35SX7R4
@misc{pith2026190801657,
author = {Pith},
title = {Pith review of: On List Equitable Total Colorings of the Generalized Theta Graph},
year = {2026},
howpublished = {\url{https://pith.science/paper/P35SX7R4}},
note = {Machine review of arXiv:1908.01657}
}
abstract
In 2003 Kostochka, Pelsmajer, and West introduced a list analogue of equitable coloring called equitable choosability. A $k$-assignment, $L$, for a graph $G$ assigns a list, $L(v)$, of $k$ available colors to each $v \in V(G)$, and an equitable $L$-coloring of $G$ is a proper coloring, $f$, of $G$ such that $f(v) \in L(v)$ for each $v \in V(G)$ and each color class of $f$ has size at most $\lceil |V(G)|/k \rceil$. In 2018, Kaul, Mudrock, and Pelsmajer subsequently introduced the List Equitable Total Coloring Conjecture which states that if $T$ is a total graph of some simple graph, then $T$ is equitably $k$-choosable for each $k \geq \max \{\chi_\ell(T), \Delta(T)/2 + 2 \}$ where $\Delta(T)$ is the maximum degree of a vertex in $T$ and $\chi_\ell(T)$ is the list chromatic number of $T$. In this paper we verify the List Equitable Total Coloring Conjecture for subdivisions of stars and the generalized theta graph.
Reference graph
Works this paper leans on
-
[1]
Behzad, Graphs and their chromatic numbers, Ph.D
M. Behzad, Graphs and their chromatic numbers, Ph.D. Thesis, M ichigan State University, 1965
work page 1965
- [2]
-
[3]
J. I. Brown, C. A. Hickman, A. D. Sokal. D. G. Wagner, On the chr omatic roots of generalized theta graphs Journal of Combinatorial Theory Series B 83 (2001), 272-297
work page 2001
-
[4]
J. M. Carraher, T. Mahoney, G. J. Puelo, D. B. West, Sum-paint ability of generalized theta- graphs, Graphs and Combinatorics , 31 (2015), no. 5, 1325-1334
work page 2015
-
[5]
B. -L. Chen, K. -W. Lih, P. -L. Wu, Equitable coloring and the maxim um degree, Eur. J. Combin. 15 (1994), 443-447
work page 1994
-
[6]
T. Chunling, L. Xiaohui, Y. Yuansheng, L. Zhihe, Equitable total c oloring of Cm□ Cn, Disc. App. Math. 157 (2009), 596-601
work page 2009
-
[7]
A. Dong, J. Wu, Equitable coloring and equitable choosability of plan ar graphs without chordal 4- and 6-cycles, arXiv: 1806.01064 (preprint), 2018
work page Pith review arXiv 2018
-
[8]
A. Dong, X. Zhang, Equitable coloring and equitable choosability of graphs with small maximum average degree, Discussiones Mathematicae Graph Theory 38 (2018), 829-839
work page 2018
Show all 43 references
-
[9]
Erd˝ os, Problem 9, In: M
P. Erd˝ os, Problem 9, In: M. Fiedler, editor, Theory of Graphs and Its Applications , Proc. Sympos., Smolenice, 1963, Publ. House Czechoslovak Acad. Sci. Pra gue, 1964, 159
1963
-
[10]
Erd˝ os, A
P. Erd˝ os, A. L. Rubin, H. Taylor, Choosability in graphs, Congressus Numerantium 26 (1979), 125-127
1979
-
[11]
Fu, Some results on equalized total coloring, Cong
H.-L. Fu, Some results on equalized total coloring, Cong. Numer. 102 (1994), 111-119
1994
-
[12]
Furma´ nczyk, Equitable total coloring of corona of cubic gr aphs, arxiv:1504.04869 submitted 2015
H. Furma´ nczyk, Equitable total coloring of corona of cubic gr aphs, arxiv:1504.04869 submitted 2015
2015 arXiv
-
[13]
MA Gang, MA Ming, The equitable chromatic number of some join gr aphs, Open Journal of Applied Sciences (2012), 96-99
2012
-
[14]
K. Gong, Z. Zhang, J. Wang, Equitable total coloring of Fn ∨ Wn, Acta Mathematicae Applicante Sinica, English Series 25 (2009), 83-86
2009
-
[15]
Hajn´ al, E
A. Hajn´ al, E. Szemer´ edi, Proof of a conjecture of Erd˝ os, In: A R´ enyi, V. T. S´ os, editors, Combinatorial Theory and Its Applications , Vol. II, North-Holland, Amsterdam, 1970, 601-623
1970
-
[16]
Janson, A
S. Janson, A. Ruci´ nski, The infamous upper tail, Random Structures and Algorithms 20 (2002), 317-342
2002
-
[17]
Kaul, S.H
H. Kaul, S.H. Jacobson, New Global Optima Results for the Kauffm an N K Model: Handling Dependency, Mathematical Programming, Special issue on ‘Optimiza tion under Uncertainty’, Volume 108 (2006), 475-494. 14
2006
-
[18]
H. Kaul, J. A. Mudrock, M. J. Pelsmajer, Total equitable list colo ring, Graphs and Combinatorics 34 (2018), 1637-1649
2018
-
[19]
H. A. Kierstead, A. V. Kostochka, Equitable list coloring of grap hs with bounded degree, J. of Graph Theory, 74 (2013), 309-334
2013
-
[20]
A. V. Kostochka, M. J. Pelsmajer, D. B. West, A list analogue of equitable coloring, J. of Graph Theory 44 (2003), 166-177
2003
-
[21]
Laiche, I
D. Laiche, I. Bouchemakh, ´E. Sopena, On the packing coloring of undirected and oriented gen- eralized theta graphs, Australasian Journal of Combinatorics 66 (2016), 310-329
2016
-
[22]
M. E. Leidner, A study of the total colorings of graphs, Ph.D. T hesis, University of Louisville, 2012
2012
-
[23]
Q. Li, Y. Bu, Equitable list coloring of planar graphs without 4- and 6-cycles, Discrete Mathe- matics 309 (2009), 280-287
2009
-
[24]
R. Li, H. Broersma, S. Zhang, Properly edge-colored theta gr aphs in edge-colored complete graphs, Graphs and Combinatorics 35 (2019) 261-286
2019
-
[25]
K. -W. Lih, The equitable coloring of graphs, In: D. -Z. Du, P. Pa rdalos, editors. Handbook of Combinatorial Optimization , Vol. III, Kluwer, Dordrecht, 1998, 543-566
1998
-
[26]
K. -W. Lih, P. -L. Wu, On equitable coloring of bipartite graphs, Discrete Mathematics 151 (1996), 155-160
1996
-
[27]
Meyer, Equitable Coloring, Amer
W. Meyer, Equitable Coloring, Amer. Math. Monthly 80 (1973), 920-922
1973
-
[28]
Mudrock, On the list coloring problem and its equitable variants , Ph.D
J. Mudrock, On the list coloring problem and its equitable variants , Ph.D. Thesis, Illinois Insti- tute of Technology, 2018
2018
-
[29]
Mudrock, M
J. Mudrock, M. Chase, I. Kadera, T. Wagstrom, A note on the equitable choosability of complete bipartite graphs, to appear in Discussiones Mathematicae Graph Theory
-
[30]
Nakprasit, Personal Communication, 2002
K. Nakprasit, Personal Communication, 2002
2002
-
[31]
S. V. Pemmaraju, Equitable colorings extend Chernoff-Hoeffdin g bounds, Proceedings of the 5th International Workshop on Randomization and Approximatio n Techniques in Computer Science (APPROX-RANDOM 2001) (2001), 285-296
2001
-
[32]
Sathiamoorthy, T
G. Sathiamoorthy, T. N. Janakiraman, Graceful Labeling of Ge neralized Theta Graphs, National Academy Science Letters 41 (2018), issue 2, 121-122
2018
-
[33]
Tucker, Perfect graphs and an application to optimizing munic ipal services, SIAM Review 15 (1973), 585-590
A. Tucker, Perfect graphs and an application to optimizing munic ipal services, SIAM Review 15 (1973), 585-590
1973
-
[34]
V. G. Vizing, Some unsolved problems in graph theory (Russian), Ups. Mat. Nauk. 23 (1968), 117-134. English Translation in Russian Math. Surveys , 23 (1968), 125-141
1968
-
[35]
V. G. Vizing, Coloring the vertices of a graph in prescribed colors , Diskret. Analiz. no. 29, Metody Diskret. Anal. v Teorii Kodovi Skhem 101 (1976), 3-10
1976
-
[36]
Wang, Equitable total coloring of graphs with maximum degree 3, Graphs and Combinatorics 18 (2002), 677-685
W. Wang, Equitable total coloring of graphs with maximum degree 3, Graphs and Combinatorics 18 (2002), 677-685. 15
2002
-
[37]
D. B. West, (2001) Introduction to Graph Theory . Upper Saddle River, NJ: Prentice Hall
2001
-
[38]
H. P. Yap and Y. Zhang, The equitable ∆-coloring conjecture ho lds for outerplanar graphs, Bull. Inst. Acad. Sinica 25 (1997), 143-149
1997
-
[39]
Zhang, W
Z. Zhang, W. Wang, S. Bau, J. Li, On the equitable total coloring s of some join graphs, Journal of Information and Computational Science 2 (2005), 829-834
2005
-
[40]
J. Zhu, Y. Bu, Equitable list coloring of planar graphs without sho rt cycles, Theoretical Computer Science 407 (2008), 21-28
2008
-
[41]
Zhang, J
X. Zhang, J. -L. Wu, On equitable and equitable list colorings of se ries-parallel graphs, Discrete Mathematics 311 (2011), 800-803
2011
-
[42]
J. Zhu, Y. Bu, Equitable and equitable list colorings of graphs, Theoretical Computer Science 411 (2010), 3873-3876
2010
-
[43]
J. Zhu, Y. Bu, X. Min, Equitable list-coloring for C5-free plane graphs without adjacent triangles, Graphs and Combinatorics , 31 (2015), 795-804. 16
2015
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.