arXiv++ Combinatorics

A proper $k$-colouring of a graph $G=(V,E)$ is a function $c: V(G)\to \{1,\ldots,k\}$ such that $c(u)\neq c(v)$ for every edge $uv\in E(G)$. The chromatic number $χ(G)$ is the minimum $k$ such that there exists a proper $k$-colouring of $G$. Given a spanning subgraph $H$ of $G$, a $q$-backbone $k$-colouring of $(G,H)$ is a proper $k$-colouring $c$ of $G$ such that $\lvert c(u)-c(v)\rvert \ge q$ for every edge $uv\in E(H)$. The $q$-backbone chromatic number ${\rm BBC}_q(G,H)$ is the smallest $k$ for which there exists a $q$-backbone $k$-colouring of $(G,H)$. In their seminal paper, Broersma et al.~\cite{BFGW07} ask whether, for any chordal graph $G$ and any spanning forest $H$ of $G$, we have that ${\rm BBC}_2(G,H)\leq χ(G)+O(1)$. In this work, we first show that this is true as long as $H$ is bipartite and $G$ is an interval graph in which each vertex belongs to at most two maximal cliques. We then show that this does not extend to bipartite graphs as backbone by exhibiting a family of chordal graphs $G$ with spanning bipartite subgraphs $H$ satisfying ${\rm BBC}_2(G,H)\geq \frac{5χ(G)}{3}$. Then, we show that if $G$ is chordal and $H$ has bounded maximum average degree (in particular, if $H$ is a forest), then ${\rm BBC}_2(G,H)\leq χ(G)+O(\sqrt{χ(G)})$. We finally show that ${\rm BBC}_2(G,H)\leq \frac{3}{2}χ(G)+O(1)$ holds whenever $G$ is chordal and $H$ is $C_4$-free.

The chromatic discrepancy of a graph $G$, denoted $φ(G)$, is the least over all proper colourings $σ$ of $G$ of the greatest difference between the number of colours $|σ(V(H))|$ spanned by an induced subgraph $H$ of $G$ and its chromatic number $χ(H)$. We prove that the chromatic discrepancy of a triangle-free graph $G$ is at least $χ(G)-2$. This is best possible and positively answers a question raised by Aravind, Kalyanasundaram, Sandeep, and Sivadasan. More generally, we say that a graph $G$ is locally $s$-colourable if the closed neighbourhood of any vertex $v\in V(G)$ is properly $s$-colourable; in particular, a triangle-free graph is locally $2$-colourable. We conjecture that every locally $s$-colourable graph $G$ satisfies $φ(G) \geq χ(G)-s$, and show that this would be almost best possible. We prove the conjecture when $χ(G) \le 11s/6$, and as a partial result towards the general case, we prove that every locally $s$-colourable graph $G$ satisfies $φ(G) \geq χ(G) - s\ln χ(G)$. If the conjecture holds, it implies in particular, for every integer $\ell\geq 2$, that any graph $G$ without any copy of $C_{\ell+1}$, the cycle of length $\ell+1$, satisfies $φ(G) \geq χ(G) - \ell$. When $\ell \ge 3$ and $G\neq K_\ell$, we conjecture that we actually have $φ(G)\ge χ(G) - \ell + 1$, and prove it in the special case $\ell = 3$ or $χ(G) \le 5\ell/3$. In general, we further obtain that every $C_{\ell+1}$-free graph $G$ satisfies $φ(G) \geq χ(G) - O_{\ell}(\ln \ln χ(G))$. We do so by determining an almost tight bound on the chromatic number of balls of radius at most $\ell/2$ in $G$, which could be of independent interest.

We give a uniform and self-contained proof that if $G$ is a connected graph with $χ(G) = Δ(G)$ and $G\neq \overline{C_7}$, then $G$ contains either $K_{Δ(G)}$ or an odd hole where every vertex has degree at least $Δ(G)-1$ in $G$. This was previously proved in series of two papers by Chen, Lan, Lin, and Zhou, who used the Strong Perfect Graph Theorem for the cases $Δ(G)=4, 5, 6$.

