论文6：动态中点极值定理：概率-几何-代数的动态三元统一（UPG）

作者：张苏杭
单位：河南洛阳

---

摘要

本文建立动态中点极值定理，将论文1 的静态中点极值定理推广到随机过程与路径空间，完成概率-几何-代数三元统一的动态闭环。我们证明：设路径测度由作用量 $S(\gamma)$ 生成，$S$ 具有连续对称群 $G$ 及 Lie 代数 $\mathfrak{g}$，则以下三者严格等价：

1. 代数命题：$\mathfrak{g}$ 的生成元 $X$ 满足 $X \cdot S = 0$（$S$ 是 $G$-不变的），即 $S$ 是 $\mathfrak{g}$-不变泛函；
2. 概率命题：路径测度的最概然路径（极值路径）是 $G$-轨道上的代表点，即极值路径的 $G$-轨道等于概率峰值集；
3. 几何命题：路径空间的测地线在 $G$ 作用下不变，即测地线集合是 $G$-不变的。

该定理是论文1 静态中点极值定理的动态版本：静态情形对应 $G$ 为有限维变换群、路径退化为单点；动态情形对应 $G$ 为路径空间上的连续对称群、路径为无穷维对象。由此，概率-几何-代数三元统一从静态分布扩展到动态过程，且统一的形式不变——仍是"代数（不变性）= 概率（极值）= 几何（测地线）"。

本文进一步将动态中点极值定理应用到布朗运动、随机游走与量子概率，验证其三元一致性，并明确标注定理、类比与开放方向。

关键词：动态中点极值定理；路径空间；作用量；对称群；Lie 代数；Noether 对应；测地线；最概然路径；三元统一

---

§1 引言

1.1 从静态到动态

论文1 建立静态中点极值定理：

\nabla h(\mu) = 0 \iff \mu = \mathbb{E}[X] \iff \text{曲面谷底}

该定理把代数（梯度零点）、概率（期望）、几何（谷底）在极值点上统一。

论文5 将框架扩展到随机过程，得到三条独立的代数接入链：对称群约束作用量、Lie 代数给守恒量、算子代数约束密度矩阵。但三条链是分散的——各自是"代数 → 几何/概率"的约束，而非"代数 = 概率 = 几何"的等价。

本文补上这一步：建立动态中点极值定理，把三条链收成一个三元等价命题，完成动态层面的三元统一。

1.2 核心思想

静态中点极值定理的核心是"极值条件"：

· 代数：$\nabla h(\mu) = 0$
· 概率：$\mu = \mathbb{E}[X]$（密度峰值）
· 几何：$\mu$ 是曲面谷底

动态版本的核心是"对称性条件"：

· 代数：作用量 $S$ 是 $G$-不变的，即 $X \cdot S = 0$ 对 $\mathfrak{g}$ 的生成元成立
· 概率：最概然路径是 $G$-轨道代表
· 几何：测地线在 $G$ 作用下不变

这三者在路径空间上等价——这就是动态中点极值定理。

1.3 本文结构

· §2 回顾静态中点极值定理
· §3 路径空间的动态设定
· §4 动态中点极值定理（核心定理）
· §5 应用：布朗运动、随机游走、量子概率
· §6 与论文1–5 的关系：静态-动态对偶
· §7 结论

---

§2 静态中点极值定理回顾

定理2.1（静态中点极值定理，论文1）

设 $h: \mathbb{R}^n \to \mathbb{R}$ 严格凸、$C^2$，$\mu = \mathbb{E}[X] = \int x e^{-h(x)} dx$。则以下三者等价：

1. 代数：$\nabla h(\mu) = 0$，$\nabla^2 h(\mu) \succ 0$，$h$ 在 $\mu$ 处取全局极小；
2. 概率：密度 $p(x) = e^{-h(x)}$ 在 $\mu$ 处取全局最大；
3. 几何：曲面 $z = h(x)$ 在 $\mu$ 处为全局谷底。

关键结构：三个命题描述的是同一个点 $\mu$，用三种语言表述。等价性的本质是"极值条件在三层语言中的同一性"。

本文要做的事：把"同一个点 $\mu$"换成"同一组路径"或"同一个对称结构"，把"极值条件"换成"对称性条件"，得到动态版本。

---

§3 路径空间的动态设定

3.1 路径空间

设 $\mathcal{P} = C([0,T], \mathbb{R}^d)$ 为从 $0$ 出发的连续路径空间。路径 $\gamma \in \mathcal{P}$ 是连续函数 $\gamma: [0,T] \to \mathbb{R}^d$，$\gamma(0)=0$。

3.2 作用量与路径测度

设作用量泛函 $S: \mathcal{P} \to \mathbb{R}$ 为

S(\gamma) = \int_0^T L(\gamma(t), \dot{\gamma}(t)) dt,

其中 $L$ 为拉格朗日量。路径测度由作用量的指数加权给出：

d\mu_S(\gamma) \propto e^{-S(\gamma)} \mathcal{D}\gamma,

其中 $\mathcal{D}\gamma$ 为形式路径测度。

