arXiv++ Combinatorics

In this paper, we initiate a systematic study on a new notion called near optimal colourability which is closely related to perfect graphs and the Lov{á}sz theta function. A graph family $\mathcal{G}$ is {\em near optimal colourable} if there is a constant number $c$ such that every graph $G\in\mathcal{G}$ satisfies $χ(G)\leq\max\{c, ω(G)\}$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. The near optimal colourable graph families together with the Lov{á}sz theta function are useful for the study of the chromatic number problems for hereditary graph families. We investigate the near optimal colourability for ($H_1,H_2$)-free graphs. Our main result is an almost complete characterization for the near optimal colourability for ($H_1,H_2$)-free graphs with two exceptional cases, one of which is the celebrated Gy{á}rf{á}s conjecture. As an application of our results, we show that the chromatic number problem for ($2K_2,P_4\vee K_n$)-free graphs is polynomial time solvable, which solves an open problem in [K.~K.~Dabrowski and D.~Paulusma. On colouring ($2P_2$, $H$)-free and ($P_5$, $H$)-free graphs. Information Processing Letters, 134:35-41, 2018].

Given graphs $H$ and $F$, $\mathrm{ex}(n,H,F)$ denotes the largest number of copies of $H$ in $F$-free $n$-vertex graphs. Let $χ(H)<χ(F)=r+1$. We say that $H$ is $F$-Turán-stable if the following holds. For any $\varepsilon>0$ there exists $δ>0$ such that if an $n$-vertex $F$-free graph $G$ contains at least $\mathrm{ex}(n,H,F)-δn^{|V(H)|}$ copies of $H$, then the edit distance of $G$ and the $r$-partite Turán graph is at most $\varepsilon n^2$. We say that $H$ is weakly $F$-Turán-stable if the same holds with the Turán graph replaced by any complete $r$-partite graph $T$. It is known that such stability implies exact results in several cases. We show that complete multipartite graphs with chromatic number at most $r$ are weakly $K_{r+1}$-Turán-stable. Answering a question of Morrison, Nir, Norin, Rzażewski and Wesolek positively, we show that for every graph $H$, if $r$ is large enough, then $H$ is $K_{r+1}$-Turán-stable. Finally, we prove that if $H$ is bipartite, then it is weakly $C_{2k+1}$-Turán-stable for $k$ large enough.

In the mysterious and colorful world of chromatic numbers, where there are a lot of unknown, there is an amazing thing. It turns out that for some intervals of forbidden distances on the plane, one can specify the exact value of the chromatic number $χ$. Two sets of such intervals have been found, for $χ=7$ and 9. We call them islands of certainty. Here we increase the size of these islands, and add three new ones with $χ=8$, 12, 13. We also %formulate conjectures which predict conjecture islands for $χ=14$, 15, 16. Are there islands of certainty for $χ$=10 or 11? This is still a mystery. Roll up for the Mystery Tour.

The distinguishing chromatic number of a graph $G$ is the smallest number of colors needed to properly color the vertices of $G$ so that the trivial automorphism is the only symmetry of $G$ that preserves the coloring. We investigate the distinguishing chromatic number for Hamiltonian circulant graphs with maximum degree at most 4.

Let $G = (V,E)$ be a finite simple undirected graph without isolated vertices. A bijective map $f: V \cup E \rightarrow \{1,2, \dots, |V|+ |E| \}$ is called total local antimagic labeling if for each edge $uv \in E, w(u) \ne w(v)$, where $w(v)$ is a weight of a vertex $v$ defined by $w(v) = \sum_{x \in NT(v)} f(x)$, where $NT(u) = N(u) \cup \{uv: uv\in E\}$ is the total open neighborhood of a vertex $u$. Further, $f$ is called super vertex total local antimagic labeling or super edge total local antimagic labeling if $f(V) = \{1,2, \dots, |V|\}$ or $f(E) = \{1,2, \dots, |E|\}$, respectively. The labeling $f$ induces a proper vertex coloring of $G$. The super vertex (edge) total local antimagic chromatic number of a graph $G$ is the minimum number of colors used overall colorings of $G$ induced by super vertex (edge) total local antimagic labeling of $G$. In this paper, we have calculated the super vertex (edge) total local antimagic chromatic number of some families of graphs.

