Scalar Finite-Proper-Time Field Theory as Spectral Operator Calculus

技術的要約：スペクトル演算子解析としてのスカラー有限固有時場理論

問題と動機
本論文は、シュウィンガーの固有時表現における、有限の下限端 $s_0$ の導入に伴う概念的および技術的な曖昧さに対処している。従来の応用では、固有時パラメータ $s$ は $0$から$\infty$ まで積分されるが、下限のカットオフは通常、繰り込み後に除去される一時的な紫外（UV）レギュレーターとして機能する。近年の有限固有時（FPT）QED [5] における研究では、有限の $s_0 = \Lambda^{-2}$ を、除去可能なレギュレーターではなく、理論の基本パラメータとして保持することを提案した。しかし、ゲージ理論においては、ワード・タカハシ恒等式の複雑さゆえに、保持された終端を、標準的な繰り込み群（RG）スキーム、場の再定義、あるいは補助的なカットオフから分離することが依然として困難である。

本論文は、スカラー $\lambda\phi^4$ 理論をユークリッド空間において構成することで、これらの問題を孤立させている。主な目的は、保持された有限の終端 $s_0$ が、物理的に区別される理論を表しているのか、それとも局所的なカウンター項や許容される場の再定義によって吸収可能な、冗長なスキームの選択に過ぎないのかを判断することである。具体的には、著者らは以下の問いを立てている：(1) 有限の終端は、表現に依存しない形でどのように定義されるか？ (2) 関数微分は、単一の完全な履歴を分割するのか、それとも新しい独立したレギュレートされたプロパゲーターを生成するのか？ (3) 繰り込み可能なパラメータを一致させた後、局所的な操作によって除去できない、非定数で運動量依存の残差が生存するか？

手法と枠組み
著者らは、アドホックなカットオフを用いた図式的ファインマン・ルールではなく、スペクトル演算子解析を用いて理論を定式化している。核となる定義は、正の演算子 $K$ に対する一対のスペクトル関数に基づいている：

1. 開スペクトル関数（共分散）: $R_{s_0}(K) = \int_{s_0}^\infty ds \, e^{-sK} = e^{-s_0 K} K^{-1}$。
2. 閉スペクトル関数（有効作用）: $\Gamma^{(1)}_{s_0}[K] = -\frac{1}{2} \text{Tr} \, E_1(s_0 K)$。ここで $E_1$ は指数積分である。

理論は「完全な履歴」の階層によって定義される：

• 履歴の分割: 閉じた履歴（トレース・ログ）または開いた履歴（共分散）の関数微分は、新しい独立した履歴を作成するのではない。代わりに、単一の既存の履歴の全固有時 $T$ を、$\sum u_j = T \ge s_0$ となるようなセグメント $u_j$ へと分割する。下限は個々のセグメントではなく、セグメントの「和」に適用される。
• 高次ループの縫合: 高次ループにおいて、相互作用頂点は、個別に「完全な」開共分散を縫い合わせる。例えば、2ループの「フィギュアエイト（数字の8）」図では、2つのループはそれぞれ独立した完全な履歴であり、それぞれが自身の全固有時 $T_i \ge s_0$ を必要とする。
• 演算子解析: 著者らは、全ての階数の関数微分を導出するために、フレシェ微分、分割差、およびデュアメルの公式を利用している。これにより、固有時単体の幾何学を尊重する非可換な微分階層が確立される。

主要な結果と導出

