A Unified Kantorovich Duality for Multimarginal Optimal Transport

技术摘要：多边际最优传输的统一 Kantorovich 对偶性

问题陈述
本文研究了多边际最优传输（Multimarginal Optimal Transport, MOT）问题的 Kantorovich 对偶性。给定 $K \geq 3$ 个 Polish 空间 $X_1, \dots, X_K$，边际概率测度 $\mu_k \in \mathcal{P}(X_k)$，以及代价函数 $c: X_1 \times \dots \times X_K \to \mathbb{R}$，原问题旨在最小化传输代价：
$$\text{MOT}_c(\mu_1, \dots, \mu_K) = \inf_{\pi \in \Pi(\mu_1, \dots, \mu_K)} \int c \, d\pi,$$
其中 $\Pi(\mu_1, \dots, \mu_K)$ 是具有给定边际分布的耦合集合。对偶问题旨在最大化：
$$\sup_{f \in \mathcal{F}_c} \sum_{k=1}^K \int f_k \, d\mu_k,$$
受限于约束条件 $\sum_{k=1}^K f_k(x_k) \leq c(x_1, \dots, x_K)$。

虽然对于一般边际分布，原对偶等式（对偶恒等式）已通过 Kellerer 定理得到确立，但本研究关注多边际文献中的两个特定空白：

1. 对偶可达性（Dual Attainment）： 证明存在最优对偶族（极大值函数）而不仅仅是其数值。
2. 结构特征化（Structural Characterization）： 识别一类规范的候选最优对偶势函数，即相互 $c$-共轭（mutually $c$-conjugate）族，其中每个分量 $f_k$ 都是剩余分量的部分 $c$-变换（partial $c$-transform）。这种结构对于统计应用、数值稳定性以及理解最优支撑集的几何性质至关重要。

方法论
作者针对紧致情形和非紧致情形分别进行了处理，并采用了不同的分析工具。

• 紧致情形：

  • 凸分析： 对偶问题在连续函数 Banach 空间 $E = C(X_1 \times \dots \times X_K)$ 上进行重构，使用两个凸泛函：$\Theta$（指示代价约束）和 $\Xi$（代表势函数的加法结构）。
  • Fenchel–Rockafellar 对偶： 通过 Fenchel–Rockafellar 定理导出对偶恒等式。
  • 紧致性论证： 为了建立可达性，作者利用了 Arzelà–Ascoli 定理。他们证明了部分 $c$-变换会继承代价函数 $c$ 的模连续性（modulus of continuity）。通过对对偶势进行归一化（通过零和常数消除加法不确定性），他们建立了极大化序列的一致有界性和等连续性，从而确保了在相互 $c$-共轭势类中存在极限。

• 非紧致（Polish）情形：

  • 紧性与截断： 由于缺乏全局紧致性，作者利用边际分布的紧性（tightness）和 Prokhorov 定理来建立耦合集的窄紧性（narrow compactness）。
  • 局部化： 他们采用截断论证，将问题限制在边际分布集中的紧子集 $X_k^0$ 上。随后在这些子集上应用紧致对偶结果。
  • 归一化与扩展： 截断后的对偶势经过归一化，并按分量进行调整，以确保其有界性仅依赖于 $\|c\|_\infty$ 和 $K$。随后，通过在紧集外分配足够小的负常数，将这些势函数扩展到全空间，从而保持全局容许性。
  • 支撑集的几何： 对于对偶可达性，作者依赖于最优计划 $\pi^*$ 的支撑集几何性质。他们利用 $c$-分裂集（$c$-splitting sets） 的概念（即对偶约束饱和的点）。通过对分量序进行 Zorn 引理论证，他们将一个实值分裂族提升为相互 $c$-共轭族。$c$ 的有界性保证了这些势函数是有界的，从而产生了一个有界的 Borel 可测极大值。

核心贡献与结果

1. 统一的对偶恒等式（定理 1 & 2）：

   • 本文在紧致度量空间和一般的非紧致 Polish 空间上，恢复了有界连续代价函数的 Kantorovich 对偶恒等式。
   • 在非紧致情形下，该结果并不依赖于代价函数的强制性（coercivity）假设，而是依靠 $c$ 的有界性和边际分布的紧性。

2. 规范对偶极大值的存在性（定理 3 & 4）：

   • 紧致情形： 对偶最大值由属于 $\mathcal{G}_c$ 的族 $f \in \mathcal{G}_c$ 达到，其中 $\mathcal{G}_c$ 是容许的、相互 $c$-共轭的族。这是通过等连续性和 Arzelà–Ascoli 定理证明的。
   • 非紧致情形： 在假设最优计划的支撑集存在实值分裂族的条件下，对偶问题存在一个有界的、Borel 可测的、相互 $c$-共轭的极大值。这是通过 $c$-分裂集几何和极大化论证得出的。

3. 结构特征化：

   • 本文确立了相互 $c$-共轭势函数是多边际设定下最优对偶族的自然代表。与两边际情形中仅需两两共轭不同，多边际情形需要一个 $K$ 重耦合，其中每个分量都通过部分 $c$-变换从其他分量中恢复。

意义与主张
作者将本工作定位为现有文献的结构性补充。虽然先前的研究（如 Kellerer, Rigo, Gangbo–Świech）通常侧重于原对偶值相等，或通过放宽问题（例如使用有限加性计划或广义双对对象）来获得最优性，但本文：

• 保持了 $\sigma$-可加性（标准概率测度）。
• 处理 有界连续代价函数 ($c \in C_b$)。
• 针对真正的 多边际设定 ($K \geq 3$)。
• 在相互 $c$-共轭族类中提供 规范极大值。

本文声称，将这些势函数识别为规范代表，为多边际最优传输（MOT）的进一步统计与概率研究提供了必要的结构基础。具体而言，这种结构对于以下方面是必需的：

• 关于边际分布和代价函数的稳定性分析。
• 传输值的可微性（这对于经验传输中的泛函 $\delta$ 方法和中心极限定理至关重要）。
• 依赖于 $c$-变换的数值近似方案。

作者并非声称解决了最优计划的存在性问题（这已是已知结论），也不声称消除了对代价函数的所有正则性假设，而是旨在澄清在标准有界性和连续性假设下对偶侧的结构。