# Dimock『Multiscale block averaging for QED₃』精読 第 4 部：Landau Green 関数・最小化元の多尺度評価と最小化元の局所正則性定理

> Dimock の QED₃ 論文 §3.7〜§3.9 を精読する。Bałaban の Landau Green 関数の評価から最小化元とゆらぎ共分散の核評価を導き、軸ゲージ場の格子 Stokes 評価（Lemma 16・17）を経て、主結果である Landau 最小化元の局所正則性（Theorem 1）を証明する。
> https://rikai.mugen-giken.com/physics/gauge-rg-papers/dimock-qed3-block-averaging-part-4

## 0. この記事の要点

ゲージ場の平均を何段もとったあとの最小化元が、場の強さだけで決まる小さな場とゲージ同値になる、という局所正則性の定理を示す章です。後の評価がゲージの選び方に左右されないための最後の部品にあたります。

- J. Dimock の論文 "Multiscale block averaging for QED in d=3"（J. Math. Phys. 61 (2020) 032302、arXiv:1712.10029）の §3.7〜§3.9 を精読します。ゲージ場の多尺度ブロック平均で現れる [Landau ゲージ](/physics/lattice-field-theory/lattice-differential-forms#def-lattice-landau-gauge)の Green 関数 $\mathcal G_{k,\Omega}$、最小化元を与える作用素 $\mathcal H_{k,\Omega}$、ゆらぎ共分散 $C'_{k,\Omega^+}$ の評価を整え、論文の主結果である**最小化元の局所正則性（Theorem 1）**を証明します。
- 論文が Bałaban（Commun. Math. Phys. 95・96・99）から引用する評価は、1 つの命題（<Ref to="prop-landau-green-function-bounds" />）に「局所化した核の評価」の形でまとめ、Bałaban の[伝播関数の準備章](/physics/gauge-rg-papers/balaban-prereq-propagators)に帰着させます。そこから先、重みつきの総和の評価、$\mathcal Q\mathcal G\mathcal Q^{\mathsf T}$ と $\mathcal H_{k,\Omega}$ の核評価、ゆらぎ共分散の表示 (305) とその平方根の指数減衰は、本章で証明します。
- 単位格子の軸ゲージ場は $|A|\le c_0L^2\|dA\|_\infty+L\|\mathcal QA\|_\infty$ を満たし（Lemma 16）、多尺度では $|\mathcal Q_j\mathcal A|\le L^{k-j}(2c_0\|d\mathcal A\|_\infty+\|\mathcal Q_k\mathcal A\|_\infty)$ となります（Lemma 17）。どちらも格子 Stokes の定理と「帯状の曲面」の数え上げだけで示せます。
- Theorem 1：制限軌道 $\mathcal Q_{k,\Omega}\mathcal A=A_{k,\Omega}$ の最小化元は、$\delta\Omega_j$ の各 $L^{-(k-j)}M$ 立方体の拡大 $\tilde\square^\dagger$ の上で、場の強さのデータだけで決まる大きさ $C_0Mp_j\sup_{j'}L^{-\frac32(k-j')}p_{j'}^{-1}\sup|dA_{j'}|$ の場にゲージ同値です。定数 $C_0$ は $L$ だけで決まり、$k$・$N$・領域によりません。
- 証明は論文の 4 段（近似場 $A^\star$、境界の欠損 $B^\star$、粗い評価、定数の改良）に従います。ただし原論文の議論には、(i) (350) の Landau 条件の扱い、(ii) Part III で小さな立方体ごとのゲージ同値を貼り合わせる段、(iii) Part IV の緩衝領域が 2 つの層にしか触れないという暗黙の仮定、(iv) 定数の選び方 $C_0=\frac12C$ の誤記、があります。本章は帰納法の主張を「場の強さの空間 $\mathfrak A_{k,\Omega}(K)$ に入る」という点ごとの条件に組み替え、分離条件を明示的に強めて、すべて証明します。
- 続く論文での使い方に合わせて、Theorem 1 の**局所版**も証明します（§7.6）。正規化の第 0 層の項を、$\Omega_1$ から緩衝領域の幅 $Wu_1M$ 以内のプラケットだけの上限に替えても、結論は同じ形、同じ定数で成り立ちます。大場の領域 $\Omega_1^c$ の奥の場には何も仮定しません。

## 1. 動機

### 1.1. 何を示す章か

