Conference item

Shaded tangles for the design and verification of quantum programs

Abstract:: 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.

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Reutter, D., & Vicary, J. (2018). Shaded tangles for the design and verification of quantum programs. 266, 329–348.

MLA Style

Reutter, D, and J Vicary. “Shaded Tangles for the Design and Verification of Quantum Programs.” Electronic Proceedings in Theoretical Computer Science, vol. 266, 2018, pp. 329–48.

Chicago Style

Reutter, D, and J Vicary. 2018. “Shaded Tangles for the Design and Verification of Quantum Programs.” Electronic Proceedings in Theoretical Computer Science, vol. 266: 329–48.
Print

Access Document

Files:: Reutter, D and Vicary, J, (2018) Proceedings 14th Internationa...

(Preview, Version of record, pdf, 284.2KB, Terms of use)

Publisher copy:: 10.4204/EPTCS.266.21

Authors

+ Reutter, D More by this author

Institution:: University of Oxford
Division:: MPLS
Department:: Computer Science
Role:: Author

+ Vicary, J More by this author

Institution:: University of Oxford
Oxford college:: Wadham College
Role:: Author

Publisher:: Open Publishing Association
Host title:: Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017)
Journal:: International Conference on Quantum Physics and Logic More from this journal
Volume:: 266
Pages:: 329–348
Series:: Electronic Proceedings in Theoretical Computer Science
Publication date:: 2018-02-27
Acceptance date:: 2017-05-31
DOI:: 10.4204/EPTCS.266.21
ISSN:: 2075-2180

Pubs id:: pubs:698488
UUID:: uuid:7ea192bd-eda8-479d-8c59-f40d04dfdc78
Local pid:: pubs:698488
Source identifiers:: 698488
Deposit date:: 2017-06-05
ARK identifier:: ark:/29072/ora_7ea192bdeda8479d8c59f40d04dfdc78

Terms of use

Copyright holder:: Reutter and Vicary
Copyright date:: 2018
Notes:: Copyright © D. Reutter & J. Vicary.
This work is licensed under the
Creative Commons Attribution License

Licence:: CC Attribution (CC BY)

Views and Downloads

About 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