A Unified Kantorovich Duality for Multimarginal Optimal Transport

技術要約：マルチマージナルの最適輸送における統一的なカントロヴィッチ双対性

問題設定
本論文は、マルチマージナルの最適輸送（Multimarginal Optimal Transport; MOT）問題におけるカントロヴィッチ双対性を調査するものである。$K \geq 3$ 個のポーランド空間 $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)$ は、指定された周辺分布を持つ結合（coupling）の集合である。双対問題は、以下の最大化を目指す：
$$\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の定理などにより）十分に確立されているが、本研究では、マルチマーガナルの文献における以下の2つの特定のギャップに焦点を当てる：

1. 双対性の達成（Dual Attainment）: 単なる値の存在ではなく、最適な双対ファミリー（最大化因子）の存在を証明すること。
2. 構造的特徴付け（Structural Characterization）: 最適な双対ポテンシャルの標準的なクラス、すなわち、各成分 $f_k$ が残りの成分の「部分 $c$-変換（partial $c$-transform）」となっている相互 $c$-共役（mutually $c$-conjugate）なファミリーを特定すること。この構造は、統計学への応用、数値的安定性、および最適サポートの幾何学的理解において極めて重要である。

手法
著者らは、コンパクトな場合と非コンパクトな場合を別々に扱い、それぞれ異なる解析手法を用いている。

• コンパクトな場合:

  • 凸解析: 双対問題を、連続関数のバナッハ空間 $E = C(X_1 \times \dots \times X_K)$ 上の2つの凸汎関数 $\Theta$（コスト制約の指示関数）と $\Xi$（ポテンシャルの加法的構造を表すもの）を用いて再定式化する。
  • フェンシェル・ロカフェラー双対性: フェンシェル・ロカフェラーの定理を通じて、双対恒等式を導出する。
  • コンパクト性に関する議論: 最適な双対ファミリーの存在を確立するために、著者らはアルツェラ・アスコリの定理を利用する。部分 $c$-変換がコスト関数 $c$ の連続性のモジュラスを継承することを示す。双対ポテンシャルを正規化（加法的不定性をゼロ和定数によって除去）することで、最大化列の一様有界性と等連続性を確立し、相互 $c$-共役なポテンシャルのクラスにおける極限の存在を保証する。

• 非コンパクト（ポーランド）な場合:

  • タイト性と切断（Truncation）: 全域的なコンパクト性が利用できないため、周辺分布のタイト性とプロホロフの定理を用いて、結合の弱収束コンパクト性を確立する。
  • 局所化: 周辺分布が集中するコンパクト集合 $X_k^0$ に問題を制限する切断議論を採用する。この際、コンパクトな双対性の結果をこれらの部分集合に対して適用する。
  • 正規化と拡張: 切断された双対ポテンシャルを正規化し、成分ごとに調整することで、$\|c\|_\infty$ と $K$ にのみ依存する一様有界性を確保する。これらを、グローバルな許容性を維持したまま、十分小さな負の定数を割り当てることで全空間へと拡張する。
  • サポートの幾何学: 双対性の達成については、最適計画 $\pi^*$ のサポートの幾何学に依拠する。著者らは、双対制約が飽和する点である$c$-分裂集合（$c$-splitting sets）の概念を利用する。成分ごとの順序関係に関するツォルンの補題を用いた議論により、実数値の分裂ファミリーを相互 $c$-共役なものへとアップグレードする。$c$ の有界性は、これらのポテンシャルが有界であることを保証し、有界なボレル可測最適解をもたらす。

主要な貢献と結果

1. 統一的な双対恒等式（定理1および2）:

   • 著者らは、コンパクトな距離空間および一般的な非コンパクトなポーランド空間の両方において、有界連続コストに対するカントロヴィッチ双対恒等式を復元する。
   • 非コンパクトなケースにおいては、コストの強形式的な（coercivity）仮定に頼るのではなく、代わりに $c$ の有界性と周辺分布のタイト性に依拠してこれを達成している。

2. 標準的な双対最大化因子の存在（定理3および4）:

   • コンパクトな場合: 双対最大値は、許容される相互 $c$-共役なファミリー $\mathcal{G}_c$ に属する $f$ によって達成される。これは、等連続性とアルツェラ・アスコリの定理を通じて証明される。
   • 非コンパクトな場合: 最適計画のサポートが実数値の分裂ファミリーを認めるという仮定の下で、双対問題は有界なボレル可測の相互 $c$-共役な最適解を持つ。これは、$c$-分裂集合の幾何学と最大化の議論から導かれる。

3. 構造的特徴付け:

   • 本論文は、相互 $c$-共役なポテンシャルが、マルチマーガナルの設定における自然な双対ファミリーの代表であることを確立する。2つの周辺分布を持つケースでは共役性がペア間で行われるが、マルチマーガナルのケースでは、$K$ 重の結合が必要であり、各成分が他の成分から部分 $c$-変換を介して回収される必要がある。

意義と主張
著者らは、自らの研究を既存の文献に対する構造的な補完として位置づけている。先行研究（例：Kellerer, Rigo, Gangbo–Świech）は、多くの場合、主・双対値の等価性に焦命するか、あるいは問題を緩和（例：有限加法的な計画や一般化された双対対象の使用）することで最適性を達成しようとするが、本論文は以下の点で異なる：

• $\sigma$-加法性（標準的な確率測度）を維持している。
• 有界連続コスト ($c \in C_b$) を扱う。
• 真のマルチマーガナル設定 ($K \geq 3$) を扱っている。
• 相互 $c$-共役なファミリーのクラス内で標準的な最大化因子を提供する。

本論文は、これらのポテンシャルを標準的な代表者として特定することが、統計的および確率的な MOT に関する今後の研究のための、必要な構造的基礎を提供すると主張している。具体的には、この構造は以下のために必要である：

• 周辺分布およびコストに関する安定性解析。
• 輸送値の微分可能性（経験的輸送における関数デルタ法や中心極限定理に不可欠）。
• $c$-変換に依存する数値近似スキーム。

著者らは、最適計画の存在（既知）を解決したり、コストに対するすべての正則性仮定を取り除いたりすることを目的としているのではなく、標準的な有界性と連続性の仮定の下での、双対側の構造を明らかにすることを目的としている。