无信号原理与源的假设¶

两个你天天见到、但没人正式讲过的东西

0. 为什么把这两件事放在一起讲¶

它们看起来无关，其实是一对：

无信号原理约束的是观测到的关联 \(P\) 长什么样；
源的假设约束的是关联背后的因果结构长什么样。

而你和老师反复讨论的那个问题——"要不要独立源假设"——之所以难，正是因为无信号原理推不出源独立。这两件事必须分开记账。搞清这一点，你在网络场景里的大部分困惑会一起消失。

第一部分 无信号原理（no-signalling, NS）

1. 它到底说什么¶

1.1 定义¶

一张关联表 \(P=\{p(\vec a|\vec x)\}\) 满足无信号，如果任何一组参与者的边缘分布不依赖其余人的输入。二方情形：

\[\sum_b p(ab|xy)=p(a|x)\quad\forall y,\qquad \sum_a p(ab|xy)=p(b|y)\quad\forall x.\]

多方情形对任意子集 \(S\) 都要求：\(\sum_{a_{\bar S}}p(\vec a|\vec x)\) 与 \(\vec x_{\bar S}\) 无关。

读法：Bob 换按钮，Alice 那边看到的统计一点变化都没有。所以 Alice 无法通过看自己的数据知道 Bob 按了什么——没有信息从 Bob 传到 Alice。

1.2 在量子力学里它是定理，不是假设¶

若两方作用在张量积的不同因子上，\(M_{a|x}\otimes\mathbb 1\) 与 \(\mathbb 1\otimes N_{b|y}\) 对易，于是

\[\sum_b p(ab|xy)=\mathrm{Tr}\big[\rho\,(M_{a|x}\otimes\textstyle\sum_b N_{b|y})\big]=\mathrm{Tr}\big[\rho\,(M_{a|x}\otimes\mathbb 1)\big],\]

用了 POVM 归一 \(\sum_b N_{b|y}=\mathbb 1\)。与 \(y\) 无关。

这就是为什么"量子纠缠不能超光速通信"——它是 Born 规则 + 张量积结构的直接推论，不需要额外假设。

1.3 在实验里它是要求 + 可检验的性质¶

作为要求：你必须把实验室做成类空分离的（或至少屏蔽住），否则 NS 不成立，一切 DI 结论作废。
作为可检验性质：把原始数据的边缘分布算出来，看它随对方输入变不变。这是标准的数据自检。若数据违背 NS，说明有串扰、漂移、或与输入相关的后选择——是漏洞的警报器。

2. 三层集合：\(\mathcal L\subset\mathcal Q\subset\mathcal{NS}\)¶

这张图是整个 Bell 非局域性文献的骨架，值得背下来。

集合	定义	几何	边界由什么给出
\(\mathcal L\) 局域	\(p(\vec a\vert\vec x)=\int d\lambda\,q(\lambda)\prod_i p(a_i\vert x_i,\lambda)\)	多面体，顶点=局域确定性策略	面（facet）= Bell 不等式。CHSH \(\le2\)
\(\mathcal Q\) 量子	\(p=\mathrm{Tr}[\rho\bigotimes M_{a_i\vert x_i}]\)	凸，但不是多面体（曲面边界）	Tsirelson 界 CHSH \(\le2\sqrt2\)；一般只能用 NPA 层级逼近
\(\mathcal{NS}\) 无信号	上面 §1.1 的线性等式 + 归一 + 非负	多面体	顶点包含 PR box

PR box（Popescu & Rohrlich, Found. Phys. 24, 379 (1994)）：\(p(ab|xy)=\tfrac12\) 当 \(a\oplus b=xy\)，否则 0。它满足 NS，但 CHSH \(=4>2\sqrt2\)。所以 NS 严格弱于量子。

多方 NS 多面体的系统刻画见 Barrett, Linden, Massar, Pironio, Popescu, Roberts, PRA 71, 022101 (2005)。

3. 为什么文献里到处提它 —— 六个真实用途¶

这是你问的核心。作者提 NS 通常是在用下面六件事之一，看懂了就不会觉得它是空话。

用途 1：让"关联"这个对象良定义 ★（你的项目直接用到）¶

只有在 NS 成立时，"\(p(c)\)"这个写法才有意义——否则你必须写 \(p(c|\vec x)\)，而它随 \(\vec x\) 变化，你根本没法把它当成一个数放进判据。

你的 \(J_c\) 里的 \(p(c)\) 就是靠这一条才合法。 若 NS 不成立，\(J_c\) 这个泛函本身就没定义。

用途 2：划定 DI 的最外框——"理论无关"的结论¶

