---
title: List-Distinguishing Chromatic Number
url: https://www.emergentmind.com/topics/list-distinguishing-chromatic-number
type: topic
---

# List-Distinguishing Chromatic Number

The list-distinguishing chromatic number is a list-constrained symmetry-breaking coloring parameter for finite simple graphs. In the now-standard usage of recent work, it is the minimum \(k\) such that every list assignment of size \(k\) admits a proper distinguishing coloring, denoted \(\chi_{D_\ell}(G)\) or \(\chi_{D_L}(G)\); a parallel nonproper parameter, the list distinguishing number \(D_\ell(G)\), asks only for a distinguishing labeling from the lists. A notable terminological divergence is that "Characterization of graphs with distinguishing number equal list distinguishing number" [1711.08887] explicitly uses the phrase “List-Distinguishing Chromatic Number” for the nonproper parameter \(D_\ell(G)\), whereas later papers use it for the proper parameter \(\chi_{D_\ell}(G)\). Across both conventions, the theory studies how list constraints interact with graph automorphisms, proper coloring, and structural restrictions on the graph class [1711.08887], [2405.12733], [2509.11992].

## 1. Parameter landscape and notation

Let \(\operatorname{Aut}(G)\) denote the automorphism group of a graph \(G\). A vertex coloring \(f\) is distinguishing if every nontrivial automorphism fails to preserve it; equivalently, the identity is the only automorphism preserving all vertex colors. If the coloring is also proper, it is a proper distinguishing coloring. Given a list assignment \(L=\{L(v)\}_{v\in V(G)}\), one asks whether the colors can be chosen from the prescribed lists while still breaking all nontrivial automorphisms [2405.12733], [2509.11992].

The four parameters that recur in the literature are the distinguishing number \(D(G)\), the list distinguishing number \(D_\ell(G)\), the distinguishing chromatic number \(\chi_D(G)\), and the list-distinguishing chromatic number \(\chi_{D_\ell}(G)\). The first pair ignores properness; the second pair requires it. In the notation of [2405.12733], \(D_L(G)\) and \(\chi_{DL}(G)\) are the same parameters written with \(L\) rather than \(\ell\).

| Parameter | Meaning | Basic relation |
|---|---|---|
| \(D(G)\) | minimum number of colors in a distinguishing coloring | \(D(G)\le D_\ell(G)\) |
| \(D_\ell(G)\) | minimum \(k\) such that every \(k\)-list assignment is distinguishable | nonproper list analogue |
| \(\chi_D(G)\) | minimum number of colors in a proper distinguishing coloring | \(\chi(G)\le \chi_D(G)\) |
| \(\chi_{D_\ell}(G)\) | minimum \(k\) such that every \(k\)-list assignment is properly distinguishable | \(\chi_D(G)\le \chi_{D_\ell}(G)\) |

The basic inequalities are immediate from the definitions. For the nonproper parameters, identical lists show that \(D(G)\le D_\ell(G)\) [1711.08887]. For the proper parameters, the recent literature records
\[
\chi(G)\le \chi_D(G)\le \chi_{D_L}(G),
\]
and also
\[
\chi(G)\le \max\{\chi(G),D(G)\}\le \chi_D(G)\le \chi_{DL}(G)
\]
in the notation of [2405.12733]. These inequalities locate list-distinguishing chromatic number at the intersection of list coloring and symmetry breaking: it refines proper list coloring by requiring that the resulting coloring eliminate every nontrivial automorphism.

A common source of confusion is the distinction between \(D_\ell(G)\) and \(\chi_{D_\ell}(G)\). The former is a list version of the distinguishing number and does not impose properness; the latter is the proper list-distinguishing parameter. The literature now treats them separately, but the earlier terminology in [1711.08887] shows that the phrase itself has not been historically uniform.

## 2. Trees and the enumerative foundation

Trees provide the most complete structural theory currently available. "List Distinguishing Parameters of Trees" [1111.4989] develops an enumerative method, extending Cheng’s recursion, and proves that for every tree \(T\),
\[
D_\ell(T)=D(T),\qquad \chi_D(T)=\chi_{D_\ell}(T),\qquad \chi_D(T)\le D(T)+1.
\]
Thus, for trees, passing to lists does not increase either the nonproper or the proper symmetry-breaking requirement.

