arXiv++ Combinatorics

For a graph $G$ and integers $a_i\ge 1$, the expression $G \rightarrow (a_1,\dots,a_r)^v$ means that for any $r$-coloring of the vertices of $G$ there exists a monochromatic $a_i$-clique in $G$ for some color $i \in \{1,\cdots,r\}$. The vertex Folkman numbers are defined as $F_v(a_1,\dots,a_r;H) = \min\{|V(G)| : G$ is $H$-free and $G \rightarrow (a_1,\dots,a_r)^v\}$, where $H$ is a graph. Such vertex Folkman numbers have been extensively studied for $H=K_s$ with $s>\max\{a_i\}_{1\le i \le r}$. If $a_i=a$ for all $i$, then we use notation $F_v(a^r;H)=F_v(a_1,\dots,a_r;H)$. Let $J_k$ be the complete graph $K_k$ missing one edge, i.e. $J_k=K_k-e$. In this work we focus on vertex Folkman numbers with $H=J_k$, in particular for $k=4$ and $a_i\le 3$. A result by Nešetřil and Rödl from 1976 implies that $F_v(3^r;J_4)$ is well defined for any $r\ge 2$. We present a new and more direct proof of this fact. The simplest but already intriguing case is that of $F_v(3,3;J_4)$, for which we establish the upper bound of 135 by using the $J_4$-free process. We obtain the exact values and bounds for a few other small cases of $F_v(a_1,\dots,a_r;J_4)$ when $a_i \le 3$ for all $1 \le i \le r$, including $F_v(2,3;J_4)=14$, $F_v(2^4;J_4)=15$, and $22 \le F_v(2^5;J_4) \le 25$. Note that $F_v(2^r;J_4)$ is the smallest number of vertices in any $J_4$-free graph with chromatic number $r+1$. Most of the results were obtained with the help of computations, but some of the upper bound graphs we found are interesting by themselves.

A graph $G$ is said to be $k$-subspace choosable over a field $\mathbb{F}$ if for every assignment of $k$-dimensional subspaces of some finite-dimensional vector space over $\mathbb{F}$ to the vertices of $G$, it is possible to choose for each vertex a nonzero vector from its subspace so that adjacent vertices receive orthogonal vectors over $\mathbb{F} $. The subspace choice number of $G$ over $\mathbb{F}$ is the smallest integer $k$ for which $G$ is $k$-subspace choosable over $\mathbb{F}$. This graph parameter, introduced by Haynes, Park, Schaeffer, Webster, and Mitchell (Electron. J. Comb., 2010), is inspired by well-studied variants of the chromatic number of graphs, such as the (color) choice number and the orthogonality dimension. We study the subspace choice number of graphs over various fields. We first prove that the subspace choice number of every graph with average degree $d$ is at least $Ω(\sqrt{d/\ln d})$ over any field. We then focus on bipartite graphs and consider the problem of estimating, for a given integer $k$, the smallest integer $m$ for which the subspace choice number of the complete bipartite graph $K_{k,m}$ over a field $\mathbb{F}$ exceeds $k$. We prove upper and lower bounds on this quantity as well as for several extensions of this problem. Our results imply a substantial difference between the behavior of the choice number and that of the subspace choice number. We also consider the computational aspect of the subspace choice number, and show that for every $k \geq 3$ it is $\mathsf{NP}$-hard to decide whether the subspace choice number of a given bipartite graph over $\mathbb{F}$ is at most $k$, provided that $\mathbb{F}$ is either the real field or any finite field.

