[論文レビュー] Inequalities that Collectively Completely Characterize the Catalytic Majorization Relation

M. Klimesh|ArXiv.org|Sep 24, 2007

Graph theory and applications参考文献 3被引用数 40

ひとこと要約

本稿は、確率ベクトル間の触媒的マジョライゼーション関係を、無限個の関数 $ f_r(x) $ の族を用いて完全に特徴づける。$ x \prec_T y $ であることは、すべての実数 $ r $ に対して $ f_r(x) < f_r(y) $ であることと同値である。この結果により、量子情報理論における未解決問題が解決され、触媒を用いた量子状態の変換可能性を判断する実用的で関数に基づく基準が提供される。これは、ニールセンのマジョライゼーション基準を触媒的状況に拡張するものである。

ABSTRACT

For probability vectors x and y, the catalytic majorization relation x prec_T y is defined to hold when there exists a probability vector z such that x otimes z is majorized by y otimes z. In this paper, an infinite family of functions is given such that, subject to some trivial restrictions, x prec_T y if and only if f_r(x) &lt; f_r(y) for all functions f_r in the family. An outline of a proof of this result is provided. The catalytic majorization relation is known to provide a determination of which transformations of jointly held pure quantum states are possible using local operations and classical communication when an additional jointly held state may be specified to facilitate the transformation without being consumed.

研究の動機と目的

• クルステン（2005）の未解決問題4を解決し、ニールセンによる触媒を用いた量子状態の変換可能性を特定するための予想を解明すること。
• 触媒的マジョライゼーション関係 $ x \prec_T y $ を完全に、関数に基づいた基準として提供することにより、補助的な触媒ベクトル $ z $ を含む存在的定義を置き換えること。
• 触媒的マジョライゼーションの数学的構造を、関係を完全に特徴づける最小限の無限個の不等式の集合として特定すること。
• 触媒的マジョライゼーションを決定するための実用的手法を提供することにより、一般に計算可能な手続きを持たない元の定義の扱いにくさを克服すること。

提案手法

• 実数 $ r $ をパrameterとする関数 $ f_r(x) $ の族を定義する。これは一般化されたホルダー平均およびエントロピーに類似した表現に基づき、異なる $ r $ の範囲に対して対数的および逆べき乗形の形を含む。
• すべての $ r \in \mathbb{R} $ に対して $ f_r(x) < f_r(y) $ であることと、$ x \prec_T y $ であることとは同値であることを示し、$ x $ にゼロ成分があり $ r \leq 0 $ の場合は $ f_r(x) = \infty $ とする。
• 極限的構成を用いる：$ y $ にゼロ成分がある場合、正の成分をもつ近似列 $ y^{(n)} $ を $ y $ の上から近似するように定義し、$ y^{(n)} \prec y $ を示す。
• 関数 $ g_n(r) = F(x, y^{(n)}, r) $ の連続性、単調性、極限挙動を用いて、十分大きな $ n $ に対してすべての $ r $ に対して $ f_r(x) < f_r(y^{(n)}) $ が成り立つことを証明する。
• コンパクト性と入れ子になった開集合に基づく補題を適用し、十分大きな $ n $ に対して、$ r $ の任意のコンパクト区間上で $ f_r(x) < f_r(y^{(n)}) $ が一様に成り立つことを示す。
• $ F(x,y,r) $ の $ y $ に関するシュール凸性および $ g_n(r) $ の連続性を活用し、すべての $ r \in \mathbb{R} $ にわたる不等式の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 触媒的マジョライゼーション関係 $ x \prec_T y $ は、有限または無限個の不等式の集合によって完全に特徴づけられるか？
• RQ2 補助的な触媒ベクトル $ z $ を含む存在的定義を置き換える関数に基づく基準は存在するか？
• RQ3 関数の比較に基づく計算可能な方法によって、条件 $ x \prec_T y $ を決定できるか？
• RQ4 量子状態変換のための触媒の存在は、エントロピーに類似した関数族における厳密な不等式に対応するか？

主な発見

• 触媒的マジョライゼーション関係 $ x \prec_T y $ が成り立つことは、すべての実数 $ r $ に対して $ f_r(x) < f_r(y) $ であることと同値であり、ここで $ f_r $ は定義された1パrameter関数族である。
• 関数族 $ f_r $ は、対数的、べき乗的、逆べき乗的形を含み、すべての $ r \in \mathbb{R} $ をカバーする。$ x $ にゼロ成分があり $ r \leq 0 $ の場合は $ f_r(x) = \infty $ である。
• 任意の $ x \prec_T y $ に対して、正の成分をもつ摂動されたベクトル $ y' $ が存在し、$ x \prec_T y' \prec y $ かつすべての $ r \in \mathbb{R} $ に対して $ f_r(x) < f_r(y') $ が成り立つ。
• 証明は、$ y $ に収束する列 $ y^{(n)} $ を構成し、$ n $ が十分に大きいときすべての $ r $ に対して $ f_r(x) < f_r(y^{(n)}) $ が成り立つことを、連続性とコンパクト性の議論によって示す。
• $ r $ のコンパクト区間上で $ g_n(r) $ の正の性質を一様に保証する補題は、入れ子になった開集合とコンパクト性を用いて証明され、ディニの定理に類似した構造を持つ。
• 本結果により、量子情報理論における長年の未解決問題が解決され、もつれ量子状態の触媒的変換を完全に、関数に基づいて特徴づける基準が提供された。