[논문 리뷰] A survey of the Schr\\"odinger problem and some of its connections with optimal transport

C. Léonard|arXiv (Cornell University)|2013. 08. 01.

Spectral Theory in Mathematical Physics참고 문헌 49인용 수 348

한 줄 요약

이 논문은 상대 엔트로피를 최소화하고 고정된 주변 조건을 갖는 슈뢰딩거 문제, 즉 슈뢰딩거 문제의 종합적인 서베이를 제시한다. 이는 역학적 슈뢰딩거 문제와 브라운 운동 브리지가 포함된 정적 문제 사이의 깊은 연결을 보여줌으로써, 최적 운반 이론과의 관계를 밝혀낸다. 이는 최소 작용 원리에 의해 제곱형 몽헤-칸토로비치 운반 문제와 연결된다.

ABSTRACT

This article is aimed at presenting the Schr\\"odinger problem and some of its connections with optimal transport. We hope that it can be used as a basic user's guide to Schr\\"odinger problem. We also give a survey of the related literature. In addition, some new results are proved.

연구 동기 및 목표

• 주변 조건 하에 상대 엔트로피를 최소화하는 슈뢰딩거 문제를 확률적 최적 운반 문제로 제시하기.
• 측도의 분해를 통한 동적 슈뢰딩거 문제와 정적 슈뢰딩거 문제 간의 관계를 명확히 하기.
• 제곱형 몽헤-칸토로비치 최적 운반 문제와 슈뢰딩거 문제 간의 연결을 수립하기.
• 경로 공간에서 슈뢰딩거 문제를 정의하기 위해 필수적인 비유계 측도에 대한 상대 엔트로피의 엄밀한 처리 제공하기.
• 확률적 최적 운반 이론 및 대 deviations 이론 분야에 진입하는 연구자들을 위한 사용자 가이드 및 문헌 서베이 제공하기.

제안 방법

• 경로 공간 $ \Omega $ 상의 확률 측도 $ P $ 에서 상대 엔트로피 $ H(P|R) $ 를 최소화하는 동적 슈뢰딩거 문제를 정식화하며, 고정된 초기 및 최종 주변 조건 $ \mu_0, \mu_1 $ 을 갖는다.
• 분해 공식 $ \widehat{P} = \int R^{xy} \widehat{\pi}(dxdy) $ 를 사용하며, 여기서 $ R^{xy} $ 는 브라운 운동 브리지 측도이고 $ \widehat{\pi} $ 는 $ \mathcal{X} \times \mathcal{X} $ 에서 정적 슈뢰딩거 문제를 해결한다.
• 정적 슈뢰딩거 문제 $ H(\pi|R_{01}) \to \min $ 이며 $ \pi_0 = \mu_0, \pi_1 = \mu_1 $ 이며, $ R_{01}(dxdy) \propto \exp(-d(x,y)^2/2) \, \textrm{vol}(dx)\textrm{vol}(dy) $ 라는 조건에서, 이는 동적 문제와 동치임을 보여준다.
• 역학적 비용 $ C(\omega) = \int_0^1 |\dot{\omega}_t|^2/2 \, dt $ 를 통해 슈뢰딩거 문제와 제곱형 몽헤-칸토로비치 최적 운반 문제 간의 동치성을 수립한다.
• 무한대에 대한 가중 함수 $ W $ 를 사용하여 비유계 측도에 대한 상대 엔트로피의 엄밀한 정의를 제안하며, $ \int W \, dp < \infty $ 일 때 $ H(p|r) $ 가 잘 정의됨을 보장한다.
• 상대 엔트로피를 촉발 생성 함수의 관점에서 특성화하기 위해 변분 항등식 $ H(p|r) = \sup \left\{ \int u \, dp - \log \int e^u \, dr \right\} $ 을 적용한다.

실험 결과

연구 질문

• RQ1 슈뢰딩거 문제와 최적 운반 이론 간의 관계는 무엇이며, 두 이론 간의 정확한 수학적 연결 고리는 무엇인가?
• RQ2 해의 분해에서 브라운 운동 브리지의 역할은 무엇인가?
• RQ3 비유계 기준 측도(예: 비유계 다양체 위에서의 브라운 운동의 법칙)에 대해 상대 엔트로피를 어떻게 엄밀하게 정의할 수 있는가?
• RQ4 슈뢰딩거 문제는 몽헤-칸토로비치 문제를 어떻게 확률적 정규화로 간주할 수 있는가?
• RQ5 동적 슈뢰딩거 문제와 정적 문제 간의 동치성은 대 deviations 이론 및 통계역학에 어떤 함의를 갖는가?

주요 결과

• 동적 슈뢰딩거 문제의 해 $ \widehat{P} $ 는 브라운 운동 브리지 $ R^{xy} $ 의 혼합으로 분해되며, 혼합 측도 $ \widehat{\pi} $ 는 $ \mathcal{X} \times \mathcal{X} $ 에서 정적 슈뢰딩거 문제를 해결한다.
• 동적 및 정적 슈뢰딩거 문제의 값은 동일하다: $ \inf \eqref{sdyn} = \inf \eqref{s} $, 이는 두 문제의 동치성을 확립한다.
• 정적 슈뢰딩거 문제는 비용 $ c(x,y) = d(x,y)^2/2 $ 를 갖는 제곱형 몽헤-칸토로비치 최적 운반 문제와 동치이며, 이는 고전적 최적 운반 이론과 연결된다.
• 역학적 비용 $ C(\omega) = \int_0^1 |\dot{\omega}_t|^2/2 \, dt $ 는 $ x $ 에서 $ y $ 로 가는 일정 속도의 지오데식선을 따라 최소화되며, (MK dyn)의 해는 결정론적 경로 $ \gamma^{xy} $ 와 대응된다.
• 가중 함수 $ W $ 가 $ \int e^{-W} \, dr < \infty $ 를 만족할 경우, $ \int W \, dp < \infty $ 인 $ p \in \mathrm{P}(Y) $ 에 대해 상대 엔트로피 $ H(p|r) $ 는 잘 정의되며, 다양한 $ W $ 선택에 대해 일관성을 확보한다.
• 측도 가능 함수 $ u $ 에 대해 $ \sup |u|/W < \infty $ 를 만족할 경우, 변분 공식 $ H(p|r) = \sup \left\{ \int u \, dp - \log \int e^u \, dr \right\} $ 이 성립하며, 이는 $ H(\cdot|r) $ 가 볼록이고 하부 연속적인 함수임을 특성화한다.