[논문 리뷰] Dual attainment for the martingale transport problem

Mathias Beiglboeck, Tongseok Lim외 1명|arXiv (Cornell University)|2017. 05. 11.

Markov Chains and Monte Carlo Methods참고 문헌 11인용 수 6

한 줄 요약

이 논문은 일차원 마틴게일 최적 운반 문제에서 이중 성취의 충분조건을 확립한다. 비용 함수 $ c(x,y) $ 가 $ y $ 에 대해 볼록이거나 볼록 함수와 동치일 경우, 국소적으로 이중 최대화자가 존재함을 증명한다. 주요 결과는 $ C^2 $-정규성과 컴acts된 지지집합을 가진 모ーメ인털 조건 하에서 이중 성취가 성립하며, 이 정규성 조건은 날카로운 경계임을 보이며, $ C^{2- u} $-비용 함수에서는 실패함을 보인다. 추가로, 비용 함수가 리프시츠일 경우 이중 최적화자가 리프시츠임을 증명한다.

ABSTRACT

We investigate existence of dual optimizers in one-dimensional martingale optimal transport problems. While [BNT16] established such existence for weak (quasi-sure) duality, [BHP13] showed existence for the natural stronger pointwise duality may fail even in regular cases. We establish that (pointwise) dual maximizers exist when $y\mapsto c(x,y)$ is convex, or equivalent to a convex function. It follows that when marginals are compactly supported, the existence holds when the cost $c(x,y)$ is twice continuously differentiable in $y$. Further, this may not be improved as we give examples with $c(x,\cdot)\in C^{2-ε}$, $ε>0$, where dual attainment fails. Finally, when measures are compactly supported, we show that dual optimizers are Lipschitz if $c$ is Lipschitz.

연구 동기 및 목표

• 일차원 마틴게일 최적 운반 문제에서 이중 성취의 점별 존재성에 대한 열린 문제를 해결함. 이전 연구에서는 일반적으로 실패함을 보였음.
• 이중 최대화자가 존재하는 조건에 대해 비용 함수 $ c(x,y) $ 의 날카로운 정규성 조건을 규명함.
• 지지집합이 컴팩트한 경우, $ c(x,\cdot) $ 가 $ C^2 $-정규성이면 이중 성취가 성립함을 보이며, 이 조건이 충분하고 최적임을 입증함.
• 이중 최적화자의 정규성에 대해 연구하여, 비용 함수가 리프시츠이고 지지집합이 컴팩트한 경우 이중 최적화자가 리프시츠임을 보임.
• 이중 성취가 $ C^{2-\varepsilon} $-비용 함수에서 실패하는 반례를 제시하여 정규성 조건의 날카로움을 입증함.

제안 방법

• 볼록 해석학과 쌍대 이론을 활용하여 마틴게일 최적 운반 문제의 이중 문제를 특성화함. 주로 점별 부등식에 초점함.
• 점들의 수열 $ y_n $ 이 극한값 $ y_\infty $ 로 수렴하는 방식으로 명시적 반례를 구성함. 이 경우 이중 함수 $ g(y_\infty) = -\infty $ 가 되어 적분 가능성 위반.
• 볼록 함수 분석과 급수 발산 논증을 적용하여, $ c(x,y) = -|x-y|^r $ 이고 $ r < 2 $ 일 경우 $ g(y_\infty) = -\infty $ 가 됨을 보임.
• 측도의 분해와 탄젠트 마틴게일 쌍대를 활용하여 $ C^2 $-비용 함수 및 리프시츠 비용 함수의 경우 이중 최대화자를 구성함.
• $ f(x) + h(x)(y-x) \leq c(x,y) $ 가 점별로 성립하고, $ x $ 에 대해 최소화함으로써 $ g(y) $ 를 정의함으로써 이중 탈락 가능성 보장.
• 컴팩트 지지집합 조건 하에서 리프시츠 함수들의 점별 최소화로서 $ g $ 가 정의되므로, 이중 최적화자의 리프시츠 정규성을 증명함.

실험 결과

연구 질문

• RQ1 비용 함수 $ c(x,y) $ 가 어떤 조건을 만족할 경우, 마틴게일 최적 운반 문제에서 점별 이중 최대화자가 존재하는가?
• RQ2 지지집합이 컴팩트한 경우, $ c(x,\cdot) $ 가 $ C^2 $-정규성일 때 이중 성취가 성립하는가?
• RQ3 $ C^2 $-정규성 조건을 약화시킬 수 있는가, 아니면 이 조건이 날카로운가?
• RQ4 비용 함수가 리프시츠 연속일 경우 이중 최적화자가 리프시츠 정규성을 가진다 할 수 있는가?
• RQ5 $ C^{2-\varepsilon} $-비용 함수에서 이중 성취가 실패하는 반례를 구성할 수 있는가?

주요 결과

• 비용 함수 $ y \mapsto c(x,y) $ 가 볼록이거나 볼록 함수와 동치일 경우, 점별 이중성 보장됨.
• 지지집합이 컴팩트한 경우, $ c(x,\cdot) $ 가 $ C^2 $-정규성일 경우 이중 성취가 성립함. 이는 $ c(x,\cdot) $ 가 국소적으로 $ C^2 $-스무스하고 $ y $ 에 대해 볼록이기 때문임.
• $ C^2 $-정규성 조건은 날카로움을 보임. 임의의 $ \varepsilon > 0 $ 에 대해, 컴팩트 지지집합을 가진 $ C^{2-\varepsilon} $-비용 함수에서 이중 성취가 실패하는 예가 존재함.
• 비용 함수 $ c $ 가 리프시츠이고 지지집합이 컴팩트한 경우, 이중 최적화자 $ g $ 는 리프시츠 연속함.
• $ c(x,y) = -|x-y|^r $ 이고 $ 1 < r < 2 $ 일 경우 반례 존재. 이 경우 $ g(y_\infty) = -\infty $ 가 되어 적분 가능성 위반으로 이중 성취 실패.
• $ C^{2-\varepsilon} $-경우 이중 성취 실패는 지원 함수의 기울기 차이를 포함하는 급수의 발산을 통해 입증됨.