Spectral moments of Bures-Hall ensemble and applications to entanglement entropy

技術要約：Bures-Hall アンサンブルのスペクトル・モーメントと、もつれエントロピーへの応用

問題提起
本論文は、量子情報理論において二部系のもつれの統計を記述するために広く用いられるモデルである、Bures-Hall ランダム行列アンサンブルのスペクトル・モーメントの計算に取り組んでいる。スペクトル・モーメント $E[\text{Tr}(X^k)]$ は、古典的なアンサンブル（ガウス、ラグエル、ヤコビ）や非エルミート・アンサンブルについては広範に研究されてきたが、既存の文献は主に整数次 $k$ に焦点を当てている。実数値パラメータ $k$ である場合のスペクトル・モーメントの漸化式を確立することには、重大な空白が存在する。この制限は、フォン・ノイマン・エントロピーや量子純粋度といった線形統計の高次累積モーメントの系統的な計算を妨げている。なぜなら、これらには $k$ に関する微分が必要となるからである。さらに、従来の Bures-Hall アンサンブルの手法は、高次の計算においてますます複雑化する煩雑な総和技法に依存していた。

手法
著者らは、その固有値密度がコーシー・ラグエル・ビオーソゴナル（双直交）アンサンブルに関連付けられている、制約のない Bures-Hall アンサンブルを中心とした戦略を採用している。核心となる手法の革新は、このアンサンブルの相関カーネルに対する Christoffel-Darboux 公式の導出である。

1. カーネル解析： 本論文では、コーシー・ラグエル・ビオーソゴナル多項式 $p_k(x)$ および $q_k(x)$ と、そのコーシー変換 $P_k(x)$ および $Q_k(x)$ に関連する4つの相関カーネル（$K_{00}, K_{01}, K_{10}, K_{11}$）を解析する。
2. Christoffel-Darboux 公式： これらのカーネルの標準的な有限和による表現を利用する代わりに、著者らは総和を含まない Christoffel-Darboux 公式（命題1）を導出する。これは、ビオーソゴナル多項式とその導関数の構造関係および漸化式（補題1および2）を確立することによって達成される。
3. 微分表現： これらの総和を含まない公式を用いて、一点相関カーネルの微分のコンパクトな表現（命理2）を導出する。このステップは、従来のアプローチに見られる「煩雑な総和」を回避するために極めて重要である。
4. 漸化式の導出： スペクトル・モーメント $\kappa(R_k) = E[\sum x_i^k]$ の積分定義に部分積分を適用し、導出されたカーネルの微分を利用することで、実数次 $k$ に対して有効なスペクトル・モーメントの三項漸化式（定理1）を確立する。

主な貢献

• 実数次の漸化式： 主要な理論的貢献は、任意の（実数値の）$k$ に対して成立する、Bures-Hall アンサンブルのスペクトル・モーメントに関する三項漸化式（式89）の確立である。これは、整数 $k$ に限定されている既存の文献における支配的な結果とは対照的である。
• 総和を含まない定式化： コーシー・ラグエル・ビオーソゴナル・カーネルに対する Christoffel-Darboux 公式の導出は、総和を含まない表現を提供する。これにより、微分や積分の計算が簡略化され、従来のケースバイケースの総和法よりも系統的なアプローチが可能となる。
• もつれ統計のための統一フレームワーク： 本論文は、スペクトル・モーメントの漸化式が、もつれ統計の累積モーメントを計算するための基礎的な構成要素として機能することを実証している。具体的には、$k$ に関してスペクトル・モーメントの漸化式を微分することにより、対数項を含む統計（例：$T_k = \sum x_i^k \ln x_i$）の漸化式を導出することが可能となる。

結果
著者らは、理論的フレームワークを適用して、Bures-Hall アンサンブルに関する既知の結果を再現し、検証している。

1. 平均フォン・ノイマン・エントロピー： 線形統計 $T_k$ に関する漸化式（命題3）を導出し、必要な初期条件（$\kappa(R_{-1}), \kappa(R_{-2}), \kappa(T_{-1}), \kappa(T_{-2})$ を含む）を計算することで、平均フォン・ノイマン・エントロピーの厳密な公式を導出する。得られた結果（式103）は、Sarkar と Kumar によって提唱され、総和法によって以前に証明された公式と一致する。
2. 平均量子純粋度： 著者らは、$k=0$ において漸化式を評価し、制約のないアンサンブルの結果を制約付き Bures-Hall アンサンブルへと変換することにより、平均量子純粋度（式117）を計算する。これにより、先行文献に見られる量子純粋度の厳密な平均公式を再現する。

意義と主張
本論文は、導出された実数次スペクトル・モーメントの漸化式が、もつれ統計のより高次の累積モーメントを計算するための「自然かつ系統的な方法」を提供すると主張している。これは、既存の手法における入れ子状の総和の複雑化という課題に対処するものである。本研究は、もつれ統計の中心的な貢献者である Santosh Kumar の遺志を継いでいる。

著者らは、平均的なエントロピーおよび純粋度の値の再現には成功したものの、Bures-Hall アンサンブルのフォン・ノイマン・エントロピーの高次累積モーメントの計算については、スペクトル・モーメントの高次相関関数を通じて達成可能であると明示的に述べている。ただし、この特定の拡張については「将来の研究で扱う可能性がある」として、提示された直接的な結果の範囲を控えめに設定している。本研究は、米国国立科学財団（NSF）および米国エネルギー省（DOE）の支援を受けている。