凡是只用 NS（不用量子力学）就能证的结论，即使将来量子力学被推翻、被某个更广的理论取代，只要那个理论不允许超光速通信，结论依然成立。这叫 device-independent + theory-independent。

经典例子：Barrett, Hardy, Kent, PRL 95, 010503 (2005) —— 只假设 NS 的密钥分发安全性证明。这是"NS 有什么用"最硬的答案。

用途 3：澄清"非局域 ≠ 可以通信"¶

这是最常见的科普级误解，几乎每篇非局域性论文都会写一句撇清。看到这种句子，跳过即可。

用途 4：作为数值方法里的线性约束¶

NPA 层级（Navascués, Pironio, Acín, PRL 98, 010401 (2007)）、线性规划求局域界、inflation——所有这些 SDP/LP 里，NS 都是作为线性等式约束写进去的。提它是在交代可行域。

用途 5：实验数据自检¶

见 §1.3。论文里"we verified no-signalling in our data to within \(\dots\)"这类句子就是这个用途。

用途 6：后选择的合法性 ★（你的项目直接用到）¶

网络判据几乎都要在中心方的输出 \(c\) 上后选择。后选择合不合法，取决于"被后选择的事件的概率是否依赖于其他人的输入"。 NS 保证 \(p(c|\vec x)=p(c)\)，所以在 \(c\) 上后选择不会制造 fair-sampling 式的偏置。

对比：探测漏洞（detection loophole）之所以是漏洞，恰恰因为"探测到"这个事件的概率可以依赖输入。两者的区别就在 NS 这一条。可引 Orsucci, Bancal, Sangouard, Sekatski, Quantum 4, 238 (2020)。

4. NS 不够用：\(\mathcal Q\) 严格小于 \(\mathcal{NS}\)¶

既然 PR box 满足 NS 却不是量子的，一个自然问题是：是什么物理原理把量子集从 NS 里挑出来？ 这是一个至今未完全解决的大问题，主要候选：

信息因果性：Pawłowski et al., Information causality as a physical principle, Nature 461, 1101 (2009)
宏观局域性：Navascués & Wunderlich, Proc. R. Soc. A 466, 881 (2010)

对你的意义：你的界 \(S^{Q,*}_k\) 是量子最大值（\(\mathcal Q\) 内的），不是 NS 最大值。所以你的判据是"在量子力学内成立"的陈述，属于用途 ⅙ 那一类，不属于用途 2。这一点在写作时要清楚，别把两者混着说。

5. 最关键的一句话：NS 约束不了源¶

\[\boxed{\text{无信号原理是对 }P\text{ 的约束；源的独立性是对因果结构的约束。前者推不出后者。}}\]

反例一句话就能说清：两个类空分离的实验室当然满足 NS，但它们完全可以共享同一个源、甚至共享同一个隐变量。NS 对"背后有几个源、谁喂给谁"一个字都没说。

所以在网络场景里，源独立性是一条全新的、独立的假设，必须单独写进定理。 下半部分讲它。

第二部分 源的假设

6. 先把三种"独立"分清楚 ★¶

你和老师讨论时的很多歧义来自这三者被混称为"独立性"。它们是三件不同的事：

	名称	数学形式	违反它 =	属于
(a)	源之间独立（network / \(n\)-locality）	\(\rho_{\vec A\vec C}=\bigotimes_i\rho_{A_iC_i}\)	网络判据失效、假阳性	因果结构假设
(b)	源与输入独立（measurement independence / free choice）	\(q(\lambda\vert\vec x)=q(\lambda)\)	freedom-of-choice loophole	DI 的基本假设 A3
©	轮次之间独立（i.i.d.）	每轮设备行为相同且独立	memory attack；有限统计不能用简单 Chernoff	统计推断假设 A5

老师说"要不要独立源假设"，几乎肯定指的是 (a)。 但如果对话里出现"独立性"三个字而没说清是哪个，先问一句是哪一种，能省很多时间。

7. 源假设的完整阶梯 ★★¶

设网络有 \(n\) 个源，第 \(i\) 个源把子系统分给某几方。下面从弱到强排列。

档	名称	数学形式	关联集合的几何	能证什么
L0	单一全局源（标准 Bell）	\(\rho_{\vec A\vec C}\) 任意	凸多面体（局域集）	标准 Bell / 纠缠 / 深度
L0.5	部分独立（\(\varepsilon\)-独立）	源之间互信息 \(\le\varepsilon\)	介于两者	见 §10
L1.5	源之间只有经典关联	\(\rho=\sum_\mu p_\mu\bigotimes_i\rho^\mu_{A_iC_i}\)	L1 的凸包	凸闭性质（见 §8）
L1	源完全独立（\(n\)-locality）	\(\rho=\bigotimes_i\rho_{A_iC_i}\)	非凸	网络非局域性、无输入非局域性、网络自检
—	（正交维度）源可被 Eve 制备并持有净化	\(\rho_{A_iC_iE_i}\) 纯态	—	密码学安全性

