---
title: Chromatic Discrepancy in Graph Theory
url: https://www.emergentmind.com/topics/chromatic-discrepancy
type: topic
---

# Chromatic Discrepancy in Graph Theory

Searching arXiv for recent and foundational papers on chromatic discrepancy and closely related terminology.
Chromatic discrepancy is a graph-coloring parameter that measures how far a proper coloring of a graph is from remaining color-efficient on every induced subgraph. For a proper coloring, one examines each induced subgraph \(H\), compares the number of colors actually used on \(H\) with its intrinsic chromatic number \(\chi(H)\), and records the largest excess. Minimizing this excess over all proper colorings yields the chromatic discrepancy \(\phi(G)\); restricting to connected induced subgraphs yields the connected variant \(\hat\phi(G)\). These parameters were introduced to study colorings that use as few colors as possible not only on the ambient graph but also on all its induced subgraphs [1401.3251]. Subsequent work connected \(\phi(G)\) to local colorability, forbidden subgraph conditions, exact extremal constructions, random graphs, and several nearby notions that use similar terminology but are formally distinct [2508.02985].

## 1. Definition and basic variants

Let \(G=(V,E)\) be a finite simple graph, and let \(c\) be a proper coloring of \(G\). For any induced subgraph \(H\) of \(G\), write \(\chi(H)\) for the chromatic number of \(H\), and let \(c(H)\) denote the set of colors used by \(c\) on \(H\). The discrepancy of \(c\) is
\[
\phi_c(G)=\max_{H\le G}\bigl(|c(H)|-\chi(H)\bigr),
\]
and the chromatic discrepancy of \(G\) is
\[
\phi(G)=\min_{c\ \text{proper coloring of }G}\phi_c(G).
\]
If the maximum is restricted to connected induced subgraphs, one obtains
\[
\hat\phi_c(G)=\max_{\text{connected }H\le G}\bigl(|c(H)|-\chi(H)\bigr),\qquad
\hat\phi(G)=\min_c \hat\phi_c(G).
\]
By construction, \(\hat\phi(G)\le \phi(G)\), and both parameters are monotone under taking induced subgraphs [1401.3251].

A later formulation rewrites the parameter through an auxiliary extremal function. If \(C_p(G)\) denotes the set of proper \(p\)-colorings of \(G\), define
\[
f_G(p):=\max_{\sigma\in C_p(G)}\min\{\chi(G[X]):X\subseteq V(G),\ |\sigma(X)|=p\}.
\]
Then
\[
\phi(G)=\min_{p\ge \chi(G)}\bigl[p-f_G(p)\bigr].
\]
This formulation is useful for lower bounds: an upper bound on \(f_G(p)\) immediately yields a lower bound on \(\phi(G)\) [2508.02985].

Conceptually, \(\phi(G)=0\) means that some proper coloring uses exactly \(\chi(H)\) colors on every induced subgraph \(H\). Positive discrepancy measures unavoidable “over-use” of colors somewhere inside the induced-subgraph lattice.

## 2. General bounds and exact values

Several basic inequalities are known. For any graph \(G\) with at least one edge,
\[
\phi(G)\le \chi(G)-1,\qquad \hat\phi(G)\le \chi(G)-2.
\]
If \(|V(G)|=n\), \(\chi=\chi(G)\), and \(\alpha=\alpha(G)\), then
\[
\phi(G)\le n-\chi,\qquad
\phi(G)\le \chi(1-1/\alpha),\qquad
\phi(G)\le n/3.
\]
The lower-bound side is governed by the gap between chromatic and clique structure:
\[
\phi(G)\ge \max_{H\le G}\frac12\bigl(\chi(H)-\omega(H)\bigr).
\]
In particular, if \(G\) is triangle-free then
\[
\phi(G)\ge \chi(G)/2-1.
\]
For triangle-free graphs one also has
\[
\phi(G)\ge \hat\phi(G)\ge \psi(G)-2,
\]
where \(\psi(G)\) is the local chromatic number, and since \(\psi(G)\ge \chi^*(G)\), this yields \(\phi(G)\ge \chi^*(G)-2\) as well [1401.3251].

A number of special classes admit exact values. Complete graphs satisfy
\[
\phi(K_t)=\hat\phi(K_t)=0.
\]
Odd cycles show a small but nontrivial dichotomy: if \(n\) is odd and \(3\le n\le 7\), then
\[
\phi(C_n)=\hat\phi(C_n)=1,
\]
whereas for odd \(n\ge 9\),
\[
\phi(C_n)=2,\qquad \hat\phi(C_n)=1.
\]
The Mycielski graphs \(M_k\), with \(\chi(M_k)=k\) and \(\omega=2\), satisfy
\[
\phi(M_k)=\hat\phi(M_k)=k-2
\]
[1401.3251].

