论文5：随机过程与几何流：从随机游走到布朗运动到量子概率

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

---

摘要

本文将概率-几何-代数三元统一框架从静态分布扩展到随机过程、随机场和量子概率。在前期工作（论文1–4）建立的中点极值定理和对称群约束的基础上，我们证明：

1. 随机游走：有限步随机游走的路径分布对应为几何空间中的分段测地线集合；步长分布的对称群约束作用量的函数形式，从而决定线段长度的分布。
2. 布朗运动：连续极限下，Wiener 测度成为路径空间上的高斯测度，其势函数（作用量）为 $\frac{1}{2}\int_0^T \|\dot{\gamma}(t)\|^2 dt$；该作用量的平移对称群 $\mathbb{R}^d \times \mathbb{R}$ 通过 Noether 对应给出动量与能量守恒，构成路径空间结构约束。
3. 鞅：平方可积鞅与调和映射具有形式上的对应关系，Doob–Meyer 分解与调和分解的严格对应留作后续工作。
4. 随机微分方程：Fokker–Planck 方程在特定条件下化为几何流（热流为其特例）；Ito 公式成为流形上的链式法则。本文不宣称 Fokker–Planck 方程等同于 Ricci 流，仅指出两者在特定耦合下的已知联系。
5. 量子概率：密度矩阵 $\rho = e^{-H}$ 对应非交换势 $H$；算子代数的结构约束 $\rho$ 的形式；中点极值定理的非交换版本作为开放方向提出。

本文实现概率-几何-代数三元框架从静态到动态的扩展，并明确标注哪些是定理、哪些是类比、哪些是开放方向。

关键词：随机过程；几何流；布朗运动；Wiener 测度；对称群；Noether 对应；算子代数；非交换几何；量子概率

---

§1 引言

1.1 从静态到动态

论文1–4 建立了概率-几何-代数三元统一框架：

· 论文1：中点极值定理，代数（梯度零点）= 概率（期望）= 几何（曲面谷底）；
· 论文2：一维分布几何实现；
· 论文3：n 维分布几何嵌入；
· 论文4：概率概念的几何表示定理。

但静态分布不足以描述现实——股价、粒子热运动、信息更新都是动态随机过程。

本文的目标是将三元框架提升到动态、无穷维、量子层次，并且在每一步同时接入代数结构（对称群、Lie 代数、算子代数），而不只是概率↔几何的对应。

1.2 本文与前期的结构性差异

前期论文的代数是工具（梯度、Hessian、投影）。本文的代数是生成结构：

· 对称群约束作用量的形式；
· Lie 代数给出守恒量；
· 算子代数约束密度矩阵。

这是从"代数作为计算工具"到"代数作为约束与生成源"的升级。

1.3 本文的诚实定位

本文严格区分三类陈述：

· 定理：有完整证明的结论；
· 类比：形式相似、严格对应留作后续的陈述；
· 开放方向：提出框架但未完成的工作。

全文标注清楚，避免把类比写成定理。

---

§2 随机游走：分段测地线与对称群约束

2.1 离散时间随机游走的几何实现

设 $S_0 = 0$，$S_n = \sum_{i=1}^n X_i$，其中 $X_i$ 独立同分布，取值于 $\mathbb{R}^d$，分布为 $\mu$（假设有密度 $p(x)$）。一条长度为 $n$ 的路径是点列 $(0, S_1, S_2, \dots, S_n)$。在几何上，将这些点依次用直线段连接，得到一条分段线性曲线。

若步长分布 $\mu$ 实现为几何空间中的概率轮廓（论文2），则每条线段的方向和长度服从该轮廓。随机游走的路径空间是所有分段测地线的集合，每条路径的权重等于各步步长密度的乘积。

2.2 步长分布的几何势

由论文1，步长分布对应势函数 $h(x) = -\log p(x)$（相对于 Lebesgue 测度）。则一条特定路径 $\gamma = (x_0=0, x_1, \dots, x_n)$ 的概率密度为

\prod_{i=1}^n p(x_i - x_{i-1}) = \exp\left( -\sum_{i=1}^n h(x_i - x_{i-1}) \right).

几何上，这是路径的作用量 $S(\gamma) = \sum_i h(\Delta x_i)$ 的指数。

2.3 对称群对作用量的约束（代数接入）

命题2.1（对称群约束作用量）

设步长分布的势函数 $h$ 具有连续对称群 $G \subseteq \mathrm{O}(d)$，即对任意 $R \in G$，$h(Rx) = h(x)$。则 $h$ 必为 $G$-不变函数，即 $h(x) = \tilde h(\|x\|_G)$，其中 $\|\cdot\|_G$ 是 $G$-轨道上的不变范数。

