Shaded tangles for the design and verification of quantum circuits

David J. Reutter, Jamie Vicary

We give a scheme for interpreting shaded tangles as quantum circuits, with the property that if two shaded tangles are ambient isotopic, their corresponding computational effects a…