[论文解读] 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

一句话总结

本文提出了一套框架，用于在加权图的概率单纯形上通过由对称函数 $ g $ 导出的Monge–Kantorovich度量，计算最小长度测地线。即使测地线穿过单纯形边界，也通过引入Poincaré函数并使用BV值的对偶变量处理奇点，利用哈密顿–雅可比系统与边界条件刻画极小化子，从而实现图上平均场博弈的应用。

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 $ 在概率单纯形上定义度量，发展图上最优传输的理论。
• 刻画即使在测地线与概率单纯形边界相交时的最小长度测地线，这一情形未被经典光滑理论涵盖。
• 通过使用对偶公式和BV值的拉格朗日乘子，克服哈密顿量缺乏强制性的缺陷。
• 通过将最优传输扩展至具有边界影响的离散情形，为图上的平均场博弈提供理论基础。
• 通过广义哈密顿–雅可比系统（包含奇异与绝对连续分量）建立极小化子的必要与充分条件。

提出的方法

• 通过基于哈密顿量 $ \mathcal{H}_g $ 的作用泛函下确界原理，在概率单纯形 $ \mathcal{P}(G) $ 上定义度量 $ \mathcal{W}_g $，其中 $ \mathcal{H}_g $ 由对称函数 $ g $ 导出。
• 采用作用泛函的对偶公式，绕过 $ \mathcal{H}_g $ 缺乏强制性的问题，从而保证极小化子的存在性。
• 引入Poincaré函数 $ \gamma_P $ 以刻画概率测度的内部与边界行为，确保在特定条件下能量有限。
• 采用BV值的对偶变量 $ \lambda $ 表示拉格朗日乘子，将其导数分解为绝对连续部分与奇异部分。
• 通过涉及 $ \dot{\lambda}^{\text{abs}} $、$ \lambda^{\text{sing}} $ 与图散度 $ \nabla_G\lambda $ 的广义哈密顿–雅可比系统，推导极小化子的必要与充分条件。
• 利用BV与 $ L^2 $ 空间中的弱收敛与*弱*收敛，从一列最大化序列中提取极限 $ \lambda^* $，确保与边界条件的一致性。

实验结果

研究问题

• RQ1 当测地线与加权图的概率单纯形边界相交时，如何定义并计算最小长度测地线？
• RQ2 在哈密顿量缺乏强制性时，何种条件可保证作用泛函极小化子的存在性？
• RQ3 如何通过BV值的对偶变量，将哈密顿–雅可比形式化推广至具有边界穿越测地线的图？
• RQ4 Poincaré函数 $ \gamma_P $ 在刻画传输度量的正则性与有限性方面起何作用？
• RQ5 通过BV函数的对偶公式，能否恢复离散图上最优传输的完整结构，包括奇异与边界影响路径？

主要发现

• 最小作用 $ \mathcal{W}_g^2(\rho^0, \rho^1) $ 有限当且仅当 Poincaré 函数 $ \gamma_P(\rho^0), \gamma_P(\rho^1) > 0 $，这确保了有限能量测地线的存在。
• 曲线 $ (\rho, m) $ 最小化作用的必要与充分条件是存在 $ \lambda \in \text{BV}_{\text{loc}}(0,1; \mathbb{R}^n) $ 满足系统 (6.11)–(6.13)，其中涉及 $ \dot{\lambda}^{\text{abs}} $ 的绝对连续部分与奇异部分。
• 对偶变量 $ \lambda $ 满足 a.e. 有 $ 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}} $ 与弱-* 拓扑下的收敛性，确保在有变差曲线空间中极小化子的存在。
• 该框架通过使用奇异测度与BV对偶变量，克服 $ \mathcal{H}_g $ 的非强制性，将经典最优传输推广至具有边界穿越的图。