[論文レビュー] A Continuity Theorem for Stinespring's Dilation

Dennis Kretschmann, Dirk Schlingemann+1 more|ArXiv.org|Oct 12, 2007

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

ひとこと要約

本稿は、スティンスプリングの拡張に関する連続性定理を確立し、2つの完全正値写像が完全有界（cb）ノルムで近いかどうかを、それらのスティンスプリング拡張が作用素ノルムで近いかどうかに帰着することを証明する。主な結果は、完全正値写像におけるcbノルム距離とブルーズ距離の等価性を示し、拡張の一意性の定理を近似設定に一般化する。

ABSTRACT

We show a continuity theorem for Stinespring's dilation: two completely positive maps between arbitrary C*-algebras are close in cb-norm iff we can find corresponding dilations that are close in operator norm. The proof establishes the equivalence of the cb-norm distance and the Bures distance for completely positive maps. We briefly discuss applications to quantum information theory.

研究の動機と目的

• 完全正値写像間のcbノルム距離とそれらのスティンスプリング拡張間の作用素ノルム距離を結ぶ連続性定理を確立する。
• スティンスプリングの一意性定理を近似設定に一般化し、cbノルムで近い写像に対しては、それに対応する拡張を近づけることができるということを示す。
• 完全正値写像のcbノルム距離とブルーズ距離の等価性を証明し、ブルーズの距離を正の汎関数から一般のcp写像へ拡張する。
• 量子操作の安定性とその拡張の安定性を関連づけることで、量子情報理論における耐障害性解析の基盤を提供する。
• 有限次元C*-代数上のユニタル写像に関する結果を、単射な像をもつ一般のC*-代数的完全正値写像へ拡張する。

提案手法

• 完全正値写像間のブルーズ距離を、それらのスティンスプリング拡張間の作用素ノルム距離の下界として定義する。
• 下界の証明：作用素ノルムに関する基本的推定を用い、cbノルム距離の関数としてブルーズ距離が下から抑えられることを示す。
• 正の汎関数に対するブルーズの結果を活用し、キ・ファンの最小最大化定理を適用して、一般のcp写像への上界の拡張を確立する。
• 2つの正の汎関数の共通表現を構成し、サカイのラドン＝ニコディム定理を適用して、スペクトル分解を介したブルーズ距離の境界を導出する。
• 凸結合と連続性の議論を用いて、ブルーズ距離とcbノルム差の最終的な不等式を導出する。
• 直接和構成と表現論を用いて、$\mathcal{B(H)}$に値をとる写像から、任意のC*-代数における単射な像をもつ写像へ結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 スティンスプリング拡張の一意性は、近似設定へ拡張可能か。すなわち、近いcp写像は近い拡張をもつのか。
• RQ2 2つのcp写像間の完全有界ノルム距離は、それらの拡張間の作用素ノルム距離の下界と等価か。
• RQ3 写像の拡張を用いて定義されるブルーズ距離は、cp写像間のcbノルム距離と一致するか。
• RQ4 特に無限次元設定において、cp写像の摂動に対してスティンスプリングの拡張の連続性はどのように振る舞うか。
• RQ5 正の汎関数に対するブルーズ距離は、C*-代数間の任意の完全正値写像へ一般化可能か。

主な発見

• 本稿は、2つの完全正値写像がcbノルムで近いかどうかは、それらに対応する拡張が作用素ノルムで近いかどうかに帰着できることを証明している。その境界は、$\frac{\|T_1 - T_2\|_{cb}}{\sqrt{\|T_1\|_{cb}} + \sqrt{\|T_2\|_{cb}}} \leq \inf_{V_1,V_2} \|V_1 - V_2\| \leq \sqrt{\|T_1 - T_2\|_{cb}}$ で与えられる。
• 2つのcp写像間のブルーズ距離は、それらのcbノルム距離と等価であり、ブルーズの結果を正の汎関数から一般のcp写像へ拡張するメトリックの等価性を確立する。
• ブルーズ距離の下界は、作用素ノルムの基本的推定とスティンスプリング表現の構造を用いて導出される。
• 上界はキ・ファンの最小最大化定理に依拠し、スペクトル分解とラドン＝ニコディム理論を用いて正の汎関数のケースに還元することで得られる。
• 直接和表現と共通のヒルベルト空間埋め込みを用いて、$\mathcal{B(H)}$ に値をとる写像から、任意のC*-代数における単射な像をもつ写像へ等価性を拡張する。
• ブルーズ距離が完全正値写像の空間上で正式に距離関数であることが示され（付録Aで証明済み）、数学的整合性が保証される。