DP-coloring (also called correspondence coloring) is a well-studied generalization of list coloring introduced by Dvořák and Postle in 2015. The following sharp bound on the DP-chromatic number of the Cartesian product of graphs $G$ and $H$ is known: $χ_{DP}(G \square H) \leq \text{min}\{χ_{DP}(G) + \text{col}(H), χ_{DP}(H) + \text{col}(G) \} - 1$ where $χ_{DP}(G)$ is the DP-chromatic number of $G$ and $\text{col}(H)$ is the coloring number of $H$. We seek to understand when $χ_{DP}(G \square K_{l,t})$ is far from its chromatic number: $χ(G \square K_{l,t}) = \max \{χ(G), 2 \}$ in the case that $G$ is a $k$-critical graph with $χ_{DP}(G)=k$. In particular, we have $χ_{DP}(G \square K_{l,t}) \leq k + l$, and for fixed $l$ we wish to find the smallest $t$ for which this upper bound is achieved. This can be viewed as an extension of the classic result that the list chromatic number of $K_{l,t}$ is $l+1$ if and only if $t \geq l^l$. Our results illustrate that the DP color function of $G$, the DP analogue of the chromatic polynomial, provides a concept and tool that is useful for making progress on this problem.

Let G be a simple, finite, connected, and undirected graph, and T be a finite tree. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that lie on adjacent edges of G and the central graph C(G) of G is obtained from S(G) after joining all non-adjacent vertices of G. We show that if the order of G is at least 4, then Aut(G), Aut(C(G)), and Aut(M(G)) are isomorphic (as abstract groups) and apply these results to obtain new sharp upper bounds of the distinguishing number and the distinguishing index of C(G) and M(G) inspired by an algorithm due to Kalinowski, Pilsniak, and Wozniak from 2016. Furthermore, we study the total distinguishing chromatic number of C(G) and S(G), use Latin squares to verify the AVD-total coloring conjecture for central graphs of regular graphs and some other classes of graphs (which is a partial progress towards answering an open question of Panda, Verma, and Keerti from 2020), and obtain new bounds of the total dominator chromatic number of C(G) and C(T).

We show that there exist infinitely many classes of intersection graphs of geometric objects that are not $χ$-bounded -- namely, $d$-CBU graphs for $d\geq 3$ -- and each is incomparable with the class of Burling graphs. This answers a folklore open problem on whether Burling graphs are the sole source of unbounded chromatic number among geometric intersection classes.

In 1977, Borodin and Kostochka conjectured that every graph with maximum degree $Δ\geq 9$ is $(Δ-1)$-colourable, unless it contains a clique of size $Δ$. In 1999, Reed confirmed the conjecture when $Δ\geq 10^{14}$. We propose different generalisations of this conjecture for digraphs, and prove the analogue of Reed's result for each of them. The chromatic number and clique number are replaced respectively by the dichromatic number and the biclique number of digraphs. If $D$ is a digraph such that $\min(\tildeΔ(D),Δ^+(D)) = Δ\geq 9$, we conjecture that $D$ has dichromatic number at most $Δ-1$, unless either (i) $D$ contains a biclique of size $Δ$, or (ii) $D$ contains a biclique $K$ of size $Δ-2$, a directed $3$-cycle $\vec{C_3}$ disjoint from $K$, and all possible arcs in both directions between $\vec{C_3}$ and $K$. If true, this implies the conjecture of Borodin and Kostochka. We prove it when $Δ$ is large enough, thereby generalising the result of Reed. We finally give a sufficient condition for a digraph $D$ to have dichromatic number at most $Δ_{\min}(D)-1$, assuming that $Δ_{\min}(D)$ is large enough. In particular, this holds when the underlying graph of $D$ has no clique of size $Δ_{\min}(D)$, thus yielding a third independent generalisation of Reed's result. We further give a hardness result witnessing that our sufficient condition is best possible. To obtain these new upper bounds on the dichromatic number, we prove a dense decomposition lemma for digraphs having large maximum degree, which generalises to the directed setting the so-called dense decomposition of graphs due to Molloy and Reed. We believe this may be of independent interest, especially as a tool in various applications.

