Entanglement entropy of ground states of the Landau Hamiltonian on the half-plane

技術要約：半平面上のランダウ・ハミルトニアンの基底状態におけるエンタングルメント・エントロピー

問題設定
本論文は、境界を持つ空間領域に定義された非相互作用フェルミオン系の基底状態におけるエンタングルメント・エントロピー（EE）のスケーリング挙動を調査している。具体的には、ディリクレ境界条件を持つ半平面 $\Omega = \mathbb{R}_+ \times \mathbb{R}$ 上のランダウ・ハミルトニアンに焦点を当てている。中心となる問いは、境界の存在とその結果としてのスペクトル特性が、システムサイズ $L$ が無限大に向かう際の、EEの主要項の漸近的スケーリングにどのように影響するかである。

先行文献では、EEのスケーリングに関して以下の二分法が確立されている：

1. 厳密な面積則（Strict Area Law）: $L^{d-1}$ （ここで $d$ は空間次元）としてスケーリングする。これは通常、純粋点スペクトルを持つ系（例：全平面 $\mathbb{R}^2$ 上のランダウ・ハミルトニアン）や、スペクトル射影の指数関数的に減衰する積分核に関連している。
2. 対数的に増強された面積則（Logarithmically Enhanced Area Law）: $L^{d-1} \ln(L)$ としてスケーリングする。これは、純粋な絶対連続スペクトルを持ち、スペクトル射影の核の減衰が遅い系（例：$\mathbb{R}^d$ 上のラプラス演算子）で観察される。

全平面上のランダウ・ハミルトニアン（$H$）は純粋点スペクトル（ランダウ準位）を持ち、厳密な面積則を示す。対照的に、半平面上のランダウ・ハミルトニアン（$H_+$）は純粋な絶対連続スペクトルを持つ。著者らは、このスペクトルの性質の変化（純粋点から絶対連続へ）が、対数的に増強された面積則への遷移を引き起こすのか、あるいは厳密な面積則が維持されるのかを明らかにすることを目的としている。

手法
著者らは、以下のステップを含む厳密な作用素論的手法を用いている：

1. 直積分分解: 無界な座標 $x_2$ に関する部分フーリエ変換を用いて、$H_+$ を、ディリクレ境界条件を持つ一次元のシフトされた調和振動子 $H_+(k) = -\frac{d^2}{dx^2} + (x-k)^2$ の直積分へと分解する。全平面のハミルトニアン $H$ も同様に、振動子 $H(k)$ （$L^2(\mathbb{R})$ 上）へと分解される。
2. スペクトル解析: 基底状態射影 $P_\mu = \mathbb{1}(H \le \mu)$ および $P_\mu^+ = \mathbb{1}(H_+ \le \mu)$ を解析する。半平面の場合、ハミルトニアン $H_+(k)$ のスペクトルはパラメータ $k$ に依存する。著者らは、 $k < k_F$ のとき基底状態エネルギーがフェルミエネルギー $\mu$ を超え、$k \ge k_F$ のとき $\mu$ より下に単一の固有状態が存在するという臨界値 $k_F$ を特定する。
3. 射影の比較: 局在化したフェルミ射影間の差、具体的には作用素 $D = P_\mu^+ - P_\mu(\mathbb{R}_+ \times \mathbb{R})$ を評価することが証明の核心である。著者らは、単位正方形に制限されたこの差のヒルベルト・シュミット・ノルムに関する明示的な積分表示を導出する。
4. 放物柱関数に関する推定: シフトされた振動子の固有関数は、放物柱関数 $D_\nu$ を用いて表される。著者らは、半直線上の固有関数 $\psi_k$ と全直線上の固有関数 $\phi_k$ の差に関する精密な点別および $L^2$ ノルムの推定値を導出する。これらの推定は、シフトパラメータ $k$ に対して指数関数的に減衰することを示す。
5. シャットレン・ノルムの評価: ドメイン全体にわたって局所的な推定値を合計し、$p$-三角不等式（特に $p \in (0, 1]$ のシャットレン $p$-擬ノルム）を利用することで、差の作用素のグローバルなノルムを抑える。
6. トレース不等式: 最後に、関数の作用素に対するソボレフ型の不等式を適用することで、エンタングルメント・エントロピーの差 $|S_\alpha^+(L\Lambda) - S_\alpha(L\Lambda)|$ を、射影の差のシャットレン・ノルムによって抑える。

主要な結果

1. 半平面における厳密な面積則: 主要定理（定理 2.1）は、任意の有界な $C^3$ 滑らかな領域 $\Lambda \subset \mathbb{R}_+ \times \mathbb{R}$ およびフェルミエネルギー $\mu \in (1, 3)$ に対して、$\alpha$-レニー・エンタングルメント・エントロピー $S_\alpha^+(L\Lambda)$ が以下の厳密な面積則の境界を満たすことを証明している：
   $$S_\alpha^+(L\Lambda) \le C L |\partial \Lambda|$$
   ここで $C$ は $L$ および $\Lambda$ に依存しない。
2. 漸近的等価性: ドメイン $\Lambda$ が境界 $\{0\} \times \mathbb{R}$ から厳密に分離されている場合、半平面におけるエントロピーの主要項は全平面におけるものと同一である：
   $$S_\alpha^+(L\Lambda) = L |\partial \Lambda| M_0(h_\alpha) + o(L)$$
   これは、ディリクレ境界条件が、スペクトルの性質を純粋点から絶対連続へと根本的に変えたとしても、EEの主要項のスケーリングを変えないことを意味する。
3. 減衰特性: フェルミ射影の積分核は、境界に平行な方向（$x_1$）に対しては指数関数的に減衰するが、境界に垂直な方向（$x_2$）に対しては多項式的な減衰（$O(1/|t|)$）を示す。

意義と主張
本論文は、「純粋な絶対連続スペクトルは必ず対数的に増強された面積則をもたらす」というヒューリスティックに対する反例を提供すると主張している。ラプラス演算子（純粋な絶対連続スペクトル）は増強された法則を示すが、半平面上のランダウ・ハミルトニアン（これも純粋な絶対連続スペクトルである）は厳密な面積則を示す。

著者らは、絶対連続スペクトルの存在は、対数的に増強された面積則を保証するための十分条件ではないと結論付けている。彼らは、積分核の減衰特性が極めて重要であることを強調している。半平面の射影は一方向には指数関数的に減衰するが、もう一方の方向における多項式的な減衰は、ラプラス演算子のケースで見られるような対数的増強を生じさせるには不十分である。

論文は、以下の問いを投げかけて終わる：対数的に増強された面積則を保証するために必要な、シュレディンガー作用素のスペクトル測度または積分核の減衰に関する、より微細な条件とは何か？ 著者らはこの問いに対する決定的な答えは提示していないが、スペクトルの型と空間的減衰の相互作用は、これまで想定されていたよりも微妙なものであることを示唆している。