[論文レビュー] Logical Entropy for Quantum States

Boaz Tamir, Eliahu Cohen|arXiv (Cornell University)|Dec 1, 2014

Statistical Mechanics and Entropy参考文献 8被引用数 13

ひとこと要約

本稿では、トレース式 $ L(\rho) = \text{Tr}(\rho(1 - \rho)) $ を用いて定義される、量子系における情報の新しい測度として、量子論的論理的エントロピーを導入する。非負性、最大混合状態における最大性、論理的発散の jointly 凸性といった重要な性質を確立し、ボルツマン・ヴァン・ネウマンエントロピーとは対照的に、客観的不定性と量子状態間の区別に基づく基礎を持つ。

ABSTRACT

The novel concept of quantum logical entropy is presented and analyzed. We prove several basic properties of this entropy with regard to density matrices. We hereby motivate a different approach for the assignment of quantum entropy to density matrices.

研究の動機と目的

• 古典的論理的エントロピーとその客観的不定性の測度としての解釈を出発点として、量子状態間の論理的区別に基づく新しい量子エントロピー測度の提案。
• 密度行列を用いた論理的エントロピーの形式的枠組みを提供し、ヒルベルト空間への古典的分割に基づく定義の拡張を実現する。
• 量子論的論理的エントロピーの基本的性質（単調性、凸性、エントロピー不等式）を分析し、ヴァン・ネウマンエントロピーと比較する。
• 論理的エントロピーが、チャネル容量、エンタングルメントの測定、量子相関の基礎的分析といった量子情報タスクにおける有効性を検討する。

提案手法

• 密度行列 $ \rho $ の固有値 $ \lambda_i $ を用いて、$ L(\rho) = \text{Tr}(\rho(1 - \rho)) = 1 - \sum_i \lambda_i^2 $ として、量子状態への古典的論理的エントロピーの一般化としての量子論的論理的エントロピーを定義する。
• 論理的発散 $ d(\rho||\sigma) = \frac{1}{2}\text{Tr}((\rho - \sigma)^2) $ を導入し、エルミート行列のトレース性質を用いて非負性が証明される相対エントロピーの量子アナログとしての役割を果たす。
• 論理的エントロピーが非負であり、純粋状態では0に等しくなることを証明し、$ d $ 次元ヒルベルト空間における最大混合状態 $ \rho = \frac{I}{d} $ で最大値 $ 1 - \frac{1}{d} $ をとることを示す。
• 行列の二乗のトレースの凸性とトレース演算の線形性を用いて、論理的発散の jointly 凸性を確立する。
• ユニタリ平均と凸性を用いて、部分トレースにおける論理的発散の単調性を示し、部分系をトレースアウトすると発散が減少することを示す。
• スミット分解と直交状態分解を用いて、純粋状態における二粒子系の論理的エントロピーの対称性を証明し、非加法的積則 $ L(\rho^A \otimes \rho^B) = L(\rho^A) + L(\rho^B) - L(\rho^A)L(\rho^B) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 パーティションにおける要素間の区別によって定義される古典的論理的エントロピーは、密度行列を用いてどのように量子領域に一般化できるか？
• RQ2 量子論的論理的エントロピーの基本的数学的・物理的性質（非負性、最大性、凸性）は何か？
• RQ3 加法性、部分加法性、エンタングルメント行動の観点から、量子論的論理的エントロピーはヴァン・ネウマンエントロピーとどのように異なるか？
• RQ4 論理的発散は相対エントロピーの有効な量子アナログとみなせるか？また、 jointly 凸性および部分トレースにおける単調性を満たすか？
• RQ5 論理的エントロピーが強い部分加法性を満たさないという点が、ブラックホール情報パラドックスや量子チャネル容量といった基礎的量子情報問題に与えるインパクトは何か？

主な発見

• 量子論的論理的エントロピー $ L(\rho) = \text{Tr}(\rho(1 - \rho)) $ は非負であり、$ \rho $ が純粋状態である場合に限り0に等しい。
• $ L(\rho) $ の最大値は $ 1 - \frac{1}{d} $ であり、$ d $ 次元ヒルベルト空間における最大混合状態 $ \rho = \frac{I}{d} $ のとき達成される。
• 任意の二粒子純粋状態 $ \rho^{A,B} $ に対して、縮約状態の論理的エントロピーは、スミット分解の対称性により $ L(\rho^A) = L(\rho^B) $ を満たす。
• 論理的発散 $ d(\rho||\sigma) = \frac{1}{2}\text{Tr}((\rho - \sigma)^2) $ は非負であり、$ \rho = \sigma $ のときのみ0に等しくなる。これによりクラインの不等式が証明される。
• 論理的発散は jointly 凸である：$ d(\lambda\rho_1 + (1-\lambda)\rho_2 \,||\, \lambda\sigma_1 + (1-\lambda)\sigma_2) \leq \lambda d(\rho_1||\sigma_1) + (1-\lambda)d(\rho_2||\sigma_2) $。
• 論理的発散は部分トレースにおいて単調である：$ d(\rho^A \otimes I/b \,||\, \sigma^A \otimes I/b) \leq d(\rho^{A,B} \,||\, \sigma^{A,B}) $。これは、部分系をトレースアウトすると発散が減少することを示している。