Strong edge colorings of graphs and the covers of Kneser graphs

A proper edge coloring of a graph is strong if it creates no bichromatic path of length three. It is well known that for a strong edge coloring of a $k$-regular graph at least $2k-1$ colors are needed. We show that a $k$-regular graph admits a strong edge coloring with $2k-1$ colors if and only if it covers the Kneser graph $K(2k-1,k-1)$. In particular, a cubic graph is strongly $5$-edge-colorable whenever it covers the Petersen graph. One of the implications of this result is that a conjecture about strong edge colorings of subcubic graphs proposed by Faudree et al. [Ars Combin. 29 B (1990), 205--211] is false

Extremal problems on cycle structure and colorings of graphs

In this Thesis, we consider two main themes: conditions that guarantee diverse cycle structure within a graph, and the existence of strong edge-colorings for a specific family of graphs. In Chapter 2 we consider a question closely related to the Matthews-Sumner conjecture, which states that every 4-connected claw-free graph is Hamiltonian. Since there exists an infinite family of 4-connected claw-free graphs that are not pancyclic, Gould posed the problem of characterizing the pairs of graphs, {X,Y}, such that every 4-connected {X,Y}-free graph is pancyclic. In this chapter we describe a family of pairs of graphs such that if every 4-connected {X,Y}-free graph is pancyclic, then {X,Y} is in this family. Furthermore, we show that every 4-connected {K_(1,3),N(4,1,1)}-free graph is pancyclic. This result, together with several others, completes a characterization of the family of subgraphs, F such that for all H in ∈, every 4-connected {K_(1,3), H}-free graph is pancyclic. In Chapters and 4 we consider refinements of results on cycles and chorded cycles. In 1963, Corrádi and Hajnal proved a conjecture of Erdös, showing that every graph G on at least 3k vertices with minimum degree at least 2k contains k disjoint cycles. This result was extended by Enomoto and Wang, who independently proved that graphs on at least 3kvertices with minimum degree-sum at least 4k - 1 also contain k disjoint cycles. Both results are best possible, and recently, Kierstead, Kostochka, Molla, and Yeager characterized their sharpness examples. A chorded cycle analogue to the result of Corrádi and Hajnal was proved by Finkel, and a similar analogue to the result of Enomoto and Wang was proved by Chiba, Fujita, Gao, and Li. In Chapter 3 we characterize the sharpness examples to these statements, which provides a chorded cycle analogue to the characterization of Kierstead et al. In Chapter 4 we consider another result of Chiba et al., which states that for all integers r and s with r + s ≥ 1, every graph G on at least 3r + 4s vertices with ẟ(G) ≥ 2r+3s contains r disjoint cycles and s disjoint chorded cycles. We provide a characterization of the sharpness examples to this result, which yields a transition between the characterization of Kierstead et al. and the main result of Chapter 3. In Chapter 5 we move to the topic of edge-colorings, considering a variation known as strong edge-coloring. In 1990, Faudree, Gyárfás, Schelp, and Tuza posed several conjectures regarding strong edge-colorings of subcubic graphs. In particular, they conjectured that every subcubic planar graph has a strong edge-coloring using at most nine colors. We prove a slightly stronger form of this conjecture, showing that it holds for all subcubic planar loopless multigraphs

On the Strong Chromatic Index of Sparse Graphs

The strong chromatic index of a graph G, denoted χ′s(G), is the least number of colors needed to edge-color G so that edges at distance at most two receive distinct colors. The strong list chromatic index, denoted χ′s,ℓ(G), is the least integer k such that if arbitrary lists of size k are assigned to each edge then G can be edge-colored from those lists where edges at distance at most two receive distinct colors. We use the discharging method, the Combinatorial Nullstellensatz, and computation to show that if G is a subcubic planar graph with girth(G)≥41 then χ′s,ℓ(G)≤5, answering a question of Borodin and Ivanova [Precise upper bound for the strong edge chromatic number of sparse planar graphs, Discuss. Math. Graph Theory, 33(4), (2014) 759--770]. We further show that if G is a subcubic planar graph and girth(G)≥30, then χ′s(G)≤5, improving a bound from the same paper. Finally, if G is a planar graph with maximum degree at most four and girth(G)≥28, then χ′s(G)N≤7, improving a more general bound of Wang and Zhao from [Odd graphs and its applications to the strong edge coloring, Applied Mathematics and Computation, 325 (2018), 246-251] in this case.This article is published as P. DeOrsey J. Diemunsch, M. Ferrara, N. Graber, S. G. Hartke, S. Jahanbekam, B. Lidický, L. Nelsen, D. Stolee, E. Sullivan. "On the Strong Chromatic Index of Sparse Graphs." Electronic Journal of Combinatorics 25 (2018), #P3.18.</p

On the Strong Chromatic Index of Sparse Graphs

The strong chromatic index of a graph G, denoted χ′s(G), is the least number of colors needed to edge-color G so that edges at distance at most two receive distinct colors. The strong list chromatic index, denoted χ′s,ℓ(G), is the least integer k such that if arbitrary lists of size k are assigned to each edge then G can be edge-colored from those lists where edges at distance at most two receive distinct colors.We use the discharging method, the Combinatorial Nullstellensatz, and computation to show that if G is a subcubic planar graph with girth(G)≥41 then χ′s,ℓ(G)≤5, answering a question of Borodin and Ivanova [Precise upper bound for the strong edge chromatic number of sparse planar graphs, Discuss. Math. Graph Theory, 33(4), (2014) 759--770]. We further show that if G is a subcubic planar graph and girth(G)≥30, then χ′s(G)≤5, improving a bound from the same paper.Finally, if G is a planar graph with maximum degree at most four and girth(G)≥28, then χ′s(G)N≤7, improving a more general bound of Wang and Zhao from [Odd graphs and its applications to the strong edge coloring, Applied Mathematics and Computation, 325 (2018), 246-251] in this case