Rich-neighbor 5-edge-colorings of subcubic graphs whose 3-vertices induce a matching

The preceding construction yields a proper 5-edge-coloring \varphi of G. Properness at vertices of B follows from Lemmas 3.8 and 3.6. At the internal vertices of selected threads it follows from the periodic pattern (?); for unselected threads it follows from the proper coloring of Q when the length is two, from (?) when the length is three, and from Lemma 2.3 when the length is at least four. Properness at leaves is immediate.

By Lemma 3.6, every selected-thread edge is rich. Since each selected thread has length at least two by (?), every such edge is adjacent to another rich edge on the same thread.

Because F covers B, every vertex of B is incident with a selected thread. Hence every pendant edge and every edge of an unselected thread incident with B has a rich selected-thread neighbor. This covers all edges of unselected threads of length at most two and the end edges of all longer unselected threads.

For an unselected thread of length three, its middle edge is adjacent to the first end edge, which is rich by the choice in (?). For an unselected thread of length at least four, all internal edges are rich, and there are at least two consecutive internal edges. Thus every internal edge has a rich internal neighbor.

Consequently, every non-isolated edge of G has a rich neighbor. Therefore \varphi is a rich-neighbor 5-edge-coloring of G, contradicting the choice of G.

If v\in V_3(H), then 3=d_H(v)\le d_G(v)\le 3, so v\in V_3(G). Hence V_3(H)\subseteq V_3(G) and H[V_3(H)]\subseteq G[V_3(G)]. The assertion follows.

Set c_1=a and c_\ell=b. First choose c_2,\ldots,c_{\ell-3} successively, whenever this sequence is nonempty, so that each c_i avoids the already defined colors among c_{i-1} and c_{i-2}. Next choose c_{\ell-2} and c_{\ell-1} successively, requiring each c_i to avoid the already defined colors among c_{i-1}, c_{i-2}, b. At most three colors are forbidden at every step, so all choices can be made from [5]. The resulting sequence satisfies c_i\ne c_j whenever 0<|i-j|\le 2. Thus \psi(e_i)=c_i defines the required strong edge-coloring.

Suppose that e=uv is a nonpendant bridge. Let C_u and C_v be the components of G-e containing u and v, respectively. Since e is not pendant, both components contain an edge. Set

Both G_u and G_v are proper subgraphs of G with fewer edges. By Lemma 2.1 and the minimality of G, they admit rich-neighbor 5-edge-colorings \varphi_u and \varphi_v. After permuting the colors in \varphi_v, we may assume that \varphi_u(e)=\varphi_v(e)=\alpha.

For a vertex x of a graph H, let E_H(x) denote the set of edges of H incident with x. Put

Properness and subcubicity give A_u,A_v\subseteq[5]\setminus\{\alpha\}, |A_u|,|A_v|\le 2. Since [5]\setminus\{\alpha\} has four elements, there is a permutation \sigma of [5] fixing \alpha such that A_u\cap\sigma(A_v)=\varnothing. Replace \varphi_v by \sigma\circ\varphi_v. The two colorings now agree on e and combine into a proper 5-edge-coloring \varphi of G.

For every f\in E(G_u)\setminus\{e\}, N_G(f)=N_{G_u}(f), so f is rich under \varphi if and only if it is rich under \varphi_u. The analogous statement holds on the v-side, since permuting colors preserves richness. Moreover, \varphi\bigl(N_G(e)\bigr)=A_u\cup\sigma(A_v). The colors in this union are pairwise distinct, and hence e is rich under \varphi.

Let f\ne e be a non-isolated edge of G. In its side coloring, f has a rich neighbor. If that neighbor is not e, it remains rich under \varphi; if it is e, then it is rich by the preceding paragraph. Thus every non-isolated edge other than e has a rich neighbor.

