Noisy Interactive Quantum Communication

TL;DR

This paper develops methods for simulating quantum communication protocols over noisy channels, achieving high noise tolerance and extending to various models, which is crucial for practical quantum communication.

Contribution

It introduces the first quantum simulation protocols resilient to noise, with optimal error thresholds, and extends these results to multiple communication models.

Findings

Simulate length N quantum protocols with O(N) length and small error.

Achieve noise tolerance up to 1/2 - ε with pre-shared entanglement.

Show quantum capacity C_Q is not the sole factor for interactive quantum communication.

Abstract

We study the problem of simulating protocols in a quantum communication setting over noisy channels. This problem falls at the intersection of quantum information theory and quantum communication complexity, and it will be of importance for eventual real-world applications of interactive quantum protocols, which can be proved to have exponentially lower communication costs than their classical counterparts for some problems. These are the first results concerning the quantum version of this problem, originally studied by Schulman in a classical setting (FOCS '92, STOC '93). We simulate a length $N$ quantum communication protocol by a length $O(N)$ protocol with arbitrarily small error. Under adversarial noise, our strategy can withstand, for arbitrarily small $\epsilon > 0$, error rates as high as $1/2 -\epsilon$ when parties pre-share perfect entanglement, but the classical channel is noisy. We show that this is optimal. We provide extension of these results in several other models of communication, including when also the entanglement is noisy, and when there is no pre-shared entanglement but communication is quantum and noisy. We also study the case of random noise, for which we provide simulation protocols with positive communication rates and no pre-shared entanglement over some quantum channels with quantum capacity $C_Q=0$, proving that $C_Q$ is in general not the right characterization of a channel's capacity for interactive quantum communication. Our results are stated for a general quantum communication protocol in which Alice and Bob collaborate, and these results hold in particular in the quantum communication complexity settings of the Yao and Cleve--Buhrman models.