[论文解读] The equivalence of two approaches to the design of entanglement distillation protocols

Erik Hostens, Jeroen Dehaene+1 more|ArXiv.org|Jun 2, 2004

Quantum Computing Algorithms and Architecture参考文献 11被引用 10

一句话总结

本文建立了两种设计纠缠浓缩协议方法之间的数学等价性：一种基于局部幺正操作以置换贝尔态张量积，另一种基于稳定子码。它证明了任一基于置换框架的协议均可重新解释为基于稳定子码的协议，反之亦然，通过证明稳定子码的解码操作会诱导贝尔态张量积的置换，且反之，每一个此类置换均对应于稳定子码的综合征测量与纠错过程。

ABSTRACT

We show the equivalence of two approaches to the design of entanglement distillation protocols. The first approach is based on local unitary operations that yield permutations of tensor products of Bell states. The second approach is based on stabilizer codes.

研究动机与目标

• 建立两种不同纠缠浓缩协议设计框架之间的正式对应关系：基于置换的框架与基于编码的框架。
• 弥合基于贝尔态张量积的局部幺正置换的协议与基于稳定子码导出的协议之间的概念与技术鸿沟。
• 证明两种框架在数学上是等价的，彼此可视为对方在量子纠错与纠缠纯化背景下的重表述。
• 通过将局部幺正操作与综合征测量映射到辛变换与稳定子群结构，阐明二者框架中相关操作的作用。

提出的方法

• 使用2比特二进制向量表示贝尔态，并将n个贝尔态的张量积映射到Z₂²ⁿ中的2n比特向量。
• 利用泡利群与辛向量表示，将局部幺正操作描述为通过辛矩阵对贝尔态张量积进行置换。
• 通过联合测量稳定子生成元（即综合征提取），随后通过逆编码操作进行纠错，来建模基于稳定子码的协议。
• 证明：应用逆编码、测量量子比特并重新编码，可得到与基于置换的协议等价的协议，这是由于编码/解码操作相互抵消。
• 构造一个其列向量为稳定子码生成元的辛矩阵B，并证明其逆矩阵在二元向量空间中诱导了置换映射。
• 通过证明两种框架中子空间C（码空间）与S（稳定子空间）完全相同，且在辛对偶下两种表述的陪集分解一致，从而证明等价性。

实验结果

研究问题

• RQ1 每一个基于贝尔态张量积的局部幺正置换的纠缠浓缩协议，是否都能重新表达为基于稳定子码的协议？
• RQ2 反之，每一个基于稳定子码的浓缩协议是否都可解释为一系列局部幺正操作，这些操作对贝尔态进行置换？
• RQ3 稳定子码的辛结构与作用于贝尔态张量积上的置换群之间，其精确的数学关系是什么？
• RQ4 在基于编码的方法中，综合征测量结果如何对应于基于置换的方法中的测量结果？
• RQ5 在何种条件下，两种框架会给出相同的浓缩成功率与逻辑错误率？

主要发现

• 当在爱丽丝和鲍勃双方均应用稳定子码的解码操作时，该操作表现为一个局部幺正变换，其作用是置换贝尔态张量积。
• 任何基于局部幺正操作置换贝尔态张量积的协议，均可通过识别相应的稳定子生成元及编码/解码结构，映射为基于稳定子码的协议。
• 等价性通过辛对偶建立：在稳定子码框架中，码空间C及其正交补C⊥，恰好对应于基于置换的协议中所使用的子空间。
• 当通过逆编码、测量量子比特并重新编码来实现基于编码方法的综合征测量时，两种框架中的测量结果是等价的。
• 两种表述中的陪集分解完全相同，且对逻辑态的总概率分布一致，从而在浓缩性能上完全等价。
• 本文提供了构造性证明：通过使用辛矩阵表示两种形式之间的变换，可系统地从稳定子码导出任意此类基于置换的协议，反之亦然。