Distributed Lower Bounds via Automatic Self-Reduction

2026-09-28

AI Summary

This study addresses the fundamental limitation of classical round elimination techniques in surpassing the double-logarithmic lower bound barrier for distributed randomized complexity. It reveals that self-reduction is inherently a special case of round elimination and unifies both paradigms through the introduction of a novel error metric, thereby proposing a black-box, automated framework for deriving lower bounds. This framework significantly expands the class of graph problems admitting provably strong lower bounds. Furthermore, it rigorously establishes an Ω(√log n) randomized lower bound in the LOCAL model for three problem classes, including regular bicolored maximum matching, achieving a theoretical breakthrough beyond the double-logarithmic barrier.

Abstract

The development of round elimination into a general-purpose technique [PODC 2019] marked a turning point in our understanding of the hardness of many graph problems in the distributed setting and led to several breakthrough results. However, the round elimination technique seems unable to yield randomized lower bounds of $\omega(\log \log n)$ rounds as a function of the number $n$ of nodes. Very recently, Khoury and Schild [FOCS 2025] introduced a new technique called round elimination via self-reduction, which bypasses the limitations of classical round elimination. Using this approach, the authors show that any randomized algorithm for maximal matching requires $\Omega(\sqrt{\log n})$ rounds in the LOCAL model. Their elegant technique is, in some respects, similar to classical round elimination while being fundamentally different in others. However, it is tailored specifically to maximal matching rather than being applicable to a broad class of problems. In this paper, we show that self-reduction is, in fact, a special case of classical round elimination, thereby turning it into a general-purpose approach. In particular, we introduce a new way to measure the error of an algorithm and show that, under this new measure, classical round elimination can indeed yield $\omega(\log \log n)$ randomized lower bounds. More specifically, we identify a large class of problems for which this improvement is entirely black-box: once a problem is shown to belong to the class, stronger randomized lower bounds follow automatically from the classical round-elimination framework. As an application, we prove $\Omega(\sqrt{\log n})$ randomized lower bounds for a range of graph problems, namely, maximal matching on regular $2$-colored graphs, $\frac{1}{k}$-integral matching, and maximal $H$-packing.

Problem

• distributed lower bounds
• round elimination
• self-reduction
• randomized lower bounds
• graph problems

Innovation

• round elimination
• self-reduction
• randomized lower bounds
• distributed computing
• error measurement