The framework is rooted-tree based. After rooting at the center, or subdividing a central edge when the center is an edge, one studies a rooted subtree \(T_x\) by partitioning the children of \(x\) into classes \(C_1,\dots,C_t\) according to rooted-subtree isomorphism. If \(u_j\) is a representative of \(C_j\), Cheng’s recursion for distinguishing colorings is
\[
D(T_x;k)=k\prod_{j=1}^{t}\binom{D(T_{u_j};k)}{|C_j|}.
\]
The proper analogue counts proper distinguishing colorings with a prescribed root color \(i\):
\[
D_\chi(T_v;k,i)=\prod_{j=1}^{t}\binom{(k-1)D_\chi(T_{v_{j,1}};k,1)}{|C_j|}.
\]
These formulas encode the local obstruction: at each vertex, isomorphic child subtrees must receive inequivalent colorings, and in the proper case those colorings must also avoid the parent’s color.

The list extension is a monotonicity statement at the level of equivalence classes. For a list assignment \(L\) with \(|L(v)|=k\) for all vertices of a rooted tree, the paper proves
\[
D(T_x;L)\ge D(T_x;k),
\]
with equality precisely in orbit-constant situations or when no such coloring exists. The proper version similarly shows
\[
D_\chi(T_x;L,i)\ge D_\chi(T_x;k,1)
\]
for all \(i\in L(x)\). These inequalities are the core reason that list constraints do not raise the tree parameters.

The tree theory also yields a certificate for when properness costs exactly one additional color. If \(D(T)=k\), then \(\chi_D(T)=k+1\) if and only if either \(k=1\) and \(|V(T)|\ge 2\), or there is a vertex \(x\) and a set \(S\) of children of \(x\) whose rooted subtrees are all isomorphic and satisfy
\[
(k-1)D_\chi(T_u;k,1)<|S|.
\]
This criterion isolates the precise combinatorial bottleneck: too many equivalent branches relative to the number of inequivalent proper colorings available beneath them.

## 3. Exact values on standard graph families

Several graph classes admit exact evaluations of \(\chi_{D_\ell}(G)\) or \(D_\ell(G)\). The clearest examples are paths, cycles, trees, book graphs, friendship graphs, and certain complete bipartite graphs [2405.12733], [1711.08887].

For paths, [2405.12733] proves
\[
\chi_{DL}(P_{2t})=2,\qquad \chi_{DL}(P_{2t+1})=3\qquad (t\ge 1).
\]
For cycles, the same paper gives
\[
\chi_{DL}(C_4)=4,\quad \chi_{DL}(C_5)=3,\quad \chi_{DL}(C_6)=4,
\]
together with
\[
\chi_{DL}(C_{2n+1})=3\quad (n\ge 3),\qquad \chi_{DL}(C_{2n})=3\quad (n\ge 4).
\]
The exceptional behavior of \(C_4\) and \(C_6\) reflects the interaction between proper 2-colorability or 3-colorability and the residual dihedral symmetries that remain unless additional colors are introduced.

For trees, the exact identification is universal:
\[
\chi_{D_\ell}(T)=\chi_D(T),\qquad D_\ell(T)=D(T)
\]
for every tree \(T\) [1111.4989]. This is one of the central positive results in the area and remains a benchmark for more general classes.

Book graphs and friendship graphs show that the proper and nonproper list parameters can diverge sharply. If \(B_n=K_{1,n}\square P_2\), then [1711.08887] proves
\[
D_\ell(B_n)=D(B_n)=\lceil \sqrt{n}\rceil\qquad (n\ge 2).
\]
For the proper parameter, [2405.12733] proves that if \(m\ge 0\) and \(\lceil\sqrt{n}\rceil=m+1\), then
\[
\chi_{DL}(B_n)=\chi_D(B_n)=\lceil\sqrt{n}\rceil+1
\]
when \(m<n\le m^2+m+1\), whereas
\[
\chi_{DL}(B_n)=\chi_D(B_n)=\lceil\sqrt{n}\rceil+2
\]
when \(m^2+m+2\le n\le (m+1)^2\). Thus the list-distinguishing chromatic number of a book graph is determined exactly and agrees with the non-list proper parameter, but exceeds the nonproper list-distinguishing number by either \(1\) or \(2\).

For friendship graphs \(F_n\), [1711.08887] proves
\[
D_\ell(F_n)=D(F_n)=\left\lceil \frac{1+\sqrt{8n+1}}{2}\right\rceil\qquad (n\ge 2),
\]
while [2405.12733] states
\[
\chi_{DL}(F_n)=\chi_D(F_n)+1=1+\left\lceil \frac{1+\sqrt{8n+1}}{2}\right\rceil.
\]
This is a clean instance where properness adds exactly one color over the distinguishing number and its list version.

The sharp exceptional complete bipartite case is
\[
\chi_{DL}(K_{\Delta(G),\Delta(G)})=2\Delta(G),
\]
which is one of the two universal exceptions in the Brooks-type theory discussed below [2405.12733], [2509.11992].

## 4. Universal upper bounds and constructive methods

