arXiv++ Combinatorics

In this paper we study the set chromatic number of a random graph $G(n,p)$ for a wide range of $p=p(n)$. We show that the set chromatic number, as a function of $p$, forms an intriguing zigzag shape.

A Kneser graph $KG_{n,k}$ is a graph whose vertices are in one-to-one correspondence with $k$-element subsets of $[n],$ with two vertices connected if and only if the corresponding sets do not intersect. A famous result due to Lovász states that the chromatic number of a Kneser graph $KG_{n,k}$ is equal to $n-2k+2$. In this paper we study the chromatic number of a random subgraph of a Kneser graph $KG_{n,k}$ as $n$ grows. A random subgraph $KG_{n,k}(p)$ is obtained by including each edge of $KG_{n,k}$ with probability $p$. For a wide range of parameters $k = k(n), p = p(n)$ we show that $χ(KG_{n,k}(p))$ is very close to $χ(KG_{n,k}),$ a.a.s. differing by at most 4 in many cases. Moreover, we obtain the same bounds on the chromatic numbers for the so-called Schrijver graphs, which are known to be vertex-critical induced subgraphs of Kneser graphs.

A binary Cayley graph is a Cayley graph based on a binary group. In 1982, Payan proved that any non-bipartite binary Cayley graph must contain a generalized Mycielski graph of an odd-cycle, implying that such a graph cannot have chromatic number 3. We strengthen this result first by proving that any non-bipartite binary Cayley graph must contain a projective cube as a subgraph. We further conjecture that any homo- morphism of a non-bipartite binary Cayley graph to a projective cube must be surjective and we prove some special case of this conjecture.

Computing the clique number and chromatic number of a general graph are well-known NP-Hard problems. Codenotti et al. (Bruno Codenotti, Ivan Gerace, and Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems on circulant graphs. \emph{Linear Algebra Appl.}, 285(1-3): 123--142, 1998) showed that computing clique number and chromatic number are still NP-Hard problems for the class of circulant graphs. We show that computing clique number is NP-Hard for the class of Cayley graphs for the groups $G^n$, where $G$ is any fixed finite group (e.g., cubelike graphs). We also show that computing chromatic number cannot be done in polynomial time (under the assumption $\text{P}\neq \text{NP}$) for the same class of graphs. Our presentation uses free Cayley graphs. The proof combines free Cayley graphs with quotient graphs and Goppa codes.

In this paper, the on-line list colouring of binomial random graphs G(n,p) is studied. We show that the on-line choice number of G(n,p) is asymptotically almost surely asymptotic to the chromatic number of G(n,p), provided that the average degree d=p(n-1) tends to infinity faster than (log log n)^1/3(log n)^2n^(2/3). For sparser graphs, we are slightly less successful; we show that if d>(log n)^(2+epsilon) for some epsilon>0, then the on-line choice number is larger than the chromatic number by at most a multiplicative factor of C, where C in [2,4], depending on the range of d. Also, for d=O(1), the on-line choice number is by at most a multiplicative constant factor larger than the chromatic number.

Given a graph H, a graph G is called a Ramsey graph of H if there is a monochromatic copy of H in every coloring of the edges of G with two colors. Two graphs G, H are called Ramsey equivalent if they have the same set of Ramsey graphs. Fox et al. [J. Combin. Theory Ser. B 109 (2014), 120--133] asked whether there are two non-isomorphic connected graphs that are Ramsey equivalent. They proved that a clique is not Ramsey equivalent to any other connected graph. Results of Nesetril et al. showed that any two graphs with different clique number [Combinatorica 1(2) (1981), 199--202] or different odd girth [Comment. Math. Univ. Carolin. 20(3) (1979), 565--582] are not Ramsey equivalent. These are the only structural graph parameters we know that "distinguish" two graphs in the above sense. This paper provides further supportive evidence for a negative answer to the question of Fox et al. by claiming that for wide classes of graphs, chromatic number is a distinguishing parameter. In addition, it is shown here that all stars and paths and all connected graphs on at most 5 vertices are not Ramsey equivalent to any other connected graph. Moreover two connected graphs are not Ramsey equivalent if they belong to a special class of trees or to classes of graphs with clique-reduction properties.

