arXiv++ Combinatorics

A Maximum Distance Separable code over an alphabet $F$ is defined via an encoding function $C:F^k \rightarrow F^n$ that allows to retrieve a message $m \in F^k$ from the codeword $C(m)$ even after erasing any $n-k$ of its symbols. The minimum possible alphabet size of general (non-linear) MDS codes for given parameters $n$ and $k$ is unknown and forms one of the central open problems in coding theory. The paper initiates the study of the alphabet size of codes in a generalized setting where the coding scheme is required to handle a pre-specified subset of all possible erasure patterns, naturally represented by an $n$-vertex $k$-uniform hypergraph. We relate the minimum possible alphabet size of such codes to the strong chromatic number of the hypergraph and analyze the tightness of the obtained bounds for both the linear and non-linear settings. We further consider variations of the problem which allow a small probability of decoding error.

We determine the chromatic number of some graphs of flags in buildings of type $A_4$, namely of the Kneser graphs of flags of type $\{2,4\}$ in the vector spaces $GF(q)^5$ for $q\geq3$, and of the Kneser graph of flags of type $\{2,3\}$ in the vector spaces $GF(q)^5$ for large $q$.

For $1\leq s_1 \le s_2 \le \ldots \le s_k$ and a graph $G$, a packing $(s_1, s_2, \ldots, s_k)$-coloring of $G$ is a partition of $V(G)$ into sets $V_1, V_2, \ldots, V_k$ such that, for each $1\leq i \leq k$, the distance between any two distinct $x,y\in V_i$ is at least $s_i + 1$. The packing chromatic number, $χ_p(G)$, of a graph $G$ is the smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. It is known that there are trees of maximum degree 4 and subcubic graphs $G$ with arbitrarily large $χ_p(G)$. Recently, there was a series of papers on packing $(s_1, s_2, \ldots, s_k)$-colorings of subcubic graphs in various classes. We show that every $2$-connected subcubic outerplanar graph has a packing $(1,1,2)$-coloring and every subcubic outerplanar graph is packing $(1,1,2,4)$-colorable. Our results are sharp in the sense that there are $2$-connected subcubic outerplanar graphs that are not packing $(1,1,3)$-colorable and there are subcubic outerplanar graphs that are not packing $(1,1,2,5)$-colorable. We also show subcubic outerplanar graphs that are not packing $(1,2,2,4)$-colorable and not packing $(1,1,3,4)$-colorable.

The proper divisor graph $Υ_n$ of a positive integer $n$ is the simple graph whose vertices are the proper divisors of $n$, and in which two distinct vertices $u, v$ are adjacent if and only if $n$ divides $uv$. The graph $Υ_n$ plays an important role in the study of the zero divisor graph of the ring $\mathbb{Z}_n$. In this paper, we study some graph theoretic properties of $Υ_n$ and determine the graph parameters such as clique number, chromatic number, chromatic index, independence number, matching number, domination number, vertex and edge covering numbers of $Υ_n$. We also determine the automorphism group of $Υ_n$.

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. A graph $G$ is $k$-vertex-critical if $G$ has chromatic number $k$ but every proper induced subgraph of $G$ has chromatic number less than $k$. The study of $k$-vertex-critical graphs for graph classes is an important topic in algorithmic graph theory because if the number of such graphs that are in a given hereditary graph class is finite, then there is a polynomial-time algorithm to decide if a graph in the class is $(k-1)$-colorable. In this paper, we initiate a systematic study of the finiteness of $k$-vertex-critical graphs in subclasses of $P_5$-free graphs. Our main result is a complete classification of the finiteness of $k$-vertex-critical graphs in the class of $(P_5,H)$-free graphs for all graphs $H$ on 4 vertices. To obtain the complete dichotomy, we prove the finiteness for four new graphs $H$ using various techniques -- such as Ramsey-type arguments and the dual of Dilworth's Theorem -- that may be of independent interest.

