[论文解读] Properties of the random seed input to Bell tests

Lê Phuc Thinh, Lana Sheridan+1 more|arXiv (Cornell University)|Apr 12, 2013

Physical Unclonable Functions (PUFs) and Hardware Security被引用 1

一句话总结

本文通过分析用于选择测量设置的随机种子的极小熵，研究了在贝尔测试中放宽测量独立性假设的影响。与先前假设为Santha-Vazirani源的模型相比，本文建立了显著更严格的种子极小熵下限，以认证量子或非局域行为，并提出了一种程序，用于推导在测量依赖性下结果概率分布的紧致边界。

ABSTRACT

Device independent protocols rely on the violation of Bell inequalities to certify properties of the resources available. The violation of the inequalities are meaningless without a few well-known assumptions. One of these is measurement independence, the property that the source of the states measured in an inequality is uncorrelated from the measurements selected. Since this assumption cannot be confirmed, we consider the consequences of relaxing it and find that the definition chosen is critically important to the observed behavior. Considering a definition that is a bound on the min-entropy of the measurement settings, we find lower bounds on the min-entropy of the seed used to choose the inputs required to deduce any quantum or non-local behavior from a Bell inequality violation. These bounds are significantly more restrictive than the ones obtained by endowing the seed with the further structure of a Santha-Vazirani source. We also outline a procedure for finding tight bounds and study the set of probabilities that can result from relaxing measurement dependence.

研究动机与目标

• 研究在设备无关贝尔测试中放宽测量独立性假设的后果。
• 识别测量依赖性定义的选择——特别是通过测量设置的极小熵定义——如何影响对量子行为和非局域行为的认证。
• 推导出确保能够检测到非局域性或量子行为的随机种子极小熵的下限。
• 将这些下限与在更强的Santha-Vazirani源假设下推导出的下限进行比较，揭示了新方法的显著更严格要求。
• 开发一种通用程序，用于计算与放宽测量独立性一致的概率分布的紧致边界。

提出的方法

• 通过限制测量设置的极小熵来建模测量依赖性，而非假设特定的源结构。
• 使用信息论工具，推导出为确保贝尔不等式违反意味着非局域性或量子行为，所需随机种子极小熵的下限。
• 应用一个形式化框架，表征在放宽测量独立性时可能出现的联合概率分布集合。
• 提出一种系统性程序，用于计算在测量依赖性下结果概率空间的紧致边界。
• 将推导出的边界与Santha-Vazirani模型下的边界进行比较，突出新方法的更高严格性。

实验结果

研究问题

• RQ1 当放宽测量独立性时，为认证非局域或量子行为，随机种子的最小极小熵要求是什么？
• RQ2 当通过测量设置的极小熵来定义测量依赖性时，与假设为Santha-Vazirani源相比，种子极小熵的边界有何不同？
• RQ3 在贝尔测试中放宽测量独立性后，可能产生的概率分布集合具有何种结构？
• RQ4 能否开发一种通用程序，用于计算与测量依赖性一致的概率的紧致边界？
• RQ5 测量依赖性定义的选择如何关键地影响贝尔测试中的观测行为？

主要发现

• 本文推导出的随机种子极小熵下限，显著比在Santha-Vazirani源假设下获得的下限更严格。
• 通过测量设置的极小熵来定义测量依赖性，可对系统施加更紧致且更符合物理意义的约束。
• 所提出的程序能够计算与放宽测量独立性一致的概率集合的紧致边界。
• 分析表明，测量依赖性定义的选择对贝尔测试中观测行为具有关键且非平凡的影响。
• 结果表明，即使与测量独立性存在微小偏离，若种子极小熵不高，也会严重限制非局域性的认证。
• 该框架允许系统性地探索测量依赖性下的概率空间，为稳健的设备无关协议提供了基础。