Widom asymptotics for spatial compressions of Schrödinger spectral projections

技術的要約：シュレディンガー・スペクトル射影の空間圧縮に関するウィドム漸近挙動

問題設定
本論文は、半古典的なシュレディンガー作用素の厳密なスペクトル射影の空間圧縮に対して、スペクトル関数を適用した際のトレースの漸近挙動を扱う。具体的には、$H_h = -h^2\Delta + V$ を、滑らかなポテンシャル $V$ を持つ半古典的シュレディンガー作用素とする。ここで $D = \{x : V(x) < \mu\}$ は古典的に許容されるコンパクト領域である。$P_h = \mathbb{1}_{(-\infty, \mu]}(H_h)$ をフェルミ射影（エネルギー $\mu$ 以下のスペクトルへの射影）とする。研究対象は、空間圧縮 $T_h = Q P_h Q$ である。ここで $Q = \mathbb{1}_\Omega$ は、領域 $\Omega \subset D$ の特性関数による乗法作用素である。

$P_h$ のスペクトルは自明（$\{0, 1\}$ に含まれる）であるが、$T_h$ のスペクトルは非自明であり、$(0, 1)$ に含まれる。これらの「遷移固有値」は、粒子数揺らぎや自由フェルミオンのエンタングルメント・エントロピーを支配する。中心となる問題は、端点 $0$と$1$で消滅する広範な連続関数$g$に対して、$\text{Tr}, g(T_h)$に関するウィドム型のトレース公式を確立すること、特に半古典パラメータ$h \to 0$ における主項を決定することである。

手法
証明は、半古典解析と作用素論のいくつかの高度な手法を組み合わせている：

1. 閉じ込め置換と局所比較： 著者らは、元のポテンシャル $V$ を、$\Omega$ の近傍で $V$ と一致する滑らかな大域的閉じ込めポテンシャル $V_c$ に置き換える。交換子評価とスペクトルシェル解析を用いることで、元の作用素と閉じ込められた作用素の差が、関連するシャットテン・クラスにおいて無視可能（$O(h^{1-n})$）であることを示す。
2. 局所正規形とハーディ・モデル： 境界挙動を解析するために、著者らは境界に適応した正規形を構成する。ハミルトン・ヤコビ構成を用いることで、問題を局所的に、半直線上のハーディ圧縮作用素 $B = Q \mathbb{1}_{(-\infty, 0)}(D) Q$ を含むモデルへと還元する。これにより、普遍的なスペクトル汎関数 $W(g)$ の抽出が可能となる。
3. シャットテン・クラス評価： 固定された正のすべてのシャットテン・クラス $S_p$ における「1-ログ（one-logarithm）」交換子評価の確立が重要な要素である。著者らは、$\|[P_h, Q]\|_{S_p} = O(h^{1-n} \log h^{-1})$ であることを証明する。これは、スペクトルの端点 $0$および$1$ 付近への固有値の蓄積を制御する。
4. 正の分割と貼り合わせ： 次元 $n \ge 2$ の場合、位相空間における正の分割（positive partition of unity）を用いて、横断的な境界寄与とグレージング（grazing）寄与を分離する。既知の分散漸近式（Deleporte および Lambert による）を用いてグレージングの剰余項を制御し、グローバルなトレース公式が成立することを保証する。次元 $n=1$ では、すべての境界フェルミ点は横断的であり、貼り合わせの議論が簡略化される。
5. 端点の正則性： 著者らは、連続性と重み付き可積分性だけではスペクトル関数の条件として不十分であることを示す。彼らは、$g$ が端点で正の冪減衰（$|g(t)| = O(t^{\alpha_0})$ および $|g(1-t)| = O(t^{\alpha_1})$）を持つことを要求する。この条件は、スペクトル端点の必要な一様可積分性を保証する。

主要な貢献と結果

• ウィドム・トレース公式： 主結果（定理 1.1）は、端点で正の冪減衰を持つ任意の連続関数 $g$ に対して以下を確立する：
  $$\text{Tr}\, g(T_h) = C_{\Omega, 1} W(g) (2\pi h)^{1-n} \log h^{-1} + o(h^{1-n} \log h^{-1})$$
  ここで $W(g) = \int_0^1 \frac{g(t)}{t(1-t)} dt$ は普遍的なスペクトル汎関数であり、$C_{\Omega, 1}$ は $\Omega$ の境界とポテンシャル $V$ に依存する幾何学的係数である。
• エンタングルメント・エントロピーの漸近挙動： この公式は、フォン・ノイマン・エントロピー（$S_1$）およびすべての正の次数のレニー・エントロピー（$S_\alpha$）の厳密な漸近挙動を与える。具体的には、$S_\alpha(h) \sim \frac{\pi^2}{6}(1+\alpha^{-1}) C_{\Omega, 1} M_h$（ただし $M_h = (2\pi h)^{1-n} \log h^{-1}$）である。1次元における単一区間の場合、フォン・ノイマン・エントロピーの係数は $1/3$ となる。
• 普遍的な比： 著者らは、エンタングルメント・エントロピーと粒子数分散の比が普遍的な定数に収束することを証明する：
  $$\frac{S_\alpha(h)}{\text{Var}\, N_\Omega} \to \frac{\pi^2}{6}(1+\alpha^{-1})$$
  この比は、次元、ポテンシャル、および領域の幾何学に依存しない。
• 遷移スペクトル則： この定理は、リスケールされた遷移固有値が、密度 $C_{\Omega, 1} \frac{dt}{t(1-t)}$ を持つ測度へと、弱収束（vague convergence）することを意味する。エンタングルメント・エネルギー $\varepsilon = \log((1-t)/t)$ を用いると、これは一定の密度に対応する。
• 反例： 著者らは、調和振動子を用いた反例（定理 1.4）を提示し、端点での冪減衰条件が単なる連続性と重み付き可積分性に緩和された場合、トレース公式が成立しないことを示す。これにより、[4, Conjecture 1] の連続重み付き可積分な定式化が否定される。

意義と主張
本論文は、可変ポテンシャルを持つシュレディンガー作用素の空間圧縮のウィドム・トレース公式を確立している。その意義は以下の点にある：

1. 普遍性： 特定のポテンシャルや次元に関わらず、遷移スペクトルの非線形統計を支配する普遍的な局所メカニズム（ハーディ・モデル）を特定したこと。
2. 精密さ： エンタングルメント・エントロピーの対数係数を正確に提供し、$\log \log h^{-1}$ の差が生じていた従来の境界を修正したこと。
3. 端点条件の必要性： テスト関数 $g$ の冪減衰条件が、単なる技術的な便宜ではなく、構築された反例によって示されるように、トレース公式が成立するための必要な条件であることを厳密に示したこと。
4. 統一： 粒子数揺らぎ（分散）とエンタングルメント・エントロピーの解析を単一のトレース漸近フレームワークの下で統一し、両者が同じ境界生成スペクトル密度から生じることを示したこと。

著者らは、結果は固定された正の次数のレニー・エントロピーおよび固定された正のシャットテン指数をカバーしているが、これらのパラメータがゼロに近づく際の一様評価、および最大許容関数クラスに関する問題は未解決のままであると述べている。