[論文レビュー] A generalized Benamou-Brenier formula for mass-varying densities

Benedetto Piccoli, Francesco Rossi|arXiv (Cornell University)|Apr 25, 2013

Geometric Analysis and Curvature Flows被引用数 1

ひとこと要約

本稿は、重み付き一般化 Wasserstein 距離 $W_p^{a,b}$ を導入することで、質量変動を伴う測度を扱うために、Benamou-Brenier 公式および Kantorovich-Rubinstein 双対性を一般化する。質量保存のない流れを統合する新しい作用関数を定義し、$W_2^{a,b}$ がこの作用の下界に等しいことを証明し、$W_1^{1,1}$ が平坦距離に等しいことを示す。これにより、古典的最適輸送理論が非保存的流れへと拡張される。

ABSTRACT

The Wasserstein distances $W_p$ ($p\geq 1$), defined in terms of solution to the Monge-Kantorovich problem, are known to be a useful tool to investigate transport equations. In particular, the Benamou-Brenier formula characterizes the square of the Wasserstein distance $W_2$ as the infimum of the kinetic energy, or action functional, of all vector fields moving one measure to the other. Another important property of the Wasserstein distances is the Kantorovich-Rubinstein duality stating the equality between the distance $W_1$ and the supremum of the integrals of Lipschitz continuous functions with Lipschitz constant bounded by one. An intrinsic limitation of Wasserstein distances is the fact that they are defined only between measures having the same mass. To overcome such limitation, we recently introduced the generalized Wasserstein distances $W_p^{a,b}$, defined in terms of both the classical Wasserstein distance $W_p$ and the total variation (or $L^1$) distance. Here $p$ plays the same role as for the classic Wasserstein distance, while $a$ and $b$ are weights for the transport and the total variation term. In this paper we prove two important properties of the generalized Wasserstein distances: 1) a generalized Benamou-Brenier formula providing the equality between $W_2^{a,b}$ and the supremum of an action functional, which includes a transport term (kinetic energy) and a source term. 2) a duality a la Kantorovich-Rubinstein establishing the equality between $W_1^{1,1}$ and the flat metric.

研究の動機と目的

• 標準 Wasserstein 距離が扱えない、質量が不等である測度への古典的最適輸送理論の拡張を図ること。
• 重み $a$ と $b$ を用いて、古典的 $W_p$ 距離と $L^1$（全 Variation）距離を組み合わせた一般化 Wasserstein 距離 $W_p^{a,b}$ を定義すること。
• 質量保存のない状況において $W_2^{a,b}$ を特徴づける、一般化された Benamou-Brenier 公式を確立すること。これは、運動エネルギーと源項を含む作用関数の下界として表現される。
• 一般化された $W_1^{1,1}$ 距離に対して、Kantorovich-Rubinstein 型双対性を確立し、平坦距離に等しいことを示すこと。
• 質量保存のあり・なしの両方の輸送ダイナミクスを、統一された変分的枠組みで統合すること。

提案手法

• 一般化 Wasserstein 距離 $W_p^{a,b}$ を、古典的 $W_p$ 距離と $L^1$（全 Variation）距離の重み付き組み合わせとして定義する。
• ベクトル場による運動エネルギーと、質量生成・消失を表す源項を含む作用関数を定義する。
• $W_2^{a,b}$ が、ある測度から別の測度へ移動するすべてのベクトル場と源項に対して、この作用関数の下界に等しいことを証明する。
• 1-Lipschitz 関数の積分の上界として $W_1^{1,1}$ が平坦距離に等しいことを示す双対性結果を確立する。
• 変分法と双対性の議論を用いて、一般化された Benamou-Brenier 公式および Kantorovich-Rubinstein 型双対性を導出する。
• 質量変動を伴う最適輸送の構造を活用し、保存的および非保存的ダイナミクスを統一的な枠組みで統合する。

実験結果

リサーチクエスチョン

• RQ1 輸送中に質量が変化する場合、Benamou-Brenier 公式をどのように拡張できるか。
• RQ2 質量保存が成り立たない状況において、$W_2^{a,b}$ を特徴づける適切な作用関数は何か。
• RQ3 一般化された $W_1^{1,1}$ 距離に対して、Kantorovich-Rubinstein 型双対性を確立できるか。
• RQ4 $W_p^{a,b}$ の重み $a$ と $b$ は、輸送コストと質量変動コストのバランスにどのように影響するか。
• RQ5 一般化された $W_1^{1,1}$ 距離は、古典的場合と同様に平坦距離に等しいか。

主な発見

• 一般化された Benamou-Brenier 公式により、$W_2^{a,b}$ が運動エネルギーと源項を含む作用関数の下界に等しいことが確立された。
• 作用関数には、ベクトル場による輸送ダイナミクスと、源項による質量生成・消失が含まれており、非保存的流れを可能にする。
• $W_1^{1,1}$ の場合、双対性結果により平坦距離に等しいことが示され、古典的 Kantorovich-Rubinstein 双対性が質量変動を伴う測度へと拡張された。
• 一般化 Wasserstein 距離 $W_p^{a,b}$ は、保存的および非保存的輸送プロセスを統合するフレームワークを提供する。
• 重み $a$ と $b$ を用いることで、距離定義における輸送コストと質量変動コストの間の柔軟な補間が可能になる。
• 本研究の結果は、人口動態や源項を伴う流体力学など、質量が保存されない状況への古典的最適輸送理論の一般化を実現する。