有界经典通信下能否认证测量不相容性？

联合最大泄漏衡量共同解释所需的信息量

论文提出的问题，一旦允许经典消息，普通贝尔检验就无法回答。在测量选择独立且无通信的贝尔实验中，任一侧的相容测量都会给出局域隐变量模型，因此贝尔不等式违反就排除了相容性。若允许经典消息，接收方可以获知发送方输入并据此选择测量或产生输出，即使测量相容，贝尔不等式的局域界也不再必然成立。

所提出的检验绕开了这一点，转而追问：一个共同的经典解释必须携带多少关于发送方输入 x 的信息。共同经典模拟把 x 编码进有限随机变量 Z，再通过响应信道生成结果 b，即 p(b|x,y) = Σ_z q(z|x) p_B(b|y,z)。量 Λ(q) := Σ_z max_x q(z|x) 等于 N 乘以已知 Z 时 X 的最优猜测概率，也等于 2^{L_max(X→Z)}，即最大泄漏的指数。

由于不同的联合分布可以复现相同的观测边缘分布，却泄露关于 x 的不同信息量，论文在所有边缘分布与 p(b|x,y) 一致的联合分布 q(s|x) 上最小化该量。结果就是联合最大泄漏 log2 Λ∪(p)，其中“联合”指同时解释所有接收方设置，而非逐个设置。它由线性规划从观测概率计算得到，无需重建态或测量算符。

相容测量无法超过消息字母表规模

定理 2.1(i) 指出，在任何非信号操作理论中，相容的接收方测量满足 Λ∪(p) ≤ N P_g(X|B)，其中 B 是接收方在通信之后、选择测量设置 y 之前所持有的一切。对经典通信情景，N P_g(X|B) ≤ |M|，即消息字母表的大小；对维度为 d 的传输量子系统，界在可分离共享态下为 d，在任意共享态下为 d²。经典情形允许任意非信号辅助。

直觉是：若接收方的测量对每个消息取值都相容，则消息与相应父测量结果一起构成 B 上的一个父测量，从该结果猜测 X 不会优于 B 上的最优测量。对 k 个定长比特，|M| ≤ 2^k，当允许所有比特串时取等号。字母表大小不必是 2 的幂：三个可能消息给出阈值三，尽管其二进制编码需要两个比特。

定理 2.1(ii) 给出反向结论。对每个条件分布 p，在满足单向通信假设、使用某种非信号共享资源和相容接收方测量的实现中，最小消息字母表规模恰好是 ⌈Λ∪(p)⌉。因此，同一个量既界定了相容解释，也确定了复现观测所需的最小经典通信量。达到该最小值的实现能复现 p(b|x,y)，但可能使用不同的共享资源和发送方编码。

共享随机性与可分离态无法突破该界

一个自然的规避途径是让共享资源承担部分解释。引理 2.2 在论文假设下堵住了这条路：以共享随机性或可分离量子态作为初始资源的协议满足 Λ∪(p) ≤ |M|。证明把共享随机性协议写成关于隐变量 λ 的凸组合，在给定 (m, λ) 下对每个接收方设置独立采样一个结果，并利用“和的最大值不超过最大值之和”这一事实。

可分离态继承同一界，因为乘积态的有限混合具有相同的经典形式，而每个可分离态都可在迹范数下由这类混合逼近。协议固定后，每个结果概率收敛到原态的值，而有限多个确定性协议的凸包是闭集，因此极限分布也有经典模型。

结论很尖锐：任何使用共享随机性的精确单向经典模拟，都需要消息至少具有 ⌈Λ∪(p)⌉ 个可能取值，即 ⌈log2 Λ∪(p)⌉ 个定长比特。在量子理论中，违反该界还意味着初始共享态是纠缠的，而这一结论不要求接收方测量相容。

固定量子资源恰在贝尔非局域可用时违反

上述界关注相容测量能达到什么。另一个问题是：给定共享量子态和一组接收方测量，是否存在某种发送方操作选择能使检验被违反。定理 3.1 精确回答：对固定的共享量子态和接收方测量，违反可能发生，当且仅当对某个消息取值，接收方测量在该态上与双结果发送方测量构成贝尔非局域。

这一刻画有双重作用。它既指出检验能探测哪些固定量子资源，也标出定理所规定操作下检验的极限。已知的贝尔非局域族因此能带来超越成对的探测，这一联系也解释了为何检验包含标准的两输入比特、一通信比特随机访问证书：在输入均匀选取时，该证书相容性界的每一次违反也会被联合泄漏判据探测到。

论文明确指出，使用任意非信号资源的自由对模拟结果很重要。存在一些概率，它们可用共享纠缠和一个经典比特达到，满足 Λ∪(p) = 2，却需要三个消息取值才能实现相容的量子实现，即使共享态可自由选择。因此，把相容解释限制到量子资源可能要求更多通信，即便对允许量子实现的概率也是如此，而把这一限制纳入可处理的更强检验仍是开放问题。

二值接收结果把违反转化为私有随机性

