2025-11-24T03:01:18.011918

Partial independence suffices to rule out Real Quantum Theory experimentally

Weilenmann, Gisin, Sekatski

The role of complex quantities in quantum theory has been puzzling physicists since the beginnings. It is thus natural to ask whether, in order to describe our experiments, the mathematical structure of complex Hilbert spaces it is built on is really necessary. Recently, it was shown that this structure is inevitable in network scenarios with independent sources. More precisely, Real Quantum Theory cannot explain the predictions of (Complex) Quantum Theory [Renou et al., Nature 600, 2021]. Here, we revisit the independence assumption underlying this work. We show that assuming partial independence is sufficient for showing the inadequacy of Real Quantum Theory. We derive a tradeoff between source independence and the Bell value achievable in Real Quantum Theory, which also lower bounds the source correlations required to explain previous experiments by means of real quantum systems. We further show that 1 bit of entanglement is necessary and sufficient for recovering the complex quantum correlations by means of Real Quantum Theory in the scenario from [Renou et al., Nature 600, 2021]. Finally, building on [McKague et al., PRL 102, 2009], we provide a construction to simulate any complex quantum setup with m independent sources by means of Real Quantum Theory, by allowing the sources to share a m real-qubit entangled state in the first round of the experiment.

academic

Partial independence suffices to rule out Real Quantum Theory experimentally

基本信息

论文ID: 2502.20102
标题: Partial independence suffices to rule out Real Quantum Theory experimentally
作者: Mirjam Weilenmann (Inria, Télécom Paris), Nicolas Gisin (University of Geneva, Constructor University), Pavel Sekatski (University of Geneva)
分类: quant-ph (量子物理)
发表时间: 2025年2月 (arXiv v2: 2025年11月21日)
论文链接: https://arxiv.org/abs/2502.20102

摘要

本文研究量子理论中复数的必要性问题。基于Renou等人2021年Nature工作显示实量子理论（Real Quantum Theory）无法解释复量子理论预测的结果，本文重新审视了源独立性假设。作者证明部分独立性足以证明实量子理论的不充分性，推导了源独立性与实量子理论中可达到的Bell值之间的权衡关系，并证明1比特纠缠是必要且充分的资源来用实量子理论恢复复量子关联。最后，基于McKague等人的工作，构造了用m个实量子比特纠缠态模拟任意m个独立源复量子实验的方案。

研究背景与动机

1. 核心问题

量子理论是否真的需要复数结构？ 这是量子力学基础中的长期困惑。尽管经典物理（力学、热力学、电磁学）都基于实数，量子理论的第一公设就引入了复Hilbert空间 $\mathbb{C}^d$ 。

2. 问题重要性

数学结构的物理必然性：复数在量子理论中不仅是计算工具，量子态本身就是复值的
本体论问题：如果实Hilbert空间 $\mathbb{R}^d$ 足够，为何需要"虚数"这种Descartes称为"想象的"、Euler称为"不可能的"数？
实验可检验性：这个基础问题能否通过实验判定？

3. 现有方法的局限

McKague等人(2009)：证明可用实量子理论模拟任何复量子实验，方法是为每个子系统附加一个辅助实量子比特(rebit)，但需要这些辅助比特共享纠缠态
物理解释困难：当子系统空间分离时，如何解释它们都能访问同一个辅助rebit？这个纠缠从何而来？
Renou等人(2021)：在网络场景中，假设源完全独立，证明实量子理论无法达到复量子理论的Bell值上界（ $B_C^{sup}=6\sqrt{2}\approx 8.49$ vs $B_R^{ub}\leq 7.66$ ）

4. 本文动机

放松独立性假设：如果源只是部分独立（partially independent）会怎样？能否定量刻画需要多少量子关联才能用实量子理论解释实验结果？

核心贡献

放松独立性假设：证明部分源独立性足以排除实量子理论，无需完全独立性假设
定量权衡关系：推导了源独立性程度与实量子理论可达Bell值之间的精确权衡关系（通过半定规划层级）
必要且充分资源：证明在Renou等人场景中，1 ebit纠缠（对应两个rebit的最大纠缠）是必要且充分的：
- 必要性：通过自测试（self-testing）证明达到最大Bell值 $6\sqrt{2}$ 需要状态 $\bar{\varrho}_{S_1S_2}=\frac{1}{2}(\Phi^-+\Psi^+)$ ，其纠缠度 $E_F=1$ ，距离可分离态 $D_{Sep}=\frac{1}{2}$
- 充分性：该纠缠足以模拟该网络中的任意量子实验
一般模拟定理：扩展McKague构造，证明m个rebit纠缠态 $\bar{\varrho}_S^{(m)}$ 足以模拟任意m个独立源的复量子实验
实验意义量化：为已有实验结果赋予定量意义（如Bell值8.09需要 $D_{Sep}\geq 0.2$ ）

