Abstract:We present the first local problem that shows a super-constant separation between the classical randomized LOCAL model of distributed computing and its quantum counterpart. By prior work, such a separation was known only for an artificial graph problem with an inherently global definition [Le Gall et al. 2019]. We present a problem that we call iterated GHZ, which is defined using only local constraints. Formally, it is a family of locally checkable labeling problems [Naor and Stockmeyer 1995]; in particular, solutions can be verified with a constant-round distributed algorithm. We show that in graphs of maximum degree $\Delta$, any classical (deterministic or randomized) LOCAL model algorithm will require $\Omega(\Delta)$ rounds to solve the iterated GHZ problem, while the problem can be solved in $1$ round in quantum-LOCAL. We use the round elimination technique to prove that the iterated GHZ problem requires $\Omega(\Delta)$ rounds for classical algorithms. This is the first work that shows that round elimination is indeed able to separate the two models, and this also demonstrates that round elimination cannot be used to prove lower bounds for quantum-LOCAL. To apply round elimination, we introduce a new technique that allows us to discover appropriate problem relaxations in a mechanical way; it turns out that this new technique extends beyond the scope of the iterated GHZ problem and can be used to e.g. reproduce prior results on maximal matchings [FOCS 2019, PODC 2020] in a systematic manner.

What problem does this paper attempt to address?

### Problems the paper attempts to solve This paper aims to explore whether quantum computing and communication can provide advantages over classical computing for certain specific problems in distributed computing. Specifically, the authors focus on **distributed quantum advantage**, that is, which distributed tasks can be solved more quickly when we replace classical computers and communication channels in a classical computer network with quantum computers and quantum communication channels. #### Main research questions 1. **Are there problems with local constraints that can be significantly better in the quantum distributed computing model than in the classical distributed computing model?** - Most of the quantum advantages shown in previous studies have focused on globally defined artificial graph problems, rather than local - constraint problems common in practical applications. 2. **How can this quantum advantage be proven through specific examples?** - The authors propose a problem named **iterated GHZ** (iterated Greenberger - Horne - Zeilinger), which shows that in a graph with maximum degree $\Delta$, the quantum - LOCAL model can solve the problem within a constant number of rounds, while the classical LOCAL model requires $\Omega(\Delta)$ rounds. #### Specific contributions - **Proposing a new class of LCL problems (locally checkable labeling problems):** the iterated GHZ problem. - **Local constraint**: The checking radius of this problem is $O(1)$, independent of $\Delta$. - **Quantum advantage**: It can be solved within $O(1)$ rounds in the quantum - LOCAL model. - **Classical complexity**: In the classical (deterministic or randomized) LOCAL model, any algorithm requires $\Omega(\Delta)$ rounds to solve it. #### Key techniques - **Round Elimination Technique**: Used to prove the lower bounds of classical algorithms and shows that this technique cannot be directly applied to the quantum - LOCAL model, thus separating the two models. - **New trick**: Proposing a systematic method to find appropriate problem relaxations, which is applicable not only to the iterated GHZ problem but also can be extended to other problems (such as maximum matching). ### Summary The main contribution of this paper is that it is the first to show the significant advantage of the quantum distributed computing model over the classical model in practical problems with local constraints. This not only answers previous open questions about quantum advantages but also provides new tools and techniques for future research.

Distributed Quantum Advantage for Local Problems

Shared Randomness Helps with Local Distributed Problems

Local to Global: A Distributed Quantum Approximate Optimization Algorithm for Pseudo-Boolean Optimization Problems

On the Power of Quantum Distributed Proofs

Online Locality Meets Distributed Quantum Computing

A quantum advantage over classical for local max cut

Local problems in trees across a wide range of distributed models

Quantum advantage and noise reduction in distributed quantum computing

Exact distributed quantum algorithm for generalized Simon's problem

No distributed quantum advantage for approximate graph coloring

A fast exact quantum algorithm for solitude verification

Divide and Conquer for Combinatorial Optimization and Distributed Quantum Computation

Near-Term Distributed Quantum Computation using Mean-Field Corrections and Auxiliary Qubits

On Derandomizing Local Distributed Algorithms

Mind the $\tilde{\mathcal{O}}$: Asymptotically Better, but Still Impractical, Quantum Distributed Algorithms

Faster Deterministic Distributed MIS and Approximate Matching

A Dequantized Algorithm for the Guided Local Hamiltonian Problem

Classical and Quantum Distributed Algorithms for the Survivable Network Design Problem

Distributed exact quantum algorithms for Deutsch-Jozsa problem