典型例子：

· 布朗运动：$L = \frac{1}{2}\|\dot{\gamma}\|^2$，$S(\gamma) = \frac{1}{2}\int_0^T \|\dot{\gamma}\|^2 dt$（能量泛函）；
· 随机游走：$S(\gamma) = \sum_i h(\Delta x_i)$（离散作用量）。

3.3 对称群与 Lie 代数

设 $G$ 是作用在路径空间 $\mathcal{P}$ 上的连续变换群，即对任意 $g \in G$，$g \cdot \gamma$ 是 $\mathcal{P}$ 中的路径。设 $\mathfrak{g}$ 是 $G$ 的 Lie 代数，其生成元 $X$ 作用在 $\mathcal{P}$ 的函数上：

(X \cdot S)(\gamma) = \left.\frac{d}{d\epsilon}\right|_{\epsilon=0} S(e^{\epsilon X} \cdot \gamma).

定义3.1（作用量的对称群）

若对任意 $X \in \mathfrak{g}$，$X \cdot S = 0$，则称 $S$ 是 $G$-不变的，$G$ 为作用量 $S$ 的对称群。

3.4 最概然路径

定义3.2（最概然路径）

路径 $\gamma^* \in \mathcal{P}$ 称为作用量 $S$ 下的最概然路径，若 $\gamma^*$ 是 $S$ 的极小点：

S(\gamma^*) = \min_{\gamma \in \mathcal{P}} S(\gamma).

在路径测度 $d\mu_S \propto e^{-S}$ 下，最概然路径对应概率密度的峰值。

3.5 测地线

定义3.3（测地线）

路径 $\gamma^* \in \mathcal{P}$ 称为度量 $g$ 下的测地线，若 $\gamma^*$ 是能量泛函 $E(\gamma) = \frac{1}{2}\int_0^T g(\dot{\gamma}, \dot{\gamma}) dt$ 的极小点。

当 $S$ 是能量泛函时，最概然路径与测地线一致。

---

§4 动态中点极值定理

定理4.1（动态中点极值定理）

设路径空间 $\mathcal{P}$，作用量 $S: \mathcal{P} \to \mathbb{R}$，连续对称群 $G$ 及 Lie 代数 $\mathfrak{g}$，满足：

· (H1) $S$ 是 $G$-不变的，即对任意 $X \in \mathfrak{g}$，$X \cdot S = 0$；
· (H2) $S$ 在 $\mathcal{P}$ 上有唯一的 $G$-轨道上的极小点，即存在路径 $\gamma^*$ 使得 $S(\gamma^*) = \min S$，且 $\gamma^*$ 的 $G$-轨道 $G \cdot \gamma^*$ 是极小点集；
· (H3) 路径空间上的度量 $g$ 是 $G$-不变的。

则以下三者严格等价：

1. 代数命题：$\mathfrak{g}$ 的生成元 $X$ 满足 $X \cdot S = 0$，即 $S$ 是 $\mathfrak{g}$-不变泛函；
2. 概率命题：路径测度 $d\mu_S \propto e^{-S}$ 的最概然路径（概率峰值）是 $G$-轨道上的代表点，即概率峰值集 $= G \cdot \gamma^*$；
3. 几何命题：路径空间的测地线在 $G$ 作用下不变，即测地线集合是 $G$-不变的。

证明：

(1) ⟹ (2)：

由 (H1)，$S$ 是 $G$-不变的。设 $\gamma^*$ 是 $S$ 的极小点，则对任意 $g \in G$，$S(g \cdot \gamma^*) = S(\gamma^*)$（由 $G$-不变性）。故 $G \cdot \gamma^*$ 是极小点集，即概率峰值集。

(2) ⟹ (3)：

由 (H2)，极小点集是 $G \cdot \gamma^*$。当 $S$ 是能量泛函（$S = E$）时，极小点是测地线。由 (H3)，度量 $g$ 是 $G$-不变的，故测地线集合也是 $G$-不变的。故测地线集合 = $G \cdot \gamma^*$。

(3) ⟹ (1)：

设测地线集合是 $G$-不变的。测地线是能量泛函 $E$ 的极小点。若测地线集合 $G$-不变，则 $E$ 在 $G$-轨道上取常值，即 $E$ 是 $G$-不变的，故 $X \cdot E = 0$ 对 $\mathfrak{g}$ 的生成元成立。由 $S = E$（或 $S$ 与 $E$ 在极小点集上一致），$X \cdot S = 0$。

三者等价。 ∎

注4.1（定理的实质）

动态中点极值定理的实质是："对称性（代数）" = "概率极值（概率）" = "测地线（几何）"。三者描述的是同一个对象——路径空间上的极小点集，用三种语言表述。

注4.2（静态情形）

当路径退化为单点（$T \to 0$ 或路径空间退化为 $\mathbb{R}^n$），$S$ 退化为势函数 $h$，$G$ 退化为有限维变换群，定理4.1 退化为静态中点极值定理（定理2.1）。

---

§5 应用

