Device-independent secure correlations in sequential quantum scenarios

想象你有一个能生成随机数的魔法盒子。在密码学世界中，这些随机数是守护秘密安全的钥匙。通常，要信任这个盒子，你必须打开它，检查内部的每一个齿轮和线路，以确保它没有作弊。这被称为“设备依赖”安全。

但如果你能在不打开盒子的情况下信任它呢？这就是设备无关（DI）安全的目标。你不需要检查齿轮，只需观察输出的数字。如果这些数字遵循量子物理中那些奇特且看似不可能的规则（具体来说，如果它们具有“非局域性”），那么即使你完全不了解盒子的工作原理，你也确知无人作弊。

然而，这里有一个陷阱。在大多数量子实验中，一旦你测量盒子内部的“魔法”，魔法就会消失。这就像为了检查里面的空气而戳破气球；一旦戳破，气球就不复存在。这意味着你只能从一个量子态中获取一组随机数，之后该态就被破坏了。

新构想：“轻柔触碰”测量

本文提出了一种巧妙的新方法，能在不戳破气球的情况下，从同一个量子态中提取更多随机性。

类比：硬捏与轻触
想象你有一只散发着微光的精致水母（即量子态），它藏着一个秘密。

旧方法（硬捏）： 在传统协议中，为了读取秘密，你必须用力捏住水母（即“投影测量”）。你获得了信息，但水母随之坍缩并死亡。游戏结束。
新方法（轻触）： 作者建议使用“轻柔触碰”（即“非投影测量”）。你轻轻拂过水母。你获得了一些信息，但水母幸存下来，依然保持着微光。因为它还活着，你可以将其传递给第二个人，从而从中获取更多信息。

协议如何运作

本文设定了一个包含三名玩家的游戏：Alice、Bob 1和Bob 2。

设置： Alice 和 Bob 1 共享一对纠缠的“魔法硬币”（即最大纠缠量子态）。
Bob 1 的回合： Bob 1 抛硬币决定如何测量。
- 如果他选择“硬捏”（投影测量），他会得到一个结果，但魔法随之消失。
- 如果他选择“轻触”（非投影测量），他会得到一个结果，但魔法态仅受到轻微扰动。随后，他将这个“依然发光”的态传递给 Bob 2。
Bob 2 的回合： Bob 2 接收来自 Bob 1 的态。由于 Bob 1 没有摧毁它，Bob 2 也可以对其进行测量，并获得自己的随机结果。

为何这是安全的？

本文证明，当他们使用这种“轻触”方法时，所得到的结果是极端的。

类比：独特的食谱
想象一位厨师声称拥有一份独特的汤谱。如果这份汤是“极端的”，意味着它无法通过混合其他更简单的食谱来制作。它是一种纯粹且独特的创造。

在量子世界中，如果关联性（即结果的模式）是“极端的”，就意味着黑客（Eve）无法通过声称“哦，我只是猜中了最可能的结果”来作弊。这些结果与量子物理定律有着如此独特的联系，以至于没有其他方法能产生它们。这保证了生成的随机性确实是随机的且安全的。

研究结果

作者测试了该游戏的两个具体版本（如同两种不同的食谱）：

序列 CHSH： 一个著名量子测试的变体。
一种新变体： 基于不同的数学设定。

他们发现：

更多随机性： 通过使用“轻触”并将态传递给第二个人，他们能认证的随机比特数多于仅在第一个人之后停止的情况。
鲁棒性： 即使系统中存在少量噪声（干扰），在许多情况下，这种方法的表现仍优于旧的“硬捏”方法。
最佳区间： “轻触”的强度存在一个“金发姑娘”区间（即恰到好处）。如果触碰太硬（像普通测量一样），态就会死亡；如果太软，则无法获得任何信息。存在一个完美的中间地带，能从中获取最多的随机性。

他们未声称的内容

重要的是要注意本文未声称的内容：

他们并未声称已制造出物理设备；这只是一个理论证明和数学食谱。
他们并未声称该方法在当前光子技术（光粒子）下能完美运行，因为在不破坏光子的情况下测量光是很困难的。他们建议转而研究基于物质的系统（如原子）。
他们并未声称这能一劳永逸地解决所有安全问题；他们特别指出，未来的工作需要研究噪声和现实世界的不完美如何影响该系统。

nutshell（核心总结）

本文提供了一套系统的“量子接力赛”食谱。他们展示了如何通过轻柔触碰将接力棒（即量子态）传递给第二名选手，而不是在第一名选手跑完（这会破坏量子态）后就停止比赛。这使得他们能够从同一量子资源中提取更多经过认证的安全随机性，而无需信任所用设备的内部机制。

技术摘要：序贯量子场景中的设备无关安全关联

