[论文解读] Entanglement in the stabilizer formalism

David Fattal, Toby S. Cubitt+3 more|ArXiv.org|Jun 23, 2004

Quantum Information and Cryptography被引用 79

一句话总结

该论文通过利用稳定子形式，提出了一种针对稳定子态（包括量子比特、量子寄存器及连续变量系统）的高效可计算多体纠缠度量。关键结果为：对于双体态，纠缠熵等于非局域稳定子子群的秩的一半，可通过稳定子群生成元在 O(n³) 时间内计算得出。

ABSTRACT

We define a multi-partite entanglement measure for stabilizer states, which can be computed efficiently from a set of generators of the stabilizer group. Our measure applies to qubits, qudits and continuous variables.

研究动机与目标

• 开发一种针对多体稳定子态的高效可计算纠缠度量，此类态在量子纠错与容错量子计算中具有核心作用。
• 解决多体量子系统中缺乏可扩展纠缠量化方法的问题，特别是在传统度量（如 Schmidt 度量）计算上不可行的情况下。
• 利用稳定子生成元的群论结构，将纠缠单调性概念推广至多体稳定子态。
• 提供一个框架，实现对稳定子态中纠缠的高效计算，包括高斯态等连续变量系统。
• 建立一个形式化体系，支持纠缠判据的构造，并有助于理解多体纠缠的结构特征。

提出的方法

• 将态 |ψ⟩ 的稳定子群 S 定义为稳定 |ψ⟩ 的泡利算符（或连续变量下的海森堡-外尔算符）的集合，其生成元可紧凑地表示为 O(n²) 比特。
• 对于双分划 {A,B}，将 S 分解为局部子群 S_A 和 S_B（分别作用于 A 或 B）以及捕获纠缠的非局域子群 S_AB。
• 将纠缠熵计算为 E(|ψ⟩) = ½ |S_AB|，其中 |S_AB| 为 S_AB 的最小生成集的秩，通过泡利生成元的高斯消去法可在 O(n³) 时间内完成计算。
• 将方法推广至 k 重分划，定义 S_loc = ∏_{j=1}^k S_j，其中 S_j 为 S 中在分区 A_j 上作用为恒等算符的子群。
• 将多体纠缠度量定义为 e_A(|ψ⟩) = n − |S_loc|，该度量在局部幺正变换下不变，且在 LOCC 操作下单调不增。
• 通过证明其在局部测量或添加可分辅助系统时不增加，且在分划粗化时减少（或保持不变），从而证明 e_A 为纠缠单调性。

实验结果

研究问题

• RQ1 能否为稳定子态定义一种既计算高效又具有物理意义的多体纠缠度量？
• RQ2 如何利用稳定子形式在不进行完整态层析的情况下，高效计算双体稳定子态的纠缠熵？
• RQ3 是否存在一种对多体稳定子态的纠缠单调性推广，既能保持物理一致性，又能保证计算可实现性？
• RQ4 该形式化体系能否扩展至量子寄存器与连续变量系统，同时保持计算效率？
• RQ5 稳定子群的哪些结构特性对应于多体系统中的纠缠含量？

主要发现

• 任何双体稳定子态的纠缠熵精确等于 E(|ψ⟩) = ½ |S_AB|，其中 |S_AB| 为非局域稳定子子群的秩，可在 O(n³) 时间内计算得出。
• 对于贝尔（EPR）态，|S_AB| = 2，得出 E = 1，与已知的纠缠熵一致。
• 对于三量子比特 GHZ 态在分划 {12|3} 下，|S_AB| = 2，正确得出 E = 1，与已知纠缠值一致，验证了方法的一致性。
• 多体纠缠度量 e_A(|ψ⟩) = n − |S_loc| 是纠缠单调性，即其在局部操作与经典通信（LOCC）下不会增加。
• 该度量在局部幺正变换下保持不变，且在分划被粗化时减少（或保持不变），满足预期的物理排序关系。
• 该方法可通过将泡利群替换为海森堡-外尔群，推广至量子寄存器与连续变量稳定子态，同时保持相同的计算效率。