[论文解读] Dual measures for capacity constrained optimal transport

Jonathan Korman, Robert J. McCann+1 more|arXiv (Cornell University)|Jul 30, 2013

Optimization and Mathematical Programming被引用 2

一句话总结

本文通过使用作用于边缘约束的符号拉格朗日乘子，对容量受限最优传输提出了一种双重公式。它建立了一个凸对偶问题，通过一种新颖且基础的证明方法恢复了坎托罗维奇对偶性，为分析具有有界密度的约束传输提供了基础框架。

ABSTRACT

This note addresses the transport of one probability density f ∈ L 1 (R m) onto another one g ∈ L 1 (R n) so as to optimize a cost function c ∈ L 1 (R m+n) while respecting the capacity constraints 0 ≤ h ≤ ¯h ∈ L ∞ (R m+n). If f, g and ¯ h are continuous, compactly supported, and bounded away from zero on their supports, and if the problem remains feasible when ¯ h is replaced by ¯ h − ɛ for some ɛ> 0, we characterize the solution h in terms of signed measures which act as Lagrange multipliers to the marginal constraints f and g. We expect these measures to play a key role in any further analysis of h. They are found by solving a convex dual problem introduced here, which corresponds to a relaxation of the linear programming dual found by Levin. Starting from Levin’s duality, we finally derive the classical Kantorovich duality of optimal transport. In tandem with results obtained in a companion paper [7], this amounts to a new and elementary proof of Kantorovich duality. 1

研究动机与目标

• 研究在 L∞(R^m+n) 中容量约束 0 ≤ h ≤ h̄ 下，概率密度 f 和 g 之间的最优传输问题。
• 通过作用于边缘约束 f 和 g 的符号测度表征解 h。
• 引入一个广义 Levin 对偶性的凸对偶问题，并导出坎托罗维奇对偶性。
• 通过松弛和对偶链方法，提供一种新的、基础的坎托罗维奇对偶性证明。

提出的方法

• 使用 L1 代价和有界传输密度 h，建立带有容量约束的原始最优传输问题。
• 在对偶公式中引入符号测度作为拉格朗日乘子，以强制执行边缘约束 f 和 g。
• 通过松弛 Levin 工作中的线性规划对偶结构，推导出一个凸对偶问题。
• 通过双重链方法，建立松弛对偶与经典坎托罗维奇对偶之间的等价性。
• 利用 f、g 和 h̄ 的连续性、紧台集和正性假设，确保解的可行性和正则性。
• 借助附录论文 [7] 完成对偶链，从基本原理推导出坎托罗维奇对偶性。

实验结果

研究问题

• RQ1 如何通过对偶测度表征在容量约束下的最优传输？
• RQ2 符号拉格朗日乘子在约束最优传输的对偶公式中起什么作用？
• RQ3 所提出的凸对偶问题与 Levin 对偶性及经典坎托罗维奇对偶性有何关系？
• RQ4 能否通过容量约束和对偶松弛，以一种新的、基础的路径推导出坎托罗维奇对偶性？
• RQ5 在容量边界 h̄ 的扰动下，哪些条件能确保解 h 的可行性和正则性？

主要发现

• 容量受限最优传输问题的解 h 由作用于边缘约束 f 和 g 的符号测度作为拉格朗日乘子表征。
• 引入了一个凸对偶问题，该问题广义化了 Levin 对偶性，并为通往坎托罗维奇对偶性提供了松弛路径。
• 通过对偶链方法，从松弛问题中导出的对偶公式，提供了一种新的、基础的坎托罗维奇对偶性证明。
• 在 f、g 和 h̄ 具有连续性、紧台集和正性假设下，即使 h̄ 略微减小，解仍保持可行。
• 所导出的符号测度预计将在后续对最优传输计划 h 的结构和正则性分析中发挥核心作用。
• 对偶链最终导出经典坎托罗维奇对偶性，证明其可从一个约束性、松弛性框架中自然涌现。