The Gallai-van der Waerden number is the least integer
such that, for every
, every exact
-coloring of
contains a monochromatic or rainbow three-term arithmetic progression. An exact coloring
uses all
colors. Monochromatic means that all three colors are equal, and rainbow means that
they are distinct (Si 2026). The requirement concerns every interval beyond the threshold,
not just
.
Si (2026) determined
and
for every
.
The proof combines finite exhaustive checks with a theoretical
argument for
. These numbers differ from the ordinary van
der Waerden numbers, which force only monochromatic arithmetic
progressions.