[论文解读] Robust Device Independent Randomness Amplification

Ravishankar Ramanathan, Fernando G. S. L. Brandão+4 more|arXiv (Cornell University)|Aug 21, 2013

Quantum Mechanics and Applications参考文献 17被引用 10

一句话总结

本文提出了一种设备无关的随机性放大协议，利用四者贝尔不等式的违反和XOR哈希，将任意偏倚的Santha-Vazirani（SV）随机源转化为近乎均匀的随机比特。该协议对噪声具有鲁棒性，可容忍量子设备中的恒定误差率，并在仅依赖无信号原理和观测统计量的前提下，以 $ O(\log(1/\varepsilon^\prime)) $ 个非信号设备实现 $ \varepsilon^\prime $-接近均匀的输出。

ABSTRACT

In randomness amplification a slightly random source is used to produce an improved random source. Perhaps surprisingly, a single source of randomness cannot be amplified at all classically. However, the situation is different if one considers correlations allowed by quantum mechanics as an extra resource. Here we present a protocol that amplifies Santha-Vazirani sources arbitrarily close to deterministic into fully random sources. The protocol is device independent, depending only on the observed statistics of the devices and on the validity of the no-signaling principle between different devices. It improves previously-known protocols in two respects. First the protocol is tolerant to noise so that even noisy quantum-mechanical systems give rise to good devices for the protocol. Second it is simpler, being based on the violation of a four-party Bell inequality and on the XOR as a hash function. As a technical tool we prove a new de Finetti theorem where the subsystems are selected from a Santha-Vazirani source.

研究动机与目标

• 为解决在无信号攻击者存在下，从单一源安全地放大弱随机性的根本挑战。
• 通过利用量子非局域性作为资源，克服经典随机性放大的不可能性。
• 设计一种对噪声具有容忍能力的协议，从而实现与噪声量子设备的实用化部署。
• 通过使用四者贝尔不等式和XOR哈希，而非复杂函数或更高阶不等式，简化先前的协议。
• 建立一个专为Santha-Vazirani源设计的新de Finetti定理，以支持在随机性受限条件下对设备无关协议的分析。

提出的方法

• 协议使用 $ k $ 个非信号设备的序列，每个设备接收来自Santha-Vazirani源的输入，并产生输出，这些输出通过贝尔不等式违反情况进行测试。
• 采用XOR函数作为哈希，从输出中提取单个最终比特，确保在无信号假设下实现均匀性。
• 该协议基于四体贝尔不等式的违反，相较于先前工作中使用的五体不等式，更具实验可行性。
• 关键技术组件是针对从SV源中选取的系统所建立的新de Finetti型定理，使在随机性受限条件下分析独立同分布行为成为可能。
• 协议包含一个基于观测相关性的统计测试，通过测试可确保输出以高概率接近均匀。
• 通过证明在具有 $ \operatorname{poly}(1-2\varepsilon) $ 误差率的四量子比特纠缠态的多副本上进行单量子比特测量时，协议以高概率不会中止，从而实现对噪声的容忍。

实验结果

研究问题

• RQ1 是否可以在设备无关的前提下实现随机性放大，且对量子系统中的噪声具有鲁棒性？
• RQ2 是否可以通过减少贝尔不等式中参与方的数量，简化现有协议？
• RQ3 能否为从Santha-Vazirani源中选取的子系统建立de Finetti定理，以支持集体行为的分析？
• RQ4 该协议在敌方进行一般相干攻击时是否仍能保持安全性和正确性？
• RQ5 该协议能否扩展至适用于其他类型的弱随机性源，如min-entropy源？

主要发现

• 协议以高概率生成一个 $ \varepsilon^\prime $-接近均匀的最终比特，仅需 $ O(\log(1/\varepsilon^\prime)) $ 个非信号设备。
• 协议对噪声具有鲁棒性：在具有 $ \operatorname{poly}(1-2\varepsilon) $ 误差率的四量子比特纠缠态多副本上进行单量子比特测量时，协议以高概率不会中止。
• 协议基于四者贝尔不等式，相较于先前的五者协议，更为简洁且更具实验可行性。
• 分析依赖于为Santha-Vazirani源建立的新de Finetti定理，该定理允许在无信号假设下对非均匀结果的概率进行界定。
• 协议的正确性通过鞅集中不等式得到证明，表明当观测相关性与量子非局域性一致时，测试以高概率通过。
• 即使初始源几乎完全确定（只要 $ \varepsilon > 0 $），协议仍能实现随机性放大。