The chromatic symmetric function of a finite simple graph
is the symmetric function
where the sum ranges over proper colorings
by positive integers (Stanley 1995). Setting
and all remaining variables to zero gives the
chromatic polynomial of
evaluated at
.
Bingham et al. (2026) refined this function by recording the number of colors used:
Thus .
They proved that the specialization
determines
up to isomorphism within
each of two classes of caterpillar graphs. One
consists of those whose nonleaf vertices form a three-vertex
path graph. The other consists of elongated bistars,
obtained by joining the centers of two star graphs,
each having at least one leaf, by a path graph. Their
proof supplies reconstruction algorithms. Bingham et al. (2026) used AI-generated
code to check related reconstruction conjectures at larger orders.