Information Loss under Gauge Reduction of Discrete Electromagnetic Fields

技术摘要：离散电磁场规范缩减下的信息损失

问题陈述
在经典与量子场论中，规范势包含冗余变量；在阿贝尔（Abelian）情形下，通过规范变换 $A \mapsto A + d\chi$ 相关的势描述的是相同的物理电磁场。从统计学角度看，这种冗余引发了一个基本问题：当不可观测的规范变量被移除时，两个辅助描述之间的可区分性损失了多少？虽然关于相对熵的经典链式法则已广为人知，但在离散规范理论（特别是利用 Whitney 型与有限元外微分理论）的语境下，其对于高斯态（Gaussian states）的显式实现尚未得到充分表征。本文旨在量化从离散势空间投影到物理可观测量空间过程中的信息损失。

方法论
本研究在有限三维流形 $K$ 的 Whitney 离散化电磁学框架下运行。

1. 离散 Hodge 分解： 离散 1-共链（1-cochains）空间 $C^1(K)$ 通过离散 Hodge 分解进行分解：
   $$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$ 包含调和与共外（coexact）的物理自由度。
2. 统计框架： 分析考虑了在辅助势空间 $V = V_p \oplus V_g$ 上的非退化高斯概率测度 $\mu$ 与 $\nu$。物理边缘分布 $\mu_p$ 与 $\nu_p$ 通过物理投影 $P_p$ 的前推测度定义。
3. 信息论工具： 本文利用 相对熵（Kullback-Leibler 散度）与 费舍尔信息（Fisher information）来分析全量辅助分布与其物理投影之间的关系。利用 Schur 补与条件高斯分布导出了显式公式。

核心贡献与结果

• 精确熵分解： 核心结果是两个辅助高斯测度 $\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. 条件规范协方差的差异（Schur 补 $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_p \parallel \nu_p) = 0$）的情况下，仍可能在统计上是可区分的（$D(\mu \parallel \nu) > 0$）。在这种情况下，可区分性完全源于物理坐标与规范坐标之间的不同相关性。

意义与主张
本文声称提供了一种离散规范缩减的信息几何解释。其主要意义在于：

1. 量化冗余： 它精确地量化了从辅助势到规范等价类过程中所丢弃的统计信息，且不赋予被消除的规范变量独立的物理意义。
2. 澄清可区分性： 它阐明了两个辅助描述可能纯粹由于其规范表示而在统计上是可区分的，即便它们产生相同的物理预测。
3. 方法论严谨性： 该构造严格限制在有限维 Whitney 复形与经典高斯场内。作者明确指出，连续极限、量子密度算符、非阿贝尔理论以及动力学演化均在本文研究范围之外，需要另行分析。

这项工作为理解规范对称性如何在离散场论的信息几何中体现提供了基础性的步骤，提供了能够分离物理内容与规范伪影的熵与费舍尔信息的精确公式。