arXiv++ Combinatorics

Let $P$ be a set of $n$ points in general and convex position in the plane. Let $D_n$ be the graph whose vertex set is the set of all line segments with endpoints in $P$, where disjoint segments are adjacent. The chromatic number of this graph was first studied by Araujo et al. [\emph{CGTA}, 2005]. The previous best bounds are $\frac{3n}{4}\leqχ(D_n) <n-\sqrt{\frac{n}{2}}$ (ignoring lower order terms). In this paper we improve the lower bound to $χ(D_n)\geq n-\sqrt{2n}$, to conclude a near-tight bound on $χ(D_n)$.

For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the chromatic number, the domination number and the independence number of the intersection graphs of subspaces of a vector space.

We prove lower and upper bounds for the chromatic number of certain hypergraphs defined by geometric regions. This problem has close relations to conflict-free colorings. One of the most interesting type of regions to consider for this problem is that of the axis-parallel rectangles. We completely solve the problem for a special case of them, for bottomless rectangles. We also give an almost complete answer for half-planes and pose several open problems. Moreover we give efficient coloring algorithms.

This paper studies some coloring properties of graph powers. We show that $χ_c(G^{^{\frac{2r+1}{2s+1}}})=\frac{(2s+1)χ_c(G)}{(s-r)χ_c(G)+2r+1}$ provided that $χ_c(G^{^{\frac{2r+1}{2s+1}}})< 4$. As a consequence, one can see that if ${2r+1 \over 2s+1} \leq {χ_c(G) \over 3(χ_c(G)-2)}$, then $χ_c(G^{^{\frac{2r+1}{2s+1}}})=\frac{(2s+1)χ_c(G)}{(s-r)χ_c(G)+2r+1}$. In particular, $χ_c(K_{3n+1}^{^{1\over3}})={9n+3\over 3n+2}$ and $K_{3n+1}^{^{1\over3}}$ has no subgraph with circular chromatic number equal to ${6n+1\over 2n+1}$. This provides a negative answer to a question asked in [Xuding Zhu, Circular chromatic number: a survey, Discrete Math., 229(1-3):371--410, 2001]. Also, we present an upper bound for the fractional chromatic number of subdivision graphs. Precisely, we show that $χ_f(G^{^{\frac{1}{2s+1}}})\leq \frac{(2s+1)χ_f(G)}{sχ_f(G)+1}$. Finally, we investigate the $n$th multichromatic number of subdivision graphs.

