Set theory studies different sizes of infinity, and some infinities have special properties called "large cardinal" properties. These large cardinals are arranged in a hierarchy of strength, and mathematicians have found many equivalent ways to characterize them. Separately, graph coloring is a classical area of combinatorics: given a network of nodes connected by edges, can you assign colors to nodes so that no two connected nodes share a color? A "list coloring" variant gives each node its own personal list of allowed colors, asking whether a valid coloring exists using only colors from each node's list. This paper connects these two worlds by asking: if every finite piece of an infinite graph can be list-colored, does the whole graph have a valid list coloring? When the answer is guaranteed to be yes, we say a compactness property holds.
The authors introduce a new family of cardinal numbers, called compactness cardinals, defined precisely by when these list-coloring compactness guarantees kick in. The hierarchy they build turns out to include several previously known large cardinal notions as special cases. The main results show that important large cardinals, specifically weakly compact cardinals, strongly compact cardinals, and a family called delta-strongly compact cardinals, can each be cleanly characterized by asking exactly which list-coloring compactness statements they satisfy. This gives a fresh combinatorial lens through which to view objects that were previously defined in more abstract logical or set-theoretic terms.
The paper also establishes lower bounds showing just how large these new compactness cardinals must be, placing them precisely within the broader landscape of large cardinal strengths. The overall contribution is twofold: it enriches the theory of large cardinals by providing new combinatorial characterizations, and it lifts a classical finite combinatorial concept, list coloring, into the infinite setting in a way that turns out to be sensitive enough to detect subtle differences between various large cardinal notions.