Abstract
We study quantum communication protocols, in which the players' storage starts out in a state where one qubit is in a pure state, and all other qubits are totally mixed (i.e. in a random state), and no other storage is available (for messages or internal computations). This restriction on the available quantum memory has been studied extensively in the model of quantum circuits, and it is known that classically simulating quantum circuits operating on such memory is hard when the additive error of the simulation is exponentially small (in the input length), under the assumption that the polynomial hierarchy does not collapse.
We study this setting in communication complexity. The goal is to consider larger additive error for simulationhardness results, and to not use unproven assumptions.
We define a complexity measure for this model that takes into account that standard error reduction techniques do not work here. We define a clocked and a semiunclocked model, and describe efficient simulations between those.
We characterize a oneway communication version of the model in terms of weakly unbounded error communication complexity.
Our main result is that there is a quantum protocol using one clean qubit only and using O(log n) qubits of communication, such that any classical protocol simulating the acceptance behaviour of the quantum protocol within additive error 1/poly(n) needs communication Ω(n).
We also describe a candidate problem, for which an exponential gap between the onecleanqubit communication complexity and the randomized communication complexity is likely to hold, and hence a classical simulation of the onecleanqubit model within constant additive error might be hard in communication complexity. We describe a geometrical conjecture that implies the lower bound.
BibTeX  Entry
@InProceedings{klauck_et_al:LIPIcs.MFCS.2021.69,
author = {Klauck, Hartmut and Lim, Debbie},
title = {{The Power of One Clean Qubit in Communication Complexity}},
booktitle = {46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)},
pages = {69:169:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783959772013},
ISSN = {18688969},
year = {2021},
volume = {202},
editor = {Bonchi, Filippo and Puglisi, Simon J.},
publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14509},
URN = {urn:nbn:de:0030drops145097},
doi = {10.4230/LIPIcs.MFCS.2021.69},
annote = {Keywords: Quantum Complexity Theory, Quantum Communication Complexity, One Clean Qubit Model}
}
Keywords: 

Quantum Complexity Theory, Quantum Communication Complexity, One Clean Qubit Model 
Collection: 

46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) 
Issue Date: 

2021 
Date of publication: 

18.08.2021 