Given a set $\mathcal{H}$ of graphs, let $f_\mathcal{H}^\star\colon \mathbb{N}_{>0}\to \mathbb{N}_{>0}$ be the optimal $χ$-binding function of the class of $\mathcal{H}$-free graphs, that is, $$f_\mathcal{H}^\star(ω)=\max\{χ(G): G\text{ is } \mathcal{H}\text{-free, } ω(G)=ω\}.$$ In this paper, we combine the two decomposition methods by homogeneous sets and clique-separators in order to determine optimal $χ$-binding functions for subclasses of $P_5$-free graphs and of $(C_5,C_7,\ldots)$-free graphs. In particular, we prove the following for each $ω\geq 1$: (i) $\ f_{\{P_5,banner\}}^\star(ω)=f_{3K_1}^\star(ω)\in Θ(ω^2/\log(ω)),$ (ii) $\ f_{\{P_5,co-banner\}}^\star(ω)=f^\star_{\{2K_2\}}(ω)\in\mathcal{O}(ω^2),$ (iii) $\ f_{\{C_5,C_7,\ldots,banner\}}^\star(ω)=f^\star_{\{C_5,3K_1\}}(ω)\notin \mathcal{O}(ω),$ and (iv) $\ f_{\{P_5,C_4\}}^\star(ω)=\lceil(5ω-1)/4\rceil.$ We also characterise, for each of our considered graph classes, all graphs $G$ with $χ(G)>χ(G-u)$ for each $u\in V(G)$. From these structural results, we can prove Reed's conjecture -- relating chromatic number, clique number, and maximum degree of a graph -- for $(P_5,banner)$-free graphs.

Given graphs $T$ and $H$, the generalized Turán number ex$(n,T,H)$ is the maximum number of copies of $T$ in an $n$-vertex graph with no copies of $H$. Alon and Shikhelman, using a result of Erd\H os, determined the asymptotics of ex$(n,K_3,H)$ when the chromatic number of $H$ is greater than 3 and proved several results when $H$ is bipartite. We consider this problem when $H$ has chromatic number 3. Even this special case for the following relatively simple 3-chromatic graphs appears to be challenging. The suspension $\widehat H$ of a graph $H$ is the graph obtained from $H$ by adding a new vertex adjacent to all vertices of $H$. We give new upper and lower bounds on ex$(n,K_3,\widehat{H})$ when $H$ is a path, even cycle, or complete bipartite graph. One of the main tools we use is the triangle removal lemma, but it is unclear if much stronger statements can be proved without using the removal lemma.

Hedetniemi conjectured in 1966 that $χ(G \times H) = \min\{χ(G), χ(H)\}$ for all graphs $G$ and $H$. Here $G\times H$ is the graph with vertex set $ V(G)\times V(H)$ defined by putting $(x,y)$ and $(x',y')$ adjacent if and only if $xx'\in E(G)$ and $yy'\in E(H)$. This conjecture received a lot of attention in the past half century. Recently, Shitov refuted this conjecture. Let $p$ be the minimum number of vertices in a graph of odd girth $7$ and fractional chromatic number greater than $3+4/(p-1)$. Shitov's proof shows that Hedetniemi's conjecture fails for some graphs with chromatic number about $p^22^{p+1} $ and with about $(p^22^{p+1})^{p^32^{p-1}} $ vertices. In this paper, we show that the conjecture fails already for some graphs $G$ and $H$ with chromatic number $3\lceil \frac {p+1}2 \rceil $ and with $p \lceil (p-1)/2 \rceil$ and $3 \lceil \frac {p+1}2 \rceil (p+1)-p$ vertices, respectively. The currently known upper bound for $p$ is $148$. Thus Hedetniemi's conjecture fails for some graphs $G$ and $H$ with chromatic number $225$, and with $10,952$ and $33,377$ vertices, respectively.

For an arbitrary invariant $ρ(G)$ of a graph $G$, the $ρ-$vertex stability number $vs_ρ(G)$ is the minimum number of vertices of $G$ whose removal results in a graph $H\subseteq G$ with $ρ(H)\neq ρ(G)$ or with $E(H)=\varnothing$. In this paper, first we give some general lower and upper bounds for the $ρ$-vertex stability number, and then study the edge chromatic stability number of graphs, $vs_{χ^{\prime}}(G)$, where $χ^{\prime}=χ^{\prime}(G)$ is edge chromatic number (chromatic index) of $G$. We prove some general results for this parameter and determine $vs_{χ^{\prime}}(G)$ for specific classes of graphs.