Finally, since C_u contains an edge, e is non-isolated in G_u. It therefore has a rich neighbor g\in E(G_u)\setminus\{e\} under \varphi_u. The edge g remains rich under \varphi, so e also has a rich neighbor. Consequently, \varphi is a rich-neighbor 5-edge-coloring of G, a contradiction.

Since G is connected and has more than one edge, d_G(v)\ge2. Suppose that either d_G(v)=2 or v has another leaf neighbor. Then v has a neighbor w such that every neighbor of v other than w is a leaf. Consequently, vw lies on no cycle and is therefore a bridge.

If w is a leaf, then every neighbor of v is a leaf, so the connected graph G is a star and hence a tree, a contradiction. Otherwise, vw is a nonpendant bridge, contradicting Lemma 3.1. Therefore d_G(v)=3, and x is the unique leaf neighbor of v.

Every vertex of \hat G has degree two or three in G. By Corollary 3.2, a 2-vertex has no leaf neighbor and a 3-vertex has at most one. Hence \delta(\hat G)\ge2. Moreover, no leaf can be an internal vertex of a path, so the connectivity of G implies that of \hat G.

If ab were a bridge of \hat G, then any a-b path in G-ab would lie in \hat G, a contradiction. Thus ab would also be a bridge of G. Since d_G(a),d_G(b)\ge2, this bridge would not be pendant, contrary to Lemma 3.1. Therefore \hat G is bridgeless.

Finally, suppose that |V(\hat G)|\ge3 and v is a cut vertex of \hat G. Each component of \hat G-v is joined to v. Since d_{\hat G}(v)\le3 and \hat G-v has at least two components, one of them is joined to v by exactly one edge. This edge is a bridge of \hat G, a contradiction. Hence \hat G is 2-connected.

If V_3(G)=\varnothing, then the connected graph G has maximum degree at most two. Since G contains a cycle, it must itself be a cycle, contradicting Lemma 2.2.

Suppose that V_3(G)=\{v\}. Every vertex of \hat G other than v has degree two in \hat G. By the handshaking lemma, d_{\hat G}(v) is even. Since 2\le d_{\hat G}(v)\le3, we have d_{\hat G}(v)=2. Thus \hat G is a connected 2-regular graph and hence a cycle. Corollary 3.2 now implies that G is obtained from \hat G by attaching exactly one pendant edge g at v.