A central theme of the recent theory is that the classical Collins–Trenk upper bound for distinguishing chromatic number persists in the list setting. Both [2405.12733] and [2509.11992] record the list analogue:
\[
\chi_{D_L}(G)\le 2\Delta(G)-1
\]
for every connected graph \(G\notin\{K_{\Delta,\Delta},C_6\}\), while
\[
\chi_{D_L}(G)=2\Delta(G)
\]
for \(G\in\{K_{\Delta,\Delta},C_6\}\). This is the basic Brooks-type theorem for the list-distinguishing chromatic number.

"Upper bounds for the list-distinguishing chromatic number" [2405.12733] gives a constructive proof by adapting the BFS-rooted method of Imrich et al. to finite graphs. One chooses a root \(v\) of maximum degree, builds a BFS spanning tree, colors \(v\) and its neighborhood with distinct colors from lists of size \(2\Delta(G)-1\), and then proceeds in BFS order. Whenever another vertex acquires the same “uniquely colored” role as the root, a local recoloring among siblings and nearby vertices destroys that symmetry while preserving properness and list feasibility. The output is a proper \(L\)-distinguishing coloring unless the graph is one of the two sharp exceptions.

The same paper proves several additional general bounds. For connected unicyclic graphs of girth at least \(7\) with \(\Delta(G)\ge 3\),
\[
\chi_{DL}(G)\le \Delta(G).
\]
More broadly, if \(Col(G)\) is the coloring number and \(D_L(G)\) the list-distinguishing number, then
\[
\chi_{DL}(G)\le Col(G)\cdot D_L(G).
\]
This bound arises from a list-splitting argument along an ordering witnessing \(Col(G)\): disjoint sublists are carved out to guarantee properness, and the residual list capacity is used to break automorphisms.

Automorphism-group structure also yields upper bounds. If \(\operatorname{Aut}(G)\cong \mathbb{Z}_{p^m}\) for a prime \(p\), then
\[
\chi_{DL}(G)\le \chi_L(G)+1,
\]
and the paper states that this bound is sharp. More generally, if
\[
\operatorname{Aut}(G)\cong \prod_{i=1}^{k}\mathbb{Z}_{p_i^{n_i}},
\]
then
\[
\chi_{DL}(G)\le \chi_L(G)+k,
\]
again with sharpness. These results separate the cost of proper list coloring from the additional cost of breaking cyclic \(p\)-group factors in the automorphism group.

