A new proof of several inequalities on codes and sets
Journal of Combinatorial Theory Series A
SIAM Journal on Computing
Communication complexity and parallel computing
Communication complexity and parallel computing
Communication complexity
Quantum vs. classical communication and computation
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Exponential separation of quantum and classical communication complexity
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Information Processing Letters
Complexity limitations on Quantum computation
Journal of Computer and System Sciences
On quantum and probabilistic communication: Las Vegas and one-way protocols
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Quantum computation and quantum information
Quantum computation and quantum information
Quantum communication and complexity
Theoretical Computer Science - Natural computing
Improved Quantum Communication Complexity Bounds for Disjointness and Equality
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Nondeterministic Quantum Query and Communication Complexities
SIAM Journal on Computing
Succinct quantum proofs for properties of finite groups
FOCS '00 Proceedings of the 41st Annual Symposium on Foundations of Computer Science
On the Power of Quantum Proofs
CCC '04 Proceedings of the 19th IEEE Annual Conference on Computational Complexity
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing
Quantum certificate complexity
Journal of Computer and System Sciences
SIAM Journal on Computing
Classical interaction cannot replace a quantum message
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Exponential Separation of Quantum and Classical One-Way Communication Complexity
SIAM Journal on Computing
| Hi-index | 5.23 |
In this paper we study a weak version of quantum nondeterministic communication complexity, in which a classical proof has to be checked with probability one by a quantum protocol. We prove that, in the framework of communication complexity, even this weak version of quantum nondeterminism is strictly stronger than classical nondeterminism. More precisely, we show a separation, for a total function, of quantum weakly nondeterministic and classical nondeterministic communication complexity. This separation is quadratic and shows that classical proofs can be checked more efficiently by quantum protocols than by classical ones.