The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a fixed monotone graph property, the objective of the player is to force the graph to satisfy this property with high probability in as few rounds as possible. In this paper, we investigate the following three properties: containing a complete graph of order $k$, having the chromatic number at least $k$, and not having an independent set of size at least $k$.

Two subgraphs $A,B$ of a graph $G$ are anticomplete if they are vertex-disjoint and there are no edges joining them. Is it true that if $G$ is a graph with bounded clique number, and sufficiently large chromatic number, then it has two anticomplete subgraphs, both with large chromatic number? This is a question raised by El-Zahar and Erdős in 1986, and remains open. If so, then at least there should be two anticomplete subgraphs both with large minimum degree, and that is one of our results. We prove two variants of this. First, a strengthening: we can ask for one of the two subgraphs to have large chromatic number: that is, for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has chromatic number at least $d$, and does not contain the complete graph $K_t$ as a subgraph, then there are anticomplete subgraphs $A,B$, where $A$ has minimum degree at least $c$ and $B$ has chromatic number at least $c$. Second, we look at what happens if we replace the hypothesis that $G$ has sufficiently large chromatic number with the hypothesis that $G$ has sufficently large minimum degree. This, together with excluding $K_t$, is {\em not} enough to guarantee two anticomplete subgraphs both with large minimum degree; but it works if instead of xcluding $K_t$ we exclude the complete bipartite graph $K_{t,t}$. More exactly: for all $t, c\ge 1$ there exists $d\ge 1$ such that if $G$ has minimum degree at least $d$, and does not contain the complete bipartite graph $K_{t,t}$ as a subgraph, then there are two anticomplete subgraphs both with minimum degree at least $c$.

Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $ι(G,\mathcal{F})$, is the size of a smallest set $D$ of vertices of $G$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $ι(G,\{K_1\})$ is the domination number of $G$. Clearly, $ι(G, \mathcal{F}) \leq ι(G, \mathcal{F} \cup \mathcal{H})$. For any integer $k \geq 1$, let $\mathcal{F}_{0,k}$ be the set consisting of the $k$-star $K_{1,k}$, let $\mathcal{F}_{1,k}$ be the set of regular graphs whose degree is at least $k-1$, let $\mathcal{F}_{2,k}$ be the set of graphs whose chromatic number is at least $k$, and let $\mathcal{F}_{3,k}$ be the union $\mathcal{F}_{0,k} \cup \mathcal{F}_{1,k} \cup \mathcal{F}_{2,k}$. We prove that if $G$ is a connected $n$-vertex graph, then $ι(G, \mathcal{F}_{3,k}) \leq \frac{n}{k+1}$ unless $G$ is a $k$-clique or $k = 2$ and $G$ is a $5$-cycle. This generalizes a classical bound of Ore on the domination number, a bound of Caro and Hansberg and of Żyliński on the vertex-edge domination number, a bound of Fenech, Kaemawichanurat and the author on the $k$-clique isolation number, a bound of the author on the cycle isolation number, and a bound of Caro and Hansberg on the $\mathcal{F}_{0,k}$-isolation number. The proof features a new strategy. For $i = 1, 2, 3$, the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{i,k})$ is attainable if $k+1$ divides $n$. Our second main result is that the bound $\frac{n}{k+1}$ on $ι(G, \mathcal{F}_{0,k})$ is attainable if and only if $n$ is $0$ or $k+1$ or $2(k+1)$. We pose some problems and conjectures, and establish additional intriguing phenomena concerning $k$-star isolation and $k$-cycle isolation.

We prove that for every path H, and every integer d, there is a polynomial f such that every graph G with chromatic number greater than f(t) either contains H as an induced subgraph, or contains as a subgraph the complete d-partite graph with parts of cardinality t. For t = 1 and general d this is a classical theorem of Gyárfás, and for d = 2 and general t this is a theorem of Bonamy et al.

We show that every graph with twin-width $t$ has chromatic number $O(ω^{k_t})$ for some integer $k_t$, where $ω$ denotes the clique number. This extends a quasi-polynomial bound from Pilipczuk and Sokołowski and generalizes a result for bounded clique-width graphs by Bonamy and Pilipczuk. The proof uses the main ideas of the quasi-polynomial approach, with a different treatment of the decomposition tree. In particular, we identify two types of extensions of a class of graphs: the delayed-extension (which preserves polynomial $χ$-boundedness) and the right-extension (which preserves polynomial $χ$-boundedness under bounded twin-width condition). Our main result is that every bounded twin-width graph is a delayed extension of simpler classes of graphs, each expressed as a bounded union of right extensions of lower twin-width graphs.

