[論文レビュー] 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リ relaxationsと階層が、エンタングルメント、非局所性、量子通信、ネットワーク、暗号にまたがる量子相関を特徴づける方法の総合的なレビュー。

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.

研究の動機と目的

• 量子情報におけるsemidefinite programmingの基本とその役割を紹介する。
• 量子相関に適用可能なSDPリ relaxations階層の一般フレームワークを提示する。
• エンタングルメント理論、非局所性、デバイス独立シナリオにおけるSDP手法を論じる。
• 量子通信、ランダム性、量子暗号におけるSDP応用を説明する。
• SDPアプローチの実装ガイダンスとソフトウェア資源を提供する。

提案手法

• SDP原始形式と双対形式および強双対性の条件を説明する。
• 多項式および非可換多項式最適化技法（モーメント法と和的平方分解アプローチ）を概説する。
• エンタングルメントおよび非局所性階層（Doherty–Parrilo–Spedalieri；Navascués–Pironio–Acín）を紹介する。
• SDPリ relaxationsによるデバイス依存・デバイス非依存証明を説明する。
• ネットワークへの適用を inflation技術および関連するリ laxationsを用いて説明する。
• 実装ガイダンスと公開SDPソルversおよびソフトウェアへのリンクを提供する。

実験結果

リサーチクエスチョン

• RQ1 SDPリ laxationsはさまざまなシナリオにおける量子相関集合をどのように近似できるか。
• RQ2 エンタングルメント、非局所性、ネットワークにおいて、NPA、DPS、inflationなどの階層は量子集合へ収束する列を提供するのか。
• RQ3 SDPツールを用いてデバイス依存・デバイス非依存設定でエンタングルメント、次元、非局所性を証明できるのか。
• RQ4 量子通信と暗号化タスクにSDPリ relaxationsを適用する際の実務的計算戦略と制限は何か。
• RQ5 双対形式はエンタングルメント証明やベll不等式などの量子性質の証観と界をどのように提供するのか。

主な発見

• SDPリ relaxationsは難解な量子相関問題に対して扱いやすい外部近似を提供し、無限大の極限で正確解へ収束することがある。
• エンタングルメント、ステアリング、非局所性はDPSおよびNPAなどのSDP階層で研究でき、双対は証明器と不等式を生み出す。
• SDP手法はデバイス非依存の証明、エンタングルメント次元検査、通信・暗号分野の量子情報タスクを可能にする。
• ネットワークへの適用はinflation技術および関連するSDPリ laxationsを通じて拡張され、複雑な因果構造の解析を可能にする。
• 実務的なガイダンス（ソルバ推奨やソフトウェアパッケージを含む）を提供して、これらのSDPアプローチを実装する。