[论文解读] Extremal doubly stochastic measures and optimal transportation

Najma Ahmad, Hwa Kil Kim+1 more|arXiv (Cornell University)|Apr 21, 2010

Point processes and geometric inequalities参考文献 24被引用 6

一句话总结

本文通过编号肢系统（即具有非重叠定义域与嵌套值域的图与反图交替序列）对极值双随机测度进行了几何表征，证明此类支撑是极值性的必要条件且几乎充分。关键贡献在于将该框架应用于解决球面流形上最优传输的唯一性问题，通过代价函数结构与Morse理论，将极值测度与最优传输理论相联系。

ABSTRACT

This article connects the theory of extremal doubly stochastic measures to the geometry and topology of optimal transportation. We begin by reviewing an old question (# 111) of Birkhoff in probability and statistics [4], which is to give a necessary and sufficient condition on the support of a joint probability to guarantee extremality among all measures which share its marginals. Following work of Douglas, Lindenstrauss, and Beneš and Štěpán, Hestir and Williams [15] found a necessary condition which is nearly sufficient; we relax their subtle measurability hypotheses separating necessity from sufficiency slightly, yet demonstrate by example that to be sufficient certainly requires some measurability. Their condition amounts to the vanishing of γ outside a countable alternating sequence of graphs and antigraphs in which no two graphs (or two antigraphs) have domains that overlap, and where the domain of each graph / antigraph in the sequence contains the range of the succeeding antigraph (respectively, graph). Such sequences are called numbered limb systems. Surprisingly, this characterization can be used to resolve the uniqueness question for optimal transportation on manifolds with the topology of the sphere.

研究动机与目标

• 解决Birkhoff长期存在的问题：在无穷维设定下表征极值双随机测度。
• 通过识别确保极值性的支撑几何条件，弥合极值测度理论与最优传输理论之间的鸿沟。
• 建立最优传输方案唯一的条件，特别是在具有球面拓扑的流形上。
• 通过反例证明其必要性，对Hestir与Williams先前工作中略为放松可测性条件的改进进行细化。
• 探讨Morse理论与代价函数结构在决定极值支撑系统中肢数时的作用。

提出的方法

• 使用编号肢系统概念——即具有非重叠定义域与嵌套值域的图与反图交替序列——来表征极值双随机测度的支撑。
• 应用Krein-Milman定理，论证极值测度在双随机测度集合的弱-*拓扑中是稠密的。
• 采用对偶性与次微分分析，推导极值性的必要条件，尤其通过代价函数与势函数中不等式的饱和性。
• 通过次扭条件分析最优传输方案的支撑，该条件将临界点限制为代价函数梯度结构中至多一个最大值与一个最小值。
• 利用周期性与环面几何，将支撑表示为多个编号肢系统，实现对极值支撑的拓扑分类。
• 证明极值性要求图与反图具有特定的几何排列，且定义域-值域的嵌套结构确保无法进行凸分解。

实验结果

研究问题

• RQ1 在无穷维设定下，双随机测度支撑的何种几何条件可保证其极值性？
• RQ2 当代价函数光滑且底流形具有非平凡拓扑时，如何表征最优传输方案的极值性？
• RQ3 先前极值性准则中的可测性假设在充分性方面的影响程度如何？是否可在不损失表征能力的前提下进一步放松？
• RQ4 为何次扭条件在具有复杂Morse结构的流形（如环面）上不成立？这对唯一性有何影响？
• RQ5 编号肢系统中的肢数能否与底流形的拓扑复杂度（如球面或环面）建立关联？

主要发现

• 极值双随机测度由其支撑位于编号肢系统中这一条件表征——即具有非重叠定义域与嵌套值域的交替图与反图序列。
• Hestir与Williams的极值性条件几乎充分，但严格可测性条件是必要的；反例表明，放松这些条件会破坏充分性。
• 在球面上，若代价函数满足次扭条件，则极值性条件可推出最优传输方案的唯一性。
• 在圆形湖泊示例中，最优传输方案的支撑位于两个映射上：一个图与一个反图，构成一个两肢编号肢系统。
• 环面的周期性允许多种不同编号肢系统表示同一支撑，体现了拓扑上的灵活性。
• 尽管存在泛性期望，目前尚无已知的光滑代价函数在环面 $\mathbf{R}^2/\mathbf{Z}^2$ 上能保证对所有光滑密度函数的最优传输唯一性。