An orthogonal representation of a graph $G$ over a field $\mathbb{F}$ is an assignment of a vector $u_v \in \mathbb{F}^t$ to every vertex $v$ of $G$, such that $\langle u_v,u_v \rangle \neq 0$ for every vertex $v$ and $\langle u_v,u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent in $G$. The locality of the orthogonal representation is the largest dimension of a subspace spanned by the vectors associated with a closed neighborhood in the graph. We introduce a novel graph parameter, called the local orthogonality dimension, defined for a given graph $G$ and a given field $\mathbb{F}$, as the smallest possible locality of an orthogonal representation of $G$ over $\mathbb{F}$. We investigate the usefulness of topological methods for proving lower bounds on the local orthogonality dimension. We prove that graphs for which topological methods imply a lower bound of $t$ on their chromatic number have local orthogonality dimension at least $\lceil t/2 \rceil +1$ over every field, strengthening a result of Simonyi and Tardos on the local chromatic number. We show that for certain graphs this lower bound is tight, whereas for others, the local orthogonality dimension over the reals is equal to the chromatic number. More generally, we prove that for every complement of a line graph, the local orthogonality dimension over $\mathbb{R}$ coincides with the chromatic number. This strengthens a recent result by Daneshpajouh, Meunier, and Mizrahi, who proved that the local and standard chromatic numbers of these graphs are equal. As another extension of their result, we prove that the local and standard chromatic numbers are equal for some additional graphs, from the family of Kneser graphs. We also show an $\mathsf{NP}$-hardness result for the local orthogonality dimension and present an application of this graph parameter to the index coding problem from information theory.

A graph G is H-free if it has no induced subgraph isomorphic to H. We prove that a $P_5$-free graph with clique number $ω\ge 3$ has chromatic number at most $ω^{\log_2(ω)}$. The best previous result was an exponential upper bound $(5/27)3^ω$, due to Esperet, Lemoine, Maffray, and Morel. A polynomial bound would imply that the celebrated Erdos-Hajnal conjecture holds for $P_5$, which is the smallest open case. Thus there is great interest in whether there is a polynomial bound for $P_5$-free graphs, and our result is an attempt to approach that.

We give a short proof of a bound on the list chromatic number of graphs $G$ of maximum degree $Δ$ where each neighbourhood has density at most $d$, namely $χ_\ell(G) \le (1+o(1)) \fracΔ{\ln \fracΔ{d+1}}$ as $\fracΔ{d+1} \to \infty$. This bound is tight up to an asymptotic factor $2$, which is the best possible barring a breakthrough in Ramsey theory, and strengthens results due to Vu, and more recently Davies, P., Kang, and Sereni. Our proof relies on the first moment method, and adapts a clever counting argument developed by Rosenfeld in the context of non-repetitive colourings. As a final touch, we show that our method provides an asymptotically tight lower bound on the number of colourings of locally sparse graphs.

The chromatic number, which refers to the minimum number of colours required to colour the vertices of graphs properly, is one of the most central notions of the graph chromatic theory. Several of its aspects of interest have been investigated in the literature, including variants for modifications of proper colourings. These variants include, notably, the achromatic number of graphs, which is the maximum number of colours required to colour the vertices of graphs properly so that each possible combination of distinct colours is assigned along some edge. The behaviours of this parameter have led to many investigations of interest, bringing to light both similarities and discrepancies with the chromatic number. This work takes place in a recent trend aiming at extending the chromatic theory of graphs to the realm of signed graphs, and, in particular, at investigating how classic results adapt to the signed context. Most of the works done in that line to date are with respect to two main generalisations of proper colourings of signed graphs, attributed to Zaslavsky and Guenin. Generalising the achromatic number to signed graphs was initiated recently by Lajou, his investigations being related to Guenin's colourings. We here pursue this line of research, but with taking Zaslavsky's colourings as our notion of proper colourings. We study the general behaviour of our resulting variant of the achromatic number, mainly by investigating how known results on the classic achromatic number generalise to our context. Our results cover, notably, bounds, standard operations on graphs, and complexity aspects.

