[논문 리뷰] Thermodynamic interpretation of Wasserstein distance

Andreas Dechant, Yohei Sakurai|arXiv (Cornell University)|2019. 12. 18.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 22인용 수 27

한 줄 요약

이 논문은 확산 과정에서 최소 엔트로피 생성(소산)이 초기 및 최종 확률 분포 간의 L²-워샤르스테인 거리의 제곱에 비례함을 보여줌으로써 워샤르스테인 거리에 직접적인 열역학적 해석을 제시한다. 주요 결과는 초기 및 최종 상태의 평균과 공분산 행렬 뿐만으로 표현되는 소산에 대한 하한을 제시하는 것으로, 초기 및 최종 상태가 가우시안일 경우 선형 힘에 의해 최적의 프로토콜이 실현됨을 보여준다.

ABSTRACT

We derive a relation between the dissipation in a stochastic dynamics and the Wasserstein distance. We show that the minimal amount of dissipation required to transform an initial state to a final state during a diffusion process is given by the Wasserstein distance between the two states, divided by the total time of the process. This relation implies a lower bound on the dissipation for any diffusion process in terms of its initial and final state. Using a lower bound on the Wasserstein distance, we further show that we can give a lower bound on the dissipation in terms of only the mean and convariance matrix of the initial and final state. We apply this result to derive the optimal forces that minimize the dissipation for given initial and final mean and covariance.

연구 동기 및 목표

• 확산 과정에서 워샤르스테인 거리에 대한 열역학적 해석을 수립하는 것.
• 유한 시간 확산 과정에 대한 엔트로피 생성(소산)에 대한 하한을 유도하는 것.
• 주어진 초기 및 최종 상태에서 소산을 최소화하는 최적의 프로토콜을 규명하는 것.
• 초기 및 최종 상태가 가우시안일 경우 주어진 평균과 공분산에 대해 가능한 최소 소산을 달성함을 보여주는 것.
• 초기 및 최종 상태가 가우시안일 경우 최적의 힘장에 대한 명시적 해석적 형태를 제공하는 것.

제안 방법

• 초기 및 최종 확률 분포 간의 워샤르스테인 거리를 사용하여 엔트로피 생성에 대한 하한을 유도한다.
• 최적 운반 이론의 벤아모-브레니에 공식화를 적용하여 확률적 확산 역학과 비소산 경로를 연결한다.
• 가우시안 분포 간의 워샤르스테인 거리에 대한 기존 하한을 활용하여 최소 소산을 평균과 공분산 행렬로 표현한다.
• 최소 소산을 실현하는 최적의 힘장의 명시적 형태를 유도하며, 이는 위치와 시간에 대해 선형이며 시간에 따라 변하는 형태이다.
• 최적의 역학이 가우시안성을 유지함을 보이며, 평균과 공분산 행렬의 제곱근이 선형으로 보간됨을 보여준다.
• 최소 소산은 초기 및 최종 상태가 모두 가우시안일 때 달성되며, 공분산 행렬이 교환되지 않을 경우에도 성립함을 입증한다.

실험 결과

연구 질문

• RQ1 확산 과정에서 워샤르스테인 거리를 최소 소산 측도로 해석할 수 있는가?
• RQ2 초기 및 최종 상태의 평균과 공분산 뿐만으로 의존하는 엔트로피 생성에 대한 가장 날카로운 하한은 무엇인가?
• RQ3 최소 소산은 어떤 조건에서 달성되며, 이에 해당하는 최적의 힘장은 무엇인가?
• RQ4 최소 소산 프로토콜은 선형 힘 모델 내에서 실현 가능한가, 비선형 대안보다 우월한가?
• RQ5 초기 및 최종 상태가 가우시안일 경우 최적 프로토콜을 명시적으로 구성할 수 있는가?

주요 결과

• 확산 과정에서 최소 엔트로피 생성은 초기 및 최종 상태 간의 워샤르스테인 거리의 제곱에 비례하며, 이는 이동도, 온도 및 총 시간에 의해 스케일링된다.
• 초기 및 최종 상태의 평균과 공분산 행렬 뿐만으로 표현되는 소산에 대한 하한이 도출되었으며, 최적 프로토콜에 대한 지식이 필요하지 않다.
• 최소 소산은 초기 및 최종 확률 분포가 모두 가우시안일 때 달성되며, 이는 주어진 모멘트에 대해 가우시안 역학이 최적이 됨을 시사한다.
• 최적의 힘장은 위치와 시간에 대해 선형인 명시적 형태로 유도되었으며, 시간에 따라 변하는 평균과 공분산 행렬의 제곱근이 초기 및 최종 값 사이를 선형으로 보간한다.
• 초기 및 최종 공분산 행렬이 교환 가능할 경우, 최적의 힘장은 평균과 공분산의 시간 도함수를 포함하는 폐쇄형 표현식으로 주어진다.
• 결과적으로 주어진 1차 및 2차 모멘트에 대해 비선형 힘 프로토콜이 선형 프로토콜보다 소산 최소화 측면에서 뛰어나지 못함을 의미한다.