Discontinuity of Continuum Fermion Dynamics

=== 要約 ===

技術的要約：連続体フェルミオン動力学の不連続性

問題提起
本論文は、相互作用するフェルミオン系の無限体積における代数的量子統計力学の定式化における根本的な問題に取り組んでいる。標準的な$C^*$力学系（$C^*$-dynamical system）の枠組みでは、時間発展は観測量代数上の点ノルム連続な（pointwise-norm continuous）$*$自己同型群である必要がある。自由フェルミオンの動力学は、標準的な正準反交換関係（CAR）代数上でこの条件を満たすが、相互作用のある連続体フェルミオンの振る舞いは、厳密な研究の対象となっている。

中心となる問題は、未正規化された対相互作用を持つ多体ハミルトニアンによって生成されるハイゼンベルク動力学が、CAR代数を保存し、かつ点ノルム連続性を維持するかどうかである。先行文献では、「紫外線問題（ultraviolet problem）」、すなわち、小さな領域における粒子密度とともに相互作用エネルギーが無限に増大するという現象が、このような連続性を阻害する可能性が示唆されてきた。正則化技術（例：運動量カットオフやスミアリングされた演算子）を用いることで、挙動の良好な動力学が得られることは示されているが、標準的なCAR代数上における「未正規化」理論の状態については、否定的な結果による厳密な解決がなされていなかった。具体的には、動力学が連続性を失うのか、あるいは単にCAR代数が不変性を失うのかが不明であった。

手法
著者は、不連続性と不変性の破れを証明するために構成的なアプローチを採用している。その手法は、以下の主要な要素に基づいている：

1. 高密度クラスターの構成： 証明では、パッキング引数を用いて、有界領域内に閉じ込められた$n$粒子スレーター行列式（$\Psi_n$）の列を構成する。これらの状態は、運動エネルギーおよび相互作用エネルギーが最大でも$O(n^2)$でスケールするように設計されており、ハミルトニアンの二次形式のドメイン内に留まることが保証されている。
2. 漏出と安定性の評価： リーブ・ロビンソン境界（Lieb-Robinson bounds）および伝播評価（特にASTLO手法）に関連する技術を用い、これらの粒子クラスターが短い時間スケール（$t \sim n^{-1}$）において局在し続けることを確立する。「漏出評価（leakage estimate）」により、この時間スケールにおいて粒子がクラスター領域から脱出する確率は無視できる程度（$O(n^2 t^2)$）であることが証明される。
3. 相対位相の議論： 中心となるメカニズムは、クラスターに対して異なる位置にある2つのテスト粒子（生成演算子 $a^*(f_1)$ および $a^*(f_2)$ を介して）を配置することである。対ポテンシャル $W$ が非定数である場合、$W(z_1) \neq W(z_2)$ となる。テスト粒子と高密度クラスターとの間の相互作用は、異なる動力学的位相、$e^{-2inW(z_1)t}$ および $e^{-2inW(z_2)t}$ を生成する。
4. 反対称化の制御： 重要な技術的ステップとして、局所的な反対称化の評価（補題3.3）がある。これは、粒子を$n$粒子状態に加える際に伴う標準的な$\sqrt{n}$のノルム境界を回避し、ノルムの増大が離れた領域における局所的な粒子数によって制御されることを示し、相対位相が固定された観測量において検出可能であることを示す。
5. 自動連続性の議論： ノルム不連続性と非不変性の間の溝を埋めるために、本論文では古典的な自動連続性の議論（補題3.5）を用いる。この補題は、可分なヒルベルト空間上で強連続なユニタリ群が作用し、ノルム閉じた可分な部分空間内の要素の軌道が可測である場合、正の測度を持つ集合上でのノルム連続性は至る所での連続性を意味することを示している。

主な結果
本論文は、分散関係 $\omega$、対ポテンシャル $W$、および外部ポテンシャル $U$ に関する一般的な仮定の下で、以下の主要な定理を確立している：

• 定理 2.4（不連続性）： 非定数の対ポテンシャル（クーロン相互作用のような特異なポテンシャルを含む）の広範なクラスにおいて、ハイゼンベルク動力学 $\tau_t$ はCAR代数上で点ノルム連続性を満たさない。具体的には、正規化された直交関数 $f_1, f_2$ が存在し、特定の時刻の列 $t_n = \theta/n$ に対して、観測量 $A = a^*(f_1)a(f_2)$ について、$\|\tau_{t_n}(A) - A\|$ は $n \to \infty$ において消滅しない。この不連続性は、ゲージ不変部分代数内においても発生する。
• 補題 2.5（非不変性）： 不連続性と自動連続性の議論の結果として、ほとんどすべての時刻 $t \in \mathbb{R}$ において、フルCAR代数もそのゲージ不変部分代数も動力学の下で不変ではない。すなわち、ほとんどすべての $t$ に対して $\tau_t(A) \notin \mathcal{A}_{CAR}$ である。
• 命題 2.6（定数相互作用）： 定数相互作用ポテンシャル $W \equiv c \neq 0$ の特殊なケースでは、フルCAR代数は不変ではない（生成・消滅演算子において不連続性が生じる）が、ゲージ不変CAR代数は不変であり、この部分代数に制限された動力学は自由なボゴリューボフ動力学と一致し、それは連続である。
• 注釈 2.7（二分法）： 本論文は以下の二分法をまとめている：原点付近で連続なポテンシャルの場合、ゲージ不変代数が不変であるための必要十分条件はポテンシャルが定数であることであり、フル代数が不変であるための必要十分条件はポテンシャルがゼロであることである。

意義と主張
本論文は、標準的なCAR代数上における未正規化された連続体フェルミオン動力学の振る舞いに関する、欠落していた厳密な否定的な結果を提供したと主張している。その意義は以下の点にある：

1. 拡張の正当化： これらの結果は、（[Sie25] 等で提案されているような）相互作用する連続体フェルミオンの良好な$C^*$力学系を定義するために、観測量代数を拡張する必要性を正当化している。標準的なCAR代数は、未正規化された相互作用に対しては不十分であることが示された。
2. リーブ・ロビンソン境界の限界： 本知見は、標準的なリーブ・ロビンソン境界の適用（[GNRS20; HLS25] で行われているような、CAR代数上の点ノルム連続な無限体積動力学の構成）を、未正規化された相互作用へと拡張することはできないことを示している。この障害は、未正規化理論の紫外線挙動に固有のものである。
3. 紫外線問題の明確化： 本研究は、高密度雲の中の粒子に見られる相互作用の強さが無限に増大し、それが標準的な代数的連続性の崩壊を招くという、ヘリスティックな期待を裏付けるものである。

著者は、本論文は新しい正則化スキームや実験的応用を提案するものではなく、むしろ未正規化系に対する現在の枠組みの数学的限界を明らかにする「否定的な結果」としての役割を果たすものであると明示している。結果は、非相対論的および相対論的な分散関係、ならびにクーロン相互作用のような特異なポテンシャルを含む、広範なハミルトニアンに対して導出されている。