[논문 리뷰] Structure of martingale transports in finite dimensions

Jan Obłój, Pietro Siorpaes|arXiv (Cornell University)|2017. 02. 27.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 17

한 줄 요약

이 논문은 R^N를 상대적으로 열린 볼록집합 {C_x}의 캐논리컬 볼록 분할로 정의하여, 임의의 마팅게일 운반 θ가 μ-거의곳곳에서 x에서 C_x의 닫힘으로 질량을 집중시킴을 보여준다. 이 구성은 유한 차원으로의 비글복과 줌일의 일차원 결과를 일반화하며, 마팅게일 극대 운반의 극점 집합을 기하학적으로 특성화하고 고차원에서의 마팅게일 극대 운반을 위한 최소이자 캐논리컬한 분해를 제공한다.

ABSTRACT

We study the structure of martingale transports in finite dimensions. We consider the family $\mathcal{M}(μ,ν) $ of martingale measures on $\mathbb{R}^N imes \mathbb{R}^N$ with given marginals $μ,ν$, and construct a family of relatively open convex sets $\{C_x:x\in \mathbb{R}^N \}$, which forms a partition of $\mathbb{R}^N$, and such that any martingale transport in $\mathcal{M}(μ,ν) $ sends mass from $x$ to within $\overline{C_x}$, $μ(dx)$--a.e. Our results extend the analogous one-dimensional results of M. Beiglböck and N. Juillet (2016) and M. Beiglböck, M. Nutz, and N. Touzi (2015). We conjecture that the decomposition is canonical and minimal in the sense that it allows to characterise the martingale polar sets, i.e. the sets which have zero mass under all measures in $\mathcal{M}(μ,ν)$, and offers the martingale analogue of the characterisation of transport polar sets proved in M. Beiglböck, M. Goldstern, G. Maresch, and W. Schachermayer (2009).

연구 동기 및 목표

• 일차원에서의 마팅게일 극대 운반 기하학적 특성화를 임의의 유한 차원으로 확장하는 것.
• 모든 마팅게일 운반 θ가 μ-거의곳곳에서 x에서 C_x의 닫힘으로 질량을 보낸다.
• 모든 마팅게일 쌍용에서 측도가 0인 집합—즉, μ-영집합과 ν-영집합의 곱집합에 포함된 집합—을 포함하는 집합을 극점 집합으로 특성화하는 것.
• 최적 운반 이론에서 개발된 쌍대성과 극점 이론의 유한 차원 해석을 마팅게일 제약 조건에 적응하여 제공하는 것.
• 모든 마팅게일 쌍용에서의 영집합을 묘사하는 데 필요한 최소한의 구조를 규명함으로써 마팅게일 극대 운반의 쌍대성 이론의 기초를 다지는 것.

제안 방법

• 마팅게일 쌍용 θ 하에서 L1(θ) 수렴하는 볼록 함수의 수열 (ϕ^n)의 초미분 수준집합의 면의 상대내부로 구성된 볼록집합 {C_x}를 정의한다.
• 바리센터 성질을 사용: 임의의 마팅게일 쌍용 θ에 대해, 분해측도 γ(x,·)의 바리센터는 x이며, 이를 통해 정리 4.6을 적용하여 γ(x,·)가 x의 상대내부에 속하는 면 F_x 위에 집중됨을 보인다.
• 집합 {y : Δ_xϕ^n(y) → 0}의 상대내부가 면 F_x와 같고, 그 닫힘은 A_x((ϕ^n)_n)의 닫힘과 일치함을 증명하여 C_x를 식별한다.
• 다른 지지함수를 선택하더라도 면의 상대내부가 불변하므로, 이 분할이 캐논리컬함을 보장한다.
• 잠재함수 u_{ν−μ}의 수렴성과 볼록함수와 그 하위미분 간의 쌍대성에 기반하여, 분할을 생성하는 수준집합을 정의한다.
• 하위미분의 보렐 측정가능 선택자 존재성 및 면의 상대내부 연산에 대한 닫힘 성질과 같은 볼록해석학의 결과를 적용하여, 분할의 측도가 잘 정의되고 일관됨을 보장한다.

실험 결과

연구 질문

• RQ1 비글복과 줌일의 일차원 마팅게일 운반 분해가 유한 차원 마팅게일 극대 운반으로 일반화될 수 있는가?
• RQ2 모든 마팅게일 쌍용 μ와 ν의 지지를 특성화하는 캐논리컬이고 최소인 R^N의 볼록 분할 {C_x}는 무엇인가?
• RQ3 모든 마팅게일 쌍용에서 측도가 0인 집합—즉, 극점 집합—은 고차원에서 어떻게 기하학적으로 특성화될 수 있는가?
• RQ4 분할 {C_x}는 어떤 마팅게일 쌍용에서 x의 상사가 포함되는 최소한의 집합을 식별함으로써 최소적이며 캐논리컬한가?
• RQ5 유한 차원에서 볼록함수의 하위미분 구조와 마팅게일 운반 계획의 기하학적 구조 사이의 관계는 무엇인가?

주요 결과

• 논문은 R^N를 분할하는 상대적으로 열린 볼록집합 {C_x}의 가족을 구성하여, 임의의 마팅게일 쌍용 θ ∈ M(μ,ν)가 μ-거의곳곳에서 x에서 C_x의 닫힘 안으로 질량을 보낸다는 성질을 만족한다.
• 이 분할 {C_x}는 캐논리컬하고 최소적이며, 마팅게일 극점 집합이 μ-영집합 N_μ와 ν-영집합 N_ν에 대해 (N_μ × R^N) ∪ (R^N × N_ν)에 포함된 집합임을 특성화한다.
• x를 포함하는 집합 {y : Δ_xϕ^n(y) → 0}의 면의 상대내부는 지지함수 b^n의 선택에 관계없이 불변하므로, 이 분할은 잘 정의되고 캐논리컬하다.
• 각 C_x의 닫힘은 집합 {y : Δ_xϕ^n(y) → 0}의 면의 상대내부의 닫힘과 같으며, 이는 A_x((ϕ^n)_n)의 닫힘과 일치함을 보여주며, 이는 하위미분 수열이 수렴하는 점들의 집합이다.
• 분해측도 γ(x,·)의 바리센터는 집합 {y : Δ_xϕ^n(y) → 0}의 면 F_x의 상대내부에 있으며, γ(x,·)는 F_x 위에 집중되어 있으므로, x에서 오는 질량은 C_x의 닫힘까지 제한됨을 의미한다.
• 비글복과 줌일의 일차원 결과를 확장함으로써 잠재함수와 하위미분 수준집합의 사용을 유한 차원으로 확장하여, 2차원 이상에서 더 풍부한 기하학적 구조를 드러낸다.