Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract) release_lbypl6bcarfq7d2zaylfbrt2km

by David Reutter, Jamie Vicary (University of Oxford)

Released as a article .

2017  

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 fully-topological 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.
In text/plain format

Archived Files and Locations

application/pdf  441.8 kB
file_dizmqsxij5hbrceovlkvgoddam
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2017-05-11
Version   v5
Language   en ?
arXiv  1701.03309v5
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 04bcad6f-bdb6-4ecd-aec5-45011ef54f86
API URL: JSON