TY - JOUR
T1 - Quantum circuits with mixed states
AU - Aharonov, Dorit
AU - Kitaev, Alexei
AU - Nisan, Noam
PY - 1998
Y1 - 1998
N2 - The formal model of quantum circuits is generalized to a model in which the state can be a general quantum state and the gates can be general quantum operations. The new model is shown to be equivalent in computational power to standard models. The main result is a solution for the subroutine problem. A natural notion of using subroutines is defined, and the failure of the general subroutines to strengthen the models is shown.
AB - The formal model of quantum circuits is generalized to a model in which the state can be a general quantum state and the gates can be general quantum operations. The new model is shown to be equivalent in computational power to standard models. The main result is a solution for the subroutine problem. A natural notion of using subroutines is defined, and the failure of the general subroutines to strengthen the models is shown.
UR - http://www.scopus.com/inward/record.url?scp=0031632848&partnerID=8YFLogxK
U2 - 10.1145/276698.276708
DO - 10.1145/276698.276708
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???
AN - SCOPUS:0031632848
SN - 0734-9025
SP - 20
EP - 30
JO - Conference Proceedings of the Annual ACM Symposium on Theory of Computing
JF - Conference Proceedings of the Annual ACM Symposium on Theory of Computing
T2 - Proceedings of the 1998 30th Annual ACM Symposium on Theory of Computing
Y2 - 23 May 1998 through 26 May 1998
ER -