[논문 리뷰] Large deviations of empirical measures of diffusions in weighted topologies

Grégoire Ferré, Gabriel Stoltz|arXiv (Cornell University)|2019. 06. 22.

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

한 줄 요약

이 논문은 비유계 함수에 관련된 가중 위상에서 확산 과정의 경험 측도에 대한 대 deviations 원리(LDP)를 도입하며, Donsker–Varadhan 유형의 변분 공식과 비대칭 성분으로 나누는 새로운 비용 기능 분해 기법을 사용한다. 주요 기여는 Witten–Schrödinger 연산자의 스펙트럼 간격 조건과 LDP를 연결하는 일반적 프레임워크를 제공하는 것으로, 비가역적 동역학과 샘플링 효율성 분석이 가능한 비가역적 확산 과정인 랑주반 동역학을 포함한 비유계 공간에서의 응용에 적합하다.

ABSTRACT

We consider large deviations of empirical measures of diffusion processes. In a first part, we present conditions to obtain a large deviations principle (LDP) for a precise class of unbounded functions. This provides an analogue to the standard Cram\\'er condition in the context of diffusion processes, which turns out to be related to a spectral gap condition for a Witten-Schr\\"odinger operator. Secondly, we study more precisely the properties of the Donsker-Varadhan rate functional associated with the LDP. We revisit and generalize some standard duality results as well as a more original decomposition of the rate functional with respect to the symmetric and antisymmetric parts of the dynamics. Finally, we apply our results to overdamped and underdamped Langevin dynamics, showing the applicability of our framework for degenerate diffusions in unbounded configuration spaces.

연구 동기 및 목표

• 비유계 함수로 정의된 가중 위상에서 확산 과정의 경험 측도에 대한 대 deviations 원리(LDP)를 유도하는 것.
• 비대칭 확산 생성자에 대한 주요 고유값에 대한 변분 표현을 제공하고, 자유 에너지 쌍대와의 관계에서 Donsker–Varadhan 비용 기능을 특성화하는 것.
• Sobolev 반노름을 사용하여 일반적인 확산에 대해 비용 기능의 가역 및 비가역 부분으로의 분해를 일반화하는 것.
• 비가역적 확산 과정인 과다 및 과소 랑주반 동역학이 비유계 구성 공간에서 어떻게 적용 가능한지 보여주는 것.

제안 방법

• 비유계 테스트 함수에 대해 한계 자유 에너지 함수의 존재성과 Gateau 미분 가능성을 확보함으로써, Gärtner–Ellis 정리를 사용해 LDP를 유도한다.
• Legendre–Fenchel 변환을 통해 비용 함수와 자유 에너지 함수 간의 쌍대성을 확립하며, Donsker–Varadhan 공식을 비유계 설정으로 일반화한다.
• Sobolev 반노름을 사용해 비대칭 2차 미분 연산자의 주요 고유값에 대한 변분 표현을 제안함으로써, 동역학의 대칭 및 비대칭 성분을 분리한다.
• 가중 함수를 사용한 라플라스 함수 기법을 적용해 약한 위상에서 수준 집합의 지수적 콤팩트성과 유계성을 확보한다.
• Girsanov 정리와 Tchebychev 부등식을 사용해 LDP의 하한 및 상한을 구축함으로써, 가중 위상에서의 수렴을 보장한다.
• 스펙트럼 간격과 봉쇄 조건을 검증함으로써, 과다 및 과소 랑주반 동역학에 프레임워크를 검증한다.

실험 결과

연구 질문

• RQ1 비유계 함수로 정의된 가중 위상에서 확산 과정의 경험 측도에 대해 대 deviations 원리(LDP)가 성립하는 조건은 무엇인가?
• RQ2 비유계이고 비콤팩트인 설정에서 자유 에너지 기능과의 쌍대성으로 Donsker–Varadhan 비용 기능을 어떻게 표현할 수 있는가?
• RQ3 일반적인 확산 생성자에 대해 Sobolev 반노름을 사용해 비용 기능을 가역 및 비가역 부분으로 분해할 수 있는가?
• RQ4 어떤 스펙트럼 또는 봉쇄 조건이 비가역적 확산 과정인 비유계 공간 내 랑주반 동역학에 대해 LDP의 타당성을 보장하는가?

주요 결과

• 비유계 함수에 관련된 가중 위상에서 확산 과정의 경험 측도에 대해 자연스러운 봉쇄 조건과 정규성 조건 하에서 대 deviations 원리(LDP)가 수립된다.
• 비용 함수가 자유 에너지 기능의 Legendre–Fenchel 변환임을 보이며, Donsker–Varadhan 쌍대성의 비유계 함수로의 일반화가 이루어진다.
• 비대칭 확산 연산자에 대해 비유계 영역에서 주요 고유값에 대한 변분 표현이 유도된다.
• 비용 기능은 동역학의 대칭 및 비대칭 부분으로 분해되며, 비대칭 부분은 Sobolev 반노름을 통해 비가역 기여를 기술한다.
• 스펙트럼 간격과 라플라스 조건을 만족함으로써, 과다 및 과소 랑주반 동역학에 프레임워크가 성공적으로 적용됨이 확인된다.
• 랑주반 동역학의 경우, 비용 함수가 약한 위상에서 유한하고 컴팩트하게 지지되며, 라플라스 함수와 가중 노름을 통해 명시적인 상한이 도출된다.