A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
Logic in Computer Science
2014-12-31 v1 Quantum Physics
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.
Keywords
Cite
@article{arxiv.1412.8548,
title = {A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem},
author = {Krzysztof Bar and Jamie Vicary},
journal= {arXiv preprint arXiv:1412.8548},
year = {2014}
}
Comments
In Proceedings QPL 2014, arXiv:1412.8102