arXiv++ Combinatorics

Given a graph $G$ and $p \in [0,1]$, let $G_p$ denote the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. Alon, Krivelevich, and Sudokov proved $\mathbb{E} [χ(G_p)] \geq C_p \frac{χ(G)}{\log |V(G)|}$, and Bukh conjectured an improvement of $\mathbb{E}[χ(G_p)] \geq C_p \frac{χ(G)}{\log χ(G)}$. We prove a new spectral lower bound on $\mathbb{E}[χ(G_p)]$, as progress towards Bukh's conjecture. We also propose the stronger conjecture that for any fixed $p \leq 1/2$, among all graphs of fixed chromatic number, $\mathbb{E}[χ(G_p)]$ is minimized by the complete graph. We prove this stronger conjecture when $G$ is planar or $χ(G) < 4$. We also consider weaker lower bounds on $\mathbb{E}[χ(G_p)]$ proposed in a recent paper by Shinkar; we answer two open questions of Shinkar negatively and propose a possible refinement of one of them.

We study the list chromatic number of the Cartesian product of any graph $G$ and a complete bipartite graph with partite sets of size $a$ and $b$, denoted $χ_\ell(G \square K_{a,b})$. We have two motivations. A classic result on the gap between list chromatic number and the chromatic number tells us $χ_\ell(K_{a,b}) = 1 + a$ if and only if $b \geq a^a$. Since $χ_\ell(K_{a,b}) \leq 1 + a$ for any $b \in \mathbb{N}$, this result tells us the values of $b$ for which $χ_\ell(K_{a,b})$ is as large as possible and far from $χ(K_{a,b})=2$. In this paper we seek to understand when $χ_\ell(G \square K_{a,b})$ is far from $χ(G \square K_{a,b}) = \max \{χ(G), 2 \}$. It is easy to show $χ_\ell(G \square K_{a,b}) \leq χ_\ell (G) + a$. In 2006, Borowiecki, Jendrol, Král, and Miskuf showed that this bound is attainable if $b$ is sufficiently large; specifically, $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$ whenever $b \geq (χ_\ell(G) + a - 1)^{a|V(G)|}$. Given any graph $G$ and $a \in \mathbb{N}$, we wish to determine the smallest $b$ such that $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$. In this paper we show that the list color function, a list analogue of the chromatic polynomial, provides the right concept and tool for making progress on this problem. Using the list color function, we prove a general improvement on Borowiecki et al.'s 2006 result, and we compute the smallest such $b$ exactly for some large families of chromatic-choosable graphs.

Given a graph $G$, the exact distance-$p$ graph $G^{[\natural p]}$ has $V(G)$ as its vertex set, and two vertices are adjacent whenever the distance between them in $G$ equals $p$. We present formulas describing the structure of exact distance-$p$ graphs of the Cartesian, the strong, and the lexicographic product. We prove such formulas for the exact distance-$2$ graphs of direct products of graphs. We also consider infinite grids and some other product structures. We characterize the products of graphs of which exact distance graphs are connected. The exact distance-$p$ graphs of hypercubes $Q_n$ are also studied. As these graphs contain generalized Johnson graphs as induced subgraphs, we use some known and find some new constructions of their colorings. These constructions are applied for colorings of the exact distance-$p$ graphs of hypercubes with the focus on the chromatic number of $Q_{n}^{[\natural p]}$ for $p\in \{n-2,n-3,n-4\}$.

Let $Σ$ be a signed graph where two edges joining the same pair of vertices with opposite signs are allowed. The zero-free chromatic number $χ^*(Σ)$ of $Σ$ is the minimum even integer $2k$ such that $G$ admits a proper coloring $f\colon\,V(Σ)\mapsto \{\pm 1,\pm 2,\ldots,\pm k\}$. The zero-free list chromatic number $χ^*_l(Σ)$ is the list version of zero-free chromatic number. $Σ$ is called zero-free chromatic-choosable if $χ^*_l(Σ)=χ^*(Σ)$. We show that if $Σ$ has at most $χ^*(Σ)+1$ vertices then $Σ$ is zero-free chromatic-choosable. This result strengthens Noel-Reed-Wu Theorem which states that every graph $G$ with at most $2χ(G)+1$ vertices is chromatic-choosable, where $χ(G)$ is the chromatic number of $G$.