证明：由 $G$-不变性，$h$ 在 $G$-轨道 $G\cdot x = \{Rx : R \in G\}$ 上取常值，故 $h$ 仅依赖于 $x$ 所在的 $G$-轨道。以轨道不变量（如 $\|x\|_G$ 或轨道的其他基本不变量）为参数，$h$ 可表为这些不变量的函数。 ∎

推论2.1

· 若 $G = \mathrm{SO}(d)$（各向同性），则 $h(x) = \tilde h(\|x\|)$，作用量只依赖步长的长度，不依赖方向。此时随机游走在方向上各向同性。
· 若 $G = \mathbb{Z}_2^d$（逐坐标反射），则 $h(x) = \tilde h(|x_1|, \dots, |x_d|)$。
· 若 $G$ 是平移群 $\mathbb{R}^d$，则 $h$ 与 $x$ 无关——这是退化情形，对应于均匀分布。

几何意义：对称群越大，作用量的形式越受约束；各向同性（$G = \mathrm{SO}(d)$）是最大连续对称群的典型情形，此时 $h$ 只依赖 $\|x\|$。

代数接入：这一步把对称群（代数对象）接入随机游走的几何结构——对称群约束了作用量的函数形式。

---

§3 布朗运动：Wiener 测度、能量泛函与 Noether 对应

3.1 Wiener 测度作为路径空间上的高斯测度

令 $C_0([0,T], \mathbb{R}^d)$ 为所有从 $0$ 出发的连续路径空间。Wiener 测度 $W$ 是使得坐标过程为布朗运动的概率测度。形式上

dW(\gamma) \propto \exp\left( -\frac{1}{2}\int_0^T \|\dot{\gamma}(t)\|^2 dt \right) \mathcal{D}\gamma,

其中 $\mathcal{D}\gamma$ 是路径空间上的形式体积元。

注（诚实定位）：Wiener 测度不是路径空间上的体积测度——无穷维空间不存在对应的 Lebesgue 体积元。Wiener 测度是路径空间上的高斯测度，它类比体积测度，但不等同。本文严格区分"体积测度"与"高斯测度"。

3.2 能量泛函与中点极值定理

Wiener 测度的势函数为能量泛函

E(\gamma) = \frac{1}{2}\int_0^T \|\dot{\gamma}(t)\|^2 dt.

命题3.1（能量泛函的中点极值）

在路径空间中，能量泛函 $E(\gamma)$ 的全局极小点（在给定端点条件下）是连接两端点的测地线，即直线段。

证明：由变分法，$\delta E = 0$ 给出 Euler–Lagrange 方程 $\ddot{\gamma} = 0$，其解为直线。 ∎

与论文1的连贯性：中点极值定理在路径空间的推广——能量泛函的极小点对应 Wiener 测度的峰值（最概然路径）。这是"代数（能量极值）= 概率（最概然路径）= 几何（测地线）"的三元统一在无穷维的版本。

3.3 Noether 对应：对称群 → 守恒量（代数接入）

命题3.2（平移对称性与守恒量）

能量泛函 $E(\gamma) = \frac{1}{2}\int_0^T \|\dot{\gamma}\|^2 dt$ 具有以下连续对称群：

1. 空间平移：$\gamma \to \gamma + c$，$c \in \mathbb{R}^d$；
2. 时间平移：$t \to t + s$，在时间齐次情形下。

由 Noether 定理，空间平移对应动量守恒，时间平移对应能量守恒。

证明：标准 Noether 定理应用。空间平移生成元 $\partial/\partial x^i$ 给出守恒量 $p_i = \dot{\gamma}_i$；时间平移生成元 $\partial/\partial t$ 给出守恒量 $E = \frac{1}{2}\|\dot{\gamma}\|^2$。 ∎

几何意义：布朗运动的能量泛函的对称群给出路径空间上的守恒量，从而约束路径的结构。这一步把 Lie 代数（代数对象）接入布朗运动的几何框架。

3.4 布朗运动的几何性质

· 扩散与热方程：布朗运动的转移密度满足热方程 $\partial_t p = \frac{1}{2}\Delta p$。热方程的解可视为黎曼流形上由曲率决定的几何流。
· 最概然路径：给定起点终点，使 Wiener 测度密度最大的路径是能量最小化路径（测地线）。
· 布朗桥：固定端点的布朗运动，其条件分布对应于能量泛函在固定端点下的极小值曲面附近的高斯波动。

