arXiv++ Combinatorics

A classical result from graph theory is that every graph with chromatic number χ> t contains a subgraph with all degrees at least t, and therefore contains a copy of every t-edge tree. Bohman, Frieze, and Mubayi recently posed this problem for r-uniform hypergraphs. An r-tree is an r-uniform hypergraph with no pair of edges intersecting in more than one vertex, and no sequence of distinct vertices and edges (v_1, e_1, ..., v_k, e_k) with all e_i \ni {v_i, v_{i+1}}, where we take v_{k+1} to be v_1. Bohman, Frieze, and Mubayi proved that χ> 2rt is sufficient to embed every r-tree with t edges, and asked whether the dependence on r was necessary. In this note, we completely solve their problem, proving the tight result that χ> t is sufficient to embed any r-tree with t edges.

The chromatic number of an planar graph is not greater than four and this is known by the famous four color theorem and is equal to two when the planar graph is bipartite. When the planar graph is even-triangulated or all cycles are greater than three we know by the Heawood and the Grotszch theorems that the chromatic number is three. There are many conjectures and partial results on three colorability of planar graphs when the graph has specific cycles lengths or cycles with three edges (triangles) have special distance distributions. In this paper we have given a new three colorability criteria for planar graphs that can be considered as an generalization of the Heawood and the Grotszch theorems with respect to the triangulation and cycles of length greater than 3. We have shown that an triangulated planar graph with disjoint holes is 3-colorable if and only if every hole satisfies the parity symmetric property, where a hole is a cycle (face boundary) of length greater than 3.

As a natural generalization of chromatic number of a graph, the circular chromatic number of graphs (or the star chromatic number) was introduced by A.Vince in 1988. Let $M^t(G)$ denote the $t$th iterated Mycielski graph of $G$. It was conjectured by Chang, Huang and Zhu(Discrete mathematics,205(1999), 23-37) that for all $n \ge t+2, χ_c(M^t(K_n))=χ(M^t(K_n))=n+t.$ In 2004, D.D.F. Liu proved the conjecture when $t\ge 2$, $n\ge 2^{t-1}+2t-2$. In this paper,we show that the result can be strengthened to the following: if $t\ge 4$, $n\ge {11/12}2^{t-1}+2t+{1/3}$, then $χ_c(M^t(K_n))=χ(M^t(K_n))$.

Fix $r \ge 2$ and a collection of $r$-uniform hypergraphs $\cH$. What is the minimum number of edges in an $\cH$-free $r$-uniform hypergraph with chromatic number greater than $k$. We investigate this question for various $\cH$. Our results include the following: An $(r,l)$-system is an $r$-uniform hypergraph with every two edges sharing at most $l$ vertices. For $k$ sufficiently large, the minimum number of edges in an $(r,l)$-system with chromatic number greater than $k$ is at most $c(k^{r-1}\log k)^{l/(l-1)}$, where $$c<...$$ This improves on the previous best bounds of Kostochka-Mubayi-Rödl-Tetali \cite{KMRT}. The upper bound is sharp aside from the constant $c$ as shown in \cite{KMRT}. The minimum number of edges in an $r$-uniform hypergraph with independent neighborhoods and chromatic number greater than $k$ is of order $\tilde k^{r+1/(r-1)}$ as $k \to \infty$. This generalizes (aside from logarithmic factors) a result of Gimbel and Thomassen \cite{GT} for triangle-free graphs. Let $T$ be an $r$-uniform hypertree of $t$ edges. Then every $T$-free $r$-uniform hypergraph has chromatic number at most $p(t)$, where $p(t)$ is a polynomial in $t$. This generalizes the well known fact that every $T$-free graph has chromatic number at most $t$. Several open problems and conjectures are also posed.

In this work we show that, for any fixed d, random d-regular graphs asymptotically almost surely can be coloured with k colours, where k is the smallest integer satisfying d<2(k-1)log(k-1). From previous lower bounds due to Molloy and Reed, this establishes the chromatic number to be asymptotically almost surely k-1 or k. If moreover d>(2k-3)log(k-1), then the value k-1 is discarded and thus the chromatic number is exactly determined. Hence we improve a recently announced result by Achlioptas and Moore in which the chromatic number was allowed to take the value k+1. Our proof applies the small subgraph conditioning method to the number of balanced k-colourings, where a colouring is balanced if the number of vertices of each colour is equal.