We consider non-trivial homomorphisms to reflexive oriented graphs in which some pair of adjacent vertices have the same image. Using a notion of convexity for oriented graphs, we study those oriented graphs that do not admit such homomorphisms. We fully classify those oriented graphs with tree-width $2$ that do not admit such homomorphisms and show that it is NP-complete to decide if a graph admits an orientation that does not admit such homomorphisms. We prove analogous results for $2$-edge-coloured graphs. We apply our results on oriented graphs to provide a new tool in the study of chromatic number of orientations of planar graphs -- a long-standing open problem.

We develop an algorithmic framework for graph colouring that reduces the problem to verifying a local probabilistic property of the independent sets. With this we give, for any fixed $k\ge 3$ and $\varepsilon>0$, a randomised polynomial-time algorithm for colouring graphs of maximum degree $Δ$ in which each vertex is contained in at most $t$ copies of a cycle of length $k$, where $1/2\le t\le Δ^\frac{2\varepsilon}{1+2\varepsilon}/(\logΔ)^2$, with $\lfloor(1+\varepsilon)Δ/\log(Δ/\sqrt t)\rfloor$ colours. This generalises and improves upon several notable results including those of Kim (1995) and Alon, Krivelevich and Sudakov (1999), and more recent ones of Molloy (2019) and Achlioptas, Iliopoulos and Sinclair (2019). This bound on the chromatic number is tight up to an asymptotic factor $2$ and it coincides with a famous algorithmic barrier to colouring random graphs.

We show that for a simple graph $G$, $c'(G)\leqΔ(G)+2$ where $c'(G)$ is the choice index (or edge-list chromatic number) of $G$, and $Δ(G)$ is the maximum degree of $G$. As a simple corollary of this result, we show that the total chromatic number $χ_T(G)$ of a simple graph satisfies the inequality $χ_T(G)\leq\ Δ(G)+4$ and the total choice number $c_T(G)$ also satisfies this inequality. We also relate these bounds to the Hall index and the Hall condition index of a simple graph, and to the total Hall number and the total Hall condition number of a simple graph.

The fractional and circular chromatic numbers are the two most studied non-integral refinements of the chromatic number of a graph. Starting from the definition of a coloring base of a graph, which originated in work related to ergodic theory, we formalize the notion of a gyrocoloring of a graph: the vertices are colored by translates of a single Borel set in the circle group, and neighbouring vertices receive disjoint translates. The corresponding gyrochromatic number of a graph always lies between the fractional chromatic number and the circular chromatic number. We investigate basic properties of gyrocolorings. In particular, we construct examples of graphs whose gyrochromatic number is strictly between the fractional chromatic number and the circular chromatic number. We also establish several equivalent definitions of the gyrochromatic number, including a version involving all finite abelian groups.

Resolving a problem raised by Norin, we show that for each $k \in \mathbb{N}$, there exists an $f(k) \le 7k$ such that every graph $G$ with chromatic number at least $f(k)+1$ contains a subgraph $H$ with both connectivity and chromatic number at least $k$. This result is best-possible up to multiplicative constants, and sharpens earlier results of Alon-Kleitman-Thomassen-Saks-Seymour from 1987 showing that $f(k) = O(k^3)$, and of Chudnovsky-Penev-Scott-Trotignon from 2013 showing that $f(k) = O(k^2)$. Our methods are robust enough to handle list colouring as well: we also show that for each $k \in \mathbb{N}$, there exists an $f_\ell(k) \le 4k$ such that every graph $G$ with list chromatic number at least $f_\ell(k)+1$ contains a subgraph $H$ with both connectivity and list chromatic number at least $k$. This result is again best-possible up to multiplicative constants; here, unlike with $f(\cdot)$, even the existence of $f_\ell(\cdot)$ appears to have been previously unknown.

