[論文レビュー] Unbalanced Optimal Transport: Dynamic and Kantorovich Formulation

Lénaïc Chizat, Gabriel Peyré+2 more|arXiv (Cornell University)|Aug 21, 2015

Point processes and geometric inequalities被引用数 34

ひとこと要約

本稿では、動的およびカントロビッチ（静的）形式を併用することで、質量移動、生成、破壊を伴う任意の非負のラドン測度間の測地的距離を可能にする、非平衡最適輸送の統一的枠組みを導入する。主な貢献は、動的および静的形式の間の同等性であり、ワッサーシュタイン＝フィッシャー＝レオー距離が中心的な例として挙げられ、これにより新たな数値解法と理論的洞察が得られる。

ABSTRACT

This article presents a new class of distances between arbitrary nonnegative Radon measures inspired by optimal transport. These distances are defined by two equivalent alternative formulations: (i) a dynamic formulation defining the distance as a geodesic distance over the space of measures (ii) a static "Kantorovich" formulation where the distance is the minimum of an optimization problem over pairs of couplings describing the transfer (transport, creation and destruction) of mass between two measures. Both formulations are convex optimization problems, and the ability to switch from one to the other depending on the targeted application is a crucial property of our models. Of particular interest is the Wasserstein-Fisher-Rao metric recently introduced independently by Chizat et al. and Kondratyev et al. Defined initially through a dynamic formulation, it belongs to this class of metrics and hence automatically benefits from a static Kantorovich formulation.

研究の動機と目的

• 等質量を前提とする古典的最適輸送の制限を克服するため、質量生成・破壊を許容する、非平衡最適輸送の整合的数学的枠組みの構築。
• 質量生成・破壊を許容することで、等質量を要件とする古典的最適輸送の制限を克服する。
• 源項を含む連続の方程式を用いた動的形式（動的）と、半カップリングを用いた静的カントロビッチ型形式（静的）との間の同等性を確立する。
• ワッサーシュタイン＝フィッシャー＝レオー距離の変分的基盤を提供し、これが一般クラスに属することを示す。
• 静的形式の構造を活用して、非平衡輸送問題に対する効率的な数値解法の設計を可能にする。

提案手法

• 質量生成／破壊をモデル化する源項を含む一般化された連続方程式に基づく動的形式を提案する。
• 動的コストを、密度、速度、増加率に依存する凸コスト関数 f の時間的・空間的積分として定義する。
• 共通のカップリング γ 上での半カップリング (γ₀, γ₁) を用いた静的カントロビッチ形式を導入し、密度の平方根を含むコスト関数を最小化する。
• 適切な凸性および下半連続性条件の下で、動的および静的形式の双対性と同等性を証明する。
• コサイン級数展開と弱*収束を用いた極限手続きにより、離散近似から静的極限を導出する。
• ワッサーシュタイン＝フィッシャー＝レオー距離が、この枠組みの特別な場合として自然に現れ、両形式を継承することを示す。

実験結果

リサーチクエスチョン

• RQ1 非平衡最適輸送の動的および静的形式を結びつける統一的枠組みを確立できるか？
• RQ2 ワッサーシュタイン＝フィッシャー＝レオー距離は静的カントロビッチ形式を有するか？ もしあるならば、その導出方法は？
• RQ3 非平衡輸送における動的および静的形式の同等性に必要な十分条件は何か？
• RQ4 静的形式は、非平衡輸送問題に対する効率的な数値解法の設計にどのように利用できるか？
• RQ5 離散近似の極限挙動は何か？ 連続的枠組みとどのように関係するか？

主な発見

• 弱い凸性および下半連続性の仮定の下で、非平衡最適輸送の動的および静的形式は同等であることが示され、柔軟なモデル選択が可能になる。
• ワッサーシュタイン＝フィッシャー＝レオー距離が、提示された枠組みの特別な場合として得られ、両形式を継承することが明らかになった。
• 静的形式は、共通のカップリング γ 上での半カップリング (γ₀, γ₁) を用い、密度の平方根を含むコスト関数で表現される。
• 離散近似の極限が連続的静的枠組みに収束することを示し、弱*下半連続性およびコサイン展開のバウンドを用いて収束を証明した。
• 極限カップリング (γ₀, γ₁) が S に属さない場合、汎関数 Jₖ(γ₀, γ₁) が無限大に発散することを証明し、正しい極限挙動が得られることを示した。
• 特に WFR 距離に対して、コスト関数の構造を活用することで、新たな数値解法の設計が可能になった。