Chern--Simons Fluctuations and Information Geometry in Discrete Electromagnetism

技术摘要：离散电磁学中的陈-西蒙斯涨落与信息几何

问题陈述
本文研究了在离散框架下，受磁螺旋度约束的电磁场统计态的构建问题。虽然在连续流体动力学中已存在螺旋度约束的统计构建（例如 Frisch 等人的工作），且这些构建植根于最大熵原理（Jaynes），但本研究旨在直接在Whitney 离散化电磁复形上构建螺旋度约束。文中指出一个关键的物理限定：在无约束的麦克斯韦动力学下，磁螺旋度通常并不守恒。因此，目标并非描述自由麦克斯韦场的平稳动力学平衡，而是构建瞬时螺旋度条件下的推断态，该状态在给定平均螺旋度的情况下使相对熵最小化。

研究方法
作者利用 Whitney 形式和有限元外微分理论，将电磁场离散化在由单纯复形 $K$ 构成的闭、定向黎曼三维流形 $M$ 上。

1. 离散规范约简：

   • 离散磁势为一个 1-共链 $a \in C^1(K)$。
   • 单纯形 de Rham 复形保持了上同调恒等式。离散规范变换由 0-共链 $\chi$ 生成，映射为 $a \mapsto a + \delta_0 \chi$。
   • 利用 Whitney 内积，1-共链空间被正交分解为三个扇区：规范扇区 ($V_g = \text{im } \delta_0$)、调和扇区 ($V_h = \mathcal{H}^1_K$) 以及横向辐射扇区 ($V_T = \text{im } \delta_1^*$)。
   • 作者固定了调和扇区（包括势能和电场部分）以避免非归一化的高斯权重，从而将分析限制在辐射相空间 $P_T = V_T \oplus V_T$ 内。

2. 离散陈-西蒙斯泛函：

   • 空间阿贝尔（Abelian）陈-西蒙斯泛函被离散化为 $CS_K(a) = \int_M W_1(a) \wedge dW_1(a)$，其中 $W_1$ 是 Whitney 映射。
   • 文中证明该泛函消灭了两个成分：精确成分（规范成分）和调和成分，仅取决于余精确（辐射）扇区 $a_T$。
   • 在 $V_T$ 的 Whitney 正交基下，$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$ 是用于螺旋度约束的拉格朗日乘子。
   • 基于矩阵 $Q_{\beta,\gamma} = \beta L + 2\gamma C$ 的正定性，推导出了配分函数 $Z_K$ 和容许性条件，其中 $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})$ 最小。这确立了该分布作为给定约束下的最优推断态。
• 信息几何与易理解度（Susceptibility）：
  • Fisher 信息矩阵被识别为对数配分函数的 Hessian 矩阵。
  • 一个核心结果是涨落-耗散关系：螺旋度易理解度 $\chi_H = -\partial_\gamma \langle CS_K \rangle$ 精确等于离散陈-西蒙斯泛函的方差 $\text{Var}_{\beta,\gamma}(CS_K)$，该方差对应于 Fisher 信息分量 $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$)、Whitney 质量矩阵 ($M_1, M_2$) 以及离散陈-西蒙斯配对矩阵 $S$。

意义与主张
本文声称提供了一种精确的、网格级的实现，用于描述螺旋度约束电磁场的信息几何涨落。不同于以往的谱截断方法，本方法直接作用于离散复形，保留了精确的离散规范对称性和上同调结构。

作者强调，这些状态代表的是条件推断而非动力学平衡，因为在自由麦克斯韦演化下，磁螺旋度并不守恒。该构建专门针对闭流形上的平凡阿贝尔扇区。本文并不声称具有网格细化不变性、连续极限或自由动力学下的平稳性；这些问题被识别为需要进一步研究的方向。这项工作为计算受螺旋度约束的离散电磁场的统计性质提供了严谨的基础，将陈-西蒙斯涨落直接与通过 Fisher 信息体现的统计可区分性联系起来。