The Grundy number of a graph $G$ is the maximum number of colors used by the First-Fit coloring of $G$ and is denoted by $Γ(G)$. Similarly, the ${\rm b}$-chromatic number ${\rm{b}}(G)$ of $G$ expresses the worst case behavior of another well-known coloring procedure i.e. color-dominating coloring of $G$. We obtain some families of graphs $\mathcal{F}$ for which there exists a function $f(x)$ such that $Γ(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. Call any such family $(Γ,b)$-bounded family. We conjecture that the family of ${\rm b}$-monotone graphs is $(Γ,b)$-bounded and validate the conjecture for some families of graphs.

We introduce and study the dominated edge coloring of a graph. A dominated edge coloring of a graph $G$ is a proper edge coloring of $G$ such that each color class is dominated by at least one edge of $G$. The minimum number of colors among all dominated edge coloring is called the dominated edge chromatic number, denoted by $χ_{dom}^{\prime}(G)$. We obtain some properties of $χ_{dom}^{\prime}(G)$ and compute it for specific graphs. Also we examine the effects on $χ_{dom}^{\prime}(G)$ when $G$ is modified by operations on vertex and edge of $G$. Finally, we consider the $k$-subdivision of $G$ and study the dominated edge chromatic number of these kind of graphs.

Our purpose is to show that complements of line graphs enjoy nice coloring properties. We show that for all graphs in this class the local and usual chromatic numbers are equal. We also prove a sufficient condition for the chromatic number to be equal to a natural upper bound. A consequence of this latter condition is a complete characterization of all induced subgraphs of the Kneser graph $\operatorname{KG}(n,2)$ that have a chromatic number equal to its chromatic number, namely $n-2$. In addition to the upper bound, a lower bound is provided by Dol'nikov's theorem, a classical result of the topological method in graph theory. We prove the $\operatorname{NP}$-hardness of deciding the equality between the chromatic number and any of these bounds. The topological method is especially suitable for the study of coloring properties of complements of line graphs of hypergraphs. Nevertheless, all proofs in this paper are elementary and we also provide a short discussion on the ability for the topological methods to cover some of our results.

An orientation of a graph is semi-transitive if it is acyclic, and for any directed path $v_0\rightarrow v_1\rightarrow \cdots\rightarrow v_k$ either there is no arc between $v_0$ and $v_k$, or $v_i\rightarrow v_j$ is an arc for all $0\leq i<j\leq k$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. Semi-transitive graphs generalize several important classes of graphs and they are precisely the class of word-representable graphs studied extensively in the literature. Determining if a triangle-free graph is semi-transitive is an NP-hard problem. The existence of non-semi-transitive triangle-free graphs was established via Erdős' theorem by Halldórsson and the authors in 2011. However, no explicit examples of such graphs were known until recent work of the first author and Saito who have shown computationally that a certain subgraph on 16 vertices of the triangle-free Kneser graph $K(8,3)$ is not semi-transitive, and have raised the question on the existence of smaller triangle-free non-semi-transitive graphs. In this paper we prove that the smallest triangle-free 4-chromatic graph on 11 vertices (the Grötzsch graph) and the smallest triangle-free 4-chromatic 4-regular graph on 12 vertices (the Chvátal graph) are not semi-transitive. Hence, the Grötzsch graph is the smallest triangle-free non-semi-transitive graph. We also prove the existence of semi-transitive graphs of girth 4 with chromatic number 4 including a small one (the circulant graph $C(13;1,5)$ on 13 vertices) and dense ones (Toft's graphs). Finally, we show that each $4$-regular circulant graph (possibly containing triangles) is semi-transitive.

For a fixed infinite graph $H$, we study the largest density of a monochromatic subgraph isomorphic to $H$ that can be found in every two-coloring of the edges of $K_{\mathbb{N}}$. This is called the Ramsey upper density of $H$, and was introduced by Erdős and Galvin. Recently, the Ramsey upper density of the infinite path was determined. Here, we find the value of this density for all locally finite graphs $H$ up to a factor of 2, answering a question of DeBiasio and McKenney. We also find the exact density for a wide class of bipartite graphs, including all locally finite forests. Our approach relates this problem to the solution of an optimization problem for continuous functions. We show that, under certain conditions, the density depends only on the chromatic number of $H$, the number of components of $H$, and the expansion ratio $|N(I)|/|I|$ of the independent sets of $H$.

The closed neighborhood conflict-free chromatic number of a graph $G$, denoted by $χ_{CN}(G)$, is the minimum number of colors required to color the vertices of $G$ such that for every vertex, there is a color that appears exactly once in its closed neighborhood. Pach and Tardos [Combin. Probab. Comput. 2009] showed that $χ_{CN}(G) = O(\log^{2+\varepsilon} Δ)$, for any $\varepsilon > 0$, where $Δ$ is the maximum degree. In [Combin. Probab. Comput. 2014], Glebov, Szabó and Tardos showed existence of graphs $G$ with $χ_{CN}(G) = Ω(\log^2Δ)$. In this paper, we bridge the gap between the two bounds by showing that $χ_{CN}(G) = O(\log^2 Δ)$.