1 Introduction

A linear forest is a disjoint union of paths. We study the decomposition of graphs into few linear forests. For instance, by Vizing’s theorem any graph G of maximum degree \(\Delta \) can be decomposed into at most \(\Delta +1\) matchings and hence \(\Delta +1\) linear forests. In 1980, Akiyama et al. [1] conjectured that one can do much better:

Conjecture 1

(Linear Arboricity Conjecture) Any graph G of maximum degree \(\Delta \) admits a decomposition into at most \(\lceil \Delta /2\rceil \) linear forests.

The Linear Arboricity Conjecture has received a fair amount of attention throughout the years and has been shown for many particular families of graphs (see [7]). Here we are interested in general bounds for large maximum degree \(\Delta \).

The first result of this type was obtained by Alon [2] in 1988 and states that any graph G of maximum degree at most \(\Delta \) can be decomposed into at most \(\frac{\Delta }{2} + O\left( \Delta \cdot \frac{\log \log \Delta }{\log \Delta }\right) \) linear forests. The error term was improved to \(O(\Delta ^{2/3} \log ^{1/3} \Delta )\) by Alon and Spencer [4] in 1992. In 2020, Ferber et al. [7] reduced this further to \(O(\Delta ^{0.661})\). The first main result of this paper is the following improvement.

Theorem 2

Any graph G of maximum degree \(\Delta \) admits a decomposition into at most \(\frac{\Delta }{2} + 3 \Delta ^{1/2} \log ^4\Delta \) linear forests.

In fact, we will prove Theorem 2 in the more general setting of list colouring, where edges have (possibly different) sets of permissible linear forests. Indeed, the list version of Conjecture 1, called the List Linear Arboricity Conjecture, was formulated by An and Wu in 1999 (see [5]). In 2021, Kim and the second author [9] proved that the List Linear Arboricity Conjecture holds asymptotically, that is if every edge e of G has a list L(e) of size at least \(\frac{\Delta }{2} +o(\Delta )\), then there exists a colouring from the lists such that each colour class is a linear forest. Our main result also improves this error term to \(O(\Delta ^{1/2} \log ^4\Delta )\).

Indeed, here we tie together the Linear Arboricity Conjecture and the well-known List Colouring Conjecture posited independently by many researchers in the 1970s and 1980s.

Conjecture 3

(List Colouring Conjecture) If G is a graph of maximum degree \(\Delta \) and L is a list assignment to E(G) such that \(|L(e)|\ge \Delta +1\) for every edge e of G,  then there exists an L-colouring of the edges of G.

In 1996, Kahn [8] proved that the List Colouring Conjecture holds asymptotically using Rödl’s famous nibble method. In 2000, Molloy and Reed [10] improved the error term to \(O(\Delta ^{1/2} \log ^4\Delta )\) which is still the best known bound to date. Kim and the second author [9] showed how the List Colouring Conjecture and List Linear Arboricity Conjecture are related via the following definition.

Consider a graph G with lists of colours \(L(e) \subseteq \mathbb {N}\) assigned to its edges. A t-edge-colouring of G from L(e) is an assignment of colours to the edges of G such that each edge receives a colour from its list and no vertex is incident to more than t edges of the same colour.

Note that, if all lists are the same, then a decomposition of G into linear forests is equivalent to a 2-edge-colouring that does not induce any monochromatic cycles. Kim and the second author [9] noted that results for list t-edge-colouring follow from results for the List Colouring Conjecture by replacing every colour with t copies of itself.

Here then is the main result of this paper which shows we can also avoid monochromatic cycles in a 2-edge-colouring (equivalently bicoloured cycles between a colour and its copy).

Theorem 4

Let G be a graph with sufficiently large maximum degree \(\Delta \). If L is a list assignment to the edges of G such that

$$\begin{aligned} |L(e)| \ge \frac{\Delta }{2}+ 3\sqrt{\Delta } \log ^4 \Delta \end{aligned}$$

for every edge e of G,  then there is a 2-edge-colouring of G from L(e) without any monochromatic cycles.

The proof employs the nibble method and we purposely wrote it to follow the proof of Molloy and Reed. The key new idea is to modify the random colouring procedure to also remove colours from lists if they would create a bicoloured cycle between a colour and its copy. We will show that this removal has a negligible effect on the list sizes during the nibble process (indeed it has an even smaller effect than the concentration error terms from the main part of the procedure).

However, we were not able to remove such colours when the cycles are too long since this would create too large of a dependency when applying the Lovász Local Lemma. To handle this, we remove colours that would form short bicoloured cycles [say with at most \(O(\log \Delta )\) newly coloured edges] or bicoloured paths (with roughly \(\log \Delta \) newly coloured edges). We argue that there are not too many of these paths since we introduce an activation probability (say 1/2) to colouring edges, and hence these paths will also yield a negligible loss in list size.

The rest of this paper is organized as follows. In the next section, we discuss our approach in more detail and derive Theorem 4 from Claim 15, which is the centerpiece of the proof. In Sect. 3, we prove Claim 15.

2 Proof of the Main Result

