arXiv++ Combinatorics

There are four covering numbers $\mathrm{c}_g^{\mathcal{G}}(H),\mathrm{c}_u^{\mathcal{G}}(H),\mathrm{c}_l^{\mathcal{G}}(H),\mathrm{c}_f^{\mathcal{G}}(H)$, each of which measures in a slightly different way how well the edges of a graph $H$ (called a host) can be covered with graphs of a class $\mathcal{G}$ (called a guest class). If we require the graphs of $\mathcal{G}$ to correspond to induced subgraphs of $H$, we obtain an induced variant $\mathrm{ic}_x^{\mathcal{G}}$ for each covering number $\mathrm{c}_x^{\mathcal{G}}$ which satisfies $\mathrm{c}_x^{\mathcal{G}}(H) \leq \mathrm{ic}_x^{\mathcal{G}}(H)$ for every graph $H$. Yet, in general $\mathrm{ic}_x^{\mathcal{G}}$ cannot be bounded in terms of $\mathrm{c}_x^{\mathcal{G}}$. If there exists for a guest class $\mathcal{G}$ and a host class $\mathcal{H}$ a function $f$ such that $\mathrm{ic}_x^{\mathcal{G}}(H) \leq f(\mathrm{c}_x^{\mathcal{G}}(H))$ for every graph $H \in \mathcal{H}$, we call $f$ a binding function. Within this work, we study for which structural properties of a guest class $\mathcal{G}$ and a host class $\mathcal{H}$ such binding functions exist. We consider guest classes $\mathcal{G}$ that are monotone, hereditary, component-closed or neither, and have bounded maximum average degree, bounded chromatic number or neither. The host classes $\mathcal{H}$ we consider have bounded treewidth, exclude some minor, have bounded maximum average degree, bounded chromatic number, or none of these properties. For $219$ out of the $240$ possible $3$-tuples of properties for $\mathcal{G}$ and $\mathcal{H}$ and covering numbers we either provide a binding function or an example where no such function exists. In particular, we show that such binding functions always exist for hereditary guest classes $\mathcal{G}$ of bounded maximum average degree for three of the four covering numbers, but may not for the fourth kind.

In this paper, we generalize the concept of packing total coloring by introducing a new concept called the $S$-packing total coloring. For a graph $G$ and a non-decreasing sequence $S=(a_1,a_2,\ldots)$ of positive integers, an $S$-packing total coloring of $G$ is a mapping $c: V(G)\cup E(G)\rightarrow \{1,2,\ldots\}$ such that for any two distinct elements $A,B\in V(G)\cup E(G)$ with $c(A)=c(B)=i$, the distance between $A$ and $B$ is at least $a_i+1$. The smallest integer $k$ such that $G$ admits an $S$-packing total coloring using $k$ colors is called the $S$-packing total chromatic number of $G$, denoted by $χ_S^{''}(G)$. For any sequence $S$, we establish general lower and upper bounds for $χ_S^{''}(G)$, and characterize all graphs $G$ with $χ_S^{''}(G)\in\{1,2,3\}$. Furthermore, we investigate $S$-packing total chromatic numbers of complete bipartite graphs, as well as infinite and finite paths and cycles.

For an ordered graph $H$ and an integer $q \geq 2$, let $r_{<}(H;q)$ denote the $q$-color ordered Ramsey number of $H$. Conlon, Fox, Lee and Sudakov asked whether, for every $q \geq 3$, there is a constant $c_q$ such that $r_{<}(M;q) \leq n^{c_q\log n}$ for every ordered matching $M$ on $n$ vertices. We answer this negatively in a strong form: for every $q \geq 2$, there is $c_q>0$ such that almost every perfect matching $M$ on $[n]$ satisfies $r_{<}(M;q)>2^{c_q(\log n)^q/(\log\log n)^{q-1}}$. This matches the general upper bound up to a factor of $(\log\log n)^{q-1}$ in the exponent. We also give two applications. First, we prove the lower bound conjectured by Fox, He and Wigderson for multicolor Ramsey numbers of acyclic digraphs of bounded degree. Second, we strengthen a result of Axenovich, Rollin and Ueckerdt by giving a superquasipolynomial lower bound on the maximum chromatic number of $M$-free ordered graphs, for almost every perfect matching $M$ on $[n]$.

