ZX-calculus 中基于 GHZ 态的超密编码与基于 W 态的量子密钥分发
量子物理
2012-10-03 v1 密码学与安全
摘要
量子纠缠是许多量子协议（如量子隐形传态和量子密码学）中的关键资源。然而，纠缠使得以 Dirac 符号呈现的协议难以验证。这就是 Coecke 和 Duncan 引入一种称为 ZX-calculus 的量子协议图示语言的原因。这种图示表示法既直观又在形式上严谨。它是一种简单、图形化的高级语言，强调系统的组合并自然捕捉量子力学的精髓。在作者的硕士论文中，已针对超过 25 种量子协议表明，ZX-calculus 提供了一种相对容易且更直观的呈现方式。此外，作者着手将范畴量子力学应用于量子安全；早期的工作仅涉及 Bennett 和 Brassard 的量子密钥分发协议 BB84。本文在 ZX-calculus 中展示了基于 Greenberger-Horne-Zeilinger 态的超密编码和基于 W 态的量子密钥分发。
引用
@article{arxiv.1210.0650,
title = {Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus},
author = {Anne Hillebrand},
journal= {arXiv preprint arXiv:1210.0650},
year = {2012}
}
备注
In Proceedings QPL 2011, arXiv:1210.0298