[논문 리뷰] Minimizing relative entropy of path measures under marginal constraints

Aymeric Baradat, Christian Léonard|arXiv (Cornell University)|2020. 01. 29.

Markov Chains and Monte Carlo Methods참고 문헌 24인용 수 6

한 줄 요약

이 논문은 여러 시간 마진과 동시 종점 제약 조건 하에서 경로 측도의 상대 엔트로피를 최소화함으로써 슈뢰딩거 문제를 일반화한다. 기저 측도에 대한 비가역성 가정 하에서 마코프 방법을 사용한다. 핵심 결과는 라돈-니코다임 미분이 덧셈 함수와 경계 항의 지수 형태로 인수분해된다는 것이다. 이는 고전적 인수분해를 다중 시간 제약 조건으로 확장한다.

ABSTRACT

We study generalizations of the Schrödinger problem in statistical mechanics in two directions: when the density is constrained at more than two times, and when the joint law of the initial and final positions for the particles is prescribed. This is done in agreement with the so-called Brödinger problem recently introduced to regularize Brenier's variational model for incompressible fluids. We recover generalizations of the standard factorization result for the Radon-Nikodym derivative of the solution $P$ with respect to the reference measure $R$: this density can be written in terms of an additive functional on the set of constrained times. The specificity of this work is that we place ourselves in the case when $R$ is Markov (or reciprocal), and that we use Markovian methods rather than classical convex analysis arguments. In this setting, it appears that a natural assumption to be made on the reference measure $R$ is of irreducibility type.

연구 동기 및 목표

• 두 개 이상의 시간 마진과 함께 초기-최종 분포의 동시 제약 조건이 있는 설정으로 슈뢰딩거 문제를 확장하기 위해.
• 균일한 마진을 갖는 비압축성 조건과 종점 제약 조건을 동시에 포함하는 브로딩거 문제를 이해하기 위해.
• 이러한 일반화된 제약 조건 하에서 해 경로 측도의 인수분해 구조를 도출하기 위해.
• 볼록 해석 대신 마코프 기법을 사용하여 해의 구조를 확립하기 위해.
• 기저 측도의 비가역성이 인수분해 결과를 가능하게 하는 핵심 조건임을 규명하기 위해.

제안 방법

• 기저 측도 $ R $ 에 의해 지배되는 경로 측도 위에서 엔트로피 최소화 문제를 설정한다. $ R $ 은 마코프 또는 상호작용 기반 기저 측도일 수 있다.
• 마코프 기법을 적용하여, 마진 제약 조건 하에서 최소화자 $ P $ 가 $ R $ 에서 유래한 마코프 성질을 상속함을 보인다.
• 시간 집합 $ \mathcal{T} $ 에만 영향을 미치는 덧셈 함수 $ A $ 를 도입하여 마진 제약 조건을 기록한다.
• 조건화 기법(보조정리 B.2)을 사용하여 조건부 측도와 마진 측도 간의 관계를 설정하고, 절대 연속성 조건 하에서 일致성을 확보한다.
• 해의 밀도를 $ \frac{dP}{dR} = \exp(\eta(X_0,X_1) + A([0,1])) $ 로 유도한다. 여기서 $ \eta $ 는 종점 제약 조건을 표현한다.
• 이중 색인 마르티ン게일의 정규성 결과를 활용하여 덧셈 함수 $ A $ 의 존재성과 연속성을 보장한다.

실험 결과

연구 질문

• RQ1 두 개 이상의 시간 마진이 제약 조건으로 설정될 경우, 슈뢰딩거 문제의 인수분해 구조는 어떻게 일반화되는가?
• RQ2 기저 측도 $ R $ 에 대해 어떤 조건이 최소화자 $ P $ 가 인수분해된 밀도 형태를 갖는 데 필요한가?
• RQ3 엔트로피 최소화 경로 측도의 구조를 도출하는 데 있어 마코프 기법이 볼록 해석을 대체할 수 있는가?
• RQ4 초기-최종 분포의 동시 제약 조건과 다중 마진 제약 조건은 해의 형태에 어떻게 영향을 미치는가?
• RQ5 기저 측도의 비가역성이 라돈-니코다임 미분의 인수분해를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 기저 측도 $ R $ 가 비가역적일 경우, 상대 엔트로피의 최소화자 $ P $ 는 다음과 같은 인수분해된 밀도를 갖는다: $ \frac{dP}{dR} = \exp(\eta(X_0,X_1) + A([0,1])) $, 여기서 $ \eta $ 는 종점 제약 조건을 표현하고 $ A $ 는 $ \mathcal{T} $ 에 대해 정의된 덧셈 함수이다.
• 덧셈 함수 $ A $ 는 경로 과정 $ X_t $ 가 $ t \in \mathcal{T} $ 에서의 값에만 의존하며, 제약 조건이 있는 시간 집합 $ \mathcal{T} $ 에만 영향을 미친다.
• 기저 측도 $ R $ 가 마코프일 경우 해 $ P $ 도 마코프가 되며, 비가역성 가정 하에서 $ P $ 와 $ R $ 의 밀도는 $ X_0 $ 와 $ X_1 $ 의 함수가 된다.
• 관련된 이중 색인 마르티ン게일의 연속성과 좌극한 성질 덕분에 덧셈 함수 $ A $ 의 정규성이 보장된다.
• 조건화 기법(보조정리 B.2)은 $ \mathbf{q}^{Y=y} $-거의확실하게 $ \mathbf{q}_Y $-거의확실한 모든 $ y $ 에 대해 성립하는 성질이 마진 측도 $ \mathbf{q}_X $ 에도 동일하게 성립함을 보장하여 분해의 일致성을 확보한다.
• 결과적으로 고전적 슈뢰딩거 인수분해를 다중 시간 제약 조건으로 일반화하였으며, 경계 항과 덧셈 함수에 기반한 해의 경로 기반 구조를 제공한다.