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

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 ゲージの Green 関数 $\mathcal G_{k,\Omega}$、最小化元を与える作用素 $\mathcal H_{k,\Omega}$、ゆらぎ共分散 $C'_{k,\Omega^+}$ の評価を整え、論文の主結果である**最小化元の局所正則性（Theorem 1）**を証明します。
• 論文が Bałaban（Commun. Math. Phys. 95・96・99）から引用する評価は、1 つの命題（命題 3.2）に「局所化した核の評価」の形でまとめ、Bałaban の伝播関数の準備章に帰着させます。そこから先、重みつきの総和の評価、$\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 型のくりこみ群で構成するとき、$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}$ に入ることを保証するために使われます（系 7.17）。

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}$ の上界は、本章では 命題 3.2 の入力として扱い、Bałaban の伝播関数の準備章（定理 4.7［準備 3］ と 定理 6.3［準備 3］）に帰着させます。それ以外はすべて証明します。

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

箇所	原論文	本章
Theorem 1 の右辺	$\sup_{1\le j'\le k}$	$j'=0$（$\Omega_1^c$ の $A_0$）も含める（注意 7.3）。$j'=0$ の項を $\Omega_1$ から $Wu_1M$ 以内に限った局所版も証明する（§7.6、定理 7.23）
分離条件	(88) $d(\Omega_{j+1},\Omega_j^c)\ge6L^{-(k-j)}M$	Theorem 1 では強めた (88♯) を仮定（注意 7.4）
(350)	Landau 条件 $R_{k+1,\Omega^+}\delta(\mathcal A^\star+\mathcal B)=0$ を $R\delta\mathcal B=0$ と同一視	$\mathcal A^\star$ を $\Omega^+$ の Landau 代表元に取り替えてから同一視（注意 7.11）
Part III	立方体ごとのゲージ同値を「定数の調整」で大きな立方体に移す	帰納法の主張を $\mathfrak A$ への所属に組み替え、貼り合わせを不要にする（注意 7.12）
(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$（誤記）

ここから先は有料（買い切り ¥200）の内容です。

この章は博士課程以上・研究水準の内容です。続き（定義・定理・証明・例・演習）は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン