Analytic Maximal Violation of Extended MABK Inequalities for Generalized GHZ States

技术摘要：广义 GHZ 态下扩展 MABK 不等式的解析极大违反度

问题陈述
贝尔非定域性是量子理论的一个基本特征，通常通过贝尔不等式的违反程度来量化。虽然 Mermin-Ardehali-Belinskii-Klyshko (MABK) 系列不等式为多体系统提供了对 CHSH 不等式的自然推广，但以往的理论研究主要集中在极大纠缠的 Greenberger-Horne-Zeilinger (GHZ) 态上。对于部分纠缠的广义 GHZ 态（定义为 $|\Psi^{(n)}_\theta\rangle = \cos\theta |0\rangle^{\otimes n} + \sin\theta |1\rangle^{\otimes n}$），其最大 MABK 违反度对纠缠参数 $\theta$ 的依赖关系尚未得到充分的解析表征。具体而言，标准的 MABK 不等式在弱纠缠机制下（即 $\theta \to 0$ 或 $\pi/2$ 时）表现出“不违反区域”，尽管该状态仍具有纠缠性，却无法检测到非定域性。通过使用具有独立测量设置的 MABK 算符进行递归组合而构建的扩展 MABK (EMABK) 系列，已被证明在整个纠缠机制范围内都能保持违反特性，然而，其最大违反度的系统性解析表达式此前一直缺失。

方法论
作者开发了一个统一的相关张量框架，用于分析至少有一个参与者具有两个测量设置的全相关贝尔不等式。

1. 张量表示： 贝尔表达式的量子值被表示为状态相关相关张量 $T$ 与测量相关有效系数张量 $C$ 的 Frobenius 内积。
2. 秩约束优化： 通过将张量重塑为矩阵（展平第一个指标），作者应用了冯·诺依曼迹不等式。至关重要的是，他们利用了仅有两个测量设置的参与者所施加的秩约束，这限制了有效系数矩阵的秩至多为 2。
3. 上界推导： 该秩约束结合柯西-施瓦茨不等式，产生了一个由重塑后的相关张量的两个最大奇异值所控制的紧致上界。
4. 谱分析： 对于广义 GHZ 态，作者显式地计算了相关张量的奇异值谱，识别出一个纵向分量 ($\lambda_z$) 和一个简并的横向分量 ($\lambda_\perp$)。
5. 策略构建： 构建了两类互补的测量策略，以在整个 $\theta$ 参数范围内饱和所推导的界限。

核心贡献与结果

1. 分段解析界限： 本文推导了 $n$ 个量子比特广义 GHZ 态下 MABK 和 EMABK 不等式最大量子违反度的完整分段解析上界。该界限由横向奇异值 ($\lambda_\perp \propto \sin 2\theta$) 与纵向奇异值 ($\lambda_z = |\cos^2\theta + (-1)^n \sin^2\theta|$) 之间的竞争决定。

   • 分支 1： 由 $\lambda_\perp$ 主导，得到 $2^{(n-1)/2} \sin 2\theta$。这对应于纯赤道面（xy 平面）测量。
   • 分支 2： 由 $\lambda_z$ 与 $\lambda_\perp$ 的组合主导，得到 $\sqrt{\lambda_z^2 + 2^{n-2}\sin^2 2\theta}$。这对应于混合测量策略。

2. 最优测量策略：

   • 策略 I（纯赤道面）： 所有测量方向都位于布洛赫球的赤道面上。该策略饱和了第一分支，并在极大纠缠（$\theta = \pi/4$）时恢复了标准的 MABK Tsirelson 界 $2^{(n-1)/2}$。
   • 策略 II（混合）： 该策略将低阶 MABK 反对角算符（在 xy 平面内）与全 $\sigma_z$ 张量积进行递归组合。它利用了 EMABK 构建中的独立参数化，以与横向和纵向相关扇区对齐。该策略饱和了第二分支。

3. 消除不违反区域： 作者证明，虽然标准 MABK 不等式在弱纠缠机制下（即 $\lambda_\perp < \lambda_z$ 时）无法违反局部隐变量界限，但 EMABK 不等式可以通过策略 II 访问第二分支的界限。因此，每一个纠缠的广义 GHZ 态在 EMABK 不等式下都表现出严格的量子-经典分离，有效地消除了标准 MABK 测试中存在的“不违反区域”。

4. 数值验证： 作者针对 $n=3, 4, 5$ 的情况进行了数值优化验证，结果在整个 $\theta \in [0, \pi/2]$ 范围内与解析结果完美吻合。

意义
本文声称，EMABK 系列提供的增强不仅源于增加测量设置的数量，更源于耦合两个独立参数化的低阶 MABK 结构所带来的扩大线性组合空间。这使得测量策略能够根据纠缠参数 $\theta$ 自适应地在互补的相关扇区（横向 vs. 纵向）之间进行切换。

这项工作为广义 GHZ 态下的 EMABK 不等式提供了精确的量子最大值，为多体非定域性提供了几何解释。它确立了 EMABK 界限是紧致的，并且标准 MABK 不等式在部分纠缠机制下的“不违反”现象是受限于标准 MABK 算符的受限测量结构的产物，而非基本不存在非定域性。作者指出，这种相关张量视角为设计针对特定量子相关性的多体贝尔不等式提供了一条有用的途径。