[論文レビュー] From Hopf-Lax formula to optimal weak transfer plan

Yan Shu|arXiv (Cornell University)|Sep 12, 2016

Nonlinear Partial Differential Equations参考文献 17被引用数 4

ひとこと要約

本稿は、実数直線上のホフプ・ラクス公式と最適弱輸送計画との間の双対性枠組みを確立し、凸かつ回転対称なコスト関数に対して、測度が単変量であるとき、弱輸送問題における最適移転計画がコスト関数に依存しないことを証明している。さらに、ポテンシャル関数に十分な条件が満たされれば、古典的モンジュ＝カンタロヴィチ問題における最適計画もコストに依存せず、置換ポリトープを凸解析を通じてハミルトニアン＝ヤコビ方程式と結びつけている。

ABSTRACT

We study the properties of Hopf-Lax formula restricted to convex functions and characterize the optimal transfer plan for weak transport problem.

研究の動機と目的

• ホフプ・ラクス公式を用いて、実数直線上の弱輸送問題における最適移転計画を特徴づけること。
• 古典的モンジュ＝カンタロヴィチ問題における最適計画がコスト関数に依存しない条件を同定すること。
• 組合せ的構造（置換ポリトープ）とハミルトニアン＝ヤコビ方程式との間の双対性を凸双対性を通じて確立すること。
• 古典的輸送から弱輸送への双対性結果を拡張し、特にインフィミン・コンボリューション作用素 $ Q_t^ heta $ を通じて行うこと。
• 弱輸送不等式の理論的基盤を提供し、濃度の集中とログ・ソボレフ不等式への影響を明らかにすること。

提案手法

• ハミルトニアン＝ヤコビ方程式の解としてのホフプ・ラクス公式 $ Q_t^ heta f(x) = \inf_{y} \left\{ f(y) + t\theta\left(\frac{y-x}{t}\right) \right\} $ を用い、弱輸送問題における双対性を可能にする。
• カンタロヴィチ双対性を適用し、弱輸送コストを $ \overline{\mathcal{T}}_\theta(\nu|\mu) = \sup_f \left\{ \int Q^\theta f \, d\mu - \int f \, d\nu \right\} $ と表現する。ここで $ f $ は凸、リプシッツ連続、下に有界である。
• ジェンセンの不等式とストラッセングの定理を用いて、$ \overline{\mathcal{T}}_\theta(\nu|\mu) = \inf_{\nu_1 \preceq \nu} \mathcal{T}_\theta(\nu_1, \mu) $ を示し、弱輸送と凸順序の関係を結びつける。
• 凸ポテンシャル $ g $ の勾配を用いて最適輸送写像を構成し、$ \nabla g(x) $ が凸性制約のもとでコストを最小化することを示す。
• インフィミン・コンボリューション作用素 $ Q^\theta $ を適用し、特に1次元設定において最適性の必要十分条件を導出する。
• コーシー＝シュワルツと凸性の議論を用いて、制限付きインフィミン・コンボリューション不等式 $ \mathrm{rIC}(\theta) $ と弱輸送不等式の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 弱輸送問題における最適移転計画が、凸かつ回転対称なコスト関数 $ \theta $ の選択に依存しない条件は何か？
• RQ2 古典的モンジュ＝カンタロヴィチ問題における最適計画がコスト関数に依存しないのはいつか？
• RQ3 ホフプ・ラクス公式は、実数直線上の最適弱輸送計画をどのように特徴づけられるか？
• RQ4 最適輸送の文脈において、置換ポリトープとハミルトニアン＝ヤコビ方程式との関係は何か？
• RQ5 制限付きインフィミン・コンボリューション不等式は、弱輸送コスト不等式およびエントロピーの上限とどのように関係するか？

主な発見

• 一変量確率測度に対して、弱輸送問題における最適移転計画は、ホフプ・ラクス公式の構造と凸順序のおかげで、凸かつ回転対称なコスト関数 $ \theta $ に依存しない。
• $ \mathbb{R}^n $ において、ポテンシャル関数 $ g $ が $ g(x) - \frac{1}{2}\|x\|^2 \in \mathcal{F} $ を満たすならば、$ \theta $ が凸かつ回転対称であれば、写像 $ \nabla g $ は古典的および弱輸送の両方で最適である。
• 最適弱輸送コストは $ \overline{\mathcal{T}}_\theta(\nu|\mu) = \int \theta(\|x - \nabla g(x)\|) \, d\nu $ を満たし、ここで $ \nabla g $ は最適輸送写像である。
• 凸、リプシッツ連続、下に有界な関数 $ f $ に対して、$ \theta $ の成長条件のもとで、双対性公式 $ \overline{\mathcal{T}}_\theta(\nu|\mu) = \sup_f \left\{ \int Q^\theta f \, d\mu - \int f \, d\nu \right\} $ が成り立つ。
• コーシー＝シュワルツと凸性を用いて、$ \alpha + \beta = \theta $ のもとで $ \mathrm{rIC}(\alpha) $ と $ \mathrm{rIC}(\beta) $ が $ \mathrm{rIC}(\frac{1}{2}\theta) $ を示唆する。これは、制限付きインフィミン・コンボリューション不等式の劣加法性を示している。
• 1次元において、$ \mathrm{rIC}(\theta) $ は弱輸送不等式 $ \overline{\mathcal{T}}_\theta \leqslant H(\nu|\mu) $ と同値であり、関数不等式と最適輸送を結びつける。