[论文解读] On the Monge-Kantorovich problem with additional linear constraints

Danila Zaev|arXiv (Cornell University)|Apr 19, 2014

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

一句话总结

本文通过在传输计划上引入关于函数子空间 W 的额外线性约束（以 W 上积分为零的形式表示），将经典的 Monge-Kantorovich 最优传输问题进行了扩展。该研究建立了 Kantorovich 类型的对偶性，证明了在适当正则性条件下解的存在性，并提出了一种新的几何条件——(c,W)-单调性，用于刻画最优计划。该理论框架将马林加尔和不变测度等重要情形统一于一个理论体系之下。

ABSTRACT

We consider the modified Monge-Kantorovich problem with additional restriction: admissible transport plans must vanish on some fixed functional subspace. Different choice of the subspace leads to different additional properties optimal plans need to satisfy. Our main results are quite general and include several important examples. In particular, they include Monge-Kantorovich problems in the classes of invariant measures and martingales. We formulate and prove a criterion for existence of a solution, a duality statement of the Kantorovich type, and a necessary geometric condition on a support of optimal measure, which is analogues to the usual $c$-monotonicity.

研究动机与目标

• 通过函数子空间 W 对传输计划施加线性约束，推广经典的 Monge-Kantorovich 问题。
• 在这些约束下，建立最优传输计划的存在性条件。
• 为约束问题建立 Kantorovich 类型的对偶性陈述。
• 引入并刻画最优计划支撑集上的新几何条件——(c,W)-单调性。
• 在单一理论框架下统一并推广关于马林加尔与不变测度传输问题的已知结果。

提出的方法

• 将约束型 Monge-Kantorovich 问题表述为在固定熵 μk 且对所有 ω ∈ W 满足 ∫ω dπ = 0 的条件下，最小化成本 ∫c dπ。
• 引入函数空间 CL(μ) 及其相关半范数 ‖·‖L，以处理问题的可积性与拓扑结构。
• 应用测度论工具与 Riesz 表示定理，将 CL(μ) 上的线性泛函与乘积空间 X 上的 Borel 概率测度一一对应。
• 使用更强的 ‖·‖D 半范数以确保连续性与可分性论证，证明 CL(μ) 上的扩展泛函 P 对应于具有正确边际的 Borel 概率测度 π。
• 推导出对偶结果：inf ∫c dπ = sup{∑∫fk dμk : ∑fk + ω ≤ c, ω ∈ W}，建立原始与对偶形式之间的联系。
• 提出 (c,W)-单调性作为最优计划支撑集上的必要几何条件，推广了经典的 c-单调性。

实验结果

研究问题

• RQ1 在附加线性约束下，Monge-Kantorovich 问题在何种条件下存在解？
• RQ2 在存在此类约束时，如何制定并证明 Kantorovich 类型的对偶性？
• RQ3 当通过子空间 W 施加约束时，何种几何条件可推广经典的 c-单调性？
• RQ4 已知的马林加尔与不变测度传输问题如何融入此广义框架？
• RQ5 该理论是否可用于推导特定情形（如紧致群不变性）下的新结果？

主要发现

• 若成本函数满足适当的正则性条件，则约束型 Monge-Kantorovich 问题存在解，当且仅当可行传输计划集合非空。
• Kantorovich 类型对偶性成立：原始问题的下确界等于满足 ∑fk + ω ≤ c（ω ∈ W）的函数族上的上确界。
• 任何最优计划的支撑集必须满足 (c,W)-单调性，这是经典 c-单调性的推广，且融入了约束子空间 W 的信息。
• 马林加尔条件是线性约束 ∫ω dπ = 0 的特例，其中 ω 为形如 f(x1,…,xk) − E[f(x1,…,xk+1)|x1,…,xk] 的 L1 函数。
• 对于紧致群不变性，该理论导出了新结果，包括在适当条件下存在不变最优计划。
• 该框架统一并扩展了先前关于不变与马林加尔传输的研究，表明一般理论包含了这些情形。