A 2Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
Abstract
This paper explores the use of 2categorical 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 2categorically.
 Publication:

arXiv eprints
 Pub Date:
 December 2014
 arXiv:
 arXiv:1412.8548
 Bibcode:
 2014arXiv1412.8548B
 Keywords:

 Computer Science  Logic in Computer Science;
 Quantum Physics
 EPrint:
 In Proceedings QPL 2014, arXiv:1412.8102