[논문 리뷰] More on the long time stability of Feynman-Kac semigroups

Grégoire Ferré, Mathias Rousset외 1명|arXiv (Cornell University)|2018. 07. 01.

Markov Chains and Monte Carlo Methods참고 문헌 60인용 수 21

한 줄 요약

이 논문은 리아프노프 및 미니마이제이션 조건에 기반한 새로운 스펙트럼 분석 프레임워크를 통해 비선형이고 비보존적인 동역학으로 확장된 고전적 마코프 체인 에르고딕 이론을 넘어서, 파인먼–카프 반군의 장기적 안정성을 확립한다. 고유한 불변 측도로의 지수 수렴을 증명하고, SDE 이산화의 균일한 시간 스텝 수렴을 도출하며, 대 deviations 이론과 슈뢰딩거 연산자의 스펙트럼 분석에의 응용을 포함한다.

ABSTRACT

Feynman-Kac semigroups appear in various areas of mathematics: non-linear filtering, large deviations theory, spectral analysis of Schrodinger operators among others. Their long time behavior provides important information, for example in terms of ground state energy of Schrodinger operators, or scaled cumulant generating function in large deviations theory. In this paper, we propose a simple and natural extension of the stability of Markov chains for these non-linear evolutions. As other classical ergodicity results, it relies on two assumptions: a Lyapunov condition that induces some compactness, and a minorization condition ensuring some mixing. Illustrative examples are provided, where the stability of the non-linear semigroup arises either from the underlying dynamics or from the Feynman-Kac weight function. We also use our technique to provide uniform in the time step convergence estimates for discretizations of stochastic differential equations

연구 동기 및 목표

• 비선형이고 비보존적인 동역학을 갖는 파인먼–카프 반군에 대한 고전적 마코프 체인 에르고딕 이론을 확장하기 위해.
• 유계가 아닌 상태 공간에서의 파인먼–카프 동역학에 대해 장기적 안정성과 유일한 불변 측도로의 수렴을 확립하기 위해.
• 시간 이산화된 확률적 미분 방정식에 대해 시간에 관계없이 균일한 수렴 추정을 제공하기 위해.
• 비자기수반 연산자에 대한 스펙트럼 이론을 활용하여, h-변환된 선형 마코프 과정을 통해 파인먼–카프 동역학의 분석을 통합하기 위해.

제안 방법

• 비선형 파인먼–카프 동역학을 선형 마코프 과정으로 변환하기 위해 h-변환을 사용하며, 이는 가중치 커널 연산자 Qf에 의해 지배된다.
• 가중치 함수 W를 포함한 일반화된 선형 리아프노프 조건을 적용하여 컴act성과 균일 적분 가능성을 확보한다.
• 콤��� 집합에서의 미니마이제이션 조건을 도입하여 비가역성과 혼합성을 보장함으로써 에르고딕성을 확보한다.
• 가중치 범위의 바나흐 공간에서 비자기수반 연산자에 대한 스펙트럼 이론을 활용하여 주 고유값과 양의 고유벡터의 존재를 증명한다.
• 연산자 노름 감쇠 추정을 통해 가중치 B∞-노름에서 지수 속도로 수렴을 확립한다.
• 구체적인 모델에서 리아프노프 및 미니마이제이션 조건을 검증함으로써 이 프레임워크를 이산 및 연속 시간 동역학(예: SDE 포함)에 적용한다.

실험 결과

연구 질문

• RQ1 무한한 상태 공간에서 파인먼–카프 반군이 어떤 조건에서 고유한 불변 측도로 지수 수렴을 보일 수 있는가?
• RQ2 고전적 마코프 체인 에르고딕 도구는 비선형이고 비보존적인 진화 커널에 어떻게 적응될 수 있는가?
• RQ3 시간 이산화된 SDE의 파인먼–카프 동역학에 대해 균일한 시간 스텝 수렴을 보장할 수 있는가?
• RQ4 대 deviations 이론에서 생성함수의 스케일링된 누적 생성 함수와 생성자에 대한 주 고유값 간의 관계는 무엇인가?
• RQ5 리아프노프 및 미니마이제이션 조건은 비가역적이고 비자기수반 설정에서 스펙트럼 갭과 지수 에르고딕성을 어떻게 보장하는가?

주요 결과

• 모든 초기 측도 µ와 유계 가측 테스트 함수 ϕ에 대해, 파인먼–카프 반군 Φk(µ)(ϕ)는 고유한 불변 측도 µ⋆f로 지수적으로 수렴한다.
• 생성자의 주 고유값 Λ는 log(Λ) = limk→∞ (1/k) log E[exp(∑i=0k−1 f(xi) | x0 ∼µ)] 를 만족하며, 이는 대 deviations 이론에서의 스케일링된 누적 생성 함수에 해당한다.
• 연속 시간 동역학의 경우, 유사한 리아프노프 및 미니마이제이션 조건 하에서 가중치 L∞-노름에서의 지수 에르고딕성이 확립된다.
• 커널 연산자 Qf의 스펙트럼 반경 Λ는 엄밀히 양수이며, 이는 불변 측도 하에서 양의 측도를 갖는 콤팩트 집합과 양의 미니마이제이션 상수가 존재함에 의해 보장된다.
• 시간 이산화된 SDE에 대해 균일한 시간 스텝 수렴 추정이 유도되었으며, 이는 이산 시간 연산자 Λ∆t의 스펙트럼 반경이 ∆t → 0 일 때 연속 시간 고유값 λ로 수렴함을 보여준다.
• Λ에 대응하는 주 고유벡터 h는 전 구역에서 엄밀히 양수이며, 불변 측도 µh는 µh(W h−1) < ∞ 를 만족하여 가중치 노름에서 적분 가능함을 보장한다.