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

# Total Distinguishing Chromatic Number

The **total distinguishing chromatic number**, in the sense treated in "The adjacent vertex distinguishing total chromatic number," is the minimum number of colors in a proper total coloring of a graph \(G\) such that every pair of adjacent vertices receives different *incident color-sets* [1009.1785]. For a proper total coloring \(\varphi\), the color-set of a vertex \(v\) is
\[
C_{\varphi}(v)=\{\varphi(v)\}\cup\{\varphi(vw):w\in N(v)\},
\]
and the requirement is that \(C_{\varphi}(u)\neq C_{\varphi}(v)\) whenever \(uv\in E(G)\) [1009.1785]. In that paper the parameter is called the **adjacent vertex distinguishing total chromatic number** and is denoted \(\chi_{at}(G)\); in this usage, it is exactly the parameter meant by “total distinguishing chromatic number” [1009.1785].

## 1. Formal definition and basic inequalities

Let \(G=(V,E)\) be a finite simple graph. A map
\[
\varphi:V\cup E\to [k]
\]
is a **proper total \(k\)-coloring** if adjacent vertices receive different colors, adjacent edges receive different colors, and each vertex receives a color different from every incident edge [1009.1785]. Equivalently, \(\varphi|_V\) is a proper vertex coloring, \(\varphi|_E\) is a proper edge coloring, and no vertex shares a color with an incident edge [1009.1785].

Given such a coloring, the color-set
\[
C_{\varphi}(v)=\{\varphi(v)\}\cup\{\varphi(vw):w\in N(v)\}
\]
records the color on \(v\) together with the colors on all edges incident with \(v\) [1009.1785]. A coloring is **adjacent vertex distinguishing** if \(C_{\varphi}(u)\neq C_{\varphi}(v)\) for every edge \(uv\in E(G)\), and the least \(k\) for which such a coloring exists is
\[
\chi_{at}(G),
\]
the adjacent vertex distinguishing total chromatic number [1009.1785].

This parameter sits between ordinary total coloring and several trivial upper bounds. Since every adjacent vertex distinguishing total coloring is in particular a proper total coloring,
\[
\chi''(G)\le \chi_{at}(G),
\]
where \(\chi''(G)\) is the total chromatic number [1009.1785]. Also, any graph satisfies
\[
\chi''(G)\ge \Delta(G)+1,
\]
because a vertex of maximum degree must avoid the colors of all its incident edges [1009.1785]. On the other hand, if one uses disjoint color sets for a proper vertex coloring and a proper edge coloring, then adjacent vertices are automatically distinguished, yielding
\[
\chi_{at}(G)\le \chi(G)+\chi'(G) [1009.1785].
\]
Using Brooks’ theorem and Vizing’s theorem, if \(G\) is not a complete graph or an odd cycle, this gives
\[
\chi_{at}(G)\le 2\Delta(G)+1
\]
as a straightforward bound [1009.1785].

## 2. Global bounds and the \(\Delta+3\) conjecture