A basic misconception is that list constraints never increase the proper symmetry-breaking parameter. This is false. The recent literature records both a connected graph \(G'\) with \(\chi_{D_L}(G')\ne \chi_D(G')\) and a bipartite asymmetric graph with \(\chi_D(G)=2\) but \(\chi_{DL}(G)=3\) because some 2-element list assignments admit no proper coloring [2405.12733], [2509.11992].

## 5. Structural refinements: decompositions and small complete bigraphs

After the universal \(2\Delta(G)-1\) bound, the next development is a family of sharper bounds under connectivity and forbidden-subgraph hypotheses. The first refinement, in [2405.12733], uses Lovász’s decomposition lemma. If \(7\le r\le \Delta(G)+1\), \(G\) is an \((n-r+1)\)-connected graph of order \(n\), and \(G\) contains no \(K_{r-1,r-1}\), then
\[
\chi_{DL}(G)\le 2\Delta(G)-\big(3\lfloor(\Delta(G)+1)/r\rfloor-2\big).
\]
The argument partitions \(V(G)\) into subgraphs of controlled maximum degree and colors those parts from disjoint palettes; the disjointness forces global properness and helps preserve distinguishability across the partition.

"The List-distinguishing chromatic number of graphs containing only small complete bigraphs" [2509.11992] strengthens this direction. For \(4\le r\le \Delta(G)/2\), if \(G\) is \((n-2r+1)\)-connected with \(n>2r\) and has no induced \(K_{r,r+1}\) or \(K_{r+1,r+1}\), then
\[
\chi_{D_L}(G)\le 2\Delta(G)-\Big(3\Big\lfloor\frac{\Delta(G)+2}{r+1}\Big\rfloor-4\Big).
\]
This is strictly stronger than \(2\Delta(G)-1\) whenever \(\lfloor(\Delta(G)+2)/(r+1)\rfloor\ge 2\), and it simplifies to
\[
\chi_{D_L}(G)\le 2\Delta(G)-5
\]
whenever \(\lfloor(\Delta(G)+2)/(r+1)\rfloor\ge 3\).

The proof is Catlin-inspired rather than Lovász-based. It partitions the vertex set into blocks \(X_1,\dots,X_t\) maximizing
\[
f(X_1,\dots,X_t)=\sum_{i=1}^{t}\big(h_i|X_i|-|E(G[X_i])|\big),
\]
with a secondary minimization of induced \(K_{r,r}\) inside the \(r\)-blocks. A vertex-shifting argument yields \(\Delta(G[X_i])\le h_i\), and a key subclaim excludes induced \(K_{\Delta(G[X_i]),\Delta(G[X_i])}\) inside the critical blocks, since repeated shifts would create a forbidden induced \(K_{r+1,r}\). The final assembly uses pairwise disjoint color blocks and the inequality
\[
\chi_{D_L}(G)\le \sum_{i=1}^{t}\chi_{D_L}(G[X_i]).
\]

The paper then applies the theorem to joins \(X\vee H\) where \(X\) is drawn from three explicit graph families: Paley graphs \(P(a)\), Cayley graphs on dihedral groups \(\mathrm{Cay}(D_{2m},S)\), and circulant Cayley graphs \(C_a^t\). Menger’s theorem supplies the required connectivity, while Hoffman’s ratio bound and direct clique arguments bound independence numbers to exclude the forbidden induced complete bigraphs. For the parameter ranges stated in the paper, these families satisfy \(\Delta(G)\ge 3r+1\), hence \(\lfloor(\Delta(G)+2)/(r+1)\rfloor\ge 3\), so the general theorem yields the clean improvement
\[
\chi_{D_L}(G)\le 2\Delta(G)-5.
\]

## 6. Characterization theory and open directions

The most explicit characterization in the literature concerns the nonproper list parameter \(D_\ell(G)\). In [1711.08887], let \(V(G)=\{a_1,\ldots,a_n\}\), let \(d=D(G)\), and let \(\mathcal{L}(G,m)=\{C_1,\ldots,C_{t_m}\}\) be the set of all distinguishing labelings using labels in \(\{1,\ldots,m\}\), where \(m\ge d\). Each distinguishing labeling \(C_i\) generates a family of \((m,d)\)-related list sequences, and the union of these families is denoted
\[
B_{(m,d)}^{\{a_1,\ldots,a_n\}(C_1,\ldots,C_{t_m})}.
\]
The paper proves that a list sequence \(L=\{L_i\}_{i=1}^{n}\) with \(|L_i|=d\) and \(L_i\subseteq\{1,\ldots,m\}\) admits a distinguishing \(L\)-labeling if and only if it lies in this union. Consequently,
\[
D_\ell(G)=\min\Big\{d:\ |B_{(m,d)}^{\{a_1,\ldots,a_n\}(C_1,\ldots,C_{t_m})}|\ge {m\choose d}^n\ \text{for all }m\ge d\Big\},
\]
and in particular
\[
D_\ell(G)=D(G)=d
\]
if and only if the same covering inequality holds for all \(m\ge d\).

This set-theoretic viewpoint is accompanied by two counting tools. One is an inclusion–exclusion formula for \(|B_{(m,d)}|\), expressed in terms of overlap statistics among the families generated by different distinguishing labelings. The other is a recurrence relating \(|B_{(m+1,d)}|\) to \(|B_{(m,d)}|\) and \(|B_{(m,d-1)}|\) by separating the lists that do and do not contain a new color. The paper then shows that the same characterization scheme extends to \(\chi_{D_\ell}(G)\) and to the ordinary list chromatic number \(\chi_\ell(G)\): in both cases, the list parameter is the minimum \(d\) for which the union of compatible list sequences covers all \({m\choose d}^n\) assignments for every \(m\ge d\) [1711.08887].

Two open themes persist. First, the question recalled from Ferrara et al.—whether there exists a graph \(G\) with \(D(G)\ne D_\ell(G)\)—remains unresolved in [1711.08887]. Second, [2405.12733] asks whether there exists a graph \(G\) such that
\[
\chi_{DL}(G)=Col(G)\cdot D_L(G)
\]
and \(G\) is not asymmetric. The recent structural work in [2509.11992] also leaves several natural directions: extending the improved bounds to \(\chi_D(G)\), weakening the connectivity assumptions, determining when the \(2\Delta(G)-5\) bound or the general floor-based bound is tight, and understanding algorithmic aspects of finding or certifying the required Catlin-style extremal partition.

Taken together, the current theory shows a sharp contrast between the nonproper and proper list settings. For trees and several classical graph families, equality with the non-list parameter survives list constraints. For proper colorings in general, however, list constraints can raise the required number of colors, and the strongest known progress consists of universal Brooks-type bounds, exact values on selected families, and increasingly refined improvements under strong structural hypotheses.

Source: https://www.emergentmind.com/topics/list-distinguishing-chromatic-number