Later work substantially sharpened the triangle-free lower bound: every triangle-free graph \(G\) satisfies
\[
\phi(G)\ge \chi(G)-2,
\]
and this is best possible because the Mycielski graphs already realize equality [2508.02985]. This replaces the earlier \(\chi(G)/2-1\) lower bound by an essentially optimal linear statement.

## 3. Zero discrepancy and structural characterization

The zero sets of \(\phi\) and \(\hat\phi\) admit exact structural descriptions. One has
\[
\hat\phi(G)=0 \iff G\ \text{is paw-free and perfect},
\]
and
\[
\phi(G)=0 \iff G\ \text{is complete multipartite}.
\]
The connected variant is thus governed by a perfect-graph condition plus exclusion of the paw, whereas the unrestricted variant is rigid enough to force complete multipartite structure [1401.3251].

The proof sketch recorded for \(\hat\phi(G)=0\) uses the notion of a perfect coloring, namely a coloring that uses exactly \(\omega(H)=\chi(H)\) colors on every connected induced subgraph \(H\). Such a perfect coloring exists exactly for paw-free perfect graphs. For \(\phi(G)=0\), the characterization is equivalent to the statement that complete multipartite graphs are exactly the graphs without an induced \(K_1\cup K_2\) [1401.3251].

The two parameters can differ. A basic example is \(G=K_2\cup K_1\): here \(\chi=2\), any \(2\)-coloring yields \(\phi_c=1\), while the largest connected induced subgraphs always match their chromatic numbers, so \(\hat\phi(G)=0\) [1401.3251]. More generally, if \(G\) is connected, then
\[
\phi(G)\le \hat\phi(G)+\alpha(G)-1.
\]
This shows that for graphs with small independence number the unrestricted and connected discrepancies remain close [1401.3251].

These structural results clarify that chromatic discrepancy is not merely a numerical refinement of \(\chi(G)\): it detects whether a single global coloring can remain locally optimal across all induced subgraphs.

## 4. Local colorability and forbidden subgraphs

A major recent direction studies chromatic discrepancy under local colorability assumptions. A graph \(G\) is called locally \(s\)-colourable if the closed neighbourhood \(N[v]\) of every vertex \(v\in V(G)\) is properly \(s\)-colourable. In particular, every triangle-free graph is locally \(2\)-colourable [2508.02985].

For locally \(s\)-colourable graphs, the key bound is
\[
f_G\bigl(\chi(G)+k\bigr)\le (s-1)(k+1)+1
\qquad\text{for every }k\ge 0.
\]
Combined with
\[
\phi(G)=\min_{p\ge \chi(G)}[p-f_G(p)],
\]
this yields the triangle-free theorem
\[
\phi(G)\ge \chi(G)-2.
\]
The proof is based on a rainbow closed-neighbourhood lemma: for any proper \((\chi(G)+k)\)-colouring \(\sigma\) and for each colour class \(U\), there exists a set \(X\subseteq V\) with \(|X|\le k+1\), meeting \(U\), such that \(\sigma(N[X])\) contains all \(\chi(G)+k\) colours [2508.02985].

The same framework leads to a broader conjecture:
\[
\phi(G)\ge \chi(G)-s
\]
for every locally \(s\)-colourable graph \(G\). This conjecture is proved when
\[
\chi(G)\le 11s/6
\]
in the form stated in the abstract, and the paper also proves the partial general bound
\[
\phi(G)\ge \chi(G)-s\ln\chi(G)
\]
[2508.02985].

Forbidden cycles provide a large class of examples. If \(G\) is \(C_{\ell+1}\)-free, then each \(N[v]\) is \(\ell\)-colourable, so \(G\) is locally \(\ell\)-colourable. Consequently,
\[
\phi(G)\ge \chi(G)-\ell.
\]
For \(C_4\)-free graphs there is a stronger statement:
\[
\phi(G)\ge \chi(G)-2 \qquad (G\neq K_3).
\]
For \(\ell\ge 3\), if \(G\) is \(C_{\ell+1}\)-free, \(G\neq K_\ell\), and
\[
\chi(G)\le 5\ell/3,
\]
then
\[
\phi(G)\ge \chi(G)-\ell+1.
\]
In the general \(C_{\ell+1}\)-free case, the paper proves that if \(t=\lfloor \ell/2\rfloor\), then every ball \(B_t(v)\) satisfies
\[
\chi(B_t(v))\le 2\ell,
\]
and from a \(2\)-local argument deduces that for \(\ell\ge 4\),
\[
\phi(G)\ge \chi(G)-8\ell^2\ln\ln\chi(G)-c_\ell
\]
for some constant \(c_\ell\) [2508.02985].

This body of results suggests that chromatic discrepancy is especially sensitive to local obstructions: excluding short cycles or forcing low chromaticity in closed neighbourhoods makes large discrepancy unavoidable.

## 5. Probabilistic behavior, complexity, and open problems

The parameter also has a probabilistic profile. If
\[
G\sim G(n,p)\qquad\text{with}\qquad 2\log n/n < p < 1/\log^2 n,
\]
then there exists a constant \(C>0\) such that asymptotically almost surely
\[
\phi(G)\ge \hat\phi(G)\ge \chi(G)\cdot\Bigl(1-\frac{C}{\log(np)}\Bigr).
\]
Thus for random graphs in this range, both discrepancy parameters lie very close to the chromatic number itself [1401.3251].

From the algorithmic perspective, computing \(\phi(G)\) and \(\hat\phi(G)\) is NP-hard. The reduction recorded in the source starts from a connected graph \(G\) on \(n\) vertices, forms \(G'\) by adjoining an independent copy of \(K_{2n}\), and joins each original vertex to two distinct new vertices; one then shows
\[
\phi(G')=\hat\phi(G')=\chi(G)
\]
[1401.3251]. This places exact computation of chromatic discrepancy among the difficult optimization problems of graph coloring.

Several open questions remain explicit in the literature. One asks whether there is a universal lower bound on \(\hat\phi(G)\) in terms of \(\phi(G)\); a conjectured form is
\[
\hat\phi(G)\ge \phi(G)+1-\sqrt{\phi(G)+1}.
\]
Other questions ask whether the decision problems \(\{(G,k):\phi(G)\le k\}\) and \(\{(G,k):\hat\phi(G)\le k\}\) lie in NP, for which graph classes \(\phi\) and \(\hat\phi\) are polynomial-time computable, and whether
\[
\phi(G)\ge \chi(G)-\omega(G)
\]
always holds [1401.3251]. The later locally \(s\)-colourable program adds the unresolved conjecture \(\phi(G)\ge \chi(G)-s\) for all \(s\ge 3\), together with the problem of improving the logarithmic losses in the general bounds [2508.02985].

## 6. Terminological scope and related parameters

The phrase “chromatic discrepancy” is not uniform across the literature. In the graph-coloring sense discussed above, it denotes the induced-subgraph over-use parameter \(\phi(G)\) and its connected variant \(\hat\phi(G)\) [1401.3251]. In discrepancy theory, however, the same phrase is sometimes used for two-color discrepancy of a set system: if \((X,\mathcal S)\) is a finite set system and \(\chi:X\to\{-1,+1\}\), then
\[
\disc_{\mathcal S}(\chi)=\max_{S\in\mathcal S}|\chi(S)|,\qquad
\chi(S)=\sum_{x\in S}\chi(x)
\]
[2209.01147].

Related geometric usages also appear. For a checkerboard coloring \(f:\mathbb R^2\to\{-1,+1\}\) constant on unit squares and a rectifiable curve \(\Gamma\subset\mathbb R^2\),
\[
D(\Gamma)=\left|\int_\Gamma f\,ds\right|
\]
measures black-white length imbalance along \(\Gamma\) [1201.5544]. In edge-colored graph settings, if \(\chi:E(G)\to\{+1,-1\}\) is a \(2\)-edge-coloring and \(T\) is a spanning tree, then
\[
W_\chi(T)=\sum_{e\in E(T)}\chi(e),\qquad
\mathrm{disc}_\chi(T)=|W_\chi(T)|
\]
defines the color discrepancy of \(T\) [2511.05218]. For subgraphs of a \(2\)-colored complete graph, one likewise writes
\[
\mathrm{disc}(F)=\left|\sum_{e\in E(F)}f(e)\right|
\]
[2602.04069].

These notions are all discrepancy measures, but they are distinct from graph chromatic discrepancy \(\phi(G)\), which depends on proper vertex colorings and induced subgraphs rather than \(\{\pm1\}\)-colorings of edges or set-system elements.

There are also nearby graph invariants that should not be conflated with \(\phi(G)\). The chromatic gap is
\[
\Delta_{\rm chrom}(G)=\chi(G)-\omega(G),
\]
or equivalently \(\mathrm{gap}(G)=\theta(G)-\alpha(G)\) on the complement side [1108.3444]. The list-chromatic gap is
\[
\delta(G)=ch(G)-\chi(G),
\]
which measures failure of chromatic-choosability [2201.02060]. Decomposition parameters such as the tree-chromatic number \(\chi_T(G)\) and path-chromatic number \(\chi_P(G)\) satisfy
\[
\omega(G)\le \chi_T(G)\le \chi_P(G)\le \chi(G)
\]
and compare chromatic behavior across tree- and path-decompositions rather than across induced subgraphs [1703.03973]. Taken together, these distinctions show that “chromatic discrepancy” sits inside a wider family of chromatic and discrepancy parameters, but its defining feature is the demand that one global proper coloring behave near-optimally on every induced subgraph.

Source: https://www.emergentmind.com/topics/chromatic-discrepancy