问题陈述
设备无关（DI）量子信息协议仅基于观测到的测量结果和量子理论的有效性提供安全性，无需对设备的内部运作做出假设。虽然 DI 协议依赖量子非局域性（贝尔不等式违背）来认证安全性，但存在一个显著局限：标准协议通常采用秩一投影测量，这会完全破坏共享量子态的纠缠。这阻止了该状态在后续轮次中的复用，限制了随机数生成和密钥分发等协议的效率。尽管非投影测量（POVM）可以在后测量态中保留纠缠，从而实现多个观察者共享非局域性的序贯场景，但现有文献缺乏构建稳健的序贯 DI 协议的系统方法，也缺乏证明其安全性的通用框架。

方法论
作者提出了一种设计 DI 安全序贯量子协议的系统方法，该方法建立在通用的双分体自测试量子比特协议之上。方法论包含以下步骤：

序贯构建：从涉及最大纠缠量子比特态（ $|\phi^+\rangle$ ）和实观测量的标准双分体自测试协议出发，作者引入了一个涉及三方（Alice、Bob $_1$ 和 Bob $_2$ ）的序贯扩展。
非投影测量：将原始投影测量中的一个（具体为 $B'_0$ ）替换为由参数化强度参数 $\theta \in [0, \pi/4]$ 的 Kraus 算子定义的非投影 POVM。这一修改使得后测量态保持纠缠，并可传输给 Bob $_2$ 。
序贯测量方案：Bob $_1$ 执行非投影测量（输入 $y_1=0$ ）或投影测量（输入 $y_1=1$ ）。如果 $y_1=0$ ，后测量态被发送给 Bob $_2$ ，后者执行投影测量。
安全性证明框架：作者利用投影框架（通过 Stinespring 扩张）来描述序贯关联。他们证明，该构建产生的理想关联在序贯量子关联集（ $Q_{SEQ}$ ）中是极端的。这是通过证明这些关联饱和了由底层状态和测量的自测试性质导出的特定 Tsirelson 界来实现的。
熵分析：关联的极端性表明，最坏情况下的条件冯·诺依曼熵和量子最小熵分别简化为观测概率分布的经典香农熵和最小熵。这确保了任何窃听者（Eve）都无法获得超出猜测最可能结果的额外优势。

主要贡献

系统协议设计：本文提供了一种通用方案，通过将投影测量替换为非投影 POVM 并添加后续观察者，将双分体自测试协议转化为序贯协议。
解析安全性证明：作者解析地证明了该构建产生的理想关联是极端的。这保证了设备无关安全性，因为极端性意味着这些关联不能分解为有利于窃听者的其他策略的统计混合。
随机性认证：这项工作表明，在这些条件下，观测结果中存在的所有随机性均可被认证。量子最小熵被证明等于结果观测值的经典最小熵。
噪声鲁棒性分析：通过使用半定规划（SDP）和 Navascués-Pironio-Acin（NPA）层级进行数值模拟，作者分析了协议在去极化噪声下的性能。他们发现，虽然极端点（ $\theta = 0, \pi/4$ ）对噪声敏感，但 $\theta$ 的中间值即使在噪声条件下也能提供优于非序贯协议的稳健优势。

结果
本文提出了所提议序贯协议的两个具体示例：

序贯 CHSH：标准 CHSH 协议的序贯扩展。在理想情况下，对于中间 $\theta$ 值，最小熵约为 1.2 比特，冯·诺依曼熵约为 1.6 比特。
[26] 的序贯扩展：基于饱和特定界的贝尔表达式的协议。在理想条件下，对于 $\theta \in (0, \pi/4)$ ，该配置产生更高的随机性，其最小熵和冯·诺依曼熵均超过 2 比特。

数值结果表明，在存在去极化噪声的情况下，最佳强度参数 $\theta$ 会从极端值（$0 $和$ \pi/4$）偏移至中间范围，在此范围内，序贯方案仍保持对原始非序贯协议的微弱优势。

意义与主张
作者声称，这项工作为开发新的设备无关量子安全方案奠定了系统基础。通过证明关联的极端性，这项工作确保了生成的随机性得到完全认证，而无需依赖设备表征。作者强调，安全性明确依赖于 Bob $_1$ 和 Bob $_2$ 之间的序贯顺序，要求 Bob $_1$ 的测量结果必须在 Bob $_2$ 选择输入之前获得。

本文谦逊地指出，虽然理论框架是稳健的，但实际实施面临挑战，特别是关于基于物质的量子态或高效量子非破坏性测量的要求，因为具有树状结构的纯光子实现可能无法满足严格的序贯因果性要求。作者指出，研究对噪声和探测效率的鲁棒性，以及放宽独立同分布（i.i.d.）假设，是必要的未来工作。他们还建议了向更复杂场景的潜在扩展，例如增加序贯方的数量或利用非最大纠缠态。