Abstract
One of the properties of Kondacs-Watrous model of quantum finite automata (QFA) is that the probability of the correct answer for a QFA cannot be amplified arbitrarily. In this paper, we determine the maximum probabilities achieved by QFAs for several languages. In particular, we show that any language that is not recognized by an RFA (reversible finite automaton) can be recognized by a QFA with probability at most 0.7726....
Research supported by Berkeley Fellowship for Graduate Studies, Microsoft Research Fellowship and NSF Grant CCR-9800024.
Research supported by Grant No.01.0354 from the Latvian Council of Science and European Commission, contract IST-1999-11234.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andris Ambainis, Richard Bonner, Rũsiņš Freivalds, Arnolds Ķikusts. Probabilities to accept languages by quantum finite automata. Proceedings of COCOON’99, p. 174–183. Also quant-ph/9904066.
Andris Ambainis, Rũsiņš Freivalds. 1-way quantum finite automata: strengths, weaknesses and generalizations. Proceedings of FOCS’98, p. 332–341. Also quant-ph/9802062.
Andris Ambainis, Arnolds Ķikusts, Mãris Valdats. On the class of languages recognizable by 1-way quantum finite automata. Proceedings of STACS’01, p. 75–86. Also quant-ph/0009004.
Andris Ambainis, John Watrous. Quantum automata with mixed states. In preparation, 2001.
Ethan Bernstein, Umesh Vazirani, Quantum complexity theory. SIAM Journal on Computing, 26:1411–1473, 1997.
Alex Brodsky, Nicholas Pippenger. Characterizations of 1-way quantum finite automata. quant-ph/9903014.
M. Pica Ciamarra. Quantum reversibility and a new type of quantum automaton. Proceedings of FCT’01, to appear.
Jozef Gruska. Descriptional complexity issues in quantum computing. Journal of Automata, Languages and Combinatorics, 5:191–218, 2000.
Arnolds Ķikusts, Zigmãrs Rasščevskis. On the accepting probabilities of 1-way quantum finite automata. Proceedings of the workshop on Quantum Computing and Learning, 2000, p. 72–79.
J. Kemeny, J. Snell. Finite Markov Chains. Springer-Verlag, 1976.
Arnolds Ķikusts. A small 1-way quantum finite automaton. quant-ph/9810065.
Attila Kondacs and John Watrous. On the power of quantum finite state automata. In Proceedings of FOCS’97, p. 66–75.
C. Moore, J. Crutchfield. Quantum automata and quantum grammars. Theoretical Computer Science, 237:275–306, 2000. Also quant-ph/9707031.
Ashwin Nayak. Optimal lower bounds for quantum automata and random access codes. Proceedings of FOCS’99, p. 369–376. Also quant-ph/9904093.
Katrin Paschen. Quantum finite automata using ancilla qubits. University of Karlsruhe technical report.
John Watrous. Relationships between quantum and classical space-bounded complexity classes. Proceedings of Complexity’98, p. 210–227.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambainis, A., Ķikusts, A. (2001). Exact Results for Accepting Probabilities of Quantum Automata. In: Sgall, J., Pultr, A., Kolman, P. (eds) Mathematical Foundations of Computer Science 2001. MFCS 2001. Lecture Notes in Computer Science, vol 2136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44683-4_13
Download citation
DOI: https://doi.org/10.1007/3-540-44683-4_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42496-3
Online ISBN: 978-3-540-44683-5
eBook Packages: Springer Book Archive