[论文解读] Applications of semi-definite optimization in quantum information protocols

Piotr Mironowicz|arXiv (Cornell University)|Oct 11, 2018

Quantum Mechanics and Applications参考文献 6被引用 5

一句话总结

本文通过NPA层级方法将半定规划（SDP）应用于分析与设计量子信息协议，包括基于Hardy佯谬的新型量子密钥分发协议、随机性扩展方案以及设备无关的随机性放大。主要贡献在于开发了一套针对半设备无关协议的SDP松弛数值工具，实现了对量子非定域性和信息论安全性的严格分析。

ABSTRACT

This work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information science. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter 1 a brief overview of mathematical methods used in this work is presented. In chapter 2 an introduction to quantum information science is given. Chapter 3 concerns the device-independent (DI) and semi-device-independent (SDI) approaches in quantum cryptography. In chapter 4 our results regarding quantum information protocols which we developed using SDP are described. The results include a new type of quantum key distribution protocol based on Hardy's paradox; several protocols for quantum random number expansion; a method of formulation of SDP relaxations of SDI protocols; and a DI Santha-Vazirani source of randomness amplification protocol. In chapter 5 an introduction to interior point methods is given. In chapter 6 the implementation of our numerical tool dedicated to problems occurring in chapter 4 are discussed and compared with other solutions.

研究动机与目标

• 利用半定规划（SDP）作为计算框架，研究量子信息协议。
• 开发针对半设备无关（SDI）和设备无关（DI）量子协议中SDP松弛问题的数值实现。
• 基于非定域关联，分析并构建新型量子协议，特别是量子密钥分发和随机性扩展。
• 提供一种实用工具，用于求解量子基础与量子信息中出现的SDP问题，并与现有求解器进行对比。
• 探索使用NPA层级及其松弛技术对量子概率分布结构的分析。

提出的方法

• 采用Navascues-Pironio-Acín（NPA）方法，将量子关联的凸松弛形式化为半定规划问题。
• 应用内点法求解SDP问题，利用SeDuMi和SDPT3等标准求解器。
• 将量子概率分布建模为SDP约束的解，从而实现对非定域性和信息论性质的分析。
• 开发一种自定义数值工具，用于求解SDI和DI协议中出现的SDP问题，重点关注收敛性与精度。
• 使用Frobenius范数及原始/对偶残差评估SDP松弛中解的质量与收敛性。
• 采用矩阵形式、对称Kronecker积及向量化技术，表示联合概率分布与约束条件。

实验结果

研究问题

• RQ1 如何利用半定规划严格分析基于Hardy佯谬的量子密钥分发协议的安全性与性能？
• RQ2 量子系统中随机性扩展的极限是什么？SDP如何用于量化这些极限？
• RQ3 如何系统地为半设备无关量子协议制定SDP松弛？
• RQ4 NPA层级能否有效实现设备无关场景中量子非定域性与随机性的认证？
• RQ5 与成熟的工具如SeDuMi和SDPT3相比，自定义SDP求解器在实际应用中具有哪些优势与局限？

主要发现

• 基于Hardy佯谬的新型量子密钥分发协议通过SDP方法被形式化并分析，证明其在非定域性约束下具备可行性与安全性。
• 通过基于SDP的分析，开发并验证了多个用于量子随机数扩展的协议，显示出更高的随机性生成速率。
• 本文成功实现了用于求解半设备无关协议SDP松弛的数值工具，在性能上与现有求解器相比具有竞争力。
• SDP框架使得量子概率分布可被表征为凸集，而NPA层级提供了逐步收紧的近似。
• 通过使用原始与对偶残差，能够准确监控SDP优化过程中的收敛性与解的质量。
• 实现结果表明，SDP是分析量子信息协议（尤其是在设备无关与半设备无关场景下）一种强大且实用的工具。