[논문 리뷰] FROM THE SCHRODINGER PROBLEM TO THE MONGE-KANTOROVICH PROBLEM

Christian Léonard|arXiv (Cornell University)|2016. 08. 16.

Geometry and complex manifolds참고 문헌 29인용 수 207

한 줄 요약

이 논문은 확률적 역학에서의 엔트로피 최소화 문제인 슈뢰딩거 문제와 고전적 몽헤-칸토로비치 최적 운반 문제 사이의 엄밀한 연결 고리를 수립한다. 분산 매개변수 k가 0으로 수렴함에 따라 엔트로피 최소화 해가 최적 운반 계획으로 수렴함을 보여, 몽헤-칸토로비치 비용이 슈뢰딩거의 엔트로피 문제의 대칭적 극한으로서 나타남을 입증한다. 이는 함수해석학적 프레임워크 내에서 Γ-수렴과 대칭적 원리의 이론을 활용한다.

ABSTRACT

The aim of this article is to show that the Monge-Kantorovich problem is the limit of a sequence of entropy minimization problems when a fluctuation parameter tends down to zero. We prove the convergence of the entropic values to the optimal transport cost as the fluctuations decrease to zero, and we also show that the limit points of the entropic minimizers are optimal transport plans. We investigate the dynamic versions of these problems by considering random paths and describe the connections between the dynamic and static problems. The proofs are essentially based on convex and functional analysis. We also need specific properties of Gamma-convergence which we didn't find in the literature. Hence we prove these Gamma-convergence results which are interesting in their own right.

연구 동기 및 목표

• . 분산 매개변수 k → 0일 때 엔트로피 최소화 해가 최적 운반 계획으로 수렴함을 증명한다.
• . 최적 운반 비용이 엔트로피 비용의 대칭적 극한으로서 나타남을 보인다.
• . 확률적 및 변분적 방법을 통해 역학적(경로 기반) 및 정적(모서리 기반) 운반 공식을 통합한다.
• . 약하게 컴act한 공간에서의 볼록 함수 및 제약 조건이 있는 최소화 문제에 대해 새로운 Γ-수렴 결과를 개발하고 증명한다.
• . 확률적 개념을 깊은 확률 과정 이론이나 대칭 이론에 대한 지식 없이도 분석가들이 접근할 수 있도록 기능해석학적 프레임워크를 제공한다.

제안 방법

• . 분산 매개변수 k → ∞일 때 엔트로피 최소화 문제의 극한을 분석하기 위해 Γ-수렴을 사용한다.
• . 점점 감소하는 분산을 갖는 확률적 과정 Rk의 점근적 행동을 기술하기 위해 대칭 원리(LDP)를 적용한다.
• . LDP의 비용 함수 C(ω)와 운반 비용 c(x,y) = inf{C(ω) : ω0=x, ω1=y} 사이의 대응 관계를 수립한다.
• . 엔트로피 문제의 최소화 해(식 2)가 한없이 작은 비용 c에 대해 최적 운반 계획으로 약하게 수렴함을 증명한다.
• . 수축 원리와 라플라스-바라다한 원리를 적용하여 초기 및 최종 위치의 경험적 측도에 대한 LDP를 유도한다.
• . 볼록 및 기능해석학을 활용하여 함수의 등비강성 및 Γ-하한/상한 조건을 증명하여 함수의 수렴을 확보한다.

실험 결과

연구 질문

• RQ1 . 분산이 감소함에 따라 슈뢰딩거의 엔트로피 문제 해가 몽헤-칸토로비치 최적 운반 문제 해로 수렴하는 방식은 어떻게 되는가?
• RQ2 . 확률 과정의 비용 함수와 그로 인해 유도되는 운반 비용 사이의 정확한 관계는 무엇인가?
• RQ3 . 랜덤 경로를 통한 동적 운반 공식이 대칭 원리를 통해 정적 공식(공통 측도 기반)과 엄밀하게 연결될 수 있는가?
• RQ4 . 엔트로피 최소화 해의 수열이 최적 운반 계획으로 수렴하는 조건은 무엇인가?
• RQ5 . 이러한 변분 문제의 수렴을 증명하기 위해 필요한 기능해석학 도구—특히 Γ-수렴—는 무엇인가?

주요 결과

• . 분산 매개변수 k → ∞일 때 엔트로피 비용 값이 몽헤-칸토로비치 최적 운반 비용으로 수렴한다.
• . 엔트로피 최소화 해의 극한점은 제한 비용 c(x,y) = inf{C(ω) : ω0=x, ω1=y}에 대한 최적 운반 계획이다.
• . 분산 계수 1/k를 갖는 브라운 운동의 경우, 제한 비용은 c(x,y) = 1/2|y−x|²이며, 최소화 해는 µ0와 µ1 사이의 이동 보간으로 수렴한다.
• . 이차 비용 문제에 유일한 해가 존재할 경우, 엔트로피 최소화 해의 수열 Pk는 약하게 결정론적 과정 bP = ∫ δσxy bπ(dxdy)로 수렴한다. 여기서 bπ는 최적 운반 계획이다.
• . 등비강성 및 연속성 가정 하에 제약 조건이 있는 최소화 문제에 대해 새로운 Γ-수렴 결과를 증명하였으며, 이는 주요 수렴 정리에 필수적이다.
• . 수축 원리와 라플라스-바라다한 원리를 활용하여 초기 및 최종 위치의 공동 확률 분포에 대한 LDP를 도출하였으며, 이로 인해 운반 비용이 비용 함수로 나타난다.