A Unified Kantorovich Duality for Multimarginal Optimal Transport

기술 요약: 다중 마진 최적 운송을 위한 통합된 칸토로비치 쌍대성

문제 정의
본 논문은 다중 마진 최적 운송(Multimarginal Optimal Transport, MOT) 문제에 대한 칸토로비치 쌍대성을 조사한다. $K \geq 3$개의 폴리시 공간(Polish spaces) $X_1, \dots, X_K$, 마진 확률 측도 $\mu_k \in \mathcal{P}(X_k)$, 그리고 비용 함수 $c: X_1 \times \dots \times X_K \to \mathbb{R}$가 주어졌을 때, 프라이멀(primal) 문제는 다음과 같이 운송 비용을 최소화하는 것을 목표로 한다:
$$\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)$는 주어진 마진을 갖는 결합(couplings)들의 집합이다. 듀얼(dual) 문제는 다음을 최대화하는 것을 목표로 한다:
$$\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): 단순히 값을 찾는 것을 넘어, 최적의 듀얼 가족(maximizer)이 존재함을 증명하는 것.
2. 구조적 특징 규명: 최적의 듀얼 포텐셜의 정형적인 클래스, 즉 각 성분이 나머지 성분들의 부분 $c$-변환(partial $c$-transform)인 상호 $c$-공액(mutually $c$-conjugate) 가족을 식별하는 것. 이러한 구조는 통계적 응용, 수치적 안정성, 그리고 최적 지지 집합(optimal supports)의 기하학적 이해를 위해 매우 중요하다.

방법론
저자들은 컴팩트(compact) 케이스와 비컴팩트(non-compact) 케이스를 구분하여 다루며, 각각을 위해 서로 다른 분석 도구를 사용한다.

• 컴팩트 케이스:

  • 볼록 해석학(Convex Analysis): 듀얼 문제를 연속 함수 공간 $E = C(X_1 \times \dots \times X_K)$ 상에서 두 개의 볼록 범함수, 즉 $\Theta$(비용 제약의 지시 함수)와 $\Xi$(포텐셜의 가법적 구조를 나타내는 함수)를 사용하여 재구성한다.
  • Fenchel–Rockafellar 쌍대성: Fenchel–Rockafellar 정리를 통해 쌍대성 항등식을 도출한다.
  • 컴팩트성 논증: 달성(attainment)을 확립하기 위해 저자들은 아르첼라-아스콜리(Arzelà–Ascoli) 정리를 활용한다. 그들은 부분 $c$-변환이 비용 함수 $c$의 연속성 계수(modulus of continuity)를 상속받음을 보여준다. 듀얼 포텐셜을 정규화함으로써(가법적 불확정성인 영합 상수 제거를 통해), 최대화 수열의 균등 유계성과 동등 연속성(equicontinuity)을 확립하고, 이를 통해 상호 $c$-공액 포텐셜 클래스 내에서 극한의 존재를 보장한다.

