[논문 리뷰] A General Duality Theorem for the Monge--Kantorovich Transport Problem

Mathias Beiglboeck, Christian Léonard외 1명|arXiv (Cornell University)|2009. 11. 23.

Geometry and complex manifolds참고 문헌 4인용 수 11

한 줄 요약

이 논문은 보렐 확률측도와 보렐 비용 함수가 [0, ∞] 값을 갖는 폴란드 공간에서 몽헤-칸토로비치 운반 문제에 대한 일반적인 이중성 정리를 수립한다. 원래 문제를 질량 1−ε의 부분 운반을 允許하는 방식으로 약화시킬 때, 이러한 부분 계획에 대한 최소 비용이 이중 값으로 수렴함을 보여, 이중성 갭이 존재하지 않음을 입증한다. 이 결과는 낮은 하향 연속성 또는 유계성 조건 하에서의 고전적 이중성 결과를 일반화한다.

ABSTRACT

The duality theory of the Monge--Kantorovich transport problem is analyzed in a general setting. The spaces $X, Y$ are assumed to be polish and equipped with Borel probability measures $μ$ and $ν$. The transport cost function $c:X imes Y o [0,\infty]$ is assumed to be Borel. Our main result states that in this setting there is no duality gap, provided the optimal transport problem is formulated in a suitably relaxed way. The relaxed transport problem is defined as the limiting cost of the partial transport of masses $1-\varepsilon$ from $(X,μ)$ to $(Y, ν)$, as $\varepsilon >0$ tends to zero. The classical duality theorems of H.\ Kellerer, where $c$ is lower semi-continuous or uniformly bounded, quickly follow from these general results.

연구 동기 및 목표

• 고전적 결과가 실패하는 일반 조건 하에서 몽헤-칸토로비치 운반 문제의 이중성 갭 문제를 해결하기 위해.
• 비용 함수가 보렐 가측이지만 무한값을 가질 수 있는 경우에도 유효한 일반 이중성 정리를 수립하기 위해.
• 전체 질량이 아닌 질량 1−ε의 운반을 允許하는 방식으로 원 문제를 약화시킬 때 이중성이 유지됨을 보이기 위해.
• 켈러러의 결과를 포함한 기존 이중성 결과들을 하나의 프레임워크로 통합하고 일반화하기 위해.
• 와이너 공간 또는 캠벨-마르틴 공간과 같은 특이하거나 무한 비용 함수를 갖는 설정에서 이중성의 기초를 마련하기 위해.

제안 방법

• 원 문제를 폴란드 공간 위의 보렐 확률측도 μ, ν에 대해 운반 계획 π ∈ Π(μ,ν)에 대해 ∫c(x,y)dπ(x,y)의 비용을 최소화하는 것으로 설정한다.
• 이중 문제를 쌍 (φ,ψ) ∈ Ψ(μ,ν)에 대해 ∫φdμ + ∫ψdν를 최대화하는 것으로 정의하며, 여기서 φ(x) + ψ(y) ≤ c(x,y)는 점별로 성립한다.
• 질량 1−ε의 운반을 允許하는 방식으로 원 문제를 약화시켜, π ∈ Π^ε(μ,ν)가 여전히 π의 프로젝션 p_X(π) ≤ μ 및 p_Y(π) ≤ ν를 만족하도록 한다.
• P^ε를 Π^ε(μ,ν) 위에서의 최소 비용으로 정의하고, 이 값의 극한 inf_{ε↓0} P^ε를 약화된 원 문제의 값으로 고려한다.
• choquet의 용량 가능성 정리를 사용하여 보렐 집합을 양의 측도를 갖는 컴팩트 집합으로 줄여, 양의 측도를 갖는 컴팩트 집합 위에 질량이 분포된 운반 계획을 구성한다.
• 모든 π ∈ Π(μ,ν)에 대해 π(L)=0을 만족하는 보렐 집합 L ⊆ X×Y가 있다면, m(L)=0임을 도출하며, 이는 L이 μ(M)=ν(N)=0 조건을 만족하는 M×Y ∪ X×N 형태의 영집합에 포함됨을 의미한다.

실험 결과

연구 질문

• RQ1 비용 함수의 하향 연속성 또는 유계성 조건을 요구하지 않는 일반 조건 하에서 몽헤-칸토로비치 이중성은 언제 성립하는가?
• RQ2 예를 들어 대각선에서 비용 함수가 1이고 나머지에서는 ∞인 경우와 같이 고전적 이중성 갭이 존재하는 경우, 이중성은 복구될 수 있는가?
• RQ3 일반적인 설정에서 이중성 갭을 제거할 수 있는 자연스러운 원 문제의 약화는 무엇인가?
• RQ4 와이너 공간에서 캠벨-마르틴 노름을 갖는 비용 함수처럼 큰 집합에서 무한값을 갖는 비용 함수로도 이중성 결과를 확장할 수 있는가?
• RQ5 일반적인 보렐 비용 함수 하에서 이중성을 보장하는 데 있어 운반 계획의 지지집합의 구조는 어떤 역할을 하는가?

주요 결과

• 질량 1−ε의 부분 운반을 允許하는 약화된 원 문제의 경우, ε↓0일 때의 비용의 하한극한이 이중 문제와의 이중성 갭 없이 수렴함을 보였다.
• 모든 보렐 비용 함수 c: X×Y → [0,∞]에 대해, 원 문제의 값 P와 이중 문제의 값 D는 원 문제가 부분 운반을 允許하도록 약화되면 항상 P = D를 만족한다.
• 고전적 수식에서 관찰된 이중성 갭—예를 들어 c(x,y) = 1이 대각선에서 성립하고 나머지에서는 ∞인 경우—는 약화된 수식 하에서 사라진다.
• 보렐 집합을 양의 측도를 갖는 컴팩트 집합으로 줄이는 데에 콜레트의 용량 가능성 정리를 사용한 컴팩트니스 추론이 증명의 핵심이다.
• 모든 π ∈ Π(μ,ν)에 대해 π(L)=0을 만족하는 보렐 집합 L ⊆ X×Y가 있다면, L의 르베그 측도는 0이다. 이는 L이 μ(M)=ν(N)=0 조건을 만족하는 M×Y ∪ X×N 형태의 영집합에 포함됨을 의미한다.
• 이 결과는 켈러러의 고전적 이중성 정리들을 일반화하며, c가 하향 연속이거나 적분 가능한 함수로 유계일 경우 특수한 경우로 복구된다.