[论文解读] Universal security for randomness expansion from the spot-checking protocol

Carl A. Miller, Yaoyun Shi|arXiv (Cornell University)|Nov 24, 2014

Quantum Mechanics and Applications参考文献 28被引用 7

一句话总结

本文建立了使用点检协议进行随机性扩展的通用安全条件，证明了只要贝尔不等式违反达到特定阈值，即可保证量子安全的随机性。论文提出了一种基于Schatten范数和一致凸性的新型不确定性原理，将CHSH博弈的抗噪能力从1.5%提升至10.3%，并首次将安全性扩展至Kochen-Specker不等式。

ABSTRACT

Colbeck (Thesis, 2006) proposed using Bell inequality violations to generate certified random numbers. While full quantum-security proofs have been given, it remains a major open problem to identify the broadest class of Bell inequalities and lowest performance requirements to achieve such security. In this paper, working within the broad class of spot-checking protocols, we prove exactly which Bell inequality violations can be used to achieve full security. Our result greatly improves the known noise tolerance for secure randomness expansion: for the commonly used CHSH game, full security was only known with a noise tolerance of 1.5%, and we improve this to 10.3%. We also generalize our results beyond Bell inequalities and give the first security proof for randomness expansion based on Kochen-Specker inequalities. The central technical contribution of the paper is a new uncertainty principle for the Schatten norm, which is based on the uniform convexity inequality of Ball, Carlen, and Lieb (Inventiones mathematicae, 115:463-482, 1994).

研究动机与目标

• 确定最广泛的贝尔不等式类别及确保随机性扩展协议完全量子安全的最低性能阈值。
• 在现有协议中提升抗噪能力，特别是将CHSH博弈的抗噪能力超越此前1.5%的限制。
• 将安全证明从贝尔不等式扩展至其他非定域性检验，例如Kochen-Specker不等式。
• 基于Schatten范数和一致凸性，开发一种用于分析设备无关随机性的新型不确定性原理。
• 在对设备行为假设最少的前提下，建立一个通用的可信赖随机性扩展框架。

提出的方法

• 采用点检协议框架，通过重复应用固定贝尔不等式并使用偏斜输入分布，以最小化种子使用量。
• 应用基于Ball、Carlen和Lieb的一致凸不等式推导出的新不确定性原理，特别针对Schatten p-范数进行定制。
• 分析设备输出在量子对抗系统条件下的平滑最小熵，以限制可预测性。
• 构建显式的反事实设备，以测试安全边界紧密性，并验证所推导条件的必要性。
• 采用Rényi熵技术与量子安全随机提取器，将原始输出转换为均匀随机字符串。
• 证明：只要设备在特定游戏中得分超过某一阈值，无论其内部设计如何，都必然生成经认证的随机性。

实验结果

研究问题

• RQ1 哪些贝尔不等式违反足以保证随机性扩展中的完全量子安全性？
• RQ2 在完全量子安全条件下，CHSH博弈的最大抗噪能力是多少？
• RQ3 能否为基于Kochen-Specker不等式的随机性扩展建立安全性证明，而不仅限于贝尔不等式？
• RQ4 设备在点检协议中生成经认证随机性的最低性能阈值是什么？
• RQ5 如何构建一种通用不确定性原理，以分析来自非定域性博弈的设备无关随机性？

主要发现

• 本文确立了随机性扩展中的通用安全条件：任何超过特定阈值的贝尔不等式违反均可保证完全量子安全。
• 对于CHSH博弈，抗噪能力从1.5%提升至10.3%，显著增强了实际可行性。
• 首次建立了基于Kochen-Specker不等式的随机性扩展安全性证明，拓展了设备无关随机性的适用范围。
• 基于Schatten范数和一致凸性的新型不确定性原理，构成了证明结果的核心技术工具。
• 该框架支持超线性随机性扩展，仅需极少初始种子输入，通过使用偏斜输入分布降低了初始随机性需求。
• 结果具有鲁棒性：即使某些设备看似超越经典极限，若存在信息泄露，仍可能无法生成随机性，而本框架可检测此类情况。