We introduce and begin the study of sequence b-colorings, a natural generalization of the classical notion of b-colorings introduced by Irving and Manlove in 1999. In a sequence b-coloring, each color class is required to contain a prescribed minimum number of color-dominating vertices (CDVs). We establish several fundamental properties of the associated parameters, prove that every sequence is realizable, and show that the problem of deciding whether a particular graph realizes a particular sequence is NP-complete. We also characterize the sequences realized by cycles, obtain results on regular graphs with prescribed girth, and investigate colorings requiring one additional CDV, including a characterization of connected graphs with chromatic number $3$ for which no such coloring exists.

We study graph-based automata: nondeterministic finite automata obtained from edge-colored or oriented graphs by taking every vertex as both initial and accepting, and every edge as a pair of opposite transitions. The language of these automata corresponds to the set of edge-colored or oriented paths mapping to their corresponding graphs. We develop an analogous notion for trees and characterise the languages recognised by these models. For tree languages we prove the existence of a unique size- minimal graph and, more generally, a homomorphism-minimal graph for both word and tree languages using duality methods. In order to further motivate these models, we showcase a few results at the inter- section between graph theory and automata theory: We relate graph-based automata to reversible automata, give a decomposition of graph-based languages into reversible languages, and introduce the remanent language of an undirected graph as the inter- section of all its orientations. This remanent language captures structural information on the graph such as chromatic number.

It was recently shown that every connected graph of order $n \geq 5$ and size $m$ satisfies $χ(G) \leq \left\lceil \frac{m}{\sqrt{n}} \right\rceil$, and it was asked whether the stronger inequality $χ(G) \leq \left\lceil \frac{m}{2\sqrt{n}} \right\rceil + 1$ holds for every connected triangle-free graph. In this paper, we answer this question in the affirmative. In fact, we prove that every connected triangle-free graph $G$ with $G \not\cong C_5$ satisfies $χ(G) \leq \left\lceil \frac{m}{\sqrt{5.5n}} \right\rceil + 1$, where the constant $\sqrt{5.5}$ cannot be replaced by any constant greater than or equal to $\sqrt{6}$, and the equality holds for the Grötzsch graph and for every odd cycle of length between $7$ and $21$.

The local clique cover number $lcc(G)$ is the minimum valency of an edge-clique cover of $G$. We prove the conjectured inequality $lcc(G)+χ(G)\le |V(G)|+1$ for every finite simple graph. The proof gives an independent set improvement of an endpoint-cover estimate and applies the resulting construction to an induced four-vertex path. We further prove that the cover can be chosen so that every nonuniversal vertex has valency at most $|V(G)|-χ(G)$. Consequently, every graph attaining equality has a universal vertex. The stronger statement follows by reducing a counterexample of minimum order to a prime double-critical graph and refining the induced path extension. We also show that an induced matching of size $m\ge2$ yields $lcc(G)+χ(G)\le |V(G)|+3-m$, which improves the general bound when $m\ge3$, and determine the restrictions imposed by equality on deletion of an induced $2K_2$.

We study several $k$-fold generalizations of the Lovász theta function associated with the maximum $k$-colorable induced subgraph problem. The first is the Narasimhan--Manber parameter $\vartheta_k$. We prove that, for graphs whose adjacency matrix belongs to a homogeneous partially coherent algebra, this parameter is recovered by the theta number of the Cartesian product with the complete graph on $k$ vertices. This class includes distance-regular and $1$-walk-regular graphs, and thus our result generalizes a theorem by Sinjorgo and Sotirov (2022) for graphs that are vertex- and edge-transitive. We introduce a new parameter $\varphi_k$ obtained from orthonormal representations of graphs and show the inequality $\varphi_k \leq \vartheta_k$. For both parameters, we study the smallest $k$ for which the parameter is equal to the number of vertices; these saturation parameters yield lower bounds on the chromatic number. We determine which vertex-weighted versions of these parameters are gauges, and discuss a natural definition for the $k$-fold theta body of a graph. We conclude with open questions comparing $\vartheta_k$, $\varphi_k$, $\vartheta(G\square K_k)$, and related convexifications.

Hadwiger conjectured in 1943 that every graph with no $K_t$ minor has chromatic number at most $t-1$. Delcourt and Postle proved that every graph with no $K_t$ minor has chromatic number $O(t\log\log t)$. We build on their result to improve this bound to $O(t\sqrt{\log\log t})$.

