[論文レビュー] Divergence of Lubkin's series for a quantum subsystem's mean entropy

Jacob P. Dyer|arXiv (Cornell University)|Jun 22, 2014

Quantum chaos and dynamical systems参考文献 3被引用数 5

ひとこと要約

この論文は、システム次元 $ m > 2 $ の場合、漸近的に正しい近似であるにもかかわらず、Lubkinの量子部分系の平均フォン・ノイマンエントロピーに対する級数展開が発散することを証明している。正確な閉形式表現を用いて、縮退密度行列のべき乗の平均トレースを導出し、級数が $ m \leq 2 $ の場合にのみ収束することを示しており、これにより級数がこの限界を超えて信頼できる近似手法とはならないことが明らかになった。

ABSTRACT

In 1978, Lubkin proposed a method of approximating the mean von Neumann entropy for a subsystem of a finite-dimensional quantum system in an overall pure state by expanding the entropy as a series in terms of the mean trace of powers of the system's reduced density operator, but the convergence of this series was never established. We find an exact closed form expression for the mean traces, which enables us to prove that the series converges if and only if the system's dimension $m\le2$, in spite of the fact that Lubkin's proposed approximation for the entropy is now known to be correct.

研究の動機と目的

• 量子部分系の平均フォン・ノイマンエントロピーに対するLubkinの級数展開の収束挙動を厳密に分析すること。
• 特に $ m > 2 $ の場合に、Lubkinの級数が収束するかどうかという長年の曖昧さを解消すること。
• 縮退密度行列のべき乗の平均トレースの正確な閉形式表現を導出すること。
• 級数の発散とLubkinのエントロピー近似の正しさの間にある表面的な矛盾を解明すること。
• Pageの平均エントロピーの正確な公式の妥当性を確認し、Lubkinの近似と比較すること。

提案手法

• 対称関数理論と超幾何恒等式を用いて、$ \langle \text{Tr}[(\hat{\rho}_m^{mn})^r] \rangle $ の正確な閉形式表現を導出する。
• ハール測度下での縮退密度行列の固有値の連合分布を用いてモーメント法を適用する。
• 積分において正規化および固有値制約を課すためにバテルマンデターミナントとデルタ関数を用いる。
• Lubkinの級数の収束を決定するために、平均トレース項の $ r \to \infty $ における漸近的挙動を評価する。
• 調和数の漸近展開を用いて、発散する級数とPageの正確な公式 $ \langle S_{m,n} \rangle = \sum_{k=n+1}^{mn} \frac{1}{k} - \frac{m-1}{2n} $ を比較する。
• Lubkinの近似の分母を二項展開し、正確な公式との誤差スケーリングを比較する。

実験結果

リサーチクエスチョン

• RQ1 Lubkinの平均フォン・ノイマンエントロピーに対する級数展開は、すべての部分系次元 $ m $ に対して収束するか？
• RQ2 任意の $ r $ に対して、平均トレース $ \langle \text{Tr}[(\hat{\rho}_m^{mn} - \hat{\rho}_0)^r] \rangle $ の正確な解析的形は何か？
• RQ3 Lubkinの級数が発散しているにもかかわらず、なぜ彼の近似が正確なのであろうか？
• RQ4 Lubkinの近似における誤差項は、Pageの正確な公式の誤差項と比べてどうなるか？
• RQ5 $ n \to \infty $ のときの平均エントロピーの漸近的挙動は何か？ そして、それが近似の妥当性をどのように裏付けるか？

主な発見

• Lubkinの平均エントロピー級数は、部分系次元 $ m \leq 2 $ のときにのみ収束する。$ m > 2 $ の場合、絶対的に発散する。
• 著者らは、任意の実数 $ r $ に対して $ \langle \text{Tr}[(\hat{\rho}_m^{mn})^r] \rangle $ の正確な閉形式表現を導出し、収束解析を可能にした。
• 発散は、$ r \to \infty $ のときの平均トレース項の漸近的増大に起因し、階乗的に増大する項が交互級数を支配する。
• Pageの正確な公式 $ \langle S_{m,n} \rangle = \sum_{k=n+1}^{mn} \frac{1}{k} - \frac{m-1}{2n} $ が確認され、漸近近似 $ \langle S_{m,n} \rangle \simeq \ln m - \frac{m^2 - 1}{2mn} + \mathcal{O}(n^{-2}) $ を導出する。
• Lubkinの近似 $ \langle S_{m,n} \rangle \simeq \ln m - \frac{m^2 - 1}{2mn + 2} $ は、$ \mathcal{O}(n^{-2}) $ の誤差を有することが示され、最適近似の約5倍の誤差である。
• 最適近似の誤差は $ m = n \to \infty $ のとき $ \frac{1}{12} $ に近づき、数値的証拠により $ m = n = 100 $ で最大誤差が $ 0.083324 $ に近づくことが示された。