All non-locally Realized Continuous Variable Bipartite Gaussian States are Entangled

技术摘要：所有非局部实现（Non-locally Realized）的双分量连续变量高斯态均为纠缠态

问题陈述
尽管纠缠与量子非定域性（Non-locality）是不同的现象，但它们在连续变量（CV）双分量高斯态中的关系仍是一个需要严谨澄清的领域。虽然纠缠被广泛认为是量子技术的资源，且非定域性通常被视为纠缠的证据，但两者之间何时相互蕴含的精确条件尚未得到充分的解析建立，特别是在海森堡绘景中。以往的研究表明，纠缠并不总是保证违反贝尔不等式（非定域性），反之亦然，在特定语境下，某些非积态可以在不具备纠缠的情况下违反贝尔不等式。针对高斯态，一种能够量化非定域性的直接解析表达式已被确定为文献中的一个“灰色地带”。本文旨在解决构建高斯态贝尔不等式违反情况的解析表达式的需求，并明确建立高斯态类别中非定域性与纠缠之间的逻辑依赖关系。

方法论
本研究利用相空间维格纳（Wigner）表示法来构建双分量连续变量高斯态的贝尔函数。研究方法分为以下步骤：

1. 相关矩阵标准化： 作者首先通过一个 $4 \times 4$ 实对称相关矩阵（$V'$）来表示双分量高斯态。他们应用一个局部线性酉博戈留波夫算符（LLUBO，由局部挤压和旋转组成）将该矩阵转化为标准形式（$V$）。该标准形式由参数 $n, m$（代表局部方差）和 $c_1, c_2$（代表交叉相关项）表征，并受不确定性原理约束。
2. 贝尔函数的构建： 非定域性通过贝尔函数的最大值（$|B_{max}|$）来量化，该值是通过维格纳拟概率函数表达的。贝尔函数被定义为在特定相空间向量处评估的维格纳函数的线性组合。
3. 解析极大化： 作者通过优化维格纳函数的指数来推导最大化贝尔函数（$B_{max}$）的解析表达式。这涉及改变相位角（$\theta_I, \theta_S$）和振幅（$\alpha_I, \alpha_S$）以寻找全局最大值。推导出的结果是一个依赖于相关矩阵行列式和交叉相关参数的闭合形式表达式。
4. 对比分析： 将推导出的非定域性条件（$B_{max} \geq 2$）与西蒙（Simon）的纠缠充分判据进行对比。作者通过分析控制这两个条件的数学不等式，来确定其中一个条件的满足是否蕴含另一个条件。

主要贡献与结果

• 非定域性的解析表达式： 本文为一般的双分量连续变量高斯态提供了最大化贝尔函数（$B_{max}$）的闭合形式解析表达式（公式 9）。该表达式直接从标准形式相关矩阵的元素中推导而来，提供了一种无需纯数值极大化即可测试非定域性的直接方法。
• 验证双模挤压真空（TMSV）极限： 推导出的公式成功还原了已知关于双模挤压真空态的结果。具体而言，它证实了当挤压因子 $r \to \infty$ 时，该状态趋向于最大非定域极限（$B_{max} \approx 2.19$）。
• 纠缠与非定域性之间的逻辑关系：
  • 非定域性 $\implies$ 纠缠： 作者证明了对于双分量高斯态，非定域性（违反贝尔不等式）是纠缠的一个充分条件。如果一个状态是可实现非定域性的，它必然是纠缠的。
  • 纠缠 $\nRightarrow$ 非定域性： 相反，本文证明了纠缠不足以保证非定域性。存在某些纠缠高斯态并不违反贝尔不等式（即它们是局部可实现的）。
  • 必要性： 分析确认，在此语境下，纠缠是实现非定域性的必要条件；非纠缠（可分）态无法表现出非定域性。

意义与主张
本文声称解决了关于高斯态中纠缠与非定域性关系的歧义。通过提供解析公式，这项工作确立了一个清晰的边界条件：虽然所有非局部实现的双分量高斯态都是纠缠的，但反之则不然。作者强调，其分析为这两种基本量子关联建立了明确的联系，证明了非定域性是高斯系统中纠缠的强有力见证，而仅凭纠缠并不能保证非定域行为的存在。该工作并非提出新的实验装置或未来应用，而是侧重于使用维格纳相空间形式理论化这些基本量子关联。