互补族、量子密钥分发与Mean King问题的2-范畴分析
计算机科学中的逻辑
2014-12-31 v1 量子物理
摘要
本文探讨使用2-范畴技术来描述和推理复杂量子过程。我们给出互补测量族与量子密钥分发的语法定义，并证明它们等价。我们随后抽象地证明任一结构都给出Mean King问题的解，该问题我们也以2-范畴形式表述。
关键词
引用
@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}
}
备注
In Proceedings QPL 2014, arXiv:1412.8102