Amplitude of $H \to \gamma Z$ process via one $W$ loop in unitary gauge (I. Details of calculation with Dyson scheme)

技術要約：ユニタリ・ゲージにおける $H \to \gamma Z$ プロセスの振幅（第I部）

問題提起
本論文は、ユニタリ・ゲージにおける1ループの $W$ ボソン・ダイアグラムを介した過程 $H \to \gamma Z$ の崩壊振幅の計算について扱う。この計算は、$H \to \gamma\gamma$ の崩壊幅に関する最近の再検討において特に強調されている、$R_\xi$ ゲージと比較した際のユニタリ・ゲージにおけるループ計算のゲージ不変性と一貫性に関する「パラドックス」に基づいている。ユニタリ・ゲージは特有の困難を伴う。すなわち、ループ積分と可換ではなく、高次の発散（二次および四次）が生じるが、これらは有限で電磁的な $U(1)$ ゲージ不変な結果を与えるために相殺されなければならない。標準的な手法では、発散する積分におけるループ運動量の恣意的なシフトが、結果を不明瞭にする曖昧さや表面項（surface terms）を導入する可能性がある。特に、$H \to \gamma\gamma$ と比較して $H \to \gamma Z$ に特有である $M_Z^2$ に比例する項については注意が必要である。

手法：ダイソン・スキーム（The Dyson Scheme）
著者は、標準的な運動量空間のファインマン・ルール適用とは決定的に異なる、オリジナルのダイソン定式化に基づく計算フレームワーク（以下「ダイソン・スキーム」と呼ぶ）を採用している。その特徴は以下の通りである：

1. $\delta$ 関数の保持： 各頂点で運動量保存の $\delta$ 関数を即座に積分して独立なループ運動量を定義するのではなく、計算の初期段階ではすべてのプロパゲーターの運動量と頂点の $\delta$ 関数を保持する。これにより、対数的な発散よりも激しい発散を持つダイアグラムにおいて、独立なループ運動量を設定することによる曖昧さを回避できる。
2. 運動量のシフトの排除： この手法は、高次の発散積分における変数シフトを明示的に避けている。著者は、このような積分における運動量のシフトは、注意深く扱わなければ結果を変えうる余分な表面項を生成すると主張している。ダイソン・ウィック摂動展開によって定義される元の積分変数を用いることで、「元の」式が保持される。
3. 表面項の扱い： 計算は、補助的な正則化（次元正則化など）を用いず、4次元ミンコフスキー運動量空間で行われる。有限性とゲージ不変性は、発散するテンソル積分の簡約から生じる表面項を適切に扱うことによって達成される。著者は、自由なファインマン・プロパゲーターの物理的な境界条件が、これらの表面項がゼロであることを示唆していると述べている。
4. ワード恒等式 (W.I.)： 計算は、$WW\gamma$ および $WWZ$頂点に対するワード恒等式に大きく依存しており、これを用いて被積分体の複雑さを軽減し、異なるダイアグラム（$T_1, T_2, T_3$）間での相殺を実証する。

主要な貢献および計算の詳細
本論文は、この過程に寄与する3つの非ゼロのファインマン・ダイアグラム（2つは $W$ ループ、1つは $W$ タッドポール/バブル構造を持つもの。他の2つのダイアグラムは和がゼロになることに注意）に焦点を当てている。計算は、発散の次数および $W$ 質量 ($M$) と $Z$ 質量 ($M_Z$) のべき乗に基づく項の分析を進める：

• 高次発散 ($M^{-6}$ および $M^{-4}$): $M^{-6}$ 項はワード恒等式により消失する。$M^{-4}$ 項には、$H \to \gamma\gamma$ のケースには存在しない $M_Z^2/M^4$ に比例する新しい寄与が含まれるが、これらはダイアグラム間で相殺されることが示される。四次および三次発散の相殺により、$M_Z^2$ に比例する二次発散のみが残る。
• 二次発散: 残った二次発散は、二次テンソル積分の表面項をゼロとして扱うとき、正確に相殺されることが示される。この相殺は、変数シフトを行わず、代わりにダイソン・スキームから導出された被積分体の特定の構造に依拠して実証される。
• 対数項および有限項: 有限な項のうち、$M_Z^2/M^2$ および $M_Z^2/M^4$ に比例する項を孤立させる。極めて重要な結果は、$(k_1 \cdot k_2 g_{\mu\nu} - k_{2\mu}k_{1\nu})M_Z^2/M^4$ に比例する、非ゼロで有限かつ $U(1)_{EM}$ ゲージ不変な項が出現することである。この項は、他のゲージ（$R_\xi$ など）との比較において不可欠であると特定されている。
• ゲージ不変性: 最終的に組み立てられた振幅は、有限であり、電磁的 $U(1)$ ゲージ変換に対して不変であることが示される。著者は、この結果が、この1ループレベルにおいて $Z\gamma$ ミキシング繰り込み定数への寄与がないことを意味すると述べている。

結果
論文は、ファインマン・パラメータに関する最終的な積分を行う前の、振幅成分（$R_1$ から $R_5$ とラベル付け）の明示的な積分形式を提示している。主な知見は以下の通りである：

1. ダイアグラムを合計し、表面項を正しく扱ったとき、発散部分（四次、三次、二次、および対数）は完全に相殺される。
2. 結果は有限であり、4次元において電磁的にゲージ不変である。
3. 本計算は、自由プロパゲーターの物理的境界条件に従って表面項を扱う限り、ユニタリ・ゲージにおける $W$ ループを介した $H \to \gamma Z$ 振幅が、$Z\gamma$ ミキシング定数の繰り込みを必要とせずに一貫した結果を与えることを確認している。

意義および主張
本論文は、「ダイソン・スキーム」が、ユニタリ・ゲージにおける高次発散に関連する曖昧さを解決するための堅牢な枠組みを提供すると主張している。運動量のシフトを避け、物理的境界条件に基づいて表面項をゼロとして扱うことにより、著者は、標準模型がこのゲージにおいても自己一貫性を保っていることを実証している。

著者は、表面項の扱いは単なる技術的な詳細ではなく、時空の局所的な構造やトポロジーを探るためのプローブ（探針）であると示唆している。異なる時空多様体（例えば、特異点や欠陥を持つ初期宇宙のシナリオ）においては、これらの表面項がゼロにならない可能性があり、現在のミンコフスキー真空には存在しないアノマリー（電荷の非保存やCP対称性の破れなど）を引き起こす可能性があると推測している。しかし、本論文は、標準的なミンコフスキー空間における計算の詳細に範囲を限定しており、他のゲージとの比較および完全な物理的解釈については、後続のパート（第II部）に譲るとしている。本研究は、有限の振幅を確立するための体系的な枠組みとして提示されており、ユニタリ・ゲージにおける標準模型の整合性を確保する上での表面項の役割を強調している。