3.5 与论文1–4的连贯性

在论文4中，中心极限定理说：独立和标准化后趋于正态分布，其几何轮廓是抛物面。布朗运动是连续时间、无穷维的"中心极限定理"：随机游走路径收敛到布朗路径，其分布趋近于由能量泛函确定的 Gauss 型测度。而能量泛函的对称群约束其形式，与论文1的中点极值定理在同一逻辑上。

---

§4 鞅与调和映射：形式类比与开放方向

4.1 鞅的定义与调和函数的类比

一个随机过程 $M_t$ 是鞅，如果 $\mathbb{E}[M_t | \mathcal{F}_s] = M_s$ 对 $s < t$。在几何中，调和函数 $u$ 满足平均值性质：$u(x) = \int_{\partial B(x,r)} u(y) d\sigma(y)$。

类比：调和函数是布朗运动的期望（确定性鞅）。鞅的平均值性质与调和函数的平均值性质在形式上一致。

诚实定位：本节是类比，不是定理。"鞅 = 调和映射"的严格对应需要进一步的构造，本文不宣称已完成。

4.2 Doob–Meyer 分解的几何类比

Doob–Meyer 定理：任何平方可积鞅可唯一分解为 $M_t = M_0 + \text{连续鞅} + \text{跳跃部分}$。

类比：若将鞅视为从概率空间到黎曼流形的映射，则鞅条件与调和映射（能量泛函的临界点）有形式上的相似性。

诚实定位：这是类比。"Doob–Meyer 分解 = 曲面的调和分解"需要严格化，留作后续工作。

4.3 极小曲面的类比

极小曲面是平均曲率为零的曲面，局部极小化面积。鞅（特别是布朗鞅）具有类似的性质：在随机过程的意义上"最平坦"。

类比边界：这是形式类比。鞅的"最平坦"与极小曲面的"最小面积"是两个不同的极小化问题，其严格联系需进一步研究。

---

§5 随机微分方程与几何流

5.1 从 SDE 到几何流

考虑随机微分方程

dX_t = b(X_t) dt + \sigma(X_t) dW_t,

其概率密度的演化由 Fokker–Planck 方程描述：

\partial_t p = -\nabla \cdot (b p) + \frac{1}{2} \nabla^2 : (\sigma\sigma^T p).

在几何框架中，若将 $p$ 视为流形上的体积密度，则该方程可解释为几何流。特别地，若 $b = 0$，$\sigma = \sqrt{2}$，则得到热方程 $\partial_t p = \Delta p$，即黎曼流形上的热流。

5.2 热方程与 Ricci 流的已知联系

诚实定位：热方程与 Ricci 流在特定耦合情形下有已知联系（如 List、Perelman 的工作）。但不能说 Fokker–Planck 方程是 Ricci 流的一个特例。本文只指出：几何流是理解 SDE 的一个视角，具体联系视情形而定，留作后续工作。

5.3 Ito 公式的几何版本

Ito 公式在黎曼流形上变为

df(X_t) = \nabla f(X_t) \cdot dX_t + \frac{1}{2} \mathrm{Hess} f (X_t)(dX_t, dX_t),

其中 $\mathrm{Hess}$ 是 Hessian 算子。这与流形上的泰勒展开一致，强化了概率与几何的联结。

5.4 几何流的代数结构（代数接入）

命题5.1（几何流的生成元代数）

热方程 $\partial_t p = \Delta p$ 的生成元是 Laplace–Beltrami 算子 $\Delta$，它属于流形上的微分算子代数。若流形具有对称群 $G$，则 $\Delta$ 与 $G$ 的 Lie 代数 $\mathfrak{g}$ 的作用可交换：

[\Delta, X] = 0, \quad \forall X \in \mathfrak{g}.

这一交换性给出热方程解的对称约束。

证明：$G$ 是流形的等距群时，Laplace–Beltrami 算子在 $G$ 作用下不变，故与 $\mathfrak{g}$ 的作用可交换。 ∎

几何意义：这一步把 Lie 代数（代数对象）接入几何流的框架——几何流的生成元属于微分算子代数，其对称性由 Lie 代数刻画。

---

§6 量子概率：算子代数与非交换势

6.1 量子概率的基本框架

在量子力学中，状态由 Hilbert 空间中的单位向量或密度矩阵描述，可观测由自伴算子描述，测量结果概率由玻恩规则给出。

6.2 几何实现：复射影空间

