A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem

2014/12/30 by Krzysztof Bar, Jamie Vicary
Computer Science · Physics and Astronomy · #cs.LO #quant-ph

paper · pdf · doi:10.4204/eptcs.172.23

published as EPTCS 172, 2014, pp. 316-332 · In Proceedings QPL 2014, arXiv:1412.8102

arxiv created 2014/12/30 · arxiv updated 2014/12/31

Abstract

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.

Citations

• Proceedings of the 11th workshop on Quantum Physics and Logic