[論文レビュー] Geodesic of minimal length in the set of probability measures on graphs

Wilfrid Gangbo, Wuchen Li+1 more|arXiv (Cornell University)|Dec 26, 2017

Geometry and complex manifolds参考文献 12被引用数 8

ひとこと要約

本稿は、重み付きグラフ上の確率単体における最小長geodesicを計算するための枠組みを確立する。これは対称関数 $ g $ によって誘導されるMonge–Kantorovich距離に基づく。境界を跨ぐgeodesicでさえも、Poincaré関数を導入し、BV値をとる双対変数を用いて特異性を扱うことで、境界条件を伴うハミルトン–ジャコビ系により最小化子を特徴づける。この枠組みにより、グラフ上のMean Field Gamesへの応用が可能になる。

ABSTRACT

We endow the set of probability measures on a weighted graph with a Monge--Kantorovich metric, induced by a function defined on the set of vertices. The graph is assumed to have $n$ vertices and so, the boundary of the probability simplex is an affine $(n-2)$--chain. Characterizing the geodesics of minimal length which may intersect the boundary, is a challenge we overcome even when the endpoints of the geodesics don't share the same connected components. It is our hope that this work would be a preamble to the theory of Mean Field Games on graphs.

研究の動機と目的

• 対称関数 $ g $ を用いて確率単体に距離を定義することにより、グラフ上での最適輸送理論を構築すること。
• 古典的な滑らかさ理論がカバーしない、確率単体の境界と交差する場合でさえも、最小長geodesicを特徴づけること。
• ハミルトニアンにおける強収縮性の欠如を補うために、双対定式化とBV値をとるラグランジュ乗数を用いること。
• 境界に影響を受ける離散的設定への最適輸送の拡張を通じて、グラフ上でのMean Field Gamesの基礎を築くこと。
• 特異的および絶対連続的成分を含む一般化されたハミルトン–ジャコビ系を用いて、最小化子の必要十分条件を確立すること。

提案手法

• 対称関数 $ g $ から導かれるハミルトニアン $ \mathcal{H}_g $ を用いた、作用関数の下界原理に基づく確率単体 $ \mathcal{P}(G) $ 上の距離 $ \mathcal{W}_g $ を定義する。
• $ \mathcal{H}_g $ の強収縮性の欠如を回避するため、作用関数の双対定式化を用い、最小化子の存在を保証する。
• 確率測度の内部および境界挙動を特徴づけるために、Poincaré関数 $ \gamma_P $ を導入し、特定の条件下で有限エネルギーを保証する。
• BV値をとる双対変数 $ \lambda $ を用いてラグランジュ乗数を表現し、その微分を絶対連続部と特異部に分解する。
• $ \dot{\lambda}^{\text{abs}} $、$ \lambda^{\text{sing}} $、およびグラフ発散 $ \nabla_G\lambda $ を含む一般化されたハミルトン–ジャコビ系を用いて、最小化子の必要十分条件を導出する。
• BVおよび $ L^2 $ 空間における弱収束および弱*収束を用いて、最大化列から極限 $ \lambda^* $ を抽出し、境界条件と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 geodesicが境界と交差する場合、重み付きグラフ上の確率単体における最小長geodesicをどのように定義し計算できるか。
• RQ2 ハミルトニアンが強収縮性を欠く場合、作用関数の最小化子の存在を保証する条件は何か。
• RQ3 BV値をとる双対変数を用いて、境界を跨ぐgeodesicを持つグラフにおけるハミルトン–ジャコビ形式をどのように拡張できるか。
• RQ4 Poincaré関数 $ \gamma_P $ は、輸送距離の正則性および有限性を特徴づける上で果たす役割は何か。
• RQ5 BV関数による双対定式化は、特異的および境界に影響を受ける経路を含む、離散的グラフ上での最適輸送の全構造を回復できるか。

主な発見

• 最小作用 $ \mathcal{W}_g^2(\rho^0, \rho^1) $ が有限であるための必要十分条件は、Poincaré関数 $ \gamma_P(\rho^0), \gamma_P(\rho^1) > 0 $ であることであり、これは有限エネルギーgeodesicの存在を保証する。
• 曲線 $ (\rho, m) $ が作用を最小化するための必要十分条件は、絶対連続部および特異部を含む系 (6.11)–(6.13) を満たす $ \lambda \in \text{BV}_{\text{loc}}(0,1; \mathbb{R}^n) $ の存在である。
• 双対変数 $ \lambda $ は、ほとんど everywhere で $ H(\dot{\lambda}^{\text{abs}}, \nabla_G\lambda) \leq 0 $ および $ H_0(d\lambda^{\text{sing}}/d\nu) \leq 0 $ $ \nu $-a.e. を満たし、最適性を保証する。
• 最大化列の極限 $ \lambda^* $ は、$ (\lambda^*(1), \rho^1) - (\lambda^*(0), \rho^0) = \mathcal{A}(\rho^*, m^*) $ を満たし、双対変数と作用値を結びつける。
• 証明では、$ L^2_{\text{loc}} $、$ \text{BV}_{\text{loc}} $、および弱*位相における収束が確立され、有界 variation をもつ曲線の空間における最小化子の存在が保証される。
• 特異測度およびBV双対を用いることで、$ \mathcal{H}_g $ の非強収縮性を克服し、古典的最適輸送理論を境界を跨ぐグラフへ拡張する枠組みが構築される。