[論文レビュー] On some entropy inequalities

Lin Zhang|arXiv (Cornell University)|Mar 26, 2014

Mathematical Inequalities and Applications参考文献 8被引用数 3

ひとこと要約

本稿では、Rényi相対エントロピーと作用素不等式を用いて新たなエントロピー不等式を確立し、トレースに基づく量子相対エントロピーの境界を通じて既知の結果を拡張する。主な貢献は、対数密度関数の組み合わせの指数関数のトレース正規化が成り立つ場合に、三部量子状態がマークフ状態（条件付き相互情報量がゼロ）になる十分条件を示したことである。

ABSTRACT

In this short report, we give some new entropy inequalities based on Rényi relative entropy and the observation made by Berta {\em et al} [arXiv:1403.6102]. These inequalities obtained extends some well-known entropy inequalities. We also obtain a condition under which a tripartite operator becomes a Markov state.

研究の動機と目的

• Rényi相対エントロピーと行列ノルム不等式を用いて、よく知られた量子エントロピー不等式を拡張すること。
• トレースおよびフロベニウスノルムを用いて、量子相対エントロピーのより緊密な下界を導出すること。
• 三部量子状態が条件付き相互情報量が消える（つまりマークフ状態である）状態となる条件を特定すること。
• 指数関数の組み合わせが有効な量子状態を形成する十分条件を提示し、それによってマークフ性が導かれるようにすること。

提案手法

• Rényi相対エントロピー、密度演算子の幾何平均のトレース、および平方根と密度演算子の差のフロベニウスノルムを含む不等式の連鎖を導出する。
• Rényi相対エントロピーの単調性および行列不等式 ∥√M − √N∥²₂ ≤ ∥M − N∥₁ ≤ ∥√M − √N∥₂∥√M + √N∥₂ を適用する。
• ゴールデン＝トプスの不等式を用いて、exp(logρ_AC + logρ_BC) が部分状態（トレース ≤ 1）であることを示し、これにより先行の相対エントロピーの境界を適用可能にする。
• 条件付き相互情報量を相対エントロピーとして再定式化する：I(A:B|C) = S(ρ_ABC || exp(logρ_AC + logρ_BC − logρ_C))。
• Tr[exp(logρ_AC + logρ_BC − logρ_C)] = 1 であれば、指数演算子が有効な量子状態であり、ρ_ABC がマークフ状態であることを確立する。
• 命題1.2（量子チャネル下でのエントロピー不等式）を適用し、トレースおよびノルムの表現を用いて相対エントロピーの境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 log-還元密度の和の指数関数が有効な量子状態になる条件は何か？
• RQ2 三部状態が I(A:B|C) = 0 を満たす、すなわちマークフ状態になる条件は何か？
• RQ3 Rényi相対エントロピーを用いて、量子エントロピー不等式のより緊密な境界を導出する方法は何か？
• RQ4 Tr[exp(logρ_AC + logρ_BC − logρ_C)] の値と ρ_ABC のマークフ性の関係は何か？
• RQ5 そのトレースが1であるとき、演算子 exp(logρ_AC + logρ_BC − logρ_C) の構造はどのように特徴付けられるか？

主な発見

• 任意の量子状態 ρ と部分状態 σ に対して、S(ρ||σ) ≥ −2logTr(√ρ√σ) が成り立つ。これは標準的な相対エントロピーの境界を拡張する。
• 相対エントロピーからフロベニウスノルムおよびトレースノルムへの不等式の連鎖が成立する：S(ρ||σ) ≥ ∥√ρ − √σ∥²₂ ≥ (1/4)∥ρ − σ∥²₁。
• 三部状態に対しては、I(A:B|C) ≥ −2logTr(√ρ_ABC√exp(logρ_AC + logρ_BC − logρ_C)) ≥ ∥√ρ_ABC − √exp(·)∥²₂ ≥ (1/4)∥ρ_ABC − exp(·)∥²₁ が成り立つ。
• Tr[exp(logρ_AC + logρ_BC − logρ_C)] = 1 であれば、exp(logρ_AC + logρ_BC − logρ_C) は有効な量子状態であり、ρ_ABC はマークフ状態である。
• 演算子 exp(logρ_AC + logρ_BC − logρ_C) は、ρ^{1/2}_{AB}ρ^{-1/2}_Bρ_{BC}ρ^{-1/2}_Bρ^{1/2}_{AB} および ρ^{1/2}_{BC}ρ^{-1/2}_Bρ_{AB}ρ^{-1/2}_Bρ^{1/2}_{BC} に等しく、自己整合的な構造を確認する。
• Tr[exp(logρ_AC + logρ_BC)] は Tr(ρ²_C) ≤ 1 で有界であり、これにより部分状態であることが保証され、相対エントロピーの境界の適用が可能になる。