Abstract
It is by now well established that quantum machines can solve certain computational problems much faster than the best algorithms known in the standard Turing machine model. The complexity question of which problems can be feasibly computed by quantum machines has also been extensively investigated in recent years, both in the context of one machine models (quantum polynomial classes) and various flavors of multi-machine models (single and multiple prover quantum interactive proofs). In this talk we examine the more general (but less theoretically investigated) question of which quantum states can be feasibly computed. Specifically, we will focus on the question of what quantum states can be generated by quantum interactive proofs. We will show that several classical interactive proof theorems have analogs in such models. For example, we show that any quantum state computable in quantum polynomial space has a 2-prover quantum interactive proof. Open questions will be discussed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yao, A.CC. (2003). Interactive Proofs for Quantum Computation. In: Ibaraki, T., Katoh, N., Ono, H. (eds) Algorithms and Computation. ISAAC 2003. Lecture Notes in Computer Science, vol 2906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24587-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-24587-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20695-8
Online ISBN: 978-3-540-24587-2
eBook Packages: Springer Book Archive