We investigate the effect of the generalized Mycielski construction $M_r(G)$ on the complementary fractional Haemers bound $\bar{\mathcal{H}}_f(G; \mathbb{F})$, a parameter that depends on a graph $G$ and a field $\mathbb{F}$. The effect of the Mycielski construction on graph parameters has already been studied for the fractional chromatic number $χ_f$ and the complementary Lovász theta number $\bar{\vartheta}$. Larsen, Propp, and Ullman provided a formula for $ χ_f(M_2(G)) $ in terms of $χ_f(G)$. This was later generalized by Tardif to $ χ_f(M_r(G)) $ for any $r$, and Simonyi and the author gave a similar expression for $ \bar{\vartheta}(M_2(G)) $ in terms of $\bar{\vartheta}(G)$. In this paper, we show that Tardif's formula for the fractional chromatic number remains valid for $ \bar{\mathcal{H}}_f $ whenever $ \bar{\mathcal{H}}_f(G; \mathbb{F})$ equals the clique number of $G$. In particular, we provide a general upper bound on $\bar{\mathcal{H}}_f(M_r(G); \mathbb{F})$ in terms of $\bar{\mathcal{H}}_f(G;\mathbb{F})$ and we prove that this bound is tight whenever $ \bar{\mathcal{H}}_f(G; \mathbb{F})$ equals the clique number of $G$.

