A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
Krzysztof Bar, Jamie Vicary
Electronic Proceedings in Theoretical Computer Science · 2014
doi:10.4204/eptcs.172.23 (opens in a new tab)
We email you when a new notice or a question about this paper appears.
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.
Abstract licence: CC BY-NC-ND
Reads
Read by people on this page
None yet.
Checked or read by AI through naulon
None yet.
A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.
Are you an author?
Is this your paper?
Claim it to add your note and be paid when agents cite it. Free.