[论文解读] Graphs States and the necessity of Euler Decomposition

Ross Duncan, Simon Perdrix|arXiv (Cornell University)|Feb 3, 2009

Quantum Mechanics and Applications参考文献 9被引用 10

一句话总结

本文在范畴量子力学框架中引入了Hadamard门的Euler分解作为必要新公理，以证明图态的局部补全等价性定理由Van den Nest提出。基于红绿演算的图形化演算，作者表明该定理由逻辑等价于Euler分解，并通过基于模型的反例证明其无法从现有公理推导得出。

ABSTRACT

Coecke and Duncan recently introduced a categorical formalisation of the interaction of complementary quantum observables. In this paper we use their diagrammatic language to study graph states, a computationally interesting class of quantum states. We give a graphical proof of the fixpoint property of graph states. We then introduce a new equation, for the Euler decomposition of the Hadamard gate, and demonstrate that Van den Nest's theorem--locally equivalent graphs represent the same entanglement--is equivalent to this new axiom. Finally we prove that the Euler decomposition equation is not derivable from the existing axioms.

研究动机与目标

• 在红绿演算的范畴量子力学中，确立将Hadamard门的Euler分解作为新公理的必要性。
• 证明Van den Nest定理（即局部等价的图代表相同纠缠）与Hadamard门的Euler分解在逻辑上等价。
• 证明Hadamard门的Euler分解无法从红绿演算的现有公理中推导得出。
• 提供一个红绿演算的模型，其中Euler分解不成立，从而证明其与当前公理系统的独立性。
• 弥合抽象范畴量子力学与具体量子信息问题之间的鸿沟，特别是在测量型量子计算中的应用。

提出的方法

• 采用红绿演算作为量子过程的图形语言，将量子态和操作表示为图形。
• 将图态定义为由Z态和受控-Z门生成的特定图形，并利用图形化演算证明其不动点性质。
• 引入Hadamard门的Euler分解公式：$ H = p_Z(-\pi/2) \circ p_X(-\pi/2) \circ p_Z(-\pi/2) $，其中$ p_X $和$ p_Z $为相位移。
• 通过图形化推理，建立Van den Nest定理与Euler分解之间的逻辑等价性。
• 构造一个函子$ \llbracket \cdot \rrbracket_n $，其保持所有现有公理但使$ n \geq 2 $时Euler分解不成立，从而证明其不可推导性。
• 采用模型论方法，通过展示一个Euler分解不成立的模型，证明其与当前公理集的独立性。

实验结果

研究问题

• RQ1 Hadamard门的Euler分解是否可从红绿演算的现有公理中推导得出？
• RQ2 在当前范畴量子力学框架中，Van den Nest关于图态局部补全的定理是否可推导？
• RQ3 能否通过图形化方法证明Van den Nest定理与Hadamard门Euler分解之间的等价性？
• RQ4 在图形化演算中，证明Van den Nest定理所需的最小额外公理集合是什么？
• RQ5 当前系统中缺少Euler分解是否阻碍了关于图态的非平凡结果的推导？

主要发现

• 在图形化演算中，Van den Nest定理由逻辑等价于Hadamard门的Euler分解。
• Hadamard门的Euler分解无法从红绿演算的现有公理中推导得出。
• 存在一个红绿演算的模型——具体为$ \llbracket \cdot \rrbracket_n $（当$ n = 2 $时）——其中Euler分解不成立，从而证明其独立性。
• 将Euler分解作为公理添加，可解决理论中的不一致：消除了此前无法证明相等的Hadamard门的两种不同表示。
• 该结果表明，看似抽象的公理（Euler分解）对于证明量子信息中的非平凡结果（Van den Nest定理）至关重要。
• 该发现源于对测量型量子计算中具体问题的研究，凸显了抽象范畴框架在解决实际量子信息问题中的价值。