Scaling behavior of eigenspectrum for entanglement from correlation matrices

技術要約：相関行列からのもつれに関する固有スペクトルのスケーリング挙動

問題提起
本論文は、一次元臨界量子系におけるもつれエントロピーのスケーリング挙動、特に自由格子フェルミオンおよび横磁場イジング鎖の基底状態に焦点を当てている。これらの系において、フォン・ノイマンもつれエントロピー（$S_{vN}$）が部分系のサイズ（$L_A$）に対して対数的にスケーリングする（$S_{vN} \sim (c/3) \log_2 L_A$、ここで $c$ は共形電荷）ことは確立された結果であるが、この結果の導出は通常、フィッシャー・ハート近似（Fisher-Hartwig formula）を用いたトープリッツ行列のトーデット計算や、共形場理論（CFT）といった高度な数理物理学の手法に依存している。著者は、スペクトルの全挙動や行列式のみに頼るのではなく、相関行列の個々の固有値の分布を解析することにより、このスケーリングに対してより直感的で根底にある視点を提供することを目的としている。

手法
著者は、対象となる系の相関行列を解析するために、巡回行列近似を用いている。

1. 相関行列： 解けるモデル（非相互作用フェルミオンおよび横磁場イジング鎖）において、簡約密度行列は相関行列 $C_A$ によって決定される。並進不変性により、$C_A$ はトープリッツ（またはイジング鎖の場合はブロック・トープリッツ）行列の形式をとる。
2. 巡回行列近似： トープリッツ問題を直接解く代わりに、著者は漸近的に等価な巡回行列を構成する。行列次元が極限（$L_A \to \infty$）において、巡回行列の固有値の全挙動は、元のトープリッツ行列の挙動と等価である。
3. 解析的導出： 巡回行列の構造により、離散フーリエ変換を用いた固有値の直接的な解析式が可能となる。著者は、大規模な $L_A$ 極限において、これらの和を積分へと変換し、固有値 $\lambda_m$ の漸近的表現を導出する。
4. スケーリング解析： 著者は、スペクトルの「バルク」（端から離れた領域）における個々の固有値のスケーリングを解析し、次いでエントロピー関数 $S_{vN} = -\sum [\lambda_m \ln \lambda_m + (1-\lambda_m) \ln (1-\lambda_m)]$ への寄与を合算する。
5. 非臨界への拡張： この手法は、位相プロファイル・パラメトリゼーション（のこぎり波関数とベッセル関数を用いる）を用いて、イジング鎖の非臨界領域へも拡張される。これは、もつれのない極限（$h = \infty$）からの摂動として行われる。

主な貢献および結果

• 臨界系における固有値のスケーリング：

  • 自由格子フェルミオンおよび臨界横磁場イジング鎖（$h=1$）の両方について、著者は、固有スペクトルのバルクにおける固有値が $1/L_A$ でスケーリングすることを解析的に証明している。
  • 具体的には、固有値は0または1の近くにクラスター化しており、遷移領域では $\lambda_m \approx 1 - \delta$ または $\delta$ となり、ここで $\delta \propto 1/L_A$ である。
  • これをエントロピー関数に代入すると、$-\delta \ln \delta$ の形の項が $\ln L_A$ に比例する寄与を生む。バルク内の $L_A$ 個の項を合算することで、もつれエントロピーの対数スケーリング（$S_{vN} \sim \ln L_A$）が再現される。
  • この結果は、フィッシャー・ハート近似が全行列式に焦点を当てているのに対し、個々の固有値の挙動という観点から、対数スケーリングのメカニズムを説明している。

• 非臨界スケーリングとクロスオーバー：

  • 著者は、もつれのない極限（$h \to \infty$）から出発して、臨界点から外れたイジング鎖を調査している。
  • 固有値の $1/L_A$ スケーリングは、非臨界領域においても持続することを見出した。
  • しかし、固有値の大きさは、臨界点からの偏差に関連する小さなパラメータ $\beta^2$ によって抑制されている。
  • これにより、非常に弱い対数依存性（$S_{vN} \sim \beta^2 \log_2 L_A$）を伴う「スムーズなクロスオーバー」が生じる。$\beta \to 0$（積状態の極限へ接近）となるにつれ、もつれは消失し、有限の部分系サイズに対しては実質的に一定に見える。これは非臨界系に対する期待と一致している。

• 数値的検証：

  • 巡回行列近似から導かれた解析結果を、トープリッツ行列の固有値の厳密な数値計算と比較している。
  • 巡回行列近似は正しい対数依存性を再現しているものの、著者は、その傾き（発散の速度）が、厳密な微視的計算やCFTによる普遍係数とは異なることを指摘している。この不一致は、エントロピー関数が原点において非解析的な $x \log x$ 項を含むため、単純な行列の漸近的等価性よりも厳しい条件が必要であることを示唆している。

意義および主張
本論文は、臨界におけるもつれエントロピーの堅牢な対数スケーリングに対し、新しい直感的な視点を提供すると主張している。トープリッツ行列の全体的な性質から、漸近的に等価な巡回行列における個々の固有値のスケーリングへと焦点を移すことで、フィッシャー・ハート近似の技術的な複雑さを回避した、簡略化された解析的枠組みを提供している。

著者は、自身のメソッドがスケーリングの関数形式（$\log L_A$）は捉えているものの、CFTや厳密な微視的研究で見られるような正確な普遍係数（例：$c/3$）を再現できていないことを謙虚に述べている。これは、ゼロ付近におけるエントロピー関数の非解析的な性質に関する、漸近的等価性の限界に起因すると考えている。それにもかかわらず、本研究は、バルク固有値の $1/L_A$ スケーリングが、これらの系における対数的なもつれの増大を駆動する根本的なメカニズムであることを成功裏に示している。また、この手法は、中間スペクトル固有状態のもつれやランダム・トープリッツ行列など、他のトープリッツ関連の問題を研究するためのツールとしても提示されている。