An $n$-lift of a graph $G$ is a graph from which there is an $n$-to-$1$ covering map onto $G$. Amit, Linial, and Matou\v sek (2002) raised the question of whether the chromatic number of a random $n$-lift of $K_5$ is concentrated on a single value. We consider this problem for $G=K_{d+1}$, and show that for fixed $d\ge 3$ the chromatic number of a random lift of $K_d$ is (asymptotically almost surely) either $k$ or $k+1$, where $k$ is the smallest integer satisfying $d < 2k \log k$. Moreover, we show that, for roughly half of the values of $d$, the chromatic number is concentrated on $k$. The argument for the upper-bound on the chromatic number uses the small subgraph conditioning method, and it can be extended to random $n$-lifts of $G$, for any fixed $d$-regular graph $G$.

By a theorem of Johansson, every triangle-free graph $G$ of maximum degree $Δ$ has chromatic number at most $(C+o(1))Δ/\log Δ$ for some universal constant $C > 0$. Using the entropy compression method, Molloy proved that one can in fact take $C = 1$. Here we show that for every $q \geq (1 + o(1))Δ/\log Δ$, the number $c(G,q)$ of proper $q$-colorings of $G$ satisfies $c(G, q) \,\geq\, \left(1 - \frac{1}{q}\right)^m ((1-o(1))q)^n$, where $n = |V(G)|$ and $m = |E(G)|$. Except for the $o(1)$ term, this lower bound is best possible as witnessed by random $Δ$-regular graphs. When $q = (1 + o(1)) Δ/\log Δ$, our result yields the inequality $c(G,q) \,\geq\, \exp\left((1 - o(1)) \frac{\log Δ}{2} n\right)$, which improves an earlier bound of Iliopoulos and yields the optimal value for the constant factor in the exponent. Furthermore, this result implies the optimal lower bound on the number of independent sets in $G$ due to Davies, Jenssen, Perkins, and Roberts. An important ingredient in our proof is the counting method that was recently developed by Rosenfeld. As a byproduct, we obtain an alternative proof of Molloy's bound $χ(G) \leq (1 + o(1))Δ/\log Δ$ using Rosenfeld's method in place of entropy compression (other proofs of Molloy's theorem using Rosenfeld's technique were given independently by Hurley and Pirot and Martinsson).

The notion of the circular coloring of signed graphs is a recent one that simultaneously extends both notions of the circular coloring of graphs and $0$-free coloring of signed graphs. A circular $r$-coloring of a signed graph $(G, σ)$ is to assign points of a circle of circumference $r$, $r\geq 2$, to the vertices of $G$ such that vertices connected by a positive edge are at circular distance at least $1$ and vertices connected by a negative edge are at circular distance at most $\frac{r}{2}-1$. The infimum of all $r$ for which $(G, σ)$ admits a circular $r$-coloring is said to be the circular chromatic number of $(G, σ)$ and is denoted by $χ_c(G, σ)$. For any rational number $r=\frac{p}{q}$, two notions of circular cliques are presented corresponding to the edge-sign preserving homomorphism and the switching homomorphism. It is also shown that the restriction of the study of circular chromatic numbers to the class of signed bipartite simple graphs already captures the study of circular chromatic numbers of graphs via basic graph operations, even though the circular chromatic number of every signed bipartite graph is bounded above by $4$. In this work, we consider the restriction of the circular chromatic number to this class of signed graphs and construct signed bipartite circular cliques with respect to both notions of homomorphisms. We then present reformulations of the $4$-Color Theorem and the Grötzsch theorem. As a bipartite analogue of Grötzsch's theorem, we prove that every signed bipartite planar graph of negative girth at least $6$ has circular chromatic number at most $3$.

A collection of graphs is \textit{nearly disjoint} if every pair of them intersects in at most one vertex. We prove that if $G_1, \dots, G_m$ are nearly disjoint graphs of maximum degree at most $D$, then the following holds. For every fixed $C$, if each vertex $v \in \bigcup_{i=1}^m V(G_i)$ is contained in at most $C$ of the graphs $G_1, \dots, G_m$, then the (list) chromatic number of $\bigcup_{i=1}^m G_i$ is at most $D + o(D)$. This result confirms a special case of a conjecture of Vu and generalizes Kahn's bound on the list chromatic index of linear uniform hypergraphs of bounded maximum degree. In fact, this result holds for the correspondence (or DP) chromatic number and thus implies a recent result of Molloy, and we derive this result from a more general list coloring result in the setting of `color degrees' that also implies a result of Reed and Sudakov.

