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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Authors

Colleges, School and Institutes

External organisations

  • University of Oxford

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.

Details

Original languageEnglish
Title of host publicationProceedings of the 11th workshop on Quantum Physics and Logic (QPL 2014)
EditorsBob Coecke, Ichiro Hasuo , Prakash Panangaden
Publication statusPublished - 28 Dec 2014
Event11th workshop on Quantum Physics and Logic (QPL 2014) - Kyoto, Japan
Duration: 4 Jun 20146 Jun 2014

Publication series

NameElectronic Proceedings in Theoretical Computer Science
PublisherOpen Publishing Association
Volume172
ISSN (Electronic)2075-2180

Conference

Conference11th workshop on Quantum Physics and Logic (QPL 2014)
CountryJapan
CityKyoto
Period4/06/146/06/14