Abstract
Quantum finite automata with mixed states are proved to be super-exponentially more concise rather than quantum finite automata with pure states. It was proved earlier by A.Ambainis and R.Freivalds that quantum finite automata with pure states can have exponentially smaller number of states than deterministic finite automata recognizing the same language. There was a never published “folk theorem” proving that quantum finite automata with mixed states are no more than super-exponentially more concise than deterministic finite automata. It was not known whether the super-exponential advantage of quantum automata is really achievable.
We prove that there is an infinite sequence of distinct integers n such that there are languages L n such that there are quantum finite automata with mixed states with 5n states recognizing the language L n with probability \(\frac{3}{4} \) while any deterministic finite automaton recognizing L n needs to have at least e O(nlnn) states.
Unfortunately, the alphabet for these languages grows with n. In order to prove a similar result for languages in a fixed alphabet we consider a counterpart of Hamming codes for permutations of finite sets, i.e. sets of permutations such that any two distinct permutations in the set have Hamming distance at least d. The difficulty arises from the fact that in the traditional Hamming codes for binary strings positions in the string are independent while positions in a permutation are not independent. For instance, any two permutations of the same set either coinside or their Hamming distance is at least 2. The main combinatorial problem still remains open.
Research supported by Grant No.05.1528 from the Latvian Council of Science.
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
Aharonov, D., Kitaev, A., Nisan, N.: Quantum circuits with mixed states. In: Proc. STOC 1998, pp. 20-30 (1998)
Ambainis, A.: The complexity of probabilistic versus deterministic finite automata. LNCS, vol. 1178, pp. 233–237. Springer, Heidelberg (1996)
Ambainis, A., Beaudry, M., Golovkins, M., Kikusts, A., Mercer, M., Thérien, D.: Algebraic Results on Quantum Automata. Theory Comput. Syst. 39(1), 165–188 (2006)
Ambainis, A., Freivalds, R.: 1-way quantum finite automata: strengths, weaknesses and generalizations. In: Proc. IEEE FOCS 1998, 332–341 (1998)
Ambainis, A., Barbans, U., Belousova, A., Belovs, A., Dzelme, I., Folkmanis, G., Freivalds, R., Ledins, P., Opmanis, R., Škuškovniks, A.: Size of Quantum Versus Deterministic Finite Automata. VLSI 2003 , 303–308 (2003)
Artin, E.: Beweis des allgemeinen Reziprozitätsgesetzes. Mat. Sem. Univ. Hamburg 5, 353–363 (1927)
Cameron, P.: Permutation groups. London Mathematical Society Student Texts series. Cambridge University Press, Cambridge (1999)
Freivalds, R.: On the growth of the number of states in result of the determinization of probabilistic finite automata (Russian). Avtomatika i Vichislitel’naya Tekhnika 3, 39–42 (1982)
Freivalds, R.: Languages Recognizable by Quantum Finite Automata. In: Farré, J., Litovsky, I., Schmitz, S. (eds.) CIAA 2005. LNCS, vol. 3845, pp. 1–14. Springer, Heidelberg (2006)
Freivalds, R.: Non-constructive methods for finite probabilistic automata. In: Proceedings of the 11th International Conference Developments in Language Theory DLT-2007, Turku, Finland, July 3-5, 2007. LNCS, vol. 4588, Springer, Heidelberg (2007)
Freivalds, R., Ozols, M., Mančinska, L.: Permutation Groups and the Strength of Quantum Finite Automata with Mixed States. In: Proceedings of the Workshop ”Probabilistic and Quantum Algorithms” colocated with the 11th International Conference Developments in Language Theory DLT-2007, Turku, Finland, July 3-5, 2007 (to be published, 2007)
Kondacs, A., Watrous, J.: On the power of quantum finite state automata. In: Proc. IEEE FOCS 1997, pp. 66–75 (1997)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freivalds, R. (2007). Hamming, Permutations and Automata. In: Hromkovič, J., Královič, R., Nunkesser, M., Widmayer, P. (eds) Stochastic Algorithms: Foundations and Applications. SAGA 2007. Lecture Notes in Computer Science, vol 4665. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74871-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-74871-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74870-0
Online ISBN: 978-3-540-74871-7
eBook Packages: Computer ScienceComputer Science (R0)