[论文解读] Semidefinite programming relaxations for quantum correlations

Armin Tavakoli, Alejandro Pozas-Kerstjens+2 more|arXiv (Cornell University)|Jul 5, 2023

Quantum Information and Cryptography被引用 8

一句话总结

对半正定规划（SDP）松弛与层次在刻画量子相关性方面的综合评述，涵盖纠缠、非定域性、量子通信、网络与密码学。

ABSTRACT

Semidefinite programs are convex optimisation problems involving a linear objective function and a domain of positive semidefinite matrices. Over the last two decades, they have become an indispensable tool in quantum information science. Many otherwise intractable fundamental and applied problems can be successfully approached by means of relaxation to a semidefinite program. Here, we review such methodology in the context of quantum correlations. We discuss how the core idea of semidefinite relaxations can be adapted for a variety of research topics in quantum correlations, including nonlocality, quantum communication, quantum networks, entanglement, and quantum cryptography.

研究动机与目标

• 介绍半正定规划基础及其在量子信息中的作用。
• 给出适用于量子相关性的 SDP 松弛层次的一般框架。
• 讨论在纠缠理论、非定域性和设备独立场景中的 SDP 方法。
• 解释 SDP 在量子通信、随机性与量子密码学中的应用。
• 提供实现 SDP 方法的实用指南与软件资源。

提出的方法

• 描述 SDP 原问题与对偶问题的形式及强对偶性的条件。
• 概述多项式与非交换多项式优化技术（矩、和平方和方法）。
• 介绍纠缠与非定域性层次（Doherty–Parrilo–Spedalieri；Navascués–Pironio–Acín）。
• 通过 SDP 松弛在设备无关与半设备无关认证中的应用。
• 将 SDP 框架应用于通过膨胀技术等相关松弛分析网络。
• 提供实现指南并给出公开 SDP 求解器与软件的链接。

实验结果

研究问题

• RQ1 SDP 松弛如何在各种情景中近似量子相关性的集合？
• RQ2 哪些层次（如 NPA、DPS、膨胀）在纠缠、非定域性与网络中对量子集合给出收敛序列？
• RQ3 如何利用 SDP 工具在设备相关与设备无关场景中证明纠缠、维度与非定域性？
• RQ4 将 SDP 松弛应用于量子通信与密码任务时的实际计算策略与局限性是什么？
• RQ5 对偶形式如何产出证据与界限，用于量子特性如纠缠证据与贝尔不等式？

主要发现

• SDP 松弛为困难的量子相关性问题提供可处理的外部近似，在无限极限可收敛到精确解。
• 可通过 DPS 与 NPA 等 SDP 层次研究纠缠、量推挤与非定域性，且对偶可给出证据与不等式。
• SDP 方法使得设备无关认证、纠缠维度测试以及通信与密码学中的量子信息任务成为可能。
• 通过膨胀技术及相关 SDP 松弛，框架可扩展至网络，对复杂因果结构进行分析。
• 提供包括求解器推荐与软件包在内的实用指南，帮助实现这些 SDP 方法。