75 citations · 544 across the 41 of their papers we have counts for
4 papers · 1 filter
Perfect tight quantum teleportation without a shared reference frame
Dominic Verdon, Jamie Vicary
We present a new scheme for teleporting a quantum state between two parties whose local reference frames are misaligned by the action of a finite symmetry group. Unlike other propo…
A classical groupoid model for quantum networks
David J. Reutter, Jamie Vicary
We give a mathematical analysis of a new type of classical computer network architecture, intended as a model of a new technology that has recently been proposed in industry. Our a…
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Lawrence Dunn, Jamie Vicary
We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrica…
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
David Reutter, Jamie Vicary
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 t…