[論文レビュー] Semidefinite programs for completely bounded norms

John Watrous|ArXiv.org|Jan 29, 2009

Advanced Optimization Algorithms Research参考文献 29被引用数 38

ひとこと要約

本稿では、完全有界トレースノルムおよびスペクトルノルムが、半定値計画法（SDP）を用いて効率的に計算可能であることを示しており、双対性による証明を伴う多項式時間アルゴリズムを提供する。主な貢献は、量子情報理論においてチャネルの区別可能性や誤り訂正を定量化するために中心的な役割を果たすこれらのノルムを、証明可能に効率的かつ実装可能な方法で計算する手法が得られたことである。

ABSTRACT

The completely bounded trace and spectral norms in finite dimensions are shown to be expressible by semidefinite programs. This provides an efficient method by which these norms may be both calculated and verified, and gives alternate proofs of some known facts about them.

研究の動機と目的

• 完全有界トレースノルムおよびスペクトルノルムの計算に対して、証明可能に効率的な手法を提供すること。これらは量子情報理論において不可欠な役割を果たす。
• 従来の反復的手法が収束解析を欠いていたことから、これらのノルムを効率的かつ証明可能なアルゴリズムで計算する課題を解決すること。
• これらのノルムを半定値計画法として表現し、既存の多項式時間SDPソルバーの利用と双対性による検証を可能にすること。
• 完全有界トレースノルムを明示的かつ一般化されたSDP形式として提示し、以前の暗黙的表現を拡張・明確化すること。
• SDPの定式化の解析的パワーを活用し、量子フィデリティの新たな双対的特徴づけを導出し、ウルマンの定理とアルベルティの定理の間の双対性を示すこと。

提案手法

• 完全有界トレースノルムを、合成系に作用する正定値作用素上のプライマル半定値計画問題として定式化し、部分系にトレース制約を課す。
• ラグランジュの双対性を用いて双対SDPを導出し、最適値の検証が証明書の構築によって可能になるようにする。
• ウルマンの定理を用いて、プライマル最適値が作用素の純化の縮約密度作用素間の量子フィデリティの二乗に等しいことを確立する。
• アルベルティの定理を用いて、双対最適値も同じくフィデリティの二乗に等しいことを示し、二つの定理の双対性を証明する。
• 差分の量子チャネルとして表現可能な作用素に特化した、より単純なSDP定式化を第二の枠組みとして提示する。
• 既知の多項式時間SDP解法を活用することで、全体の計算が決定的多項式時間内に実行可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 超作用素の完全有界トレースノルムは、実行可能かつ証明可能な実行時間保証のもとで効率的に計算可能か？
• RQ2 半定値計画法を用いて完全有界ノルムをどのように表現・計算できるか。また、得られる最適化問題の構造はどのようなものか？
• RQ3 ウルマンの定理とアルベルティの定理の間のフィデリティに関する関係は何か。この双対性はSDPの双対性によって明示的に示せるか？
• RQ4 完全有界ノルムは効率的に検証可能か。最適性の証明書はどのような形をとるか？
• RQ5 超作用素が二つの量子チャネルの差分である場合に、完全有界ノルムの簡略化されたSDP定式化は存在するか？

主な発見

• 超作用素の完全有界トレースノルムは、入力次元に対して多項式サイズの半定値計画問題の最適値として計算可能である。
• プライマルSDPの最適値は、超作用素の純化の縮約密度作用素間の量子フィデリティの二乗に等しい。
• 双対SDP定式化により同じ最適値が得られ、双対ギャップはゼロである。これは強い双対性が成立しており、ノルム値の効率的検証が可能であることを確認する。
• 有限次元においてウルマンの定理とアルベルティの定理は、それぞれプライマルと双対SDPを特徴づける双対的な記述であることが示された。
• 差分の量子チャネルとして表現可能な超作用素に対しては、競合的量子ゲームの枠組みに基づく、より単純な第二のSDP定式化が得られた。
• 本手法により、完全有界ノルムの決定的多項式時間アルゴリズムが提供され、従来の反復的手法の限界を克服した。