Pith. Sign in

REVIEW

Subcoloring of (Unit) Disk Graphs

Data Structures and Algorithms · Submitted 24 Jun 2025 · 21 references

Pith's verdict: First real polylog bounds for subcoloring on disk graphs, plus a resolved open problem for co-comparability graphs; worth serious refereeing, but two proof gaps need closing first.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 15, 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 ID2506.19452 (version 1)
Pith IDQVKMSGGD, Pith's permanent record of this paper and its review
CitationMalory Marin, R\'emi Watrigant. "Subcoloring of (Unit) Disk Graphs." arXiv:2506.19452 (2025). https://pith.science/paper/QVKMSGGD
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

Every $n$-vertex disk graph can be subcolored with $O(\log^3 n)$ colors.

The reading

This paper initiates the study of subcoloring on intersection graphs of disks: graphs whose vertices are disks and whose edges join overlapping disks. It establishes that every unit disk graph can be subcolored with at most 7 colors, and that the subchromatic number of a unit disk graph can be 3-approximated in polynomial time. It also proves that 2-Subcoloring is NP-complete even in triangle-free unit disk graphs and in unit disk graphs drawn inside a strip of bounded height, and that $k$-Subcoloring is NP-complete on co-comparability graphs for every $k\ge 3$, resolving an open question from 2002. For general disk graphs, it proves $\chi_s(G)=O(\log^3 n)$ for every $n$-vertex disk graph $G$ and gives an $O(\log^2 n)$-approximation algorithm for computing $\chi_s(G)$. These are the first nontrivial bounds and hardness results for subcoloring on disk graphs.

What carries the argument

The load-bearing object is the $\Delta$-disk graph: a disk graph with a representation in the first quadrant in which every disk intersects both coordinate axes but does not contain the origin. The decomposition theorem says that any disk graph has a balanced separator inducing a linear disk graph, and any linear disk graph has a balanced separator that splits into four $\Delta$-disk graphs plus one clique; recursing on this decomposition yields the $O(\log^3 n)$ upper bound and the $O(\log^2 n)$-approximation. For unit disk graphs the key tools are a hexagonal tiling of the plane that gives the 7-color bound, a 3-partition of the plane whose pieces have bounded independence number, and two gadget families—ladders and cliques matched across layers—that force color propagation in the NP-hardness reductions.

Extended reading notes

Core claim

The paper's central claim is that subcoloring has a clean complexity profile on disk graphs: on unit disks it is approximable within a constant factor but not exactly solvable in general unless P=NP, while on general disks it is polylogarithmically bounded and approximable. Concretely, the paper proves that every unit disk graph $G$ satisfies $\chi_s(G)\le 7$ and admits a polynomial-time 3-approximation of $\chi_s(G)$. It proves that 2-Subcoloring is NP-complete on triangle-free unit disk graphs and on unit disk graphs that have a representation inside a strip of bounded height, and that $k$-Subcoloring is NP-complete on co-comparability graphs for every $k\ge 3$. The general disk graph results state that every $n$-vertex disk graph $G$ satisfies $\chi_s(G)=O(\log^3 n)$, and that there is an $O(\log^2 n)$-approximation algorithm for computing $\chi_s(G)$.

Load-bearing premise

The bounded-height NP-hardness reduction assumes that the ladder connections between clause gadgets and the path $P_3$ can be drawn as unit disks inside a strip of constant height; the proof asserts this with 'long enough ladders' but gives no coordinates, no length bound, and no explicit height.

Editorial extensions

If this is right

  • Every unit disk graph can be subcolored with at most 7 colors, so a constant-factor approximation is immediate; the paper improves the ratio to 3.
  • Unless P=NP, no polynomial-time algorithm computes the subchromatic number exactly on unit disk graphs, and no approximation ratio below $3/2-\varepsilon$ is possible for any $\varepsilon>0$.
  • The natural strip-decomposition route to a 2-approximation is blocked: 2-Subcoloring remains NP-complete on unit disk graphs of bounded height, although the height-1 case is left open.
  • Every $n$-vertex disk graph has a subcoloring with $O(\log^3 n)$ colors, and such a subcoloring can be constructed in $O(n\log^3 n)$ time given the disk representation.
  • There is a polynomial-time $O(\log^2 n)$-approximation algorithm for the subchromatic number of arbitrary disk graphs.

Reading between the lines

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

  • A gap remains between the known $\Omega(\log n)$ lower bound and the $O(\log^3 n)$ upper bound; closing it probably needs new lower-bound constructions rather than a finer separator analysis.
  • The $\Delta$-disk graph class may be useful beyond subcoloring, since it is co-comparability, strictly contains interval graphs, and still carries enough geometry for constant-factor approximations.
  • If the wireless motivation is taken seriously, the 7-color unit disk bound suggests a saturation-robust channel allocation with seven channels; this could be tested in network simulation before any further theory.
Original abstract

A subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. It is a natural generalization of the classical proper coloring, in which each color must instead induce an independent set. Similarly to proper coloring, we define the subchromatic number of a graph as the minimum integer k such that it admits a subcoloring with k colors, and the corresponding problem k-Subcoloring which asks whether a graph has subchromatic number at most k. In this paper, we initiate the study of the subcoloring of (unit) disk graphs. One motivation stems from the fact that disk graphs can be seen as a dense generalization of planar graphs where, intuitively, each vertex can be blown into a large clique--much like subcoloring generalizes proper coloring. Interestingly, it can be observed that every unit disk graph admits a subcoloring with at most 7 colors. We first prove that the subchromatic number can be 3-approximated in polynomial-time in unit disk graphs. We then present several hardness results for special cases of unit disk graphs which somehow prevents the use of classical approaches for improving this result. We show in particular that 2-subcoloring remains NP-hard in triangle-free unit disk graphs, as well as in unit disk graphs representable within a strip of bounded height. We also solve an open question of Broersma, Fomin, Ne\v{s}et\v{r}il, and Woeginger (2002) by proving that 3-Subcoloring remains NP-hard in co-comparability graphs. Finally, we prove that every $n$-vertex disk graph admits a subcoloring with at most $O(\log^3(n))$ colors and present a $O(\log^2(n))$-approximation algorithm for computing the subchromatic number of such graphs. This is achieved by defining a decomposition and a special type of co-comparability disk graph, called $\Delta$-disk graphs, which might be of independent interest.

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, 9,168 input tokens.

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

The abstract, sentence by sentence

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

A subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. It is a natural generalization of the classical proper coloring, in which each color must instead induce an independent set. Similarly to proper coloring, we define the subchromatic number of a graph as the minimum integer k such that it admits a subcoloring with k colors, and the corresponding problem k-Subcoloring which asks whether a graph has subchromatic number at most k. In this paper, we initiate the study of the subcoloring of (unit) disk graphs. One motivation stems from the fact that disk graphs can be seen as a dense generalization of planar graphs where, intuitively, each vertex can be blown into a large clique--much like subcoloring generalizes proper coloring. Interestingly, it can be observed that every unit disk graph admits a subcoloring with at most 7 colors. We first prove that the subchromatic number can be 3-approximated in polynomial-time in unit disk graphs. We then present several hardness results for special cases of unit disk graphs which somehow prevents the use of classical approaches for improving this result. We show in particular that 2-subcoloring remains NP-hard in triangle-free unit disk graphs, as well as in unit disk graphs representable within a strip of bounded height. We also solve an open question of Broersma, Fomin, Ne\v{s}et\v{r}il, and Woeginger (2002) by proving that 3-Subcoloring remains NP-hard in co-comparability graphs. Finally, we prove that every $n$-vertex disk graph admits a subcoloring with at most $O(\log^3(n))$ colors and present a $O(\log^2(n))$-approximation algorithm for computing the subchromatic number of such graphs. This is achieved by defining a decomposition and a special type of co-comparability disk graph, called $\Delta$-disk graphs, which might be of independent interest.

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 subcoloring of a graph is a partition of its vertex set into subsets (called colors), each inducing a disjoint union of cliques. background 1.00 0.05 0.02 asserted 0.99
s1 It is a natural generalization of the classical proper coloring, in which each color must instead induce an independent set. background 1.00 0.05 0.01 asserted 1.00
s2 Similarly to proper coloring, we define the subchromatic number of a graph as the minimum integer k such that it admits a subcoloring with k colors, and the corresponding problem k-Subcoloring which asks whether a graph has subchromatic number at most k. background 1.00 0.19 0.03 asserted 0.98
s3 In this paper, we initiate the study of the subcoloring of (unit) disk graphs. contribution 0.97 0.84 0.04 asserted 0.95
s4 One motivation stems from the fact that disk graphs can be seen as a dense generalization of planar graphs where, intuitively, each vertex can be blown into a large clique--much like subcoloring generalizes proper coloring. background 0.86 0.17 0.02 asserted 0.73
s5 Interestingly, it can be observed that every unit disk graph admits a subcoloring with at most 7 colors. result 0.85 0.45 0.06 asserted 0.90
s6 We first prove that the subchromatic number can be 3-approximated in polynomial-time in unit disk graphs. result 0.78 0.97 0.14 asserted 1.00
s7 We then present several hardness results for special cases of unit disk graphs which somehow prevents the use of classical approaches for improving this result. contribution 0.45 0.92 0.04 asserted 0.86
s8 We show in particular that 2-subcoloring remains NP-hard in triangle-free unit disk graphs, as well as in unit disk graphs representable within a strip of bounded height. result 0.96 0.96 0.06 asserted 1.00
s9 We also solve an open question of Broersma, Fomin, Ne\v{s}et\v{r}il, and Woeginger (2002) by proving that 3-Subcoloring remains NP-hard in co-comparability graphs. result 0.74 0.93 0.06 asserted 1.00
s10 Finally, we prove that every $n$-vertex disk graph admits a subcoloring with at most $O(\log^3(n))$ colors and present a $O(\log^2(n))$-approximation algorithm for computing the subchromatic number of such graphs. result 0.94 0.96 0.54 asserted 1.00
s11 This is achieved by defining a decomposition and a special type of co-comparability disk graph, called $\Delta$-disk graphs, which might be of independent interest. method 0.88 0.93 0.06 asserted 0.47

What kind of paper the classifier reports this is: theoretical result 0.99 · 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

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.