# Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部：主定理の主張・大場と小場の分割・ゲージ場の平行移動と特性関数

> Dimock の QED₃ 紫外安定性論文の §1・§2 と §3.1〜§3.8 を精読する。k 段後の密度の表示と流れの定理・安定性定理を正確に述べ、1 段の前半（抽出・新しい特性関数・ゲージ場の平行移動・超局所化）を、局所最小化元の比較補題から証明する。
> https://rikai.mugen-giken.com/physics/gauge-rg-papers/dimock-qed3-uv-stability-part-1

## 0. この記事の要点

- 格子の目を細かくしていっても、ある量（分配関数の比）が有限の範囲にとどまることを示す、という話です。対象は 3 次元の電子と光子の理論（QED₃）で、J. Dimock の論文 "Ultraviolet stability for QED in d=3"（Ann. Henri Poincaré 23 (2022)、arXiv:2009.01156）は、格子間隔によらず $\frac12\le|Z(N,e)/Z(N,0)|\le\frac32$ を示しました。3 部作の最終篇です。
- 方法は Bałaban の[くりこみ群](/physics/constructive-qft/rigorous-renormalization-group#def-block-spin)（格子の場をブロックごとに平均して粗い格子の場に移す操作を繰り返すこと）です。模型は[格子 QED](/physics/lattice-field-theory/lattice-fermions#def-lattice-qed) の 3 次元版です。各段で場を「小さい場の領域」と「大きい場の領域」に分け、すべての分け方について和をとります。小さい場の領域では有効作用を摂動的に扱い、大きい場の領域は $e^{-p_k}$（$e_k$ のどの冪よりも小さい）で抑えます。本章は、$k$ 段後の密度の表示（Theorem 1）、流れの境界値問題（Proposition 1）、安定性（Theorem 2）を正確に述べ、Proposition 1 を前篇の抽象定理から証明します。
- 1 段 $k\to k+1$ の前半を証明します。関連部分の抽出と領域の境界項、新しい特性関数と新しい小場領域 $\Omega_{k+1}$、古い特性関数の冗長性（Lemma 1・2）、ゲージ場の平行移動と局所最小化元の近さ（Lemma 3〜5）、ゆらぎ場のもう一度の平行移動（Lemma 6）、ゆらぎ積分の超局所化（共分散の平方根の局所近似）、最後の小場展開と $\Lambda_{k+1}$ です。
- 証明の道具として、「細かい列での最小化元は粗い列での最小化元のデータから決まる」という恒等式と、多尺度の核評価を組み合わせた**局所最小化元の比較補題**（§4）を立てます。原論文の Lemma 2・4・5 の証明はすべてこの補題の適用になります。
- 原論文が断りなく使っている点のうち、本章で証明したもの：有効作用の $\Lambda_{k+1}$ の中の項が領域の履歴によらないこと（共分散の平方根について。§8.3・§8.4）、大場の領域に残るゆらぎが境界項の評価の領域に入ること（§9.1）、停止点の直前の段でトーラスを一周する局所列の扱い（§9.2）。証明できず仮定として残したもの：有効作用の格子対称性 (SY-L) と、多尺度の列での Landau の展開の補助的な選択の存在 (E-存在)（Theorem 1 の「残る仮定」）。荷電共役は第 2・3 部で証明します。
- 原論文から直した点：Lemma 2 の最小化の向きの誤り（大きい制約集合の最小点が小さい集合に入るとは限らない）、新しい特性関数を入れる範囲（(64) が $\Omega_{k+1}^{\sim5}$ で成り立つように $\Lambda_k$ 全体で入れる）、$r$ が跳ぶ段での Lemma 2 の扱い、Lemma 3 の定数、共分散の平方根の局所近似を圧縮で定義し直したこと、など（§1.4）。

## 1. 動機

### 1.1. 何を示した論文か

格子の上で定義した場の理論は、格子間隔 $L^{-N}$ を $0$ に近づける極限（紫外極限）で意味のある対象に収束するかが問題になります。最初の関門は**安定性**です。分配関数を自由場の分配関数で割った比が、$N$ によらない正の定数ではさまれるか。これが成り立たなければ、相関関数を比として定義しても極限はとれません。

3 次元の量子電磁力学（QED₃）は、4 成分の Dirac 場と可換ゲージ場（光子）が電荷 $e$ で結合した理論です。$e^2$ が質量の次元をもつので**超くりこみ可能**で、くりこみ群の各段の実効的な結合定数 $e_k=L^{-\frac12(N-k)}e$ は紫外側で小さくなります。Dimock の 3 部作は、Bałaban がヤン・ミルズ理論の紫外安定性（<Ref to="physics/constructive-qft/rigorous-renormalization-group#thm-balaban-uv-stability" />）のために作った方法を、**フェルミオンを含むゲージ理論**に持ち込んだものです。

| 論文 | 内容 | 本テーマの章 |
|---|---|---|
| Ultraviolet regularity for QED in d=3（JMP 2018） | トーラス全体を小場とする有界場近似、流れの境界値問題 | 前篇 第 1〜4 部 |
| Multiscale block averaging for QED in d=3（JMP 2020） | 大場と小場の分割から生じる多尺度の平均、伝播関数と最小化元の正則性 | 第 1 篇 第 1〜4 部 |
| Ultraviolet stability for QED in d=3（AHP 2022） | 大場の領域を含む完全な解析、紫外安定性 | 本章〜第 4 部 |

本論文の主張は 2 つの定理です。Theorem 1 は「$k$ 段後の密度が、領域の履歴 $\Pi$ についての和の形 (6) に書け、有効作用の非局所部分 $E_k$ が流れの方程式に従う」こと、Theorem 2 は安定性の評価です。Theorem 1 の証明（論文 §3、帰納法の 1 段）が本論文の大部分を占めます。

### 1.2. 本テーマでの 4 部の分担

| 部 | 原論文 | 内容 |
|---|---|---|
| 第 1 部（本章） | §1・§2、§3.1〜§3.8（Lemma 1〜6） | 主張、抽出、新しい特性関数、ゲージ場の平行移動、超局所化、最後の小場展開 |
| [第 2 部](/physics/gauge-rg-papers/dimock-qed3-uv-stability-part-2) | §3.9〜§3.11（Lemma 7〜14）、付録 C | ゆらぎ場への第 1・第 2 の局所化と境界項 |
| [第 3 部](/physics/gauge-rg-papers/dimock-qed3-uv-stability-part-3) | §3.12〜§3.15（Lemma 15・16） | クラスター展開、正規化因子、再ブロック、スケール（Theorem 1 の完結） |
| [第 4 部](/physics/gauge-rg-papers/dimock-qed3-uv-stability-part-4) | §4、付録 D（Lemma 17〜27・29・30） | 最終段の積分、大場の領域和、Theorem 2 |

### 1.3. 物理への含意

Bałaban の方法の核心は、大場の領域の寄与が「立方体あたり $e^{-p_k}$」の利得をもち、これが立方体あたりの組合せの費用と作用の費用に勝つことにあります。QED₃ ではこの利得が $e_k$ のどの冪より小さく、しかも各段の Dirac 伝播関数の指数減衰はブロック平均の係数 $b$ から来るので質量によりません（第 1 篇 <Ref to="physics/gauge-rg-papers/dimock-qed3-block-averaging-part-2#thm-random-walk-expansion-dirac" />）。正の裸質量 $\bar m>0$ を使うのは最終段の自由行列式だけです（第 4 部）。また大場の領域に「凍結」されたフェルミオンの費用は、多尺度ノルムの重みと係数 $b_jL^{k-j}$ と体積 $L^{-3(k-j)}$ が打ち消し合って、点あたり $b_j$ で段の差 $k-j$ によりません（第 4 部）。この 2 点は、フェルミオンを含むゲージ理論の大場の解析を他の次元や臨界の質量に持ち込むときの、もっとも重要な構造です。4 次元では結合定数が無次元になり、大場に残るゲージ作用の係数の食い違いが段の差に比例するため、Bałaban のヤン・ミルズの解析と同じく追加の再編成が要ります。本論文はその手前の、超くりこみ可能な場合の完全な先例です。

### 1.4. 原論文との違い

| 箇所 | 原論文 | 本章 |
|---|---|---|
| (1) | $+\varepsilon_0\mathrm{Vol}$ | (20)(44)(48) と整合する符号は $-\varepsilon_0\mathrm{Vol}$（<Ref to="def-initial-density" />） |
| (35) | $\theta_k=\prod_{i=0}^{k-1}(1-e_k^\epsilon)$ | 添字は $e_i^\epsilon$（$e_k$ のままでは $\theta_k\ge\frac12$ が $k$ によらず成り立たない） |
| Definition 1 | Hölder 条件 $e_j^{-\frac34+3\epsilon}$ | 前篇と同じく $e_j^{-\frac34+2\epsilon}$ に緩める（流れの Banach 空間を前篇と共有するため） |
| (54)(57) | 新しい特性関数を $\Lambda_k^{5\natural}$ の立方体にだけ入れる | $\Lambda_k$ に含まれるすべての $LMr_{k+1}$ 立方体に入れる。そうしないと (64) が $\Omega_{k+1}^{\sim5}$ で成り立たない（<Ref to="rem-insertion-range" />） |
| (58) の後 | $d(\Lambda_k^c,\Omega_{k+1})\ge5Mr_k\ge5Mr_{k+1}$ | 段 $k+1$ の分離条件 (10) が要求するのはスケール前の単位で $5LMr_{k+1}$。縮小を $LMr_{k+1}$ 立方体の層で測ればそのとおりになる |
| Lemma 2 | 「後者の集合の最小点は前者の集合でも最小点」 | 向きが逆。正しくは「細かい列のデータが粗い列のデータを決めるので、粗い列の最小点は自分のデータでの細かい列の最小点」（<Ref to="lem-refinement-identity" />）。この形で証明を組み直す |
| Lemma 2 の (68) | $\square'_k$ 全体で $\lvert A_k-A^{\min}\rvert\le p^2_{0,k}$ | $\chi'_k$ が与えるのは $\tilde\square'$ の上だけ。$r_{k+1}=r_k$ の段は局所列の包含で、$r$ が跳ぶ段は隣の立方体の評価を大きな局所列で貼り合わせて示す（<Ref to="lem-redundant-characteristic-function" />） |
| Lemma 2 の結論 | $\Omega_{k+1}^{\sim5}$ | $\Omega_{k+1}^{\sim3}$（跳ぶ段で隣の立方体の特性関数を使うため）。$\chi_k(\square)$ が $\Omega_{k+1}$ の $A_k$ に依存しないことには $\sim3$ で足りる |
| Lemma 3 | $\lvert A^{\min}_{k,\Omega^+}-A^{\min}_{k,\Omega^+(\square)}\rvert\le Cp_{k+1}$ | 証明 (92) が与えるのは $CMp_{k+1}$（(91) とも整合） |
| (99)〜(102) | $\lvert d(\mathcal Q^{s,T}A)\rvert$ を有界として Lemma 17 を使う | 面の持ち上げ $\mathcal Q^{s,T}$ の場の強さは層ごとに $L^{2(k-j)}$ 倍になるので、層の跳びに多項式の因子を許した局所版（<Ref to="lem-local-hierarchical-axial-bound" />）を使い、多尺度距離の減衰で吸収する |
| (136)〜(143) | 局所近似を弱めパラメータで定義 | 共分散の正規直交基底での行列を立方体の近傍へ**圧縮**して定義し、平方根の差を Cauchy 積分で評価する（<Ref to="def-local-covariance" />）。弱めパラメータによる定義との関係は <Ref to="lem-random-walk-leaves-cube" /> |
| Remark (41) | 正則性定理の $\sup_{j'}$ で $\mathcal A_{k,\Omega}\in\tilde{\mathcal R}_{k,\Omega}$ | 正則性定理の正規化には大場の領域 $\Omega_1^c$ の $A_0$ が入り、特性関数は $\Omega_1$ の近く（$\Omega_1^{\sim5}-\Omega_1$）しか押さえない。第 $0$ 層の項を $\Omega_1$ の近くに限った正則性定理の局所版（第 1 篇第 4 部 <Ref to="physics/gauge-rg-papers/dimock-qed3-block-averaging-part-4#thm-landau-minimizer-regularity-local" />）を使い、その正規化 $S^\flat\le1$ を特性関数から導く（<Ref to="prop-small-field-implies-analytic-domain" />、経緯は <Ref to="rem-omega1-complement" />） |
| §2.3 の停止点 | $K=K_0-\log_Lr_K$ を満たす最初の点で、「一意に定まる」 | そのような点は $r$ が跳ぶ段で 2 つ続きうるので一意ではない。最初のものをとり、$k\le K-1$ で前篇の条件 (W) が成り立つことを示す（<Ref to="lem-stopping-point-conditions" />） |
| $r$ | 正の整数 | $r\ge2$（$e^{-r_k}$ を $e_k$ のどの冪より小さくするため。<Ref to="lem-scale-parameters" />） |
| Lemma 4 | $\Omega^{3\natural}_{k+1}$ の立方体 | $\Omega^{2\natural}_{k+1}$ で成り立つ（局所列の最上層が $\Omega_{k+1}$ に入れば足りる） |
| (104)(124)(125) | $\chi^\dagger_k$ を $Z_k$ で判定し、ボンドごとの $g_b$ で平行移動（帯では常に） | $g$ は立方体ごとに滑らかにし、帯は $R_{k+1}$ によらない局所化した列に向けて移し、$\chi^\dagger_k$ は帯の移動を差し引いた場で判定（<Ref to="rem-shift-modification" />）。$b\in R_k$ は $R_{k+1}$ の誤記 |
| (55)(104)(125) | $\chi'_k$、$\chi^\dagger_k$ をすべてのボンドで判定し、平行移動の場を領域に制限 | 領域への制限は平均の条件 $\mathcal QZ=0$ を破るので、径数づけ $Z=C\tilde Z$ の座標の上で切り落とす。$\chi'_k$、$\chi^\dagger_k$ と切り落としの判定からは $L$ ブロックの面の中心のボンドを除く（§5.2、§7.2） |
| (113) と (127) の後の Remark | $\mathfrak H$ は $d\mathcal A^0_{k+1,\Omega^+}$ の関数 | そのとおりだが、$\Omega_{k+1}$ の境界をまたぐボンド（$Z_k$ が住む）が局所化した列のデータに入らないことの確認が要る（<Ref to="def-localized-sequence" />。$Y\subset\Omega^{3\natural}_{k+1}$ に限る） |
| (27) | $j=k$ も $(\Omega_k^{\sim5})^{(k)}-\Omega_{k+1}^{(k)}$、$\Omega_{k+1}=\emptyset$ | $j=k$ は $\Omega_k^{\sim5}-\Lambda_k$（$\Lambda^{3\natural}_k$ の $A_k$ によらないことと両立させる。<Ref to="def-density-form" />）。さらに第 $0$ 層の評価（$\Omega_1^{\sim5}-\Omega_1$ で $\lvert dA_0\rvert\le\frac12L^{\frac32k}p_0$）を加える |
| Theorem 1 の 2 | $\lvert\tilde Z_{j,\Omega_j-\Lambda_j}\rvert\le L^{(k-j)/2}$、$\mathcal A\in\tilde{\mathcal R}_k$、境界項はゲージ不変 | 添字は (14) に合わせて $\tilde Z_{j,\Omega_{j+1}-\Lambda_{j+1}}$、領域は $\tilde{\mathcal R}_{k,\Omega}$ と広い領域 $\lvert\tilde Z_j\rvert\le L^{(k-j)/2}e_j^{-\epsilon/4}$。$B(X)$ の $Z$ への依存は、切り落としの値を通して $X$ と交わるか面で接する $R_j$ の立方体全体に及ぶ。境界項のゲージ不変性は主張しない |
| (40) を使える範囲 | 積分領域のすべての $(A,Z)$ で断りなく使う | 大場の領域に残るゆらぎが (40) の領域に入ることを、特性関数から証明する（<Ref to="lem-fluctuation-bound-on-support" />、Theorem 1 の 3） |
| Theorem 1 の 1 の対称性 | 「ゲージ不変、格子対称性で不変」 | ゲージ共変性・実数性・荷電共役は第 2・3 部で証明（荷電共役は、弱めた Dirac の作用素を右と左の展開の平均でとる）。格子対称性（平行移動と符号行列）は仮定 (SY-L) として明示（<Ref to="rem-lattice-symmetry-obstruction" />）。座標を入れ替える格子対称性は主張しない |
| (136)(142) の弱めた版と履歴 | ランダムウォーク展開の弱めパラメータ。「領域の中だけを通る歩みは履歴によらない」 | 圧縮で定めた核を大域版と差に分け、大域版には 2 点を結ぶ線分、差には $\Omega_{k+1}$ の境界を経由する折れ線の近くの $M$ 立方体の $s_\square$ を掛ける（<Ref to="def-kernel-weakening" />。定数は $M^{64\alpha_0}$ 倍）。履歴からの独立性は差の指数的な小ささ（<Ref to="lem-covariance-history-comparison" />）から証明する |
| 停止点の直前の段 | 言及なし | 段 $K-1$ ではトーラス全体が 1 個の $\ell'$ 立方体で、局所列は一周する。読み方を定め、1 段の議論が通ることを確かめる（<Ref to="lem-wrapping-stage" />。$L\ge17$） |
| (157) | $\chi^\dagger(\Omega^{3\natural}-(U\cup\Lambda^{\sim4}))$ | $U$ は $R$ の誤記 |

（この章の続きは購入者向けです。）