In this section, we prove Theorem 4. Let G be a graph of sufficiently large maximum degree \(\Delta \) and consider an assignment of lists \(\mathcal {L}'\) with \(|\mathcal {L}'(e)| \ge \frac{\Delta }{2}+ 3\sqrt{\Delta } \log ^4 \Delta \) for every edge e of G. Our goal is to find a 2-edge-colouring of G from \(\mathcal {L}\), which does not contain monochromatic cycles. It is instructive to approach this problem via 1-edge-colourings. Consider the list product \(\mathcal {L}(e) = \mathcal {L}'(e) \times \{1,2\}\), which satisfies

$$\begin{aligned} |\mathcal {L}(e)| \ge \Delta + 6\sqrt{\Delta } \log ^4 \Delta \end{aligned}$$
(2.1)

for every edge e. We say that colours (c, 1) and (c, 2) are twins. Molloy and Reed [10] refined an approach of Kahn [8] to obtain a 1-edge-colouring of G from \(\mathcal {L}\) by iteratively colouring the edges using a random colouring procedure. Note that this translates to a 2-edge-colouring from \(\mathcal {L}'\). However such a colouring could potentially contain a monochromatic cycle. Fortunately, we can prevent such cycles from arising by a minor but clever modification of the random colouring process. In the following we explain this idea in more detail.

The rest of this section is organized as follows. In the next subsection, we discuss how the random colouring approach can be modified to account for monochromatic cycles. In Sect. 2.2, we embed our modification into a standard exposition of the iterative colouring procedure of Molloy and Reed [11] and then finish the proof of Theorem 4.

2.1 Modifying the Random Colouring Procedure

The iterative random colouring procedure, which has been used to obtain 1-edge-colourings, is a fairly straight forward process. In each step, a random colour from the lists of (still available) colours is assigned to each uncoloured edge. Then all arising conflicts are uncoloured. It can be shown that with positive probability, this results in a well-behaved partial 1-edge-colouring allowing for the repetition of the process until most edges of the graph have been coloured. To prove Theorem 4, we need in addition to prevent monochromatic cycles from emerging.

Hence we modify the procedure as follows. In each step, we also uncolour edges that are on cycles whose colour assignments have left them ‘dangerously close’ to becoming monochromatic under \(\mathcal {L}'\). As we will see, the error terms resulting from this change are dwarfed by already existing error terms. Hence the procedure can be carried out essentially in the same way as before. In what follows, we introduce the appropriate notation to capture this idea and discuss further details.

Let us remark that, for the remainder of the proof, we focus our analysis largely on the list product \(\mathcal {L}(e)\), whose size is bounded in inequality (2.1). We say that an edge-colouring is partial for G, if it is an edge colouring of a subgraph of G. Throughout the colouring procedure, we have to keep track of the overall status of the colouring. This is why the following definitions are stated in the context of lists \(L(e)\subseteq \mathcal {L}(e)\) of (yet unused) colours and a partial edge-colouring \(\gamma \) of G.

Definition 5

(Dangerous paths) Let \(\gamma \) be a partial 1-edge-colouring of G. Consider vertices uv and twin colours \(c,c'\). We say that a path P is dangerous for (uvc) under \(\gamma \), if

  • P starts with u and ends with v and

  • the edges of P are coloured alternately with c and \(c'\), starting and ending with \(c'\).

To motivate this definition, consider a dangerous path P for some (uvc) such that \(e=uv\) is an uncoloured edge with \(c \in L(uv)\). Observe that if e is coloured with c, then \(P+e\) would be a monochromatic cycle with respect to the original lists \(\mathcal {L}'\). Such peril is not acceptable. We will therefore monitor certain suspicious paths, which are, informally speaking, candidates for becoming dangerous. During our colouring procedure, we remove c from L(e), whenever a dangerous path for (uvc) emerges.

Definition 6

(Suspicious paths) Let \(\gamma \) be a partial 1-edge-colouring of G, consider sublists \(L(e)\subseteq \mathcal {L}(e)\) of the product lists and let \(c,c'\) be twin colours. A path \(P=(v_1,\dots ,v_s)\) is suspicious for (uvc) if the following holds:

  • P starts with u, ends with v and its last edge \(v_{s-1}v_s\) is uncoloured.

  • If \(v_iv_{i+1}\) is uncoloured, then

    $$\begin{aligned} L(v_iv_{i+1}) \ni {\left\{ \begin{array}{ll} c' &{}\text {if}\, i\,\text { is odd and}\\ c &{}\text {if}\, i\,\text { is even}. \end{array}\right. } \end{aligned}$$
  • If \(v_iv_{i+1}\) is coloured, then

    $$\begin{aligned} \gamma (v_iv_{i+1})= {\left\{ \begin{array}{ll} c' &{}\text {if}\, i\,\text { is odd and}\\ c &{}\text {if}\, i\,\text { is even}. \end{array}\right. } \end{aligned}$$

The uncoloured length of P is the number of its uncoloured edges. We let \(P_{L,\gamma }(u,v,c;k)\) be the union of suspicious for (uvc) paths of uncoloured length k and set \(P_{L,\gamma }(u,c;k) := \bigcup _{v \in G} P_{L,\gamma }(u,v,c;k)\).

Note that preventing dangerous paths introduces new errors in the parameters that guide the original iterative colouring procedure. Fortunately however, the overall effects of this alteration turns out to be negligible in comparison to other error terms. This is because, firstly, only suspicious paths can become dangerous and, secondly, the number of suspicious paths is dominated by the reciprocal of the probability of a suspicious path becoming dangerous. Let us now formalize this discussion.

As usual in this line of research, we can restrict our analysis to the neighbours that are relevant to specific colours.

Definition 7

(Colour neighbours) Given a partial 1-edge-colouring \(\gamma \) of G from some lists \(L(e)\subseteq \mathcal {L}(e)\), we define the colour neighbours of a vertex v and a colour c, denoted by \(N_{G,L,\gamma }(v,c)\), to be the set of uncoloured edges f incident to v with \(c \in L(f)\).

We begin by bounding the number of suspicious paths.

Observation 8

Let \(\gamma \) be a partial 1-edge-colouring of G and consider sublists \(L(e)\subseteq \mathcal {L}(e)\) of the product lists. Suppose that there is a constant N such that \(|N_{G,L,\gamma }(w,c)| \le N\) for every vertex w and colour c. Then we have \(|P_{L,\gamma }(u,v,c;k)|\le N^{k-1}\) and \(|P_{L,\gamma }(u,c;k)|\le N^{k}\) for all vertices uv colours c and integers k.

Proof

We show the observation for \(P_{L,\gamma }(u,c;k)\) by induction on the uncoloured length k. The base case \(k=1\) is simple. Since \(\gamma \) is a partial 1-edge-colouring of G, there is a unique edge maximal path P starting from u, which is coloured with c and \(c'\) starting with \(c'\). Suppose first that the last edge of P is coloured with c. By assumption there are at most N possibilities to continue P with an edge whose list contains \(c'\). Of course, the same conclusion holds when the last edge of P is coloured with \(c'\). We have thus verified the induction start \(|P_{L,\gamma }(u,c;1)|\le N\). For the induction step, observe that, for \(k\ge 2\), every path of \(P_{L,\gamma }(u,c;k)\) is the extension of a path of \(P_{L,\gamma }(u,c;k-1)\). Using the same argument as before, we see that every path of \(P_{L,\gamma }(u,c;k-1)\) extends to at most N paths from \(P_{L,\gamma }(u,c;k)\). Hence, by induction hypothesis \(|P_{L,\gamma }(u,c;k)|\le N^{k}\).

The case of \(P\in P_{L,\gamma }(u,v,c,k)\) is proved analogously. However, as there is no choice for the last vertex (which has to be v), we obtain \(|P_{L,\gamma }(u,v,c,k)|\le N^{k-1}\). \(\square \)

The next observation teases the start of our random colouring procedure and bounds the probability of a suspicious path becoming dangerous.

Observation 9

Let \(\gamma \) be a partial 1-edge-colouring of G from some lists \(L(e)\subseteq \mathcal {L}(e)\). Let \(0 \le p\le 1\) and L be an integer such that \(|L(e) |= L\) for every edge e. Let \(\gamma '\) be an extension of \(\gamma \) obtained as follows:

  1. (I)

    Activate each uncoloured edge with probability \(p\).

  2. (II)

    Assign to each activated edge e a colour chosen uniformly at random from L(e).

Then the probability that a suspicious path \(P \in P_{L,\gamma }(u,v,c;k)\) is dangerous for (uvc) under \(\gamma '\) is \((p/L)^{k}\).

Proof

The probability that an edge e is activated and assigned some colour \(\alpha \in L(e)\) is \(p/L\). Since activations and colour assignments are independent and P has uncoloured length k, the observation follows. \(\square \)

In practise, we can assume that the parameters N and L of Observations 8 and 9 satisfy \(L \ge N\) and \(p\) is an absolute constant less than one. Hence under the assumptions of Observations 8 and 9, the expected number of suspicious paths around an edge uv under \(\gamma \) that become dangerous under \(\gamma '\) (defined as in Observation 9) is

$$\begin{aligned}&\sum _{c \in L(uv)} \sum _{k\ge 1} \left( \frac{p}{ L}\right) ^k |P_{L,\gamma }(u,v,c;k)| \le L \sum _{k\ge 1} \left( \frac{p}{ L}\right) ^{k} N^{k-1}\\&\quad = p\sum _{k\ge 0} \left( \frac{pN}{ L}\right) ^k = \frac{p}{1-pN/L} =O\left( 1\right) . \end{aligned}$$

The reason why we are using an activation probability \(p\) in our procedure is that it allows us to conveniently bound the term in the last step. Figuratively speaking, the activations result in slowing down the iterative colouring procedure, allowing for more precision when preventing dangerous paths. In any case, by Markov’s inequality we can guarantee that with high probability, at most O(1) dangerous paths emerge for the edge uv. This term is dominated by the error terms of order \(O({\sqrt{L}})\) arising from the (inevitable) concentration analysis elsewhere in the procedure. Hence, deleting the respective colours from L(uv) and uncolouring uv (if necessary) does not have a significant effect on the remainder of the analysis.

We remark that in the actual proof, a slight variation of this idea is used. For the application of probabilistic tools such as the Lovász Local Lemma and Talagrand’s inequality (see Sects. 4 and 5), we will need to control the dependencies of events related to an edge uv. For this purpose, it will be convenient to consider only suspicious paths P(uvck) up to a bounded number of uncoloured edges \(k < \ell \). After this point, we simply keep track of the suspicious paths with \(\ell \) uncoloured edges starting (but not necessarily ending) in u or v, more precisely \(P(u,c;\ell ) \cup P(v,c;\ell )\). This cut-off comes at the cost of a factor of N in the number of suspicious paths (as seen in Observation 8). However, a straight forward calculation shows that the overall error is still bounded as above, provided that \(p/ {L} \ge p^{2\ell }\). (The details can be found in Sect. 4.) Thus, in practise we can take \(\ell = 2\log \Delta \ge 2\log N\) and \(p =1/4\), where \(\Delta \) is the maximum degree of G. Having discussed the differences to the usual colouring procedure, let us continue with the proof of Theorem 4.

2.2 Adapting Former Work

In the following, we describe the details of the iterative random colouring procedure. Apart from the above discussed modification, the proof is essentially the same as in the setting of ordinary 1-edge-colourings. Our exposition therefore follows closely the one presented in the textbook of Molloy and Reed [11] on this topic.

As a reminder, the iterative random colouring procedure is carried out as follows. In each step, pick a random colour from the list of (still available) colours for each uncoloured edge. Then uncolour all arising conflicts. It can be shown that with positive probability, this results in a well-behaved partial 1-edge-colouring allowing for the repetition of this process until most edges of the graph have been coloured. Once this is done, we can complete the colouring with the following lemma of Alon [3] using a fresh set of colours that was reserved beforehand. (We will apply Lemma 10 with the original lists \(\mathcal {L}'\). So trivially, no new monochromatic cycles are generated.)

Lemma 10

(Finishing blow) Let G be a graph with an assignment of lists L(e) to the edges such that \(|L(e)| \ge L\) for some constant L. Suppose that there is a constant N such that for every edge e and colour c,  there are at most N edges f incident with e such that \(c \in L(f)\). If \(L \ge 8 N,\) then G has a 1-edge-colouring from the lists L.

In the rest of this section, we discuss the colour reservations (Lemma 11), introduce a set of parameters to guide the iterative colouring process (Setup 13 and Lemma 14) and formulate a claim that captures the status of the colouring before and after each step (Claim 15). Finally, we combine these results to prove Theorem 4.

Reservations. As mentioned above, we will set a few colours aside, which shall be used to finish the colouring later on. For each vertex v, we select a set of colours \(\textrm{Reserve}(v)\) from the lists of edges incident to v. The next lemma states that we can choose the sets \(\textrm{Reserve}(v)\) in a well-distributed way. The proof is a standard application of concentration inequalities (Chernoff’s bound).

Lemma 11

(Reserve colours [11, Lemma 14.6]) For \(\Delta \) large enough the following holds. Let G be a graph with an assignment of lists \(\mathcal {L}\) such that \(|\mathcal {L}(e)| \ge \Delta + 6\sqrt{\Delta } \log ^4 \Delta .\) Then, for each vertex v,  we can choose \(\textrm{Reserve}(v) \subseteq \mathcal {L}(v)\) such that for every edge \(e=uv\) and colour \(c \in \textrm{Reserve}(v)\):

  1. (a)

    \(|\mathcal {L}(e) \cap (\textrm{Reserve}(u) \cup \textrm{Reserve}(v))| \le 3 \sqrt{\Delta } \log ^4 \Delta ,\)

  2. (b)

    \(|\mathcal {L}(e) \cap (\textrm{Reserve}(u) \cap \textrm{Reserve}(v))| \ge \log ^8 \Delta /2,\) and

  3. (c)

    \(|\{u \in N(v) :c \in \textrm{Reserve}(u)\cap \mathcal {L}(uv)\}| \le 2 \sqrt{\Delta } \log ^4 \Delta \).

Given the sets \(\textrm{Reserve}(v)\), we define for each edge \(e=uv\),

$$\begin{aligned} L_0(e)&= \mathcal {L}(e) \setminus (\textrm{Reserve}(u) \cup \textrm{Reserve}(v)) \text { and} \end{aligned}$$
(2.2)
$$\begin{aligned} \textrm{Reserve}(e)&= \mathcal {L}(e) \cap (\textrm{Reserve}(u) \cap \textrm{Reserve}(v)). \end{aligned}$$
(2.3)

During the iterative colouring procedure, we colour G only from colours of \(L_0(e)\). In the final step, we colour the remainder of the graph from the colours of \(\textrm{Reserve}(e)\) using Lemma 10. To this end, we need to monitor the relation between uncoloured edges and the reserved colours.

Definition 12

For a partial edge-colouring \(\gamma \) of G, we let \(R_{\gamma }(v,c)\) be the set of uncoloured edges uv with \(c \in \textrm{Reserve}(u)\).

This concludes the details for the reservation of colours.

Parameters. Next, we define a number of parameters used to track the sizes of the lists of (still available) colours and other objects throughout the iterative colouring procedure.

Setup 13

Let \(p=1/4\) and \(\ell = 2 \log \Delta \) and define recursively:

$$\begin{aligned}&L_0 = \Delta + {6\sqrt{\Delta } \log ^4 \Delta },&L_{i+1}&= L_i \cdot \textrm{Keep}_i^2 - \sqrt{L_i} \log ^2 \Delta ,\\&N_0 = \Delta ,&N_{i+1}&= N_i \cdot \textrm{Keep}_i \cdot \left( 1- p\textrm{Retain}_i^2 \right) + \sqrt{N_i} \log ^2 \Delta ,\\&R_0 = 2\sqrt{\Delta } \log ^4 \Delta ,&R_{i+1}&= R_i \cdot \left( 1- p\textrm{Retain}_i^2 \right) + \sqrt{R_i}\log ^2 \Delta ,\\&\textrm{Retain}_i = \left( 1-{\frac{p}{L_i}}\right) ^{N_i-1},&\textrm{Keep}_i&= 1- p\frac{N_i}{L_i} \cdot \textrm{Retain}_i^2 \text { and}\\&i_0 = \min \{i :L_i < 3 \log ^7 \Delta \}. \end{aligned}$$

We note that in the final procedure \(\textrm{Retain}_i^2\) will be the probability that an edge retains an assigned colour and \(\textrm{Keep}_i^2\) will be the probability that the list of an edge keeps a particular colour. The following lemma follows from a straightforward calculation. We omit the proof.

Lemma 14

(Molloy and Reed [10, Lemma 7]) Suppose that \(\Delta \) is sufficiency large and consider \(R_{i}, L_{i}, N_{i},i_0\) as in Setup 13. Then it follows that \(L_{i_0}, N_{i_0}, R_{i_0} > \log ^7 \Delta ,\) \(R_{i_0} \le 3 \log ^{7.5} \Delta ,\) \(R_{i}/L_{i} \le \log \Delta ,\) and \(L_i> N_i > L_i/2\) for each \(i \le i_0\).

We remark that the parameters \(R_i\) do not appear in the original statement, but are added (under the name of \(T_i\)) later on in the discussion on list colouring [10, Sect. 5]. In a similar vain, the inequality \(R_{i}/L_{i} \le \log \Delta \) also does not appear in the original statement, but easily follows from the proof. (See “Appendix A” for further elaboration.) Moreover, Molloy and Reed computed these bounds for \(p=1\), but the same proof and its conclusion hold for \(p=1/4\).

Iterations. During the iterative colouring procedure, we will track the (shrinking) lists of colours and colouring itself in order to ensure that no dangerous paths arise. The next claim presents the heart of the procedure.

The following definitions help us with the bookkeeping. A partial 1-edge-colouring \(\gamma \) of G from \(\mathcal {L}(e)\) is called twin-acyclic if it does not induce any cycle coloured (alternately) with twins. We say that lists \(L(e) \subseteq \mathcal {L}(e)\) are \(\gamma \)-compatible if both of the following hold:

  • if \(\gamma (f)=c\), then \(c \notin L(e)\) for all incident edges e and f,

  • if an edge \(e=uv\) is not coloured by \(\gamma \) and there exists a dangerous path for (uvc) under \(\gamma \), then \(c\not \in L(e)\).

Another edge-colouring \(\gamma '\) of G extends \(\gamma \), if every edge coloured by \(\gamma \) is coloured by \(\gamma '\) in the same way. Similarly, the lists L(e) extend lists \(L'(e) \subseteq \mathcal {L}(e)\), if \(L(e) \subseteq L'(e)\) for all edges e of G.

Claim 15

(Single colouring step) Given Setup 13 and \(\Delta \) large enough, the following holds for every \(0 \le i < i_0\). Suppose that there is a twin-acyclic 1-edge-colouring \(\gamma _i\) of G and \(\gamma _i\)-compatible lists of colours \(L_i(e) \subseteq \mathcal {L}(e)\) with the following properties: for every uncoloured edge \(e=uv\) and colour \(c \in L_i(e),\) we have

  1. (a)

    \(|L_i(e)| = L_i,\) and

  2. (b)

    \(|N_{G,L_i,\gamma _i}(v,c)| \le N_i,\) and

  3. (c)

    \(|R_{\gamma _i}(v,c)| \le R_i,\) and

  4. (d)

    there is no dangerous path for (uvc) under \(\gamma _i\).

Then it holds that: there exist a twin-acyclic 1-edge-colouring \(\gamma _{i+1}\) of G from \(\mathcal {L}(e)\) and \(\gamma _{i+1}\)-compatible lists of colours \(L_{i+1}(e)\) such that \(L_{i+1}(e),\gamma _{i+1}\) extend \(L_{i}(e),\gamma _{i}\). Moreover, for every uncoloured edge \(e=uv\) and colour \(c \in L_{i+1}(e),\) we have

(a\(')\):

\(|L_{i+1}(e)| = L_{i+1},\)

(b\(')\):

\(|N_{G,L_{i+1},\gamma _{i+1}}(v,c)| \le N_{i+1},\)

(c\(')\):

\(|R_{\gamma _{i+1}}(v,c)| \le R_{i+1},\) and

(d\(')\):

there is no dangerous path for (uvc) under \(\gamma _{i+1}\).

We prove Claim 15 in Sect. 3. For now, let us finish the proof of Theorem 4.

Finishing the proof. We iteratively apply Claim 15 starting with \(L_0(e)\), defined in (2.2), and the empty colouring of G, denoted by \(\gamma _0\). This yields a sequences of extensions \((L_i,\gamma _i)\) satisfying the outcome of Claim 15. In particular, each \(\gamma _{i}\) is a 1-edge-colouring, which does not contain any monochromatic cycle in terms of \(\mathcal {L}'\). After \(i_0\) steps, Lemma 14 yields that for every edge e and colour \(c \in \textrm{Reserve}(e)\), defined in (2.3), there are at most \(2R_{i_0} \le 6 \log ^{7.5} \Delta \) edges f incident to e for which \(c \in \textrm{Reserve}(f)\). On the other hand \(|\textrm{Reserve}(e)| \ge (\log ^8 \Delta )/2\) by Lemma 11. Denote the transposition of \(\textrm{Reserve}(e)\) to \(\mathcal {L}'\) by

$$\begin{aligned} \textrm{Reserve}'(e)=\{c:(c,1)\,\text { or}\, (c,2) \in \textrm{Reserve}(e)\}. \end{aligned}$$

Thus \(|\textrm{Reserve}'(e)| \ge (\log ^8 \Delta )/4\) and yet for every edge e and colour \(c \in \textrm{Reserve}'(e)\), there are at most \(4R_{i_0} \le 12 \log ^{7.5} \Delta \) edges f incident to e for which \(c \in \textrm{Reserve}'(f)\). We then finish by colouring the remaining uncoloured edges of G from the lists \(\textrm{Reserve}'(e)\) using Lemma 10. Since this is a 1-edge-colouring, no new monochromatic cycles are generated. Hence we have proved Theorem 4.

3 Proof of Claim 15

In this section we use a random colouring procedure to prove Claim 15. To state the procedure, we introduce a few further definitions. For convenience, we denote the lists by \(L(e)=L_i(e)\), colour neighbours by \(N(v,c)=N_{G,L_i,\gamma _i}(v,c)\) and \(R(v,c)=R_{\gamma _i}(v,c)\). The random colouring procedure involves two coin flips that will help us to bound some of the involved terms uniformly. Recall the definitions of Setup 13. For an edge e, a vertex v and a colour c, let

$$\begin{aligned} \textrm{Eq}(e,c)&= 1- \frac{\textrm{Retain}_i^2}{ \left( 1- \frac{p}{L_i} \right) ^{| N(u,c)|+| N(v,c)|}} \text { and } \end{aligned}$$
(3.1)
$$\begin{aligned} \textrm{Vq}(v,c)&= 1-\frac{\textrm{Keep}_i}{1- \frac{p}{L_i} |N(v,c)| \textrm{Retain}_i^2}. \end{aligned}$$
(3.2)

Note that by assumption (b) of Claim 15, we have \(|N(u,c)|, |N(v,c)| \le N_i\). Moreover, \(L_i > N_i\) by Lemma 14 and as \(i <i_0\). Hence, it follows that \(0 \le \textrm{Eq}(e,c),\textrm{Vq}(v,c) \le 1\), which qualifies these terms to play the role of a coin flip probability.

Now we colour (some of) the edges of G using the following random process:

Random colouring procedure.

  1. (I)

    Edge activation. Activate each uncoloured edge with probability \(p\).

  2. (II)

    Assign colours. Assign to each activated edge e a colour chosen uniformly at random from L(e).

  3. (III)

    Resolve conflicts. Uncolour every edge e, which is assigned the same colour as an incident edge. If e is assigned colour c and no neighbour was assigned e, then uncolour e with probability \(\textrm{Eq}(e,c)\).

  4. (IV)

    Update lists. For every vertex v and colour c, if c is retained by some edge in N(vc), then remove c from the lists L(f) of all other edges \(f \in N(v,c)\). If c is not retained by an edge in N(vc), then with probability \(\textrm{Vq}(v,c)\) remove c from the lists L(f) of all edges \(f \in N(v,c)\).

Let us denote the partial 1-edge-colouring and lists of colours after step (IV) of the procedure by \(\gamma '\) and \(L'(e)\). We also abbreviate \(N'(v,c)=N_{G,L',\gamma '}(v,c)\) and \(R'(v,c)=R_{\gamma '}(v,c)\). A concentration analysis shows that the sizes of the random variables \(L'(e)\), \(N'(v,c)\) and \(R'(v,c)\) are (individually) bounded with high probability. The proof of Claim 16 is fairly standard by now (see for instance the monograph of Molloy and Reed [11]). For sake of completeness, the details of the argument are spelled out in “Appendix B”.

Claim 16

(Molloy and Reed [11, Claim 14.9–14]) Fix an edge e,  a vertex v and a colour c. It holds with probability at least \(1-\Delta ^{-10\log \Delta }\) that

$$\begin{aligned} |L'(e)|&\ge L_i \cdot \textrm{Keep}_i^2 - \tfrac{1}{2} \sqrt{L_i} \log ^2 \Delta ,\\ |N'(v,c)|&\le N_i \cdot \textrm{Keep}_i \cdot \left( 1- p\textrm{Retain}_i^2 \right) + \tfrac{1}{2}\sqrt{N_i} \log ^2 \Delta , \textrm{and}\\ |R'(v,c)|&\le R_i \cdot \textrm{Keep}_i + \tfrac{1}{2} \sqrt{R_i} \log ^2 \Delta . \end{aligned}$$

Note that we could finish with an application of the Lovász Local Lemma at this point and obtain lists and a 1-edge-colouring that would satisfy (a\('\))–(c\('\)) of Claim 15. If our goal was to obtain a (partial) 2-edge-colouring of G from \(\mathcal {L}'\), then this would be the end of the proof. However, we also want to suppress dangerous paths, as formalized in (d\('\)).

Consider an edge \(e=uv\) and colour c such that there is a dangerous path P for (uvc) under \(\gamma '\). By condition (d) of Claim 15, P must have an edge that was uncoloured under \(\gamma \), which without loss of generality we can assume to be e. Hence either there is some \(1 \le k <\ell \), where \(\ell \) was defined in Setup 13, such that \(P \in P(u,v,c;k)\) or P starts with a segment of \(P(u,c;\ell ) \cup P(v,c;\ell )\). We can therefore focus on dangerous paths that correspond to

$$\begin{aligned} P(u,v,c) := \bigcup _{k=1}^{\ell -1} P(u,v,c;k) \cup P(u,c;\ell ) \cup P(v,c;\ell ). \end{aligned}$$
(3.3)

The following modification, which we carry out after step (IV), deals with these paths.

  1. (V)

    Prevent dangerous paths. For every edge uv uncoloured in \(\gamma \) and colour \(c \in L(uv)\), if there is a path in P(uvc) that is dangerous for (uvc) after step (II), then remove c from L(uv). If e was assigned c also uncolour uv. [If c was already removed in step (III) or (IV), do nothing.]

We remark that step (V) is wasteful since colours are removed from the lists on basis of assignments and not retainments as in step (IV). While this increases the error term slightly, it also simplifies the analysis in the proof of Claim 18.

We denote the colouring after step (V) by \(\gamma ''\) and the lists of colours by \(L''\). Clearly \((\gamma '',L'')\) is an extension of \((\gamma ,L)\). Moreover, \(\gamma ''\) is still a 1-edge-colouring and also satisfies (d\('\)) of Claim 15. It remains to show that \(\gamma ''\) satisfies (a\('\))–(c\('\)). To this end, we need to now bound the additional error terms related to step (V). The following random variables help us to track the deviations.

Definition 17

Consider an (in \(\gamma \)) uncoloured edge uv and a colour c.

  • Let X(uv) be the set of colours \(c\in L(uv)\) for which there is a path in P(uvc) that is dangerous for (uvc) after step (II).

  • Let Y(vc) be the set of edges \(vw \in N(v,c)\) for which there is a path in P(vwc) that is dangerous for (vwc) after step (II).

  • Let Z(vc) be the set of edges vw with \(c \in \textrm{Reserve}(w)\), for which there is a path in P(vwc) that is dangerous for (vwc) after step (II).

Note that

$$\begin{aligned} |L''(e)|&\ge |L'(e)| - |X(e)|,\\ |N''(v,c)|&\le |N'(v,c)| + |Y(v,c)|, \text { and } \\| R''(v,c) |&\le |R'(v,c)| + |Z(v,c)|. \end{aligned}$$

The next claim shows that the sizes of X(e), Y(vc) and Z(vc) are bounded with high probability.

Claim 18

Fix an edge e,  a vertex v and a colour c. It holds with probability at least \(1-\Delta ^{-10\log \Delta }\) that

$$\begin{aligned} |X(e)|&\le \tfrac{1}{4} \sqrt{L_i} \log ^2 \Delta ,\\ |Y(v,c)|&\le \tfrac{1}{4} \sqrt{N_i} \log ^2 \Delta , \text { and} \\ |Z(v,c)|&\le \tfrac{1}{4} \sqrt{R_i} \log ^2 \Delta . \end{aligned}$$

We give a proof of Claim 18 in Sect. 4. Our final claim shows that the sizes of the above defined random variables can be bounded simultaneously.

Claim 19

With positive probability, the conclusions of Claims 16 and 18 hold for all edges e,  vertices v and a colours c.

The proof of Claim 19 can be found in Sect. 5. For now, we continue with the proof of Claim 15. Denote by \(N''(v,c)\), \(R''(v,c)\) the objects obtained from \(N'(v,c)\), \(R'(v,c)\) after step (V). By Claim 19, we can choose the colour assignments such that

$$\begin{aligned} |L''(e)|&\ge \left( L_i \cdot \textrm{Keep}_i^2 - \tfrac{1}{2} \sqrt{L_i} \log ^2 \Delta \right) - \left( \tfrac{1}{2} \sqrt{L_i} \log ^2 \Delta \right) = L_{i+1},\\ |N''(v,c)|&\le \left( N_i \cdot \textrm{Keep}_i \cdot \left( 1- p\textrm{Retain}_i^2 \right) + \tfrac{1}{2}\sqrt{N_i} \log ^2 \Delta \right) \\&\quad + \left( \tfrac{1}{2} \sqrt{N_i} \log ^2 \Delta \right) = N_{i+1}, \text { and }\\ |R''(v,c)|&\le \left( R_i \cdot \textrm{Keep}_i + \tfrac{1}{2} \sqrt{R_i} \log ^2 \Delta \right) + \left( \tfrac{1}{2} \sqrt{R_i} \log ^2 \Delta \right) = R_{i+1}. \end{aligned}$$

Take \(L_{i+1}(e)=L''(e)\) and \(\gamma _{i+1} = \gamma ''\). Note that \(\gamma _{i+1}\) is twin-acyclic and the lists \(L_{i+1}(e)\) are \(\gamma _{i+1}\)-compatible by Claims 16 and 18 due to steps (IV) and (V) of the procedure. Lastly, to ensure that \(|L_{i+1}(e)|=L_{i+1}\), we delete \(|L_{i+1}(e)|-L_{i+1}\) colours from every list \(L_{i+1}(e)\) with \(|L''(e)| > L_{i+1}\). This finishes the proof of Claim 15.

4 Cycle Modification Analysis

In this section, we prove Claim 18. Our approach relies on a straightforward concentration analysis. First we show that the expectation of |X(e)| and |Y(vc)| are bounded by \(4p\) and the expectation of |Z(vc)| is bounded by \(4p\log \Delta \). Then we show that with high probability, neither of those random variables deviates by more than \(\tfrac{1}{2}\sqrt{L_i} \log ^2 \Delta \) (\(\sqrt{N_i}\), \(\sqrt{R_i}\) respectively) from their expectation.

4.1 Expectation

Let us start with the expectation of X(e) for an edge \(e=uv\). As a reminder, this is the set of colours \(c\in L(uv)\) for which there is a path in P(uvc) that is dangerous for (uvc) after step (II). By (3.3), such a path P is in \(P(u,c;\ell )\), \(P(v,c;\ell )\) or P(uvck) for some \(1 \le k \le \ell -1\). Since \(\gamma \) is a 1-edge-colouring and by (b) of Claim 15, we can use Observation 8 to bound \(|P(u,c;\ell )|\), \(|P(v,c;\ell )| \le N_i^{\ell }\) and \(|P(u,v,c;k)| \le N_i^{k-1}\) for every \(1 \le k \le \ell -1\). Moreover, the probability that \(P \in P(u,v,c;k)\) is dangerous for (uvc) after step (II) is \((p/ L_i)^{k}\). Similarly, the probability that \(P \in P(u,c;\ell )\) is dangerous for (uvc) after step (II) is \((p/ L_i)^{\ell }\) by Observation 9. Also note that by choice of \(p=1/4\) and \(\ell =2\log \Delta \) in Setup 13, we have

$$\begin{aligned} p^{\ell } = p\cdot \frac{1}{4^{2 \log \Delta -1}} \le \frac{p}{2\Delta } \le \frac{p}{L_i}. \end{aligned}$$

Together, we can bound the probability that a path in P(uvc) is dangerous for (uvc) after step (II) by

$$\begin{aligned}&2 \left( \frac{pN_i}{L_i} \right) ^{\ell } + \frac{p}{L_i} \sum _{k=0}^{{\ell }-1} \left( \frac{pN_i}{L_i}\right) ^k \\&\quad \le 2p^{{\ell }} + \frac{p}{L_i} \cdot \frac{ 1}{1-\frac{pN_i}{L_i}} \le \frac{4p}{L_i}, \end{aligned}$$

where we used in the penultimate inequality that \(L_i\ge N_i\), which holds by Lemma 14. Linearity of expectation then gives \(\textbf{E}(|X(e)|) \le 4p\). The expectations of Y(vc) and Z(vc) follow analogously, since \(|N(v,c)| \le N_i\), \(|R(v,c)| \le R_i\) by assumption and \(N_i \le L_i\) and \(R_i / L_i \le \log \Delta \) by Lemma 14.

4.2 Concentration

We use Talagrand’s inequality to show that the random variables XYZ are highly concentrated around their expectation.

Theorem 20

(Talagrand’s inequality [12]) Let X be a non-negative random variable determined by the independent trials \(T_1,\ldots ,T_n\). Suppose that for every set of possible outcomes of the trials, we have:

  1. (i)

    changing the outcome of any one trial can affect X by at most c and

  2. (ii)

    for each \(s > 0,\) if \(X \ge s\) then there is a set of at most rs trials whose outcomes certify \(X \ge s\).

Then for any \(t > 96c \sqrt{r \textbf{E}(X)} + 128rc^2\) we have

$$\begin{aligned} \textbf{Pr}(|X-\textbf{E}(X)| > t) \le 4 \exp \left( {-\frac{t^2}{8c^2r(4\textbf{E}(X)+t)}}\right) . \end{aligned}$$

Fix an edge \(e=uv\) and let us abbreviate \(X = |X(e)|\). Our intention is to apply Talagrand’s inequality to X with \(c=2\), \(r=\ell \) and \(t=\tfrac{1}{4}\sqrt{L_i} \log ^2\Delta \). Note that changing any the outcome of the edge activation in step (I) or colour assignment in step (II) can affect the size of X by at most 2. This is because at most one colour might be added to or removed from X(e) this way. Moreover, if \(X \ge s\), then for every colour \(c \in X(e)\), there must be a path in \(P \in P(u,v,c)\) together with at most \( \ell \) edges of P that have been activated and assigned either c or its twin colour. (Here it becomes apparent why we chose to restrict the paths in P(uvc) to \(\ell \) edges.) Recall that by assumption as \(i < i_0\), we have that \(L_i \ge \log ^7 \Delta \). Moreover, \(\textbf{E}(X) \le 4p\) by the above. Since \(\Delta \) is large enough, we have

$$\begin{aligned} t=\tfrac{1}{2}\sqrt{L_i} \log ^2\Delta \ge \log ^5 \Delta >192 \sqrt{4p\ell } + 512\ell \ge 96c \sqrt{r \textbf{E}(X)} + 128rc^2. \end{aligned}$$

Hence we obtain from Talagrand’s inequality (Theorem 20) that

$$\begin{aligned}&\textbf{Pr}(|X-\textbf{E}(X)| > t) \le 4 \exp \left( {-\frac{t^2}{8c^2r(4\textbf{E}(X)+t)}}\right) \le \exp \left( -\frac{\sqrt{L_i}\log \Delta }{2^9}\right) \\&\quad \le \Delta ^{-10\log \Delta }, \end{aligned}$$

where we used \(4\textbf{E}(X)\le t\) and \(r=\ell = 2 \log \Delta \) in the second inequality. The concentration of Y(vc) and R(vc) follows along the same lines.

5 Uniform Bounds

In this section, we prove Claim 19. We require the Lovász Local Lemma [6].

Lemma 21

(Lovász Local Lemma) Let \(A_1,\dots ,A_n\) be events in an arbitrary probability space. Suppose that each event \(A_i\) is mutually independent of all but at most d other events, and that \(\textbf{Pr}(A_i) \le p\) for all \(1 \le i \le n\). If \(e p (d+1) \le 1,\) then \(\textbf{Pr}\left( \bigwedge _{i=1}^n \overline{A_i} \right) >0\).

Recall the definition of suspicious paths (Definition 6). We say that a path P is suspicious for a colour c if there are vertices u, v such that P is suspicious for (uvc). The following observation follows in the same fashion as Observation 8 [using that \(\gamma \) is a 1-edge-colouring and conditions (a), (b) of Claim 15]. We omit the proof.

Observation 22

For every uncoloured edge e,  there are at most \(L_iN_i^\ell \) paths of length at most \(\ell \) which start with e and are suspicious for some colour \(c \in L(e)\).

Finally, we prove Claim 19.

Proof of Claim 19

We wish to apply the Lovász Local Lemma. To this end, let us discuss the dependencies between the random variables \(L'(e)\) , \(N'(v,c)\), \(R'(v,c)\), X(e), Y(vc) and Z(vc).

The variables \(L'(e)\) , \(N'(v,c)\) and \(R'(v,c)\) are determined by the activations and colour assignments to edges of distance at most 2 to v or e in the graph G. Hence random variables of type \(L'(e)\) , \(N'(v,c)\) and \(R'(v,c)\) are each independent of all but at most \((2N_iL_iR_i)^2\) random variables of type \(L'(\cdot )\) , \(N'(\cdot ,\cdot )\) and \(R'(\cdot ,\cdot )\).

The dependency relations associated with random variables of type X(e), Y(vc) and Z(vc) are a bit more delicate. This is because the events determining these variables are not constrained by graph distance.

Consider an uncoloured edge e. In the following, we bound the number of random variables of type \(X(\cdot )\) that X(e) is not independent of. Let f be another uncoloured edge. Observe that the random variables X(e) and X(f) are independent unless the following holds. There are suspicious paths \(P,P'\) for colours \(c \in L(e)\), \(c'\in L(f)\) that start with ef, respectively. Moreover, P and \(P'\) have each at most \(\ell \) uncoloured edges and cross in an uncoloured edge g. In light of Observation 22, it follows that X(e) is independent of all but at most \((L_iN_i^\ell )^2\) random variables of type X(f). Note that the first factor \(L_iN_i^\ell \) comes from counting the suspicious paths starting at e, while the second factor comes from counting the suspicious paths starting at g (as described before).

In the same way, we can argue that X(e) is independent of all but at most \((L_iN_i^\ell )(L_iN_i^{\ell +1})\) random variables of type Y(vc). Note that here, the second factor counts the at most \(L_iN^{\ell }\) suspicious paths ending in one of the at most \(N_i\) edges of N(vc). We also obtain independence for X(e) of all but at most \((L_iN_i^\ell )(L_iN_i^{\ell }R_i)\) random variables of type Z(vc). Finally, we see that X(e) is independent of all but at most \((L_iN_i^\ell )(2L_i^2)\), \((L_iN_i^\ell )(2N_i^2)\) and \((L_iN_i^\ell )(2R_i^2)\) random variables \(L'(f)\), \(N'(v,c)\) and \(R'(v,c)\), respectively. This concludes the analysis of the dependency relations for the random variable X(e).

Analogous statements can be made from the perspective of random variables Y(vc), Z(vc), \(L'(e)\), \(N'(v,c)\) and \(R'(v,c)\). Since the arguments are identical, we omit the details. In summary, each of the discussed random variables is independent of all but at most

$$\begin{aligned} d= 6(2L_i N_i^{\ell +1} R_i)^2 \le \Delta ^{4\ell } = \Delta ^{8\log \Delta } \ll \Delta ^{10\log \Delta } \end{aligned}$$

of the other random variables. Hence we can apply the Lovász Local Lemma (Lemma 21) with d and \(p=\Delta ^{-10\log \Delta }\). It follows that with positive probability the outcome satisfies the conclusions of Claims 16 and 18 hold simultaneously for all edges e, vertices v and colours c. \(\square \)