BibTeX
CSL-JSON
MLA
Harvard
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
arXiv
1701.03309v5
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links