Shaded tangles for the design and verification of quantum programs
We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in this way—including entanglement manipulation and error correction—and in each case present a fullytopological formal veri...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Open Publishing Association
2018
|
| _version_ | 1826281350983843840 |
|---|---|
| author | Reutter, D Vicary, J |
| author_facet | Reutter, D Vicary, J |
| author_sort | Reutter, D |
| collection | OXFORD |
| description | We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in this way—including entanglement manipulation and error correction—and in each case present a fullytopological formal verification, yielding in several cases substantial new insight into how the program works. We also use our methods to identify several new or generalized procedures. |
| first_indexed | 2024-03-07T00:27:30Z |
| format | Conference item |
| id | oxford-uuid:7ea192bd-eda8-479d-8c59-f40d04dfdc78 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:27:30Z |
| publishDate | 2018 |
| publisher | Open Publishing Association |
| record_format | dspace |
| spelling | oxford-uuid:7ea192bd-eda8-479d-8c59-f40d04dfdc782022-03-26T21:11:21ZShaded tangles for the design and verification of quantum programsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:7ea192bd-eda8-479d-8c59-f40d04dfdc78Symplectic Elements at OxfordOpen Publishing Association2018Reutter, DVicary, JWe give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in this way—including entanglement manipulation and error correction—and in each case present a fullytopological formal verification, yielding in several cases substantial new insight into how the program works. We also use our methods to identify several new or generalized procedures. |
| spellingShingle | Reutter, D Vicary, J Shaded tangles for the design and verification of quantum programs |
| title | Shaded tangles for the design and verification of quantum programs |
| title_full | Shaded tangles for the design and verification of quantum programs |
| title_fullStr | Shaded tangles for the design and verification of quantum programs |
| title_full_unstemmed | Shaded tangles for the design and verification of quantum programs |
| title_short | Shaded tangles for the design and verification of quantum programs |
| title_sort | shaded tangles for the design and verification of quantum programs |
| work_keys_str_mv | AT reutterd shadedtanglesforthedesignandverificationofquantumprograms AT vicaryj shadedtanglesforthedesignandverificationofquantumprograms |