[論文レビュー] Reflected entropy is not a correlation measure

Patrick Hayden, Marius Lemm+1 more|arXiv (Cornell University)|Feb 20, 2023

Statistical Mechanics and Entropy被引用数 7

ひとこと要約

この論文は、従来、量子相関の尺度であると想定されてきた反射エントロピーが、部分トレースの下で単調減少でないことを示しており、相関尺度の根本的基準を満たさない。古典的確率分布を用いた明示的な反例により、標準の反射エントロピーおよび $α \in (0,2)$ の任意の Rényi 反射エントロピーが単調性を満たさないことが証明され、したがって、古典的および量子的文脈の両方で相関尺度としての使用が無効であることが示された。

ABSTRACT

By explicit counterexample, we show that the "reflected entropy" defined by Dutta and Faulkner is not monotonically decreasing under partial trace, and so is not a measure of physical correlations. In fact, our counterexamples show that none of the Rényi reflected entropies $S_{R}^{(α)}$ for $0 < α< 2$ is a correlation measure; the usual reflected entropy is realized as the $α=1$ member of this family. The counterexamples are given by quantum states that correspond to classical probability distributions, so reflected entropy fails to measure correlations even at the classical level.

研究の動機と目的

• 部分トレースの下での単調性という物理的要件を満たすか否かを検証すること。これは、いかなる相関尺度に対しても必須の条件である。
• 量子情報理論および量子重力の分野で広く用いられているが、$α \in (0,2)$ の Rényi 反射エントロピー $S_R^{(\alpha)}$ が有効な相関尺度であるかを検証すること。
• 単調性の失敗が、量子特有の要因によるものではなく、古典的確率分布に対しても同様に成立するかを検証すること。
• 反射エントロピーが部分系をトレースアウトすることで増加するという、厳密な解析的および数値的反例を提示し、相関尺度が期待される物理的挙動を破る事実を示すこと。

提案手法

• 特定の密度行列構造を持つ三部量子状態 $\rho_{ABC}$ を構築し、それが古典的確率分布に還元されることを保証する。
• 正準的純化状態 $|\sqrt{\rho_{AB}}\rangle$ を計算し、部分トレースを用いて $\mathcal{H}_A \otimes \mathcal{H}_A^*$ 上の反射密度演算子 $\phi^{(AB)}$ および $\phi^{(ABC)}$ を導出する。
• $\beta$ の関数として $\phi^{(AB)}$ および $\phi^{(ABC)}$ の固有値の正確な式を導出し、Rényi 反射エントロピーの解析的計算を可能にする。
• 大きな $\beta$ における漸近展開を用いて、$\tr((\phi^{(ABC)})^\alpha)$ と $\tr((\phi^{(AB)})^\alpha)$ を比較し、$\alpha \in (1,2)$ の範囲で前者が後者を上回ることを示す。
• Rényi エントロピーの公式 $S_\alpha(\phi) = \frac{1}{1-\alpha}\log\tr(\phi^\alpha)$ を用いて、差 $S_R^{(\alpha)}(A:BC) - S_R^{(\alpha)}(A:B)$ を分析し、$\alpha \in (0,2)$ の範囲で負であることを証明する。
• 数値的にも確認のため、$\alpha \in (0,3)$ の範囲でエントロピー差のプロットを描き、$\beta=10$ の場合に $\alpha < 1.9$ の範囲で負値が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 反射エントロピーは、部分トレースの下で単調性を満たすか。これは、相関尺度であるために必要な条件である。
• RQ2 特に古典的確率分布のクラスにおいて、$α \in (0,2)$ の Rényi 反射エントロピー $S_R^{(\alpha)}$ は単調性を満たすか。
• RQ3 $S_R^{(\alpha)}(A:BC) < S_R^{(\alpha)}(A:B)$ となる反例を構築できるか。これは、期待される相関の減少を破る。
• RQ4 単調性の失敗は、量子効果に起因するものか、それとも古典的状態に対しても同様に成立するか。

主な発見

• 標準的反射エントロピー（$\alpha=1$）は、部分トレースの下で単調性に失敗するため、相関尺度として不適切である。
• すべての Rényi 反射エントロピー $S_R^{(\alpha)}$（$\alpha \in (0,2)$）は、明示的な反例により単調性に失敗することが示された。
• $\alpha \in (1,2)$ の範囲では、$\beta$ が十分に大きい場合に $\tr((\phi^{(ABC)})^\alpha) > \tr((\phi^{(AB)})^\alpha)$ であるため、差 $S_R^{(\alpha)}(A:BC) - S_R^{(\alpha)}(A:B)$ は負である。
• 反例は、古典的確率分布に対応する量子状態を用いており、単調性の失敗が古典的レベルでも成立することを証明している。
• 数値的プロットにより、$\beta=10$ の場合に $\alpha \in (0,1.9)$ の範囲でエントロピー差が負であることが確認され、$\alpha \in (0,2)$ の範囲で違反が継続することが示された。
• 大きな $\beta$ における解析的漸近的解析により、すべての $\alpha \in (1,2)$ に対して $\tr((\phi^{(ABC)})^\alpha) > \tr((\phi^{(AB)})^\alpha)$ であることが確認され、違反が頑健であることが証明された。