A class of simple graphs such as ${\cal G}$ is said to be {\it odd-girth-closed} if for any positive integer $g$ there exists a graph $G \in {\cal G}$ such that the odd-girth of $G$ is greater than or equal to $g$. An odd-girth-closed class of graphs ${\cal G}$ is said to be {\it odd-pentagonal} if there exists a positive integer $g^*$ depending on ${\cal G}$ such that any graph $G \in {\cal G}$ whose odd-girth is greater than $g^*$ admits a homomorphism to the five cycle (i.e. is $C_{_{5}}$-colorable). In this article, we show that finding the odd girth of generalized Petersen graphs can be transformed to an integer programming problem, and using this we explicitly compute the odd girth of such graphs, showing that the class is odd-girth-closed. Also, motivated by showing that the class of generalized Petersen graphs is odd-pentagonal, we study the circular chromatic number of such graphs.

A graph is (m, k)-colourable if its vertices can be coloured with m colours such that the maximum degree of any subgraph induced on ver- tices receiving the same colour is at most k. The k-defective chromatic number for a graph is the least positive integer m for which the graph is (m, k)-colourable. All triangle-free graphs on 8 or fewer vertices are (2, 1)-colourable. There are exactly four triangle-free graphs of order 9 which have 1-defective chromatic number 3. We show that these four graphs appear as subgraphs in almost all triangle-free graphs of order 10 with 1-defective chromatic number equal to 3. In fact there is a unique triangle-free (3, 1)-critical graph on 10 vertices and we exhibit this graph.

A graph is (m,k)-colourable if its vertices can be coloured with m colours such that the maximum degree of the subgraph induced on the set of all vertices receiving the same colour is at most k. The k-defective chromatic number $χ_k(G)$ is the least positive integer $m$ for which graph G is (m,k)-colourable. Let f(m,k;tfp) be the smallest order of a triangle-free planar graph such that $χ_k(G)$=m. In this paper we show that f(3,1;tfp)=11.

d-spheres in graph theory are inductively defined as graphs for which all unit spheres S(x) are (d-1)-spheres and that the removal of one vertex renders the graph contractible. Eulerian d-spheres are geometric d-spheres which are d+1 colorable. We prove here that G is an Eulerian sphere if and only if the degrees of all the (d-2)-dimensional sub-simplices in G are even. This generalizes a Kempe-Heawood result for d=2 and is work related to the conjecture that all d-spheres have chromatic number d+1 or d+2 which is based on the geometric conjecture that every d-sphere can be embedded in an Eulerian (d+1)-sphere. For d=2, such an embedding into an Eulerian 3-sphere would lead to a geometric proof of the 4 color theorem, allowing to see "why 4 colors suffice". To achieve the goal of coloring a d-sphere G with d+2 colors, we hope to embed it into a (d+1)-sphere and refine or thin out the later using special homotopy deformations without touching the embedded sphere. Once rendered Eulerian and so (d+2)-colorable, it colors the embedded graph G. In order to define the degree of a simplex, we introduce a notion of dual graph H' of a subgraph H in a general finite simple graph G. This leads to a natural sphere bundle over the simplex graph. We look at geometric graphs which admit a unique geodesic flow: their unit spheres must be Eulerian. We define Platonic spheres graph theoretically as d-spheres for which all unit spheres S(x) are graph isomorphic Platonic (d-1)-spheres. Gauss-Bonnet allows a classification within graph theory: all spheres are Platonic for d=1, the octahedron and icosahedron are the Platonic 2-spheres, the sixteen and six-hundred cells are the Platonic 3-spheres. The cross polytop is the unique Platonic d-sphere for d>3. It is Eulerian.

The chromatic number of the plane is the chromatic number of the uncountably infinite graph that has as its vertices the points of the plane and has an edge between two points if their distance is 1. This chromatic number is denoted $χ(\mathcal{R}^2)$. The problem was introduced in 1950, and shortly thereafter it was proved that $4\le χ(\mathcal{R}^2)\le 7$. These bounds are both easy to prove, but after more than 60 years they are still the best known. In this paper, we investigate $χ_f(\mathcal{R}^2)$, the fractional chromatic number of the plane. The previous best bounds (rounded to five decimal places) were $3.5556 \le χ_f(\mathcal{R}^2)\le 4.3599$. Here we improve the lower bound to $76/21\approx3.6190$.

