[论文解读] Monge solutions and uniqueness in multi-marginal optimal transport via graph theory

Brendan Pass, Adolfo Vargas-Jiménez|arXiv (Cornell University)|Apr 19, 2021

American Literature and Culture被引用 4

一句话总结

本文针对通过图结构定义的一类过剩函数，建立了多边际最优传输问题的唯一性与Monge解结果。通过将过剩函数与具有m个顶点的图G关联，作者证明：当图满足特定连通性与度数条件（如每个顶点的度数为m−1或m−2）时，解唯一且由确定性映射诱导，从而推广了关于完全图与环图的已知结果。

ABSTRACT

We study a multi-marginal optimal transport problem with surplus $b(x_{1}, \ldots, x_{m})=\sum_{\{i,j\}\in P} x_{i}\cdot x_{j}$, where $P\subseteq Q:=\{\{i,j\}: i, j \in \{1,2,...m\}, i eq j\}$. We reformulate this problem by associating each surplus of this type with a graph with $m$ vertices whose set of edges is indexed by $P$. We then establish uniqueness and Monge solution results for two general classes of surplus functions. Among many other examples, these classes encapsulate the Gangbo and Świȩch surplus [12] and the surplus $\sum_{i=1}^{m-1}x_{i}\cdot x_{i+1} + x_{m}\cdot x_{1}$ studied in an earlier work by the present authors [23].

研究动机与目标

• 解决多边际最优传输问题何时存在唯一Monge解的挑战，特别是在标准扭曲条件失效时。
• 在难以实际验证的“扭曲于分裂集”条件之外，推广现有的唯一性与Monge解结果。
• 通过引入图论框架，统一并扩展对特定过剩函数（如Gangbo–Świȩch与循环过剩）的已知结果。
• 刻画过剩函数（以图编码）的结构性条件，以保证在边际绝对连续条件下的Monge解与唯一性。

提出的方法

• 通过将过剩函数 $ b(x_1, \ldots, x_m) = \sum_{\{i,j\} \in P} x_i \cdot x_j $ 与具有m个顶点和边集P的图$ G $关联，重新表述多边际最优传输问题。
• 定义关键图论性质：顶点度数 $ |N(v)| \in \{m-1, m-2\} $，最大团 $ S_j $，以及内部中心点集 $ A $，以分类过剩结构。
• 创新性地应用引理2.1，比较两个解 $ x^1 $ 与 $ x^2 $，证明在 $ I(V(G) \setminus V(S)) $、$ I(V(S_k)) $ 上相等，最终得出 $ x^1 = x^2 $ 处处成立。
• 通过反证法与顶点邻域及团的分类讨论，证明边际和相等可推出传输计划的逐点相等。
• 利用 $ \mu_1 $（或某个 $ i \in I(N(v_1)) $ 的 $ \mu_i $）的绝对连续性，确保唯一确定性映射解的存在。
• 推广已知结果：Gangbo–Świȩch过剩（完全图）与循环过剩（环图）均为该框架的特例。

实验结果

研究问题

• RQ1 当过剩函数 $ b(x_1, \ldots, x_m) = \sum_{\{i,j\} \in P} x_i \cdot x_j $ 的图结构满足何种图论条件时，多边际Kantorovich问题存在唯一Monge解？
• RQ2 能否通过图结构松弛或推广经典的“扭曲于分裂集”条件，特别是针对非扭曲的过剩函数？
• RQ3 图的结构性质（如顶点度数与团分解）如何决定Monge解的存在性与唯一性？
• RQ4 Gangbo–Świȩch与循环过剩的结果能否在统一的图论框架下统一并扩展？
• RQ5 当扭曲条件失效时，第一个边际 $ \mu_1 $ 或某个 $ \mu_i $ 的绝对连续性在确保Monge解中起何种作用？

主要发现

• 对于任意关联于m个顶点图$ G $的过剩函数，若每个顶点的度数为m−1或m−2，且 $ \mu_1 $ 绝对连续，则Kantorovich问题的每个解均由确定性映射诱导。
• 该结果推广了Gangbo–Świȩch过剩（完全图）与循环过剩 $ \sum_{i=1}^{m-1} x_i \cdot x_{i+1} + x_m \cdot x_1 $，二者均为该框架的特例。
• 当 $ m \leq 4 $ 时，即使“扭曲于分裂集”条件不成立，循环过剩仍存在唯一Monge解，前提是 $ \mu_1 $ 绝对连续。
• 当 $ m \geq 5 $ 时，循环过剩可能允许多个非Monge解，但图论条件仍可在绝对连续性下保证唯一性与Monge形式。
• 证明技术依赖于通过顶点邻域上的和约束比较两个解，并利用引理2.1的改进版本强制图上各处的逐点相等。
• 该框架允许图中存在缺失边（如 $ C_m \setminus \text{edges} $），只要每个顶点最多缺失一个邻居，即可保持唯一性的结构性条件。