[논문 리뷰] An extended footnote on finitely minimal martingale measures

Claus Griessler|arXiv (Cornell University)|2016. 06. 09.

Nonlinear Partial Differential Equations참고 문헌 21인용 수 5

한 줄 요약

이 논문은 마팅게일 운반 문제에서 최적성의 충분조건을 설정한다: 비용 함수가 적분 가능한 함수들의 합에 의해 위에서 유계이면, 임의의 c-유한 최적 마팅게일 측도는 최적이다. 핵심 기여는 이러한 일반적인 충분조건을 사용하여 왼쪽 단조 마팅게일 운반 계획의 유일성을 투명하게 증명한 것이다. 이는 이전 연구에서 요구하던 비용 함수에 대한 더 강한 연속성 및 유계성 가정을 필요로 하지 않는다.

ABSTRACT

This note contains a short discussion on the sufficiency of finite optimality in martingale transport. It is shown that finitely minimal martingale measures are solutions of the martingale transport problem when the cost function is upper semi-continuous and bounded from above by a sum of integrable functions. As an application a transparent proof of the uniqueness of left-monotone martingale transport plans is given.

연구 동기 및 목표

• 비용 함수에 대한 연속성 및 유계성 가정을 초월하여 마팅게일 운반 문제에서 최적성의 보다 광범위한 충분조건을 확립하기 위해.
• 새로운 충분조건을 사용하여 왼쪽 단조 마팅게일 운반 계획의 유일성을 투명하고 직접적으로 증명하기 위해.
• 유한 최소성 개념의 적용 범위를, 적분 가능한 함수들의 합에 의해 위에서 유계이도록 하는 더 넓은 비용 함수의 클래스로 확장하기 위해.
• 비용 함수에 대한 최소한의 정규성 조건 하에서 c-유한 최적성과 최적성 간의 관계를 연결하기 위해.

제안 방법

• 비용 함수가 모수에 대해 적분 가능한 함수들의 합에 의해 위에서 유계이면, c-유한 최적성에서 전체 최적성으로 이르는 일반화된 충분조건을 도입한다.
• 최적 운반 이론에서 순환 단조성에 영감을 얻은 분할 유형의 추론을 사용하여, 측도 가능 함수 φ와 ψ를 구성하여 φ(x) + ψ(y) ≤ c(x,y)를 만족시키고, 운반 계획의 지지집합에서 등호가 성립하도록 한다.
• ξ(x,y) = φ(x) + ψ(y) + Δ(x)(y−x)로 정의된 수정된 비용 유사 함수를 정의한다. 이 함수는 주어진 비용 한계 하에서 적분 가능하며, 모든 마팅게일 쌍에 대해 불변이다.
• 모든 마팅게일 쌍에 대해 ∫ξ dπ의 적분 불변성을 적용하여, c-유한 최적성이 다른 경쟁 계획과의 비교를 통해 전체 최적성으로 이어짐을 보인다.
• 주요 정리를 왼쪽 단조 쌍 πlc에 적용하여, 모든 s,t에 대해 그 지지집합이 c_{s,t}-유한 최소임을 보이고, 따라서 이러한 모든 비용 함수에 대해 최적임을 증명한다.
• 함수 c_{s,t}(x,y) = 1_{(-∞,s]}(x)|y−t|가 볼록 순서를 생성한다는 사실을 이용하여, πlc가 유일한 왼쪽 단조 마팅게일 쌍임을 결론짓는다.

실험 결과

연구 질문

• RQ1 마팅게일 운반 문제에서 c-유한 최적성이 언제 전체 최적성으로 이어지는가?
• RQ2 복잡한 근사화 추론에 의존하지 않고도 왼쪽 단조 마팅게일 운반 계획의 유일성을 확립할 수 있는가?
• RQ3 최적성의 충분조건는 연속성 및 유계성 비용 함수를 초월해 어느 정도까지 확장될 수 있는가?
• RQ4 볼록 순서를 생성하는 비용 함수의 클래스에 대해, 왼쪽 단조 쌍이 유일한 최소화자임을 직접적으로 증명할 수 있는가?

주요 결과

• 비용 함수 c(x,y)가 c₁(x) + c₂(y)에 의해 위에서 유계이면, c₁ ∈ L¹(μ) 및 c₂ ∈ L¹(ν)이면, 임의의 c-유한 최적 마팅게일 측도는 최적이다.
• 왼쪽 단조 마팅게일 운반 계획 πlc는 M_mart(μ,ν) 내에서 유일한 왼쪽 단조 원소이며, 모든 비용 함수 c_{s,t}(x,y) = 1_{(-∞,s]}(x)|y−t|에 대해 유일한 최소화자이다.
• 유일성 증명은 이제 투명하고 직접적이며, 새로운 충분조건과 함수 c_{s,t}가 볼록 순서를 생성한다는 사실에만 의존한다.
• μ|_{(-∞,s]}의 影을 ν에 대해 구성함으로써 πlc를 구성함으로써, 모든 s,t ∈ ℝ에 대해 그 지지집합이 c_{s,t}-유한 최소임을 보장한다.
• 충분조건는 이전에 유일성 증명에 사용된 복잡한 근사 절차를 회피할 수 있게 해주며, 추론 과정을 크게 단순화시킨다.
• 측도 가능 함수 φ와 ψ를 통해 구성된 불변 적분 I(φ + ψ)는 임의의 경쟁 계획의 비용이 c-유한 최적 계획의 비용 이하일 수 없음을 보장한다.