Title :
Two Logical Verification of Quantum NOT Gate
Author :
Ahmed, Alauddin ; Rahman, Atiqur ; Anwer, Mohammed ; Haque, Nazmul ; Chowdhury, Morshed U.
Author_Institution :
Independent Univ., Dhaka
Abstract :
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.
Keywords :
logic testing; quantum gates; Toy model; logical verification; negation property; pasting construction; physical consistency; quantum NOT gate; quantum computer; quantum logical propositions; Australia; Computational efficiency; Computer science; Hilbert space; Information technology; Logic gates; Physics computing; Polarization; Quantum computing; Quantum mechanics;
Conference_Titel :
Computer and Information Science, 2007. ICIS 2007. 6th IEEE/ACIS International Conference on
Conference_Location :
Melbourne, Qld.
Print_ISBN :
0-7695-2841-4
DOI :
10.1109/ICIS.2007.188
