[논문 리뷰] Local structure of multi-dimensional martingale optimal transport

Hadrien De March|arXiv (Cornell University)|2018. 05. 24.

Markov Chains and Monte Carlo Methods참고 문헌 15인용 수 10

한 줄 요약

이 논문은 다차원 공간에서 최적 마팅게일 운반 계획의 국소 미분 구조를 확립하며, 일반적인 립시츠 비용에 대해 최적 쌍대는 비용의 부분 미분과 애핀 함수의 교차부에 지지됨을 보여준다. Ghoussoub, Kim & Lim가 제기한, 최적 계획이 항상 $d+1$개 점에 지지된다는 추측을 비원자적 타겟에 대해 반례를 구성함으로써 반증하였고, 일반적인 미분 가능 비용에 대해 최적 지지 집합은 유한하며, $d$ 가 짝수일 경우 최대 $d+2$개 점에 이를 수 있음을 증명하였다.

ABSTRACT

This paper analyzes the support of the conditional distribution of optimal martingale transport plans in higher dimension. In the context of a distance coupling in dimension larger than 2, previous results established by Ghoussoub, Kim & Lim show that this conditional transport is concentrated on its own Choquet boundary. Moreover, when the target measure is atomic, they prove that the support is concentrated on d+1 points, and conjecture that this result is valid for arbitrary target measure. We provide a structure result of the support of the conditional optimal transport for general Lipschitz couplings. Using tools from algebraic geometry, we provide sufficient conditions for finiteness of this conditional support, together with (optimal) lower bounds on the maximal cardinality for a given coupling function. More results are obtained for specific examples of coupling functions based on distance functions. In particular, we show that the above conjecture of Ghoussoub, Kim & Lim is not valid beyond the context of atomic target distributions.

연구 동기 및 목표

• 일반적인 립시츠 비용에 대해 $\mathbb{R}^d$에서 최적 마팅게일 운반 계획의 지지 집합의 국소 미분 구조를 특성화하는 것.
• Ghoussoub, Kim & Lim의 추측, 즉 고차원에서 거리 비용에 대해 최적 쌍대가 항상 $d+1$개 점에 지지된다는 것의 타당성을 검토하는 것.
• 대수기하학 도구를 사용하여 조건부 지지 집합의 유한성에 대한 충분조건을 개발하는 것.
• 비원자적 타겟 측도에 대해 추측이 성립하지 않음을 보여주는 반례를 구성하는 것.
• 역구조 정리 수립: 임의의 유한 점 집합이 기울기-애핀 교차로부터 유도될 경우, 그 점 집합은 어떤 변량에 대해 최적 해가 될 수 있음을 증명하는 것.

제안 방법

• 최적 커널의 지지 집합을 분석하기 위해 비용의 부분 미분 $c_x(x_0, \cdot)$와 애핀 함수 $A \in \mathrm{Aff}_d$의 교차를 사용한다.
• 대수기하학 기법을 적용하여 최적 커널의 지지 집합의 유한성에 대한 충분조건를 도출한다.
• 역구조 정리 도입: $\{c_x(x_0, Y) = A(Y)\}$로 정의된 점의 부분집합에 대해, 이 집합이 어떤 변량에 대해 최적 해가 되는 변량 $\mu, \nu$ 가 존재함을 보여준다.
• 바리센터 표현을 특성화하고 볼록 hull을 분석하기 위해 함수 $G(X) = \left(\sum_{i=1}^{d+1} \frac{\lambda_i}{X - a_i}\right)^{-1}$ 를 사용한다.
• 수치 해법기를 활용하여 $c(X,Y) = |X-Y|^p$ 에 대해 $\{c_x(0,Y) = A(Y)\}$ 를 만족하는 점들의 랜덤 구성 생성을 수행하였으며, 이는 $p \approx 1.9$ 및 $p \approx 2.1$ 에서 이론적 결과를 검증한다.
• 비특이성 가정 하에 확률 1로 성립하는 조건 하에서, $\log(\lambda)$-공간 내 곡선의 교차를 $S_0$의 점들과 연결하기 위해 정리 2.20을 적용한다.

실험 결과

연구 질문

• RQ1 Ghoussoub, Kim & Lim의 추측, 즉 거리 비용에 대해 $\mathbb{R}^d$에서 최적 마팅게일 운반 계획이 항상 $d+1$개 점에 지지된다는 것은 원자적 타겟 측도가 아닌 일반적인 타겟 측도에 대해서도 성립하는가?
• RQ2 주어진 비용 함수에 대해 $\mathbb{R}^d$에서 최적 마팅게일 쌍대의 지지 집합의 최대 가능 기수는 얼마인가?
• RQ3 비용의 부분 미분과 애핀 함수의 교차를 통해 최적 쌍대의 국소 구조를 완전히 특성화할 수 있는가?
• RQ4 비용 함수에 어떤 조건이 성립할 경우 최적 커널의 지지 집합이 유한하게 유지되는가?
• RQ5 비용의 부분 미분 $c_x(x_0, \cdot)$와 애핀 함수의 교차로부터 유도된 모든 유한 점 집합이 어떤 변량에 대해 최적 쌍대의 지지 집합으로 실현될 수 있는가?

주요 결과

• Ghoussoub, Kim & Lim의 추측, 즉 거리 비용에 대해 최적 쌍대가 항상 $d+1$개 점에 지지된다는 것은 비원자적 타겟 측도에 대해 반례를 제시함으로써 일반적으로 참이 아님을 입증하였다.
• 일반적인 미분 가능 비용 함수에 대해 최적 쌍대는 유한 개의 그래프에 지지되며, $d$ 가 짝수일 경우 최대 기수는 $d+2$ 이상으로 유계임을 보였다.
• 최적 커널의 지지 집합은 $c_x(x_0, \cdot)$의 그래프와 애핀 함수 $A \in \mathrm{Aff}_d$의 교차부에 포함되며, 콜레트 경계보다 훨씬 더 정밀한 특성화를 제공한다.
• 역구조 정리 증명: 임의의 유한 점 집합 $\{y_1, \dots, y_k\}$ 이 $c_x(x_0, y_i) = A(y_i)$ 로 정의될 경우, 이 집합이 어떤 변량 $\mu, \nu$ 에 대해 최적 마팅게일 쌍대의 지지 집합이 되는 변량이 존재한다.
• 수치 실험 결과, $c(X,Y) = |X-Y|^p$ 에 대해 $p \leq 1$ 일 경우 지지 집합 크기는 $2d$ 이고, $p > 1$ 일 경우 $2d+1$ 이며, 비특이성 있는 랜덤 샘플링 하에서도 구성이 안정됨을 확인하였다.
• 논문은 $p|y_0|^{p-2}$ 가 특성다항식 $\chi$ 의 단일 근일 경우, $y_0$ 가 나머지 점들의 볼록 hull 내에 존재하므로 $S_0$ 가 자신의 콜레트 경계에 집중되어 있지 않음을 보였다.