Krzysztof Bar (Department of Computer Science, University of Oxford) |
Jamie Vicary (Department of Computer Science, University of Oxford) |

This paper explores the use of 2-categorical technology for describing and reasoning about complex quantum procedures. We give syntactic definitions of a family of complementary measurements, and of quantum key distribution, and show that they are equivalent. We then show abstractly that either structure gives a solution to the Mean King problem, which we also formulate 2-categorically. |

Published: 28th December 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.172.23 | bibtex | |

Comments and questions to: eptcs@eptcs.org |

For website issues: webmaster@eptcs.org |