纯态空间是复射影空间 $\mathbb{P}(\mathcal{H})$，具有 Fubini–Study 度量。量子概率的几何解释：

· 状态 $\psi$ → 射影空间中的点；
· 可观测 $A$ → 实值函数 $\langle A \rangle_\psi = \langle \psi, A\psi \rangle$；
· 测量概率 → 由玻恩规则给出的几何测度。

密度矩阵（混合态）位于射影空间上的概率单纯形中。

6.3 非交换势与算子代数（代数接入）

定义6.1（非交换势）

对于密度矩阵 $\rho$，若 $\rho = e^{-H}$（$H$ 自伴），则称 $H$ 为非交换势。这是经典势 $h = -\log p$ 在非交换情形的推广。

命题6.1（算子代数约束）

设 $H$ 属于某 C*-代数 $\mathcal{A}$，$\rho = e^{-H}$ 是 $\mathcal{A}$ 上的正线性泛函（态）。则：

1. $\rho$ 的极值条件（在 $\mathcal{A}$ 的态空间上）对应 $H$ 与 $\mathcal{A}$ 的某种交换关系；
2. 若 $\mathcal{A}$ 具有对称群 $G$（自同构群），则 $H$ 必须满足 $G$-不变性。

诚实定位：命题6.1 是框架提出，不是完整定理。中点极值定理的非交换版本的严格证明留作后续工作（需要 Connes 非交换几何的框架）。

几何意义：这一步把算子代数（代数对象）接入量子概率的几何框架——密度矩阵的势 $H$ 属于算子代数，其约束由代数结构给出。

6.4 与经典框架的融合

在论文1中，经典概率分布对应几何曲面，体积元 $p(x)dx$。对于量子概率，密度矩阵 $\rho$ 是非交换"几何势"。特征值构成概率分布，特征向量对应正交方向。量子测量的"坍缩"可以几何化为向子空间的正交投影，与论文3 条件概率的切片操作类似。

诚实定位：量子概率的完整几何化需要非交换几何框架，本文只提出一致性方向，不完成严格构造。

---

§7 统一大观：从有限维到无穷维，从经典到量子，从工具到生成器

7.1 三元框架在各层次的表现

层次 概率对象 几何实现 代数结构
静态、有限维 分布密度 $p(x)$ 曲面 $z = h(x)$ 中点极值定理
静态、无穷维（场） 随机场 场空间测度 变分对称群
动态、有限维 随机过程 $X_t$ 路径空间 Wiener 型测度 路径空间对称群
动态、无穷维 随机偏微分方程 几何流 微分算子代数
非交换/量子 密度矩阵 $\rho$ 复射影空间 算子代数

7.2 统一的逻辑线索

所有层次都遵循同一范式：

对称群 → 约束势函数形式 → 中点极值 → 概率分布/路径测度

· 经典静态：对称群约束 $h$，中点极值给出期望；
· 经典动态：路径空间对称群约束作用量，Noether 给出守恒量；
· 量子：算子代数约束 $H$，非交换中点极值给出态。

这比论文1-4 的"概率↔几何"两步结构多了一步：代数（对称群、Lie 代数、算子代数）作为生成结构。

7.3 统一的边界（诚实标注）

· 定理：§2.3 命题2.1（对称群约束作用量）、§3.2 命题3.1（能量极值 = 测地线）、§3.3 命题3.2（Noether 对应）、§5.4 命题5.1（几何流生成元代数）；
· 类比：§4 鞅与调和映射、§5.2 热方程与 Ricci 流；
· 开放方向：§6.3 非交换势与算子代数约束。

---

§8 总结与展望

本文完成了概率-几何-代数三元框架从静态到动态、从有限维到无穷维、从经典到量子的扩展。主要成果：

1. 随机游走：对称群约束作用量（§2.3，定理）；
2. 布朗运动：能量泛函的对称群给出 Noether 守恒量（§3.3，定理）；
3. 鞅：与调和映射的形式类比（§4，类比）；
4. SDE：几何流及其生成元代数（§5.4，定理）；
5. 量子概率：非交换势与算子代数约束（§6.3，开放方向）。

与论文1–4 的结构性差异：前期论文的代数是工具，本文的代数是生成结构。对称群、Lie 代数、算子代数分别约束作用量、给出守恒量、约束密度矩阵。

后续工作：

1. 补全 §6.3 非交换中点极值定理的严格证明（需 Connes 非交换几何）；
2. 补全 §4 鞅与极小曲面严格对应的构造；
3. 在量子概率中建立中点极值定理的非交换版本。

---

参考文献

略

---

（正文完）