[論文レビュー] Applications of semi-definite optimization in quantum information protocols

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

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

ひとこと要約

本稿では、半定値計画法（SDP）をNPA階層を用いて、量子情報プロトコルの分析および設計に応用する。具体的には、ハーディーのパラドックスに基づく新規の量子鍵配送（QKD）プロトコル、ランダムネス拡張スキーム、およびデバイスインdependentなランダムネス増幅を含む。主な貢献は、半デバイスインdependentプロトコルにおける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）を計算的フレームワークとして用いて、量子情報プロトコルを調査すること。
• 半デバイスインdependent（SDI）およびデバイスインdependent（DI）量子プロトコルにおけるSDP緩和問題を解くために特化した数値実装を開発すること。
• 非局所相関に基づいて、特に量子鍵配送およびランダムネス拡張の新規量子プロトコルの分析および構築すること。
• 量子基礎および量子情報分野におけるSDP問題を解く実用的ツールを提供し、既存のソルバーと比較すること。
• NPA階層およびその緩和技術を用いて、量子確率分布の構造を調査すること。

提案手法

• ナヴァスキュエス＝ピロニオ＝アイン（NPA）法を用いて、量子相関の凸緩和を半定値計画問題として定式化する。
• 内点法を用いてSDP問題を解き、SeDuMi や SDPT3 といった標準的なソルバーを活用する。
• 量子確率分布をSDP制約の解としてモデル化することで、非局所性および情報理論的性質の分析を可能にする。
• SDIおよびDIプロトコルに生じるSDP問題を解くための独自の数値的ツールを開発し、収束性および精度に焦点を当てる。
• 解の品質および収束性を評価するために、フロベニウスノルムおよびプライマル／双対残差を用いる。
• 行列形式、対称クリロネッカー積、およびベクトル化技術を用いて、結合確率分布および制約を表現する。

実験結果

リサーチクエスチョン

• RQ1 半定値計画法をどのように用いることで、ハリーのパラドックスに基づく量子鍵配送プロトコルのセキュリティおよび性能を厳密に分析できるか？
• RQ2 量子系におけるランダムネス拡張の限界は何か？ また、SDPを用いてそれらをどのように定量的に評価できるか？
• RQ3 半デバイスインdependent量子プロトコルにおけるSDP緩和問題を体系的にどのように定式化できるか？
• RQ4 NPA階層は、デバイスインdependentな状況において、量子非局所性およびランダムネスを効果的に認証できるか？
• RQ5 SeDuMi や SDPT3 といった既存のツールと比較して、独自のSDPソルバーにはどのような実用的利点と制限があるか？

主な発見

• ハリーのパラドックスに基づく新規の量子鍵配送プロトコルをSDPを用いて定式化・分析し、非局所性制約下での実現可能性およびセキュリティを示した。
• SDPに基づく分析を通じて、複数の量子乱数生成拡張プロトコルが開発・検証され、より高い乱数生成レートを達成した。
• 本稿では、半デバイスインdependentプロトコルにおけるSDP緩和問題を解くための数値的ツールを成功裏に実装し、既存のソルバーと比較して競争力のある性能を示した。
• SDPフレームワークにより、量子確率分布が凸集合として特徴付けられ、NPA階層が次第にタイトな近似を提供することが可能になった。
• プライマルおよび双対残差の使用により、SDP最適化プロセスにおける収束性および解の品質を正確にモニタリングできた。
• 実装の結果、SDPは特にデバイスインdependentおよび半デバイスインdependentな状況において、量子情報プロトコルの分析に強力かつ実用的なツールであることが示された。