[論文レビュー] Quantum weighted entropy and its properties

Yuri Suhov, Stefan Zohren|arXiv (Cornell University)|Nov 4, 2014

Statistical Mechanics and Entropy参考文献 2被引用数 4

ひとこと要約

本稿では、正定値重み演算子を組み込むことで、フォン・ノイマンエントロピーの一般化として量子重み付きエントロピーを導入し、部分加法性、凹型性、強部分加法性、およびアラキ＝リーブ不等式の類似性といった主要な性質を証明する。主な貢献は、重みが密度行列と非可換であっても、量子重み付き相対エントロピーの非負性および重み付きギブズの不等式の導出を可能にする重み付きクラインの不等式の確立である。

ABSTRACT

We introduce quantum weighted entropy in analogy to an earlier notion of (classical) weighted entropy and derive many of its properties. These include the subadditivity, concavity and strong subadditivity property of quantum weighted entropy, as well as an analog of the Araki-Lieb inequality. Interesting byproducts of the proofs are a weighted analog of Klein's inequality and non-negativity of quantum weighted relative entropy. A main difficulty is the fact that the weights in general do not commute with the density matrices.

研究の動機と目的

• 重み演算子を組み込んだ新しい量子エントロピー測度を定義することで、古典的重み付きエントロピーを量子領域に拡張すること。
• 量子重みが一般に密度行列と可換でないという課題に対処し、標準的なトレース不等式の証明が複雑になることへの対応。
• 量子重み付きエントロピーの基礎的性質、すなわち部分加法性、凹型性、強部分加法性の確立。
• 量子重み付き相対エントロピーの非負性を示すためのアラキ＝リーブ不等式の量子類似性の導出。
• 重み付きエントロピー概念を用いた量子情報理論における応用のための理論的基盤の提供。

提案手法

• 正定値重み演算子 $ \phi $ を用いて、量子重み付きエントロピーを $ S_{\rho}(\rho) = -\tr(\phi \rho \log \rho) $ として定義する。
• 量子重み付き相対エントロピーを $ D_{\phi}(\rho||\sigma) = \tr(\phi\rho\log\rho) - \tr(\phi\rho\log\sigma) $ として定義する。
• 凸関数 $ f $ に対して、$ \tr(W(f(Y) - f(X))) \geq \tr(W(Y - X)f'(X)) $ を満たす重み付きクラインの不等式を証明する。この際、$ W = LL^\dagger $ の分解を用いる。
• 条件 $ \tr(\phi\rho) \geq \tr(\phi\sigma) $ の下で、重み付きクラインの不等式から重み付きギブズの不等式を導出する。これにより、相対エントロピーの非負性が保証される。
• トレース不等式の技法と重み付きギブズの不等式を用いて、量子重み付きエントロピーの部分加法性と凹型性を確立する。
• リーブとラスカイの元々の証明に類似した手法を用いて強部分加法性を証明する。この際、重み付きギブズの不等式を根拠とし、重みと縮約密度行列の間の有限な可換性を仮定する。

実験結果

リサーチクエスチョン

• RQ1 古典的重み付きエントロピーを、情報理論的性質を保ちつつ、量子領域に一般化する方法は何か？
• RQ2 重み演算子と密度行列の非可換性が、量子エントロピーにおけるトレース不等式に与える影響は何か？
• RQ3 重み付きエントロピーに対して、アラキ＝リーブ不等式の量子類似性を導出できるか？
• RQ4 物理的制約 $ \tr(\phi\rho) \geq \tr(\phi\sigma) $ の下で、重み付きギブズの不等式は成立するか？ その結果、相対エントロピーにどのような意味が生じるか？
• RQ5 重みと密度行列の完全な可換性がない場合でも、量子重み付きエントロピーの強部分加法性をどの程度まで証明できるか？

主な発見

• 重み $ \phi $ が単位演算子である場合、量子重み付きエントロピーは標準的なフォン・ノイマンエントロピーに還元される。
• 条件 $ \tr(\phi\rho) \geq \tr(\phi\sigma) $ の下で、重み付きギブズの不等式が成立し、量子重み付き相対エントロピーの非負性が保証される。
• 重みが密度行列と可換でない場合でも成立するクラインの不等式の重み付き類似性が証明され、$ W = LL^\dagger $ の分解を用いることで実現された。
• 部分加法性と凹型性は、重み付きギブズの不等式の直接的結果として確立された。
• リーブとラスカイの元々の証明に類似した戦略を用いて、強部分加法性が証明されたが、重みの一部と縮約密度行列の間の可換性に関する追加仮定を必要とした。
• 標準的な量子エントロピー理論における基本的不等式を拡張し、量子重み付きエントロピーに対してアラキ＝リーブ不等式の類似性が導出された。