[论文解读] Optimal robust quantum self-testing by binary nonlocal XOR games

Carl A. Miller, Yaoyun Shi|arXiv (Cornell University)|Jul 7, 2012

Quantum Computing Algorithms and Architecture被引用 27

一句话总结

本文提出一个简单准则，用于判断二元非局域XOR游戏是否能实现具有二阶误差项（O(√ε)）的最优鲁棒量子自测试。证明了CHSH游戏以及Acín等人提出的随机性生成游戏族均为最优鲁棒自测试，使设备无关的量子协议在容忍实验误差的同时，仍能保持安全性和随机性保证。

ABSTRACT

Self-testing a quantum device means verifying the existence of a certain quantum state as well as the effect of the associated measurements based only on the statistics of the measurement outcomes. Robust, i.e., error-tolerant, self-testing quantum devices are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted quantum devices. We give a criterion which determines whether a given binary XOR game is robust self-testing with the asymptotically optimal error parameter. As an application, we prove that the celebrated CHSH game is an optimally robust self-test. We also prove the same for a family of tests recently proposed by Acin et al. (PRL 108:100402, 2012) for random number generation, thus extending the benefit of the latter tests to allow imperfect or untrusted quantum devices.

研究动机与目标

• 开发一个通用且可检验的准则，用于判断二元非局域XOR游戏是否能实现具有最优二阶误差项（O(√ε)）的鲁棒自测试。
• 证明CHSH游戏是最优鲁棒自测试，改进了先前的误差界。
• 将最优鲁棒性扩展至Acín等人近期提出的用于量子随机性生成的一类非局域游戏。
• 基于多变量正弦函数及其Hessian矩阵，提供一个统一框架，用于分析量子非局域游戏中鲁棒自测试的性质。

提出的方法

• 作者定义了一个与二元XOR游戏f相关的多项式Pf，该多项式由游戏的计分函数导出。
• 他们将最优量子得分表示为一个多变量正弦函数Zf(θ1,…,θn)的最大值，推广了Werner和Wolf的构造。
• 通过分析Zf的局部与全局性质，特别是其在最大值点处的Hessian矩阵的非奇异性质，来确定鲁棒自测试。
• 该准则要求Zf的最大值在对称性下唯一，且在该最大值点处的Hessian矩阵为非奇异。
• 通过一个分解定理，将一般量子策略简化为n-qubit策略，从而可使用有限维希尔伯特空间分析。
• 通过将得分偏差ε与量子态及测量相对于目标配置的保真度关联，推导出鲁棒性界，得到O(√ε)的误差项。

实验结果

研究问题

• RQ1 能否提出一个简单且通用的准则，用于判断二元XOR游戏是否能实现具有O(√ε)误差的最优鲁棒自测试？
• RQ2 CHSH游戏是否为最优鲁棒自测试，并实现了最佳可能的误差标度？
• RQ3 Acín等人提出的用于随机性生成的非局域游戏是否也具备鲁棒自测试性质，并在实验噪声下仍保持其优势？
• RQ4 自测试的鲁棒性是否可完全由得分函数在最大值点处的Hessian矩阵确定？

主要发现

• CHSH游戏满足所提出的准则：其得分函数在对称性下具有唯一最大值，且在该最大值点处的Hessian矩阵为非奇异，确认其为最优二阶鲁棒自测试。
• Acín等人提出的α > 1的hα游戏族，用于随机性扩展，同样满足该准则，证明其为最优鲁棒自测试。
• 鲁棒性界为O(√ε)，这是在常数因子内最紧的误差标度，优于先前结果中O(ε^{1/4})或O(ε^{1/2})的误差项。
• 保真度界‖(U₁⊗⋯⊗Uₙ)Φ − χ⊗Γ‖ ≤ K√ε中的鲁棒性系数K可从函数Zf显式确定，从而可对游戏参数进行优化。
• 该分析确认3-玩家GHZ游戏同样是最优鲁棒自测试，与先前结果一致，但现通过新准则得以证明。
• 该框架统一并推广了现有自测试结果，将其简化为对得分函数Hessian矩阵的解析条件，从而可系统性地发现新的最优自测试。