Shaded tangles for the design andverification of quantum programs (extended abstract)

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 thisway-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. andcopy; D. Reutter andamp; J. Vicary This work is licensed under the Creative Commons Attribution License.