Conference item icon

Conference item

Complete positivity and natural representation of quantum computations

Abstract:

We propose a new `quantum domain theory' in which Scott-continuous functions are replaced by Scott-continuous natural transformations. Completely positive maps are widely accepted as a model of first-order quantum computation. We begin by establishing a categorical characterization of completely positive maps as natural families of positive maps. We explore this categorical characterization by building various representations of quantum computation based on different structures: affine maps ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2015.12.022

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
European Research Council More from this funder
Royal Society More from this funder
Publisher:
Elsevier Publisher's website
Journal:
Electronic Notes in Theoretical Computer Science Journal website
Volume:
319
Pages:
369-385
Host title:
31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI)
Publication date:
2015-12-22
DOI:
ISSN:
1571-0661
Source identifiers:
589837
Keywords:
Pubs id:
pubs:589837
UUID:
uuid:38440abc-f30f-474b-adeb-986eb785f1d7
Local pid:
pubs:589837
Deposit date:
2016-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP