[論文レビュー] Lieb's simple proof of concavity of Tr A^p K^* B^(1-p) K and remarks on related inequalities

Mary Beth Ruskai|arXiv (Cornell University)|Apr 21, 2004

Analytic Number Theory Research参考文献 10被引用数 4

ひとこと要約

この論文は、最大モジュラス原理を用いて、トレース関数 $(A,B)\mapsto \mathrm{Tr}\,A^p K^\dagger B^{1-p}K$ のリーブの凹性定理の簡略化され、自己完結的な証明を提示する。$p \in (0,1)$ に対して jointly concave であることが示され、証明は初等的かつ理解しやすい。量子エントロピー不等式への応用があり、強サブアダティビティや相対エントロピーの凸性を含む。

ABSTRACT

A simple, self-contained proof is presented for the concavity of the map (A,B) --> Tr(A^p K^* B^(1-p) K). The author makes no claim to originality; this note gives Lieb's original argument in its simplest, rather than its most general, form. A sketch of the chain of implications from this result to concavity of A --> Tr e^[K + log(A)] is then presented. An independent elementary proof is given for the joint convexity of the map (A,B,X) --> Tr \int X^* (A+ uI)^{-1} X (B+ uI)^{-1} du which plays a key role in entropy inequalities.

研究の動機と目的

• 複素解析関数 $f(z)$ をトレース関数から構成し、最大モジュラス原理を用いて、$p \in (0,1)$ に対して $\mathrm{Tr}\,A^p K^\dagger B^{1-p}K$ の jointly concave 性を初等的に証明すること。
• 特にトレース不等式と作用素のバウンドに関して、リーブの元々の証明における小さな誤りや欠落を明確にし、是正すること。
• この凹性結果が、強サブアダティビティや相対エントロピーの jointly convex 性を含む、主要な量子エントロピー不等式にどのように応用できるかを示すこと。
• 積分トレース関数 $\mathrm{Tr}\int_0^\infty X^\dagger \frac{1}{A+uI} X \frac{1}{B+uI} du$ の jointly convex 性について、独立的かつ初等的な証明を与えること。
• 一般化を加えずに、リーブの元々の議論を、研究者や学生が最も簡単かつ透明性の高い形で理解できるように、簡素化して提示すること。

提案手法

• トレース関数から構成された複素解析関数 $f(z)$ に最大モジュラス原理を適用し、$0 \leq \mathrm{Re}\,z \leq 1$ のストリップ上で定義する。
• concavity 不等式を表現するために、$f_k(z) = \mathrm{Tr}\,A_k^z C^{-z/2} M^\dagger C^{-(1-z)/2} A_k^{1-z} C^{-(1-z)/2} M C^{-z/2}$ と定義し、$M = C^{(1-p)/2} K C^{p/2}$ を用いる。
• トレースに対するコーシー・シュワルツの不等式：$|\mathrm{Tr}\,X^\dagger Y| \leq \left(\mathrm{Tr}\,X^\dagger X\right)^{1/2} \left(\mathrm{Tr}\,Y^\dagger Y\right)^{1/2}$ を用いて、$f_k(z)$ のモジュラスを評価する。
• トレースノルムと作用素のバウンドを用いて、ストリップの境界（$\mathrm{Re}\,z = 0$ および $\mathrm{Re}\,z = 1$）で $|f_k(z)|$ が一様に有界であることを確立する。
• ストリップ上での $|f(z)|$ の上界が境界で達成されることを用い、最大モジュラス原理により凹性不等式を証明する。
• 特に $z = iy$ の場合のトレースの巡回性と作用素ノルム推定に関する問題を是正し、教育的で明確な証明のバージョンを提供する。

実験結果

リサーチクエスチョン

• RQ1 リーブの元々の証明を、完全に自己完結的かつ簡略化された形に再構成することは可能か？
• RQ2 最大モジュラス原理は、トレース関数の凹性を確立するために、どのように機能するのか？
• RQ3 トレース関数 $\mathrm{Tr}\,A^p K^\dagger B^{1-p}K$ の凹性が、相対エントロピーの jointly convex 性および量子エントロピーの強サブアダティビティをどのように導くのか？
• RQ4 積分関数 $\mathrm{Tr}\int_0^\infty X^\dagger \frac{1}{A+uI} X \frac{1}{B+uI} du$ の jointly convex 性を独立的かつ初等的に証明できるか？
• RQ5 特に純虚数 $z = iy$ の場合に、トレースおよびノルム推定の正確性を保証するための技術的是正は何か？

主な発見

• トレース関数 $(A,B)\mapsto \mathrm{Tr}\,A^p K^\dagger B^{1-p}K$ は、$p \in (0,1)$ に対して正定倣行列の錐上で jointly concave であることが、最大モジュラス原理を用いて証明された。
• 証明は簡略化され、特に $z = iy$ の境界においてトレースの巡回性とノルム推定に関する問題が是正された。
• この凹性結果により、相対エントロピーの jointly convex 性が示され、$p \to 0$ の極限を取ることで得られる。
• 積分関数 $\mathrm{Tr}\int_0^\infty X^\dagger \frac{1}{A+uI} X \frac{1}{B+uI} du$ の jointly convex 性について、独立的かつ初等的な証明が与えられ、エントロピー不等式の根幹をなす。
• 主結果から、$A \mapsto \mathrm{Tr}\,e^{K + \log A}$ の凹性が従い、量子エントロピーの強サブアダティビティへの短い道筋が得られる。
• トレース関数の斉次性と超加法性が用いられ、$\lim_{x \to 0} \frac{g(A + xB) - g(A)}{x} \leq g(B)$ のような導出不等式が得られ、エントロピー解析に有用である。