Acyclic edge coloring of graphs

An {\em acyclic edge coloring} of a graph $G$ is a proper edge coloring such that the subgraph induced by any two color classes is a linear forest (an acyclic graph with maximum degree at most two). The {\em acyclic chromatic index} \chiup_{a}'(G) of a graph $G$ is the least number of colors needed in an acyclic edge coloring of $G$. Fiam\v{c}\'{i}k (1978) conjectured that \chiup_{a}'(G) \leq \Delta(G) + 2, where $\Delta(G)$ is the maximum degree of $G$. This conjecture is well known as Acyclic Edge Coloring Conjecture (AECC). A graph $G$ with maximum degree at most $\kappa$ is {\em $\kappa$-deletion-minimal} if \chiup_{a}'(G) > \kappa and \chiup_{a}'(H) \leq \kappa for every proper subgraph $H$ of $G$. The purpose of this paper is to provide many structural lemmas on $\kappa$-deletion-minimal graphs. By using the structural lemmas, we firstly prove that AECC is true for the graphs with maximum average degree less than four (\autoref{NMAD4}). We secondly prove that AECC is true for the planar graphs without triangles adjacent to cycles of length at most four, with an additional condition that every $5$-cycle has at most three edges contained in triangles (\autoref{NoAdjacent}), from which we can conclude some known results as corollaries. We thirdly prove that every planar graph $G$ without intersecting triangles satisfies \chiup_{a}'(G) \leq \Delta(G) + 3 (\autoref{NoIntersect}). Finally, we consider one extreme case and prove it: if $G$ is a graph with $\Delta(G) \geq 3$ and all the $3^{+}$-vertices are independent, then \chiup_{a}'(G) = \Delta(G). We hope the structural lemmas will shed some light on the acyclic edge coloring problems.Comment: 19 page

A lower bound on the order of the largest induced forest in planar graphs with high girth

We give here new upper bounds on the size of a smallest feedback vertex set in planar graphs with high girth. In particular, we prove that a planar graph with girth $g$ and size $m$ has a feedback vertex set of size at most $\frac{4m}{3g}$, improving the trivial bound of $\frac{2m}{g}$. We also prove that every $2$-connected graph with maximum degree $3$ and order $n$ has a feedback vertex set of size at most $\frac{n+2}{3}$.Comment: 12 pages, 6 figures. arXiv admin note: text overlap with arXiv:1409.134

Acyclic Chromatic Index of Chordless Graphs

An acyclic edge coloring of a graph is a proper edge coloring in which there are no bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $a'(G)$, is the minimum positive integer $k$ such that $G$ has an acyclic edge coloring with $k$ colors. It has been conjectured by Fiam\v{c}\'{\i}k that $a'(G) \le \Delta+2$ for any graph $G$ with maximum degree $\Delta$. Linear arboricity of a graph $G$, denoted by $la(G)$, is the minimum number of linear forests into which the edges of $G$ can be partitioned. A graph is said to be chordless if no cycle in the graph contains a chord. Every $2$-connected chordless graph is a minimally $2$-connected graph. It was shown by Basavaraju and Chandran that if $G$ is $2$-degenerate, then $a'(G) \le \Delta+1$. Since chordless graphs are also $2$-degenerate, we have $a'(G) \le \Delta+1$ for any chordless graph $G$. Machado, de Figueiredo and Trotignon proved that the chromatic index of a chordless graph is $\Delta$ when $\Delta \ge 3$. They also obtained a polynomial time algorithm to color a chordless graph optimally. We improve this result by proving that the acyclic chromatic index of a chordless graph is $\Delta$, except when $\Delta=2$ and the graph has a cycle, in which case it is $\Delta+1$. We also provide the sketch of a polynomial time algorithm for an optimal acyclic edge coloring of a chordless graph. As a byproduct, we also prove that $la(G) = \lceil \frac{\Delta }{2} \rceil$, unless $G$ has a cycle with $\Delta=2$, in which case $la(G) = \lceil \frac{\Delta+1}{2} \rceil = 2$. To obtain the result on acyclic chromatic index, we prove a structural result on chordless graphs which is a refinement of the structure given by Machado, de Figueiredo and Trotignon for this class of graphs. This might be of independent interest