arXiv++ Combinatorics

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.

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$.

In an undirected graph $G$, a subset $C\subseteq V(G)$ such that $C$ is a dominating set of $G$, and each vertex in $V(G)$ is dominated by a distinct subset of vertices from $C$, is called an identifying code of $G$. The concept of identifying codes was introduced by Karpovsky, Chakrabarty and Levitin in 1998. For a given identifiable graph $G$, let $\M(G)$ be the minimum cardinality of an identifying code in $G$. In this paper, we show that for any connected identifiable triangle-free graph $G$ on $n$ vertices having maximum degree $Δ\geq 3$, $\M(G)\le n-\tfrac{n}{Δ+o(Δ)}$. This bound is asymptotically tight up to constants due to various classes of graphs including $(Δ-1)$-ary trees, which are known to have their minimum identifying code of size $n-\tfrac{n}{Δ-1+o(1)}$. We also provide improved bounds for restricted subfamilies of triangle-free graphs, and conjecture that there exists some constant $c$ such that the bound $\M(G)\le n-\tfrac{n}Δ+c$ holds for any nontrivial connected identifiable graph $G$.

The Vapnik-Červonenkis dimension is a complexity measure of set-systems, or hypergraphs. Its application to graphs is usually done by considering the sets of neighborhoods of the vertices (cf. Alon et al. (2006) and Chepoi, Estellon, and Vaxes (2007)), hence providing a set-system. But the graph structure is lost in the process. The aim of this paper is to introduce the notion of paired VC-dimension, a generalization of VC-dimension to set-systems endowed with a graph structure, hence a collection of pairs of subsets. The classical VC-theory is generally used in combinatorics to bound the transversality of a hypergraph in terms of its fractional transversality and its VC-dimension. Similarly, we bound the chromatic number in terms of fractional transversality and paired VC-dimension. This approach turns out to be very useful for a class of problems raised by Erdős and Simonovits (1973) asking for H-free graphs with minimum degree at least cn and arbitrarily high chromatic number, where H is a fixed graph and c a positive constant. We show how the usual VC-dimension gives a short proof of the fact that triangle-free graphs with minimum degree at least n/3 have bounded chromatic number, where $n$ is the number of vertices. Using paired VC-dimension, we prove that if the chromatic number of $H$-free graphs with minimum degree at least cn is unbounded for some positive c, then it is unbounded for all c<1/3. In other words, one can find H-free graphs with unbounded chromatic number and minimum degree arbitrarily close to n/3. These H-free graphs are derived from a construction of Hajnal. The large chromatic number follows from the Borsuk-Ulam Theorem.

We introduce the notion of \textit{star cluster} of a simplex in a simplicial complex. This concept provides a general tool to study the topology of independence complexes of graphs. We use star clusters to answer a question arisen from works of Engström and Jonsson on the homotopy type of independence complexes of triangle-free graphs and to investigate a large number of examples which appear in the literature. We present an alternative way to study the chromatic number of a graph from a homotopical point of view and obtain new results regarding the connectivity of independence complexes.

The random greedy algorithm for constructing a large partial Steiner-Triple-System is defined as follows. We begin with a complete graph on $n$ vertices and proceed to remove the edges of triangles one at a time, where each triangle removed is chosen uniformly at random from the collection of all remaining triangles. This stochastic process terminates once it arrives at a triangle-free graph. In this note we show that with high probability the number of edges in the final graph is at most $ O\big( n^{7/4}\log^{5/4}n \big) $.

Consider the triangle-free graph process, which starts from the empty graph on $n$ vertices and a random ordering of the possible ${n \choose 2}$ edges; the edges are added in this ordering provided the graph remains triangle free. We will show that there exists a constant $c$ such that no copy of any fixed finite triangle-free graph on $k$ vertices with at least $ck$ edges asymptotically almost surely appears in the triangle-free graph process.

A number of famous results about triangle-free graphs determine the maximum chromatic number of graphs of order n with minimum degree greater than n/3. In this note these results are extended to Kr-free graphs.

We settle a problem of Havel by showing that there exists an absolute constant d such that if G is a planar graph in which every two distinct triangles are at distance at least d, then G is 3-colorable. In fact, we prove a more general theorem. Let G be a planar graph, and let H be a set of connected subgraphs of G, each of bounded size, such that every two distinct members of H are at least a specified distance apart and all triangles of G are contained in \bigcup{H}. We give a sufficient condition for the existence of a 3-coloring phi of G such that for every B\in H, the restriction of phi to B is constrained in a specified way.

Let the Andrásfai graph $\mathrm{And}_k$ be defined as the graph with vertex set $\{v_0,v_1,...c, v_{3k-2}\}$ and two vertices $v_i$ and $v_j$ being adjacent iff $|i-j| \equiv 1\mod 3$. The graphs $\mathrm{And}_k$ are maximal triangle-free and play a role in characterizing triangle-free graphs with large minimum degree as homomorphic preimages. A minimal bipartification of a graph $G$ is defined as a set of edges $F\subset E(G)$ having the property that the graph $(V(G), E(G)\backslash F)$ is bipartite and for every $e \in F$ the graph $(V(G), E(G)\backslash (F\backslash e))$ is not bipartite. In this note it is shown that there is a minimal bipartification $F_k$ of $\mathrm{And}_k$ which consists of exactly $\lfloor\frac{k^2}{4}\rfloor$ edges. This equals $\lfloor{1/36}\bigl(|\mathrm{And}_k|+1\bigr)^2\rfloor$, where $|\cdot|$ denotes the number of vertices of a graph. For all $k$ this is consistent with a conjecture of Paul Erdős that every triangle-free graph $G$ can be made bipartite by deleting at most ${1/25} |G|^2$ edges. Bipartifications like $F_k$ may be useful for proving that arbitrary homomorphic preimages of an Andrásfai graph can be made bipartite by deleting at most ${1/25} |G|^2$ edges.