注意 L1 \(\subset\) L1.5 \(\subset\) L0：L1 是最强的假设（可证最多），L0 是最弱的假设（可证最少）。

为什么 L1 会导致非凸？ 因为"张量积"这个约束不是凸的：两个乘积态的混合一般不是乘积态。这是网络非局域性一切数学困难的根源。

8. 决定性判据：你要认证的"坏集合"是不是凸的？★★★¶

这是回答"什么时候需要哪一档源假设"的唯一一条核心规则。

若你要排除的那个集合（"坏集合"）是凸的，那么把 L1 放宽到 L1.5 不损失任何东西；若它是非凸的，L1 就删不得。

理由一行：L1.5 是 L1 的凸包。若结论对每个 \(\mu\) 分量成立，且"坏集合"对凸组合封闭，则结论对混合也成立。

例 A：\(k\)-producible 态的集合 —— 凸 ✅¶

定义本身就带 \(\sum_\lambda q_\lambda\)，所以按定义凸。

⟹ 你的判据只需要 L1.5，也就是「源之间无量子关联」，而不需要完全独立。这比 Sarkar 那篇 Nat. Phys. 用的 L1 更弱，是可以写进文章的一个卖点。

例 B：bilocal 关联集合 —— 非凸 ❌¶

定义：\(p=\int\!\!\int d\lambda_1d\lambda_2\,q_1(\lambda_1)q_2(\lambda_2)\,P(a|x,\lambda_1)P(b|y,\lambda_1\lambda_2)P(c|z,\lambda_2)\)。

关键事实：bilocal 集合的凸包恰好等于普通局域集合 \(\mathcal L\)。（因为所有局域确定性点都是 bilocal 的，取它们的凸包就得到 \(\mathcal L\)。）

⟹ 一旦允许源之间共享经典随机数，bilocality 不等式就完全失效——一个普通的局域模型就能违背它。做 bilocality/\(n\)-locality 检验时，L1 是不可放宽的。

一张决策流程¶

你要认证的性质是什么？
   │
   ├─ "关联不在某个凸集合里"（可分性、k-producibility、biseparability、…）
   │      → 用 L1.5（源之间无量子关联）就够。写进定理，标注它比 L1 弱。
   │
   └─ "关联不在某个非凸集合里"（bilocal、n-local、network-local、full network nonlocality）
          → 必须 L1。实验上要真正物理独立的源，而且要说清怎么保证。

9. 独立源假设能买到什么（为什么大家愿意付这个代价）¶

L1 是个强假设，但回报也大。四个标志性例子：

无输入的非局域性。 在三角网络里，即使所有人都没有测量选择（每人只做一个固定测量），量子关联依然可以非经典。这在标准 Bell 场景里绝无可能——没有输入就没有 Bell 不等式。 Fritz, NJP 14, 103001 (2012)；Renou et al., Genuine quantum nonlocality in the triangle network, PRL 123, 140401 (2019)
网络能自检任意态、任意测量。 标准 Bell 场景做不到的事，加上源独立就能做到——你手上那两篇 Nat. Phys. 全靠这一条。 Šupić et al., Nature Physics 19, 670 (2023)；Sarkar, Orthey, Augusiak, Nature Physics (2026)
"全网络非局域性"这一新概念：要求每一条链路都非经典，而不只是整体非经典。 Pozas-Kerstjens, Gisin, Tavakoli, Full network nonlocality, PRL 128, 010403 (2022)；星型网络的实验版本：Certification of non-classicality in all links of a photonic star network without assuming quantum mechanics, Nat. Commun. (2023)
NS + 独立性联合起来本身就有力量（不用量子力学也能推出限制）： Constraints on nonlocality in networks from no-signaling and independence, Nat. Commun. 11, 2378 (2020) —— 这篇正好就是本文两个主题的交叉，很值得读。

代价： - 关联集合非凸 ⟹ 没有简单的线性规划，NPA 不能直接用，需要 inflation 等技术（Wolfe, Spekkens, Fritz, arXiv:1609.00672）； - 假设本身很难从数据验证——它是因果假设，不是可观测约束； - 实验上要付出真金白银（见 §11）。

你的方案有个技术上的便宜可占：你没有去刻画网络关联集合（那才需要处理非凸），你只用了"交换后的态是 \(k\)-producible"+"\(k\)-producible 态的 Bell 界"，后者是标准凸问题。这一点值得在文章里明说。

10. 部分独立：假设可以有多弱？¶

不必在"完全独立"和"完全放弃"之间二选一。有工作证明：

Quantum Nonlocality in Networks Can Be Demonstrated with an Arbitrarily Small Level of Independence between the Sources, PRL 125, 240403 (2020)

即：即使源之间的独立性极其微弱，仍能证明网络非局域性。做法通常是把"独立度"参数化（如源之间的互信息上界 \(\varepsilon\)），把判据的界写成 \(\varepsilon\) 的函数。

这正是你可以给自己的判据补的一段：如果源之间有 \(\varepsilon\) 量级的量子关联，\(J_c\le0\) 会松弛成 \(J_c\le f(\varepsilon)\)。有了这一段，审稿人问"你怎么保证源独立"时你就有答案。

11. 实验上怎么"设计"源来满足不同假设¶

这是你问的"怎么设计不同含义下的源"。

要达到 L1（完全独立）¶

物理上分离的源：独立的非线性晶体/独立的原子系综，不共用同一个介质。
独立的泵浦：这是最容易出问题的地方——两个 SPDC 源共用一台泵浦激光，就引入了共同的相位/强度涨落，即经典关联。
独立的时钟与随机数：共用一个触发时钟同样引入关联。
源事件类空分离：把"源发射"这个事件之间也做成类空分离，杜绝因果联系。
标杆实验：Experimental Full Network Nonlocality with Independent Sources and Strict Locality Constraints, PRL 130, 190201 (2023) —— 看它为独立性和定域性分别做了什么工程。

只能达到 L1.5（存在共享经典涨落）¶

现实中大多数实验就在这一档：共用泵浦、共用时钟、共用实验室环境。

这时你只能认证凸闭的性质（回到 §8）。好消息是：纠缠、可分性、纠缠深度全都是凸闭的，所以这一档对你完全够用。

想做 L0.5（量化的部分独立）¶

需要给出一个可操作的"独立度"度量，并在理论上把它带进界里。参照 §10。

关于"源被 Eve 持有净化"¶

在纠缠/深度认证类任务里通常无害：你的结论是关于 \(A\) 侧约化态或 \(C\) 侧 effect 的，Eve 的净化系统不影响。但在随机数/密钥任务里它是核心，因为那里要证的是"Eve 对输出的不确定性"。你的项目属于前者，可以在文中一句话带过。

12. 回到你的项目：具体应该怎么写¶

定理里的假设写 L1.5，不要写 L1。

假设：不同源之间不存在量子关联，即 \(\rho_{\vec A\vec C}=\sum_\mu p_\mu\bigotimes_i\rho^\mu_{A_iC_i}\)。

然后加一句 Remark：这比通常网络文献采用的完全独立假设 L1 更弱，因为 \(k\)-producible 集合是凸的。这是相对 Sarkar 的一个可写的技术改进，也部分回应了他 Nat. Phys. Discussion 里的 open question 1。

明确写出假设非平凡的反例：若允许 \(A_1,A_2\) 之间直接共享 \(|\Phi^+\rangle\)（源之间的量子关联），中心方做乘积测量 \(M_c=|0\rangle\langle0|^{\otimes2}\) 也能让 \(J_c>0\)——假阳性。这一句能挡掉审稿人"你这个假设是不是可有可无"的质疑。
NS 出现在两个地方，各写一句：
\(p(c|\vec x)=p(c)\) 使 \(J_c\) 良定义、后选择合法；
外部方之间不通信，否则 \(S^{Q,*}_k\) 这个界失效。
待办：补 §10 那种 \(\varepsilon\)-独立的稳健性分析。

13. 一页速查¶

问题	一句话答案
NS 是什么？	边缘分布不依赖别人的输入
在量子力学里它是假设吗？	不是，是定理（张量积 + POVM 归一）
文献为什么老提它？	让 \(p(c)\) 良定义 / 划 DI 最外框 / 撇清超光速 / SDP 约束 / 数据自检 / 后选择合法性
NS 够不够刻画量子？	不够，PR box 满足 NS 但 CHSH\(=4>2\sqrt2\)
NS 能推出源独立吗？	不能。一个是对 \(P\) 的约束，一个是对因果结构的约束
三种"独立"是哪三种？	源之间 / 源与输入 / 轮次之间
什么时候可以放宽到"经典关联源"？	当你要排除的集合是凸的时候
\(k\)-producibility 属于哪种？	凸 ⟹ 可以放宽 ⟹ 你的判据只需 L1.5
bilocality 呢？	非凸，且其凸包 = 局域集 ⟹ 完全不能放宽
实验上最容易破坏源独立的是什么？	共用泵浦激光、共用时钟、共用随机数