1: \begin{thebibliography}{10}
2:
3: \bibitem{AgrawalKS02}
4: M.~Agrawal, N.~Kayal, and N.~Saxena.
5: \newblock {PRIMES} is in {P}.
6: \newblock {\em Annals of Mathematics}, 160(2):781--793, 2004.
7:
8: \bibitem{AharonovK+98}
9: D.~Aharonov, A.~Kitaev, and N.~Nisan.
10: \newblock Quantum circuits with mixed states.
11: \newblock In {\em Proceedings of the 30th Annual ACM Symposium on Theory of
12: Computing}, pages 20--30, 1998.
13:
14: \bibitem{AroraL+98}
15: S.~Arora, C.~Lund, R.~Motwani, M.~Sudan, and M.~Szegedy.
16: \newblock Proof verification and intractability of approximation problems.
17: \newblock {\em Journal of the ACM}, 45(1):501--555, 1998.
18:
19: \bibitem{AroraS98}
20: S.~Arora and S.~Safra.
21: \newblock Probabilistically checkable proofs: a new characterization of {NP}.
22: \newblock {\em Journal of the ACM}, 45(1):70--122, 1998.
23:
24: \bibitem{Babai85}
25: L.~Babai.
26: \newblock Trading group theory for randomness.
27: \newblock In {\em Proceedings of the 17th Annual ACM Symposium on Theory of
28: Computing}, pages 421--429, 1985.
29:
30: \bibitem{BalcazarD+90}
31: J.~Balc\'azar, J.~D\'iaz, and J.~Gabarr\'o.
32: \newblock {\em Structural Complexity II}.
33: \newblock Springer-Verlag, 1990.
34:
35: \bibitem{Berthiaume97}
36: A.~Berthiaume.
37: \newblock Quantum computation.
38: \newblock In {\em Complexity Thoery Retrospective II}, pages 23--50.
39: Springer-Verlag, 1997.
40:
41: \bibitem{Bhatia97}
42: R.~Bhatia.
43: \newblock {\em Matrix Analysis}.
44: \newblock Springer-Verlag, 1997.
45:
46: \bibitem{ChandraK+81}
47: A.~Chandra, D.~Kozen, and L.~Stockmeyer.
48: \newblock Alternation.
49: \newblock {\em Journal of the ACM}, 28(1):114--133, 1981.
50:
51: \bibitem{Choi75}
52: M.~Choi.
53: \newblock Completely positive linear maps on complex matrices.
54: \newblock {\em Linear Algebra and its Applications}, 10(3):285--290, 1975.
55:
56: \bibitem{Cook71}
57: S.~Cook.
58: \newblock The complexity of theorem-proving procedures.
59: \newblock In {\em Proceedings of the 3rd Annual ACM Symposium on Theory of
60: Computing}, pages 151--158, 1971.
61:
62: \bibitem{Fagin74}
63: R.~Fagin.
64: \newblock Generalized first-order spectra and polynomial-time recognizable
65: sets.
66: \newblock In R.~Karp, editor, {\em Complexity of Computation}, volume~7 of {\em
67: SIAM-AMS Proceedings}, pages 43--73, 1974.
68:
69: \bibitem{FeigeK97}
70: U.~Feige and J.~Kilian.
71: \newblock Making games short.
72: \newblock In {\em Proceedings of the 29th Annual ACM Symposium on Theory of
73: Computing}, pages 506--516, 1997.
74:
75: \bibitem{FeigeS92}
76: U.~Feige and A.~Shamir.
77: \newblock Multi-oracle interactive protocols with constant space verifiers.
78: \newblock {\em Journal of Computer and System Sciences}, 44(2):259--271, 1992.
79:
80: \bibitem{FeigeS+90}
81: U.~Feige, A.~Shamir, and M.~Tennenholtz.
82: \newblock The noisy oracle problem.
83: \newblock In {\em Advances in Cryptology---Proceedings of CRYPTO '88}, volume
84: 403 of {\em Lecture Notes in Computer Science}, pages 284--296.
85: Springer-Verlag, 1990.
86:
87: \bibitem{FeigenbaumK+95}
88: J.~Feigenbaum, D.~Koller, and P.~Shor.
89: \newblock A game-theoretic classification of interactive complexity classes.
90: \newblock In {\em Proceedings of the 10th Annual IEEE Conference on Structure
91: in Complexity Theory}, pages 227--237, 1995.
92:
93: \bibitem{FuchsvdG99}
94: C.~Fuchs and J.~van~de Graaf.
95: \newblock Cryptographic distinguishability measures for quantum-mechanical
96: states.
97: \newblock {\em IEEE Transactions on Information Theory}, 45(4):1216--1227,
98: 1999.
99:
100: \bibitem{GoldwasserM+89}
101: S.~Goldwasser, S.~Micali, and C.~Rackoff.
102: \newblock The knowledge complexity of interactive proof systems.
103: \newblock {\em SIAM Journal on Computing}, 18(1):186--208, 1989.
104:
105: \bibitem{GoldwasserS89}
106: S.~Goldwasser and M.~Sipser.
107: \newblock Private coins versus public coins in interactive proof systems.
108: \newblock In S.~Micali, editor, {\em Randomness and Computation}, volume~5 of
109: {\em Advances in Computing Research}, pages 73--90. JAI Press, 1989.
110:
111: \bibitem{GolubV89}
112: G.~Golub and C.~Van Loan.
113: \newblock {\em Matrix Computations}.
114: \newblock Johns Hopkins University Press, second edition, 1989.
115:
116: \bibitem{GrotschelL+88}
117: M.~Gr\"otschel, L.~Lov\'asz, and A.~Schrijver.
118: \newblock {\em Geometric Algorithms and Combinatorial Optimization}.
119: \newblock Springer-Verlag, second corrected edition, 1988.
120:
121: \bibitem{Gutoski05}
122: G.~Gutoski.
123: \newblock Upper bounds for quantum interactive proofs with competing provers.
124: \newblock In {\em Proceedings of the 20th Annual IEEE Conference on
125: Computational Complexity}, pages 334--343, 2005.
126:
127: \bibitem{GutoskiW05}
128: G.~Gutoski and J.~Watrous.
129: \newblock Quantum interactive proofs with competing provers.
130: \newblock In {\em Proceedings of the 22nd Symposium on Theoretical Aspects of
131: Computer Science}, volume 3404 of {\em Lecture Notes in Computer Science},
132: pages 605--616. Springer-Verlag, 2005.
133: \newblock cs.CC/0412102.
134:
135: \bibitem{HughstonJW93}
136: L.~Huchston, R.~Jozsa, and W.~Wootters.
137: \newblock A complete classification of quantum ensembles having a given density
138: matrix.
139: \newblock {\em Physics Letters A}, 183(1):14--18, 1993.
140:
141: \bibitem{Karp72}
142: R.~Karp.
143: \newblock Reducibility among combinatorial problems.
144: \newblock In {\em Complexity of Computer Computations}, pages 85--103. Plenum
145: Press, 1972.
146:
147: \bibitem{Khachiyan79}
148: L.~Khachiyan.
149: \newblock A polynomial time algorithm in linear programming.
150: \newblock {\em Soviet Mathematics Doklady}, 20:191--194, 1979.
151:
152: \bibitem{Kitaev97}
153: A.~Kitaev.
154: \newblock Quantum computations: algorithms and error correction.
155: \newblock {\em Russian Mathematical Surveys}, 52(6):1191--1249, 1997.
156:
157: \bibitem{Kitaev02}
158: A.~Kitaev.
159: \newblock Quantum coin-flipping.
160: \newblock MSRI lecture. Transparencies available at http://www.msri.org, 2002.
161:
162: \bibitem{KitaevS+02}
163: A.~Kitaev, A.~Shen, and M.~Vyali.
164: \newblock {\em Classical and Quantum Computation}, volume~47 of {\em Graduate
165: Studies in Mathematics}.
166: \newblock American Mathematical Society, 2002.
167:
168: \bibitem{KitaevW05}
169: A.~Kitaev and J.~Watrous.
170: \newblock Quantum interactive proof systems.
171: \newblock In preparation. A preliminary version appeared as
172: Ref.~\cite{KitaevW00}.
173:
174: \bibitem{KitaevW00}
175: A.~Kitaev and J.~Watrous.
176: \newblock Parallelization, amplification, and exponential time simulation of
177: quantum interactive proof systems.
178: \newblock In {\em Proceedings of the 32nd Annual ACM Symposium on Theory of
179: Computing}, pages 608--617, 2000.
180:
181: \bibitem{KobayashiM03}
182: H.~Kobayashi and K.~Matsumoto.
183: \newblock Quantum multi-prover interactive proof systems with limited prior
184: entanglement.
185: \newblock {\em Journal of Computer and System Sciences}, 66(3):429--450, 2003.
186: \newblock cs.CC/0102013.
187:
188: \bibitem{KollerM92}
189: D.~Koller and N.~Megiddo.
190: \newblock The complexity of two-person zero-sum games in extensive form.
191: \newblock {\em Games and Economic Behavior}, 4(4):528--552, 1992.
192:
193: \bibitem{Levin73}
194: L.~Levin.
195: \newblock Universal search problems.
196: \newblock {\em Problemy Peredachi Informatsii}, 9(3):265--266, 1973.
197:
198: \bibitem{LundF+92}
199: C.~Lund, L.~Fortnow, H.~Karloff, and N.~Nisan.
200: \newblock Algebraic methods for interactive proof systems.
201: \newblock {\em Journal of the ACM}, 39(4):859--868, 1992.
202:
203: \bibitem{NesterovN94}
204: Yu. Nesterov and A.~Nemirovski.
205: \newblock Interior point polynomial algorithms in convex programming.
206: \newblock {\em SIAM Studies in Applied Mathematics}, 13, 1994.
207:
208: \bibitem{Raz98}
209: R.~Raz.
210: \newblock A parallel repetition theorem.
211: \newblock {\em SIAM Journal of Computing}, 27(3):763--803, 1998.
212:
213: \bibitem{Reif84}
214: J.~Reif.
215: \newblock The complexity of two-player games of incomplete information.
216: \newblock {\em Journal of Computer and System Sciences}, 29(2):274--301, 1984.
217:
218: \bibitem{Rockafellar70}
219: R.~Rockafellar.
220: \newblock {\em Convex Analysis}.
221: \newblock Princeton University Press, 1970.
222:
223: \bibitem{RosgenW05}
224: B.~Rosgen and J.~Watrous.
225: \newblock On the hardness of distinguishing mixed-state quantum computations.
226: \newblock In {\em Proceedings of the 20th Annual IEEE Conference on
227: Computational Complexity}, pages 344--354, 2005.
228: \newblock cs.CC/0407056.
229:
230: \bibitem{Schoning89}
231: U.~Sch\"oning.
232: \newblock Probabilistic complexity classes and lowness.
233: \newblock {\em Journal of Computer and System Sciences}, 39(1):84--100, 1989.
234:
235: \bibitem{Shamir92}
236: A.~Shamir.
237: \newblock {IP} $=$ {PSPACE}.
238: \newblock {\em Journal of the ACM}, 39(4):869--877, 1992.
239:
240: \bibitem{Shen92}
241: A.~Shen.
242: \newblock {IP $=$ PSPACE}: simplified proof.
243: \newblock {\em Journal of the ACM}, 39(4):878--880, 1992.
244:
245: \bibitem{Stockmeyer76}
246: L.~Stockmeyer.
247: \newblock The polynomial-time hierarchy.
248: \newblock {\em Theoretical Computer Science}, 3(1):1--22, 1976.
249:
250: \bibitem{Watrous03}
251: J.~Watrous.
252: \newblock {PSPACE} has constant-round quantum interactive proof systems.
253: \newblock {\em Theoretical Computer Science}, 292(3):575--588, 2003.
254:
255: \bibitem{Yao93}
256: A.~Yao.
257: \newblock Quantum circuit complexity.
258: \newblock In {\em Proceedings of the 34th Annual Symposium on Foundations of
259: Computer Science}, pages 352--361, 1993.
260:
261: \end{thebibliography}
262: