3-NF-CNF-标准化流与连续标准化流

Normalizing Flow 与 Continuous Normalizing Flow：从离散变换到微分方程的严格推导

---

一、数学基础与变量代换 (Change of Variables)

1.1 概率分布变换的基本定理

在讨论 Normalizing Flow 之前，必须严格建立从概率密度变换的基本定律。

设随机变量 服从已知分布 。我们通过一个双射（Bijunctive）映射 将其变换为 。则 的概率密度 与 的概率密度 之间满足以下关系：

定理（Change of Variables）

其中 ，而 是逆函数在 处的 Jacobian 矩阵。

推导（严格形式）：

考虑一个无穷小的体积元 在变换后的像 。由于 是双射，两者的体积通过 Jacobian 行列式关联：

概率质量在该体积元上保持不变：。

将 的表达式代入：

消除 即得上述定理。

几何直觉：对于高维空间中的微小体积元，变换前后体积比率为 ，其中 。概率守恒要求 ，即 。

补充：矩阵行列式与体积变换的关系

设 ，对于线性变换 ， 维单位球被映射为椭球，椭球的体积为 。这解释了为何 Jacobian 行列式出现在体积元变换中。

1.2 对数形式的变量代换公式

对两边取对数，得到实际计算中更常用的形式：

这里的 被称为 log-determinant term，它是 NF 中梯度优化的核心组成部分。

1.3 Jacobian 行列式的计算复杂度诅咒

对于一般的矩阵 ，计算其行列式的复杂度为 （通过 LU 分解或 SVD）。当维度 达到数千（如图像生成中常见的 ），这个计算代价是不可接受的。

这构成了 NF 设计中的核心约束：必须设计特殊结构的 ，使其 Jacobian 矩阵具有稀疏结构（如三角矩阵），从而将行列式计算降为 。 Affine Coupling Layer 正是针对这一约束的突破性设计。

---

二、离散流模型 (Discrete Flows) 的架构演进

2.1 耦合层 (Coupling Layer) 的数学构造

RealNVP 引入的 Affine Coupling Layer 是解决 Jacobian 计算问题的第一个工业级方案。

设输入 被沿通道维度划分为两部分：，其中 ，。

前向变换（从 到 ）定义为：

其中 和 是神经网络输出的缩放和平移参数。 表示逐元素乘法。

Jacobian 矩阵的结构分析：

这是一个下三角矩阵（假设 在前， 在后）。其行列式为：

结论：行列式计算从 降为 ，且完全不涉及神经网络 和 的雅可比计算。

直觉解释：为什么下三角矩阵的行列式是对角线元素之积？

对于下三角矩阵 ，行列式为 。因为上三角部分全为 0 ，行列式展开式中所有涉及上三角位置元素的项都包含 0 因子。

在 Affine Coupling Layer 中，Jacobian 矩阵为：

对角块为 （维度 ）和 （维度 ），故行列式为 。

逆变换的简洁性：

完全可逆，且计算复杂度与前向传播相同。

2.2 Glow 中的 可逆卷积

Glow 在 RealNVP 的基础上引入了 可逆卷积作为通道混洗（Channel Permutation）的可学习替代。

设输入通道维度为 ，权重矩阵 是可学习的置换矩阵（满足列归一化约束）。

前向与逆向分别为：

行列式为 （通过矩阵分解预处理为 形式以高效计算）。

通道混合的数学意义：标准的耦合层使通道 与 保持独立。 卷积允许任意通道间的线性混合，从而增强模型的表达能力，同时保持可逆性。

---

三、向连续流的跃迁：Neural ODEs 与 CNF

3.1 从离散叠加到连续流的极限推导

将有限个耦合层堆叠视为一条离散轨迹 ，每一步的变换记为 。

当我们无限细分这个轨迹，令层数 ，步长 ，每一步的变换缩小至无穷小量。则离散路径收敛于一条连续时间流：

初始状态 ，终止状态 。此时， 被称为向量场 (Vector Field)。

3.2 核心推导：瞬时变量代换公式 (Instantaneous Change of Variables Formula)

定理：设 满足上述 ODE，概率密度 对时间 的演化满足：

其中 是矩阵的迹（Trace，即对角线元素之和）。

物理直觉：散度 （仅在欧氏空间笛卡尔坐标系下成立）衡量向量场 在每一点的”源”与”汇”。若散度为正（膨胀），概率密度降低；若散度为负（收缩），概率密度升高。这与质量守恒的物理规律一致。

与离散流的关系：在离散 NF 中，第 层变换的 log-determinant 为 。在连续情形下，这些离散的行列式对数被连续时间的 trace 积分所替代：

这意味着连续标准化流将无穷多层离散的行列式计算压缩为单次迹积分。