An axis parallel $d$-dimensional box is the Cartesian product $R_1 \times R_2 \times ... \times R_d$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $d$ such that $G$ can be represented as the intersection graph of a collection of $d$-dimensional boxes. An axis parallel unit cube in $d$-dimensional space or a $d$-cube is defined as the Cartesian product $R_1 \times R_2 \times ... \times R_d$ where each $R_i$ is a closed interval on the real line of the form $[a_i,a_i + 1]$. The {\it cubicity} of $G$, denoted as $\cub(G)$, is the minimum integer $d$ such that $G$ can be represented as the intersection graph of a collection of $d$-cubes. Let $S(m)$ denote a star graph on $m+1$ nodes. We define {\it claw number} of a graph $G$ as the largest positive integer $k$ such that $S(k)$ is an induced subgraph of $G$ and denote it as $\claw$. Let $G$ be an AT-free graph with chromatic number $χ(G)$ and claw number $\claw$. In this paper we will show that $\boxi(G) \leq χ(G)$ and this bound is tight. We also show that $\cub(G) \leq \boxi(G)(\ceil{\log_2 \claw} +2)$ $\leq$ $χ(G)(\ceil{\log_2 \claw} +2)$. If $G$ is an AT-free graph having girth at least 5 then $\boxi(G) \leq 2$ and therefore $\cub(G) \leq 2\ceil{\log_2 \claw} +4$.

We consider the $t$-improper chromatic number of the Erd{\H o}s-R{é}nyi random graph $G(n,p)$. The t-improper chromatic number $χ^t(G)$ of $G$ is the smallest number of colours needed in a colouring of the vertices in which each colour class induces a subgraph of maximum degree at most $t$. If $t = 0$, then this is the usual notion of proper colouring. When the edge probability $p$ is constant, we provide a detailed description of the asymptotic behaviour of $χ^t(G(n,p))$ over the range of choices for the growth of $t = t(n)$.

Fix an integer $k \ge 3$. A $k$-uniform hypergraph is simple if every two edges share at most one vertex. We prove that there is a constant $c$ depending only on $k$ such that every simple $k$-uniform hypergraph $H$ with maximum degree $\D$ has chromatic number satisfying $$χ(H) <c (\frac{\D}{\log \D})^{\frac{1}{k-1}}.$$ This implies a classical result of Ajtai-Komlós-Pintz-Spencer-Szemerédi and its strengthening due to Duke-Lefmann-Rödl. The result is sharp apart from the constant $c$.

Given a graph G = (V,E), a vertex subset S is called t-stable (or t-dependent) if the subgraph G[S] induced on S has maximum degree at most t. The t-stability number of G is the maximum order of a t-stable set in G. We investigate the typical values that this parameter takes on a random graph on n vertices and edge probability equal to p. For any fixed 0 < p < 1 and fixed non-negative integer t, we show that, with probability tending to 1 as n grows, the t-stability number takes on at most two values which we identify as functions of t, p and n. The main tool we use is an asymptotic expression for the expected number of t-stable sets of order k. We derive this expression by performing a precise count of the number of graphs on k vertices that have maximum degree at most k. Using the above results, we also obtain asymptotic bounds on the t-improper chromatic number of a random graph (this is the generalisation of the chromatic number, where we partition of the vertex set of the graph into t-stable sets).

In this paper we derive new upper bounds for the densities of measurable sets in R^n which avoid a finite set of prescribed distances. The new bounds come from the solution of a linear programming problem. We apply this method to obtain new upper bounds for measurable sets which avoid the unit distance in dimensions 2,..., 24. This gives new lower bounds for the measurable chromatic number in dimensions 3,..., 24. We apply it to get a new, short proof of a variant of a recent result of Bukh which in turn generalizes theorems of Furstenberg, Katznelson, Weiss and Bourgain and Falconer about sets avoiding many distances.

In this paper we investigate some basic properties of fractional powers. In this regard, we show that for any rational number $1\leq {2r+1\over 2s+1}< og(G)$, $G^{2r+1\over 2s+1}\longrightarrow H$ if and only if $G\longrightarrow H^{-{2s+1\over 2r+1}}.$ Also, for two rational numbers ${2r+1\over 2s+1} < {2p+1\over 2q+1}$ and a non-bipartite graph $G$, we show that $G^{2r+1\over 2s+1} < G^{2p+1\over 2q+1}$. In the sequel, we introduce an equivalent definition for circular chromatic number of graphs in terms of fractional powers. We also present a sufficient condition for equality of chromatic number and circular chromatic number.

In 1977, Wegner conjectured that the chromatic number of the square of every planar graph $G$ with maximum degree $Δ\ge8$ is at most $\bigl\lfloor\frac32Δ\bigr\rfloor+1$. We show that it is at most $\frac32 Δ(1+o(1))$ (where the $o(1)$ is as $Δ\to+\infty$), and indeed that this is true for the list chromatic number and for more general classes of graphs.

We study the degenerate, the star and the degenerate star chromatic numbers and their relation to the genus of graphs. As a tool we prove the following strengthening of a result of Fertin et al.: If $G$ is a graph of maximum degree $Δ$, then $G$ admits a degenerate star coloring using $O(Δ^{3/2})$ colors. We use this result to prove that every graph of genus $g$ admits a degenerate star coloring with $O(g^{3/5})$ colors. It is also shown that these results are sharp up to a logarithmic factor.

