[논문 리뷰] Almost sure contraction for diffusions on $\\mathbb R^d$. Application to generalised Langevin diffusions

Pierre Monmarché|arXiv (Cornell University)|2020. 09. 22.

Markov Chains and Monte Carlo Methods참고 문헌 34인용 수 4

한 줄 요약

이 논문은 일정한 확산 행렬을 가진 $\mathbb{R}^d$ 위의 확산에서 거의 확실한 수축를 확립하며, 결정론적 드리프트 수축성과 모든 $p \in [1, \infty]$에 대해 $\mathcal{W}_p$ 워샤르스타인 거리의 지수 수축이 동치임을 증명한다. 결과는 일반화된 랑주뱅-디퓨전에 적용되어 볼록한 포텐셜과 높은 마찰 조건 하에서 수축을 보여주며, 이는 이전의 결과를 가역성 또는 히포에일리프틱성 조건을 초월하여 확장한다.

ABSTRACT

In the case of diffusions on $\\mathbb R^d$ with constant diffusion matrix, without assuming reversibility nor hypoellipticity, we prove that the contractivity of the deterministic drift is equivalent to the constant rate contraction of Wasserstein distances $\\mathcal W_p$, $p\\in[1,\\infty]$. It also implies concentration inequalities for ergodic means of the process. Such a contractivity property is then established for some non-equilibrium chains of anharmonic oscillators and for some generalised Langevin diffusions when the potential is convex with bounded Hessian and the friction is sufficiently high. This extends previous known results for the usual (kinetic) Langevin diffusion.

연구 동기 및 목표

• 일정한 확산 행렬을 가진 $\mathbb{R}^d$ 위의 확산에서 결정론적 드리프트 수축성과 $\mathcal{W}_p$ 워샤르스타인 거리의 지수 수축 간의 일반적 동치성을 확립하기.
• 기존의 수축 결과를 가역성 또는 히포에일리프틱성 조건을 초월하여, 특히 비평형 일반화된 랑주뱅 과정으로 확장하기.
• 일반화된 랑주뱅-디퓨전이 가역성 또는 히포에일리프틱성이 없더라도 거의 확실한 수축을 보일 수 있는 조건을 제공하기.
• 볼록한 포텐셜과 충분히 높은 마찰이 지수 수축을 보장하는 것으로 일반화된 과거의 결과를 확장하기.

제안 방법

• 기울기 수축성과 워샤르스타인 거리 수축성 간의 연결을 위해 커플링 접근법과 반세마이그레이션 보간 기법을 사용한다.
• 변형된 형태의 Bakry-Émery 곡률 프레임워크를 적용하여, 열악한 확산을 다룰 수 있도록 수직 carré du champ $\Gamma^Z$ 를 통합한다.
• 수축 추정을 가능하게 하기 위해 수정된 생성자 $\mathcal{L}^*$ 와 쌍대성 논리를 활용하여 수반 세마이그레이션을 분석한다.
• 양의 정부호 행렬 $K$ 와 관련된 노름 $\|\cdot\|_K$ 를 도입하여, 역학과 호환되는 리만 기하학적 구조를 정의한다.
• 행렬 부등식과 연산자 노름을 사용하여 수반 세마이그레이션 $R_t$ 의 스펙트럼 경계를 통해 $\mathcal{W}_{K,2}$ 거리의 지수 감쇠 추정을 유도한다.
• 비가역성 이론과 쌍대성 이론을 적용하여 $\|P_t f\|_{L^2(\mu_\infty)} \leq \sqrt{\eta_t} \|f\|_{L^2(\mu_\infty)}$ 를 보이며, $\eta_t = 3|N^{-1}||N|e^{-2\rho t}$ 이므로 $L^2$ 감쇠가 성립함을 시사한다.

실험 결과

연구 질문

• RQ1 가역성 또는 히포에일리프틱성 조건을 가정하지 않고, 일반적인 $\mathbb{R}^d$ 위의 확산에서 결정론적 드리프트 수축성이 $\mathcal{W}_p$ 거리의 지수 수축성과 동치인가?
• RQ2 볼록한 포텐셜과 높은 마찰 조건을 가진 일반화된 랑주뱅-디퓨전이 비가역일 경우에도 거의 확실한 수축을 보일 수 있는가?
• RQ3 비평형 확산에서 워샤르스타인 거리의 지수 수축을 보장하기 위해 포텐셜 $U$ 와 마찰 계수 $\gamma$ 에 어떤 조건이 필요한가?
• RQ4 Bakry-Émery 곡률가 존재하지 않을 경우 ($\rho = -\infty$), 운동역학적 확산의 수축 성질에 어떤 영향을 미치는가?
• RQ5 기본 곡률 조건이 실패할 경우, 쌍대성과 수정된 생성자 방법을 통해 $\mathcal{W}_p$ 거리의 수축을 확립할 수 있는가?

주요 결과

• 일정한 확산 행렬 조건 하에서, 가역성 또는 히포에일리프틱성 조건 없이도 모든 $p \in [1, \infty]$ 에 대해 드리프트 수축성과 $\mathcal{W}_p$ 거리의 지수 수축이 동치임을 입증한다.
• 일반화된 랑주뱅-디퓨전의 경우, 포텐셜 $U$ 가 볼록하고 헤시안가 유계이며 마찰 $\gamma$ 가 충분히 높을 경우 수축이 성립함을 보였다.
• 수축 속도 $\rho > 0$ 는 $U$ 의 헤시안 유계성, 마찰 $\gamma$, 그리고 역학과 관련된 행렬 $N$ 에 대해 명시적으로 유계진다.
• 동일한 조건 하에서, 과정의 에르고딕 평균에 대한 농도 부등식을 확립하여, 경로 기반 수축성과 통계적 농도를 연결한다.
• 쌍대성에 대해 수축 결과가 강건함을 입증: 수반 세마이그레이션 $R_t$ 는 $\|P_t f\|_{L^2(\mu_\infty)} \leq \sqrt{\eta_t} \|f\|_{L^2(\mu_\infty)}$ 를 만족하며, $\eta_t = 3|N^{-1}||N|e^{-2\rho t}$ 이므로 $L^2$ 감쇠가 성립함을 시사한다.
• 비가역 과정으로의 확장을 위해 수직 carré du champ $\Gamma^Z$ 를 도입함으로써, 표준 Bakry-Émery 곡률이 $-\infty$ 일 경우에도 수축 추정이 가능함을 보였다.