We extend Bollobas' classical result on the chromatic number of a binomial random graph to the exchangeable random graph model $\mathcal{G}(n,W)$ defined by a graphon $W:[0,1]^2 \rightarrow [0,1]$, which is a symmetric measurable function. In the case when $W$ can be approximated by block graphons in $\mathcal{L}^{\infty}$-norm, we show that asymptotically optimal value of the number of colours required for $\mathcal{G}(n,W)$ is determined by colouring strategies that use a finite number of different types of colour classes. Furthermore, if $W$ is a block graphon with $k\times k$ blocks then $k$ types of colour classes are sufficient. We also show that if $W$ is block-increasing or block-Lipschitz then such colouring strategies that use $k$ types determine the chromatic number up to a multiplicative error of order $O(k^{-1})$.

Let $G=(V(G), E(G))$ be a multigraph with maximum degree $Δ(G)$, chromatic index $χ'(G)$ and total chromatic number $χ''(G)$. The Total Coloring conjecture proposed by Behzad and Vizing, independently, states that $χ''(G)\leq Δ(G)+μ(G) +1$ for a multigraph $G$, where $μ(G)$ is the multiplicity of $G$. Moreover, Goldberg conjectured that $χ''(G)=χ'(G)$ if $χ'(G)\geq Δ(G)+3$ and noticed the conjecture holds when $G$ is an edge-chromatic critical graph. By assuming the Goldberg-Seymour conjecture, we show that $χ''(G)=χ'(G)$ if $χ'(G)\geq \max\{ Δ(G)+2, |V(G)|+1\}$ in this note. Consequently, $χ''(G) = χ'(G)$ if $χ'(G) \ge Δ(G) +2$ and $G$ has a spanning edge-chromatic critical subgraph.

An exact $(k,d)$-coloring of a graph $G$ is a coloring of its vertices with $k$ colors such that each vertex $v$ is adjacent to exactly $d$ vertices having the same color as $v$. The exact $d$-defective chromatic number, denoted $χ_d^=(G)$, is the minimum $k$ such that there exists an exact $(k,d)$-coloring of $G$. In an exact $(k,d)$-coloring, which for $d=0$ corresponds to a proper coloring, each color class induces a $d$-regular subgraph. We give basic properties for the parameter and determine its exact value for cycles, trees, and complete graphs. In addition, we establish bounds on $χ_d^=(G)$ for all relevant values of $d$ when $G$ is planar, chordal, or has bounded treewidth. We also give polynomial-time algorithms for finding certain types of exact $(k,d)$-colorings in cactus graphs and block graphs. Our main result is on the computational complexity of $d$-EXACT DEFECTIVE $k$-COLORING in which we are given a graph $G$ and asked to decide whether $χ_d^=(G) \leq k$. Specifically, we prove that the problem is NP-complete for all $d \geq 1$ and $k \geq 2$.

Hadwiger's conjecture states that every $K_t$-minor free graph is $(t-1)$-colorable. A qualitative strengthening of this conjecture raised by Gerards and Seymour, known as the Odd Hadwiger's conjecture, states similarly that every graph with no odd $K_t$-minor is $(t-1)$-colorable. For both conjectures, their asymptotic relaxations remain open, i.e., whether an upper bound on the chromatic number of the form $Ct$ for some constant $C>0$ exists. We show that if every graph without a $K_t$-minor is $f(t)$-colorable, then every graph without an odd $K_t$-minor is $2f(t)$-colorable. Using this, the recent $O(t\log\log t)$-upper bound of Delcourt and Postle for the chromatic number of $K_t$-minor free graphs directly carries over to the chromatic number of odd $K_t$-minor-free graphs. This (slightly) improves a previous bound of $O(t(\log \log t)^2)$ for this problem by Delcourt and Postle.