The Sierpiński product $G \otimes _f H$ of graphs $G$ and $H$ with respect to a function $f \colon V(G)\rightarrow V(H)$ has the vertex set $V(G)\times V(H)$. For every $g\in V(G)$ it contains a disjoint copy $gH$ of $H$, and for every edge $gg'$ of $G$ there is the edge $(g,f(g'))(g',f(g))$ between $gH$ and $g'H$. In this paper, the Sierpiński packing chromatic number is defined as the minimum of $χ_ρ(G\otimes _f H)$ over all functions $f$, where $χ_ρ(X)$ is the packing chromatic number of $X$. The upper Sierpiński packing chromatic number is analogously defined as the maximum corresponding value. The (upper) Sierpiński packing chromatic number is determined for all Sierpiński product graphs whose both factors are complete. Sierpiński product graphs whose factors are paths or stars are also studied. Their Sierpiński packing chromatic number is always $3$, while their upper Sierpiński packing chromatic number is bounded from below and above. It is also proved that for a given graph $G$, it can be checked in polynomial time whether $G$ has a representation as a Sierpiński product graphs both factors of which being trees.

Let $S \subseteq \mathbb{R}^n$, and let $k\in\mathbb{N}$. Greenwell and Johnson define ${\hatχ }^{(k)}(S)$ to be the smallest integer $m$ (if such an integer exists) such that for every $k\times m$ array $D=(d_{ij})$ of positive real numbers, $S$ can be colored with the colors $C_1,\ldots,C_m$ such that no two points of $S$ which are a (Euclidean) distance $d_{ij}$ apart are both colored $C_j$, for all $1\leq i \leq k$ and $1\leq j \leq m$. If no such integer exists then we say that ${\hatχ }^{(k)}(S)=\infty$. In this paper we show that ${\hatχ }^{(k)}(\mathbb{R})$ is finite for all $k$.

In their 1997 paper titled ``Fruit Salad", Gyárfás posed the following conjecture: there exists a constant $k$ such that if each path of a graph spans a $3$-colourable subgraph, then the graph is $k$-colourable. It is noted that $k=4$ might suffice. Let $r(G)$ be the maximum chromatic number of any subgraph $H$ of $G$ where $H$ is spanned by a path. The only progress on this conjecture comes from Randerath and Schiermeyer in 2002, who proved that if $G$ is an $n$ vertex graph, then $χ(G) \leq r(G)\log_{\frac{8}{7}}(n)$. We prove that for all natural numbers $r$, there exists a graph $G$ with $r(G)\leq r$ and $χ(G)\geq \lfloor\frac{3r}{2}\rfloor -1$. Hence, for all constants $k$ there exists a graph with $χ- r > k$. Our proof is constructive. We also study this problem in graphs with a forbidden induced subgraph. We show that if $G$ is $K_{1,t}$-free, for $t\geq 4$, then $χ(G) \leq (t-1)(r(G)+\binom{t-1}{2}-3)$. If $G$ is claw-free, then we prove $χ(G) \leq 2r(G)$. Additionally, the graphs $G$ where every induced subgraph $G'$ of $G$ satisfy $χ(G') = r(G')$ are considered. We call such graphs path-perfect, as this class generalizes perfect graphs. We prove that if $H$ is a forest with at most $4$ vertices other than the claw, then every $H$-free graph $G$ has $χ(G) \leq r(G)+1$. We also prove that if $H$ is additionally not isomorphic to $2K_2$ or $K_2+2K_1$, then all $H$-free graphs are path-perfect.

This is a survey written in 2000 about upper chromatic numbers

This 2001 paper introduces a new type of chromatic number for point sets.

The chromatic threshold $δ_χ(H)$ of a graph $H$ is the infimum of $d>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $d n$ is bounded by a constant depending only on $H$ and $d$. Allen, B{ö}ttcher, Griffiths, Kohayakawa, and Morris determined the chromatic threshold for every $H$; in particular, they showed that if $χ(H)=r\ge 3$, then $δ_χ(H) \in\{\frac{r-3}{r-2},~\frac{2 r-5}{2 r-3},~\frac{r-2}{r-1}\}$. While the chromatic thresholds have been completely determined, rather surprisingly the structural behaviors of extremal graphs near the threshold remain unexplored. In this paper, we establish the stability theorems for chromatic threshold problems. We prove that every $n$-vertex $H$-free graph $G$ with $δ(G)\ge (δ_χ(H)-o(1))n$ and $χ(G)=ω(1)$ must be structurally close to one of the extremal configurations. Furthermore, we give a stronger stability result when $H$ is a clique, showing that $G$ admits a partition into independent sets and a small subgraph on sublinear number of vertices. We show that this small subgraph has fractional chromatic number $2+o(1)$ and is homomorphic to a Kneser graph defined by subsets of a logarithmic size set; both these two bounds are best possible. This is the first stability result that captures the lower-order structural features of extremal graphs. We also study two variations of chromatic thresholds. Replacing chromatic number by its fractional counterpart, we determine the fractional chromatic thresholds for all graphs. Another variation is the bounded-VC chromatic thresholds, which was introduced by Liu, Shangguan, Skokan, and Xu very recently. Extending work of Łuczak and Thomass{é} on the triangle case, we determine the bounded-VC chromatic thresholds for all cliques.

A graph $G$ is perfectly divisible if every induced subgraph $H$ of $G$ contains a set $X$ of vertices such that $X$ meets all largest cliques of $H$, and $X$ induces a perfect graph. The chromatic number of a perfectly divisible graph $G$ is bounded by $ω^2$ where $ω$ denotes the number of vertices in a largest clique of $G$. A graph $G$ is minimally non-perfectly divisible if $G$ is not perfectly divisible but each of its proper induced subgraph is. A set $C$ of vertices of $G$ is a clique cutset if $C$ induces a clique in $G$, and $G-C$ is disconnected. We prove that a $P_5$-free minimally non-perfectly divisible graph cannot contain a clique cutset. This result allows us to re-establish several theorems on the perfect divisibility of some classes of $P_5$-free graphs. We will show that recognizing perfectly divisible graphs is NP-hard.

For an integer $t\geq 4$, a $t$-sun is a graph obtained from a $t$-vertex cycle $C$ by adding a degree-one neighbor for each vertex of $C$. Trotignon asked whether every triangle-free graph of sufficiently large chromatic number has an induced subgraph that is a $t$-sun for some $t\geq 4$. This remains open, but we show that every triangle-free graph of chromatic number at least $44$ has an induced subgraph that is either a $t$-sun for some $t\geq 5$, or a $4$-sun with a single degree-one vertex deleted. In fact, we prove that for all $\ell\geq 5$, there exists $c=c(\ell)\in \mathbb{N}$ such that every triangle-free graph of chromatic number at least $c$ has an induced subgraph that is either a $t$-sun for some $t\geq \ell$, or a $4$-sun with a single degree-one vertex deleted.

We prove that any class of graphs with linear neighborhood complexity has bounded improper odd chromatic number. As a result, if $\mathcal{G}$ is the class of all circle graphs, or if $\mathcal{G}$ is any class with bounded twin-width, bounded merge-width, or a forbidden vertex-minor, then $\mathcal{G}$ is $χ_{\mathrm{o}}$-bounded.

In a reconfiguration setting, each clique of a graph $G$ is viewed as a set of tokens placed on vertices of $G$ such that no vertex has more than one token and any two tokens are adjacent. Three well-known reconfiguration rules have been studied in the literature: Token Jumping ($\mathsf{TJ}$), Token Sliding ($\mathsf{TS}$), and Token Addition/Removal ($\mathsf{TAR}$). Given a graph $G$ and a reconfiguration rule $\mathsf{R} \in \{\mathsf{TS}, \mathsf{TJ}, \mathsf{TAR}\}$, a reconfiguration graph of $k$-cliques of $G$, denoted by $\mathsf{R}_k(G)$, is the graph whose vertices are cliques of $G$ of size $k$ and two vertices are adjacent if one can be obtained from the other by applying $\mathsf{R}$ exactly once. In this paper, we initiate the study of structural properties of reconfiguration graphs of cliques, proving several interesting results primarily under $\mathsf{TS}$ and $\mathsf{TJ}$ rules. In particular, we establish a formula relating the clique number of $G$ and that of $\mathsf{TS}_k(G)$, and bound the chromatic number of $\mathsf{TS}_k(G)$ via that of an appropriate Johnson graph. Additionally, we present an algorithm to construct $\mathsf{TS}_{ω(G)-1}(G)$ from $\mathsf{TJ}_{ω(G)}(G)$ and derive structural properties of $\mathsf{TJ}_{ω(G)}(G)$ graphs, where $ω(G)$ denotes the clique number of $G$. Finally, we show that $\mathsf{TS}_k(G)$ is planar whenever $G$ is planar and establish bounds on the number of $3$- and $4$-cliques based on results concerning $\mathsf{TS}_k(G)$ graphs. In particular, we prove that any planar graph $G$ with $n$ vertices can contain at most $3n - 8$ triangles, which aligns with the classical bound on maximal planar graphs.

Given two graphs $G_1$ and $G_2$, the Ramsey number $R(G_1,G_2)$ denotes the smallest integer $N$ such that any red-blue coloring of the edges of $K_N$ contains either a red $G_1$ or a blue $G_2$. Let $G_1$ be a graph with chromatic number $χ$ and chromatic surplus $s$, and let $G_2$ be a connected graph with $n$ vertices. The graph $G_2$ is said to be Ramsey-good for the graph $G_1$ (or simply $G_1$-good) if, for $n \ge s$, \[R(G_1,G_2)=(χ-1)(n-1)+s.\] The $G_1$-good property has been extensively studied for star-like graphs when $G_1$ is a graph with $χ(G_1)\ge 3$, as seen in works by Burr-Faudree-Rousseau-Schelp (J. Graph Theory, 1983), Li-Rousseau (J. Graph Theory, 1996), Lin-Li-Dong (European J. Combin., 2010), Fox-He-Wigderson (Adv. Combin., 2023), and Liu-Li (J. Graph Theory, 2025), among others. However, all prior results require $G_1$ to have chromatic surplus $1$. In this paper, we extend this investigation to graphs with chromatic surplus 2 by considering the Hajós graph $H_a$. For a star $K_{1,n}$, we prove that $K_{1,n}$ is $H_a$-good if and only if $n$ is even. For a fan $F_n$ with $n\ge 111$, we prove that $F_n$ is $H_a$-good.

We prove that for every tree $T$ which is not an edge, for almost every graph $G$ which does not contain $T$ as an induced subgraph, $V(G)$ has a partition into $α(T)-1$ parts certifying this fact. Each part induces a graph which is $P_4$-free and has further properties which depend on $T$. As a consequence we obtain good bounds (often tight up to a constant factor) on the number of $T$-free graphs and show in a follow-up paper~\cite{RY} that almost every $T$-free graph $G$ has chromatic number equal to the size of its largest clique.