
arXiv: 2403.01903
We connect three distinct lines of research that have recently explored extensions of the classical LOCAL model of distributed computing: A. distributed quantum computing and non-signaling distributions [e.g. STOC 2024], B. finitely-dependent processes [e.g. Forum Math. Pi 2016], and C. locality in online graph algorithms and dynamic graph algorithms [e.g. ICALP 2023]. We prove new results on the capabilities and limitations of all of these models of computing, for locally checkable labeling problems (LCLs). We show that all these settings can be sandwiched between the classical LOCAL model and what we call the randomized online-LOCAL model. Our work implies limitations on the quantum advantage in the distributed setting, and we also exhibit a new barrier for proving tighter bounds. Our main technical results are these: 1. All LCL problems solvable with locality $O(\log^\star n)$ in the classical deterministic LOCAL model admit a finitely-dependent distribution with locality $O(1)$. This answers an open question by Holroyd [2024], and also presents a new barrier for proving bounds on distributed quantum advantage using causality-based arguments. 2. In rooted trees, if we can solve an LCL problem with locality $o(\log \log \log n)$ in the randomized online-LOCAL model (or any of the weaker models, such as quantum-LOCAL), we can solve it with locality $O(\log^\star n)$ in the classical deterministic LOCAL model. One of many implications is that in rooted trees, $O(\log^\star n)$ locality in quantum-LOCAL is not stronger than $O(\log^\star n)$ locality in classical LOCAL.
67 pages, 10 figures. This version corrects a mistake in v1 and in v2
FOS: Computer and information sciences, Quantum Physics, Probability (math.PR), FOS: Physical sciences, Computational Complexity (cs.CC), distributed computing, Computer Science - Computational Complexity, quantum advantage, Computer Science - Distributed, Parallel, and Cluster Computing, FOS: Mathematics, locally checkable labeling problems, Distributed, Parallel, and Cluster Computing (cs.DC), Quantum Physics (quant-ph), Mathematics - Probability, ddc: ddc:
FOS: Computer and information sciences, Quantum Physics, Probability (math.PR), FOS: Physical sciences, Computational Complexity (cs.CC), distributed computing, Computer Science - Computational Complexity, quantum advantage, Computer Science - Distributed, Parallel, and Cluster Computing, FOS: Mathematics, locally checkable labeling problems, Distributed, Parallel, and Cluster Computing (cs.DC), Quantum Physics (quant-ph), Mathematics - Probability, ddc: ddc:
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
