Cycle lengths in sparse graphs

Let C(G) denote the set of lengths of cycles in a graph G. In the first part of this paper, we study the minimum possible value of |C(G)| over all graphs G of average degree d and girth g. Erdos conjectured that |C(G)| =\Omega(d^{\lfloor (g-1)/2\rfloor}) for all such graphs, and we prove this conjecture. In particular, the longest cycle in a graph of average degree d and girth g has length \Omega(d^{\lfloor (g-1)/2\rfloor}). The study of this problem was initiated by Ore in 1967 and our result improves all previously known lower bounds on the length of the longest cycle. Moreover, our bound cannot be improved in general, since known constructions of d-regular Moore Graphs of girth g have roughly that many vertices. We also show that \Omega(d^{\lfloor (g-1)/2\rfloor}) is a lower bound for the number of odd cycle lengths in a graph of chromatic number d and girth g. Further results are obtained for the number of cycle lengths in H-free graphs of average degree d. In the second part of the paper, motivated by the conjecture of Erdos and Gyarfas that every graph of minimum degree at least three contains a cycle of length a power of two, we prove a general theorem which gives an upper bound on the average degree of an n-vertex graph with no cycle of even length in a prescribed infinite sequence of integers. For many sequences, including the powers of two, our theorem gives the upper bound e^{O(\log^* n)} on the average degree of graph of order n with no cycle of length in the sequence, where \log^* n is the number of times the binary logarithm must be applied to n to get a number which is at mos

New Bounds for the Dichromatic Number of a Digraph

The chromatic number of a graph $G$, denoted by $\chi(G)$, is the minimum $k$ such that $G$ admits a $k$-coloring of its vertex set in such a way that each color class is an independent set (a set of pairwise non-adjacent vertices). The dichromatic number of a digraph $D$, denoted by $\chi_A(D)$, is the minimum $k$ such that $D$ admits a $k$-coloring of its vertex set in such a way that each color class is acyclic. In 1976, Bondy proved that the chromatic number of a digraph $D$ is at most its circumference, the length of a longest cycle. Given a digraph $D$, we will construct three different graphs whose chromatic numbers bound $\chi_A(D)$. Moreover, we prove: i) for integers $k\geq 2$, $s\geq 1$ and $r_1, \ldots, r_s$ with $k\geq r_i\geq 0$ and $r_i\neq 1$ for each $i\in[s]$, that if all cycles in $D$ have length $r$ modulo $k$ for some $r\in\{r_1,\ldots,r_s\}$, then $\chi_A(D)\leq 2s+1$; ii) if $D$ has girth $g$ and there are integers $k$ and $p$, with $k\geq g-1\geq p\geq 1$ such that $D$ contains no cycle of length $r$ modulo $\lceil \frac{k}{p} \rceil p$ for each $r\in \{-p+2,\ldots,0,\ldots,p\}$, then $\chi_A (D)\leq \lceil \frac{k}{p} \rceil$; iii) if $D$ has girth $g$, the length of a shortest cycle, and circumference $c$, then $\chi_A(D)\leq \lceil \frac{c-1}{g-1} \rceil +1$, which improves, substantially, the bound proposed by Bondy. Our results show that if we have more information about the lengths of cycles in a digraph, then we can improve the bounds for the dichromatic number known until now.Comment: 14 page