The quantum chromatic number is a fundamental parameter in the study of nonlocal games, capturing the extent to which entanglement can improve performance in distributed tasks. In this paper, we investigate the quantum chromatic number of generalized Johnson graphs. By constructing modulus-one orthogonal representations, we obtain general upper bounds on their quantum chromatic numbers. We further analyze the smallest eigenvalue of these graphs. Combining the resulting Hoffman-type lower bounds with the upper bounds obtained from orthogonal representations, we determine the exact quantum chromatic numbers of two infinite families of generalized Johnson graphs. Finally, applying a forbidden-distance theorem for binary codes, we show that the classical chromatic numbers of these families grow exponentially with $n$, whereas their quantum chromatic numbers grow linearly. These families exhibit an exponential separation between the classical and quantum chromatic numbers.

Albertson's conjecture asserts that every finite simple graph $G$ with $χ(G) \ge r$ satisfies $\operatorname{cr}(G) \ge \operatorname{cr}(K_r)$. Building on Cranston's verification for $r \le 24$ and his reduction of $r \in \{25,26\}$ to three residual orders, we eliminate those residual cases and then prove the cases $r=27,28,29$. The first structural ingredient is a Kempe-chain construction: if a $k$-critical graph has a vertex of degree $k-1$, then it contains a branch-clean essential immersion of $K_k$. Essential immersions are crossing-monotone, so a critical counterexample must have minimum degree at least $k$. For $r=27$, this one-unit degree gain, Gallai's join structure, critical-graph edge bounds, and induced-subgraph averaging close every possible order. For $r=28$ and $r=29$, the remaining near-$2r$ orders are converted to dense complements. Stehlík's coloring theorem makes the odd-order complements factor-critical; a clique-partition obstruction yields an anti-tight matching property; and Tutte barriers, Hall-type expansion, and deficit bookkeeping eliminate the final cases. At order 58 for $r=29$, Rabern's coloring inequality handles the regular case, while the last degree-deficit-two case is reduced to two disjoint triangles and a finite barrier analysis.

The adjacent vertex distinguishing (AVD)-total chromatic number $χ''_{a}(G)$ of a graph $G$ is the least integer $k$ for which $G$ has a proper total coloring $f$ with $k$ colors such that $C_G(u)\neq C_G(v)$ for every edge $uv\in E(G)$, where $C_G(u)=\{f(u)\}\cup\{f(uw):uw\in E(G)\}$. The AVD-total coloring conjecture (AVD-TCC) asserts that $χ''_{a}(G)\leq Δ(G)+3$ for every simple graph $G$, where $Δ(G)$ is the maximum degree of $G$. In this paper, we prove the AVD-TCC for certain classes of graph products, including Cartesian products, lexicographic products, skew products, cover products, comb products, and Indu--Bala products.

The graph coloring game is a two-player game in which the players alternately color an uncolored vertex of a graph $G$. The game chromatic number is the minimum number of colors needed for the first player to guarantee a win. We investigate this parameter for generalized Mycielski graphs $M_k(G)$, where $G$ is a path $P_n$ or a cycle $C_n$ with $n$ vertices. For every $k\geq2$ and $n\geq5$, we establish $4\leqχ_g\bigl(M_k(P_n)\bigr)\leq5$ and $4\leqχ_g\bigl(M_k(C_n)\bigr)\leq5$. We also determine the exact values $χ_g\bigl(M_2(P_5)\bigr)=χ_g\bigl(M_2(P_6)\bigr)=4$. The proofs of the lower bounds use a configuration in which Bob can create two threats simultaneously, while the four-color upper bounds in the two exact cases are proved using the double-doctor lemma. Thus the number of layers and the order of the base graph may grow, but the game chromatic number remains bounded by five.

Albertson conjectured that every graph with chromatic number r has crossing number at least cr(K_r). The conjecture was verified for r <= 12 by Albertson, Cranston and Fox, for r <= 16 by Bar'at and T'oth, for r <= 18 by Ackerman, and recently for r <= 24 by Cranston, who reduced the remaining cases r in {25, 26} to three orders. We settle those three orders, so that Albertson's Conjecture holds for all r <= 26. Only published results are used, and an appendix reproves the range 19 <= r <= 24 so that the case r <= 26 does not rest on unpublished work. We also show that if chi(G) = 27 and cr(G) < cr(K_27), then G has a 27-critical subgraph of order 53 or 54 whose complement is connected.