推导（来自 Liouville 定理）：

考虑一个无穷小的体积元 沿流线演化。概率密度演化严格遵循刘维尔方程，体积变化率由散度 (Divergence) 控制（无需不可压缩假设，流的微分同胚性质由 Lipschitz 条件保证）：

详细推导步骤：

设 ，则 满足矩阵微分方程：

这是因为 ，对初始条件求偏导：

对 求导得 。

对 的行列式取对数并求导，利用矩阵行列式的对数导数公式：

其中最后一步利用了 。

概率质量在每个体积元上守恒：。

取对数并整理：

3.3 迹算子为何取代行列式：从离散到连续的量级差异

在离散 NF 中，我们计算 ，这是一个标量。

在连续 NF 中，迹算子 是标量（Jacobian 矩阵的对角线元素之和），但它等价于无穷多层离散行列式的累积对数和：

计算上的巨大进步：迹的计算复杂度是 （只需对角线元素），而行列式是 。这使得 CNF 能够处理任意维度、任意结构的向量场，无需担心 Jacobian 的稀疏结构约束。

3.4 Picard-Lindelöf 定理与可逆性保证

定理（Picard-Lindelöf）：若向量场 关于 满足局部 Lipschitz 连续条件，则 ODE 存在唯一解，且解对初始条件连续依赖。（全局 Lipschitz 是更强的充分条件）

对可逆性的保证：该定理意味着给定初始点 ，流 是唯一确定的。不存在两条不同的流线在 时交汇。这从数学上保证了 CNF 的双射 (Diffeomorphism) 性质——只要 是 Lipschitz 的，积分过程就是可逆的。

逆向过程通过解伴随的 ODE（Reverse ODE）实现：

---

四、训练与推理流程

4.1 Forward Path（从噪声到数据）

给定先验分布 （ 为 维单位矩阵），通过 ODE Solver 从 积分到 ：

常用的数值方法包括：

Euler Method（简单但低阶）：

局部截断误差为 （全局积累误差为 ）。

RK4（经典高阶方法）：

局部截断误差为 （全局积累误差为 ）。

4.2 训练目标：最大似然估计 (MLE)

CNF 的训练目标是最大化生成分布的对数似然。边缘似然为：

其中 是通过逆向 ODE 从 积分到 得到的噪声。

训练损失为负对数似然的期望：

4.3 Adjoint Method：常数显存的反向传播

传统的反向传播需要存储所有中间激活值 ，内存复杂度为 （ 为步数）。这在深层 ODE 中是不可接受的。

Adjoint Method 通过引入伴随状态 (Adjoint State) ，将梯度计算转化为另一个 ODE 的求解，从而实现单次前向 + 无需存储中间激活值的反向传播。

定义增广损失：

对 求导，利用欧拉-拉格朗日方程，可推导出伴随 ODE：

最终梯度的计算只需在反向时间积分这个 ODE，无需存储任何中间状态。

---

五、局限性与未来展望

5.1 CNF 的核心痛点：NFE (Number of Function Evaluations)

ODE Solver 的步数直接决定了计算量。对于高精度要求，NFE 可能达到数百甚至数千，远超同深度的离散流模型。

主要瓶颈：

• 数值稳定性：刚度 (Stiffness) 问题时需要自适应步长控制
• 精度与速度的权衡：高阶 Solver（RK45）精度高但慢；低阶（Euler）快但精度差
• 误差累积：长轨迹积分中误差可能累积

5.2 Flow Matching：超越 ODE 的范式转移

Flow Matching 提出了一个根本性的问题：为什么必须”解 ODE”？能否直接拟合向量场 而不经过数值积分？

核心思想：将向量场拟合定义为一个简单的回归任务。设目标向量场为 ，训练目标为：

其中 可以通过插值路径（如线性插值或最优传输路径）预先构造。

优势：

• 训练时无需 ODE 求解（无 NFE 概念）
• 推理时可使用任何 ODE Solver
• 统一的框架可兼容扩散模型（DDPM）的噪声路径

---

六、总结

Normalizing Flow 从离散耦合层出发，逐步演化为连续标准化流（CNF），核心突破在于将行列式计算替换为迹算子，从而解放了对 Jacobian 稀疏结构的约束。然而 ODE Solver 的计算开销构成了实际应用中的主要瓶颈。Flow Matching 等新范式正在将研究重心从”如何解 ODE”转向”如何直接拟合向量场”，这标志着生成模型领域正在经历又一次根本性的数学统一。

---

延伸阅读：

1. Rezende & Mohamed, “Variational Inference with Normalizing Flows” (2015)
2. Grathwohl et al., “FFJORD: Free-Form Jacobian of Reversible Dynamics” (2019)
3. Lipman et al., “Flow Matching for Generative Modeling” (2022)