[논문 리뷰] A user-friendly condition for exponential ergodicity in randomly switched environments

Michel Benaı̈m, Tobias Hurth외 1명|arXiv (Cornell University)|2018. 03. 09.

Mathematical Dynamics and Fractals참고 문헌 13인용 수 14

한 줄 요약

이 논문은 유한한 수의 벡터장 사이를 랜덤으로 전환하는 조각적 결정적 마르코프 과정(PDMPs)에서 지수적 에르고딕성에 대한 사용자 友好的 조건을 수립한다. 전역적으로 점점 수렴하는 평형점(G.A.S. 평형점)이 요구되는 것 대신, 바리센트 조합이 0이 되는 접근 가능성이 있는 점이 존재한다는 조건으로 대체함으로써, 약한 Hörmander 유형의 괄호 조건 하에서 전체 변동 거리에서의 지수 수렴을 증명한다. 이는 실용적인 검증을 단순화하고, Li, Liu, 및 Cui(2017)의 이전 결과를 확장한다.

ABSTRACT

We consider random switching between finitely many vector fields leaving positively invariant a compact set. Recently, Li, Liu and Cui showed that if one the vector fields has a globally asymptotically stable (G.A.S.) equilibrium from which one can reach a point satisfying a weak H\\"ormander-bracket condition, then the process converges in total variation to a unique invariant probability measure. In this note, adapting the proof of Li, Liu and Cui and using results of Bena\\"im, Le Borgne, Malrieu and Zitt, the assumption of a G.A.S. equilibrium is weakened to the existence of an accessible point at which a barycentric combination of the vector fields vanishes. Some examples are given which demonstrate the usefulness of this condition.

연구 동기 및 목표

• 이전의 PDMP 랜덤 스위칭에 대한 지수적 에르고딕성 결과에서 전역적으로 점점 수렴하는 평형점(G.A.S.)에 대한 가정을 약화시키는 것.
• 약한 Hörmander 괄호 조건 하에서 전체 변동 거리에서의 지수 수렴에 대해 더 접근 가능하고 검증 가능한 조건을 수립하는 것.
• Benaïm, Loulou, Méléard, 및 Zuyev(2015)의 결과를 활용하고 Li, Liu, 및 Cui(2017)의 프레임워크를 적응함으로써 지수적 에르고딕성의 증명을 단순화하는 것.
• 특히 강한 괄호 조건이 유도되지 않는 비해석적 설정에서, 새로운 조건의 실용적 유용성을 예시를 통해 보여주는 것.
• 새로운 조건과 강한 괄호 조건 사이의 관계를 명확히 하여, 해석적 조건에서는 새로운 조건이 강한 괄호 조건을 함의하지만 일반적으로는 엄밀히 더 약한 조건임을 보여주는 것.

제안 방법

• 새로운 조건 도입: 어떤 $\alpha_i > 0$, $\sum \alpha_i = 1$ 에 대해 $\sum_{i=1}^N \alpha_i F^i(e^\star) = 0$ 를 만족하는 접근 가능한 점 $e^\star$ 가 존재한다는 것.
• 복합 흐름 $\mathbf{\Phi}_{\mathbf{u}}^{\mathbf{i}}$ 를 통한 도이블린 점과 접근 가능성의 개념을 사용하여 과정의 도달 가능성과 정규성을 특성화.
• 복합 흐름 맵 $\Psi$ 와 그 변형 $\overline{\Psi}$ 에 대해 임베디드 정리(submersion theorem)를 적용하고, 새로운 조건 하에서 $e^\star$ 에서 야코비안의 질량이 최대로 된다는 것을 증명.
• $\overline{\Psi}$ 가 $e^\star$ 에서 서브머ersion임을 보이기 위해, 도함수들의 집합 $\partial \overline{\Psi}/\partial v_k$ 와 $\partial \overline{\Psi}/\partial \bar{v}_k$ 가 $\mathbb{R}^d$ 를 생성한다는 것을 보이며, 이는 바리센트 조합의 0화와 $\Psi$ 의 서브머전성 조건을 활용.
• [BLBMZ15] 의 결과를 활용하여, 질량이 최대인 점에서 서브머전성이 성립하면 도이블린 집합이 존재하며, 이는 전체 변동 거리에서의 지수적 에르고딕성을 함의함을 증명.
• 약한 괄호 조건이 접근 가능한 점에서 성립하고, 새로운 바리센트 조건이 만족되면, 과정이 도이블린 조건을 충족하고 지수 수렴을 보임을 보장하는 데 필요한 정규성 확보.

실험 결과

연구 질문

• RQ1 이전의 랜덤 스위칭 PDMP에 대한 에르고딕성 결과에서 전역적으로 점점 수렴하는 평형점의 가정을 더 약하고 검증 가능한 조건으로 대체할 수 있는가?
• RQ2 약한 Hörmander 괄호 조건 하에서, 바리센트 조합이 0이 되는 접근 가능한 점이 존재할 경우, 지수적 에르고딕성이 성립하는가?
• RQ3 새로운 조건은 강한 괄호 조건과 어떻게 관련되어 있으며, 어떤 설정에서 엄밀히 더 약한가?
• RQ4 강한 괄호 조건을 검증하기 어려운 시스템에 대해 새로운 조건을 실용적으로 적용할 수 있는가?
• RQ5 해석성은 바리센트 조건과 강한 괄호 조건 사이의 연결 고리에서 어떤 역할을 하는가?

주요 결과

• 논문은 전체 변동 거리에서의 지수적 에르고딕성이, 전역적으로 점점 수렴하는 평형점이 필요 없이, 바리센트 조합이 0이 되는 접근 가능한 점 $e^\star$ 가 존재한다는 더 약한 조건 하에서 성립함을 수립한다.
• Benaïm, Loulou, Méléard, 및 Zuyev(2015)의 서브머전성 및 도이블린 집합 결과를 활용함으로써, [LLC17]에서 사용된 더 복잡한 쌍용 기법을 피하는 방식으로 증명 기법이 단순화된다.
• 해석적 경우에선, 접근 가능한 점에서 바리센트 조건이 강한 괄호 조건을 함의하므로, [BLBMZ15]의 결과의 전반적 강도를 회복한다.
• 일반적으로는 새로운 조건이 강한 괄호 조건보다 엄밀히 더 약하다. 이는 2.14번 예제에서 바리센트 조건과 약한 괄호 조건은 만족하나 강한 괄호 조건은 만족하지 않는다는 점에서 입증된다.
• 2.13번 예제는 비해석적 경우에서 바리센트 조건이 강한 괄호 조건을 함의하지 않음을 보여주며, 일반적으로 두 조건이 독립적임을 확인한다.
• 저자들은 새로운 조건 하에서 복합 흐름 맵 $\overline{\Psi}$ 가 $e^\star$ 에서 서브머전임을 증명하였으며, 이는 도이블린 집합의 존재와 따라서 지수적 에르고딕성을 보장한다.