• 비컴팩트(폴리시) 케이스:

  • 타이트니스(Tightness) 및 절단(Truncation): 전역적인 컴팩트성을 사용할 수 없으므로, 저자들은 마진의 타이트니스와 프로호로프 정리(Prokhorov's theorem)를 사용하여 결합 집합의 협소 컴팩트성(narrow compactness)을 확립한다.
  • 국소화(Localization): 마진이 집중되는 컴팩트 부분 집합 $X_k^0$로 문제를 제한하는 절단 논증을 사용한다. 이후 컴팩트 쌍대성 결과를 이 부분 집합들에 적용한다.
  • 정규화 및 확장: 절단된 듀얼 포텐셜들을 정규화하고 성분별로 조정하여, $\|c\|_\infty$와 $K$에만 의존하는 균등 유계성을 확보한다. 이들은 전체 공간으로 확장될 때, 전역적 허용 가능성을 유지하면서 충분히 작은 음수 상수를 할당함으로써 확장된다.
  • 지지 집합의 기하학: 듀얼 달성을 위해 저자들은 최적 플랜 $\pi^*$의 지지 집합의 기하학에 의존한다. 그들은 $c$-분할 집합(듀얼 제약이 포화되는 곳)의 개념을 활용한다. 성분별 순서에 대한 존의 정리(Zorn's lemma) 논증을 사용하여, 실수 값의 분할 가족을 상호 $c$-공액 가족으로 격상시킨다. $c$의 유계성은 이 포텐셜들이 유계임을 보장하며, 이는 유계 보렐 가측(Borel measurable) 최적해를 도출한다.

주요 기여 및 결과

1. 통합된 쌍대성 항등식 (정리 1 & 2):

   • 본 논문은 유계 연속 비용($c \in C_b$)에 대해 컴팩트 메트릭 공간과 일반적인 비컴팩트 폴리시 공간 모두에서 칸토로비치 쌍대성 항등식을 회복한다.
   • 비컴팩트 케이스의 경우, 코어시비티(coercivity) 가정을 요구하는 대신 $c$의 유계성과 마진의 타이트니스에 의존하여 이를 달성한다.

2. 정형적 듀얼 극대화자의 존재 (정리 3 & 4):

   • 컴팩트 케이스: 듀얼 최댓값은 허용 가능한 상호 $c$-공액 가족인 $f \in \mathcal{G}_c$에 의해 달성된다. 이는 균등 연속성과 아르첼라-아스콜리 정리를 통해 증명된다.
   • 비컴팩트 케이스: 최적 플랜의 지지 집합이 실수 값의 분할 가족을 가진다는 가정하에, 듀얼 문제는 유계인 보렐 가측 상호 $c$-공액 최적해를 갖는다. 이는 $c$-분할 집합의 기하학과 극대화 논증을 통해 도출된다.

3. 구조적 특징 규명:

   • 본 논문은 상호 $c$-공액 포텐셜이 다중 마진 설정에서 최적 듀얼 가족의 자연스러운 대표자임을 확립한다. 두 마진을 갖는 경우의 공액(conjugacy)이 쌍별(pairwise)로 이루어지는 것과 달리, 다중 마진 케이스는 각 성분이 다른 성분들로부터 부분 $c$-변환을 통해 회복되는 $K$-중 결합(K-fold coupling)을 요구한다.

의의 및 주장
저자들은 자신의 연구를 기존 문헌에 대한 구조적 보완물로 위치시킨다. 킬러러(Kellerer), 리고(Rigo), 강보-스위치(Gangbo–Świech) 등의 선행 연구들이 주로 프라이멀-듀얼 값의 동일성에 집중하거나 문제를 완화(예: 유한 가법적 플랜 또는 일반화된 이중 쌍대 대상 사용)하여 최적성을 달성하는 데 반해, 본 논문은 다음과 같은 특징을 갖는다:

• $\sigma$-가법성($\sigma$-additivity)을 유지한다(표준 확률 측도).
• 유계 연속 비용($c \in C_b$)을 다룬다.
• 진정한 다중 마진 설정($K \geq 3$)을 다룬다.
• 상호 $c$-공액 가족 내에서 정형적 극대화자를 제공한다.

저자들은 이러한 포텐셜을 정형적 대표자로 식별하는 것이 통계적 및 확률적 MOT 연구를 위한 필수적인 구조적 기초를 제공한다고 주장한다. 구체적으로, 이 구조는 다음을 위해 필요하다:

• 마진 및 비용에 대한 안정성 분석.
• 운송 값의 미분 가능성(경험적 운송의 함수 델타 방법 및 중심 극한 정리 등에 필수적임).
• $c$-변환에 의존하는 수치 근사 기법.

저자들은 최적 플랜의 존재성(이미 알려진 사실)을 해결하거나 비용에 대한 모든 정칙성(regularity) 가정을 제거하려는 것이 아니라, 표준적인 유계성 및 연속성 가설 하에서 듀얼 측면의 구조를 명확히 하는 데 목적을 두고 있다.