The BPHZL renormalization of a planar quantum electrodynamics up to 2-loops and beyond

技術要約：2ループおよびそれ以降における平面量子電磁力学のBPHZL繰り込み

問題提起
本論文は、3次元時空におけるパリティ偶、質量ゼロの$U(1) \times U(1)$量子電磁力学（QED$_3$）、具体的にはマクスウェル・チャーン・サイモンズ・モデルの繰り込みについて扱っている。このモデルは、量子ホール効果、高温超伝導、トポロジカル絶縁体、グラフェンを含む、準平面的な凝縮系物理現象を記述する上で重要である。3次元における質量ゼロの理論の繰り込みにおける中心的な課題は、紫外（UV）発散と赤外（IR）発散の相互作用である。標準的なBPHZスキームはUV発散を処理できるが、質量ゼロの理論では、UV減算がIR発散を誘発することがあるため、しばしば失敗する。そのため、誘発されたIR発散を扱うには、ローテンシュタイン・ジマーマン（LZ）減算法を組み込んだBPHZLスキームが必要となる。

この研究を動機付ける具体的な理論的問いがある。それは、「LZ減算スキームは、3次元時空において必ずパリティ対称性を破るのか？」というものである。従来の通常の質量ゼロ$U(1)$ QED$_3$の研究では、LZによる赤外減算がパリティ奇のチャーン・サイモンズ項を生成するため、1ループレベルでパリティが明示的に破れることが示されていた。著者らは、このパリティ破壊がBPHZLスキームにおける普遍的な特徴なのか、あるいは特定のモデルに依存するものなのかを判断するために、パリティ保存型の拡張QED$_3$モデルを用いて調査を行った。彼らは、2ループおよびそれ以降において、パリティがBPHZL繰り込みの下で保存されるかどうかを決定するために、2つの質量ゼロのフェルミオンと2つのゲージ場を特徴とするパリティ保存型の拡張QED$_3$モデルに焦点を当てている。

手法
著者らは、LZ減算スキームを組み合わせたBPHZL繰り込み法を採用している。その手順は以下のステップを含む。

1. モデルの定義： パリティ偶の質量ゼロ$U(1) \times U(1)$マクスウェル・チャーン・サイモンズQED$_3$の作用は、赤外発散を制御するためのローテンシュタイン・ジマーマン質量項$m(s-1)$（ここで$s$は減算パラメータであり、$0 \le s \le 1$）を取り入れて定義される。このモデルは、グラフェンの副格子に関連する2つのフェルミオンスペック（$\psi_+$, $\psi_-$）と2つのゲージ場（$A_\mu, a_\mu$）を含んでいる。
2. べき数カウント（パワーカウンティング）： すべての場のUV（$d$）次元およびIR（$r$）次元を確立し、ファインマン図の漸近的な発散次数を決定する。本モデルは超繰り込み可能（superrenormalizable）であり、これはUV発散が有限のループ数に限定されることを意味する。具体的には、べき数カウントにより、2ループを超えると発散は存在しない（3ループ以上で$d < 0$となる）ことが示されている。
3. 図の解析： 著者らはすべての1ループおよび2ループのファインマン図を分析する。
   • 1ループでは、真空偏極および自己エネルギー図が漸近的に発散するものとして特定される。
   • 2ループでは、4つの真空偏極図（$\gamma_{8\pm}, \gamma_{9\pm}, \gamma_{11\pm}, \gamma_{12\pm}$）が、潜在的に対数的に発散するもの（$d=0$）として特定される。
4. ジマーマンのフォレスト（Zimmermann's Forests）： 2ループ繰り込みのために、著者らはサブ図およびそれらの重複構造を特定するためにジマーマンのフォレストを構成する。
   • 図$\gamma_{8\pm}$および$\gamma_{9\pm}$は、固有の発散する部分図を持たない（その部分図は収束する）。
   • 図$\gamma_{11\pm}$および$\gamma_{12\pm}$は、発散する1ループの自己エネルギー部分図を含んでいる。
5. 減算手順： 繰り込まれた積分核$R_\Lambda$は、UVおよびIR発散を除去するために、外部運動量およびパラメータ$s$に対するテイラー演算子である減算演算子$\tau_\lambda$を適用するジマーマンのフォレスト公式を用いて構成される。各図および部分図に対して、減算次数$\delta$（UV）および$\rho$（IR）が決定される。
6. 明示的な計算： 著者らは2ループ図の明示的な計算を行う。彼らはファインマン・パラメトリゼーションと、複雑なマルチループ積分を評価することを容易にするための、新しい一般的な$J_r$積分（分子に任意の運動量の冪を持つループ積分）の一般式を利用して、繰り込まれた積分核を評価する。質量ゼロの理論を回収するために、最後に$s \to 1$の極限を取る。

主要な貢献と結果

• 有限性の証明： 本論文は、パリティ保存型の質量ゼロ$U(1) \times U(1)$マクスウェル・チャーン・サイモンズQED$_3$が、2ループおよびそれ以降においてUVおよびIRの両方に対して有限であることを厳密に証明している。モデルの超繰り込み可能な性質により、ループ次数$L \ge 3$においてはさらなる繰り込みは必要ない。
• パリティ保存： 主要な結果は、この特定のモデルにおいては、1ループまたは2ループレベルでパリティが破れていないことを示すことである。著者らは、パリティ偶のモデルに適用された際、BPHZL減算演算子がパリティ奇のカウンター項（チャーン・サイモンズ項など）を生成しないことを示している。これは、通常の$U(1)$ QED$_3$において、LZスキームによってパリティが破れることとは対照的である。
• 繰り込まれた項の非局所性： 2ループ図（$\gamma_{11\pm}, \gamma_{12\pm}$ および $\gamma_{8\pm}, \gamma_{9\pm}$）の明示的な計算により、得られる繰り込まれた寄与が非局所的であることが明らかになった。具体的には、これらの項は外部運動量$p^2$の冪を含む分母（例：$(c' + p'^2)^{-1}$）を含む。これらは構成空間における非局所的な演算物に対応する。したがって、これらの図はモデルのパラメータ（結合定数や質量）の繰り込みには寄与しない。
• 技術的発展： 著者らは、分子に任意の数の運動量を持つ積分を評価することを可能にする、新しい一般的な$J_r$積分の一般式（式B.7）を導出した。また、2ループ図に関連する$X'_l$項を明示的に計算した。

意義
本論文は、3次元におけるBPHZL繰り込みスキーム下での離散対称性の振る舞いに関する根本的な問いを解決したと主張している。この$U(1) \times U(1)$モデルにおいてパリティが保存され、通常の$U(1)$モデルでは破れることを示すことで、著者らは、LZ赤外減算によるパリティ破壊の誘起は、繰り込みスキーム自体の固有の欠陥ではなく、モデル依存的であることを結論付けている。

著者らは、彼らの知る限り、これは、2つの質量ゼロのフェルミオンがLZ減算スキームを必要とする質量ゼロの3次元理論において、離散対称性（パリティ）がBPHZL法を通じて保存され得ることを示した初めての例であると述べている。この結果は、パリティ保存とスケール不変性が観察されるグラフェンなどの平面系を記述するための、パリティ保存型の拡張QED$_3$モデルの妥当性を支持するものである。本研究は、このモデルのUVおよびIRの有限性が、パリティを破るカウンター項を導入することなく、グラフェンで見られるスケール不変性をエミュレートしていることを裏付けている。