Trigonometric polynomials are usually defined on the lattice of integers.We consider the larger class of weight and root lattices with crystallographic symmetry.This article gives a new approach to minimize trigonometric polynomials, which are invariant under the associated reflection group.The invariance assumption allows us to rewrite the objective function in terms of generalized Chebyshev polynomials. The new objective function is defined on a compact basic semi-algebraic set, so that we can benefit from the rich theory of polynomial optimization.We present an algorithm to compute the minimum: Based on the Hol-Scherer Positivstellensatz, we impose matrix-sums of squares conditions on the objective function in the Chebyshev basis.The degree of the sums of squares is weighted, defined by the root system. Increasing the degree yields a converging Lasserre-type hierarchy of lower bounds.This builds a bridge between trigonometric and polynomial optimization, allowing us to compare with existing techniques.The chromatic number of a set avoiding graph in the Euclidean space is defined through an optimal coloring.It can be computed via a spectral bound by minimizing a trigonometric polynomial. If the to be avoided set has crystallographic symmetry, our method has a natural application.Specifically, we compute spectral bounds for the first time for boundaries of symmetric polytopes.For several cases, the problem has such a simplified form that we can give analytical proofs for sharp spectral bounds.In other cases, we certify the sharpness numerically.

For $d > 0$, define $G(\mathbb{Q}^3, d)$ to be the graph whose set of vertices is the rational space $\mathbb{Q}^3$, where two vertices are adjacent if and only if they are a Euclidean distance $d$ apart. Let $χ(\mathbb{Q}^3, d)$ be the chromatic number of such a graph or, in other words, the minimum number of colors needed to color the points of $\mathbb{Q}^3$ so that no two points at distance $d$ apart receive the same color. An open problem, originally posed by Benda and Perles in the 1970s, asks if there exists $d$ such that $χ(\mathbb{Q}^3, d) = 3$. Through numerous efforts over the years, $χ(\mathbb{Q}^3, d)$ has been determined for many values of $d$, and for all those distances $d$ where $χ(\mathbb{Q}^3, d)$ has not been exactly pinned down, it is known that $χ(\mathbb{Q}^3, d) \in \{3,4\}$. In our work, we detail several search algorithms we have employed to find $4$-chromatic subgraphs of various graphs $G(\mathbb{Q}^3, d)$ whose chromatic number was previously unknown. Ultimately, we conjecture that no $3$-chromatic $G(\mathbb{Q}^3, d)$ exists. Along the way, we pose a few related questions that we feel are of interest in their own right.

The chromatic number of the plane 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 the hyperbolic plane. We prove that there exists a distance $d\approx 1.375033509$ so that every 4-coloring of the hyperbolic plane contains two points distance $d$ apart, which are identically colored.

In this paper, we take a modest first step towards a systematic study of chromatic numbers of Cayley graphs on abelian groups. We lose little when we consider these graphs only when they are connected and of finite degree. As in the work of Heuberger and others, in such cases the graph can be represented by an $m\times r$ integer matrix, where we call $m$ the dimension and $r$ the rank. Adding or subtracting rows produces a graph homomorphism to a graph with a matrix of smaller dimension, thereby giving an upper bound on the chromatic number of the original graph. In this article we develop the foundations of this method. In a series of follow-up articles using this method, we completely determine the chromatic number in cases with small dimension and rank; prove a generalization of Zhu's theorem on the chromatic number of $6$-valent integer distance graphs; and provide an alternate proof of Payan's theorem that a cube-like graph cannot have chromatic number 3.

A cubelike graph is a Cayley graph on the product $\mathbb{Z}_2\times\cdots\times\mathbb{Z}_2$ of the integers modulo $2$ with itself finitely many times. In 1992, Payan proved that no cubelike graph can have chromatic number $3$. The authors of the present paper previously developed a general matrix method for studying chromatic numbers of Cayley graphs on abelian groups. In this note, we apply this method of Heuberger matrices to give an alternate proof of Payan's theorem.

