[论文解读] A General Duality Theorem for the Monge--Kantorovich Transport Problem

Mathias Beiglboeck, Christian Léonard+1 more|arXiv (Cornell University)|Nov 23, 2009

Geometry and complex manifolds参考文献 4被引用 11

一句话总结

本文在波兰空间中建立了适用于博雷尔概率测度与取值于 [0, ∞] 的博雷尔代价函数的 Monge--Kantorovich 运输问题的一般对偶定理。当原始问题被放宽以允许质量 1−ε 的部分运输时，证明了不存在对偶间隙，即此类部分计划的下确界代价收敛于对偶值。该结果推广了在下半连续性或有界性假设下的经典对偶性。

ABSTRACT

The duality theory of the Monge--Kantorovich transport problem is analyzed in a general setting. The spaces $X, Y$ are assumed to be polish and equipped with Borel probability measures $μ$ and $ν$. The transport cost function $c:X imes Y o [0,\infty]$ is assumed to be Borel. Our main result states that in this setting there is no duality gap, provided the optimal transport problem is formulated in a suitably relaxed way. The relaxed transport problem is defined as the limiting cost of the partial transport of masses $1-\varepsilon$ from $(X,μ)$ to $(Y, ν)$, as $\varepsilon >0$ tends to zero. The classical duality theorems of H.\ Kellerer, where $c$ is lower semi-continuous or uniformly bounded, quickly follow from these general results.

研究动机与目标

• 在经典结果失效的一般条件下，解决 Monge--Kantorovich 运输问题中的对偶间隙问题。
• 建立一个适用于博雷尔可测代价函数（即使其取值为无穷）的一般对偶定理。
• 证明当原始问题被放宽以允许运输质量 1−ε 而非全部质量时，对偶性依然成立。
• 在统一框架下统一并推广现有的对偶结果，包括 Kellerer 的结果。
• 为具有奇异或无穷代价函数的设置（如维纳空间或 Cameron-Martin 空间）提供对偶性的基础。

提出的方法

• 将原始问题表述为在运输计划 π ∈ Π(μ,ν) 上最小化代价 ∫c(x,y)dπ(x,y)，其中 μ 和 ν 是波兰空间上的博雷尔概率测度。
• 将对偶问题定义为在满足点态不等式 φ(x) + ψ(y) ≤ c(x,y) 的对 (φ,ψ) ∈ Ψ(μ,ν) 上最大化 ∫φdμ + ∫ψdν。
• 通过允许质量 1−ε 的运输，引入一个放宽的原始问题，其中 π ∈ Π^ε(μ,ν) 满足边缘约束 p_X(π) ≤ μ 和 p_Y(π) ≤ ν。
• 将 P^ε 定义为在 Π^ε(μ,ν) 上的下确界代价，并考虑极限 inf_{ε↓0} P^ε 作为放宽原始问题的值。
• 使用 Choquet 的可容许性定理将博雷尔集约化为正测度的紧集，从而能够构造在正测度紧集上有正质量的运输计划。
• 证明：若博雷尔集 L ⊆ X×Y 满足对所有 π ∈ Π(μ,ν) 都有 π(L)=0，则 m(L)=0，从而推出 L 包含于形如 M×Y ∪ X×N 的零测集之中，且满足 μ(M)=ν(N)=0。

实验结果

研究问题

• RQ1 在不要求代价函数下半连续或有界的广义条件下，Monge--Kantorovich 对偶性在何种条件下成立？
• RQ2 在经典对偶间隙存在的情况下（例如代价函数在对角线上为 1，其余地方为 ∞），是否可以通过某种方式恢复对偶性？
• RQ3 是否存在一种自然的原始问题放宽形式，可在一般设定下消除对偶间隙？
• RQ4 该对偶结果能否推广至在大集合上取无穷值的代价函数，例如在具有 Cameron-Martin 范数的维纳空间中？
• RQ5 在一般博雷尔代价函数下，运输计划的支撑结构在确保对偶性中起何种作用？

主要发现

• 放宽的原始问题（即当 ε↓0 时，1−ε 质量部分运输的代价下确界极限）与对偶问题之间不存在对偶间隙。
• 对于任意博雷尔代价函数 c: X×Y → [0,∞]，当原始问题放宽以允许部分运输时，原始值 P 与对偶值 D 满足 P = D。
• 在经典表述中观察到的对偶间隙（例如在 c(x,y) = 1 于对角线上而其余地方为 ∞ 的例子中）在放宽表述下消失。
• 该证明依赖于 Choquet 的可容许性定理的紧致性论证，将博雷尔集约化为正测度的紧集。
• 若博雷尔集 L ⊆ X×Y 满足对所有 π ∈ Π(μ,ν) 都有 π(L)=0，则 L 的勒贝格测度为零，意味着 L 包含于形如 M×Y ∪ X×N 的零测集之中，且满足 μ(M)=ν(N)=0。
• 该结果推广了 Kellerer 的经典对偶定理，在 c 为下确界连续或被可积函数控制时，可作为特例恢复其结果。