Two Logical Verification of Quantum NOT Gate

Quantum NOT gate is one of the elementary gates of quantum computer. We verify the physical consistency of the negation property of quantum NOT gate with the spin 1 /2 qubit using Toy model. We show that spin 1/2 qubit NOT gate properties satisfy quantum logical propositions using pasting construction.

[1]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[2]  R. Rosenfeld.  Nature , 2009, Otolaryngology--head and neck surgery : official journal of American Academy of Otolaryngology-Head and Neck Surgery.

[3]  R. Griffiths.  Consistent Quantum Theory , 2001 .

[4]  M. Pavicic,et al.  Bibliography on quantum logics and related structures , 1992 .

[5]  H. Dishkant,et al.  Logic of Quantum Mechanics , 1976 .

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

[7]  A. Bloom.  Quantum Electronics , 1972, Nature.

[8]  V. Varadarajan.  Geometry of quantum theory , 1968 .

[9]  D. Bouwmeester,et al.  The Physics of Quantum Information , 2000 .

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

[11]  Karl Svozil,et al.  Quantum Logic , 1998, Discrete mathematics and theoretical computer science.

[12]  Lorenzo M. Narducci,et al.  Progress in Quantum Electronics , 1972 .

[13]  I. Chuang,et al.  Quantum Computation and Quantum Information: Introduction to the Tenth Anniversary Edition , 2010 .

[14]  D. Deutsch.  Quantum computational networks , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[15]  F. Sciarrino,et al.  Experimental realization of the quantum universal NOT gate , 2002, Nature.

[16]  Vlatko Vedral,et al.  Basics of quantum computation , 1998, quant-ph/9802065.