[论文解读] Multi-marginal optimal transport on Riemannian manifolds

Young‐Heon Kim, Brendan Pass|arXiv (Cornell University)|Mar 25, 2013

Geometric Analysis and Curvature Flows参考文献 12被引用 6

一句话总结

该论文在紧致黎曼流形上建立了多边际最优传输问题的Monge解的存在性与唯一性，其代价函数定义为从每个点到一个公共质心的平方距离之和的下确界。在第一个边际满足正则性条件的前提下，最优传输计划集中于一个可测映射的图像上，将McCann的极分解定理推广至多边际情形，并将Gangbo与Swiech的结果推广至曲面空间。

ABSTRACT

We study a multi-marginal optimal transportation problem on a Riemannian manifold, with cost function given by the average distance squared from multiple points to their barycenter. Under a standard regularity condition on the first marginal, we prove that the optimal measure is unique and concentrated on the graph of a function over the first variable, thus inducing a Monge solution. This result generalizes McCann's polar factorization theorem on manifolds from 2 to several marginals, in the same sense that a well known result of Gangbo and Swiech generalizes Brenier's polar factorization theorem on $\mathbb{R}^n$.

研究动机与目标

• 将McCann的极分解定理从二维推广至黎曼流形上的多边际情形。
• 建立多边际最优传输问题的最优传输计划集中于函数图像上的条件（即存在Monge解）。
• 通过使用几何上自然的代价函数，将Gangbo与Swiech在欧氏空间中的结果推广至紧致黎曼流形。
• 分析基于边际质心（弗雷歇/卡彻均值）的代价函数下最优计划的结构。
• 将结果扩展至距离的严格凸且递增函数，而不仅限于二次代价。

提出的方法

• 在紧致黎曼流形上，以Monge与Kantorovich两种形式表述多边际最优传输问题。
• 将代价函数定义为在流形上所有y中，各边际点到y的平方距离之和的下确界，表示为质心代价。
• 应用流形上最优传输的技术，包括指数映射与凸函数次微分的使用。
• 通过指数映射的扰动论证，证明代价函数的极小值点不位于任何边际点的切点集内，从而保证正则性。
• 利用对偶性与c-变换分析最优计划的结构，并证明其集中于图像上。
• 通过泰勒展开与凸性论证，将结果扩展至非二次代价函数f_i(d(x_i,y))，以保持极小值点的正则性。

实验结果

研究问题

• RQ1 在紧致黎曼流形上，多边际最优传输问题在何种条件下存在Monge解，即从第一个边际到其他边际的确定性映射？
• RQ2 当代价函数为到公共质心的平方距离之和时，在紧致黎曼流形上最优传输计划是否唯一？
• RQ3 流形的几何结构，特别是切点集，如何影响最优传输映射的正则性？
• RQ4 二次代价的结果能否推广至距离的更一般凸函数？
• RQ5 与流形几何内在相关的质心代价函数，是否保持了欧氏空间中所见的Monge解与唯一性性质？

主要发现

• 最优传输计划唯一地集中于从第一个边际到其他边际的可测映射的图像上，从而确立了Monge解。
• 在第一个边际测度满足标准正则性条件（即相对于局部坐标绝对连续）时，最优计划具有唯一性。
• 质心代价函数的极小值点不位于任何边际点的切点集内，从而保证了传输映射的光滑性。
• 该结果将McCann的极分解定理从两边际推广至黎曼流形上的m ≥ 3个边际。
• 当二次代价被替换为距离的严格凸且递增函数时，Monge解与唯一性性质得以保持。
• 证明方法可通过泰勒展开与凸性论证推广至非二次代价，同时保持最优计划的结构性质。