Higher semantics of quantum protocols
We propose a higher semantics for the description of quantum protocols, which deals with quantum and classical information in a unified way. Central to our approach is the modelling of classical data by information transfer to the environment, and the use of 2-category theory to formalize the result...
| Main Author: | |
|---|---|
| Format: | Conference item |
| Published: |
Institute of Electrical and Electronics Engineers
2012
|
| _version_ | 1797068707935027200 |
|---|---|
| author | Vicary, J |
| author_facet | Vicary, J |
| author_sort | Vicary, J |
| collection | OXFORD |
| description | We propose a higher semantics for the description of quantum protocols, which deals with quantum and classical information in a unified way. Central to our approach is the modelling of classical data by information transfer to the environment, and the use of 2-category theory to formalize the resulting framework. This 2-categorical semantics has a graphical calculus, the diagrams of which correspond exactly to physically-implementable quantum procedures. Quantum teleportation in its most general sense is reformulated as the ability to remove correlations between a quantum system and its environment, and is represented by an elegant graphical identity. We use this new formalism to describe two new families of quantum protocols. Index Terms—quantum computing, category theory, higher categories |
| first_indexed | 2024-03-06T22:14:04Z |
| format | Conference item |
| id | oxford-uuid:52cdf2dd-8901-4122-a10d-e81e204f53cc |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:14:04Z |
| publishDate | 2012 |
| publisher | Institute of Electrical and Electronics Engineers |
| record_format | dspace |
| spelling | oxford-uuid:52cdf2dd-8901-4122-a10d-e81e204f53cc2022-03-26T16:27:39ZHigher semantics of quantum protocolsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:52cdf2dd-8901-4122-a10d-e81e204f53ccSymplectic Elements at OxfordInstitute of Electrical and Electronics Engineers2012Vicary, JWe propose a higher semantics for the description of quantum protocols, which deals with quantum and classical information in a unified way. Central to our approach is the modelling of classical data by information transfer to the environment, and the use of 2-category theory to formalize the resulting framework. This 2-categorical semantics has a graphical calculus, the diagrams of which correspond exactly to physically-implementable quantum procedures. Quantum teleportation in its most general sense is reformulated as the ability to remove correlations between a quantum system and its environment, and is represented by an elegant graphical identity. We use this new formalism to describe two new families of quantum protocols. Index Terms—quantum computing, category theory, higher categories |
| spellingShingle | Vicary, J Higher semantics of quantum protocols |
| title | Higher semantics of quantum protocols |
| title_full | Higher semantics of quantum protocols |
| title_fullStr | Higher semantics of quantum protocols |
| title_full_unstemmed | Higher semantics of quantum protocols |
| title_short | Higher semantics of quantum protocols |
| title_sort | higher semantics of quantum protocols |
| work_keys_str_mv | AT vicaryj highersemanticsofquantumprotocols |