Abstract:We study the advantages of quantum communication models over classical communication models that are equipped with a limited number of qubits of entanglement. In this direction, we give explicit partial functions on $n$ bits for which reducing the entanglement increases the classical communication complexity exponentially. Our separations are as follows. For every $k\ge 1$:
$Q\|^*$ versus $R2^*$: We show that quantum simultaneous protocols with $\tilde{\Theta}(k^5 \log^3 n)$ qubits of entanglement can exponentially outperform two-way randomized protocols with $O(k)$ qubits of entanglement. This resolves an open problem from [Gav08] and improves the state-of-the-art separations between quantum simultaneous protocols with entanglement and two-way randomized protocols without entanglement [Gav19, GRT22].
$R\|^*$ versus $Q\|^*$: We show that classical simultaneous protocols with $\tilde{\Theta}(k \log n)$ qubits of entanglement can exponentially outperform quantum simultaneous protocols with $O(k)$ qubits of entanglement, resolving an open question from [GKRW06, Gav19]. The best result prior to our work was a relational separation against protocols without entanglement [GKRW06].
$R\|^*$ versus $R1^*$: We show that classical simultaneous protocols with $\tilde{\Theta}(k\log n)$ qubits of entanglement can exponentially outperform randomized one-way protocols with $O(k)$ qubits of entanglement. Prior to our work, only a relational separation was known [Gav08].
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the impact of reducing the number of entangled states on communication complexity in the quantum communication model. Specifically, the author studied the advantages of the quantum communication model over the classical communication model in the case of limited entanglement resources. The paper shows that for some partial functions, reducing entanglement will lead to an exponential increase in classical communication complexity. This involves the following aspects:
1. **Separation between quantum simultaneous protocols and two - way random protocols**:
- The paper proves that with the entanglement of \(\tilde{\Theta}(k^5 \log^3 n)\) qubits, the quantum simultaneous protocol can be exponentially superior in communication complexity to the two - way random protocol with the entanglement of \(O(k)\) qubits.
- This result solves an open problem proposed in [Gav08] and improves the latest results on the separation between quantum simultaneous protocols and two - way random protocols [Gav19, GRT22].
2. **Separation between classical simultaneous protocols and quantum simultaneous protocols**:
- The paper proves that with the entanglement of \(\tilde{\Theta}(k \log n)\) qubits, the classical simultaneous protocol can be exponentially superior in communication complexity to the quantum simultaneous protocol with the entanglement of \(O(k)\) qubits.
- This result solves an open problem proposed in [GKRW06, Gav19]. Previously, the separation of the relationship between classical simultaneous protocols and quantum simultaneous protocols was only proven in the absence of entanglement [GKRW06].
3. **Separation between classical simultaneous protocols and one - way random protocols**:
- The paper proves that with the entanglement of \(\tilde{\Theta}(k \log n)\) qubits, the classical simultaneous protocol can be exponentially superior in communication complexity to the one - way random protocol with the entanglement of \(O(k)\) qubits.
- Previous work [Gav08] only proved the relationship separation, while this paper provides the partial function separation.
### Main Results
1. **Result 1**:
- There exists a partial function that can be computed in the quantum simultaneous protocol with the communication and entanglement of \(\tilde{O}(k^5 \log^3 n)\) qubits, but if the participants only share the entanglement of \(O(k)\) qubits, then \(\Omega(n^{1/4})\) bits of communication are required in the two - way classical model.
- This result shows that in the weaker quantum simultaneous model, even if interaction is allowed, reducing the amount of entanglement will lead to an exponential increase in classical communication complexity.
2. **Result 2**:
- There exists a partial function that can be computed in the classical simultaneous protocol with \(\tilde{O}(k \log n)\) bits of communication and \(\tilde{O}(k \log n)\) qubits of entanglement, but if the participants only share the entanglement of \(O(k)\) qubits, then \(\Omega(n^{1/3})\) bits of communication are required in the quantum simultaneous protocol and \(\Omega(\sqrt{n})\) bits of communication are required in the one - way classical model.
- This result shows that even in the classical simultaneous protocol, reducing the amount of entanglement will lead to a significant increase in communication complexity.
### Technical Contributions
- **Fourier growth bound**: The paper establishes these separation results by proving the Fourier growth bound. For example, for the \(R_2^*\) protocol, the paper proves that its level \(\ell\) Fourier growth bound is \(2^{5d}\cdot O_\ell(c^\ell)\).
- **XOR lemma**: The paper also proves the XOR lemma for the Boolean hidden matching problem, which is used to analyze the communication complexity of multiple independent instances.
### Conclusion
Through detailed analysis and the proof of the Fourier growth bound, the paper shows the impact of reducing the number of entangled states on communication complexity in the quantum communication model, thus providing new insights into understanding the differences between quantum and classical communication models.