The only remaining case of a well known conjecture of Vizing states that there is no planar graph with maximum degree 6 and edge chromatic number 7. We introduce parameters for planar graphs, based on the degrees of the faces, and study the question whether there are upper bounds for these parameters for planar edge-chromatic critical graphs. Our results provide upper bounds on these parameters for smallest counterexamples to Vizing's conjecture, thus providing a partial characterization of such graphs, if they exist. For $k \leq 5$ the results give insights into the structure of planar edge-chromatic critical graphs.

Let the {\it bicoloring cover number $χ^c(G)$} for a hypergraph $G(V,E)$ be the minimum number of bicolorings of vertices of $G$ such that every hyperedge $e\in E$ of $G$ is properly bicolored in at least one of the $χ^c(G)$ bicolorings. We investigate the relationship between $χ^c(G)$, matchings, hitting sets, $α(G)$(independence number) and $χ(G)$ (chromatic number). We design a factor $O(\frac{\log n}{\log \log n-\log \log \log n})$ approximation algorithm for computing a bicoloring cover. We define a new parameter for hypergraphs - "cover independence number $γ(G)$" and prove that $\log \frac{|V|}{γ(G)}$ and $\frac{|V|}{2γ(G)}$ are lower bounds for $χ^c(G)$ and $χ(G)$, respectively. We show that $χ^c(G)$ can be approximated by a polynomial time algorithm achieving approximation ratio $\frac{1}{1-t}$, if $γ(G)=n^t$, where $t<1$. We also construct a particular class of hypergraphs $G(V,E)$ called {\it cover friendly} hypergraphs where the ratio of $α(G)$ to $γ(G)$ can be arbitrarily large.We prove that for any $t\geq 1$, there exists a $k$-uniform hypergraph $G$ such that the {\it clique number} $ω(G)=k$ and $χ^c(G) > t$. Let $m(k,x)$ denote the minimum number of hyperedges %in a $k$-uniform hypergraph $G$ such that some $k$-uniform hypergraph $G$ with $m(k,x)$ hyperedges does not have a bicoloring cover of size $x$. We show that $ 2^{(k-1)x-1} < m(k,x) \leq x \cdot k^2 \cdot 2^{(k+1)x+2}$. Let the {\it dependency $d(G)$} of $G$ be the maximum number of hyperedge neighbors of any hyperedge in $G$. We propose an algorithm for computing a bicoloring cover of size $x$ for $G$ if $d(G) \leq(\frac{2^{x(k-1)}}{e}-1)$ using $nx+kx\frac{m}{d}$ random bits.

The regular graph of ideals of the commutative ring $R$, denoted by $Γ_{reg}(R)$, is a graph whose vertex set is the set of all non-trivial ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if either $I$ contains a $J$-regular element or $J$ contains an $I$-regular element. In this paper, it is shown that for every Artinian ring $R$, the edge chromatic number of $Γ_{reg}(R)$ equals its maximum degree. Then a formula for the clique number of $Γ_{reg}(R)$ is given. Also, it is proved that for every reduced ring $R$ with $n(\geq3)$ minimal prime ideals, the edge chromatic number of $Γ_{reg}(R)$ is $2^{n-1}-2$. Moreover, we show that both of the clique number and vertex chromatic number of $Γ_{reg}(R)$ are $n-1$, for every reduced ring $R$ with $n$ minimal prime ideals.

