Chern--Simons Fluctuations and Information Geometry in Discrete Electromagnetism

技術要約：離散電磁気学におけるチャーン・シモンズ揺らぎと情報幾何学

問題提起
本論文は、磁気ヘリシティによって制約された電磁場の統計状態の定式化について、離散的な枠組みの中で取り扱う。ヘリシティ制約を伴う統計的構成は、連続的な磁気流体力学（Frischらによるものなど）において存在するが、これらは最大エントロピー原理（Jaynes）に基づいている。これに対し、本研究の目的は、ホイットニー（Whitney）形式によって離散化された電磁複体上で、ヘリシティ制約を直接的に定式化することにある。物理的な重要な注釈として、制約のないマクスウェル動力学の下では、磁気ヘリシティは一般に保存されないことが挙げられる。したがって、本研究の目的は、自由なマクスウェル場における定常な動的平衡を記述することではなく、所与の平均ヘリシティを与えられた条件下での瞬時的なヘリシティ条件付き推論状態を構築することである。

手法
著者は、単体複体 $K$ によって三角形分割された、閉じた向き付けられたリーマン3次元多様体 $M$ 上の電磁場を離散化するために、ホイットニー形式および有限要素外微分形式論を用いている。

1. 離散ゲージ簡約:

   • 離散磁気ポテンシャルは1次コチェイン $a \in C^1(K)$ である。
   • 単体ド・ラーム複体は、コホモロジー的な恒等性を保存する。離散ゲージ変換は0次コチェイン $\chi$ によって生成され、$a \mapsto a + \delta_0 \chi$ と写像される。
   • ホイットニー内積を用いることで、1次コチェインの空間は、ゲージ成分 ($V_g = \text{im } \delta_0$)、調和成分 ($V_h = \mathcal{H}^1_K$)、および横波放射成分 ($V_T = \text{im } \delta_1^*$) の3つのセクターに直交分解される。
   • 非正規化可能なガウス重みを避けるため、著者らは調和セクター（ポテンシャルおよび電場）を固定し、解析を放射フェーズ空間 $P_T = V_T \oplus V_T$ に限定している。

2. 離散チャーン・シモンズ汎関数:

   • 空間的アベル型チャーン・シモンズ汎関数は、$CS_K(a) = \int_M W_1(a) \wedge dW_1(a)$ （ここで $W_1$ はホイットニー写像）として離散化される。
   • この汎関数が、exact（完全）成分および調和成分の両方を消滅させ、coexact（余完全）成分（放射成分）$a_T$ のみに依存することを証明している。
   • $V_T$ のホイットニー正規直交基底において、$CS_K(a)$ は対称行列 $C$ を用いて $CS_K(a) = a^\top C a$ と表される。

3. 統計的構成:

   • 簡約されたフェーズ空間上に、以下の確率密度を持つガウスアンサンブルを定義する：
     $$p_{\beta,\gamma}(a, e) = Z_K(\beta, \gamma)^{-1} \exp\left(-\beta E_K(a, e) - \gamma CS_K(a)\right)$$
     ここで $E_K$ は簡約されたマクスウェルエネルギーであり、$\beta$ は逆温度、$\gamma$ は平均ヘリシティ制約に対するラグランジュ乗数である。
   • 分配関数 $Z_K$ および許容条件は、正定値行列 $Q_{\beta,\gamma} = \beta L + 2\gamma C$ （ここで $L$ は離散磁気エネルギー演算子を表す）に基づいて導出される。

主要な貢献および結果

• 厳密なゲージ不変性と簡約: 本論文は、離散チャーン・シモンズ汎関数が厳密にゲージ不変であり、かつ放射成分のみに依存することを実証している。これにより、トポロジカルな情報を失うことなく、位相空間を厳密に簡約することが可能となる（調和モードはゲージとして商集合化されるのではなく、固定されている）。
• 明示的な分配関数と許容性: 分配関数 $Z_K(\beta, \gamma) = (2\pi)^n \beta^{-n/2} \det(Q_{\beta,\gamma})^{-1/2}$ が明示的に導出される。パラメータ $(\beta, \gamma)$ の許容領域は、$\beta L + 2\gamma C > 0$ という条件によって特徴付けられ、これは一般化ヘリシティ演算子の固有値に関する制約へと帰着する。
• 最小相対エントロピー: 分布 $p_{\beta,\gamma}$ が、所与の平均ヘリシティ制約を満たすすべての分布の中で、相対エントロピー $D(p \| p_{\beta,0})$ を一意に最小化することが証明されている。これにより、この分布が制約を与えられた際の最適な推論状態であることが確立される。
• 情報幾何学と感受率:
  • フィッシャー情報行列は、対数分配関数のヘッセ行列と同一視される。
  • 中心的な結果として、揺らぎ散逸関係、すなわちヘリシティ感受率 $\chi_H = -\partial_\gamma \langle CS_K \rangle$ が、離散チャーン・シモンズ汎関数の分散 $\text{Var}_{\beta,\gamma}(CS_K)$ に厳密に等しいことが示される。これはフィッシャー情報成分 $g_{\gamma\gamma}$ に対応する。
  • この分散は、相対エントロピー展開 $D(p_{\beta,\gamma} \| p_{\beta,\gamma+\epsilon}) \approx \frac{\epsilon^2}{2} \text{Var}_{\beta,\gamma}(CS_K)$ を通じて、隣接する統計状態の局所的な識別可能性を定量化する。
• メッシュレベルの計算可能性: すべての量（分配関数、平均ヘリシティ、感受率）は、計算可能な単体データ（入射行列 $D_0, D_1$、ホイットニー質量行列 $M_1, M_2$、および離散チャーン・シモンズ・ペアリング行列 $S$）を用いて表現される。

意義および主張
本論文は、ヘリシティ制約を持つ電磁場の情報幾何学的揺らぎに関する厳密なメッシュレベルの実装を提供すると主張している。従来のスペクトル截断法とは異なり、本手法は離散複体に直接作用し、厳密な離散ゲージ対称性とコホモロジー構造を保持する。

著者は、これらの状態が動的平衡ではなく、条件付き推論を表していることを強調している。これは、磁気ヘリシティが自由なマクスウェル発展の下では保存されないためである。この構成は、閉じた多様体上のトポロジカルに自明なアベル型セクターに特化したものである。本論文は、メッシュ細分化不変性、連続体極限、または自由動力学下の定常性を主張するものではない。これらはさらなる分析を要するものとして特定されている。本研究は、ヘリシティによって制約された離散電磁場の統計的性質を計算するための厳密な基礎を提供し、チャーン・シモンズの揺らぎをフィッシャー情報を通じて統計的な識別可能性へと直接結びつけるものである。