[논문 리뷰] Stochastic approximation of quasi-stationary distributions for diffusion processes in a bounded domain

Michel Benaı̈m, Nicolas Champagnat외 1명|arXiv (Cornell University)|2019. 04. 18.

Stochastic processes and statistical mechanics참고 문헌 20인용 수 3

한 줄 요약

이 논문은 경계에서 흡수되는 유한 도메인 내의 강화된 확산 과정의 점유 측도가 유일한 준정적분포로 거의 확실히 수렴함을 확립한다. 과정은 경계에서 흡수되는 시간균일한 확산으로 진화하며, 각 흡수 시점마다 이전의 점유 측도로부터 재표본화된다. 확률적 근사 기법과 준정적분포 이론의 최근 발전을 활용하여, 저자들은 과정의 경험 측도가 시간이 무한히 흐르면서 거의 확실히 준정적분포로 수렴함을 증명하며, 경계에서의 강한 흡수를 고려한 연속 확산 설정에서의 열린 문제를 해결한다.

ABSTRACT

We study a random process with reinforcement, which evolves following the dynamics of a given diffusion process in a bounded domain and is resampled according to its occupation measure when it reaches the boundary. We show that its occupation measure converges to the unique quasi-stationary distribution of the diffusion process absorbed at the boundary of the domain. Our proofs use recent results in the theory of quasi-stationary distributions and stochastic approximation techniques.

연구 동기 및 목표

• 경계에서 강한 흡수를 가지는 유한 도메인 내 확산 과정의 점유 측도가 준정적분포로 거의 확실히 수렴하는 문제를 해결하기 위해.
• 비유한 상태공간과 경계에서 무한한 흡수율을 가지는 연속시간 확산 과정에 대해 확률적 근사 기법을 확장하기 위해.
• 커플링 방법과 준정적분포 이론의 최신 결과를 활용하여 점유 측도 동역학의 전역 점근적 안정성을 확립하기 위해.
• 재표본화된 과정이 핵심 선형 연산자 A와 관련된 측도값 동역계의 점근적 의사궤적을 생성함을 보여주기 위해.
• 최소한의 정규성 조건, 즉 C² 경계와 허더링 연속 계수를 포함하여 엄밀한 수렴 증명을 제공하기 위해.

제안 방법

• 과정은 경계가 C²인 유한 도메인 D 내에서의 확산의 시퀀스로 정의되며, 각각 이전 경로의 점유 시간 경험 측도로부터 시작된다.
• ∂D에서 흡수될 경우, 과정은 이전 외출의 정규화된 점유 측도로부터 재표본화된다.
• 점유 측도 µt = (1/t)∫₀ᵗ δYs ds 는 시간에 따라 변화하는 확률적 과정으로 분석된다.
• 저자들은 점유 측도의 시간변경 및 선형화된 형태를 사용하여, 이 과정이 선형 연산자 A에 의해 지배되는 측도값 동역계의 점근적 의사궤적으로 행동함을 보였다.
• 문헌 [2, 5]에서 유래한 확률적 근사 기법을 적용하였으며, 마틴게일 차이의 수렴성과 과정의 균일 연속성을 기반으로 하였다.
• 커플링 방법과 준정적분포 이론의 최신 결과를 활용하여 시스템의 전역 점근적 안정성을 증명하였다.

실험 결과

연구 질문

• RQ1 경계에서 흡수되는 유한 도메인 내 강화된 확산 과정의 점유 측도가 그 기저 확산의 준정적분포로 거의 확실히 수렴하는가?
• RQ2 비유한 상태공간과 경계에서 무한한 흡수율을 가지는 연속시간 확산 과정에 대해 확률적 근사 기법을 확장할 수 있는가?
• RQ3 제안된 강화 메커니즘 하에서 점유 측도 동역학은 전역적으로 점근적으로 안정적인가?
• RQ4 최근의 준정적분포 이론과 커플링 방법을 활용하여 수렴을 확립할 수 있는가?
• RQ5 도메인과 확산 계수에 어떤 조건이 요구되어 점유 측도의 거의 확실한 수렴이 보장되는가?

주요 결과

• 강화된 과정의 점유 측도 µt 는 t → ∞ 일 때 유일한 준정적분포 α로 거의 확실히 수렴한다.
• 수렴은 최소한의 가정 하에서도 성립한다: 도메인 D는 경계가 C²이며, 확산 계수는 허더링 연속이다.
• 재표본화 메커니즘이 점유 측도 동역학의 점근적 안정성을 보장하며, 측도값 흐름의 점근적 의사궤적으로 행동함을 보여준다.
• 시간변경된 과정 (eηt)t≥1 이 거의 확실히 상대적으로 컴팩트하고 균일 연속임을 보였으며, 모든 극한점은 방정정식 (3.13)의 약한 해이다.
• 점유 측도 편차의 마틴게일 차이의 구조는 정규화된 변동이 거의 확실히 사라지게 하며, 이는 θn/n 이 1/λ₀ 로 수렴함을 이끈다.
• 모든 유계 가측 함수 f에 대해, µtf 는 거의 확실히 αf 로 수렴하며, 이 수렴 속도는 마틴게일 증분의 조건부 기대값의 O(ℓ⁻³/²) 감쇠에 의해 암시된다.