[論文レビュー] On a solution to the Monge transport problem on the real line arising from the strictly concave case

Nicolas Juillet|arXiv (Cornell University)|Jul 1, 2019

Geometric Analysis and Curvature Flows参考文献 12被引用数 4

ひとこと要約

本稿は、$p=1$ の臨界ケースにおける実直線上のモンジュ最適輸送問題に対して、$L^p$ 輸送問題の $p\to 1^{-}$ における極限として得られる「エクスカージョン結合」を、一意的な解として導入する。この解は、輸送ルートの単調性、$L^q$ 型の二次的コストの最小化、および累積分布関数の差に基づく幾何的構成によって特徴づけられ、古典的な $L^1$ 場合における一意性の欠如を解消する。

ABSTRACT

It is well-known that the optimal transport problem on the real line for the classical distance cost may not have a unique solution. In this paper we recover uniqueness by considering the transport problems where the costs are a power smaller than one of the distance, and letting this parameter tend to one. A complete construction of this solution that we call excursion coupling is given. This is reminiscent to the one in the convex case. It is also characterized as the solution of secondary transport problems. Moreover, a combinatoric/geometric characterization of the routes used for this transport plan is provided.

研究の動機と目的

• 実直線上のモンジュ最適輸送問題において、$p=1$ の場合に古典的な $L^1$ コストが一意な解をもたらさないという非一意性を解消すること。
• $p \to 1^{-}$ に沿って $L^p$ 輸送問題の極限をとることで、標準的な解（通称：エクスカージョン結合）を構成すること、すなわち、厳密に凹な領域からの極限をとること。
• 輸送ルートの単調性、二次的 $L^q$ コストの最小化、および累積分布関数の差に基づく幾何的構成によって、この解を特徴づけること。
• この解と、ブラウン運動のエクスカージョンや局所時刻理論などの確率過程との関係を確立し、幾何的・確率的輸送に広く応用可能である可能性を示唆すること。

提案手法

• コスト $|y - x|^p$ を持つ $\mathbf{R}$ 上の $L^p$ 輸送問題を定義し、$p \to 1^{-}$ における極限をとることで一意性を回復する。
• $(p_n < 1$, $p_n \to 1$ となる列をとる) $L^p$ 輸送問題の最適計画の極限としてエクスカージョン結合を構成し、測度の弱収束位相において収束を保証する。
• 単調性による特徴づけ：輸送ルート（アーチ）は交差せず、接続せず、入れ子になった場合に一貫した向きを持つ。
• 二次的最適化問題を用いる：エクスカージョン結合は、$q \in (0,1)$ に対して $\iint |y - x|^q \, d\pi(x,y)$ を、すべての $L^1$-最適計画のうちで最小化する。
• 幾何的に、$F^* = (F_\mu - F_\nu)^*$ を用いて結合を定義する。ここで $F_\mu, F_\nu$ は累積分布関数であり、輸送ルートはこの関数の等高線として特定される。
• 確率的解釈を確立する：エクスカージョン結合は、確率的時間シフトを伴うブラウン運動の埋め込みに対応し、凹関数 $\varphi$ に対して $\mathbb{E}[\varphi(T)]$ を最小化する。マイヤー＝タナカの公式を用いて局所時刻と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 実直線上の $L^1$ モンジュ輸送問題に対して、一意な解を回復することは可能か？ これは、非一意性が知られているが、古典的 $L^1$ コストでは一意な解が得られない。
• RQ2 $L^p$ 最適輸送計画の極限 $p \to 1^{-}$ の挙動は何か？ そして、この極限は標準的な解をもたらすか？
• RQ3 エクスカージョン結合は、交差しない、接続しない、かつ入れ子のとき一貫した向きを持つ輸送ルートという観点から、幾何的および組合せ的にどのように特徴づけられるか？
• RQ4 エクスカージョン結合は、$q \in (0,1)$ に対して、すべての $L^1$-最適計画の中で $\iint |y - x|^q \, d\pi(x,y)$ を最小化する唯一の解であるか？
• RQ5 エクスカージョン結合は、累積分布関数の差から構成される木上の確率過程として解釈可能か？ ここで長さ測度が自然な確率測度として機能するか？

主な発見

• エクスカージョン結合は、$p \to 1^{-}$ における $L^p$-最適輸送計画の唯一の極限であり、$L^1$ 場合における非一意性を解消する。
• この解は、任意の $q \in (0,1)$ に対して $\iint |y - x|^q \, d\pi(x,y)$ を最小化する唯一の $L^1$-最適計画として特徴づけられる。
• エクスカージョン結合における輸送ルートは、交差せず、接続せず、入れ子のとき一貫した向きを持つため、単調性が保たれる。
• 結合は関数 $F^* = (F_\mu - F_\nu)^*$ から得られ、輸送はこの関数の等高線に沿って行われる。これはエクスカージョンとして解釈される。
• この解は、確率的時間シフトを伴うブラウン運動の埋め込みに対応し、凹関数 $\varphi$ に対して $\mathbb{E}[\varphi(T)]$ を最小化する。確率的微積分と関連する。
• この構成は、$p \to 1^{+}$ における分位数結合（quantile coupling）を一般化しており、最適輸送における $p \to 1^{-}$ と $p \to 1^{+}$ の極限の間の双対性を示唆する。