Quantum inductive learning and quantum logic synthesis

Since Quantum Computer is almost realizable on large scale and Quantum Technology is one of the main solutions to the Moore Limit, Quantum Logic Synthesis (QLS) has become a required theory and tool for designing Quantum Logic Circuits. However, despite its growth, there is no any unified approach to QLS as Quantum Computing is still being discovered and novel applications are being identified. The intent of this study is to experimentally explore principles of Quantum Logic Synthesis and its applications to Inductive Machine Learning. Based on algorithmic approach, I first design a Genetic Algorithm for Quantum Logic Synthesis that is used to prove and verify the methods proposed in this work. Based on results obtained from the evolutionary experimentation, I propose a fast, structure and cost based exhaustive search that is used for the design of a novel, least expensive universal family of quantum gates. The results from both the evolutionary and heuristic search are used to formulate an Inductive Learning Approach based on Quantum Logic Synthesis with the intended application being the humanoid behavioral robotics. The presented approach illustrates a successful algorithmic approach, where the search algorithm was able to invent/discover novel quantum circuits as well as novel principles in Quantum Logic Synthesis.

[1]  N. Margolus,et al.  Invertible cellular automata: a review , 1991 .

[2]  James P. Crutchfield,et al.  Quantum automata and quantum grammars , 2000, Theor. Comput. Sci..

[3]  Alexander Graham,et al.  Kronecker Products and Matrix Calculus: With Applications , 1981 .

[4]  Gerhard W. Dueck,et al.  Spectral Techniques for Reversible Logic Synthesis , 2002 .

[5]  Marek A. Perkowski,et al.  The Cost of Quantum Gate Primitives , 2006, J. Multiple Valued Log. Soft Comput..

[6]  R. Feynman,et al.  Quantum Mechanics and Path Integrals , 1965 .

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

[8]  V. Braitenberg.  Vehicles, Experiments in Synthetic Psychology , 1984 .

[9]  Marco Tomassini,et al.  Evolutionary Algorithms , 1995, Towards Evolvable Hardware.

[10]  John Watrous,et al.  On one-dimensional quantum cellular automata , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

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

[12]  H. S. Allen.  The Quantum Theory , 1928, Nature.

[13]  N. Bohr.  II - Can Quantum-Mechanical Description of Physical Reality be Considered Complete? , 1935 .

[14]  P. Benioff,et al.  Some foundational aspects of quantum computers and quantum robots. , 1998 .

[15]  Rocco A. Servedio,et al.  Quantum versus classical learnability , 2000, Proceedings 16th Annual IEEE Conference on Computational Complexity.

[16]  U. S. Army.  Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures , 2007 .

[17]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[18]  Tony R. Martinez,et al.  An Artificial Neuron with Quantum Mechanical Properties , 1997, ICANNGA.

[19]  Christian Lang,et al.  Bi-decomposition of function sets using multi-valued logic , 2003, Ausgezeichnete Informatikdissertationen.

[20]  I PaulBenioff.  Quantum Mechanical Hamiltonian Models of Turing Machines , 1982 .

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

[22]  Physical Review , 1965, Nature.

[23]  Una-May O'Reilly,et al.  Genetic Programming II: Automatic Discovery of Reusable Programs. , 1994, Artificial Life.

[24]  James E. Baker,et al.  Reducing Bias and Inefficienry in the Selection Algorithm , 1987, ICGA.

[25]  Ivan Bratko,et al.  Machine Learning by Function Decomposition , 1997, ICML.

[26]  Cynthia Breazeal,et al.  Designing sociable robots , 2002 .

[27]  Martin Lukac,et al.  Evolving quantum circuits using genetic algorithm , 2002, Proceedings 2002 NASA/DoD Conference on Evolvable Hardware.

[28]  Guowu Yang,et al.  Fast synthesis of exact minimal reversible circuits using group theory , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

[29]  Andris Ambainis,et al.  Two-way finite automata with quantum and classical state , 1999, Theor. Comput. Sci..

[30]  Paul Benioff.  QUANTUM ROBOTS AND ENVIRONMENTS , 1998 .

[31]  G Micieli,et al.  CD Rom. , 1996, Emergency nurse : the journal of the RCN Accident and Emergency Nursing Association.

[32]  Guowu Yang,et al.  Realizing ternary quantum switching networks without ancilla bits , 2005, quant-ph/0509192.

[33]  Subhash C. Kak,et al.  On Quantum Neural Computing , 1995, Inf. Sci..

[34]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[35]  K. Igeta,et al.  Quantum mechanical computers with single atom and photon fields , 1988 .

[36]  J. Cirac,et al.  Quantum Computations with Cold Trapped Ions. , 1995, Physical review letters.