We study graph coloring with color preferences, in which each vertex ranks the available colors. In addition to assigning different colors to adjacent vertices, we require the coloring to be stable: no group of vertices can cyclically exchange their assigned colors so that each strictly prefers its new color to its original one. We define the stable chromatic number $χ_\mathrm{stable}(G)$ of a graph $G$ as the minimum integer $k$ such that every preference profile admits a stable $k$-coloring of $G$. We establish several upper and lower bounds. In particular, for any acyclic orientation of the edges of $G$, the largest number of vertices reachable from a vertex by directed paths, including the vertex itself, is an upper bound on $χ_\mathrm{stable}(G)$. This shows that $χ_\mathrm{stable}(G)$ is well-defined. We also show that $O(t \log (1+n/t))$ colors suffice for an $n$-vertex graph $G$ of treewidth $t$, and complement this with a lower bound in terms of the Grundy number. Turning to the problem of finding a minimum stable coloring for a given profile, we show that stable $2$-colorability is polynomial-time solvable, whereas stable $k$-colorability is NP-complete for every fixed $k\ge 3$. Using the treewidth bound, we give a fixed-parameter tractable algorithm parameterized by treewidth.

For every $n$, we construct a 2-dimensional $n$-element poset whose Hasse diagram has independence number $n\exp(-Ω(\sqrt{\log n}))$, and consequently, chromatic number $\exp(Ω(\sqrt{\log n}))$. This also yields an $n$-point planar set whose box-Delaunay graph satisfies the same bounds.

The average performance of FirstFit online coloring on trees in the random order model is completely determined in recent works of Frei et al. and Bosek et al., showing $Θ(\log n /\log\log n)$ number of colors, improving the $Θ(\log n)$ colors in the adversarial model. We provide a few further results on slightly more general graph classes. Firstly, we extend their method to obtain a simple path-counting principle for sparse graph classes, which immediately yields for example that cactus graphs and uniform hypertrees exhibit a similar improvement. We then show that FirstFit uses only $O(1)$ colors on crown graphs, a standard example where adversarial arrival forces $Θ(n)$ colors. We further show that density alone (even linear minimum degree) is insufficient to guarantee $O(1)$ colors even on bipartite graphs. Finally, we identify graph classes, including unit interval graphs and some graphs of high chromatic number, for which random arrival provides only limited improvement. We end with some open problems.

For a graph $H$, the chromatic threshold $δ_χ(H)$ is the infimum of $c>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $cn$ is bounded by a constant depending only on $H$ and $c$. Allen, Böttcher, Griffiths, Kohayakawa, and Morris proved that if $χ(H)=r\geq 3$, then $δ_χ(H)\in\{\frac{r-3}{r-2}, \frac{2r-5}{2r-3}, \frac{r-2}{r-1}\}$. Liu, Shangguan, Skokan, and Xu introduced the bounded-VC chromatic threshold $\text{VC}(H)$ by restricting the host graphs to have bounded VC-dimension. We determine this parameter for graph $H$ with $χ(H)\ge 3$. More precisely, let $\mathcal{M}(H)$ be the decomposition family of an $r$-chromatic graph $H$, then \[ \text{VC}(H)= \begin{cases} \dfrac{r-3}{r-2},&\text{if $\mathcal{M}(H)$ contains a forest},\\[4pt] \dfrac{r-2}{r-1},&\text{otherwise}. \end{cases} \]

For every natural number $r\geq 2$, we construct $r^{th}$ powers of bipartite graphs whose chromatic number is quadratic in their clique number, showing that the straightforward quadratic upper bound is best possible. We thereby settle an open problem posed by Chakraborty, Chandran, Jacob and Pillai [J. Graph Theory 112(3) (2026), 235-254] by establishing the sharpness of the quadratic bound for squares of bipartite graphs.

The game of Cops and Robbers is a classical pursuit--evasion game on graphs. For a graph $G$, the cop number $c(G)$ is the minimum number of cops needed to guarantee the capture of a robber on $G$. Although this parameter has been determined for several fundamental graph classes, comparatively few exact results are known for partial cubes and their subclasses. We first establish an upper bound for every finite median graph $M$ in terms of its tree-dimension, which improves Crawford and Iršič Chenoweth's bound significantly. This result refines the previous upper bound expressed in terms of a hypercube embedding dimension and can give a substantially smaller estimate. Then we investigate the cop numbers of simplex graphs---a subclass of partial cubes. For a finite graph $G$, the simplex graph $S(G)$ has the cliques of $G$, including the empty clique, as its vertices, with two cliques adjacent whenever they differ in exactly one vertex. We establish a general lower bound for $c(S(G))$ in terms of the clique number of $G$ and a general upper bound in terms of its chromatic number. Finally, as direct applications, we determine the exact values of cop numbers of some special simplex graphs---bipartite wheels, Fibonacci and Lucas cubes.