On the Universality of Round Elimination Fixed Points
Alkida Balliu, Sebastian Brandt, Ole Gabsdil, Dennis Olivetti, Jukka Suomela
TL;DR
This work interrogates the universality of round elimination fixed points for proving lower bounds in distributed LOCAL computation. It introduces tripotent inputs to convert input-augmented hardness into input-free fixed points, and demonstrates universality for a broad class of input-free problems through ORCX-type constructions. A key negative result shows that problems with inputs (e.g., SSO-SO) do not admit nontrivial fixed points, signaling limits to universality. The authors also present an extended lifting theorem that handles arbitrary inputs and non-regular graphs, enabling robust lower bounds (deterministic and randomized) for a wide range of problems. Overall, the paper advances both positive universality for input-free LCLs and the necessary caution regarding inputs, while delivering a powerful framework for deriving lower bounds via fixed points and lifting.
Abstract
Recent work on distributed graph algorithms [e.g. STOC 2022, ITCS 2022, PODC 2020] has drawn attention to the following open question: are round elimination fixed points a universal technique for proving lower bounds? That is, given a locally checkable problem $Π$ that requires at least $Ω(\log n)$ rounds in the deterministic LOCAL model, can we always find a relaxation $Π'$ of $Π$ that is a nontrivial fixed point for the round elimination technique [see STOC 2016, PODC 2019]? If yes, then a key part of distributed computational complexity would be also decidable. The key obstacle so far has been a certain family of homomorphism problems [ITCS 2022], which require $Ω(\log n)$ rounds, but the only known proof is based on Marks' technique [J. AMS 2016]. We develop a new technique for constructing round elimination lower bounds systematically. Using so-called tripotent inputs we show that the aforementioned homomorphism problems indeed admit a lower bound proof that is based on round elimination fixed points. Hence we eliminate the only known obstacle for the universality of round elimination. Yet we also present a new obstacle: we show that there are some problems with inputs that require $Ω(\log n)$ rounds, yet there is no proof that is based on relaxations to nontrivial round elimination fixed points. Hence round elimination cannot be a universal technique for problems with inputs (but it might be universal for problems without inputs). We also prove the first fully general lower bound theorem that is applicable to any problem, with or without inputs, that is a fixed point in round elimination. Prior results of this form were only able to handle certain very restricted inputs.