Randomness Certification and Trade-offs in the Prepare-and-Broadcast Scenario

技术摘要：准备-广播（Prepare-and-Broadcast）场景中的随机性认证与权衡

问题陈述
本文探讨了标准维度受限的准备-测量（prepare-and-measure, PAM）场景的局限性，在标准的 PAM 场景中，一个量子系统被传输给单个接收者。虽然 PAM 框架已成功表征了维度见证器（dimension witnesses）、量子随机访问码（QRACs）和非经典性，但它们并未考虑到编码在单个量子系统中的信息是如何在多个观测者之间分布的。作者研究了**准备-广播（Prepare-and-Broadcast, PAB）**场景，这是一个多部分扩展场景，其中准备好的量子系统通过广播信道分发给多个接收者（具体为 Bob 和 Charlie）。核心问题在于理解量子力学在信息于多个参与者之间共享时所施加的根本权衡，并开发一个在这一扩展因果结构内进行半设备无关（SDI）随机性认证的框架。

方法论
作者结合了几何分析、优化技术和半正定规划（SDP）松弛方法：

1. 场景定义： PAB 场景定义为 Alice 根据输入 $x$ 准备一个 $d$ 维系统（具体为比特，$d=2$）。该系统通过广播信道 $T$（经典、量子或无信号）产生 Bob（输出为 $y, b$）和 Charlie（输出为 $z, c$）的输出。观察到的统计特性为 $p(b, c|x, y, z)$。
2. 权衡分析： 作者分析了 PAM 见证器（边缘行为）与 Bell 非定域性（联合条件相关性）的共存情况。他们利用**支撑函数法（support-function method）**推导权衡曲线的下界，并利用 SDP 松弛（特别是文献 [29] 中的 $(1, 2)$ 层级）建立上界。
3. 随机性认证： 开发了一个半设备无关框架来限制对手（Eve）的猜测概率。
   • 经典侧信息： Eve 被建模为拥有与设备相关的经典隐变量 $\lambda$。通过将观察到的行为分解为与观察到的见证器值兼容的凸分支，可以对猜测概率进行界定。
   • 量子侧信息： 通过允许 Eve 通过等距映射（isometry）持有与测量设备相关的量子系统，增强了对抗模型，这代表了在 SDI 范畴内更强大的对手。
4. 优化： 认证过程涉及求解 SDP，在受观察到的见证器值（如 $S_3, S_4$ 或 $W_{PAB}$）和维度约束限制下，最大化 Eve 的猜测概率。

主要贡献与结果

1. 基本权衡：

   • PAM 与 Bell： 作者证明，虽然在 PAB 场景中 PAM 违背（量子通信优势）和 Bell 违背（非定域性）可以共存，但它们受到定量权衡的限制。增加 PAM 见证器值会降低可实现的最高 Bell 违背程度。
   • 接收者-接收者权衡： 在两个接收者的边缘 PAM 见证器之间存在更强的权衡。如果一个接收者违反了 PAM 见证器（例如 $S_4$），则另一个接收者无法同时违反相应的见证器。
   • 与克隆的联系： PAB 场景中 $2 \to 1$ QRAC 成功概率（$P_B, P_C$）的权衡曲线被证明与**最优非对称相位协变量子克隆（optimal asymmetric phase-covariant quantum cloning）**的边界完全一致。具体而言，$(P_B - 1/2)^2 + (P_C - 1/2)^2 = 1/8$。这表明 QRAC 的量子优势是不可共享的；如果一个接收者的表现超过经典极限（$3/4$），则另一个必然低于该极限。

2. PAM 中的随机性认证：

   • 作者分析了 $S_3$（三准备）和 $S_4$（四准备）见证器。
   • 他们发现 $S_3$ 见证器在特定的生成输入下在认证随机性方面更有效，能够在极大违背时认证一个完整的比特随机性。
   • 相反，$S_4$ 见证器虽然对 QRAC 任务是最优的，但在最优生成输入处存在偏差，限制了在该特定配置下可认证的随机性约为 0.228 比特。

3. PAB 中的随机性认证：

   • 利用 PAB 见证器 $W_{PAB}$（公式 11），作者展示了最大量子违背（$W_Q = 8 + 2\sqrt{2}$）可以为输出对 $(B, C)$ 认证两个比特的联合随机性。
   • 这一结果超过了标准 Bell 场景中基于 CHSH 不等式极大违背所能达到的约 1.23 比特的极限。
   • 该认证具有鲁棒性，比基于倾斜 Bell 不等式（tilted Bell inequalities）的协议能容忍更高的噪声水平。值得注意的是，即使在生成输入处的条件行为是 Bell 本地的，该认证依然可以实现两个比特的随机性，这依赖于维度约束和跨不同准备输入的关联。

4. 量子侧信息：

   • 论文将分析扩展到持有量子侧信息的对手。通过将广播信道建模为 Eve 保留互补输出的等距映射，作者推导出了对猜测概率的界限。
   • 结果表明，虽然量子侧信息相比于经典侧信息模型会降低可认证的随机性，但 PAB 框架仍然是针对量子对手进行 SDI 认证的可行设定。

意义与主张
本文声称，准备-广播场景为研究量子信息分布和非经典性提供了一个自然且强大的框架。其主要意义在于：

• 统一非经典性： 它揭示了通信优势（PAM）与非定域性（Bell）之间的定量权衡，并将其与量子克隆的基本极限联系起来。
• 增强随机性： 它证明了 PAB 场景可以比标准的 Bell（CHSH）方法认证更多的随机性（两个比特），同时对噪声具有鲁棒性，且无需实现完全的设备无关性。
• 对抗建模： 它为针对更强对抗模型（即窃听者保留量子侧信息）的 SDI 随机性认证提供了一个自然的设定，弥合了 PAM 与全量子网络场景之间的差距。

作者总结认为，这些发现为开发在标准准备-测量框架中不存在的半设备无关密码协议和信息处理任务开辟了道路。