We prove a generalisation of Bollobás' classical result on the asymptotics of the chromatic number of the binomial random graph to the stochastic block model. In addition, by allowing the number of blocks to grow, we determine the chromatic number in the Chung-Lu model. Our approach is based on the estimates for the weighted independence number, where weights are specifically designed to encapsulate inhomogeneities of the random graph.

Assume $n, m$ are positive integers and $G$ is a graph. Let $P_{n,m}$ be the graph obtained from the path with vertices $\{-m, -(m-1), \ldots, 0, \ldots, n\}$ by adding a loop at vertex $ 0$. The double cone $Δ_{n,m}(G)$ over a graph $G$ is obtained from the direct product $G \times P_{n,m}$ by identifying $V(G) \times \{n\}$ into a single vertex $(\star, n)$, identifying $V(G) \times \{-m\}$ into a single vertex $(\star, -m)$, and adding an edge connecting $(\star, -m)$ and $(\star, n)$. This paper determines the fractional chromatic number of $Δ_{n,m}(G)$. In particular, if $n < m$ or $n=m$ is even, then $χ_f(Δ_{n,m}(G)) = χ_f(Δ_n(G))$, where $Δ_n(G)$ is the $n$th cone over $G$. If $n=m$ is odd, then $χ_f(Δ_{n,m}(G)) > χ_f(Δ_n(G))$. The chromatic number of $Δ_{n,m}(G)$ is also discussed.

The chromatic number of a cyclic Latin square of order 2n is 2n+2. The available proof for this statement includes a coloring that is rather lengthy. Here, we introduce a coloring of cyclic Latin square of even order 2n (the Latin square of a cyclic group's Cayley table) with 2n+2 colors using a simple method supported by a graphical presentation.

The Hadwiger-Nelson problem asks for the minimum number of colors, so that each point of the plane can be assigned a single color with the property that no two points unit-distance apart are identically colored. It is now known that the answer is $5$, $6$, or $7$, Here we consider the problem in the context of Minkowski planes, where the unit circle is a regular polygon with $8$, $10$, or $12$ vertices. We prove that in each of these cases, one also needs at least five colors.

The neighborhood complex of a graph was introduced by Lovász to provide topological lower bounds on chromatic number. More general homomorphism complexes of graphs were further studied by Babson and Kozlov. Such `Hom complexes' are also related to mixings of graph colorings and other reconfiguration problems, as well as a notion of discrete homotopy for graphs. Here we initiate the detailed study of Hom complexes for directed graphs (digraphs). For any pair of digraphs graphs $G$ and $H$, we consider the polyhedral complex $\text{Hom}(G,H)$ that parametrizes the directed graph homomorphisms $f: G \rightarrow H$. Hom complexes of digraphs have applications in the study of chains in graded posets and cellular resolutions of monomial ideals. We study examples of directed Hom complexes and relate their topological properties to certain graph operations including products, adjunctions, and foldings. We introduce a notion of a neighborhood complex for a digraph and prove that its homotopy type is recovered as the Hom complex of homomorphisms from a directed edge. We establish a number of results regarding the topology of directed neighborhood complexes, including the dependence on directed bipartite subgraphs, a digraph version of the Mycielski construction, as well as vanishing theorems for higher homology. The Hom complexes of digraphs provide a natural framework for reconfiguration of homomorphisms of digraphs. Inspired by notions of directed graph colorings we study the connectivity of $\text{Hom}(G,T_n)$ for $T_n$ a tournament. Finally, we use paths in the internal hom objects of digraphs to define various notions of homotopy, and discuss connections to the topology of Hom complexes.

A double star is a tree with two internal vertices. It is known that the Gyárfás-Sumner conjecture holds for double stars, that is, for every double star $H$, there is a function $f$ such that if $G$ does not contain $H$ as an induced subgraph then $χ(G)\le f(ω(G))$ (where $χ, ω$ are the chromatic number and the clique number of $G$). Here we prove that $f$ can be chosen to be a polynomial.