A connected Cayley graph on an abelian group with a finite generating set $S$ can be represented by its Heuberger matrix, i.e., an integer matrix whose columns generate the group of relations between members of $S$. In a previous article, the authors laid the foundation for the use of Heuberger matrices to study chromatic numbers of abelian Cayley graphs. We call the number of rows in the Heuberger matrix the {\it dimension}, and the number of columns the {\it rank}. In this paper, we give precise numerical conditions that completely determine the chromatic number in all cases with dimension $1$; with rank $1$; and with dimension $\leq 3$ and rank $\leq 2$. For such a graph without loops, we show that it is $4$-colorable if and only if it does not contain a $5$-clique, and it is $3$-colorable if and only if it contains neither a diamond lanyard nor a $C_{13}(1,5)$, both of which we define herein. It is shown in another paper that as a special case of our theorem for dimension $3$ and rank $2$, we obtain improved upper bounds for minimal periods of optimal colorings of $6$-valent integer distance graphs.

Given a set $S$ of positive integers, the integer distance graph for $S$ has the set of integers as its vertex set, where two vertices are adjacent if and only if the absolute value of their difference lies in $S$. In 2002, Zhu completely determined the chromatic number of integer distance graphs when $S$ has cardinality $3$. Integer distance graphs can be defined equivalently as Cayley graphs on the group of integers under addition. In a previous paper, the authors develop general methods to approach the problem of finding chromatic numbers of Cayley graphs on abelian groups. To each such graph one associates an integer matrix. In some cases the chromatic number can be determined directly from the matrix entries. In particular, the authors completely determine the chromatic number whenever the matrix is of size $3\times 2$ -- precisely the size of the matrices associated to the graphs studied by Zhu. In this paper, then, we demonstrate that Zhu's theorem can be recovered as a special case of the authors' previous results.

We consider class of integral sum graphs $H^{-i,s}_{m,j}$ subject to the conditions $-i<0<s$, $1\leq m < i$ and $1\leq j < s$ for all $i,s, m,j\in \mathbb{N}$. We apply edge-sum coloring and edge coloring on $H^{-i,s}_{m,j}$. Since the graphs fully depend on $i$ and $s$, therefore it is not easy to derive the theoretical as well as numerical results for all values of $i$ and $s$. Here, we derive the general formula for computing the minimum number of independent color classes. We compute the edge chromatic as well as edge-sum chromatic number of $H^{-i,s}_{m,j}$ corresponding to different values of $i$, $s$, $m$ and $j$. We also compare these two techniques. We place the numerical results to verify the theoretical results.

A graph is called odd (respectively, even) if every vertex has odd (respectively, even) degree. Gallai proved that every graph can be partitioned into two even induced subgraphs, or into an odd and an even induced subgraph. We refer to a partition into odd subgraphs as an odd colouring of G. Scott [Graphs and Combinatorics, 2001] proved that a graph admits an odd colouring if and only if it has an even number of vertices. We say that a graph G is k-odd colourable if it can be partitioned into at most k odd induced subgraphs. We initiate the systematic study of odd colouring and odd chromatic number of graph classes. In particular, we consider for a number of classes whether they have bounded odd chromatic number. Our main results are that interval graphs, graphs of bounded modular-width and graphs of bounded maximum degree all have bounded odd chromatic number.

Let $G=(V,E)$ be a graph with no isolated vertices. A vertex $v$ totally dominate a vertex $w$ ($w \ne v$), if $v$ is adjacent to $w$. A set $D \subseteq V$ called a total dominating set of $G$ if every vertex $v\in V$ is totally dominated by some vertex in $D$. The minimum cardinality of a total dominating set is the total domination number of $G$ and is denoted by $γ_t(G)$. A total dominator coloring of graph $G$ is a proper coloring of vertices of $G$, so that each vertex totally dominates some color class. The total dominator chromatic number $χ_{td}(G)$ of $G$ is the least number of colors required for a total dominator coloring of $G$. The Total Dominator Coloring problem is to find a total dominator coloring of $G$ using the minimum number of colors. It is known that the decision version of this problem is NP-complete for general graphs. We show that it remains NP-complete even when restricted to bipartite, planar and split graphs. We further study the Total Dominator Coloring problem for various graph classes, including trees, cographs and chain graphs. First, we characterize the trees having $χ_{td}(T)=γ_t(T)+1$, which completes the characterization of trees achieving all possible values of $χ_{td}(T)$. Also, we show that for a cograph $G$, $χ_{td}(G)$ can be computed in linear-time. Moreover, we show that $2 \le χ_{td}(G) \le 4$ for a chain graph $G$ and give characterization of chain graphs for every possible value of $χ_{td}(G)$ in linear-time.