[37]  Marek Perkowski,et al.  Decomposition of Relations: A New Approach to Constructive Induction in Machine Learning and Data Mining -- An Overview , 2001 .

[38]  Jong-Hwan Kim,et al.  Parallel quantum-inspired genetic algorithm for combinatorial optimization problem , 2001, Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546).

[39]  DiVincenzo.  Two-bit gates are universal for quantum computation. , 1994, Physical review. A, Atomic, molecular, and optical physics.

[40]  Herbert Walther,et al.  Quantum computation with trapped ions in an optical cavity. , 2002, Physical review letters.

[41]  P. Ekman.  Facial expression and emotion. , 1993, The American psychologist.

[42]  Timothy F. Havel,et al.  Ensemble quantum computing by NMR spectroscopy , 1997, Proc. Natl. Acad. Sci. USA.

[43]  Alan Mishchenko,et al.  Logic Synthesis of Reversible Wave Cascades , 2002, IWLS.

[44]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, CACM.

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

[46]  S Nothom,et al.  New Mexico. , 1995, Journal of AHIMA.

[47]  Marek A. Perkowski,et al.  An error reducing approach to machine learning using multi-valued functional decomposition , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).

[48]  Alexander G. Gray,et al.  Automated Design of Quantum Circuits , 1998, QCQC.

[49]  LukacMartin,et al.  Evolutionary Approach to Quantum andReversible Circuits Synthesis , 2003 .

[50]  Wolfgang Maass.  Proceedings of the eighth annual conference on Computational learning theory , 1995, COLT 1995.

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

[52]  Marek A. Perkowski,et al.  Quantum Robots for Teenagers , 2007, 37th International Symposium on Multiple-Valued Logic (ISMVL'07).

[53]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.

[54]  Dan C. Marinescu,et al.  Approaching Quantum Computing , 2004 .

[55]  G.E. Moore,et al.  Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.

[56]  Alexandre Blais,et al.  Operation of universal gates in a solid state quantum computer based on clean Josephson junctions between d-wave superconductors , 2000 .

[57]  Benjamin I. P. Rubinstein.  Evolving quantum circuits using genetic programming , 2001, Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546).

[58]  Faisal Shah Khan,et al.  Synthesis of multi-qudit hybrid and d-valued quantum logic circuits by decomposition , 2006, Theor. Comput. Sci..

[59]  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.

[60]  Rocco A. Servedio,et al.  Separating Quantum and Classical Learning , 2001, ICALP.

[61]  Rocco A. Servedio,et al.  Quantum Algorithms for Learning and Testing Juntas , 2007, Quantum Inf. Process..

[62]  Ajit Narayanan,et al.  Quantum-inspired genetic algorithms , 1996, Proceedings of IEEE International Conference on Evolutionary Computation.

[63]  Gerhard W. Dueck,et al.  Synthesis of Quantum Multiple-Valued Circuits , 2006, J. Multiple Valued Log. Soft Comput..

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

[65]  D. Michael Miller,et al.  QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits , 2006, 36th International Symposium on Multiple-Valued Logic (ISMVL'06).

[66]  D. E. Goldberg,et al.  Genetic Algorithms in Search , 1989 .

[67]  John Watrous,et al.  On the Power of 2-Way Quantum Finite State AutomataJohn , 1997 .

[68]  S. Sugano,et al.  Emotional communication between humans and the autonomous robot which has the emotion model , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

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

[70]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[71]  Paolo Toth,et al.  Algorithm 37 Algorithm for the solution of the 0–1 single knapsack problem , 1978, Computing.

[72]  Paul Benioff.  Space Searches with a Quantum Robot , 2000 .

[73]  H. J. Kimble,et al.  Cavity QED and quantum-information processing with "hot" trapped atoms , 2003 .

[74]  Guowu Yang,et al.  Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[75]  C. Monroe,et al.  A “Schrödinger Cat” Superposition State of an Atom , 1996, Science.

[76]  A. Damasio.  The Feeling of What Happens: Body and Emotion in the Making of Consciousness , 1999 .

[77]  J. Winn,et al.  Darwin , 1883, Nature.

[78]  D. Deutsch,et al.  Rapid solution of problems by quantum computation , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

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

[80]  A. E. Eiben,et al.  Orgy in the Computer: Multi-Parent Reproduction in Genetic Algorithms , 1995, ECAL.

[81]  Tommaso Toffoli,et al.  Computation and Construction Universality of Reversible Cellular Automata , 1977, J. Comput. Syst. Sci..

[82]  R. Landauer,et al.  Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..

[83]  Rocco A. Servedio,et al.  Advances in quantum computational learning theory , 2006 .