Connection between round elimination and Marks’ method

Determine the exact relationship between the round-elimination method for fixed-point LCL problems on trees and Marks’ game-theoretic method, including why some fixed-point LCL problems are Borel-solvable but not solvable in the LOCAL model.

Background

The paper notes that the two methods have strong similarities, but explicitly states that they do not coincide in general.

References

Nevertheless, understanding the exact nature of this connection is still an exciting open problem, see .

— From descriptive to distributed  (2502.15347 - Grebík et al., 21 Feb 2025) in Section 6, paragraph following the discussion of round elimination