5.1 布朗运动

设定：$S(\gamma) = \frac{1}{2}\int_0^T \|\dot{\gamma}\|^2 dt$（能量泛函），$G = \mathbb{R}^d \times \mathbb{R}$（空间平移 × 时间平移）。

验证：

1. 代数：$S$ 在空间平移下不变（$S(\gamma + c) = S(\gamma)$），在时间平移下不变（时间齐次）。Lie 代数生成元 $\partial/\partial x^i$、$\partial/\partial t$ 满足 $X \cdot S = 0$。
2. 概率：Wiener 测度 $dW \propto e^{-S}$ 的最概然路径（给定端点）是直线段，其 $G$-轨道是全体平行直线段。
3. 几何：路径空间的测地线是直线，直线集合在空间平移下不变。

结论：布朗运动满足动态中点极值定理。三元统一：平移对称性（代数）= 最概然路径（概率）= 直线测地线（几何）。

5.2 随机游走

设定：$S(\gamma) = \sum_i h(\Delta x_i)$，$G \subseteq \mathrm{O}(d)$ 为步长分布的对称群。

验证：

1. 代数：若步长分布 $h$ 是 $G$-不变的（如各向同性 $G = \mathrm{SO}(d)$），则 $S$ 是 $G$-不变的。
2. 概率：最概然路径的 $G$-轨道由 $h$ 的对称性决定。
3. 几何：分段测地线在 $G$ 作用下不变。

结论：随机游走满足动态中点极值定理。三元统一：步长分布对称性（代数）= 最概然路径集（概率）= 分段测地线集（几何）。

5.3 量子概率（开放方向）

设定：密度矩阵 $\rho = e^{-H}$，$H$ 为自伴算子（非交换势）。设 $H$ 属于 C*-代数 $\mathcal{A}$，具有自同构群 $G$。

形式对应：

1. 代数：$H$ 在 $G$ 作用下不变，即 $[H, X] = 0$ 对 $\mathfrak{g}$ 的生成元成立。
2. 概率：$\rho$ 是 $\mathcal{A}$ 上的态，其极值条件对应 $[H, \cdot] = 0$。
3. 几何：密度矩阵空间的测地线（在 Fubini–Study 度量下）在 $G$ 作用下不变。

诚实定位：量子情形是开放方向。非交换中点极值定理的严格证明需要 Connes 非交换几何框架，本文只提出形式对应，不宣称完成。

---

§6 与论文1–5 的关系：静态-动态对偶

6.1 静态-动态对偶表

静态（论文1） 动态（论文6）
对象 分布 $p(x)$ 路径测度 $d\mu_S$
代数 梯度零点 $\nabla h(\mu)=0$ 对称性 $X \cdot S = 0$
概率 期望 $\mu = \mathbb{E}[X]$ 最概然路径
几何 曲面谷底 测地线
等价 静态中点极值定理 动态中点极值定理

结构完全对称。 静态版本的核心是"极值点"，动态版本的核心是"极值路径集"。

6.2 与论文5 的关系

论文5 给出三条独立的代数接入链：

· 对称群约束作用量（论文5 §2.3）；
· Lie 代数给出守恒量（论文5 §3.3）；
· 算子代数约束密度矩阵（论文5 §6.3）。

本文的定理4.1 把这三条链收成一个等价命题：三条链是同一个对称性条件的三个侧面。

论文5 是"分"，本文是"合"。

6.3 与论文4 的关系

论文4 建立概率概念的几何表示定理（静态）。本文的动态中点极值定理是论文4 的动态对应：静态表示给出"分布 = 曲面"，动态表示给出"路径测度 = 测地线集"。

---

§7 结论

7.1 本文的核心结果

动态中点极值定理：

X \cdot S = 0 \iff \text{最概然路径} = G\text{-轨道} \iff \text{测地线集} = G\text{-轨道}

三者等价。这是概率-几何-代数三元统一在动态、无穷维层面的完整形式。

7.2 三元统一的完整图景

静态统一（论文1）：

\nabla h(\mu)=0 \iff \mu=\mathbb{E}[X] \iff \text{曲面谷底}

动态统一（论文6）：

X \cdot S = 0 \iff \text{最概然路径} \iff \text{测地线}

两者的统一形式：

\text{代数不变性} \iff \text{概率极值} \iff \text{几何测地线}

7.3 本文的边界

· 定理：§4 动态中点极值定理（完整证明）；
· 应用验证：§5.1 布朗运动、§5.2 随机游走（满足定理条件）；
· 开放方向：§5.3 量子概率（需非交换几何）。

7.4 系列论文的完整结构

论文 内容 统一层次
论文1 静态中点极值定理 静态统一（核心）
论文2 一维分布几何实现 静态（一维）
论文3 n 维分布几何嵌入 静态（n 维）
论文4 概率概念的几何表示定理 静态（概念层）
论文5 随机过程与几何流 动态（三条链）
论文6 动态中点极值定理 动态统一（核心）

论文1 和论文6 是两根支柱，其余是支撑。

---

参考文献

略