Abstract
In 1980, Akiyama, Exoo and Harary posited the Linear Arboricity Conjecture which states that any graph G of maximum degree \(\Delta \) can be decomposed into at most linear forests. (A forest is linear if all of its components are paths.) In 1988, Alon proved the conjecture holds asymptotically. The current best bound is due to Ferber, Fox and Jain from 2020 who showed that \(\frac{\Delta }{2}+ O(\Delta ^{0.661})\) suffices for large enough \(\Delta \). Here, we show that G admits a decomposition into at most \(\frac{\Delta }{2}+ 3\sqrt{\Delta } \log ^4 \Delta \) linear forests provided \(\Delta \) is large enough. Moreover, our result also holds in the more general list setting, where edges have (possibly different) sets of permissible linear forests. Thus our bound also holds for the List Linear Arboricity Conjecture which was only recently shown to hold asymptotically by Kim and the second author. Indeed, our proof method ties together the Linear Arboricity Conjecture and the wellknown List Colouring Conjecture; consequently, our error term for the Linear Arboricity Conjecture matches the best known errorterm for the List Colouring Conjecture due to Molloy and Reed from 2000. This follows as we make two copies of every colour and then seek a proper edge colouring where we avoid bicoloured cycles between a colour and its copy; we achieve this via a clever modification of the nibble method.
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 wellknown 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 Lcolouring 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 tedgecolouring 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 2edgecolouring that does not induce any monochromatic cycles. Kim and the second author [9] noted that results for list tedgecolouring 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 2edgecolouring (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
for every edge e of G, then there is a 2edgecolouring 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 2edgecolouring of G from \(\mathcal {L}\), which does not contain monochromatic cycles. It is instructive to approach this problem via 1edgecolourings. Consider the list product \(\mathcal {L}(e) = \mathcal {L}'(e) \times \{1,2\}\), which satisfies
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 1edgecolouring of G from \(\mathcal {L}\) by iteratively colouring the edges using a random colouring procedure. Note that this translates to a 2edgecolouring 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 1edgecolourings, 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 wellbehaved partial 1edgecolouring 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 edgecolouring 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 edgecolouring \(\gamma \) of G.
Definition 5
(Dangerous paths) Let \(\gamma \) be a partial 1edgecolouring of G. Consider vertices u, v and twin colours \(c,c'\). We say that a path P is dangerous for (u, v, c) 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 (u, v, c) 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 (u, v, c) emerges.
Definition 6
(Suspicious paths) Let \(\gamma \) be a partial 1edgecolouring 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 (u, v, c) if the following holds:

P starts with u, ends with v and its last edge \(v_{s1}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 (u, v, c) 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 1edgecolouring \(\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 1edgecolouring 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^{k1}\) and \(P_{L,\gamma }(u,c;k)\le N^{k}\) for all vertices u, v 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 1edgecolouring 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;k1)\). Using the same argument as before, we see that every path of \(P_{L,\gamma }(u,c;k1)\) 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^{k1}\). \(\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 1edgecolouring 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:

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

(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 (u, v, c) 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
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(u, v, c; k) 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 cutoff 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 1edgecolourings. 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 wellbehaved partial 1edgecolouring 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 1edgecolouring 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 welldistributed 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)\):

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

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

(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\),
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 edgecolouring \(\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:
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 1edgecolouring \(\gamma \) of G from \(\mathcal {L}(e)\) is called twinacyclic 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 (u, v, c) under \(\gamma \), then \(c\not \in L(e)\).
Another edgecolouring \(\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 twinacyclic 1edgecolouring \(\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

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

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

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

(d)
there is no dangerous path for (u, v, c) under \(\gamma _i\).
Then it holds that: there exist a twinacyclic 1edgecolouring \(\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 (u, v, c) 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 1edgecolouring, 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
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 1edgecolouring, 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
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.

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

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

(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)\).

(IV)
Update lists. For every vertex v and colour c, if c is retained by some edge in N(v, c), 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(v, c), 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 1edgecolouring 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
Note that we could finish with an application of the Lovász Local Lemma at this point and obtain lists and a 1edgecolouring that would satisfy (a\('\))–(c\('\)) of Claim 15. If our goal was to obtain a (partial) 2edgecolouring 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 (u, v, c) 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
The following modification, which we carry out after step (IV), deals with these paths.

(V)
Prevent dangerous paths. For every edge uv uncoloured in \(\gamma \) and colour \(c \in L(uv)\), if there is a path in P(u, v, c) that is dangerous for (u, v, c) 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 1edgecolouring 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(u, v, c) that is dangerous for (u, v, c) after step (II).

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

Let Z(v, c) be the set of edges vw with \(c \in \textrm{Reserve}(w)\), for which there is a path in P(v, w, c) that is dangerous for (v, w, c) after step (II).
Note that
The next claim shows that the sizes of X(e), Y(v, c) and Z(v, c) 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
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
Take \(L_{i+1}(e)=L''(e)\) and \(\gamma _{i+1} = \gamma ''\). Note that \(\gamma _{i+1}\) is twinacyclic 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(v, c) are bounded by \(4p\) and the expectation of Z(v, c) 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(u, v, c) that is dangerous for (u, v, c) after step (II). By (3.3), such a path P is in \(P(u,c;\ell )\), \(P(v,c;\ell )\) or P(u, v, c; k) for some \(1 \le k \le \ell 1\). Since \(\gamma \) is a 1edgecolouring 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^{k1}\) for every \(1 \le k \le \ell 1\). Moreover, the probability that \(P \in P(u,v,c;k)\) is dangerous for (u, v, c) after step (II) is \((p/ L_i)^{k}\). Similarly, the probability that \(P \in P(u,c;\ell )\) is dangerous for (u, v, c) 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
Together, we can bound the probability that a path in P(u, v, c) is dangerous for (u, v, c) after step (II) by
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(v, c) and Z(v, c) 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 X, Y, Z are highly concentrated around their expectation.
Theorem 20
(Talagrand’s inequality [12]) Let X be a nonnegative 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:

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

(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
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(u, v, c) 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
Hence we obtain from Talagrand’s inequality (Theorem 20) that
where we used \(4\textbf{E}(X)\le t\) and \(r=\ell = 2 \log \Delta \) in the second inequality. The concentration of Y(v, c) and R(v, c) 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 (u, v, c). The following observation follows in the same fashion as Observation 8 [using that \(\gamma \) is a 1edgecolouring 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(v, c) and Z(v, c).
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(v, c) and Z(v, c) 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 e, f, 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(v, c). 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(v, c). 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(v, c). 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(v, c), Z(v, c), \(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
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 \)
References
Akiyama, J., Exoo, G., Harary, F.: Covering and packing in graphs. III: cyclic and acyclic invariants. Math. Slovaca 30(4), 405–417 (1980)
Alon, N.: The linear arboricity of graphs. Isr. J. Math. 62(3), 311–325 (1988)
Alon, N.: Restricted colorings of graphs. Surv. Comb. 187, 1–33 (1993)
Alon, N., Spencer, J.H.: The Probabilistic Method. Wiley, Hoboken (2016)
An, X., Wu, B.: The list linear arboricity of planar graphs. Discuss. Math. Graph Theory 29(3), 499–510 (2009)
Erdős, P., Lovász, L.: Problems and results on finite and infinite graphs. In: Recent Advances in Graph Theory (Proceedings of the Second Czechoslovak Symposium, Prague, 1974), pp. 183–192 (1975)
Ferber, A., Fox, J., Jain, V.: Towards the linear arboricity conjecture. J. Comb. Theory B 142, 56–79 (2020)
Kahn, J.: Asymptotically good listcolorings. J. Comb. Theory A 73(1), 1–59 (1996)
Kim, R., Postle, L.: The list linear arboricity of graphs. J. Graph Theory 98(1), 125–140 (2021)
Molloy, M., Reed, B.: Nearoptimal list colorings. Random Struct. Algorithms 17(3–4), 376–402 (2000)
Molloy, M., Reed, B.: Graph Colouring and the Probabilistic Method, vol. 23. Springer, Berlin (2013)
Talagrand, M.: Concentration of measure and isoperimetric inequalities in product spaces. Publ. math. IHÉS 81(1), 73–205 (1995)
Acknowledgements
We thank the referees for carefully reading the manuscript, which has lead to an improved presentation of the proofs.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A Proof of Lemma 14
The statement of Lemma 14 has been slightly extended by adding the bound on the ratio \(R_i/L_i\). We remark that this relation is easily implied by the proof of Molloy and Reed [10]. For completeness, we present the details.
Proof of \(R_i/L_i \le \log \Delta \) in Lemma 14 Let us start by setting up ‘untainted’ versions of the constants \(R_i\), \(L_i\) and \(\textrm{Keep}_i\). (Note that \(\textrm{Retain}_i\) is used in its old state.) As in Setup 13, let \(p=1/4\). We then recursively define
A straightforward induction, yields that \(L_i^* = N_i^*\) and \(\textrm{Keep}_i^*=1p\textrm{Retain}_i^2\) for all \(i \ge 1\). Therefore,
Hence, for \(L_i^* > \log ^7 \Delta \), we have
It can be shown that the \(R_i,L_i\) are not very far from \(R_i^*,L_i^*\) respectively. More precisely, for every \(1 \le i \le i_0\), it holds that
Let us prove the first statement, since its prove is only given implicitly in the paper of Molloy and Reed [10]. Assuming that the claim holds for \(i < i_0\) and \(\Delta \) is sufficiently large, we have
Given this, we can easily bound the ratio. More precisely, while \(L_i^*, R^*_i > \log ^7 \Delta \), it follows that
\(\square \)
B Proof of Claim 16
The proof of Claim 16 can be found in the monograph of Molloy and Reed [11]. The only difference in our setting is that we use an activation probability and slightly different constants. However, this does not require any meaningful change in the steps in the proof. The following arguments are therefore almost word by word identical to the ones of Molloy and Reed.
We prove Claim 16 using a concentration analysis. To this end, we first bound the expectation of the random variables in question (Sect. B.1) and then show that these random variables are highly concentrated around their expectation (Sect. B.2) .
1.1 B.1 Expectation
The following three claims bound the expectations of \(R'(v,c)\), \(L'(e)\) and \(N'(v,c)\).
Claim 23
([11, Claim 14.9]) We have \(\textbf{E}(R'(v,c)) \le R_i \cdot \textrm{Keep}_i\) for every vertex v and colour c.
Proof
Fix an edge e, a vertex v and a colour c. Suppose that e is assigned colour c in step (II) of the procedure. Recall the definition of \(\textrm{Retain}_i\), \(\textrm{Keep}_i\) in Setup 13 and \(\textrm{Eq}\) in (3.1). It follows that the probability that e retains c after step (III) is
where each factor \(1 \frac{p}{L_i}\) represents the probability that one of the colour neighbours of e is assigned c. (The exponent of \(2\) comes from the fact that we do not count the edge e in either case.) Hence, if e is uncoloured at the beginning, then the probability that e is coloured after step (IV) is
where \(p\) is the probability that e is activated. Given this, the claim follows by linearity of expectation. \(\square \)
Claim 24
([11, Claim 14.10]) We have \(\textbf{E}(L'(e)) \ge L_i \cdot \textrm{Keep}_i^2 \) for every edge e and colour c.
Proof
Consider an edge \(e = uv\) and colour \(c \in L(e)\). We show that the probability that \(c \in L_i(e)\) is at most \(\textrm{Keep}_i^2\). From this, the claim follows again by linearity of expectation.
Let \(K_u\), \(K_v\) be the events that no edge in \(N(u,c) \setminus e\), respectively \(N(v,c) \setminus e\) retains c after step (III) of the procedure. It turns out that the simplest way to compute \(\textbf{Pr}(K_u \cap K_v)\) is through the indirect route of computing \(\textbf{Pr}(\overline{K_u} \cup \overline{K_v})\) which is equal to \(1  \textbf{Pr}(K_u \cap K_v)\). Now, by the most basic case of the Inclusion–Exclusion Principle, \(\textbf{Pr}(\overline{K_u} \cup \overline{K_v})\) is equal to \(\textbf{Pr}(\overline{K_u})+ \textbf{Pr}(\overline{K_v}) \textbf{Pr}(\overline{K_u} \cap \overline{K_v})\). We know that
so we just need to bound \(\textbf{Pr}(\overline{K_u} \cap \overline{K_v})\).
\(\textbf{Pr}(\overline{K_u} \cap \overline{K_v})\) is the probability that there is some pair of nonincident edges \(e_1 = uw \in N(u,c)\setminus e\), and \(e_2 = vx \in N(v,c)\setminus e\) such that \(e_1\) and \(e_2\) are both activated, receive and retain c during the procedure. Note that, as \(e_1\) and \(e_2\) are nonincident, this is \(w \ne x\). Now, for each such pair, we let \(R_{e_1 ,e_2}\) be the event that \(e_1\) and \(e_2\) both retain c after step (III). It follows that
Since \(N(u,c) \cup N(w,c) \cup N(v,c) \cup N(x,c)< N(u,c)  + N(w,c) 1 + N(v,c) + N(x,c) 1\), we obtain:
It is easy to see that there are at most \(N_i\) incident pairs \(e_1 \in N(u,c) \setminus e\), \(e_2 \in N(v,c) \setminus e\), as each edge in \(N(u,c) \setminus e\) is incident with at most one edge in \(N(v,c) \setminus e\). Therefore the number of nonincident pairs \(e_1 \in N(u,c) \setminus e\), \(e_2 \in N(v,c) \setminus e\) is at least \((N(u,c)1)(N(v,c)1)N_i\).
For any two distinct pairs \(( e_1, e_2)\) and \(( e_1',e_2')\), it is impossible for \(R_{e_1 ,e_2}\) and \(R_{e_1' ,e_2'}\) to both hold. Therefore the probability that \(R_{e_1 ,e_2}\) holds for at least one nonincident pair, is equal to the sum over all nonincident pairs \(e_1, e_2\) of \(\textbf{Pr}(R_{e_1 ,e_2})\), which by the above remarks yields:
Combining this with our bound on \(\textbf{Pr}(\overline{K_u})+ \textbf{Pr}(\overline{K_v})\), we see that:
Recall that definition of \(\textrm{Vq}\) in (3.2). It follows that
as desired. \(\square \)
It remains to deal with \(N'(v,c)\). As it turns out, this random variable is not concentrated around its expected value. The reason for this is that, if colour c is assigned to one of the edges of N(v, c) then the size of \(N'(v,c)\) drops immediately to zero. We will therefore carry out the expectation and concentration details for a different variable \(N^*(v,c)\), which ignores the assignments to edges of N(v, c). More precisely, let \(N^*(v,c)\) be the set of edges \(uv \in N(v,c)\) such that uv does not retain a colour and no edge in N(u, c) retains c. Since \(N'(v,c) \subseteq N^*(v,c)\), it suffices to focus the analysis on \(N^*(v,c)\).
Claim 25
([11, Claim 14.10]) We have \(\textbf{E}(N^*(v,c)) \le N_i \cdot \textrm{Keep}_i \cdot \left( 1 p\textrm{Retain}_i^2 \right) +1\) for every vertex v and colour c.
Proof
We will show that for each \(e = uv\) in N(v, c), we have: \(\textbf{Pr}(e \in N^*(v,c)) \le \left( 1 p\textrm{Retain}_i^2 \right) + \frac{1}{L_i}\). As before this implies the result by linearity of expectation.
We define A to be the event that e does no retain its colour and B to be the event that no edge in N(u, c) retains c. We wish to bound \(\textbf{Pr}(A \cap B)\). Once again, we proceed in an indirect manner, and focus instead on \(\textbf{Pr}(\overline{A} \cap \overline{B})\), showing that \(\textbf{Pr}(\overline{A} \cap \overline{B}) \le p^2 \frac{N(u,c)}{L_i} \textrm{Retain}_i^4+ \frac{1}{L_i}\), thus implying
Therefore
For each colour \(d \in L(e)\) and edge \(f=uw\) in \(N(u,c) \setminus e\), we define Z(d, f) to be the event that e retains d and f retains c. For each \(d\ne c\), we have
Note that
Hence, we obtain
Since the events Z(d, f) are disjoint, we have:
\(\square \)
1.2 B.2 Concentration
The following three claims contain the desired concentration bounds.
Claim 26
For every vertex v and colour c, we have
Proof
Fix a vertex v, a colour c and let \(R' = R'(v,c)\). We wish to apply Talagrand’s inequality (Theorem 20) to \(R'\) with \(c=2\), \(r=1\) and \(t=\tfrac{1}{2}\sqrt{R_i} \log ^2\Delta \).
Note that changing any the outcome of the edge activation in step (I), colour assignment in step (II) or coin flip in steps (III) and (IV) can affect the size of \(R'\) by at most 2. (Here it is important to recall that at most one edge of R(v, c) can retain a specific colour at the same time.) Moreover, if \(R'\ge s\), then for every edge \(e \in R'(v,c)\) there is either an activation event or an assignment of a colour to an edge incident to e that witnesses e not retaining a colour. Recall that by Lemma 14, \(R_i \ge \log ^7 \Delta \). Moreover, \(\textbf{E}(R') \le R_i \le L_i\). Since
we obtain from Theorem 20 that
where we used that \(t \le 4\textbf{E}(R') \le 4R_i\) in the second inequality. \(\square \)
Claim 27
For every edge e, we have
Proof
Fix an edge \(e=uv\) and let \(L' = L'(e)\). Let X be the number of colours \(c \in L(e)\), which are retained by at least one edge in \((N(u,c) \cup N(v,c))\setminus \{e\}\). For \(0 \le k \le j \le 2\), we define \(Y_{j,k}\) to be the number of colours which are assigned to an edge in exactly j of \(N(u,c)\setminus \{e\}\), \(N(v,c)\setminus \{e\}\) and which are removed from an edge in at least k of \(N(u,c)\setminus \{e\}\), \(N(v,c)\setminus \{e\}\) during steps (II) and (III) of the procedure. Similarly, we define \(X_{j,k}\) to be the number of colours which are assigned to an edge in at least j of \(N(u,c)\setminus \{e\}\), \(N(v,c)\setminus \{e\}\) and which are removed from an edge in at least k of \(N(u,c)\setminus \{e\}\), \(N(v,c)\setminus \{e\}\) during steps (II) and (III) of the procedure. Note that \(Y_{2,k} = X_{2,k}\) and for \(j<2\), \(Y_{j,k} = X_{j,k}  X_{j+1,k}\). Making use of the very useful fact that for any w, if a colour is removed from at least one edge in N(v, c), then it is removed from every edge in N(v, c) to which it is assigned, we obtain that:
Fix \(1\le j,k\le 2\). We will show that \(X_{j,k}\) is highly concentrated. To this end, we apply Talagrand’s inequality (Theorem 20) to \(X_{j,k}\) with \(c=2\), \(r=4\) and \(t= \tfrac{1}{14}\sqrt{L_i} \log ^2\Delta \). First of all, changing the colour assigned to any one edge from \(c_1\) and \(c_2\) can only affect whether \(c_1\) and/or \(c_2\) are counted by \(X_{j,k}\), and changing the decision to uncolour an edge in step (III) can only affect whether the colour of the edge is counted by \(X_{j,k}\). Secondly, if \(X_{j,k} \ge s\), then there is a set of at most \(s(j+k)\) outcomes which certify this fact, namely for each of the s colours, j edges on which that colour appears, along with k (or fewer) outcomes which cause k of those edges to be uncoloured. Recall that by Lemma 14, \(L_i \ge \log ^7 \Delta \). Moreover, \(\textbf{E}(X_{j,k}) \le 2N_i \le 2L_i\). Since
we obtain from Theorem 20 that
where we used that \(t \le 4\textbf{E}(X_{j,k}) \le 8L_i\) in the second inequality.
Finally, let \(X'\) be the number of colours removed from \(\bigcup _{f \in N(u,c)} L(f)\) or \(\bigcup _{f \in N(v,c)} L(f)\) in step (IV). It follows easily from Talagrand’s inequality (or, simpler, Chernoff’s inequality) that \(X'\) is highly concentrated around its expectation. (Note that our constant t and the bound on the probability allows for the sevenfold error term.) Since \(L'(e) = L(e)  (X + X')\), this concludes the proof. \(\square \)
Claim 28
For every vertex v and colour c, we have
Proof
We again proceed indirectly. We let \(A_{v,c}\) be the set of edges \(e \in N(v,c)\), which do not retain their colours. We let \(B_{v,c}\) be the set of edges \(e = uv\) in \(A_{v,c}\) such that c is retained on some vertex of N(u, c). We let \(C_{v,c}\) be the set of edges \(e =uv\) in \(A_{v,c} \setminus B_{v,c}\) such that c is removed from the lists L(f) of all edges \(f \in N(v,c)\) because of an equalizing coin flip.
The proof that \(A_{v,c}\) is highly concentrated is virtually identical to the proof Claim 26. The proof that \(B_{v,c}\) and \(B_{v,c}\) are highly concentrated follows along the lines of the proof of Claim 27. Since \(T'(u,c) = A_{v,c} \setminus (B_{v,c} \cup C_{v,c})\), the desired result follows. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lang, R., Postle, L. An Improved Bound for the Linear Arboricity Conjecture. Combinatorica 43, 547–569 (2023). https://doi.org/10.1007/s00493023000249
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00493023000249