方法详解

任务定义

在三方网络场景（图1）中：

设置：Alice(A)、Bob(B)、Charlie(C)三方，两个源 $S_1$ （分发给AB）和 $S_2$ （分发给BC）
测量：Alice输入 $x\in\{1,2,3\}$ 输出 $a\in\{1,-1\}$ ，Bob输出 $b\in\{00,01,10,11\}$ ，Charlie输入 $z\in\{1,...,6\}$ 输出 $c\in\{1,-1\}$
目标：分析在允许源共享部分量子关联 $\varrho_{S_1S_2}$ 时，实量子理论能达到的Bell值上界

Bell测试表达式

使用Renou等人的Bell泛函： $B(P) = \sum_{b\in\{0,1\}^2} B_b(P)$ 其中每个 $B_b(P)$ 是Alice和Charlie之间三个CHSH测试的组合（式2）。关键值：

复量子理论最大值： $B_C^{sup}=6\sqrt{2}\approx 8.49$
独立源实量子理论上界： $B_R^{ub}\leq 7.66$

核心技术方法

1. 纠缠度量（Appendix A）

定义两种几何度量：

距离可分离集： $D_{Sep}(\varrho)=\inf_{\sigma\in Sep}\frac{1}{2}\|\varrho-\sigma\|$
距离独立集： $D_{Ind}(\varrho)=\inf_{\sigma\in Ind}\frac{1}{2}\|\varrho-\sigma\|$
形成纠缠（Entanglement of Formation）： $E_F(\varrho)$

关键性质：

在实量子理论中单调不增（局域操作下）
对两rebit态 $\bar{\varrho}_{S_1S_2}$ ： $D_{Ind}=D_{Sep}=\frac{1}{2}$ ， $E_F=1$ （均达到最大值）

2. 半定规划层级（SDP Hierarchy，式6）

构造约束优化问题： $\max B(P) \quad \text{s.t.} \quad D_{Sep}(\tau_{AC})\leq \epsilon$

创新：将迹距离约束纳入矩问题（moment problem）：

使用moment矩阵 $\Gamma^n(\tau)$ （n阶层级）
利用正半定性约束和可分离性条件 $\sigma^{T_A}=\sigma$
迹距离条件转化为： $\begin{pmatrix} \Gamma^n(M) & \Gamma^n(\tau-\sigma) \\ \Gamma^n(\tau-\sigma)^T & \Gamma^n(N) \end{pmatrix}\geq 0, \quad \Gamma^n(M)_{(1,1)}+\Gamma^n(N)_{(1,1)}\leq 4\epsilon$

计算：2级层级，使用YALMIP+Mosek，需500GB内存，运行5-6天

3. 线性界（式7，Appendix C）

通过算子范数推导简单界： $D_{Sep}(\tau_{AC}) \geq \frac{B(P)-B_R^{ub}}{B_C^{sup}-B_C^{inf}} = \frac{B(P)-7.66}{12\sqrt{2}}$

证明思路：

Bell算子满足 $\text{tr}(B\rho)=B(P)$
利用 $\text{tr}(B(\rho-\sigma))\leq D(\rho,\sigma)(B_C^{sup}-B_C^{inf})$
对任意可分离态 $\sigma$ ， $\text{tr}(B\sigma)\leq B_R^{ub}$

4. 实模拟构造（Appendix D）

参考框架编码：

每个 $d$ 维复系统 $C_i$ 对应 $2d$ 维实系统 $\bar{R}_i=R_iL_i$
$L=L_1...L_n$ 作为"复性参考框架"，编码在逻辑子空间： $|R\rangle_L = \frac{1}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}+\bigotimes_i|y^-\rangle_{L_i})$ $|I\rangle_L = \frac{i}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}-\bigotimes_i|y^-\rangle_{L_i})$ 其中 $|y^\pm\rangle=(|0\rangle\pm i|1\rangle)/\sqrt{2}$

关键性质：实幺正算子 $J=i\sigma_Y$ 在任意 $L_j$ 上作用模拟虚数单位： $J_{L_j}|R\rangle_L=|I\rangle_L, \quad J_{L_j}|I\rangle_L=-|R\rangle_L$

