[论文解读] Quantum Information Processing with Adversarial Devices

Matthew McKague|arXiv (Cornell University)|Jun 11, 2010

Quantum Information and Cryptography参考文献 55被引用 13

一句话总结

本文提出了一套在黑箱设置下验证量子装置的框架，其中通过统计关联对不可信的物理设备进行测试，而无需假设其内部工作机制。该框架利用CHSH不等式建立了对量子电路和量子态的鲁棒自测试协议，证明了器件无关量子密钥分发的安全性，并仅基于测量统计量提供了对态保真度的紧致界。

ABSTRACT

We consider several applications in black-box quantum computation in which untrusted physical quantum devices are connected together to produce an experiment. By examining the outcome statistics of such an experiment, and comparing them against the desired experiment, we may hope to certify that the physical experiment is implementing the desired experiment. This is useful in order to verify that a calculation has been performed correctly, that measurement outcomes are secure, or that the devices are producing the desired state.

研究动机与目标

• 开发一种仅通过观测统计量来验证不可信物理设备执行的量子计算正确性的方法。
• 将自测试技术从实希尔伯特空间扩展到复希尔伯特空间，以实现对具有复测量的量子门和电路的验证。
• 仅使用CHSH关联值，提供对纠缠态保真度的稳健且具有操作意义的边界。
• 通过减少关于设备内存和结构的假设，加强器件无关量子密钥分发（DIQKD）的安全性证明。
• 仅通过单一可观测量——CHSH值——对高质量最大纠缠量子比特对进行表征，而无需访问设备内部结构。

提出的方法

• 采用黑箱模型，将设备视为不可信的盒子，通过统计关联分析其输入输出行为。
• 引入模拟方法，复现目标实验的相同统计特性，但不与之同构，从而揭示设备验证约束的局限性。
• 应用自测试技术通过将观测结果与参考电路比较来验证量子电路，使用酉变换和局部基变换。
• 将CHSH不等式作为核心工具，用于表征纠缠态，将最大CHSH值与保真度度量联系起来。
• 通过凸组合的qubit边界并利用保真度函数在CHSH空间中的凹性，推导出保真度边界。
• 将DIQKD协议的安全性分析简化为对称qubit策略，并使用参数估计来界定条件熵。

实验结果

研究问题

• RQ1 我们能否仅通过统计关联来验证在不可信设备上实现的量子电路的正确性？
• RQ2 如何将自测试从实希尔伯特空间扩展到复希尔伯特空间，以验证具有复酉门的电路？
• RQ3 证明器件无关量子密钥分发安全性所需的最小假设集是什么？
• RQ4 能否仅使用CHSH值而无需了解设备内部结构来认证两体量子态的质量？
• RQ5 在观测到的CHSH值下，对保真度度量（例如 $F_{LOCC}$、$F_{LO}$）的最紧可能下界是什么？

主要发现

• 推导出LOCC保真度的新边界：$F_{LOCC}\left(\rho\right) \geq \frac{S_{\text{max}}\left(\rho\right) + 2\sqrt{2} - 4}{4\left(\sqrt{2} - 1\right)}$，该边界猜想为紧致，并由贝尔态与产品态的混合态实现饱和。
• 建立了 $F_{LO}$ 的边界：$F_{LO}\left(\rho\right) \geq \frac{S_{\text{max}}\left(\rho\right) - 2}{2\left(\sqrt{2} - 1\right)}$，但猜想该边界不紧，因为存在针对 $F_{MY}$ 的更高下界。
• 本文证明了Mayers-Yao自测试可扩展至复希尔伯特空间，并提出一种验证复测量的测试方法。
• 在更少假设下证明了AMP06 DIQKD协议的安全性，包括简化为对称qubit策略和条件熵的估计。
• 分析表明，仅通过输入输出统计量即可实现对量子电路的鲁棒自测试，即使设备为敌意情形亦成立。
• 本工作表明，仅通过CHSH值即可对高保真度最大纠缠量子比特对进行认证，保真度边界通过qubit边界的凸分析推导得出。