On the Limits of Quantum Multiparty Simultaneous Communication
Pedro Montealegre, Ivan Rapaport, Jorge Valenzuela
Abstract
The Simultaneous Message Passing (SMP) model provides a fundamental framework for comparing classical and quantum communication. For two players, Gavinsky et al. (STOC 2006) established a separation underlying the incomparability of shared randomness and quantum communication: Index Coordination needs O( n) public-coin bits but Ω(n1/3) bounded-error qubits. In this work, we establish a multiparty exponential separation through ICk,n, a natural k-party generalization of Index Coordination. Public-coin protocols solve it unambiguously with maximum message length O( n) bits. In contrast, quantum SMP protocols without shared entanglement or public coins require maximum message length Ω(n1-1/k) qubits in the unambiguous regime and Ω(n(k-1)/(k+1)) qubits in the bounded-error regime. A classical private-coin protocol matches the unambiguous bound, so quantum communication provides no asymptotic advantage over private randomness in this regime. For fixed error parameters, all constants are independent of k, establishing the exponential separation for every integer-valued function k=k(n)2, without restricting its growth. Both quantum lower bounds become Ω(n) when k c n for any fixed c>0, matching the full-input protocol and yielding tight linear complexity in both regimes. Our results demonstrate that quantum superposition cannot efficiently simulate the coordination afforded by public randomness, extending this separation to arbitrary k. To bound success probabilities for multiparty product states, we prove an exact factorization theorem for unambiguous quantum state identification, which may be of independent mathematical interest.
Create a lesson
Related papers
A Dichotomy for Boolean Complex Holant Problems with Conjugate-Closed Signature Sets
Jincheng Guan, Shuai Shao, Zhuxiao Tang
Deterministic NC Quadratic Root Counting in Characteristic Two
Sanyam Agarwal, Gorav Jindal
The Information Complexity of Decision Trees
Avantika Agarwal, Shalev Ben-David, Eric Blais
Topology inside NC1
Eric Allender, Samir Datta, Arsenii Karnaukhov et al.
Max Independent Set Remains NP-hard when Excluding a Planar Induced Minor
Édouard Bonnet, Yeonsu Chang
The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of SL(2,C)
Yuan Huang, Zhiguo Fu