# 準備 1：ゲージ場のブロック平均と平均化された輪郭変数 — Bałaban『Averaging operations for lattice gauge theories』(1985) の結果

> 格子ゲージ場のブロック平均操作を精読する。平均がプラケットの正則性をスケールどおりに保つこと、ゲージを付け替えた合成平均の線形化と汎関数微分の評価、解析性、ゲージ変換の平均、Federbush の群平均と Euclid 共変性を証明する。
> https://rikai.mugen-giken.com/physics/gauge-rg-papers/balaban-prereq-averaging

## 0. この記事の要点

格子の上のゲージ場を、細かい格子から粗い格子へ、ブロックごとに平均して移す操作を定める章です。何度くり返しても場が暴れず、解析的に扱えることを示します。後続の Bałaban の論文はすべて、ここで得た評価を部品として使います。

- ゲージ場の[くりこみ群](/physics/constructive-qft/rigorous-renormalization-group#def-block-spin)は、細かい格子の配置 $U$ を粗い格子の配置 $\overline U$ に移す**平均操作**で定義されます。Bałaban の平均は、ブロックの中の $L^d$ 本の輪郭の[ホロノミー](/physics/lattice-field-theory/lattice-gauge-fields#def-path-transporter)の対数を平均し、指数に戻す操作で、ゲージ共変 $(\overline{U^u})=(\overline U)^u$ かつ局所的です（<Ref to="def-averaging" />、<Ref to="prop-averaging-gauge-covariance" />）。
- [プラケット](/physics/lattice-field-theory/lattice-gauge-fields#def-path-transporter)が $\lvert U(\partial p)-1\rvert\lt\alpha_0$ を満たせば、1 回の平均で $\lvert\overline U(\partial p')-1\rvert\lt L^2\alpha_0+C_0(L^2\alpha_0)^2$ です。$k$ 回の平均では $\lvert U(\partial p)-1\rvert\lt\alpha_0\eta^2$（$\eta=L^{-k}$）から $\lvert\overline U^k(\partial p)-1\rvert\lt2\alpha_0$ が出ます（原論文 Proposition 1・2、<Ref to="prop-averaged-plaquette-bound" />）。鍵は、四辺の輪郭の和が $L\times L$ の正方形の境界に組み直される線形の恒等式です（<Ref to="lem-contour-variable-stokes" />）。
- 背景場 $U_0$ のまわりで $U=e^{i\eta A}U_0$ と書き、ブロックごとにゲージを付け替えると、相対的な $k$ 回平均の対数 $Q_k(U_0,\eta A)$ は $A$ の[解析関数](/mathematics/complex-analysis/several-complex-variables#def-holomorphic-several)で、線形部分は標準のブロック平均 $Q_k$ に $O(\alpha_0)$ の補正を足したもの、2 次以上は $C_2\lvert A\rvert^2$ で抑えられ、定数は $k$ によりません（Proposition 3・4、<Ref to="prop-averaging-linearization" />）。汎関数微分も $\eta$ によらず有界です（Proposition 5、<Ref to="prop-averaging-functional-derivative" />）。
- 付け替えた合成平均は、1 回ずつの付け替え平均の合成に等しく（原論文 (92)、<Ref to="prop-composite-averages" />）、これから 2 つの配置の平均の差が元の差の $O(1)$ 倍で抑えられること（Proposition 6・7、<Ref to="prop-averaged-configuration-differences" />）が出ます。
- ゲージ変換にも同じ型の平均が定義でき、積や正則なゲージ変換との積に対して、スケールに合った評価が保たれます（Proposition 8–10）。さらに後続論文で使う Euclid 共変な平均（Federbush の群平均、<Ref to="prop-federbush-average" />）と、δ 関数の線形化（<Ref to="prop-delta-function-linearization" />）を証明します。

## 1. 動機

### 1.1. くりこみ群と平均操作

Wilson 流のくりこみ群は、格子間隔 $\eta$ の配置についての関数 $\rho(U)$ を、格子間隔 $L\eta$ の配置についての関数
$$
\rho'(V)=\int dU\,\delta\bigl(V\,\overline U^{-1}\bigr)\rho(U)
$$
に移す積分変換です。ここで $dU$ はボンドごとの [Haar 測度](/physics/lattice-field-theory/lattice-gauge-fields#thm-haar-measure)の積、$\overline U$ は $U$ をブロックごとに平均した粗い配置です。ゲージ理論ではこの平均に二つの要請があります。第一に、$\rho$ がゲージ不変なら $\rho'$ もゲージ不変であること。これは平均がゲージ変換と可換 $\overline{U^u}=(\overline U)^{u}$ なら成り立ちます（<Ref to="prop-averaging-gauge-covariance" />）。第二に、単位元の近くの配置 $U=e^{iA}$ では、$\tfrac1i\log\overline U$ が $A$ の線形なブロック平均で近似されること。線形な（Abel 的な）理論では、ブロック平均 $Q$ の下での Gauss 積分の計算（<Ref to="physics/constructive-qft/rigorous-renormalization-group#prop-gaussian-block-spin" />）がくりこみ群の 1 段の骨格であり、非可換な理論でもこの骨格を「小さい場」の上で使いたいからです。

Bałaban は 1984–85 年の一連の論文で、この二つを満たす具体的な平均を定め、それがくりこみ群の反復に耐えること、すなわち「正則な配置の平均を何度とっても、スケールに見合った意味で正則なまま」で「平均は場について解析的」であることを示しました。本章で読む論文 T. Bałaban, "Averaging operations for lattice gauge theories", *Commun. Math. Phys.* 98 (1985) 17–51 がその部分です。プロパゲータの論文（CMP 95・96）、正則配置の空間の論文（CMP 99）、変分問題の論文（CMP 102）と並び、3 次元の紫外安定性（CMP 102）と、4 次元の小場の有効作用・クラスター展開・大場のくりこみ（CMP 109, 116, 119, 122）の技術的な土台になっています。

### 1.2. 何が非自明か

平均 $\overline U$ のプラケット変数は、$U$ のプラケット変数から直接は決まりません。$\overline U(c)$ は粗いボンド $c$ に沿った輪郭のホロノミーの平均で、粗いプラケット $p'$ のまわりの 4 つの平均の積 $\overline U(\partial p')$ が $1$ に近いことは、「4 辺の輪郭を合わせると $L\times L$ の正方形を囲む閉路になる」という幾何に依存します。線形化すれば輪郭の和は正確に正方形の境界の和になり、正方形の中の $L^2$ 枚のプラケットの和に書き直せます（Stokes の定理の格子版）。このため 1 回の平均でプラケットの大きさはほぼ $L^2$ 倍になり、$k$ 回で $L^{2k}=\eta^{-2}$ 倍です。したがって出発点で $\lvert U(\partial p)-1\rvert\lt\alpha_0\eta^2$ と仮定すれば、粗い格子では $O(\alpha_0)$ に収まります（Proposition 2）。物理的には、$\eta^{-2}(U(\partial p)-1)$ が場の強さ $F_{\mu\nu}$ に当たり、それが $O(\alpha_0)$ であるという連続極限に整合的な条件です。

線形化の側も同様に非自明です。平均の線形部分は、背景場 $U_0$ が自明でなければ平行移動 $R(U_0(\Gamma))$ を含み、標準のブロック平均 $Q$ から $O(\alpha_0)$ ずれます。このずれを $k$ 回積み重ねても発散しないこと、とくに $(1+O(\alpha_0L^{2j}\eta^2))$ の積が $j$ について収束することが、Proposition 4・5 の要点です。

### 1.3. 4 次元のくりこみ群での使われ方

本テーマの後続の章（Bałaban の RG I–III と Large field renormalization I・II、Dimock の QED₃）では、本章の結果が次の形で使われます。

| 本章の主張 | 使われ方 |
|---|---|
| <Ref to="prop-averaged-plaquette-bound" /> | 小場領域で粗い配置 $V=\overline U^k$ が正則であること。大場の特性関数の冗長性の議論 |
| <Ref to="prop-averaging-gauge-covariance" />、<Ref to="prop-averaging-euclidean-invariance" /> | くりこみ変換がゲージ不変性・格子 Euclid 不変性を保つこと |
| <Ref to="prop-averaging-linearization" />、<Ref to="prop-averaging-functional-derivative" /> | δ 関数の線形化、Ward 恒等式の導出での平均操作の微分 |
| <Ref to="prop-averaged-configuration-differences" /> | 最小配置と配置の差、背景場の取り替えの評価 |
| <Ref to="prop-federbush-average" /> | Euclid 共変な軸ゲージ固定で使う平均化された輪郭変数 |

量子電磁力学 QED₄ のような可換理論では、Lie 環は可換で BCH の補正が消え、本章の非線形評価の多くは自明になります。それでも平均の幾何（輪郭の組み直しと $L^2$ のスケーリング）は同じで、Dimock の QED₃ の多段ブロック平均は本章の線形部分とまったく同じ構造をもちます。本章の評価は次元によらないので、3 次元と 4 次元で同じものを使えます。

### 1.4. 本章の構成と原論文との対応

| 原論文 | 本章 |
|---|---|
| §A (16)–(41) | §2.2–§2.4 の補題（<Ref to="lem-log-unitary" />、<Ref to="lem-log-series" />、<Ref to="lem-bch-remainder" />、<Ref to="lem-bch-first-order" />）。原論文の $g$ 関数による導関数の計算は、Cauchy 評価（<Ref to="lem-holomorphic-toolkit" />）に置き換えます |
| §B (42)–(54), Prop. 1・2 | <Ref to="def-averaging" />、<Ref to="prop-averaged-plaquette-bound" /> |
| §C (55)–(108), (92) | <Ref to="prop-gauge-change-one-step" />、<Ref to="prop-composite-averages" /> |
| §D Prop. 3・4・5 | <Ref to="prop-one-step-linearization" />、<Ref to="prop-averaging-linearization" />、<Ref to="prop-averaging-functional-derivative" /> |
| §E Prop. 6・7 | <Ref to="prop-averaged-configuration-differences" />、<Ref to="prop-background-analyticity" /> |
| §F Prop. 8・9・10, (207)–(214) | <Ref to="prop-gauge-average-products" />、<Ref to="prop-gauge-average-one-step" />、<Ref to="prop-gauge-average-regular" /> |
| RG I (0.5)–(0.12) | <Ref to="prop-federbush-average" />、<Ref to="def-euclidean-average" />、<Ref to="prop-averaging-euclidean-invariance" /> |
| RG I (2.4) 型 | <Ref to="prop-delta-function-linearization" /> |

原論文は定数を $O(1)$ で書き、「容易に」「同様に」で多くの段を省いています。本章ではすべての段を書き、定数の依存性（$d$ だけか、$d$ と $L$ か）を明示します。原論文と主張の形が違うところは、その場の注意に書きます。

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