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

John Watrous|arXiv (Cornell University)|Jul 24, 2012

Advanced Optimization Algorithms Research参考文献 11被引用数 14

ひとこと要約

本稿では、有限次元の作用素空間間の線形写像の完全有界トレースノルムおよびスペクトルノルムを計算するための、2つの簡素化された半定値計画法の定式化を提示する。チョイ・ヤミォルスキー同型性とフィデリティに基づく特徴付けを活用することで、構造的複雑性を低減しつつ計算効率を維持し、量子情報理論および作用素空間解析におけるより直感的で取り扱いやすい最適化を可能にする。

ABSTRACT

The completely bounded trace and spectral norms, for finite-dimensional spaces, are known to be efficiently expressible by semidefinite programs (J. Watrous, Theory of Computing 5: 11, 2009). This paper presents two new, and arguably much simpler, semidefinite programming formulations of these norms.

研究の動機と目的

• 完全有界トレースノルムおよびスペクトルノルムの既存の半定値計画法の定式化を簡素化すること。
• これらのノルムの概念的および計算的可視性を、量子情報理論および作用素空間論において向上させること。
• 従来の手法と同等の計算効率を維持しつつ、実装および解析がより容易な定式化を提供すること。
• これらのノルムの多項式時間近似アルゴリズムを支援する双対妥当性の境界を確立すること。

提案手法

• 線形写像をより大きなヒルベルト空間内の作用素として表現するため、チョイ・ヤミォルスキー同型性を用いることで、標準的な半定値計画法の手法を適用可能にする。
• 完全有界トレースノルムのフィデリティに基づく特徴付けを用いて、変数および制約が少ない新たな単純化された半定値計画法を導出する。
• 制約写像の随伴を分析することで双対妥当性条件を導出し、多項式時間解法が可能となる厳密な妥当性を保証する。
• 内点法における収束保証に不可欠な、双対妥当解のトレースおよびフロベニウスノルムの上界を確立する。
• 随伴写像のスペクトルノルムの上限を用いて、双対妥当性パラメータεの下限を導出し、双対妥当集合が空でないことを保証する。
• 既知の半定値計画法の複雑性結果（例：[GLS93] や [Lov03] より）を応用し、精度δ内での多項式時間近似が可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 完全有界トレースノルムおよびスペクトルノルムは、これまでに知られているものよりも単純な半定値計画法で表現可能か？
• RQ2 計算効率を損なわずに、SDP定式化におけるどのような構造的簡素化が達成可能か？
• RQ3 これらのノルムの双対妥当解のサイズに関するタイトで効率的な計算可能な上限は何か？
• RQ4 多項式時間近似アルゴリズムを支援する形で、双対妥当性をどのように保証できるか？
• RQ5 解釈性を向上させるために、フィデリティやチョイ行列などの代替的特徴付けから、新たな定式化を導出可能か？

主な発見

• 本稿では、[Wat09] に提示された定式化よりも著しく単純化された、完全有界トレースノルムおよびスペクトルノルムのための2つの新しい半定値計画法を提示する。
• フィデリティに基づく定式化では、双対妥当性が ε = 1 / (4(1 + ||Ψ₀*||∞ + ||Ψ₁*||∞)) に対して保証され、これは入力サイズに対して多項式的である。
• チョイ・ヤミォルスキーに基づく定式化では、双対妥当性が ε = 1 / (2 dim(𝒴)) に対して成立し、これも入力サイズに対して多項式的である。
• フィデリティベースのSDPでは、双対妥当解のトレースに対する上界として R = ||Ψ₀*(𝕀)||∞ + ||Ψ₁*(𝕀)||∞ + 2 dim(𝒵) が得られ、解のサイズが有界であることを保証する。
• チョイベースのSDPでは、任意の最適双対解のトレースは R = 2 ||J(Φ)||∞ dim(𝒳) dim(𝒴) 未満であることが示され、双対解のフロベニウスノルムが有界であることを保証する。
• εおよびRのこれらの上限は、標準的なSDP複雑性理論に従い、多項式時間近似アルゴリズムが精度δ内でのノルム計算を可能にすることを保証する。