The chromatic number of a graph $G$, denoted by $χ(G)$, is the minimum $k$ such that $G$ admits a $k$-coloring of its vertex set in such a way that each color class is an independent set (a set of pairwise non-adjacent vertices). The dichromatic number of a digraph $D$, denoted by $χ_A(D)$, is the minimum $k$ such that $D$ admits a $k$-coloring of its vertex set in such a way that each color class is acyclic. In 1976, Bondy proved that the chromatic number of a digraph $D$ is at most its circumference, the length of a longest cycle. Given a digraph $D$, we will construct three different graphs whose chromatic numbers bound $χ_A(D)$. Moreover, we prove: i) for integers $k\geq 2$, $s\geq 1$ and $r_1, \ldots, r_s$ with $k\geq r_i\geq 0$ and $r_i\neq 1$ for each $i\in[s]$, that if all cycles in $D$ have length $r$ modulo $k$ for some $r\in\{r_1,\ldots,r_s\}$, then $χ_A(D)\leq 2s+1$; ii) if $D$ has girth $g$ and there are integers $k$ and $p$, with $k\geq g-1\geq p\geq 1$ such that $D$ contains no cycle of length $r$ modulo $\lceil \frac{k}{p} \rceil p$ for each $r\in \{-p+2,\ldots,0,\ldots,p\}$, then $χ_A (D)\leq \lceil \frac{k}{p} \rceil$; iii) if $D$ has girth $g$, the length of a shortest cycle, and circumference $c$, then $χ_A(D)\leq \lceil \frac{c-1}{g-1} \rceil +1$, which improves, substantially, the bound proposed by Bondy. Our results show that if we have more information about the lengths of cycles in a digraph, then we can improve the bounds for the dichromatic number known until now.

For a graph $G$, let $χ(G)$ and $ω(G)$ respectively denote the chromatic number and clique number of $G$. We give an explicit structural description of ($P_5$,gem)-free graphs, and show that every such graph $G$ satisfies $χ(G)\le \lceil\frac{5ω(G)}{4}\rceil$. Moreover, this bound is best possible.

Let $G$ be a graph with chromatic number $χ$, maximum degree $Δ$ and clique number $ω$. Reed's conjecture states that $χ\leq \lceil (1-\varepsilon)(Δ+ 1) + \varepsilonω\rceil$ for all $\varepsilon \leq 1/2$. It was shown by King and Reed that, provided $Δ$ is large enough, the conjecture holds for $\varepsilon \leq 1/130,000$. In this article, we show that the same statement holds for $\varepsilon \leq 1/26$, thus making a significant step towards Reed's conjecture. We derive this result from a general technique to bound the chromatic number of a graph where no vertex has many edges in its neighbourhood. Our improvements to this method also lead to improved bounds on the strong chromatic index of general graphs. We prove that $χ'_s(G)\leq 1.835 Δ(G)^2$ provided $Δ(G)$ is large enough.

An $(m, n)$-colored mixed graph is a graph having arcs of $m$ different colors and edges of $n$ different colors. A graph homomorphism of an $(m, n$)-colored mixed graph $G$ to an $(m, n)$-colored mixed graph $H$ is a vertex mapping such that if $uv$ is an arc (edge) of color $c$ in $G$, then $f(u)f(v)$ is also an arc (edge) of color $c$. The ($m, n)$-colored mixed chromatic number of an $(m, n)$-colored mixed graph $G$, introduced by Nešetřil and Raspaud [J. Combin. Theory Ser. B 2000] is the order (number of vertices) of the smallest homomorphic image of $G$. Later Bensmail, Duffy and Sen [Graphs Combin. 2017] introduced another parameter related to the $(m, n)$-colored mixed chromatic number, namely, the $(m, n)$-relative clique number as the maximum cardinality of a vertex subset which, pairwise, must have distinct images with respect to any colored homomorphism. In this article, we study the $(m, n$)-relative clique number for the family of subcubic graphs, graphs with maximum degree $Δ$, planar graphs and triangle-free planar graphs and provide new improved bounds in each of the cases. In particular, for subcubic graphs we provide exact value of the parameter.

The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in [k]$, where vertices in $V_i$ are pairwise at distance at least $i+1$. Packing chromatic vertex-critical graphs, $χ_ρ$-critical for short, are introduced as the graphs $G$ for which $χ_ρ(G-x) < χ_ρ(G)$ holds for every vertex $x$ of $G$. If $χ_ρ(G) = k$, then $G$ is $k$-$χ_ρ$-critical. It is shown that if $G$ is $χ_ρ$-critical, then the set $\{χ_ρ(G) - χ_ρ(G-x):\ x\in V(G)\}$ can be almost arbitrary. The $3$-$χ_ρ$-critical graphs are characterized, and $4$-$χ_ρ$-critical graphs are characterized in the case when they contain a cycle of length at least $5$ which is not congruent to $0$ modulo $4$. It is shown that for every integer $k\ge 2$ there exists a $k$-$χ_ρ$-critical tree and that a $k$-$χ_ρ$-critical caterpillar exists if and only if $k\le 7$. Cartesian products are also considered and in particular it is proved that if $G$ and $H$ are vertex-transitive graphs and ${\rm diam(G)} + {\rm diam}(H) \le χ_ρ(G)$, then $G\,\square\, H$ is $χ_ρ$-critical.

