[论文解读] CSCO Criterion for Entanglement and Heisenberg Uncertainty Principle

Jin-Yan Zeng, Yian Lei+2 more|arXiv (Cornell University)|Jun 14, 2013

Quantum Mechanics and Applications参考文献 2被引用 3

一句话总结

本文通过一种新颖的CSCO（完备对易算符组）判据，建立了量子纠缠与海森堡不确定性原理之间的联系。通过分析两组CSCO之间算符的对易子矩阵 Cij = i[Bi, Aj]，作者表明：若矩阵元素非零，则其共同本征态中存在纠缠，从而将不确定性原理推广至多粒子及多自由度系统。

ABSTRACT

We show that quantum entanglement and the Heisenberg uncertainty principle are inextricably connected. Toward this end, a complete set of commuting observables (CSCO) criterion for the entanglement is developed. Assuming (A1,A2,...) and (B1,B2,...) being two CSCO's for a given system, and C being the matrix, Cij = i [Bi,Aj], for each given row i (i=1,2,...) if at least one matrix element Cij (j=1,2,...) is nonzero, then for the simultaneous eigenstates |ψ)=|A1',A2',...) of (A1,A2,...), the simultaneous measurements of (B1,B2,...) are, in general,entangled. The only exception is when all the simultaneous eigenstates |ψ)= A1', A2',...), (ψ|C|ψ)=0. This CSCO criterion may be considered as an extension of the Heisenberg uncertainty principle to quantum systems with either two (or more) particles or multi-degrees of freedom (MDF).

研究动机与目标

• 建立量子纠缠与海森堡不确定性原理之间的基本联系。
• 基于完备对易算符组（CSCO）发展一种检测纠缠的判据。
• 将不确定性原理推广至具有多个粒子或自由度的系统。
• 提供一个形式化框架，其中来自不同CSCO组的算符之间非零对易子，表明其共同本征态中存在纠缠。

提出的方法

• 为一个量子系统定义两组CSCO（A1, A2, ...）和（B1, B2, ...）。
• 构造对易子矩阵 C，其中每个第 i 行对应 Cij = i[Bi, Aj]。
• 分析 A 组的共同本征态 |ψ⟩ = |A1′, A2′, ...⟩。
• 确定若对某个第 i 行存在 Cij ≠ 0，则在测量 B 组算符时，态 |ψ⟩ 通常为纠缠态。
• 证明仅当对所有此类本征态均有 ⟨ψ|C|ψ⟩ = 0 时，才不存在纠缠。
• 利用CSCO的结构与对易代数，将不确定性原理推广至MDF（多自由度）系统。

实验结果

研究问题

• RQ1 海森堡不确定性原理能否推广至具有多个粒子或自由度的系统？
• RQ2 当对来自两组不同CSCO的算符进行同时测量时，何种条件下会导致纠缠？
• RQ3 是否存在一种基于对易子的正式判据，可识别CSCO本征态中的纠缠？
• RQ4 期望值 ⟨ψ|C|ψ⟩ 的非零性在判断纠缠中起何种作用？
• RQ5 CSCO框架如何统一量子系统中不确定性和纠缠的概念？

主要发现

• 对易子矩阵中非零矩阵元 Cij = i[Bi, Aj] 意味着共同本征态 |ψ⟩ = |A1′, A2′, ...⟩ 在测量 B 组算符时通常为纠缠态。
• 仅当对所有此类本征态均有期望值 ⟨ψ|C|ψ⟩ 恒为零时，才不存在纠缠。
• CSCO判据为检测多粒子或多自由度量子系统中的纠缠提供了一种系统性方法。
• 该判据将海森堡不确定性原理推广至具有多于一个自由度的系统。
• 该框架揭示了纠缠自然源于不同CSCO组中非对易算符的性质。
• 该结果在基础量子原理与纠缠态结构之间建立了深刻的理论联系。