Let $c$ be a proper $k$-coloring of a connected graph $G$ and $Π=(C_1,C_2,...,C_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $$c_{{}_Π}(v):=(d(v,C_1),d(v,C_2),...,d(v,C_k)),$$ where $d(v,C_i)=\min\{d(v,x) |x\in C_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $c$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this paper, we study the locating chromatic number of Kneser graphs. First, among some other results we show that $\Cchi_{{}_L}(KG(n,2))=n-1$ for all $n\geq 5$. Then, we prove that $\Cchi_{{}_L}(KG(n,k))\leq n-1$, when $n\geq k^2$. Moreover, we present some bounds for the locating chromatic number of odd graphs.

The total chromatic number conjecture which has appeared in a few hundred articles and in numerous books thus far is now one of the classic mathematical unsolved problems. It appears that many authors coincidentally have attributed it to Professor M. Behzad and/or to Professor V. G. Vizing. Eventually after four decades, Professor A. Soifer investigated the origin of this conjecture; published his findings in The Mathematical Coloring Book - 2009; and stated that, "In my opinion this unquestionably merits the joint credit to Vizing and Behzad." After checking all the arguments presented and the blames cited, I decided to investigate the controversy stated in this book on my own. My findings which are presented in this report specifically signify the following two points. - M. Behzad is the sole author of the Total Chromatic Number Conjecture. - The wrong referrals provided by numerous authors over the last forty four years, to indicate Vizing's authorship, must be brought to the attention of the authors and researchers, by appropriate means, as soon as possible.

In this paper I study a variant of the general vertex coloring problem called precoloring. Specifically, I study graph precolorings, by developing new theory, for characterizing the minimal non-extensible precolorings. It is interesting per se that, for graphs of arbitrarily large chromatic number, the minimal number of colored vertices, in a non-extensible precoloring, remains constant; only two vertices $u,v$ suffice. Here, the relation between such $u,v$ is called an implicit-relation, distinguishing two cases: (i) implicit-edges where $u,v$ are precolored with the same color and (ii) implicit-identities where $u,v$ are precolored distinct.

An \emph{acyclic coloring} of a graph is a proper vertex coloring such that the union of any two color classes induces a disjoint collection of trees. The more restricted notion of \emph{star coloring} requires that the union of any two color classes induces a disjoint collection of stars. We prove that every acyclic coloring of a cograph is also a star coloring and give a linear-time algorithm for finding an optimal acyclic and star coloring of a cograph. If the graph is given in the form of a cotree, the algorithm runs in O(n) time. We also show that the acyclic chromatic number, the star chromatic number, the treewidth plus one, and the pathwidth plus one are all equal for cographs.

Let Q(n,c) denote the minimum clique size an n-vertex graph can have if its chromatic number is c. Using Ramsey graphs we give an exact, albeit implicit, formula for the case c is at least (n+3)/2.

Let $Δ(G)$ be the maximum degree of a graph $G$. Brooks' theorem states that the only connected graphs with chromatic number $χ(G)=Δ(G)+1$ are complete graphs and odd cycles. We prove a fractional analogue of Brooks' theorem in this paper. Namely, we classify all connected graphs $G$ such that the fractional chromatic number $χ_f(G)$ is at least $Δ(G)$. These graphs are complete graphs, odd cycles, $C^2_8$, $C_5\boxtimes K_2$, and graphs whose clique number $ω(G)$ equals the maximum degree $Δ(G)$. Among the two sporadic graphs, the graph $C^2_8$ is the square graph of cycle $C_8$ while the other graph $C_5\boxtimes K_2$ is the strong product of $C_5$ and $K_2$. In fact, we prove a stronger result; if a connected graph $G$ with $Δ(G)\geq 4$ is not one of the graphs listed above, then we have $χ_f(G)\leq Δ(G)- 2/67$.

Let F be a family of r-uniform hypergraphs. The chromatic threshold of F is the infimum of all non-negative reals c such that the subfamily of F comprising hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. This parameter has a long history for graphs (r=2), and in this paper we begin its systematic study for hypergraphs. Łuczak and Thomassé recently proved that the chromatic threshold of the so-called near bipartite graphs is zero, and our main contribution is to generalize this result to r-uniform hypergraphs. For this class of hypergraphs, we also show that the exact Turán number is achieved uniquely by the complete (r+1)-partite hypergraph with nearly equal part sizes. This is one of very few infinite families of nondegenerate hypergraphs whose Turán number is determined exactly. In an attempt to generalize Thomassen's result that the chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the chromatic threshold of the family of 3-uniform hypergraphs not containing {abc, abd, cde}, the so-called generalized triangle. In order to prove upper bounds we introduce the concept of fiber bundles, which can be thought of as a hypergraph analogue of directed graphs. This leads to the notion of fiber bundle dimension, a structural property of fiber bundles that is based on the idea of Vapnik-Chervonenkis dimension in hypergraphs. Our lower bounds follow from explicit constructions, many of which use a hypergraph analogue of the Kneser graph. Using methods from extremal set theory, we prove that these Kneser hypergraphs have unbounded chromatic number. This generalizes a result of Szemerédi for graphs and might be of independent interest. Many open problems remain.

We give a closed formula for Lovasz theta number of the powers of cycle graphs and of their complements, the circular complete graphs. As a consequence, we establish that the circular chromatic number of a circular perfect graph is computable in polynomial time. We also derive an asymptotic estimate for this theta number.

We work out the graph limit theory for dense interval graphs. The theory developed departs from the usual description of a graph limit as a symmetric function $W(x,y)$ on the unit square, with $x$ and $y$ uniform on the interval $(0,1)$. Instead, we fix a $W$ and change the underlying distribution of the coordinates $x$ and $y$. We find choices such that our limits are continuous. Connections to random interval graphs are given, including some examples. We also show a continuity result for the chromatic number and clique number of interval graphs. Some results on uniqueness of the limit description are given for general graph limits.

As proved by Kahn, the chromatic number and fractional chromatic number of a line graph agree asymptotically. That is, for any line graph $G$ we have $χ(G) \leq (1+o(1))χ_f(G)$. We extend this result to quasi-line graphs, an important subclass of claw-free graphs. Furthermore we prove that we can construct a colouring that achieves this bound in polynomial time, giving us an asymptotic approximation algorithm for the chromatic number of quasi-line graphs.

Given independent random points $X_1,...,X_n\in\eR^d$ with common probability distribution $ν$, and a positive distance $r=r(n)>0$, we construct a random geometric graph $G_n$ with vertex set $\{1,...,n\}$ where distinct $i$ and $j$ are adjacent when $\norm{X_i-X_j}\leq r$. Here $\norm{.}$ may be any norm on $\eR^d$, and $ν$ may be any probability distribution on $\eR^d$ with a bounded density function. We consider the chromatic number $χ(G_n)$ of $G_n$ and its relation to the clique number $ω(G_n)$ as $n \to \infty$. Both McDiarmid and Penrose considered the range of $r$ when $r \ll (\frac{\ln n}{n})^{1/d}$ and the range when $r \gg (\frac{\ln n}{n})^{1/d}$, and their results showed a dramatic difference between these two cases. Here we sharpen and extend the earlier results, and in particular we consider the `phase change' range when $r \sim (\frac{t\ln n}{n})^{1/d}$ with $t>0$ a fixed constant. Both McDiarmid and Penrose asked for the behaviour of the chromatic number in this range. We determine constants $c(t)$ such that $\frac{χ(G_n)}{nr^d}\to c(t)$ almost surely. Further, we find a "sharp threshold" (except for less interesting choices of the norm when the unit ball tiles $d$-space): there is a constant $t_0>0$ such that if $t \leq t_0$ then $\frac{χ(G_n)}{ω(G_n)}$ tends to 1 almost surely, but if $t > t_0$ then $\frac{χ(G_n)}{ω(G_n)}$ tends to a limit $>1$ almost surely.

We give a randomized algorithm that properly colors the vertices of a triangle-free graph G on n vertices using O(Δ(G)/ log Δ(G)) colors, where Δ(G) is the maximum degree of G. The algorithm takes O(n\Delta2(G)logΔ(G)) time and succeeds with high probability, provided Δ(G) is greater than log^{1+ε}n for a positive constant ε. The number of colors is best possible up to a constant factor for triangle-free graphs. As a result this gives an algorithmic proof for a sharp upper bound of the chromatic number of a triangle-free graph, the existence of which was previously established by Kim and Johansson respectively.

We construct dense, triangle-free, chromatic-critical graphs of chromatic number $k$ for all $k\geq 4$. For $k\geq 6$ our constructions have $> (\frac{1}{4} -\varepsilon)n^2$ edges, which is asymptotically best possible by Turán's theorem. We also demonstrate (nonconstructively) the existence of dense $k$-critical graphs avoiding all odd cycles of length $\leq \ell$ for any $\ell$ and any $k\geq 4$, again with a best possible density of $>(\frac{1}{4} -\varepsilon)n^2$ edges for $k\geq 6$. The families of graphs without triangles or of given odd-girth are thus rare examples where we know the correct maximal density of $k$-critical members ($k\geq 6$).

This work introduces the concept of \emph{upper-critical graphs}, in a complementary way of the conventional (lower)critical graphs: an element $x$ of a graph $G$ is called \emph{critical} if $χ(G-x)<χ(G)$. It is said that $G$ is a \emph{critical graph} if every element (vertex or edge) of $G$ is critical. Analogously, a graph $G$ is called \emph{upper-critical} if there is no edge that can be added to $G$ such that $G$ preserves its chromatic number, i.e. \{$e \in E(\bar{G}) \; | \; χ(G+e) = χ(G)$ \} $=$ $\emptyset$. We show that the class of upper-critical graphs is the same as the class of complete $k$-partite graphs. A characterization in terms of hereditary properties under some transformations, e.g. subgraphs and minors and in terms of construction and counting is given.

Let $G$ be any triangle-free graph with maximum degree $Δ\leq 3$. Staton proved that the independence number of $G$ is at least 5/14n. Heckman and Thomas conjectured that Staton's result can be strengthened into a bound on the fractional chromatic number of $G$, namely $χ_f(G)\leq 14/5. Recently, Hatami and Zhu proved $χ_f(G) \leq 3 -{3/64}$. In this paper, we prove $χ_f(G) \leq 3- 3/43$.

The {\em packing chromatic number} $χ_ρ(G)$ of a graph $G$ is the least integer $k$ for which there exists a mapping $f$ from $V(G)$ to $\{1,2,\ldots ,k\}$ such that any two vertices of color $i$ are at distance at least $i+1$. This paper studies the packing chromatic number of infinite distance graphs $G(\mathbb{Z},D)$, i.e. graphs with the set $\mathbb{Z}$ of integers as vertex set, with two distinct vertices $i,j\in \mathbb{Z}$ being adjacent if and only if $|i-j|\in D$. We present lower and upper bounds for $χ_ρ(G(\mathbb{Z},D))$, showing that for finite $D$, the packing chromatic number is finite. Our main result concerns distance graphs with $D=\{1,t\}$ for which we prove some upper bounds on their packing chromatic numbers, the smaller ones being for $t\geq 447$: $χ_ρ(G(\mathbb{Z},\{1,t\}))\leq 40$ if $t$ is odd and $χ_ρ(G(\mathbb{Z},\{1,t\}))\leq 81$ if $t$ is even.