arXiv++ Combinatorics

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.

Ron Graham introduced a function, $g(n)$, on the non-negative integers, in the 1986 Issue $3$ Problems column of \textit{Mathematical Magazine}: For each non-negative integer $n$, $g(n)$ is the least integer $s$ so that the integers $n + 1, n + 2, \ldots , s-1, s$ contain a subset of integers, the product of whose members with $n$ is a square. Recently, many results about $g(n)$ were proved in [Kagey and Rajesh, ArXiv:2410.04728, 2024] and they conjectured a characterization of which $n$ satisfied $g(n)=2n$. For $m\geq 2$, they also introduced generalizations of $g(n)$ to $m$-th powers to explore. In this paper, we prove their conjecture and provide some results about these generalisations.

Erdős and Graham (Erdős and Graham, 1980) asked if there exists an $n$ such that the divisors of $n$ greater than 1 are the moduli of a distinct covering system with the following property: If there exists an integer which satisfies two congruences in the system, $a\mod d$ and $a'\mod d'$, then $\gcd(d,d')=1$. We show that such an $n$ does not exist. This problem is part of Problem # 204 on the website www.erdosproblems.com, compiled and maintained by Thomas Bloom. We also study when the divisors of $n$ greater than $1$ can form a congruence system satisfying the above condition.

Boolean combinations allow combining given combinatorial objects to obtain new, potentially more complicated, objects. In this paper, we initiate a systematic study of this idea applied to graphs. In order to understand expressive power and limitations of boolean combinations in this context, we investigate how they affect different combinatorial and structural properties of graphs, in particular $χ$-boundedness, as well as characterize the structure of boolean combinations of graphs from various classes.

A permutation of the positive integers avoiding monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the positive integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$.

A permutation of the integers avoiding monotone arithmetic progressions of length $6$ was constructed in (Geneson, 2018). We improve on this by constructing a permutation of the integers avoiding monotone arithmetic progressions of length $5$. We also construct permutations of the integers and the positive integers that improve on previous upper and lower density results. In (Davis et al. 1977) they constructed a doubly infinite permutation of the positive integers that avoids monotone arithmetic progressions of length $4$. We construct a doubly infinite permutation of the integers avoiding monotone arithmetic progressions of length $5$. A permutation of the positive integers that avoided monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the positive integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$. In addition, we specify the structure of permutations of $[1,n]$ that avoid length $3$ monotone arithmetic progressions mod $n$ as defined in (Davis et al. 1977) and provide an explicit construction for a multiplicative result on permutations that avoid length $k$ monotone arithmetic progressions mod $n$.