DocumentCode
3112175
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
fYear
2007
fDate
11-13 July 2007
Firstpage
1124
Lastpage
1128
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICIS.2007.188
Filename
4276534
Link To Document