The central theorem of [1009.1785] is that \(\chi_{at}(G)\) differs from \(\chi''(G)\) by at most an absolute constant:
\[
\chi_{at}(G)\le \chi''(G)+C_0
\]
for some constant \(C_0>0\) and every graph \(G\) [1009.1785]. Combined with the Molloy–Reed upper bound on total chromatic number, this yields a universal degree bound
\[
\chi_{at}(G)\le \Delta(G)+C'
\]
for some absolute constant \(C'>0\) [1009.1785]. Thus the parameter is asymptotically of the form \(\Delta(G)+O(1)\), rather than \(2\Delta(G)+O(1)\).

The constants obtained by the proof are deliberately non-optimized. The paper tracks them to show that, for sufficiently large \(\Delta(G)\),
\[
\chi_{at}(G)\le \chi''(G)+84,
\]
and, using Molloy–Reed,
\[
\chi_{at}(G)\le \Delta(G)+10^{26}+84
\]
for \(\Delta(G)\ge \exp(10^{58})\) [1009.1785]. The paper explicitly emphasizes that these values are not remotely optimal; their role is to prove the existence of an absolute additive constant.

A much sharper conjecture, due to Zhang et al. and recalled in [1009.1785], is
\[
\chi_{at}(G)\le \Delta(G)+3
\]
for every graph \(G\) [1009.1785]. This would be best possible: for odd complete graphs,
\[
\chi_{at}(K_n)=n+2=\Delta(K_n)+3
\]
when \(n\) is odd [1009.1785]. The conjecture therefore predicts an exact universal additive constant.

## 3. Relation to total coloring and edge-distinguishing variants

The relation to ordinary total coloring is particularly tight. The inequality
\[
\chi''(G)\le \chi_{at}(G)\le \chi''(G)+C_0
\]
shows that the extra requirement of distinguishing adjacent vertices by incident color-sets raises the total chromatic number by at most a bounded additive term independent of the graph [1009.1785]. A plausible implication is that progress on total coloring bounds immediately transfers to this parameter: if \(\chi''(G)\) were improved uniformly, the same would hold for \(\chi_{at}(G)\).

The closest edge-only analogue is the **adjacent vertex distinguishing edge chromatic number** \(\chi'_a(G)\), in which only edges are colored and adjacent vertices must receive different sets of incident edge-colors [1009.1785]. Hatami proved that
\[
\chi'_a(G)\le \Delta(G)+300
\]
for all graphs with \(\Delta(G)\ge 10^{20}\), and [1009.1785] explicitly models its probabilistic strategy on Hatami’s argument [1009.1785]. In this sense, \(\chi_{at}(G)\) is the total-coloring analogue of the edge parameter \(\chi'_a(G)\).

For sufficiently large \(\Delta(G)\), the comparison chain becomes
\[
\Delta(G)+1 \le \chi''(G)\le \chi_{at}(G)\le \Delta(G)+C'
\]
for some absolute constant \(C'\) [1009.1785]. Compared with the trivial non-complete, non-odd-cycle bound \(\chi_{at}(G)\le 2\Delta(G)+1\), this places the parameter within a constant of the best possible lower bound \(\Delta(G)+1\) [1009.1785].

## 4. Proof strategy and probabilistic machinery

The proof in [1009.1785] starts from an arbitrary proper total \(k\)-coloring and modifies it using only constantly many new colors. The vertex set is split into
\[
V_{\ell}=\{v:\deg(v)\le \Delta/2\},\qquad V_h=\{v:\deg(v)>\Delta/2\},
\]
where \(\Delta=\Delta(G)\), and the two parts are treated separately [1009.1785].

For **low-degree vertices**, the argument is deterministic. One keeps all edge colors and all high-degree vertex colors fixed, and repeatedly recolors a low-degree vertex \(u\) whenever it is not distinguished from some neighbor [1009.1785]. The crucial counting fact is that \(u\) has at most \(2\deg(u)\le \Delta\) forbidden colors, while a proper total coloring already uses at least \(\Delta+1\) colors, so at least one legal recoloring exists [1009.1785]. This yields a proper total coloring in which every vertex of \(V_{\ell}\) is distinguished from all neighbors.

For **high-degree vertices**, the proof is probabilistic and technically deeper. A random subset of edges is first selected and partially deleted to form a bounded-degree subgraph \(E_1\); this makes most adjacent high-degree vertices differ substantially in their color-sets, while leaving only a controlled exceptional set [1009.1785]. A second carefully chosen bounded set \(E_2\) is then added to separate the remaining problematic pairs [1009.1785]. The principal tools are Chernoff-type bounds, McDiarmid–Reed’s version of Talagrand’s inequality, and the symmetric Lovász Local Lemma [1009.1785].

Once \(E_1\cup E_2\) has bounded maximum degree, Vizing’s theorem colors this subgraph with at most \(M+3\) fresh colors, disjoint from the old palette, and this finishes the recoloring [1009.1785]. The overall proof is **existential**, not algorithmic: the paper gives no polynomial-time construction and does not attempt derandomization [1009.1785].

## 5. Special cases, exact values, and related parameters

The paper [1009.1785] reports that Zhang et al. determined exact values of \(\chi_{at}(G)\) for cycles, complete graphs, complete bipartite graphs, and trees. It also records that for graphs with maximum degree \(3\), Wang, Chen, and Hulgan independently proved
\[
\chi_{at}(G)\le \Delta(G)+3 = 6,
\]
and Hulgan further showed that such a coloring can be chosen so that at most one color appears on both edges and vertices [1009.1785]. Before the general constant bound, Liu, An, and Gao had proved that if \(\Delta(G)\) is sufficiently large and
\[
\delta(G)\ge 32\sqrt{\Delta\ln\Delta},
\]
then
\[
\chi_{at}(G)\le \Delta(G)+10^{26}+2\sqrt{\Delta\ln\Delta},
\]
a result later subsumed by the removal of the minimum-degree hypothesis in [1009.1785].

At the same time, the phrase *total distinguishing chromatic number* is not completely uniform across the literature. A plausible implication is that several nearby notions coexist, all combining total colorings with some form of distinction. The following table summarizes the main related parameters that appear in the supplied literature.

| Parameter | Distinguishing mechanism | Representative fact |
|---|---|---|
| \(\chi_{at}(G)\) | Adjacent vertices have different incident color-sets \(\{\varphi(v)\}\cup\{\varphi(vw)\}\) | \(\chi_{at}(G)\le \Delta(G)+C'\) [1009.1785] |
| \(D''(G)\) | Total coloring preserved only by the identity automorphism | \(D(S(G))=D''(G)\) and \(D''(G)\le \lceil\sqrt{\Delta(G)}\rceil\) [2411.07000] |
| \(\chi''_D(G)\) | Proper total coloring preserved only by the identity automorphism | \(\chi''_D(G)\le \chi''(G)+1\) for connected infinite graphs [1910.12107] |
| \(\chi''_{\Sigma}(G)\) | Adjacent vertices have different sums \(c(v)+\sum c(uv)\) | \(\chi''_{\Sigma}(G)\le \Delta(G)(1+o(1))\) [1507.07573] |
| \(\chi_{r-vsdt}(G)\) | Vertices at distance at most \(r\) have different total neighborhood color-sets | \(\chi_{1-vsdt}(G)\le 4\Delta(G)\) [1806.10132] |
| \(\chi_{td}(G)\) | Proper total labeling with \(f(uv)=|f(u)-f(v)|\) | Exact values are given for paths, cycles, stars, wheels, gears, and helms [1912.13323] |

Among these, \(\chi_{at}(G)\) is the parameter explicitly identified with “total distinguishing chromatic number” in [1009.1785], whereas \(D''(G)\) and \(\chi''_D(G)\) are automorphism-based total variants, and \(\chi''_{\Sigma}(G)\) and \(\chi_{r-vsdt}(G)\) are stronger or differently structured distinguishing refinements [2411.07000; 1910.12107; 1507.07573; 1806.10132].

## 6. Algorithmic status and mathematical significance

The existence theory for \(\chi_{at}(G)\) is substantially stronger than the current algorithmic theory. The paper [1009.1785] does not discuss the computational complexity of computing \(\chi_{at}(G)\), gives no explicit construction algorithm for the asserted bounds, and relies on probabilistic existence arguments that do not directly yield efficient procedures [1009.1785]. Thus the main achievement is structural rather than algorithmic.

Its conceptual significance is twofold. First, it shows that distinguishing adjacent vertices by incident total color-sets is asymptotically no harder than total coloring itself:
\[
\chi_{at}(G)=\chi''(G)+O(1) [1009.1785].
\]
Second, it places this parameter within a broader “\(\Delta+O(1)\)” paradigm that also appears in adjacent-vertex-distinguishing edge colorings, neighbor-sum distinguishing total colorings, and radius-based strongly distinguishing total colorings [1009.1785; 1507.07573; 1806.10132].

The main open direction remains the gap between the proved constant bound and the conjectured optimum \(\Delta(G)+3\) [1009.1785]. A plausible implication is that progress on sharper total-coloring bounds, stronger versions of the Total Coloring Conjecture, or algorithmic forms of Local Lemma methods would all bear directly on the long-term structure of the total distinguishing chromatic number.

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