We consider the triangle-free process: given an integer n, start by taking a uniformly random ordering of the edges of the complete n-vertex graph K_n. Then, traverse the ordered edges and add each traversed edge to an (initially empty) evolving graph - unless its addition creates a triangle. We study the evolving graph at around the time where Θ(n^{3/2 + ε}) edges have been traversed for any fixed ε\in (0,10^{-10}). At that time and for any fixed triangle-free graph F, we give an asymptotically tight estimation of the expected number of copies of F in the evolving graph. For F that is balanced and have density smaller than 2 (e.g., for F that is a cycle of length at least 4), our argument also gives a tight concentration result for the number of copies of F in the evolving graph. Our analysis combines Spencer's original branching process approach for analysing the triangle-free process and the semi-random method.

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.

We prove that there is an absolute constant $C>0$ so that for every natural $n$ there exists a triangle-free \emph{regular} graph with no independent set of size at least $C\sqrt{n\log n}$.

S is a local maximum stable set of a graph G, if the set S is a maximum stable set of the subgraph induced by its closed neighborhood. In (Levit, Mandrescu, 2002) we have proved that the family of all local maximum stable sets is a greedoid for every forest. The cases of bipartite graphs and triangle-free graphs were analyzed in (Levit, Mandrescu, 2004) and (Levit, Mandrescu, 2007), respectively. In this paper we give necessary and sufficient conditions for the family of all local maximum stable sets of a graph G to form a greedoid, where G is: (a) the disjoint union of a family of graphs; (b) the Zykov sum of a family of graphs, or (c) the corona X*{H_1,H_2,...,H_n} obtained by joining each vertex k of a graph X to all the vertices of a graph H_k.

A graph G is t-tough if any induced subgraph of it with x > 1 connected components is obtained from G by deleting at least tx vertices. Chvatal conjectured that there exists an absolute constant t_0 so that every t_0-tough graph is pancyclic. This conjecture was disproved by Bauer, van den Heuvel and Schmeichel by constructing a t_0-tough triangle-free graph for every real t_0. For each finite field F_q with q odd, we consider graphs associated to the finite Euclidean plane and the finite upper half plane over F_q. These graphs have received serious attention as they have been shown to be Ramanujan (or asymptotically Ramanujan) for large q. We will show that for infinitely many q, these graphs provide further counterexamples to Chvatal's conjecture. They also provide a good constructive lower bound for the Ramsey number R(3,k).

For a graph $G$, let $t(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree. Further, for a vertex $v\in V(G)$, let $t^v(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree, with the extra condition that the tree must contain $v$. The minimum of $t(G)$ ($t^v(G)$, respectively) over all connected triangle-free graphs $G$ (and vertices $v\in V(G)$) on $n$ vertices is denoted by $t_3(n)$ ($t_3^v(n)$). Clearly, $t^v(G)\le t(G)$ for all $v\in V(G)$. In this note, we solve the extremal problem of maximizing $|G|$ for given $t^v(G)$, given that $G$ is connected and triangle-free. We show that $|G|\le 1+\frac{(t_v(G)-1)t_v(G)}{2}$ and determine the unique extremal graphs. Thus, we get as corollary that $t_3(n)\ge t_3^v(n)=\lceil {1/2}(1+\sqrt{8n-7})\rceil$, improving a recent result by Fox, Loh and Sudakov.

For a graph G, let t(G) denote the maximum number of vertices in an induced subgraph of G that is a tree. In this paper, we study the problem of bounding t(G) for graphs which do not contain a complete graph K_r on r vertices. This problem was posed twenty years ago by Erdos, Saks, and Sos. Substantially improving earlier results of various researchers, we prove that every connected triangle-free graph on n vertices contains an induced tree of order \sqrt{n}. When r >= 4, we also show that t(G) >= (\log n)/(4 \log r) for every connected K_r-free graph G of order n. Both of these bounds are tight up to small multiplicative constants, and the first one disproves a recent conjecture of Matousek and Samal.

We prove that every connected triangle-free graph on $n$ vertices contains an induced tree on $\exp(c\sqrt{\log n})$ vertices, where $c$ is a positive constant. The best known upper bound is $(2+o(1))\sqrt n$. This partially answers questions of Erdos, Saks, and Sos and of Pultr.

A triangle-free graph $G$ is called read-$k$ when there exists a monotone Boolean formula $φ$ whose variables are the vertices of $G$ and whose minterms are precisely the edges of $G$, such that no variable occurs more than $k$ times in $φ$. The smallest such $k$ is called the readability of $G$. We exhibit a very simple class of bipartite chain graphs on $2n$ vertices with readability $Ω(\sqrt{\frac{\log n}{\log \log n}})$.

The quadrance between two points A_1=(x_1, y_1) and A_2=(x_2, y_2) is the number Q (A_1, A_2) = (x_1 - x_2)^2 + (y_1 - y_2)^2. Let q be an odd prime power and F_q be the finite field with $q$ elements. The unit-quadrance graph D_q has the vertex set F_q^2, and X, Y in F_q^2 are adjacent if and only if Q(A_1, A_2) = 1. Let χ(F_q^2) be the chromatic number of graph D_q. In this note, we will show that q^{1/2}(1/2+o(1)) <= χ(F_q^2) <= q(1/2 + o(1)). As a corollary, we have a construction of triangle-free graphs D_q of order q^2 with χ(D_q) >= q/2 for infinitely many values of q.