Information Loss under Gauge Reduction of Discrete Electromagnetic Fields

技術要約：離散電磁場におけるゲージ簡約に伴う情報損失

問題提起
古典および量子場理論において、ゲージポテンシャルは冗長な変数を含んでいる。アベル型（Abelian）の設定では、ゲージ変換 $A \mapsto A + d\chi$ によって関連付けられたポテンシャルは、同一の物理的電磁場を記述する。統計的な観点から見ると、この冗長性は、観測不可能なゲージ変数が除去される際に、二つの補助的な記述間の区別可能性がどの程度失われるかという根本的な問いを提起する。古典的な相対エントロピーの連鎖律はよく知られているが、離散ゲージ理論（特にホイットニー形式や有限要素外微分幾何学を利用するもの）の文脈において、その明示的な実現、特にガウス分布の状態に関する性質は、まだ十分に特徴付けられていない。本論文は、離散ポテンシャルの空間から物理的な観測量の空間への射影に伴う情報損失の定量化に取り組むものである。

手法
本研究は、閉じた向き付けられたリーマン3多様体 $K$ の有限三角分割上のホイットニー離散化電磁気学の枠組みの中で動作する。

1. 離散ホッジ分解: 離散1次コチェイン（ポテンシャル）の空間 $C^1(K)$ は、以下の離散ホッジ分解を用いて分解される：
   $$C^1(K) = V_p \oplus V_g$$
   ここで、$V_g = \text{im } \delta^0$ は完全なゲージ方向を表し、$V_p = \text{ker } \delta^1 \cap \text{ker } \delta^*_0 \oplus \text{im } \delta^*_1$ は調和的および余完全な物理的自由度を含む。
2. 統計的枠組み: 解析では、補助的なポテンシャル空間 $V = V_p \oplus V_g$ 上の非退化ガウス確率測度 $\mu$ および $\nu$ を検討する。物理的な周辺分布 $\mu_p$ および $\nu_p$ は、物理的射影 $P_p$ による押し出し（pushforward）によって定義される。
3. 情報理論的ツール: 本論文は、相対エントロピー（カルバック・ライブラー情報量）とフィッシャー情報量を用いて、補助的な全分布と、その物理的な投影との関係を分析する。シュア補行列および条件付きガウス分布を用いて、明示的な公式が導出される。

主要な貢献および結果

• 厳密なエントロピー分解: 中心的な結果は、二つの補助的なガウス測度 $\mu$ と $\nu$ の間の相対エントロピーに関する厳密な分解である：
  $$D(\mu \parallel \nu) = D(\mu_p \parallel \nu_p) + I_g(\mu, \nu)$$
  ここで、$D(\mu_p \parallel \nu_p)$ は物理的な周辺分布の相対エントロピーであり、$I_g(\mu, \nu)$ は、簡約中に失われる情報を表す非負の条件付きゲージ寄与である。
  $$I_g(\mu, \nu) = \int_{V_p} D(\mu_{g|x} \parallel \nu_{g|x}) \, d\mu_p(x)$$
  この項は、非物理的なゲージ成分にのみ存在する区別可能性を定量化する。

• 明示的なガウス公式: 平均 $m$ と共分散 $\Sigma$（物理成分 $A$、ゲージ成分 $C$、および相互相関ブロック $B$ に分割される）で定義されるガウス測度に対して、本論文は $I_g(\mu, \nu)$ の閉形式の表現を導出している。この表現は、補助的な区別可能性を以下の三つの異なるソースに分離する：

  1. 条件付きゲージ共分散（シュア補行列 $S_\mu, S_\nu$）の違い。
  2. 条件付きゲージ平均の違い。
  3. 物理・ゲージ回帰演算子（$R = B^\top A^{-1}$）の違い。
     また、本論文は等号成立の条件 $D(\mu \parallel \nu) = D(\mu_p \parallel \nu_p)$ を特徴付けている。これは、ほとんど至る所で条件付きゲージ分布が同一である（$\mu_{g|x} = \nu_{g|x}$）場合、かつその場合に限る。

• 最小値としての物理的相対エントロピー: 本論文は、物理的な状態と互換性のあるすべてのガウス補助拡張の中で、物理的相対エントロピーが最小となることを確立している：
  $$D(\bar{\mu} \parallel \bar{\nu}) = \min_{\mu \in \text{Ext}_G(\bar{\mu}), \nu \in \text{Ext}_G(\bar{\nu})} D(\mu \parallel \nu)$$
  この最小値は、補助的な拡張が同一の条件付きゲージ分布を共有する場合（例：積構造 $\mu = \bar{\mu} \otimes \tau$ による）に達成される。

• フィッシャー情報量の分解: 微分レベルにおいて、フィッシャー情報量行列は類似の分解を持つ：
  $$g_{aux}(\theta) = g_{phys}(\theta) + g_{cond}(\theta)$$
  ここで、条件付き項 $g_{cond}$ は半正定値であり、補助的なパラメータ空間が物理的な空間よりも厳密に多くの情報を含んでいることを裏付けている。

• 例証モデル: 二変数モデル（$V_p = \mathbb{R}, V_g = \mathbb{R}$）は、二つの補助分布が統計的に異なっていても（$D(\mu \parallel \nu) > 0$）、物理的な周辺分布が同一である（$D(\mu_p \parallel \nu_p) = 0$）場合があることを示している。この場合、区別可能性は、物理座標とゲージ座標の間の相関の違いのみから生じる。

意義および主張
本論文は、離散ゲージ簡約の情報幾何学的解釈を提供することを主張している。その主な意義は以下の通りである：

1. 冗長性の定量化: 排除されたゲージ変数に独立した物理的意義を割り当てることなく、補助ポテンシャルからゲージ同値類へと移行する際に破棄される統計的情報を正確に定量化する。
2. 区別可能性の明確化: 二つの補助的な記述は、物理的な予測が同一であっても、純粋にそのゲージ表現に起因して統計的に区別可能であることを明らかにする。
3. 方法論的厳密性: 本構成は、有限次元のホイットニー複体および古典的なガウス場に厳密に限定されている。著者は、連続体の極限、量子密度演算子、非アベル型理論、および動的発展は本研究の範囲外であり、別途解析が必要であることを明記している。

本研究は、離散ゲージ理論の情報幾何学において、ゲージ対称性がどのように現れるかを理解するための基礎的なステップとして機能し、物理的な内容とゲージのアーティファクトを分離するエントロピーとフィッシャー情報量の厳密な公式を提供している。