对二值接收结果，论文表明违反还认证了相对发送方私有的随机性，即使接收方测量依赖发送方消息、且发送方保留量子边信息。隐私通过形如 [Λ∪(p_B) − |M|]_+ 的显式条件熵界来量化，其中 p_B(b|x,y) = Σ_m p(m,b|x,y)，熵仍以公开消息为条件。原始输出不必均匀；从多个输出中提取是下一步。

证明把实验与一个假想测量作比较：该测量顺序执行所有接收方测量并记录其结果。这为每个消息定义一个父测量，因而服从相容性界。违反会迫使这一顺序构造产生扰动，证明将其与对手持有纯化时剩余的输出不确定性联系起来。

该保证只针对接收方输出，而非共享密钥。在接收方不可信的量子密钥分发中，有效接收方测量（包括其前置信道）的相容性，使得仅凭观测统计无法认证密钥。此处的私有随机性结果并不建立共享密钥，后者需要单独的协议与安全性分析。

熵累积使保证在多轮之间可组合

把单轮熵界变成可用的私有比特还需要两个要素。广义熵累积把单轮冯诺依曼熵界与完整输出序列的平滑条件最小熵联系起来，即使设备记忆使不同轮次相关。针对量子边信息的隐私放大随后用独立公开随机性选取的哈希函数，把输出序列映射为更短的比特串。

协议在收集数据之前固定见证系数。对 L 轮中每轮独立均匀输入，轮得分是 S_i = Nn w_{X_i Y_i M_i B_i}，若平均得分达到阈值 w_0 则接受，否则中止。联合泄漏线性规划的对偶给出系数 w_{xymb}，满足对每个 p 都有 W(p) = Σ w_{xymb} p(m,b|x,y) ≤ Λ∪(p) − |M|，且相容性界的每次违反都存在这样的见证使 W(p) > 0。

推论 4.2 指出，对足够大的 L，存在固定输出长度 ℓ ≥ L r(w_0) − O(√L)，速率 r(w_0) = 1 − h_2(1/2 + 2w_0 / (Nn(n−1)))。O(√L) 中的常数只依赖固定字母表、系数、接受阈值和 ε，不依赖设备维度。提取出的串与独立于对手和公开记录的均匀串之间满足可组合距离界 ε，次归一化按接受概率对距离加权。

两个条件界定了这在实践中的含义。接收方的记忆和未公开原始数据必须对对手不可访问，输入和哈希种子需要独立随机性，因此这不是净随机性扩张的声明。公开记录可能包含每个元组 (x,y,m,b) 的聚合计数，这些计数泄露的关于输出的信息已在有限尺寸修正中计入。

该检验认证不相容性，而非一切量子优势

论文把联合最大泄漏与需要量子描述的信息论不相容性检验作了对比。Zhu 的判据把关于量子态参数的 Fisher 信息与量子估计理论的界作比较，相关判据则使用测量算符的性质，或在条件量子态、测量和仪器上评估信息量。这些方法需要指定的态估计模型或测量算符。联合泄漏检验则在量子描述不可得、但经典通信可被界定时，直接从 p(b|x,y) 出发，且发送方输入 x 是经典标签，不必参数化已知的量子态族。

与制备-测量工作的比较也很具体。对 N 个均匀分布输入，在复现 p 的经典模型上最小化接收方最优猜测概率得到 Λ∪(p)/N，早先的线性规划判定在给定猜测概率界下这样的模型是否存在。联合泄漏表述通过直接在联合结果分布上优化而使用更少变量，并借助通信模型把该量变成不相容性检验，因此猜测概率无需另行假设或估计。

解释取决于允许哪些共享资源。在共享随机性下，所需经典消息取值数通过信号维度研究，对单个接收方设置，⌈Λ∪(p)⌉ 是该数的最大似然下界。在任意非信号辅助和相容接收方测量下，定理 2.1(ii) 使该界可达，包括存在多个设置时。若去掉相容性要求，模拟判据分别界定每个接收方设置的通信值；相容性则要求在同一通信界内对所有设置作共同模拟。

决定性比较是 Λ∪(p) 与消息字母表之间

这篇论文的实用读法归结为一个比较。用线性规划从观测概率计算 Λ∪(p)，再与实验实际允许的消息取值数比较。若 Λ∪(p) ≤ |M|，则每个消息下的相容测量可以解释数据，得不到不相容性证书。若 Λ∪(p) > |M|，则至少一个消息取值下的相容性被排除，且在量子理论中初始共享态是纠缠的。

两个特点使这一比较比单纯的违反标记更有信息量。第一，同一个量在两个方向上都是紧的：它是在任意非信号辅助下相容解释所需的最小经典通信量，因此 Λ∪(p) 与 |M| 之间的差距衡量数据超出相容测量可解释范围的程度。第二，贝尔非局域刻画告诉读者，固定量子态和接收方测量何时才能产生这一差距，即恰在双结果发送方测量能与接收方某一测量族构成贝尔非局域时。

需要留意的边界是资源模型。精确模拟结果允许任意非信号资源，而把相容解释限制到量子资源可能要求更多通信，即便对允许量子实现的概率也是如此。对二值接收结果，违反还给出条件熵界，并通过熵累积和隐私放大，为带记忆设备提供可组合随机性提取，但仅在所述隔离和独立随机性条件下成立，且不声称共享密钥或净随机性扩张。

本文引用的文献