状态表示（相位不变）： $\varrho_C \sim \varrho_{RL} = \varrho_R^{Re}\otimes\frac{|R\rangle\langle R|+|I\rangle\langle I|}{2} + \varrho_R^{Im}\otimes\frac{|I\rangle\langle R|-|R\rangle\langle I|}{2}$

局域可广播性（Local Broadcastability）：

参考框架态 $\bar{\varrho}_L^{(n)}$ 可通过局域操作扩展： $\bar{\varrho}_L^{(n)}\to\bar{\varrho}_{LL'}^{(2n)}$
边缘态保持不变： $\text{tr}_{L'}\bar{\varrho}_{LL'}^{(2n)}=\bar{\varrho}_L^{(n)}$
这在复量子理论中不可能（no-local-broadcasting定理），展示两理论的操作差异

技术创新点

部分独立性形式化：首次定量刻画源相关性程度（通过 $D_{Sep}$ 、 $E_F$ ）与Bell违背的关系
SDP约束创新：将连续迹距离约束嵌入离散moment问题，技术难度高
紧致性证明：理想情况下界紧致（ $\epsilon=0.5$ 时恰好达到 $6\sqrt{2}$ ）
资源理论视角：将问题置于量子资源理论框架，明确自由态（Sep/Ind）和自由操作（LOCC/LO）
bound entanglement应用：利用实量子理论中可局域广播的束缚纠缠，这在复理论中不存在

实验设置

实验场景

网络拓扑：双局域性（bilocality）场景，两个源两个接收方
测量配置：Alice 3个输入，Charlie 6个输入，Bob固定测量（4个输出）
量子态：复理论中使用最大纠缠态和特定测量达到 $6\sqrt{2}$

已有实验数据

本文分析了三个已发表实验：

Chen等(2022, PRL 128:040403)：Bell值8.09(1) → 需要 $D_{Sep}\geq 0.2$
Li等(2022, PRL 128:040402)：使用不同Bell表达式
Wu等(2022, PRL 129:140401)：Bell值7.83(3) → 需要 $D_{Sep}\geq 0.05$

计算资源

软件：MATLAB + YALMIP + Mosek求解器
硬件：高性能计算集群，500GB RAM
运行时间：每个 $\epsilon$ 值5-6天
替代方案：SCS求解器可在桌面运行（1-2小时），但精度较低

实验结果

主要结果（表I）

Bell值 $B(P)$	7.66	7.72	7.78	7.88	8.06	8.22	8.37	8.50
$\epsilon_1$ (SDP)	0%	2.5%	5%	10%	20%	30%	40%	50%
$\epsilon_2$ (线性界)	0%	0.4%	0.7%	1.3%	2.4%	3.3%	4.2%	4.9%

关键发现：

SDP界显著优于线性界：例如 $B=8.06$ 时，SDP给出 $\epsilon_1=20\%$ vs 线性界 $\epsilon_2=2.4\%$
紧致性验证： $\epsilon_1=50\%$ 时 $B=8.4953\approx 6\sqrt{2}$ （数值精度内相等）
实验含义：
- Chen实验(8.09)：实量子理论需 $D_{Sep}\geq 0.2$ 的源关联
- Wu实验(7.83)：需 $D_{Sep}\geq 0.05$

理想情况分析

自测试结果：达到 $B=6\sqrt{2}$ 时，Alice-Charlie约化态自测试为： $\bar{\varrho}_{AC} = \frac{1}{2}(\Phi^-+\Psi^+) = \frac{1}{4}\begin{pmatrix}1&0&0&-1\\0&1&1&0\\0&1&1&0\\-1&0&0&1\end{pmatrix}$

纠缠度量（Appendix A）：

$D_{Sep}(\bar{\varrho})=D_{Ind}(\bar{\varrho})=\frac{1}{2}$ （最大值）
$E_F(\bar{\varrho})=1$ ebit（两rebit最大纠缠）
由自测试，源态 $\varrho_{S_1S_2}$ 必满足相同界

充分性（命题）：该态足以模拟网络中任意复量子实验

一般模拟定理

定理：m个独立源的任意复量子实验可用实量子理论模拟，若源初始共享： $\bar{\varrho}_S^{(m)} = \frac{1}{2}\left(\bigotimes_{i=1}^m|y^+\rangle\langle y^+|_{S_i} + \bigotimes_{i=1}^m|y^-\rangle\langle y^-|_{S_i}\right)$