[論文レビュー] The structure of Renyi entropic inequalities

Noah Linden, Milán Mosonyi+1 more|arXiv (Cornell University)|Dec 2, 2012

Statistical Mechanics and Entropy被引用数 4

ひとこと要約

本稿は、多粒子量子状態におけるRényiエントロピーの不等式を調査し、$0 < \alpha < 1$ の場合、普遍的な不等式として唯一のものである非負性—任意の非負エントロピーのベクトルは、量子状態の部分状態によって任意に良く近似可能である—を明らかにする。$\alpha > 1$ の場合、非自明な同次不等式は存在しないが、非線形制約は依然として存在する。これは、von Neumannエントロピー（$\alpha = 1$）の豊かな構造（例えば、強い部分加法性）と対照的である。

ABSTRACT

We investigate the universal inequalities relating the alpha-Renyi entropies of the marginals of a multi-partite quantum state. This is in analogy to the same question for the Shannon and von Neumann entropy (alpha=1) which are known to satisfy several non-trivial inequalities such as strong subadditivity. Somewhat surprisingly, we find for 01 we show analogously that there are no non-trivial homogeneous (in particular no linear) inequalities. On the other hand, it is known that there are further, non-linear and indeed non-homogeneous, inequalities delimiting the alpha-entropies of a general quantum state. Finally, we also treat the case of Renyi entropies restricted to classical states (i.e. probability distributions), which in addition to non-negativity are also subject to monotonicity. For alpha different from 0 and 1 we show that this is the only other homogeneous relation.

研究の動機と目的

• 多粒子量子状態における部分状態のRényi $\alpha$-エントロピーを支配する普遍的不等式の完全な集合を特定すること。
• von Neumannエントロピー（$\alpha = 1$）を特徴づける、よく知られた豊かな制約（例えば、強い部分加法性）と、Rényiエントロピー不等式の構造を対比すること。
• Rényiエントロピーが $\alpha \neq 1$ の場合、非自明な同次的または線形的不等式を満たすかどうかを調査すること。
• 古典的状態および分離可能な量子状態における単調性の役割を検討し、この場合における完全な同次不等式の集合を同定すること。

提案手法

• 著者らは、$n$-粒子量子状態における異なる $\alpha$ の範囲における到達可能なRényiエントロピーのベクトル集合を分析する。
• $0 < \alpha < 1$ の場合、非負性が唯一の制約であることを証明し、任意に与えられた非負のベクトルを、ある量子状態の部分状態エントロピーが任意に良く近似可能であることを構成的に示す。
• $\alpha > 1$ の場合、摂動およびテンソル積の構成を用いて、非自明な同次不等式が存在しないことを示し、スケーリングされたエントロピーのベクトルの稠密性を示す。
• 彼らは、古典的状態（確率分布）に対しても分析を拡張し、$\alpha \neq 0,1$ の場合、唯一の同次不等式が非負性および部分集合包含に関する単調性であることを証明する。
• 証明技法には、密度演算子の固有値解析、状態の直和およびテンソル積の構成、漸近的近似の議論が含まれる。
• 既知の古典的エントロピー不等式（例：Zhang-Yeung）の結果を活用し、特に $\alpha > 1$ の量子Rényi設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 0 < \alpha < 1 の場合、非負性以外に、量子状態の部分状態のRényiエントロピーを制約する非自明な普遍的不等式は存在するか？
• RQ2 $\alpha > 1$ の場合、Rényiエントロピーのベクトルを制約する非自明な同次（例えば線形）不等式は存在するか？
• RQ3 古典的状態において、$\alpha \neq 0,1$ の場合、Rényiエントロピーの唯一の同次不等式は非負性および部分集合包含に関する単調性であるか？
• RQ4 $\alpha > 1$ の場合、到達可能なRényiエントロピーのベクトル集合は凸錐をなすか？それとも追加の非同次制約があるか？
• RQ5 von Neumannエントロピーの不等式（例えば、強い部分加法性）の豊かな構造は、$\alpha \neq 1$ のRényi枠組みに一般化または回復可能か？

主な発見

• 0 < \alpha < 1 の場合、普遍的なRényiエントロピー不等式は非負性のみである：$n$人の参加者に対する空でない部分集合に割り当てられた任意の非負実数のベクトルは、ある量子状態の部分状態の $\alpha$-エントロピーによって任意に良く近似可能である。
• $\alpha > 1$ の場合、量子状態のRényiエントロピーのベクトルを制約する非自明な同次不等式は存在しないが、到達可能なベクトルの集合は錐ではないため、非線形制約が存在することが示唆される。
• $\alpha > 1$ の場合、適切にスケーリングされた状態で正の象限に稠密であるため、任意の正のベクトルは、このようなエントロピーのベクトルの正の倍数によって近似可能である。
• 古典的状態において、$\alpha \neq 0,1$ の場合、唯一の同次不等式は非負性および部分集合包含に関する単調性であり、これは古典的情報測度の構造を反映している。
• $\alpha = 0$ の場合、Rényiエントロピーは密度行列のランクの対数に等しく、不連続であり、強い部分加法性を満たさないが、部分加法性は満たす。
• 本稿では、$\alpha > 1$ に対して非同次不等式が存在することを特定し、例えばAudenaertが証明した不等式が、同次関係を超えた複雑な構造を示している。