[論文レビュー] 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

ひとこと要約

本稿では、余剰制約の marginal 制約に作用する符号付きラグランジュ乗数を用いて解を特徴付けることで、容量制約付き最適輸送の二重定式化を導入する。この定式化により、Kantorovich 双対性を新たな、初等的な証明で回復する凸双対問題を確立し、有界密度を伴う制約付き輸送を分析する基盤となる枠組みを提供する。

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 間の最適輸送を扱う。
• marginal 制約 f と g に対するラグランジュ乗数として作用する符号付き測度を用いて解 h を特徴付ける。
• Levin の双対性を一般化する凸双対問題を導入し、Kantorovich 双対性に至る。
• 容量制約と双対性の緩和を用いて、Kantorovich 双対性の新たな初等的証明を提供する。

提案手法

• L1 代償と有界輸送密度 h を用いて、容量制約付きの原始的最適輸送問題を定式化する。
• 双対定式化において marginal 制約 f と g を満たすために符号付き測度をラグランジュ乗数として導入する。
• Levin の研究から得られる線形計画法の双対構造を緩和することで、凸双対問題を導出する。
• 双対性の鎖を通じて、緩和された双対問題と古典的 Kantorovich 双対性との等価性を確立する。
• f, g, h̄ に対して連続性、compactly 支持、正値性の仮定を置き、解の妥当性と正則性を保証する。
• 同伴論文 [7] を活用して双対性の鎖を完成させ、第一原理から Kantorovich 双対性を導出する。

実験結果

リサーチクエスチョン

• RQ1 符号付き測度をラグランジュ乗数として用いることで、容量制約下での最適輸送はどのように特徴付けられるか？
• RQ2 符号付きラグランジュ乗数は、制約付き最適輸送の双対定式化において果たす役割は何か？
• RQ3 提案された凸双対問題は、Levin の双対性および古典的 Kantorovich 双対性とどのように関係するか？
• RQ4 容量制約と双対性の緩和を用いて、Kantorovich 双対性を新たな初等的経路で導出可能か？
• RQ5 容量上限 h̄ の摂動に対して、解 h の妥当性と正則性を保証する条件は何か？

主な発見

• 容量制約付き最適輸送問題の解 h は、 marginal 制約 f と g に対する符号付き測度がラグランジュ乗数として作用することによって特徴付けられる。
• Levin の双対性を一般化する凸双対問題が導入され、Kantorovich 双対性への緩和的経路を提供する。
• 双対定式化により、緩和問題からの双対性関係の鎖を通じて、Kantorovich 双対性の新たな初等的証明が得られる。
• f, g, h̄ に対して連続性、compactly 支持、正値性の仮定を置くと、h̄ がわずかに減少しても解は依然として妥当性を保つ。
• 得られた符号付き測度は、最適輸送計画 h の構造的性質および正則性のさらなる解析において中心的な役割を果たすと期待される。
• 双対性の鎖は古典的 Kantorovich 双対性に至り、それが制約付きで緩和された枠組みから自然に導かれることが示された。