An Algebraic Language For Distributed Quantum Computing

UTSePress Research/Manakin Repository

Search UTSePress Research

Advanced Search


My Account

Show simple item record Ying, Mingsheng en_US Feng, Yuan en_US
dc.contributor.editor en_US 2010-05-28T09:46:59Z 2010-05-28T09:46:59Z 2009 en_US
dc.identifier 2008004754 en_US
dc.identifier.citation Ying Mingsheng and Feng Yuan 2009, 'An Algebraic Language For Distributed Quantum Computing', Institute Of Electrical And Electronics Engineers, vol. 58, no. 6, pp. 728-743. en_US
dc.identifier.issn 0018-9340 en_US
dc.identifier.other C1 en_US
dc.description.abstract A classical circuit can be represented by a circuit graph or equivalently by a Boolean expression. The advantage of a circuit graph is that it can help us to obtain an intuitive understanding of the circuit under consideration, whereas the advantage of a Boolean expression is that it is suited to various algebraic manipulations. In the literature, however, quantum circuits are mainly drawn as circuit graphs, and a formal language for quantum circuits that has a function similar to that of Boolean expressions for classical circuits is still missing. Certainly, quantum circuit graphs will become unmanageable when complicated quantum computing problems are encountered, and in particular, when they have to be solved by employing the distributed paradigm where complex quantum communication networks are involved. In this paper, we design an algebraic language for formally specifying quantum circuits in distributed quantum computing. Using this language, quantum circuits can be represented in a convenient and compact way, similar to the way in which we use Boolean expressions in dealing with classical circuits. Moreover, some fundamental algebraic laws for quantum circuits expressed in this language are established. These laws form a basis of rigorously reasoning about distributed quantum computing and quantum communication protocols. en_US
dc.language en_US
dc.publisher Institute Of Electrical And Electronics Engineers en_US
dc.relation.hasversion Accepted manuscript version en_US
dc.relation.isbasedon en_US
dc.title An Algebraic Language For Distributed Quantum Computing en_US
dc.parent IEEE Transactions On Computers en_US
dc.journal.volume 58 en_US
dc.journal.number 6 en_US
dc.publocation New York en_US
dc.identifier.startpage 728 en_US
dc.identifier.endpage 743 en_US FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 080300 en_US
dc.personcode 103396 en_US
dc.personcode 106439 en_US
dc.percentage 100 en_US Computer Software en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US en_US
dc.location.activity en_US
dc.description.keywords NA en_US
dc.staffid 106439 en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record