Let \varphi be a strong 5-edge-coloring of \hat G. Let e,e' be the cycle edges incident with v, and let f,f' be their other cycle neighbors, where f=f' if \hat G is a triangle. Choose \beta\in[5]\setminus \{\varphi(e),\varphi(e'),\varphi(f),\varphi(f')\} and set \varphi(g)=\beta. The extension is proper, and the choice of \beta ensures that e and e' remain rich. The neighborhood of every other cycle edge is unchanged, so all cycle edges remain rich. Hence every edge of G has a rich neighbor, a contradiction.

By the minimality of F, every edge xy\in F has an endpoint of degree one in G'_F; otherwise, both x and y would remain covered after deleting xy, and F-\{xy\} would still be an edge cover of G'. In particular, F contains no parallel edges, since the endpoints of two parallel edges would both have degree at least two in G'_F.

Let C be a component of G'_F. If C\cong K_2, then C is a star. Otherwise, choose a vertex x\in V(C) with d_C(x)\ge2. Every neighbor of x has degree one in C. Since C is connected, every edge of C is incident with x. Hence C is a star.

First consider the center z of a star component of G'_F. The selected first edges incident with z have the distinct colors 1,\ldots,t, whereas the newly colored edges incident with z receive pairwise distinct colors from \Lambda(z) =[5]\setminus\bigl(\{1,\ldots,t\}\cup\{4\}\bigr). Thus the coloring is proper at z.

For each i\in[t], the neighbors of e^i_1 are e^i_2, which has color 4, and the other edges incident with z. Their colors belong to the pairwise disjoint sets \{4\}, \{1,\ldots,t\}\setminus\{i\}, \Lambda(z), and are pairwise distinct within each set. Hence all neighbors of e^i_1 have distinct colors.

Now consider a leaf z_i. The two other edges incident with z_i receive distinct colors from \Lambda(z_i)=[5]\setminus\{a_i,b_i\}, where a_i=\varphi(e^i_{\ell_i-1}) and b_i=\varphi(e^i_{\ell_i}). Since these colors avoid b_i, the coloring is proper at z_i. Since they also avoid a_i, all neighbors of e^i_{\ell_i} have pairwise distinct colors.

Finally, let e^i_j be an internal edge of P_i, where 2\le j\le\ell_i-1. Its endpoints lie in \hat G-B and hence are 2-vertices of G. Therefore N_G(e^i_j)=\{e^i_{j-1},e^i_{j+1}\}. These two edges have distinct colors by (?).

Thus every neighbor of a selected-thread edge has already been colored, and these colors are pairwise distinct. They are unchanged by any further extension, so every selected-thread edge is rich in every proper extension.

Every component of H containing an edge is a path or a cycle. A path can be colored greedily from one end, since each edge has at most one previously colored neighbor and a list of size at least two.

For a cycle component C, choose e_0\in E(C) with |L(e_0)|\ge3. Color the path C-e_0 greedily. The edge e_0 then has at most two colored neighbors, so a color in L(e_0) distinct from their colors remains available. Coloring the components independently completes the proof.

Let S=\{e\in E(Q):|L(e)|=1\}. Suppose that e has a unique endpoint v in B. By (?) and d_Q(v)=3-d_F(v), |L(e)|=|\Lambda(v)| =4-d_F(v) =1+d_Q(v) \ge2. Thus every edge of S has both endpoints in B and hence corresponds to an unselected B-thread of length one. Since every list contains 5, we have L(e)=\{5\} for each e\in S. Moreover, S is a matching by (?).

Color every edge of S with 5, let Q'=Q-S, and define, for each e\in E(Q'),

We first show that |L'(e)|\ge2 for every e\in E(Q'). If both endpoints of e lie in B, then e corresponds to a length-one thread. Since all such edges form a matching, e is not adjacent to S. Hence L'(e)=L(e), and |L'(e)|\ge2 because e\notin S. Now suppose that e has a unique endpoint v in B. If no edge of S is incident with v, then L'(e)=L(e), and the equality above gives |L'(e)|\ge2. Otherwise, e and an edge of S are both incident with v. Since d_Q(v)\le2, we have d_Q(v)=2, and therefore |L(e)|=1+d_Q(v)=3. Deleting 5 leaves |L'(e)|=2.

It remains to verify the condition on cycle components. Let C be a cycle component of Q'. No edge arising from a pendant edge or from a thread of length at least three can lie on C, since such an edge has a degree-one endpoint in Q. Thus every edge of C either corresponds to a length-one thread or belongs to a retained length-two thread. Since the length-one edges form a matching, C contains an edge e from a length-two thread.

Let v\in B be the endpoint of e in B. Since v lies on the cycle C, d_{Q'}(v)=2. As d_Q(v)\le2, it follows that d_Q(v)=2, and no edge of S is incident with v. The other endpoint of e lies outside B, whereas every edge of S has both endpoints in B. Hence e is not adjacent to S, and |L'(e)|=|L(e)|=1+d_Q(v)=3. Therefore every cycle component of Q' contains an edge whose list has size at least three.

Since \Delta(Q')\le2, Lemma 3.7 gives a proper L'-edge-coloring of Q'. Together with the edges of S, all colored 5, this yields a proper edge-coloring \psi of Q: the edges of S form a matching, and 5 was deleted from the lists of all edges adjacent to S. Finally, L'(e)\subseteq L(e) for every e\in E(Q'), so \psi(e)\in L(e) for every e\in E(Q).