Set-defined graph classes: $χ$-boundedness meets tropical algebra

2026-07-26

AI Summary

This work investigates when hereditary graph classes defined by coordinate equality patterns satisfy χ-boundedness—i.e., whether their chromatic number is bounded by a function of their clique number. Leveraging a graph decomposition theorem, such classes are partitioned into polynomially many parts, each expressible as a union of finitely many shift graphs. The study establishes a dichotomy for universally definable graph classes: they are either polynomially χ-bounded or contain shift graphs of arbitrarily high chromatic number. Innovatively, the problem of deciding χ-boundedness is reduced to the feasibility of a tropical linear program, revealing a duality with mean payoff games and enabling a strongly polynomial-time mutual encoding between the two. This yields the first effective decision algorithm, forging deep connections among graph theory, tropical algebra, and algorithmic game theory.

Abstract

We study set-defined graph classes: hereditary classes whose vertices are assigned fixed-length numerical tuples, with adjacency determined solely by equality patterns among coordinates. These classes arise in structural graph theory, communication complexity, logic, and adjacency labeling schemes. We ask when they are $χ$-bounded, that is, when chromatic number is bounded in terms of clique number throughout the class. First, we prove a decomposition theorem: every graph in a set-defined class can be partitioned into a number of parts polynomially bounded in its clique number, each inducing a union of a bounded number of shift-colorable graphs, that is, graphs admitting a homomorphism to a shift graph. Thus bounded unions of shift-colorable graphs form the fundamental obstruction to $χ$-boundedness in set-defined classes. For full set-defined classes, consisting of all graphs realizable by a fixed Boolean rule on equality patterns, we prove a stronger dichotomy: every such class is either polynomially $χ$-bounded or contains shift graphs of arbitrarily large chromatic number. Moreover, we provide an algorithm that, given a Boolean-function description of a full set-defined class, decides $χ$-boundedness of the class. It reduces the problem to feasibility of tropical linear programs, and its correctness follows from a duality with winning strategies in mean-payoff games. Conversely, every integer system of tropical inequalities, and hence every mean-payoff game, can be encoded in strongly polynomial time as a set-defined class whose non-$χ$-boundedness is equivalent to feasibility. This provides a graph-theoretic counterpart of tropical feasibility and mean-payoff-game solvability, linking structural graph theory, tropical algebra, and game-theoretic algorithms.

Problem

• χ-boundedness
• set-defined graph classes
• shift graphs
• tropical algebra
• mean-payoff games

Innovation

• χ-boundedness
• set-defined graph classes
• tropical algebra
• shift-colorable graphs
• mean-payoff games