Partially normal 5-edge-colorings of cubic graphs
Introduction
This paper focuses on Jaeger’s Petersen coloring conjecture [8], which states that every bridgeless cubic graph has a Petersen coloring. The truth of this conjecture implies the truth of some other conjectures, such as the Berge–Fulkerson conjecture and 5-cycle double cover conjecture (shortly, 5CDCC). There are several equivalent statements to the Petersen coloring conjecture, one of them states that every bridgeless cubic graph has a normal 5-edge-coloring. However, only few results on this conjecture are known. Here, we follow Šámal’s new approach [18] that might lead to a solution to Petersen coloring conjecture. For a given bridgeless cubic graph, we look for a proper 5-edge-coloring yielding as many normal edges as possible. In other words, we color the graph “as normal as possible” while the conjecture asserts that we can color the graph completely normal. The result of Bílková [1] targets some classes of cubic graphs and shows that, we can color a generalized prism so that of the edges are normal and we can color a cubic graph of large girth so that almost of the edges are normal. In this paper, we prove that every bridgeless cubic graph has a proper 5-edge-coloring such that at least edges are normal. The parameter can measure how far a cubic graph is from being 3-edge-colorable. The definition of will be given in Section 1.3. By a result of Kaiser, Král and Norine in [12], it holds that . Therefore, we can guarantee a proper 5-edge-coloring of with at least normal edges, which improves on these earlier results.
Given two cubic graphs and , a mapping is an -coloring of if any three mutually adjacent edges of are mapped to three mutually adjacent edges of . The mapping is called a Petersen-coloring if is the Petersen graph.
In 1988, Jaeger [8] posed the following conjecture which would imply both Berge–Fulkerson Conjecture and 5-CDCC.
Conjecture 1.1 The Petersen Coloring Conjecture [8] Every bridgeless cubic graph has a Petersen-coloring.
The rest of the section is devoted to some alternative formulations of the Petersen coloring conjecture.
Let be a graph. A set of edges is a binary cycle if induces a subgraph of where every vertex has even degree. DeVos, Nešetřil and Raspaud [3] defined that, given two graphs and , a mapping is cycle-continuous if the pre-image of each binary cycle of is a binary cycle of . When both and are cubic and additionally is cyclically 4-edge-connected, has a cycle-continuous mapping to if and only if has an -coloring. This leads to the first alternative formulation of the Petersen coloring conjecture.
Theorem 1.2 e.g. [1] A cubic graph has a Petersen-coloring if and only if it has a cycle-continuous mapping to the Petersen graph.
However, the study on cycle-continuous mapping makes no progress on solving the Petersen coloring conjecture so far.
Consider Cremona–Richmond configuration , which has 15 points and 15 lines, as drawn in Fig. 1. A CR-coloring of a cubic graph is a mapping from to the points of such that any three mutually adjacent edges of are mapped to three points of that lie in a line.
Theorem 1.3 [13] A cubic graph has a Berge–Fulkerson cover if and only if it has a CR-coloring.
The truth of this theorem easily follows from a labeling of Cremona–Richmond configuration by with , as shown in Fig. 1. Here, we give another labeling of Cremona–Richmond configuration which yields that every CR-coloring of the graph is a nowhere-zero flow of , that is, the flow values around a vertex sum up to zero. Such a labeling, depicted in Fig. 2, takes 15 non-zero elements of .
Let be a set of 10 lines obtained from the lines of by removing 5 pairwise disjoint lines. The dotted lines in Fig. 2 indicate an example of .
Theorem 1.4 [13] A cubic graph has a Petersen-coloring if and only if it has a CR-coloring using lines from .
From the previous two theorems, it is easy to see again that the Petersen coloring conjecture implies Berge–Fulkerson conjecture.
Unfortunately, the study on CR-colorings makes no progress on solving the Petersen coloring conjecture either. Here, we focus on another alternative formulation of the Petersen coloring conjecture, in terms of normal 5-edge-colorings.
Let be a cubic graph and be a proper 5-edge-coloring of . An edge is poor (or rich) if together with its four adjacent edges uses precisely 3 (or 5) colors in total. An edge is normal if it is either rich or poor, and it is abnormal otherwise. A normal 5-edge-coloring is a proper 5-edge-coloring such that all the edges are normal. Jaeger [7] showed the following equivalence between Petersen colorings and normal 5-edge-colorings for cubic graphs.
Theorem 1.5 [7] A cubic graph has a Petersen-coloring if and only if it has a normal 5-edge-coloring.
A possible minimal counterexample to the Petersen coloring conjecture was characterized in the literature. Jaeger [8] proved that it must be a cyclically 4-edge-connected snark. By the study on normal 5-edge-colorings of cubic graphs, Hägglund and Steffen [6] showed that the minimal counterexample does not contain as a subgraph (see Fig. 3 for ).
A quite few classes of cubic graphs were confirmed to have a normal 5-edge-coloring and thus a Petersen coloring as well. In [6] it showed that a cubic graph has a normal 5-edge-coloring when is a flower snark or a Goldberg snark or a generalized Blanuša snark of type 1 or 2. With the aid of computer, Brinkmann et al. [2] tested the Petersen coloring conjecture on cubic graphs of small order, and showed that every cubic graph of order no more than 36 has a normal 5-edge-coloring. Recently, Ferrarini, Mazzuoccolo and Mkrtchyan [4] confirmed the existence of normal 5-edge-colorings for a family of Loupekhine snarks.
Let be a cubic graph and a list of three 1-factors of . For , let be the set of edges that are contained in precisely elements of . Let . The -core of with respect to (or to ) is the subgraph of which is induced by ; that is, . If the value of is irrelevant, then we say that is a core of . Define . Clearly, every bridgeless cubic graph has a -core. For any core, induces disjoint circuits.
Cores were introduced by Steffen [17] recently and used to prove partial results on some hard conjectures which are related to 1-factors of cubic graphs, such as Berge conjecture, Fan–Raspaud conjecture and some conjectures on cycle covers. The parameter can measure how far a cubic graph is from being 3-edge-colorable, and it was related to some other parameters, such as girth and oddness. We refer to [5] for a survey on these kinds of measurements, and [9], [10], [11] for studies on cores and . In this paper, we will use them to prove a partial result on the Petersen coloring conjecture.
Considering that a normal 5-edge-coloring requires each edge to be normal, Šámal [18] presented a weaker problem approximate to the Petersen coloring conjecture, that is, to search for a proper 5-edge-coloring such that the normal edges are as many as possible. Here, such a coloring is called a partially normal 5-edge-coloring. Later on, Bílková proved that a generalized prism has a proper 5-edge-coloring with two thirds of the edges normal ([1], Theorem 2.3) and that a cubic graph of large girth has a proper 5-edge-coloring with almost half of the edges normal ([1], Theorem 3.6). In this paper, we show that for every bridgeless cubic graph, there exists a proper 5-edge-coloring such that almost all the edges are normal. More precisely, we prove the following theorem.
Theorem 1.6 Every bridgeless cubic graph has a proper 5-edge-coloring such that at least many edges are normal.
Kaiser, Král and Norine [12] showed that any bridgeless cubic graph with edges contains three perfect matchings whose union covers at least edges. That is to say, by the definition of . So, a direct consequence of Theorem 1.6 is as follows.
Corollary 1.7 Every bridgeless cubic graph has a proper 5-edge-coloring such that at least edges are normal.
Normal or partially normal -edge-colorings of cubic graphs were studied in several papers. Mazzuoccolo and Mkrtchyan [15] proved that every simple cubic graph (not necessarily bridgeless) admits a normal 7-edge-coloring, where the number 7 cannot be lowered down. They [14] also proved that any claw-free bridgeless cubic graph, permutation snark or tree-like snark admits a normal 6-edge-coloring and that any bridgeless cubic graph admits a 6-edge-coloring such that at least edges of are normal. Moreover, Pirot, Sereni and Škrekovski [16] showed that every bridgeless cubic graph admits a 4-edge-coloring such that at least edges of are normal, where the fraction is tight for Petersen graph.
Section snippets
Definitions and lemmas
The proof of Theorem 1.6 will be done by constructing such a proper 5-edge-coloring with the help of some structural properties on cores. First of all, we need some definitions and lemmas.
Let be a cubic graph. If is a circuit of , then denotes all the edges not on but having at least one end on . Analogously, if is a path of with ends and , then denotes all the edges not on but having at least one end on . Denote by the set of all the components of a graph .
Proof of Theorem 1.6
In this section, we prove the main theorem of this paper. However, before that we present the big picture of the proof. Take a -core of the cubic graph . Denote by the major-coloring with respect to . We will extend to being a proper 5-edge-coloring of the whole graph . So, we should give colors to edges of . Recall that are disjoint circuits. For each even circuit, we simply assign with the colors 4 and 5 alternately. For each odd circuit , roughly speaking, we
Acknowledgments
The authors are grateful to professor Eckhard Steffen for his helpful discussion on the first draft of the paper. Moreover, we appreciate for many useful comments on several earlier versions of the article by anonymous referees, which help improve the quality of the article. The first author is supported by NSFC, China 11801522 and QJD, China 1803023. The second author is supported by NSFC, China 11901258.
References (18)
- et al.
Generation and properties of snarks
J. Combin. Theory, Ser. B
(2013) - et al.
Projective, affine, and abelian colorings of cubic graphs
European J. Combin.
(2009) - et al.
Normal 6-edge-colorings of some bridgeless cubic graphs
Discrete Appl. Math.
(2020) New approach to petersen coloring
Electron. Notes Discrete Math.
(2011)Variants of Petersen Coloring for Some Graph Classes
(2015)- et al.
On edge-maps whose inverse preserves flows and tensions
- et al.
Normal 5-edge-colorings of a family of Loupekhine snarks
AKCE Int. J. Graphs Comb.
(2020) - et al.
Measures of edge-uncolorability of cubic graphs
Electron. J. Combin.
(2018) - et al.
Petersen-colorings and some families of snarks
Ars Math. Contemp.
(2014)
Cited by (3)
Sets of r-graphs that color all r-graphs
2023, arXivOn sublinear approximations for the Petersen coloring conjecture
2021, Bulletin of the Institute of Combinatorics and its Applications