chromatic number
2051 papers tagged with this keyword
A note on the maximum ratio between chromatic number and clique number
Let $f(n)$ be the maximum, over all graphs $G$ on $n$ vertices, of the ratio $\frac{χ(G)}{ω(G)}$, where $χ(G)$ denotes the chromatic number of $G$ and $ω(G)$ the clique number of $G$. In 1967, Erdős showed that \[ \Big( \frac{1}{4} +o(1) \Big) \frac{n}{(\log_2 n)^2} \le f(n) \le \big( 4+o(1) \big) \frac{n}{(\log_2 n)^2} .\] We show that \[ f(n) \le \big(c+o(1)\big) \frac{n}{(\log_2 n)^2}\] for some $c<3.72$. This follows from recent improvements in the asymptotics of Ramsey numbers and is the first improvement in the asymptotics of $f(n)$ established by Erdős.
Verifying Hadwiger's Conjecture for Examples of Graphs with $α(G) = 2$
Hadwiger's Conjecture states that every graph with chromatic number $k$ contains a complete graph on $k$ vertices as a minor. This conjecture is a tremendous strengthening of the Four-Colour Theorem and is regarded as one of the most important open problems in graph theory. The case of Hadwiger's Conjecture for graphs with $α(G) = 2$ has garnered much attention. Seymour writes: ``My own belief is, if Hadwiger's Conjecture is true for graphs with stability number two then it is probably true in general, so it would be very nice to decide this case.''
This paper presents several tools useful for proving that a graph $G$ with $α(G) = 2$ satisfies Hadwiger's Conjecture. In doing so, we survey and generalise several classical results on the $α(G) = 2$ case of Hadwiger's Conjecture. Further, we apply these tools to prove variants of Hadwiger's Conjecture for several noteworthy classes of graphs with $α(G) = 2$. In particular, we prove Hadwiger's Conjecture for inflations of the complements of the following graphs: graphs with girth at least $5$, triangle-free Kneser graphs, and the Clebsch, Mesner, and Gewirtz graphs. This paper also highlights classes of graphs with $α(G) = 2$ where it is unknown if Hadwiger's Conjecture holds.
Ramsey problems for graphs in Euclidean spaces and Cartesian powers
Given a graph $H$, let $χ_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one.
This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $χ(\mathbb{R}^n)=χ_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances.
Among others, we show that $χ_H(\mathbb{R}^n)=χ(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $χ_H(\mathbb{R}^n)=\lceilχ(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Turán-type characteristics, such as zero hypercube Turán density.
In addition, we prove induced variants of these results, find bounds on $χ_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $χ_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.
Tales of Hoffman: from a distance
Hoffman proved that a graph $G$ with adjacency eigenvalues $λ_1\geq \cdots \geq λ_n$ and chromatic number $χ(G)$ satisfies $χ(G)\geq 1+κ,$ where $κ$ is the smallest integer such that $$λ_1+\sum_{i=1}^κλ_{n+1-i}\leq 0.$$ We extend this eigenvalue bound to the distance-$k$ setting, and also show a strengthening of it by proving that it also lower bounds the corresponding quantum distance coloring graph parameter. The new bound depends on a degree-$k$ polynomial which can be chosen freely, so one needs to make a good choice of the polynomial to obtain as strong a bound as possible. We thus propose linear programming methods to optimize it. We also investigate the implications of the new bound for the quantum distance chromatic number, showing that it is sharp for some classes of graphs. Finally, we extend the Hoffman bound to the distance setting of the vector chromatic number. Our results extend and unify several previous bounds in the literature.
Mutual-visibility Coloring of Graphs
The mutual-visibility chromatic number of a graph $G$ is the smallest number of colors needed to color the vertices of $G$ such that each color class is a mutual-visibility set. In this paper, we prove that determining the mutual-visibility chromatic number of a graph is NP-complete even when restricted to the class of graphs having diameter four and mutual-visibility chromatic number two. We further determine the exact value of the mutual-visibility chromatic number for glued binary trees and glued $t$-ary trees.
Three-coloring triangle-free graphs without long forbidden paths
A graph $G$ is $k$-vertex-critical if $χ(G)=k$, but $χ(G')<k$ for every proper induced subgraph $G'$ of $G$. For a family of graphs $\mathcal{F}$, $G$ is $\mathcal{F}$-free if no graph $F \in \mathcal{F}$ is an induced subgraph of $G$. We show that there are exactly three 4-vertex-critical $\{P_7,C_3\}$-free graphs containing an induced $C_7$, thereby settling the first of the two cases of a conjecture by Goedgebeur and Schaudt [J.~Graph Theory, 87:188--207, 2018]. Moreover, we show that all $\{P_5+P_1,C_3\}$-free graphs are $3$-colorable and by combining our result with known results from the literature, we completely characterize the maximum chromatic number of $\{F,C_3\}$-free graphs if $F$ is a six-vertex induced subgraph of $P_7$. Finally, we construct an infinite family of $4$-vertex-critical $\{4K_2,C_3\}$-free graphs. These graphs are also $\{P_{11},C_3\}$-free and this is the first value of $t$ for which an infinite family of $4$-vertex-critical $\{P_{t},C_3\}$-free graphs is known.
Coloring Geometric Hypergraphs: A Survey
The \emph{chromatic number} of a hypergraph is the smallest number of colors needed to color the vertices such that no edge of at least two vertices is monochromatic. Given a family of geometric objects $\mathcal{F}$ that covers a subset $S$ of the Euclidean space, we can associate it with a hypergraph whose vertex set is $\mathcal F$ and whose edges are those subsets ${\mathcal{F}'}\subset \mathcal F$ for which there exists a point $p\in S$ such that ${\mathcal F}'$ consists of precisely those elements of $\mathcal{F}$ that contain $p$. The question whether $\mathcal F$ can be split into 2 coverings is equivalent to asking whether the chromatic number of the hypergraph is equal to 2.
There are a number of competing notions of the chromatic number that lead to deep combinatorial questions already for abstract hypergraphs. In this paper, we concentrate on \emph{geometrically defined} (in short, \emph{geometric}) hypergraphs, and survey many recent coloring results related to them. In particular, we study and survey the following problem, dual to the above covering question. Given a set of points $S$ in the Euclidean space and a family $\mathcal{F}$ of geometric objects of a fixed type, define a hypergraph ${\mathcal H}_m$ on the point set $S$, whose edges are the subsets of $S$ that can be obtained as the intersection of $S$ with a member of $\mathcal F$ and have at least $m$ elements. Is it true that if $m$ is large enough, then the chromatic number of ${\mathcal H}_m$ is equal to 2?
Towards Esperet's Conjecture: Polynomial $χ$-Bounds for Structured Graph Classes
In this paper, we establish that the class of $\{P_6, (2,2)\text{-broom}\}$-free graphs contains a subclass $\mathcal{L}_i$, defined by certain cutset conditions, whose chromatic number admits a linear $χ$-bound. Building on recent results showing that broom-free graphs excluding $K_d(t)$ as a subgraph admit a polynomial bound in~$t$ on their chromatic number (A broom is obtained from a path with one end $v$ by adding leaves adjacent to $v$), we extend this result to the hereditary class $\mathcal{H}$ of $C_4$-free and \emph{$p$-flag}-free graphs (where a \emph{$p$-flag} is a triangle with an attached $p$-path). We show that if $G \in \mathcal{H}$ is $B^{+}(p+2, t-1)$-free (for $p \ge 2$ and $t \ge 3$, that is, if it excludes a generalized broom with an additional leaf), and does not contain $K_d(t)$ as a subgraph, then $χ(G)$ is polynomially bounded in $t$. Furthermore, for the subclass of $\mathcal{H}$ excluding $K_3(t)$ as a subgraph, we prove that $χ(G)$ is linearly $χ$-bounded in $ω(G)$.
Progress on Albertson's Conjecture
Albertson conjectured that every graph with chromatic number $r$ has crossing number at least the crossing number of the complete graph $K_r$. This conjecture was proved for $r\le 12$ by Albertson, Cranston, and Fox; for $r\le 16$ by Barát and Tóth; and for $r\le 18$ by Ackerman. Here we verify it for $r\le 24$; we also greatly restrict the possibilities for counterexamples when $r\in\{25,26\}$. In addition, we strengthen earlier work bounding the order of a minimum counterexample for each choice of $r$: we exclude the possibility that $|G|\ge 2.82r$ and exclude the possibility that $1.228r\le |G|\le 1.768r$. Finally, as $r$ grows, we extend the lower end of this range of excluded orders for a minimum counterexample. In particular: if $r\ge 125{,}000$, then we exclude the possibility that $1.10r\le |G|\le 1.768r$; and if $r\ge 825{,}000$, then we exclude the possibility that $1.05r\le |G|\le 1.768r$.
Stationary list colorings
Komjath studied the list chromatic number of infinite graphs and introduced the notion of restricted list chromatic number. For a graph $X=(V_X,E_X)$ and a cardinal $κ$, we say that $X$ is restricted list colorable for $κ$ if for every $L:V_X\to[κ]^κ$ there is a choice function $c$ of $L$ such that $c(v)\neq c(w)$ whenever ${v,w}\in E_X$. In this paper, we discuss a variation, stationary list colorability for $κ$, obtained by replacing $[κ]^κ$ with the set of all stationary subsets of $κ$. We compare the stationary list colorability with other coloring properties. Among other things, we prove that the stationary list colorability is essentially different from other coloring properties including the restricted list colorability. We also prove the consistency result showing that for some $κ<λ$, restricted and stationary list colorability at $κ$ do not imply the corresponding properties at $λ$.
Circular Chromatic Numbers, Balanceability, Relation Algebras, and Network Satisfaction Problems
In this paper, we characterize graphs with circular chromatic number less than 3 in terms of certain balancing labellings studied in the context of signed graphs. In fact, we construct a signed graph which is universal for all such labellings of graphs with circular chromatic number less than $3$, and is closely related to the generic circular triangle-free graph studied by Bodirsky and Guzmán-Pro. Moreover, our universal structure gives rise to a representation of the relation algebra $56_{65}$. We then use this representation to show that the network satisfaction problem described by this relation algebra belongs to NP. This concludes the full classification of the existence of a universal square representation, as well as the complexity of the corresponding network satisfaction problem, for relation algebras with at most four atoms.
Edge density and minimum degree thresholds for $H$-free graphs with unbounded chromatic number
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 $dn$ is bounded in terms of $H$ and $d$. A breakthrough result of Allen, Böttcher, Griffiths, Kohayakawa, and Morris determined $δ_χ(H)$ for every graph $H$; in particular, 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}\}$.
In this paper we investigate the trade-off between minimum degree and edge density in the critical window around the chromatic threshold. For a fixed graph $H$ with $χ(H)=r$, allowing a constant deficit below $δ_χ(H)$, we prove sharp (up to lower-order terms) upper bounds on the edge density of $n$-vertex $H$-free graphs whose chromatic number diverges. Equivalently, within this degree regime we show that a suitable global bound on the number of edges forces the chromatic number to remain bounded. Our results thus quantify how global edge density can compensate for a deficit in the local minimum-degree condition near $δ_χ(H)$; more specifically, we obtain explicit bounds in two of the three possible cases arising in the trichotomy of $δ_χ(H)$. Our extremal constructions -- based on Erdős graphs and blowups of Borsuk--Hajnal graphs -- show that these bounds are best possible up to $o(n^2)$ terms.
Quantum Chromatic Number of Subgraphs of Orthogonality Graphs and the Distance-2 Hamming Graph
The determination of the quantum chromatic number of graphs has attracted considerable attention recently. However, there are few families of graphs whose quantum chromatic numbers are determined. A notable exception is the family of orthogonality graphs, whose quantum chromatic numbers are fully determined. In this paper, we extend these results by determining the exact quantum chromatic number of several subgraphs of the orthogonality graphs. Using the technique of combinatorial designs, we also determine the quantum chromatic number of the distance-2 Hamming graph, whose edges consist of binary vectors of Hamming distance 2, for infinitely many length.
The $α$-spectral Turán type problems for graphs
For $0 \leq α< 1$, the $α$-spectral radius of a graph $G$ is defined as
the largest eigenvalue of $A_α(G)=αD(G)+(1-α)A(G)$, where $D(G)$ and $A(G)$ are the diagonal matrix of degrees and adjacency matrix of $G$, respectively.
A graph is called color-critical if it contains an edge whose deletion reduces its chromatic number.
The celebrated Erdős-Stone-Simonovits theorem asserts that $ \mathrm{ex}(n,\mathcal{F})=\left(1-\frac{1}{χ(\mathcal{F})-1}+o(1)\right)\frac{n^2}{2},$
where $χ(\mathcal{F})$ is the chromatic number of $\mathcal{F}$.
Nikiforov and Zheng et al. established the adjacency spectral and signless Laplacian spectral versions of this theorem, respectively.
In this paper, we present the $α$-spectral version of this theorem, which unifies the aforementioned results. Furthermore, we characterize the $α$-spectral extremal graphs for color-critical graphs, thereby extending the existing results on adjacency spectral and signless Laplacian spectral extremal graphs for such graphs.
The chromatic number of finite projective spaces
The chromatic number of the finite projective space $\mathrm{PG}(n-1,q)$, denoted $χ_q(n)$, is the minimum number of colors needed to color its points so that no line is monochromatic. We establish a recursive upper bound $χ_q(n) \leq χ_q(d) + χ_q(n - d)$ for all $1 \leq d < n$ and use it to prove new upper bounds on $χ_q(n)$ for all $q$. For $q = 2$, we further refine this recursion and prove that \[ χ_2(n) \le \lfloor 2n/3 \rfloor + 1 \] for all $n \ge 2$, and that this bound is tight for all $n \le 7$. In particular, this recovers all previously known cases for $n \le 6$ and resolves the first open case $n = 7$. On the lower-bound side, using a connection with multicolor Ramsey numbers for triangles, we note that \[ χ_2(n) \ge (1 - o(1))\,\frac{n}{\log n}. \]
We also consider $χ_q(t;n)$, the minimum number of colors needed to color the points of $\mathrm{PG}(n-1,q)$ with no monochromatic $(t - 1)$-dimensional subspace, and establish an equivalence between $χ_q(t;n)$ and the multicolor vector-space Ramsey numbers $R_q(t;k)$. Using this equivalence together with our upper bounds on $χ_q(t;n)$, we improve, for every fixed $t$, the best known lower bounds on $R_q(t;k)$ from $Ω_q(\log k)$ to $Ω(k)$.
Kempe changes in $H$-free graphs
Given a $k$-colouring of a graph $G$ and two of the colours, a $Kempe$ $chain$ is a connected component of the subgraph of $G$ induced by the vertices coloured with one of these two colours. A $Kempe$ $swap$ changes one colouring into another by interchanging the colours of the vertices in a Kempe chain. Two colourings are $Kempe$ $equivalent$ if each can be obtained from the other by a series of Kempe swaps; the set of Kempe equivalent colourings is called a $Kempe$ $class$. For a graph $G$, let $χ(G)$ denote its chromatic number and let $\mathcal{C}_{k}(G)$ denote the set of all $k$-colourings of $G$. We say $G$ is $Kempe$ $connected$ if for all $k\ge χ(G)$, $\mathcal{C}_{k}(G)$ forms a Kempe class. For a graph $H$, graph $G$ is called $H$-$free$ if no induced subgraph of $G$ is isomorphic to $H$.
We prove that every $H$-free graph is Kempe connected if and only if $H$ is an induced subgraph of the path on four vertices, $P_4$.
The graph 2$K_2$ consists of four vertices and two edges which are not adjacent. We prove that for all $p\ge 0$, there is a $k$-colourable 2$K_2$-free graph $G$ such that $\mathcal{C}_{k+p}(G)$ does not form a Kempe class.
Spectral characterizations of local structures of graphs and hypergraphs
In this paper, we give the relationship between spectral radius and local structures of graphs and hypergraphs. Our work shows that certain local subgraphs (subhypergraphs) must occur when the spectral radius ratio is large. We also give spectral bounds on the local vector chromatic number in terms of tensor eigenvalues of graphs.
On Computational Aspects of Cores of Ordered Graphs
An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii) $H$ is a subgraph of $G$, and (iii) $G$ admits an order-preserving homomorphism to $H$. We study complexity aspects of several problems related to the cores of ordered graphs. Interestingly, they exhibit a different behavior than their unordered counterparts. We show that the retraction problem, i.e., deciding whether a given graph admits an ordered-preserving homomorphism to its specific subgraph, can be solved in polynomial time. On the other hand, it is \NP-hard to decide whether a given ordered graph is a core. In fact, we show that it is even \NP-hard to distinguish graphs $G$ whose core is largest possible (i.e., if $G$ is a core) from those, whose core is the smallest possible, i.e., its size is equal to the ordered chromatic number of $G$. The problem is even \wone-hard with respect to the latter parameter.
Acyclic dichromatic number of oriented graphs
The dichromatic number $\vecχ(D)$ of a digraph $D=(V,A)$ is the minimum number of sets in a partition $V_1,\ldots{},V_k$ of $V$ into $k$ subsets so that the induced subdigraph $D[V_i]$ is acyclic for each $i\in [k]$. This is a generalization of the chromatic number for undirected graphs as a graph has chromatic number at most $k$ if and only if the complete biorientation of $G$ (replace each edge by a directed 2-cycle) has dichromatic number at most $k$. In this paper we introduce the acyclic dichromatic number $\vecχ_{\rm a}(D)$ of a digraph $D$ as the minimum number of sets in a partition $V_1,\ldots{},V_k$ of $V$ so that the induced subdigraph $D[V_i]$ is acyclic for each $i\in [k]$ and each of the bipartite induced subdigraphs $D[V_i,V_j]$ is acyclic for each $1\leq i<j\leq k$. This parameter, which resembles the definition of acyclic chromatic number for undirected graphs, has apparently not been studied before.
We derive a number of results which display the difference between the dichromatic number and the acyclic dichromatic number, in particular, there are digraphs $D$ with arbitrarily large $\vecχ_{\rm a}(D)-\vecχ(D)$, even among tournaments with dichromatic number 2 and bipartite tournaments (where the dichromatic number is always 2). We prove several complexity results, including that deciding whether $\vecχ_{\rm a}(D)\leq 2$ is NP-complete already for bipartite digraphs, while it is polynomial for tournaments (contrary to the case for dichromatic number). We also generalize the concept of heroes of a tournament to acyclic heroes of tournaments.
Improved Bounds for the Ultimate Independence Ratio of Odd Wheels
The ultimate independence ratio of a graph $G$ is defined as $\mathscr{I}(G) = \lim_{k\rightarrow\infty } \frac{α(G^{\Box k})}{|V(G)|^k},$ where $α(G^{\Box k})$ is the independence number of the Cartesian product of $k$ copies of $G$. For all graphs $G$, Hahn, Hell, and Poljak (1995) proved that $\frac{1}{χ(G)} \leq \mathscr{I}(G) \leq \frac{1}{ω(G)}$ where $χ(G)$ is the chromatic number, and $ω(G)$ is the clique number of $G$. So all graphs $G$ with $χ(G) = ω(G)$ satisfy $\mathscr{I}(G) = \frac{1}{χ(G)} = \frac{1}{ω(G)}$. A construction of Zhu demonstrates that there exists a graph $G$ with $\frac{1}{χ(G)} < \mathscr{I}(G) < \frac{1}{ω(G)}$, so neither equality holds in general. In response, Hahn, Hell, and Poljak conjectured that all wheel graphs $W_n$ satisfy $\mathscr{I}(W_n) = \frac{1}{χ(W_n)}$.
For even wheels $W_{2t}$ this follows from the fact $χ(W_{2t}) = ω(W_{2t}) = 3$. Odd wheels of length at least $5$ present a more challenging case, since $χ(W_{2t+1}) = 4$ and $ω(W_{2t+1}) = 3$. First, we prove that odd wheels of length at least $7$ satisfy $\mathscr{I}(W_{2t+1})\leq \frac{4t^2+6t}{3(2t+2)^2}<\frac{1}{3}$, which provides the best upper bound for large odd wheels. Next, we prove that $\mathscr{I}(W_5) \leq \frac{1019}{3888}$, improving an upper bound of Hahn, Hell, and Poljak that $\mathscr{I}(W_5) \leq \frac{11}{41}$. Our proofs combine counting arguments, recursive bounds on $α(W^{\Box k}_{2t+1})$, and computer-assisted calculation in the $W_5$ case.