[论文解读] Unbalanced Optimal Transport: Dynamic and Kantorovich Formulation

Lénaïc Chizat, Gabriel Peyré+2 more|arXiv (Cornell University)|Aug 21, 2015

Point processes and geometric inequalities被引用 34

一句话总结

本文提出了一种统一的非平衡最优传输框架，结合动态与Kantorovich（静态）公式，通过质量传输、生成与销毁，实现任意非负Radon测度之间的测地距离。核心贡献在于动态与静态公式的等价性，以Wasserstein-Fisher-Rao度量为典型示例，从而支持新型数值求解器与理论洞察。

ABSTRACT

This article presents a new class of distances between arbitrary nonnegative Radon measures inspired by optimal transport. These distances are defined by two equivalent alternative formulations: (i) a dynamic formulation defining the distance as a geodesic distance over the space of measures (ii) a static "Kantorovich" formulation where the distance is the minimum of an optimization problem over pairs of couplings describing the transfer (transport, creation and destruction) of mass between two measures. Both formulations are convex optimization problems, and the ability to switch from one to the other depending on the targeted application is a crucial property of our models. Of particular interest is the Wasserstein-Fisher-Rao metric recently introduced independently by Chizat et al. and Kondratyev et al. Defined initially through a dynamic formulation, it belongs to this class of metrics and hence automatically benefits from a static Kantorovich formulation.

研究动机与目标

• 开发一个连贯的数学框架，统一非平衡最优传输的动态与静态视角。
• 通过允许质量生成与销毁，克服经典最优传输要求总质量相等的局限性。
• 在适当的凸性与下半连续性条件下，建立基于连续性方程（含源项）的动态公式与基于半耦合的静态Kantorovich型公式的对偶与等价性。
• 为Wasserstein-Fisher-Rao度量提供变分基础，证明其属于该一般类别的自然特例。
• 通过利用静态公式的结构，支持高效计算，从而设计新型数值方法。

提出的方法

• 基于带源项的广义连续性方程，提出一种动态公式，用于建模质量生成与销毁。
• 将动态代价定义为时间与空间上凸代价函数f的积分，其依赖于密度、速度与增长率。
• 引入基于半耦合(γ₀, γ₁)的静态Kantorovich公式，耦合于公共耦合γ上，最小化包含密度平方根的代价泛函。
• 在适当的凸性与下确界连续性条件下，证明动态与静态公式的对偶性与等价性。
• 通过余弦展开与弱*收敛的极限过程，从离散近似推导出静态极限。
• 证明Wasserstein-Fisher-Rao度量自然地成为该框架的特例，同时继承动态与静态公式。

实验结果

研究问题

• RQ1 能否建立一个统一框架，将非平衡最优传输的动态与静态公式联系起来？
• RQ2 Wasserstein-Fisher-Rao度量是否具有静态Kantorovich公式？若有，其推导方式为何？
• RQ3 非平衡传输中，动态与静态公式等价性的必要与充分条件是什么？
• RQ4 如何利用静态公式设计高效求解非平衡传输问题的数值方法？
• RQ5 离散近似的极限行为如何？其与连续公式的关联为何？

主要发现

• 在温和的凸性与下确界连续性假设下，非平衡最优传输的动态与静态公式等价，支持灵活的建模选择。
• Wasserstein-Fisher-Rao度量被证明是所提框架的特例，同时继承动态与静态公式。
• 静态公式通过公共耦合γ上的半耦合(γ₀, γ₁)表达，代价泛函涉及密度的平方根。
• 离散近似的极限收敛于连续静态公式，收敛性通过弱*下确界连续性与余弦展开界得到证明。
• 当极限耦合(γ₀, γ₁)不在对齐或零测度的集合S中时，泛函Jₖ(γ₀, γ₁)发散至无穷大，证明了正确的极限行为。
• 该框架通过利用代价函数的结构，支持新型数值求解器，尤其适用于WFR度量。