Let 0<p<1 be fixed. Shamir and Spencer proved in the 1980s that the chromatic number of a random graph in G(n,p) is concentrated in an interval of length about n^{1/2}. In this explanatory note, we give a proof of a result due due Noga Alon, showing that the chromatic number is concentrated in an interval of length about n^{1/2}/log n.

Let $G$ be a simple graph with $n$ vertices and list chromatic number $χ_\ell(G)=χ_\ell$. Suppose that $0\leq t\leq χ_\ell$ and each vertex of $G$ is assigned a list of $t$ colors. Albertson, Grossman and Haas [1] conjectured that at least $\frac{tn}{χ_\ell}$ vertices of $G$ can be colored from these lists. In this paper we find some new results in partial list coloring which help us to show that the conjecture is true for at least half of the numbers of the set $\{1,2,...,χ_\ell(G)-1\}$. In addition we introduce a new related conjecture and finally we present some results about this conjecture.

For many random Constraint Satisfaction Problems, by now, we have asymptotically tight estimates of the largest constraint density for which they have solutions. At the same time, all known polynomial-time algorithms for many of these problems already completely fail to find solutions at much smaller densities. For example, it is well-known that it is easy to color a random graph using twice as many colors as its chromatic number. Indeed, some of the simplest possible coloring algorithms already achieve this goal. Given the simplicity of those algorithms, one would expect there is a lot of room for improvement. Yet, to date, no algorithm is known that uses $(2-ε) χ$ colors, in spite of efforts by numerous researchers over the years. In view of the remarkable resilience of this factor of 2 against every algorithm hurled at it, we believe it is natural to inquire into its origin. We do so by analyzing the evolution of the set of $k$-colorings of a random graph, viewed as a subset of $\{1,...,k\}^{n}$, as edges are added. We prove that the factor of 2 corresponds in a precise mathematical sense to a phase transition in the geometry of this set. Roughly, the set of $k$-colorings looks like a giant ball for $k \ge 2 χ$, but like an error-correcting code for $k \le (2-ε) χ$. We prove that a completely analogous phase transition also occurs both in random $k$-SAT and in random hypergraph 2-coloring. And that for each problem, its location corresponds precisely with the point were all known polynomial-time algorithms fail. To prove our results we develop a general technique that allows us to prove rigorously much of the celebrated 1-step Replica-Symmetry-Breaking hypothesis of statistical physics for random CSPs.

A connected $k$-chromatic graph $G$ with $k \geq 3$ is said to be triangle-critical, if every edge of $G$ is contained in an induced triangle of $G$ and the removal of any triangle from $G$ decreases the chromatic number of $G$ by three. B. Toft posed the problem of showing that the complete graphs on more than two vertices are the only triangle-critical graphs. By applying a method of M. Stiebitz [Discrete Math. 64 (1987), 91--93], we answer the problem affirmatively for triangle-critical $k$-chromatic graphs with $k \leq 6$.

We study ways to expedite Yates's algorithm for computing the zeta and Moebius transforms of a function defined on the subset lattice. We develop a trimmed variant of Moebius inversion that proceeds point by point, finishing the calculation at a subset before considering its supersets. For an $n$-element universe $U$ and a family $\scr F$ of its subsets, trimmed Moebius inversion allows us to compute the number of packings, coverings, and partitions of $U$ with $k$ sets from $\scr F$ in time within a polynomial factor (in $n$) of the number of supersets of the members of $\scr F$. Relying on an intersection theorem of Chung et al. (1986) to bound the sizes of set families, we apply these ideas to well-studied combinatorial optimisation problems on graphs of maximum degree $Δ$. In particular, we show how to compute the Domatic Number in time within a polynomial factor of $(2^{Δ+1-2)^{n/(Δ+1)$ and the Chromatic Number in time within a polynomial factor of $(2^{Δ+1-Δ-1)^{n/(Δ+1)$. For any constant $Δ$, these bounds are $O\bigl((2-ε)^n\bigr)$ for $ε>0$ independent of the number of vertices $n$.

The foldings of a connected graph $G$ are defined as follows. First, $G$ is a folding of itself. Let $G'$ be a graph obtained from $G$ by identifying two vertices at distance 2 in $G$. Then every folding of $G'$ is a folding of $G$. The folding number of $G$ is the minimum order of a complete folding of $G$. Theorem: The folding number of every graph equals its chromatic number.

The Lovasz theta function provides a lower bound for the chromatic number of finite graphs based on the solution of a semidefinite program. In this paper we generalize it so that it gives a lower bound for the measurable chromatic number of distance graphs on compact metric spaces. In particular we consider distance graphs on the unit sphere. There we transform the original infinite semidefinite program into an infinite linear program which then turns out to be an extremal question about Jacobi polynomials which we solve explicitly in the limit. As an application we derive new lower bounds for the measurable chromatic number of the Euclidean space in dimensions 10,..., 24, and we give a new proof that it grows exponentially with the dimension.