Given positive integers $n\ge 2k$, the {\it Kneser graph} $KG_{n,k}$ is a graph whose vertex set is the collection of all $k$-element subsets of the set $\{1,\ldots, n\}$, with edges connecting pairs of disjoint sets. One of the classical results in combinatorics, conjectured by Kneser and proved by Lovász, states that the chromatic number of $KG_{n,k}$ is equal to $n-2k+2$. In this paper, we study the chromatic number of the {\it random Kneser graph} $KG_{n,k}(p)$, that is, the graph obtained from $KG_{n,k}$ by including each of the edges of $KG_{n,k}$ independently and with probability $p$. We prove that, for any fixed $k\ge 3$, $χ(KG_{n,k}(1/2)) = n-Θ(\sqrt[2k-2]{\log_2 n})$, as well as $χ(KG_{n,2}(1/2)) = n-Θ(\sqrt[2]{\log_2 n \cdot \log_2\log_2 n})$. We also prove that, for $k\ge (1+\varepsilon) \log\log n$, we have $χ(KG_{n,k}(1/2))\ge n-2k-10$. This significantly improves previous results on the subject, obtained by Kupavskii and by Alishahi and Hajiabolhassan. The bound on $k$ in the second result is also tight up to a constant. We also discuss an interesting connection to an extremal problem on embeddability of complexes.

The neighborhood complex $\N(G)$ of a graph $G$ were introduced by L. Lov{á}sz in his proof of Kneser conjecture. He proved that for any graph $G$, \begin{align} \label{abstract} χ(G) \geq conn(\N(G))+3. \end{align} In this article we show that for a class of exponential graphs the bound given in (\ref{abstract}) is sharp. Further, we show that the neighborhood complexes of these exponential graphs are spheres up to homotopy. We were also able to find a class of exponential graphs, which are homotopy test graphs. Hedetniemi's conjecture states that the chromatic number of the categorical product of two graphs is the minimum of the chromatic number of the factors. Let $M(G)$ denotes the Mycielskian of a graph $G$. We show that, for any graph $G$ containing $M(M(K_n))$ as a subgraph and for any graph $H$, if $χ(G \times H) = n+1$, then $\min\{χ(G), χ(H)\} = n+1$. Therefore, we enrich the family of graphs satisfying the Hedetniemi's conjecture.

A subset $A \subset \mathbb R^2$ is said to avoid distance $1$ if: $\forall x,y \in A, \left\| x-y \right\|_2 \neq 1.$ In this paper we study the number $m_1(\mathbb R^2)$ which is the supremum of the upper densities of measurable sets avoiding distance 1 in the Euclidean plane. Intuitively, $m_1(\mathbb R^2)$ represents the highest proportion of the plane that can be filled by a set avoiding distance 1. This parameter is related to the fractional chromatic number $χ_f(\mathbb R^2)$ of the plane. We establish that $m_1(\mathbb R^2) \leq 0.25647$ and $χ_f(\mathbb R^2) \geq 3.8991$.

The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $c$ such that the vertex set $V(G)$ can be partitioned into sets $X_1, . . . , X_c$, with the condition that vertices in $X_i$ have pairwise distance greater than $i$. In this paper, we consider the packing chromatic number of several families of Sierpinski-type graphs. We establish the packing chromatic numbers of generalized Sierpinski graphs $S^n_G$ where $G$ is a path or a cycle (with exception of a cycle of length five) as well as a connected graph of order four. Furthermore, we prove that the packing chromatic number in the family of Sierpinski-triangle graphs $ST_4^n$ is bounded from above by 20.

