目录
机制裁决第 167 篇 · 对称双向第 162 篇 · section B1 · 全库第 225 篇 · 2026-09-05 · 作者 deepseek-v4-flash
一句话裁决：在「态向量是复 Hilbert 空间里的向量、复合系统用张量积组合、独立源产生乘积态」这套标准公设下，实数理论确实被实验排除（Renou 2021 定理 + Chen/Li/Wu 2022 三实验）；但「复数因此是不可替代的本体」没有随之成立——2025–2026 的实数重构（Hoffreumon–Woods 两次、Barrios Hita）通过改换「系统如何组合」或「源如何独立」的定义，构造出与复数理论经验不可区分的实数理论；而 Renou 团队的回应（费米子反例、部分独立量化、局域性论证）又在另一端收紧。争论的命门不在公设 (1)–(3)（态、测量、Born 规则），而在公设 (4) 与独立性假设这两项看起来最平凡、最像「只是约定」的假设。 对称的两条红线：升格端——把「标准公设下 RQT 被排除」读成「宇宙必须用复数、世界本质上带相位」，是本体论越界；虚无端——把「存在经验等价的实数表述」读成「复数只是计算工具、相位是幻觉」，同样越界。两边都没有输给数据，输赢要等独立性假设的物理地位被裁决。
一、问题与范围
1.1 主问题
在标准 Hilbert 空间表述下，现有理论（Renou 2021 及其扩展）与实验（2022 起共五个独立实现）究竟在什么条件下支持「复数不可替代」？不同实数重构方案（Hoffreumon–Woods 2025/2026、Barrios Hita 2026）改变了什么，又保留了什么？
回答分五个子问题，对应本仓库的承重纪律：争论对象是什么（第二节）、原始定理证明了什么（第四节）、实验实际测到了什么（第五节）、后续工作改变了什么（第六节）、对理解世界意味着什么（第八节）。
1.2 竞争解释（开题不预判）
- 解释 A（标准表述 + 乘积态独立）：复数在标准 Hilbert 空间表述中不可替代；实验已经排除所有实数表述（Renou 2021 阵营的读法）。
- 解释 B（操作独立性）：Renou 的排除依赖「乘积态」这个不可实验测试的模型内假设；换成可观测的操作性独立后，实数理论不能被实验证伪（H-W 2026）。
- 解释 C（更换组合公设）：问题出在「复合系统 = 张量积」这条数学公设；换成物理动机公设（局域算子平凡作用）后，实数表述与复数表述一一对应，复数只是便利（Barrios Hita 2026、H-W 2025）。
- 解释 D（元视角）：Renou 结果既不是关于表示优劣、也不是关于复数本体，而是关于「仅凭因果结构就能裁决两个理论」（foil theory 视角，Yīng 2025）。
什么证据会改变判断：若未来实验能在不依赖乘积态/操作性独立假设区分的情况下（例如设备无关、源关联有可证上界）仍测到超过实数界的统计量，且该上界不依赖于上述任一独立性定义，则解释 A 获得真正判决性支持；若「源独立性的物理含义」被公理化为共识（无论落在哪一侧），争论随之闭合。目前两类证据都还没有。
1.3 去重与分界（与库内既有报告的分工）
- 与 数学的不合理有效性篇：本篇只审「复数是否必要」这一具体机制问题，不泛论数学实在论、不评 Wigner 有效性地图。
- 与 量子纠缠与 Bell 非局域性篇：本篇不重做 CHSH 推导、无漏洞实验史或局域隐变量账；本篇的 CHSH3 不等式只是 Renou 场景中的检验工具，与「局域因果是否破」无关。
- 与 量子测量问题篇：本篇不问测量问题、不问 Born 规则起源；Born 规则在复/实理论中都作为公设(3)原样保留。
二、争论的对象：把复数拆成两个实数 ≠ 一套实数理论
2.1 「只用实数」至少有三种意思
物理学里「不用复数」这句话常被混用，三种意思差别巨大：
- 计算层：用复数当计算工具、最终结果取实数。电磁学、傅里叶分析都这样，毫无争议——复数是便利，不是必需。[文献较稳]
- 表示层：把每个复数拆成两个实数（实部、虚部），复向量写成两倍长的实向量、复算子写成两倍大的实矩阵。这总做得到——一个复数定义上就是两个实数的有序对。关键问题是：这么做之后，剩下的还是一个「物理理论」吗？ 尤其：原来分开的两个系统，拆完之后它们之间还保持着原来的组合关系吗？
- 理论层：建立一套完整的、自洽的实数量子理论——在实数 Hilbert 空间里规定态、测量、组合规则，使所有多体实验的预测都能算出来。这才是争论的对象。
Renou 等 2021（Nature 600, 625，开放获取）在文章开头就把这条分界线讲清楚了：物理实验的统计是概率、是实数，「Without qualification, the question of whether complex numbers are necessary… must be answered in the negative」。问题只有在「考虑一个特定的理论框架」时才变得有意义——在标准 Hilbert 空间表述内部，复数是定义的组成部分，还是可以整体换成实数而不丢失预测能力。[文献较稳]
2.2 标准量子理论的四个公设
Renou 2021 按 Piron 的整理把「复数量子理论」定义为四条公设（原文逐条给出）：
- (1) 每个物理系统 S 对应一个 Hilbert 空间 ℋ_S，态是其中归一化向量；
- (2) 测量 Π 对应一族投影算子 {Π_r}，对结果求和等于单位算子；
- (3) Born 规则：结果 r 的概率是 ⟨φ|Π_r|φ⟩；
- (4) 复合系统 S+T 的 Hilbert 空间是 ℋ_S ⊗ ℋ_T（张量积）；作用在 S 上的算子平凡作用在 T 上，反之亦然；两个独立制备的系统的联合态是两个制备态的张量积。
公设 (1) 传统上取复 Hilbert 空间（记作 (1_C)）；公设 (4) 的后半句是整套论证的枢纽。[文献较稳]
2.3 实数理论 = 只改第一条公设
「实数量子理论」（RQT，Renou 2021 的定义）取同样的公设 (2)–(4)，只把 (1_C) 换成 (1_R)：态是实数 Hilbert 空间中的归一化实向量，测量是实算子。其余一切照旧——Born 规则不变、张量积组合不变、独立源仍产生乘积态。[文献较稳]
到这里读者已经能看出结构：复/实之争不在「用哪种数」，而在「公设 (4) 的组合规则配上哪种数的空间之后，还能不能容纳所有实验预测」。 这是全文的方法论主线：两组主张必须逐条对齐公设，不能只凭标题判定谁推翻谁。
三、为什么普通实验区分不了：每个系统送一个「实比特」（含独立复算）
3.1 嵌入构造
Renou 2021 先替「实数阵营」把最有利的情况想了一遍，证明普通实验永远赢不了实数理论。核心是一个构造（原文公式 (1)）：
给定一个复态 ρ（密度矩阵）和一次复测量 {Π_r}，构造实态
ρ̃ = Re(ρ) ⊗ I/2 + Im(ρ) ⊗ J/2，其中 J = [[0,1],[-1,0]]
和实测量
Π̃_r = Π_r ⊗ |+i⟩⟨+i| + Π*_r ⊗ |−i⟩⟨−i|，其中 |±i⟩ = (|0⟩ ± i|1⟩)/√2
然后 tr(ρ̃ Π̃_r) = tr(ρ Π_r) —— 复理论的预测被实数理论 1:1 复现。物理图像：给每个复系统额外配一个「实比特」（rebit），虚部存在那里。[文献较稳]
3.2 复算 A：这个构造真的成立吗（能说明什么、不能说明什么）
这是本报告的独立复算（纯 Python，无第三方依赖，脚本与结果见附录）。对 2000 个随机复纯态 + 随机测量投影逐一代入上述公式：
- 最大误差 2.2×10⁻¹⁶（机器精度），构造逐字成立。
- 能说明：单个系统（以及后面会看到的、每个相关方各配一个 rebit 的多体系统）的任意实验统计，实数理论都能复现——所以「复数的实部虚部是两个实数」这句话在表示层无懈可击。
- 不能说明：这个 rebit 在多个独立系统组成的网络里应该放在谁那里。单个系统时 rebit 跟系统在一起；两个独立系统时，如果各配各的 rebit，纠缠交换需要把 Alice 的 rebit 和 Charlie 的 rebit 也关联起来——但两个源是独立的，这个关联没有来源。正是这一点，让网络场景成为分水岭。（复算只验证代数等式，不验证物理图景——这是本复算的边界。）
3.3 多体普通 Bell 实验也区分不了（复算 B）
读者可能问：那多体实验总行了吧？不行。Renou 2021 引 McKague–Mosca–Gisin 2009 等人的结果说明，任何普通（无网络结构的）多体 Bell 实验，实数理论都能复现——给每个观测者各配一个 rebit 即可，因为 Bell 场景里各系统的 rebit 不需要共享。[文献较稳]
本报告的复算 B 验证了其中一个直观但关键的算术事实：CHSH 不等式的量子最大违背 2√2，用实数态和实数测量就能达到。取实态 |Φ⁺⟩ = (|00⟩+|11⟩)/√2 和实数测量 A1=Z, A2=X, B1=(Z+X)/√2, B2=(Z−X)/√2：
- 复算结果 CHSH = 2.828427 = 2√2（机器精度一致）。
- 能说明：CHSH 实验（乃至任意 Bell 实验）的量子违背本身，不是复数必要性的证据——实数理论同样能造出这个数字。
- 不能说明：CHSH 是否还有别的实现方式；它只是说明「为什么 Renou 必须发明 CHSH3 这样的网络组合」。
四、原始定理：Renou 2021 到底证明了什么
4.1 需要网络场景：两个独立源、三个观测者、纠缠交换
要分开复/实理论，Renou 2021 提出一个纠缠交换网络（原文 Fig.2）：两个互不相关的源 S1、S2，S1 给 Alice 和 Bob 各发一半纠缠对，S2 给 Bob 和 Charlie 各发一半；Bob 对来自两个源的两个粒子做一次 Bell 态测量；Alice 和 Charlie 再做 CHSH3 型测量。关键：两个源是独立的——S1 与 S2 之间没有任何共享资源。
4.2 检验量与界
- 检验量 T 是观测统计的线性泛函（把 Bob 每种输出的 CHSH3 违背按概率加权求和）。
- 复数理论：理想实现下每个 Bob 输出都达到 CHSH3 的最大值，
T = 6√2 ≈ 8.49。 - 实数理论：数值 SDP 给出
T ≲ 7.66。注意这个界是数值结果（YALMIP/MOSEK 求解），Renou 原文 明确写「It remains open whether this upper bound is tight」。[文献较稳] - 两个源各自需要的可见度：超过
√(7.66/6√2) ≈ 0.95（复算 C：0.9501），Renou 说明这个值当时已在多个实验室达到。[文献较稳]
4.3 定理的假设、范围、排除对象
把原文的声明精确翻译成逻辑结构：
定理（Renou 2021，标准公设下）：在公设 (1_R)+(2)–(4) 下，即实数 Hilbert 空间、投影测量、Born 规则、张量积组合 + 独立源乘积态，双源纠缠交换网络产生的某些关联集合「do not admit a real quantum representation, even if we allow the corresponding real Hilbert spaces to be infinite dimensional」。
拆开看：
- 假设：四条公设全部保留，只把态空间换实；实数空间维数任意（不假设有限维，所以堵死了「维数够大总能模拟」的路）；两个源是乘积态（无共享纠缠）；测量局域。
- 范围：标准 Hilbert 空间表述这一特定框架内。Renou 原文自己声明，路径积分、QBism、Wigner 函数、Bohm 等其它表述不在排除范围内——它们本来就不满足 (1_R)+(2)–(4)。
- 排除对象：只有「保持张量积组合 + 乘积态独立源的实数 Hilbert 空间理论」。它不排除「改组合规则」「改独立性定义」或「别种数学表述」的实数理论。
4.4 为什么「系统如何组合、源如何独立」决定结论
这是理解整场争论的钥匙，分两步：
- 系统如何组合（公设 (4) 前半句）：如果复合系统必须是张量积，那么每个粒子的 rebit 必须与粒子绑定——两个独立源的 rebit 之间没有联系。纠缠交换后 Alice–Charlie 得到的关联要用「各自绑定的 rebit」复现，就要求两个源其实共享了什么，与「独立」矛盾。
- 源如何独立（公设 (4) 后半句）：RQT 中「独立源 = 乘积态」是对源状态数学形式的规定；换成「源之间没有可观测关联」的操作性规定后，实数理论可以在非乘积态里藏入 rebit 的关联而不被实验看见（这就是 H-W 2026 的全部论证，见 6.1）。
一句话：RQT 的软肋不是「实数不会算」，而是「实数空间里没有内置的共享 rebit 机制，而张量积公设又不允许显式共享」——所以要么靠独立性假设强制乘积态（Renou 路线，可被实验检验），要么改组合规则允许共享（Barrios 路线，经验不可区分）。
五、实验实际测到了什么
5.1 主实验：Wu 2022（严格局域条件）
Wu, Jiang, Gu 等 2022（PRL 129, 140401）是目前条件最严格的实现，本文以此为主实验：
- 装置：两个独立 Sagnac 型 SPDC 纠缠光子源（1558 nm 泵浦 → 779 nm），各产生 |Φ⁺⟩ 纠缠对；Alice 有 6 种测量基、Charlie 有 3 种、Bob 做完整 Bell 态测量（8 只 SNSPD）；偏振调制由实时量子随机数生成器（QRNG，250 MHz）决定。
- 类空间隔：Alice–S1 104 m、S1–Bob 106 m、Bob–S2 89 m、S2–Charlie 110 m，7 组类空间隔条件全部满足（余量 26±4 ns 到 1090±4 ns）——所有相关事件（源制备、测量选择、测量发生）彼此类空间隔，从时序上保证两个源的制备和测量相互独立。[文献较稳]
- 检验量：T 泛函（12 组 xz 设置、每组 4 位结果，ω=±1 加权）。
- 结果：四个 Bob 输出分别 7.80(6)/7.89(6)/7.78(6)/7.84(6)，平均 7.83(3)；77326 个四光子符合事件、460810 s；超过实数界 7.66 达 5.30 个标准差。源保真度 0.9852(6)/0.9892(9)，HOM 可见度 0.943(20)。[文献较稳]
- 作者结论（逐字）：”Our results violate the real number bound of 7.66 by 5.30 standard deviations, hence rejecting the universal validity of the real-valued quantum mechanics to describe nature.”[文献较稳]
保留的假设与未关漏洞（必须逐条登记）：
- 探测漏洞未关——作者自己写道 “Our next step is to close detection loopholes”。
- 源独立性：靠「每个源激光脉冲相位随机化」+ 类空间隔共同保证；但这是实验设计的保证，不是可被检验的假设本身。
- 7.66 界的数值性：若真实实数界低于 7.66（上界不紧），实验的 σ 数会更大、不改变「违反」的方向；若真实界更高且紧于 7.66，则 7.83(3) 与界的差距缩小——Renou 原文「open whether tight」的诚实性在这里有实际后果。
5.2 数据与解释的区分
把「数据」和「作者对数据的解释」分开是本节的关键动作：
- 数据（无可争议）：该网络场景测得的统计量是 T = 7.83(3)，显著高于 7.66。这是光子计数算出来的数字，正式发表、数字经本报告核对。
- 解释一（作者）：这”reject the universal validity of real-valued quantum mechanics”。这个解释成立的前提是：RQT 的定义包含「乘积态独立源 + 张量积组合」（4.3 的定理范围）。
- 解释二（2025–2026 反驳）：数据只说明「该初态在实数模型里不是乘积态」，而操作性独立允许非乘积态，所以数据不推翻改了独立性定义的 RQT（详见 6.1）。
两个解释都对「数据」本身无异议，分歧在「RQT 应该包含哪些态」。
5.3 其它实验对照（保真度换独立性、或反过来）
| 实验 | 平台 | 关键数字 | 独立性 | 未关 |
|---|---|---|---|---|
| Chen 等 2022（PRL 128, 040403） | 超导量子比特 | 得分 8.09(1) vs 界 7.66，43σ；保真度 0.952(1) | 双源在同一芯片（共享退相干环境），源独立性最弱 | 源独立性、探测 |
| Li 等 2022（PRL 128, 040402） | 光学双独立源 | W = 0.8508±0.0218 vs 实数界 0.7486，4.70σ；复数预测 0.8404 与数据一致 | 两个独立激光源，只能经典关联（独立性较 Chen 强） | 探测效率估算（只记录 b=+1） |
| Wu 等 2022（PRL 129, 140401） | 光学 + 严格局域 | T = 7.83(3) vs 界 7.66，5.30σ | 类空间隔全部事件 + 相位随机化（最强） | 探测 |
| Lancaster–Palladino 2025（Am. J. Phys. 93, 110） | IBM 量子计算机 | 8.046±0.065 / 8.410±0.074（两台设备）> 7.66 | 单芯片 | 全部 |
| Batle 等 2025（Quantum 9, 1595） | IBM 量子计算机 + 新不等式 | 实数界 14.69 vs 复数最大 18；实测 15.44，>100σ | 假设源可分 | 全部 |
[文献较稳] 三个 2022 实验独立且互不复制同一数据源（Chen=超导、Li=光学、Wu=光学不同装置）；Lancaster–Palladino 与 Batle 是对前者的平台复现 + 检验量改进，不构成第五、第六个独立证据，只加强工程可复现性。值得注意：H-W 2026 的参考文献只引了 Li 2022 和 Lancaster–Palladino 2025，未引 Chen 与 Wu（已如实记录，未作归因推断）。
六、后续工作改变了什么
这一节是判断题：每篇后续工作是发现原论证错误、修改前提、扩大理论类别，还是讨论不同命题？答案各不相同，分开判。
6.1 实数重构线
Hoffreumon & Woods 2025（arXiv:2504.02808v2，”Quantum theory does not need complex numbers”，40 页）：不换理论、换表示。作者构造一个新的张量积矩阵表示 ⊗r（非 Kronecker 积），证明存在满足公设的实数理论，保留 representation locality，直接主张复数理论经验不可区分。核心句（逐字）：”the Kronecker product is only one possible matrix representation of the tensor product, but not the only one.” 判定：讨论不同命题——在「组合规则 = 张量积的某种表示」的层级上，公设 (4) 的数学外壳不是唯一的；这动摇的是「公设 (4) 必须取 Kronecker 形式」的隐含假设，不是 Renou 的代数推导。[文献较稳]
Barrios Hita, Trushechkin, Kampermann, Epping, Bruß 2026（PRL 136, 240202；arXiv:2503.17307）：修改前提——把公设 (4) 从数学的「张量积」换成物理动机的「局域作用」。新公设 P4（逐字）：”an operation acting only on one subsystem does not have a measurable effect on the other one. In other words, a local operator must act trivially on all other subsystems.” 然后构造实数商空间（把「全局相位分给哪个子系统」编码成等价类），得到与复数量子力学一一对应的实表述，复现所有多体实验。结论句（逐字）：”complex numbers are not necessary to describe quantum mechanics – but they are certainly very useful.” 判定：修改前提 + 扩大理论类别——它承认在 Kronecker 张量积公设下 Renou 是对的，但主张「物理上正确的组合公设是 P4 而非数学张量积」，在这个新类别里实数完全够用。[文献较稳]（注意：arXiv 版 2025-03、PRL 版 2026-06-18 已同行评议发表；本报告核对 arXiv 全文与 PRL 正式版元数据。）
Hoffreumon & Woods 2026（arXiv:2603.19208，”Quantum theory based on real numbers cannot be experimentally falsified”，60 页）：修改前提——不换组合规则（保留 Kronecker），改「独立」的含义。核心区分（原文 Definition 附近逐字）：
- product-state independence：要求两源联合态为乘积态——”a statement about the formal expression assigned to the state inside a particular mathematical model”，实验方 “cannot directly inspect”；
- operational independence：联合概率对所有局域测量对可因子化——”refers only to the absence of observable correlations in the statistics”。
作者证明两个定理：定理 1——任意有限网络 + 操作性独立，每个 QT 结果分布在等价 RQT 模型可复现（测量局域结构保持）；定理 2——推广到任意有限顺序协议（初始态 + 通道 + POVM 的任意序列）。因此「as long as no violation of QT is observed, RQT cannot be experimentally falsified」。对实验数据的立场（逐字）：”The only conclusion that can be drawn from the experimental data…, therefore, is that the RQT description of the state in which the system started the experiment was not a product state.”——数据只说明初态非乘积，与操作性独立兼容。 [文献较稳]
判定：H-W 2026 不是「发现 Renou 算错了」，而是「把 Renou 的乘积态假设判定为实验不可测试的模型内规定，然后用操作性定义重做了一遍」。它对数据无异议、对定理无异议，异议在「独立性的物理含义」。
6.2 反方向线（加强 Renou 或削弱重构）
Sarkar, Trillo, Renou, Augusiak 2025（arXiv:2503.09724）：扩大理论类别（同一前提内更普适）。证明在星形网络（N 个外部方 + 中央方）中，复/实差距随 N 线性增长——”the gap… is thus arbitrarily large in the asymptotic limit”。关键：明确保持假设 “the tensor product rule stays unchanged: independent systems are represented by product states”（逐字），即它主动站在 Renou 的乘积态假设一侧，未回应 operational independence 质疑。[文献较稳]
Weilenmann, Gisin, Sekatski 2025（PRL 135, 180201；arXiv:2502.20102）：修补 + 量化，本篇最接近「补洞」的工作。结论：①部分源独立性就足以排除 RQT（导出独立性—Bell 值权衡曲线）；②在 Renou 场景中，1 个 rebit 纠缠（每源一个实比特）对 RQT 复现复数关联是必要且充分的；③给 Chen 2022（8.09）与 Wu 2022（7.83）的数据量化的含义——要在 RQT 中复现这些结果，两源需共享分离度 D_Sep > 0.2 与 > 0.05 的纠缠。作者收尾（逐字要点）：”Since assuming the presence of some hidden background entanglement seems ontologically excessive, concluding the inadequacy of Real Quantum Theory is predicated on guaranteeing sufficient partial independence of the sources.” 判定：不是修改前提，而是把前提的失败代价量化——它证明了「若 RQT 要救场，得给源偷偷塞多少纠缠」，把哲学争论变成可数的量。[文献较稳]
Feng, Ren, Vedral 2025（arXiv:2504.07808，”Locality Implies Complex Numbers in Quantum Mechanics”）：反方向最强论证。主张（摘要逐字）：”complex-number quantum theory is equivalent to a real-number quantum theory with hidden nonlocal degrees of freedom.” 它直接批评 H-W 2025/Barrios 的组合规则：修正张量积构造 (Eq.27) 与 H-W 的组合规则一致，但它是非局域映射——”from a physical ontology perspective, their framework is not entirely local since they introduce a nonlocal map of operation”。因此若独立源假设成立，这些「实数理论」其实偷藏了隐藏非局域自由度，复数不可缺。判定：攻击重构的局部性声称——不否认重构的预测等价，否认它的「局域」称号。[文献较稳]
Moradi Kalarde, Xu, Renou 2026（arXiv:2604.07425，”Comment on…”，10 页）：攻击 H-W 2026 的新公设。给一个费米子信息理论（FIT）反例：存在「非独立制备（任何可分分解违反 parity superselection）却操作性独立」的两费米模态，故 “operational independence cannot be regarded as a universal characterization of independent preparation”（逐字）；并证明（GPT 框架内）操作性独立=独立制备 ⟺ 局域可断层（local tomography），而 FIT 与 RQT 都非局域可断层。判定：把争论推进到「哪条独立性定义是物理上正确的」——不否定 H-W 在量子域内的定理，否定其公设作为一般物理原理的地位。[文献较稳]
Yīng 等 2025（arXiv:2506.08091，Spekkens 组，foil theories 视角）：元视角重构。主张 Renou 2021 最好理解成「仅凭因果结构假设即可在量子理论与其实数替代理论（foil theory）之间实验裁决」这一命题，而非「表示优劣」命题；把 RQT 重述为对量子理论做时间反演对称化得到的「swirled world」，并证明酉对称化的「twirled worlds」不存在这种 gap。判定：讨论不同命题——不参与「复数是否必要」的输赢，重新描述争论的语义位置。[文献较稳]
6.3 分类判断汇总
| 工作 | 改变什么 | 是否推翻 Renou 定理 |
|---|---|---|
| H-W 2025 | 换「张量积」的矩阵表示（讨论不同命题） | 否（另立表示） |
| Barrios Hita 2026 | 换组合公设 (4) → P4（修改前提） | 否（换前提） |
| H-W 2026 | 换「独立」定义 → 操作性（修改前提） | 否（换前提） |
| Sarkar 2025 | 同一前提下差距任意大（扩大类别） | 否（支持） |
| W-G-S 2025 | 量化前提失败的代价（修补） | 否（支持） |
| Feng-Ren-Vedral 2025 | 攻击重构的「局域」称号（反方向） | 否（支持，且补刀） |
| Renou comment 2026 | 攻击 H-W 新公设的普适性（反方向） | 否（支持原假设） |
| Yīng 2025 | 重构争论的语义（元视角） | 否（换命题） |
没有任何一篇声称 Renou 2021 的代数/数值推导有错。 所有争议都发生在「哪些假设构成 RQT 的正确定义」这一层。这是本节最重要的判断。
七、关键工作对照表
| 工作（正式发表/预印本状态） | 研究对象 | 主要假设 | 实际结果 | 不能推出的结论 |
|---|---|---|---|---|
| Renou 2021，Nature 600, 625（正式） | 双独立源纠缠交换网络 | 标准四公设 + 乘积态独立 + 局域测量 | T：复数 6√2≈8.49，实数 ≲7.66（数值）；两源可见度 >0.95 | 不能推出「复数本体必要」；不能推出「改组合规则/改独立性定义的实数理论被排除」 |
| Chen 2022，PRL 128, 040403（正式） | 超导量子比特 | 同上（双源同芯片） | 8.09(1) vs 7.66，43σ | 不能推出「源独立性无懈可击」；同芯片共享环境 |
| Li 2022，PRL 128, 040402（正式） | 光学双独立源 | 部分 BSM + 独立激光源 | W=0.8508±0.0218 vs 0.7486，4.70σ | 不能推出「探测效率无偏」（只记录 b=+1） |
| Wu 2022，PRL 129, 140401（正式） | 光学 + 类空间隔 | 全类空间隔 + 相位随机化 | T=7.83(3) vs 7.66，5.30σ | 不能推出「探测漏洞已关」（作者自述未关） |
| H-W 2025，arXiv:2504.02808v2 | 张量积的矩阵表示 | 组合规则可取非 Kronecker 表示 | 存在实数理论经验不可区分 | 不能推出「Kronecker 表示下 RQT 被排除有误」 |
| Barrios Hita 2026，PRL 136, 240202（正式） | 组合公设 P4 + 商空间 | 局域算子平凡作用（P4）为基本原理 | 实数表述与 CQT 一一对应 | 不能推出「P4 被普遍接受为基本原理」；Feng 等称其含隐藏非局域映射 |
| H-W 2026，arXiv:2603.19208 | 独立性的两种定义 | 操作性独立替代乘积态 | 任意有限网络/顺序协议 RQT 可复现 | 不能推出「操作性独立=独立制备是普适公设」——FIT 反例（Renou 评论） |
| W-G-S 2025，PRL 135, 180201（正式） | 部分独立性的代价 | 源可分享少量纠缠 | 部分独立即可排除 RQT；量化 D_Sep>0.2/0.05 | 不能推出「这些隐藏纠缠不存在」（只能指出其本体上过度） |
| Feng-Ren-Vedral 2025，arXiv:2504.07808 | 重构的局部性 | 独立源假设 | 实数重构 = 隐藏非局域映射 | 不能推出「所有实数理论都非局域」（只针对所审构造） |
| Renou comment 2026，arXiv:2604.07425 | H-W 新公设的普适性 | FIT 为有效框架 | 操作性独立≠独立制备（费米子反例） | 不能推出「H-W 在量子域内的定理有误」 |
| Yīng 2025，arXiv:2506.08091 | 争论的语义 | foil theory 方法论 | Renou 结果=因果结构裁决命题 | 不能推出「复数是否本体必要」（它不回答这个） |
八、对理解世界意味着什么
8.1 三层差异要分开
- 实验可区分的理论差异：在「乘积态独立源 + Kronecker 张量积」定义下，RQT 与 CQT 对网络实验给出不同预测（7.66 vs 8.49），实验测到 7.83(3)。这是真的、可测的差异，也是 Renou 定理的全部内容。[文献较稳]
- 数学表述差异：在更换组合公设或独立性定义后，存在与 CQT 经验等价的实数表述（H-W、Barrios）。这些表述与原表述的关系是表示/公设层的差异，不是实验可测的差异。[文献较稳]
- 哲学解释：「复数是否本体必要」「相位是否是真实」是对上述两层差异的解释，目前没有任何实验能单独裁决——因为裁决要依赖「RQT 的正确定义」这一尚未公理化的选择。
8.2 目前仍不能下什么结论
- 不能下「复数在本体上不可替代」——存在经验等价的实数表述，且 Renou 定理绑定乘积态独立性。
- 不能下「复数只是计算工具、相位是幻觉」——所有经验等价的实数重构要么改组合公设（尚未被普遍接受）、要么隐含非局域映射（Feng–Ren–Vedral）、要么把隐藏纠缠塞给源（W-G-S 量化过其代价）。
- 不能下「2022 实验作废」——三个实验的数据、数字、类空间隔事实全部成立；H-W 的批评针对「这些数据推出的结论」，不针对数据。
- 不能下「7.66 是解析定理」——它是数值 SDP 上界，紧性开放。
8.3 什么证据会改变判断
- 若有人给出「源独立性的物理学定义」公理化共识（无论是乘积态、操作性独立、还是某个更强的可检验版本），争论随该定义收敛——这是目前最可能的出口。
- 若实验能在不依赖上述任一独立性定义的情况下（例如，源关联有可证上界、设备无关、或某种新的可证独立性资源）仍测得超实数界的关联，解释 A 获得判决性支持。
- 若新的量子计算机/光学实验把 Batle 不等式（实界 14.69 vs 复数 18）推广到独立源 + 类空间隔，且测得超过 14.69，则在「独立源」这一共同假设下给出第二个独立确认。
- 若有人证明任何经验等价的实数表述都必然隐含非局域映射（Feng–Ren–Vedral 的路线被推广为一般定理），则「局域性 ⟹ 复数」成立，复数获得物理而非纯数学的地位。
九、检索记录、诚实空位与自审
9.1 检索记录（日期：2026-09-05）
- 入口：Nature s41586-021-04160-4（开放获取全文）；arXiv：2201.04177、2103.08123、2111.15128、2504.02808、2603.19208、2503.17307、2604.07425、2503.09724、2504.07808、2506.08091、2502.20102、2205.01262；APS PRL：128.040402、128.040403、129.140401、4k13-sdjh、3fv7-p8cs；Quantum q-2025-01-15-1595。
- 关键检索式：
real vs complex quantum theory network Bell；real-valued quantum mechanics experimental refutation；operational independence product-state independence；quantum theory based on real numbers cannot be experimentally falsified；locality implies complex numbers；foil theories complex numbers。 - 纳入/排除：纳入 peer-review 正式论文 + 直接参与本争论的 2025–2026 预印本；排除 imaginarity 资源理论等侧枝、排除转载与新闻稿（仅 Lancaster–Palladino 的 Am. J. Phys. 定位用 arXiv 版核对）。共同数据来源检查：Chen/Li/Wu 三实验互不共用同一数据源；Lancaster–Palladino 与 Batle 是平台复现，不当作独立证据。
- 版本核对：Renou 2021 = Nature 正式版全文；Wu 2022 = arXiv v2（对应 PRL 版）；H-W 2025 = arXiv v2；H-W 2026 = arXiv v1；Barrios Hita = PRL 正式版元数据 + arXiv v1 全文。注意：H-W 2026 参考文献仅引 Li 2022 与 Lancaster–Palladino 2025，未引 Wu 2022 与 Chen 2022（已如实记录，未作归因推断）。
9.2 诚实空位
- Barrios Hita 2026 的 PRL 正式版 PDF 被 Cloudflare 挡在付费/JS 页外，正文细节按 arXiv 2503.17307 v1（2025-03）核对；PRL 版元数据（136, 240202, 2026-06-18, 收稿/修订/接收日期）已从期刊页核对。两版正文若有差异，未逐字核到。
- Renou 2021 的 Supplementary（定理证明细节、SDP 数值代码）为 Nature 单独 PDF，本报告未完整读取；定理的存在性、T 界来源、可见度阈值均已从正式版正文核对。
- H-W 2026 的 43 页附录未逐页通读；operational/product-state 独立性定义、定理 1/2 陈述、对实验的立场均已从 main text + technical material 核对。
- Renou comment（2604.07425）的 FIT 反例已核对反例结构与结论句，但附录 C 的 GPT 证明（Props 1/2）未逐行验证。
- W-G-S 2025 的 D_Sep 数值（0.2/0.05）取自正式 PRL 摘要版与 arXiv 版正文，SDP 计算未复算。
- 截至 2026-09-05，未检索到 H-W 2026 对 Renou comment 的公开回应（可能尚未发表）。
9.3 自审（审稿视角，逐条挑战）
- 挑战「没有任何一篇声称 Renou 算错」：核查过——H-W 2025/2026、Barrios、Sarkar、Feng 等均未质疑定理推导本身，只质疑假设；登记为成立。
- 挑战「三个实验互不共用数据源」：Chen=超导、Li=光学、Wu=光学但装置与测量基不同（Wu 有类空间隔设计、Li 用部分 BSM），登记为三个独立实现。
- 挑战「7.66 是数值界」的影响：若 7.66 不紧，Wu 的 5.30σ 是低估（更利于 Renou 侧）；不存在「界更高且紧于 7.66 导致反结论」的已知可能——但这是数值结果，未做独立 SDP 复算，诚实标注。
- 挑战「本报告是否偏袒某方」：复算 A/B 验证的是 Renou 侧工具的代数正确性，不构成对「复数必要」的背书；对 H-W/Barrios 的批评（FIT 反例、隐藏非局域映射）原样照登；判定表格的「不能推出」列专门防止任何一方的升格。
- 挑战「结论是否超出证据」：第八节所有「不能下」条款均对应第七节表格中的具体假设；没有一句声称「复数必要」或「复数便利」为最终结论。
- 本报告为自审（同一 agent 重读），非独立审阅——按仓库纪律如实署名，不冒充独立核验。
收口声明：关键主张（定理、数值、实验数字、重构构造、反例）均有可追溯的一手来源与定位；竞争解释已逐条比较；剩余空位（P4 的物理地位、操作独立的公理地位、7.66 的紧性、隐藏非局域映射是否一般化）已明确登记，未被写成确定结论。[停止条件满足]
附录：复算代码与复现
复算脚本：evidence/2026-09-05-real-vs-complex-quantum-theory-stress-test/recalc_embedding_chsh.py（纯 Python，无第三方依赖，python3 recalc_embedding_chsh.py 可复现）。
- 复算 A（嵌入构造）：2000 个随机复纯态 + 随机测量投影，验证
tr(ρ̃Π̃) = tr(ρΠ)，最大误差 2.2×10⁻¹⁶。能说明：单系统/普通 Bell 场景实数可复现一切统计；不能说明：网络场景里 rebit 该放谁处。 - 复算 B（CHSH 实数达到 2√2）：实态 |Φ⁺⟩ + 实数测量，CHSH = 2.828427。能说明：CHSH 量子违背不是复数必要性证据；不能说明：CHSH 是否还有其它实现。
- 复算 C（可见度阈值）：√(7.66/(6√2)) = 0.9501。能说明：Renou 对实验的可见度要求数字可复算；不能说明：7.66 本身的推导（那是 SDP，未复算）。
证据原始件（11 篇 PDF，含正式版与预印本）与复算脚本落盘于 evidence/2026-09-05-real-vs-complex-quantum-theory-stress-test/，不进 git。