[論文レビュー] Telescopic Relative Entropy--II Triangle inequalities

Koenraad M. R. Audenaert|arXiv (Cornell University)|Feb 15, 2011

Phagocytosis and Immune Regulation参考文献 3被引用数 5

ひとこと要約

本稿では、標準的相対エントロピーの無限大問題を回避する正則化版である望遠鏡的相対エントロピー（TRE）の変動に関する2つの上界を導入し、証明する。凸結合による望遠鏡的正則化を活用することで、有限で非自明な三角不等式に類似した不等式を確立し、元の相対エントロピー枠組みには欠落していた連続性バインディングを提供する。

ABSTRACT

In previous work (see arxiv:1102.3040), we have defined the telescopic relative entropy (TRE), which is a regularisation of the quantum relative entropy $S(ρ||σ)= raceρ(\logρ-\logσ)$, by replacing the second argument $σ$ by a convex combination of the first and the second argument, $τ=aρ+(1-a)σ$ and dividing the result by $-\log a$. We also explored some basic properties of the TRE. In this follow-up paper we state and prove two upper bounds on the variation of the TRE when either the first or the second argument changes. These bounds are close in spirit to a triangle inequality. For the ordinary relative entropy no such bounds are possible due to the fact that the variation could be infinite.

研究の動機と目的

• 純粋状態において状態が直交する場合に標準的相対エントロピーが無限大となるという、量子相対エントロピーの根本的制限を解消すること。
• 有限で良好に振る舞う相対エントロピーの正則化版として、望遠鏡的相対エントロピー（TRE）を構築すること。
• 入力状態の小さな摂動に対して、TREの連続性バインディングを確立すること。これは三角不等式に類似した性質である。
• 標準的相対エントロピーでは、発散の可能性があるため、このようなバインディングが不可能であることを示すこと。

提案手法

• 標準的相対エントロピーを正則化するため、$ S_a(\rho||\sigma) = \frac{1}{-\log a} S(\rho || a\rho + (1-a)\sigma) $（$ a \in (0,1) $）として、望遠鏡的相対エントロピー（TRE）を導入する。
• 対数の積分表現と演算子単調性を用いて、TREの変動に関するバインディングを導出する。
• トレースノルムおよび正の部分の変分的特徴づけを適用し、演算子差を制御する。
• 演算子対数の右微分とトレース不等式を用いて、演算子差に関するバインディングを導出する。
• 凸結合とトレース不等式を用いて、第一引数と第二引数の両方の変動に関する2つの主要な不等式を確立する。
• 連続性の議論と演算子単調性を用いて、正の密度作用素から一般の密度作用素への結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 入力状態の小さな摂動に対して、量子相対エントロピーの変動について、有限で非自明なバインディングを確立できるか？
• RQ2 なぜ標準的相対エントロピーおよびその変種はこのようなバインディングを許さず、望遠鏡的バージョンでは何の構造的性質がこれを可能にするのか？
• RQ3 $ a\rho + (1-a)\sigma $ を用いた望遠鏡的正則化は、相対エントロピーの連続性特性をどのように改善するか？
• RQ4 量子状態の識別可能性の文脈において、三角不等式に類似した形の導出バインディングが、どのように運用的または幾何学的意味を持つのか？
• RQ5 TREの極限 $ a \to 0 $ および $ a \to 1 $ は閉形式で表現可能か？それらは状態の直交性および重なりとどのように関係するか？

主な発見

• 望遠鏡的相対エントロピー $ S_a(\rho||\sigma) $ は常に 0 から 1 の間であり、$ S_a(\rho||\sigma) = 1 $ であるのは $ \rho \perp \sigma $ の場合に限る。
• $ a \to 0 $ の極限は $ S_0(\rho||\sigma) = 1 - \mathop{\rm Tr}\nolimits \rho \{\sigma\} $ として閉形式で与えられ、$ \rho $ と $ \sigma $ のスレッドのサポートとの重なりを捉えている。
• $ a \to 1 $ の極限は $ S_1(\rho||\sigma) = 1 - \mathop{\rm Tr}\nolimits \sigma \{\rho\} $ であり、逆方向の重なりを捉えている。
• 本稿では、$ |S_a(\rho_1||\sigma) - S_a(\rho_2||\sigma)| \leq \frac{\log(1 + \frac{1-a}{a} T(\rho_1,\rho_2))}{-\log a} $ が成り立つことを証明しており、ここで $ T(\rho_1,\rho_2) $ はトレース距離である。
• 第二引数の変動に関しては、$ |S_a(\rho||\sigma_1) - S_a(\rho||\sigma_2)| \leq \frac{\log(a + (1-a)T(\sigma_1,\sigma_2)) - \log a}{-\log a} $ というバインディングが確立され、有限な連続性を示している。
• これらのバインディングは、標準的相対エントロピーでは発散のため、無限大の定数を必要とするため、有限で非自明である。