[论文解读] Equivalence of Local Complementation and Euler Decomposition in the Qutrit ZX-calculus

Xiaoyan Gong, Quanlong Wang|arXiv (Cornell University)|Apr 19, 2017

Quantum Information and Cryptography参考文献 11被引用 3

一句话总结

本论文建立了三-比特ZX演算中局部互补性与欧拉分解之间的等价性，证明了当且仅当Hadamard门H可分解为绿色与红色蜘蛛的4π/3旋转时，三-比特局部互补性成立。作者引入了一套改进的三-比特ZX演算规则，证明了诸如对偶器一致性与霍普夫律等基础图示性质，并为三-比特稳定子量子力学的完备性结果奠定了基础。

ABSTRACT

In this paper, we give a modified version of the qutrit ZX-calculus, by which we represent qutrit graph states as diagrams and prove that the qutrit version of local complementation property is true if and only if the qutrit Hadamard gate $H$ has an Euler decomposition into $4π/3$-green and red rotations. This paves the way for studying the completeness of qutrit ZX-calculus for qutrit stabilizer quantum mechanics.

研究动机与目标

• 建立一套改进的、可靠且完备的三-比特ZX演算规则，以支持三-比特稳定子量子力学中的图示推理。
• 在三-比特ZX演算框架内，将三-比特图态表示为图示。
• 研究三-比特情形下局部互补性成立的条件。
• 证明三-比特局部互补性成立当且仅当Hadamard门H可分解为4π/3旋转的绿色与红色蜘蛛。
• 为三-比特ZX演算在稳定子量子力学中的完备性证明奠定基础。

提出的方法

• 通过增加规则(S3)和(H2′)，扩展(S1)和(P1)，移除(P2)，并简化(K2)，引入改进的三-比特ZX演算，同时避免对拓扑形变的假设。
• 定义希尔伯特空间中图示的标准解释，使用角度2π/3和4π/3分别表示1和2，并通过其矩阵和态表示定义Hadamard门H。
• 利用新规则集证明基础图示性质：霍普夫律、所有对偶器的一致性，以及拷贝与协拷贝操作的交换性。
• 通过图示推理表明，三角形上的局部互补性蕴含H分解为4π/3旋转的欧拉分解。
• 展示逆命题：H的欧拉分解蕴含局部互补性的有效性，通过一系列图示变换实现。
• 通过将一般情形约化为带H†边的星形图与完全图，将结果从三角形图推广至任意3-多重图，利用推导出的规则。

实验结果

研究问题

• RQ1 在三-比特ZX演算中，局部互补性在何种条件下成立？
• RQ2 三-比特Hadamard门H是否可分解为绿色与红色蜘蛛的4π/3旋转？这与局部互补性有何关联？
• RQ3 改进的三-比特ZX演算规则能否支持霍普夫律与对偶器一致性的关键图示恒等式推导？
• RQ4 H的欧拉分解在三-比特情形下是否为局部互补性成立的必要且充分条件？
• RQ5 如何利用改进的三-比特ZX演算表示并变换一般的三-比特图态？

主要发现

• 三-比特局部互补性成立当且仅当Hadamard门H可分解为绿色与红色蜘蛛的4π/3旋转。
• 改进的三-比特ZX演算规则（包括(S3)、(H2′)，以及扩展的(S1)和(P1)）足以推导出霍普夫律与所有对偶器的一致性。
• Hadamard门H及其逆H†可在绿色杯上自由滑动，这是图示操作中的关键性质。
• H的欧拉分解并非唯一，如通过多个等价的图示表示可展示同一门。
• 通过欧拉分解，一种颜色的4π/3旋转可表示为另一种颜色的函数，展示了规则集中颜色对称性。
• 任意3-多重图上局部互补性的普遍情形可约化为带H†边的星形图与完全图，从而支持归纳证明策略。