Quantum Finite State Machines as Sequential Quantum Circuits

In this paper we present the synthesis process of quantum finite state machines for sequence detection based on the synthesis of quantum sequential circuits. Such machines have many applications for instance in robotics. We show the relation between the quantum circuit and the natural ability of quantum systems to retain the quantum state. We consider cases where a single qubit in a circuit represents a quantum state and another is used as the input qubit. We analyze some of the well known circuits as sequence detectors and describe their behaviors. We show that the standard quantum logic synthesis can be used for both the synthesis of quantum circuits as well as for quantum finite state machines used as sequence detectors.

[1]  John Watrous,et al.  On the power of quantum finite state automata , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[2]  Guowu Yang,et al.  Quantum logic synthesis by symbolic reachability analysis , 2004, Proceedings. 41st Design Automation Conference, 2004..

[3]  Gerhard W. Dueck,et al.  Improved quantum cost for n-bit Toffoli gates , 2003 .

[4]  R. Feynman.  Quantum mechanical computers , 1986 .

[5]  P. Dirac.  Principles of Quantum Mechanics , 1982 .

[6]  Igor L. Markov,et al.  A Practical Top-down Approach to Quantum Circuit Synthesis , 2004 .

[7]  DiVincenzo,et al.  Five two-bit quantum gates are sufficient to implement the quantum Fredkin gate. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[8]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[9]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[10]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[11]  Albert Einstein,et al.  Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? , 1935 .

[12]  Kyusik Chung,et al.  Evolutionary Approach to Quantum and Reversible Circuits Synthesis , 2003, Artificial Intelligence Review.

[13]  Martin Lukac,et al.  Quantum Mechanical Model of Emotional Robot Behaviors , 2007, 37th International Symposium on Multiple-Valued Logic (ISMVL'07).

[14]  Mozammel H. A. Khan,et al.  Minimization of Quaternary Galois Field Sum of Products Expression for Multi-Output Quaternary Logic Function Using Quaternary Galois Field Decision Diagram , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[15]  Jozef Gruska,et al.  Quantum Computing , 2008, Wiley Encyclopedia of Computer Science and Engineering.