[论文解读] Characterizing Entanglement via Uncertainty Relations

Otfried Gühne|arXiv (Cornell University)|Jun 28, 2003

Quantum Information and Cryptography参考文献 28被引用 300

一句话总结

该论文提出了一类基于任意可观测量方差不等式的纠缠判据，证明了所有纯两体纠缠态、由不可拓展产物基（UPBs）构造的某些束缚纠缠态以及多体纠缠态均违反这些不等式。该方法等价于协方差矩阵判据，使得连续变量系统的可分性判据能够被转移到有限维系统中。

ABSTRACT

We derive a family of necessary separability criteria for finite-dimensional systems based on inequalities for variances of observables. We show that every pure bipartite entangled state violates some of these inequalities. Furthermore, a family of bound entangled states and true multipartite entangled states can be detected. The inequalities also allow to distinguish between different classes of true tripartite entanglement for qubits. We formulate an equivalent criterion in terms of covariance matrices. This allows us to apply criteria known from the regime of continuous variables to finite-dimensional systems.

研究动机与目标

• 开发适用于有限维量子系统的通用、基于可观测量的不确定度关系，以检测纠缠。
• 将现有判据从局部不确定度关系（LURs）扩展至可检测束缚纠缠和多体纠缠。
• 建立基于方差的判据与协方差矩阵条件之间的等价性，连接有限维与连续变量纠缠检测。
• 利用方差不等式区分量子比特系统中不同类别的真正多体纠缠。
• 提供一种系统化框架，仅通过局部测量方差即可检测纠缠，而无需完整态层析。

提出的方法

• 推导一个通用不等式（引理1）：混合态上可观测量方差之和的下界由产品态上方差的凸组合给出。
• 将该不等式的违反作为纠缠的充分条件，其中可观测量 Mi 选取为该态正交补空间中纠缠基的投影算符。
• 为两量子比特贝尔态构造特定可观测量 Mi，使得纠缠态下方差之和为零，而所有产品态下方差之和下界为 2a²b²。
• 通过将 Mi 定义为态核空间中纠缠基的投影算符，将该方法推广至多体系统，从而实现真正多体纠缠的检测。
• 以协方差矩阵（CMs）形式表述等价判据，证明方差不等式等价于可分态满足 γ(ρ, Mi) ≥ κA ⊕ κB。
• 通过 CM 表述将连续变量系统中已知的高斯态可分性判据映射至有限维系统。

实验结果

研究问题

• RQ1 基于方差的不确定度关系能否检测所有纯两体纠缠态？
• RQ2 此类判据能否检测束缚纠缠态，特别是由不可拓展产物基（UPBs）构造的束缚纠缠态？
• RQ3 该方法能否在量子比特系统中区分不同类别的真正多体纠缠？
• RQ4 是否存在一种系统化方法，将基于协方差矩阵的连续变量纠缠判据映射至有限维系统？
• RQ5 是否存在不违反任何基于方差的不确定度关系的纠缠态？

主要发现

• 对于适当选择的可观测量 Mi，所有纯两体纠缠态均违反方差不等式：纠缠态下方差之和为零，而所有产品态下方差之和远离零。
• 由不可拓展产物基（UPBs）构造的束缚纠缠态违反方差不等式，从而可通过局部方差测量实现检测。
• 对于两量子比特贝尔态 |ψ₁⟩ = a|00⟩ + b|11⟩，方差之和 ∑ᵢ δ²(Mᵢ) 在纠缠态下为零，而在所有产品态下方差之和下界为 2a²b²。
• 该方法可检测形如 ρ(p) = p|ψ₁⟩⟨ψ₁| + (1−p)/4 的混合态，当 p ≥ √(1 − 8a²b²/3) 时仍具鲁棒性，表明对噪声具有容忍性。
• 基于方差的判据等价于协方差矩阵（CM）判据：对于可分态，可观测量的协方差矩阵满足 γ(ρ, Mi) ≥ κA ⊕ κB，其中 κA 和 κB 为局部态协方差矩阵的凸组合。
• 通过 CM 表述，可直接将已知的高斯态可分性判据（如 Werner 和 Wolf, 2001 所述）应用于有限维系统，从而通过 CM 不等式检测 Werner 态，当 p ≥ 1/√3 时有效。