1. 厳密な有効作用とループ展開: 本論文は、厳密な有効作用の恒等式とその2ループまでの展開を導出している。1ループ項は、ガウス微分、トレース・ログ、シュウィンガー積分、または熱核トレースのいずれとも等価であることが示されている。2ループの有効作用は、「フィギュアエイト」および「サンセット」のトポロジーから構成され、これらは厳密な背景共分散 $R_{s_0}(K_{\bar{\phi}})$ から構築される。
2. 補助レギュレーターとの区別: 著者らは、グラフ全体にわたるカットオフ（$\sum T_i \ge s_0$ を課すこと）では部分的な発散を除去するには不十分であり、部分グラフの短時間極限へのアクセスを許してしまうことを示している。対照的に、「完全な履歴」の処方（各独立な線に対して $T_i \ge s_0$ を課すこと）は、演算子構造を維持しつつ、UV領域を正しく抑制する。
3. 繰り込みと非冗長性:
   • 著者らは、4点関数の一ループ計算を行う。繰り込まれた質量、場の規格化、および四次結合を標準的な運動量減算（MOM）条件によって固定した後、有限の運動量依存の残差が残存することを示す。
   • 主要な $O(s_0)$ の補正は運動学的に定数（$s+t+u = 4m^2$ に比例）であり、したがってオンシェルでは冗長である。これは、一致させた四次結合へと吸収可能である。
   • しかし、最初の非定数な寄与は $O(s_0^2)$ で現れ、$s^2 + t^2 + u^2$ に比例する。この項は物理的な散乱曲面上で変化し、局所的なカウンター項や、S行列を保存する許容される場の再定義によって除去することはできない。
4. 予測的軌跡: 低エネルギー展開における高次微分係数の無限の塔は、独立ではない。それらはすべて $s_0$ によって相関されている。連続するオンシェルの係数の比は $s_0$ を決定するため、このスケールは一致させた運動学的データから識別可能である。
5. ローレンツ構造と正値性:
   • 自由プロパゲーターは、単位レジデューを持つ物理的な極 $p^2 = m^2$ を保持している。
   • 1ループのバブル不連続性（クトコフスキー・カット）は、質量殻上で指数因子が1になるため、変化しない。
   • 決定的な限界: 本理論は、$s_0 > 0$ の任意の範囲で反射正値性（オースターヴェルダー＝シュレッダー条件）に失敗する。ユークリッド共分散はスティルチェス関数ではなく、形式的なローレンツ・プロパゲーターは、時間的方向に指数関数的に増大する全因子 $e^{s_0(p^2-m^2)}$ を含んでおり、非テンパー（non-tempered）である。

主張と意義
本論文は、有限の終端に関する精密かつ控えめな主張を行っている：

• 非冗長性: 保持された終端 $s_0$ は、除去可能なUVレギュレーターでも、減算の慣習でも、あるいは自明な場の再定義でもない。1ループにおいて、それは通常の繰り込まれた $\lambda\phi^4$ 理論とは異なる、物理的で非定数なオンシェルの効果を生じさせる。
• 有効場理論（EFT）との相関: 低エネルギー極限は高次微分演算子を持つEFTとして表現できるが、ウィルソン係数は独立ではない。それらは $s_0$ によって固定された相関のあるシーケンスを形成する。これは、係数が任意である一般的なEFTとは異なる点である。
• 非摂動的ユニタリ性の証明の不在: 著者らは、この構成が非摂動的なユニタリ的ローレンツ相互作用理論の存在を証明するものではないことを明示している。反射正値性の失敗と非テンパーな性質は、依然として未解決の障害として残っている。
• 実験場としての役割: このスカラー理論は、随伴するFPT QEDの著作 [5] で提案された構造的規則（履歴の分割、縫合、スペクトル解析）を検証するための「中立なテストベッド」として機能する。これにより、演算子解析をゲージ対称性から分離し、保持されたスケールが物理的に非冗長であるかどうかを明確にテストすることを可能にしている。

結論として、本論文は、有限の固有時スケールが、完全な履歴のスペクトル演算解析を通じて定義される場合、ローレンツ的なユニタリ性と反射正値性の制限を受け入れる限りにおいて、摂動レベルにおいて物理的に区別され、予測的な構造を導入することを確立している。スケール $s_0$ は、単なる任意のカットオフではなく、スペクトル演算解析の保持されたパラメータとして機能している。