The dissertation is related to combinatorial geometry with a strong probabilistic flavor. The main results can be split into three parts. The results of the first part guarantee that each "unit distance graph" in the plane has an induced subgraph with chromatic number at most 4 that covers at least 91.7 percent of the vertices of the whole graph. The results of the second and third parts are related to the standard model of a random graph with n labeled vertices in which the edges occur independently with probability p, where p is a function of n. This is known as the Erdos--Renyi model G(n,p). Given a monotone property of a graph, Erdos and Renyi's theorem (1960) states that there exists a critical threshold value of p(n) below which the probability that a random graph has that property tends to one (as n tends to infinity) and above which the probability tends to zero. The main results of the second part are concerned with the (monotone) property of a graph to be isomorphic to some unit-distance graph in Euclidean d-space with fixed dimension d. The results of this part guarantee that for d in {2, 3, 4, 5, 6, 7, 8}, the threshold value of p(n) is big-Theta of 1/n. Furthermore, the case d = 1 stands apart from the case of higher dimensions; here the threshold probability is big-Theta of 1/(n^(4/3)). The results of the third part are devoted to studying "graphs of diameters" from the probabilistic standpoint. In particular, it is shown that under some conditions, almost all graphs of diameters in the plane have chromatic number less than 3. More generally, it is shown for G(n,p) that graphs of diameters have a tendency to chromatic degeneration (for large n) when p is close to 0, but have a tendency to completeness when p is close to 1.

The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.

Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if all interior edge degrees are even. Using a refinement process which cuts the interior along surfaces we can adapt the degrees along the boundary of that surface. More efficient is a self-cobordism of G with itself with a host graph discretizing the product of G with an interval. It follows from the fact that Euler curvature is zero everywhere for three dimensional geometric graphs, that the odd degree edge set O is a cycle and so a boundary if H is simply connected. A reduction to minimal colouring would imply the four colour theorem. The method is expected to give a reason "why 4 colours suffice" and suggests that every two dimensional geometric graph of arbitrary degree and orientation can be coloured by 5 colours: since the projective plane can not be a boundary of a 3-dimensional graph and because for higher genus surfaces, the interior H is not simply connected, we need in general to embed a surface into a 4-dimensional simply connected graph in order to colour it. This explains the appearance of the chromatic number 5 for higher degree or non-orientable situations, a number we believe to be the upper limit. For every surface type, we construct examples with chromatic number 3,4 or 5, where the construction of surfaces with chromatic number 5 is based on a method of Fisk. We have implemented and illustrated all the topological aspects described in this paper on a computer. So far we still need human guidance or simulated annealing to do the refinements in the higher dimensional host graph.

In 1982, Zaslavsky introduced the concept of a proper vertex colouring of a signed graph $G$ as a mapping $φ\colon V(G)\to \mathbb{Z}$ such that for any two adjacent vertices $u$ and $v$ the colour $φ(u)$ is different from the colour $σ(uv)φ(v)$, where is $σ(uv)$ is the sign of the edge $uv$. The substantial part of Zaslavsky's research concentrated on polynomial invariants related to signed graph colourings rather than on the behaviour of colourings of individual signed graphs. We continue the study of signed graph colourings by proposing the definition of a chromatic number for signed graphs which provides a natural extension of the chromatic number of an unsigned graph. We establish the basic properties of this invariant, provide bounds in terms of the chromatic number of the underlying unsigned graph, investigate the chromatic number of signed planar graphs, and prove an extension of the celebrated Brooks theorem to signed graphs.

In a search for triangle-free graphs with arbitrarily large chromatic numbers, Mycielski developed a graph transformation that transforms a graph into a new graph which is called the Mycielskian of that graph. In this paper we provide some sharp bounds for the Randic index of the Mycielskian graphs. Also, we determine the degree distance index of the Mycielskian of each graph with diameter two.

Hoffman proved that for a simple graph $G$, the chromatic number $χ(G)$ obeys $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ where $λ_1$ and $λ_n$ are the maximal and minimal eigenvalues of the adjacency matrix of $G$ respectively. Lovász later showed that $χ(G) \le 1 - \frac{λ_1}{λ_{n}}$ for any (perhaps negatively) weighted adjacency matrix. In this paper, we give a probabilistic proof of Lovász's theorem, then extend the technique to derive generalizations of Hoffman's theorem when allowed a certain proportion of edge-conflicts. Using this result, we show that if a 3-uniform hypergraph is 2-colorable, then $\bar d \le -\frac{3}{2}λ_{\min}$ where $\bar d$ is the average degree and $λ_{\min}$ is the minimal eigenvalue of the underlying graph. We generalize this further for $k$-uniform hypergraphs, for the cases $k=4$ and $5$, by considering several variants of the underlying graph.