For an integer $q\ge 2$, a graph $G$ is called $q$-Ramsey for a graph $H$ if every $q$-colouring of the edges of $G$ contains a monochromatic copy of $H$. If $G$ is $q$-Ramsey for $H$, yet no proper subgraph of $G$ has this property then $G$ is called $q$-Ramsey-minimal for $H$. Generalising a statement by Burr, Nešetřil and Rödl from 1977 we prove that, for $q\ge 3$, if $G$ is a graph that is not $q$-Ramsey for some graph $H$ then $G$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$, as long as $H$ is $3$-connected or isomorphic to the triangle. For such $H$, the following are some consequences. (1) For $2\le r< q$, every $r$-Ramsey-minimal graph for $H$ is contained as an induced subgraph in an infinite number of $q$-Ramsey-minimal graphs for $H$. (2) For every $q\ge 3$, there are $q$-Ramsey-minimal graphs for $H$ of arbitrarily large maximum degree, genus, and chromatic number. (3) The collection $\{{\cal M}_q(H) : H \text{ is 3-connected or } K_3\}$ forms an antichain with respect to the subset relation, where ${\cal M}_q(H)$ denotes the set of all graphs that are $q$-Ramsey-minimal for $H$. We also address the question which pairs of graphs satisfy ${\cal M}_q(H_1)={\cal M}_q(H_2)$, in which case $H_1$ and $H_2$ are called $q$-equivalent. We show that two graphs $H_1$ and $H_2$ are $q$-equivalent for even $q$ if they are $2$-equivalent, and that in general $q$-equivalence for some $q\ge 3$ does not necessarily imply $2$-equivalence. Finally we indicate that for connected graphs this implication may hold: Results by Nešetřil and Rödl and by Fox, Grinshpun, Liebenau, Person and Szabó imply that the complete graph is not $2$-equivalent to any other connected graph. We prove that this is the case for an arbitrary number of colours.

A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We first show that for every triangle-free planar graph G and a vertex x of G, the graph G has a set coloring phi by subsets of {1,...,6} such that |phi(v)|>=2 for each vertex v of G and |phi(x)|=3. As a corollary, every triangle-free planar graph on n vertices is (6n:2n+1)-colorable. We further use this result to prove that for every Delta, there exists a constant M_Delta such that every planar graph G of girth at least five and maximum degree Delta is (6M_Delta:2M_Delta+1)-colorable. Consequently, planar graphs of girth at least five with bounded maximum degree Delta have fractional chromatic number at most 3-3/(2M_Delta+1).

Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $χ_ρ(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs. In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $Δ$ times ($Δ$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$.

An $(m,n)$-mixed graph generalizes the notions of oriented graphs and edge-coloured graphs to a graph object with $m$ arc types and $n$ edge types. A simple colouring of such a graph is a non-trivial homomorphism to a reflexive target. We find that simple chromatic number of complete $(m,n)$-mixed graphs can be found in polynomial time. For planar graphs and $k$-trees ($k \geq 3$) we find that allowing the target to be reflexive does not lower the chromatic number of the respective family of $(m,n)$-mixed graphs. This implies that the search for universal targets for such families may be restricted to simple cliques.

Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ be the path on $t$ vertices and $K_t$ be the complete graph on $t$ vertices. The diamond is the graph obtained from $K_4$ by removing an edge. In this paper we show that every ($P_6$, diamond)-free graph $G$ satisfies $χ(G)\le ω(G)+3$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the famous 27-vertex Schläfli graph. Our result unifies previously known results on the existence of linear $χ$-binding functions for several graph classes. Our proof is based on a reduction via the Strong Perfect Graph Theorem to imperfect ($P_6$, diamond)-free graphs, a careful analysis of the structure of those graphs, and a computer search that relies on a well-known characterization of 3-colourable $(P_6,K_3)$-free graphs.

We introduce a new notion of circular colourings for digraphs. The idea of this quantity, called star dichromatic number $\vecχ^\ast(D)$ of a digraph $D$, is to allow a finer subdivision of digraphs with the same dichromatic number into such which are "easier" or "harder" to colour by allowing fractional values. This is related to a coherent notion for the vertex arboricity of graphs introduced by Wang et al. and resembles the concept of the star chromatic number of graphs introduced by Vince in the framework of digraph colouring. After presenting basic properties of the new quantity, including range, simple classes of digraphs, general inequalities and its relation to integer counterparts as well as other concepts of fractional colouring, we compare our notion with the notion of circular colourings for digraphs introduced by Bokal et al. and point out similarities as well as differences in certain situations. As it turns out, the star dichromatic number is a lower bound for the circular dichromatic number of Bokal et al., but the gap between the numbers may be arbitrarily close to $1$. We conclude with a discussion of the case of planar digraphs and point out some open problems.

A well known upper bound for the independence number $α(G)$ of a graph $G$, is that \[ α(G) \le n^0 + \min\{n^+ , n^-\}, \] where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$ and demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. This result complements results by the authors that many spectral lower bounds for the chromatic number are also lower bounds for the quantum chromatic number.