3 次元の量子電磁力学（QED₃）を Bałaban 型の[くりこみ群](/physics/constructive-qft/rigorous-renormalization-group#def-block-spin)で構成するとき、$k$ 段目の有効密度は、場の強さ $dA$ が小さい「小場」の領域の減少列 $\Omega=(\Omega_1,\dots,\Omega_k)$ に応じて、場所ごとに平均の回数が違う多尺度の場 $A_{k,\Omega}=(A_0,A_1,\dots,A_k)$ の関数になります（第 3 部）。その主要部は自由作用 $\frac12\|d\mathcal A\|^2$ を制約 $\mathcal Q_{k,\Omega}\mathcal A=A_{k,\Omega}$ のもとで最小化した値で、最小化元 $\mathcal A_{k,\Omega}=\mathcal H_{k,\Omega}A_{k,\Omega}$ は、フェルミオンの伝播関数 $S_{k,\Omega}(\mathcal A)$ の**背景場**として使われます。

ところが第 2 部のフェルミオン伝播関数の評価は、背景場が小さいこと、正確には各立方体の上で小さな場にゲージ同値であること（空間 $\tilde{\mathfrak G}_{k,\Omega}$）を要求します。くりこみ群の各段で制御できるのは場の強さ $dA_j$ の大きさだけで、場そのもの $A_j$ はゲージの選び方でいくらでも大きくなります。したがって

> 最小化元は、場の強さのデータ $\sup|dA_{j'}|$ だけで評価される小さな場に、各立方体の上でゲージ同値か

という問いに答える必要があります。これが Theorem 1（正則性）で、論文の題にある「多尺度ブロック平均」をゲージ場の側で使えるものにする最後の段です。

### 1.2. 何が難しいか

$\mathcal A_{k,\Omega}=\mathcal H_{k,\Omega}A_{k,\Omega}$ と書けるので、$\mathcal H_{k,\Omega}$ の核の評価（§4）から $|\mathcal A_{k,\Omega}|\lesssim\sup|A_{j'}|$ はすぐに出ます。しかし右辺は場そのものの大きさで、場の強さではありません。局所的にはゲージ変換で場を場の強さで押さえられます（軸ゲージ、§6）が、軸ゲージの場は滑らかでなく、微分 $\partial\mathcal A$ の評価が出ません。そこで、

1. 軸ゲージで場を場の強さで押さえ（Lemma 16・17）、
2. 立方体のまわりだけで問題を解き直し（緩衝領域の列 $\Omega^\bullet(\square)$）、
3. 解き直した問題の Landau ゲージの最小化元に $\mathcal H$ の核の指数減衰を使う、

という 3 段を組み合わせます。3 段目で遠くの寄与は $e^{-\gamma M}$ だけ小さくなるので、粗い評価（定数 $CC_0M$）を鋭い評価（定数 $C_0M$）に改良でき、帰納法が閉じます。この「粗い評価を指数減衰で改良する」構造は、Bałaban が非可換の格子ゲージ理論で使った方法（Commun. Math. Phys. 99 (1985) 75–102、102 (1985) 277–309）の可換版です。

### 1.3. 前後の論文と物理への含意

前段の Dimock "Ultraviolet regularity for QED in d=3"（J. Math. Phys. 59 (2018) 012301）は、場の強さが全域で有界という近似のもとで大域の平均を扱い、正則性を「滑らかさを改良した軸ゲージの最小化元」で示しました。多尺度ではその方法が使えません。$\mathcal Q_k\mathcal Q_k^{s,\mathsf T}=I$ や $d\mathcal Q_k^{s,\mathsf T}=\mathcal Q_k^{e,\mathsf T}d$ のような恒等式が、多尺度の平均 $\mathcal Q_{k,\Omega}$ では境界で崩れるからです。論文は、この見落としが旧版にあったと注記しています。本章の Theorem 1 は、続く論文 "Ultraviolet stability for QED in d=3" で、背景場が第 2 部の空間 $\tilde{\mathfrak G}_{k,\Omega}$ に入ることを保証するために使われます（<Ref to="cor-minimizer-in-small-field-domain" />）。

4 次元の QED や非可換ゲージ理論への含意について一言だけ述べます。本章の議論で次元が効くのは、場のスケール因子（$A$ は $L^{-1/2}$、$dA$ は $L^{-3/2}$）と立方体の数え上げだけです。格子 Stokes の評価（Lemma 16・17）は次元によらず、Theorem 1 の証明の骨組み（粗い評価 → 緩衝領域 → 指数減衰による改良）も次元によりません。4 次元で変わるのはスケール因子が $L^{-1}$、$L^{-2}$ になることと、結合定数が無次元になって小場の条件の取り方が変わることです。

### 1.4. 本章の範囲と規約

扱うのは論文の §3.7（ランダムウォーク展開の評価）、§3.8（Lemma 16・17）、§3.9（Theorem 1 と Remarks）です。§3.7 で論文が Bałaban から引用する評価のうち、Landau Green 関数・$\mathcal N_{k,\Omega}$・$dP_{k,\Omega}\delta$ のランダムウォーク展開とその項の評価、および $\Delta_{k,\Omega}$ の上界は、本章では **<Ref to="prop-landau-green-function-bounds" /> の入力**として扱い、Bałaban の伝播関数の準備章（<Ref to="physics/gauge-rg-papers/balaban-prereq-propagators#thm-random-walk-expansion" /> と <Ref to="physics/gauge-rg-papers/balaban-prereq-propagators#thm-propagator-norm-bounds" />）に帰着させます。それ以外はすべて証明します。

原論文と違う点を先にまとめておきます（詳しくは各所の注意）。

| 箇所 | 原論文 | 本章 |
|---|---|---|
| Theorem 1 の右辺 | $\sup_{1\le j'\le k}$ | $j'=0$（$\Omega_1^c$ の $A_0$）も含める（<Ref to="rem-j-zero" />）。$j'=0$ の項を $\Omega_1$ から $Wu_1M$ 以内に限った局所版も証明する（§7.6、<Ref to="thm-landau-minimizer-regularity-local" />） |
| 分離条件 | (88) $d(\Omega_{j+1},\Omega_j^c)\ge6L^{-(k-j)}M$ | Theorem 1 では強めた (88♯) を仮定（<Ref to="rem-separation" />） |
| (350) | Landau 条件 $R_{k+1,\Omega^+}\delta(\mathcal A^\star+\mathcal B)=0$ を $R\delta\mathcal B=0$ と同一視 | $\mathcal A^\star$ を $\Omega^+$ の Landau 代表元に取り替えてから同一視（<Ref to="rem-landau-rep-fix" />） |
| Part III | 立方体ごとのゲージ同値を「定数の調整」で大きな立方体に移す | 帰納法の主張を $\mathfrak A$ への所属に組み替え、貼り合わせを不要にする（<Ref to="rem-induction-restructured" />） |
| (376) | $C_0=\frac12C$ | $C_0=2C$（誤記） |
| (347) | $L^{-(1+\beta)(k+1-j)}\vert \mathcal A'\vert $ | $L^{-\frac12(k+1-j)}\vert \mathcal A'\vert $（誤記） |

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