Factor-of-iid Δ-edge coloring of regular trees

Construct a factor-of-iid edge coloring with Δ colors on the Δ-regular tree T_Δ, equivalently determine whether measurable König line coloring holds for the iid graph on T_Δ.

Background

A factor-of-iid perfect matching is known on the Δ-regular tree, but the corresponding Δ-edge-coloring problem is unresolved. The paper contrasts this with failures of measurable König line coloring for general measured bipartite acyclic graphs.

References

Is there a factor of iid edge coloring with $\Delta$ colors on the $\Delta$-regular tree $T_\Delta$? In other words, does measurable K\H{o}nig's line coloring theorem hold for the iid graph on $T_\Delta$?

— From descriptive to distributed  (2502.15347 - Grebík et al., 21 Feb 2025) in Problem 4, Section 7 (Edge colorings)