[논문 리뷰] Long-time behaviour of generalised Zig-Zag process

Ninon Fétique|arXiv (Cornell University)|2017. 10. 03.

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

한 줄 요약

이 논문은 단위 구 내 속도를 갖는 박테리아 화학성향 운동을 모델링하는 조각별 결정론적 마르코프 과정(PDMP)인 일반화된 짐박스 과정에 대해 지수적 에르고딕성과 지수적 모멘트 경계를 수립한다. 리아푸노프 함수와 반재생 과정 이론을 사용하여 점프 레이트와 속도 핵함수에 대한 온건한 조건 하에서 불변 측도로의 지수적 수렴을 증명하며, 1차원 및 고차원에서의 명시적 모멘트 경계를 제공한다.

ABSTRACT

We study the long-time behaviour of a class of piecewise-deterministic Markov processes which are an extension of some recent works. These $d$-dimensional processes, d>=1, can especially be used to model the motion of a bacterium in presence of a chemo-attractant, with parameters depending both on the position and the velocity of the bacterium. Using the method of Meyn and Tweedie, we show that under some good assumptions on the parameters of the model, such a process converges exponentially fast towards its invariant measure. We also establish the existence of exponential moments of the invariant measure using results on semi-regenerative processes. The one-dimensional case is studied separately since complementary results can be obtained in that particular case.

연구 동기 및 목표

• 단위 구 내 속도를 갖는 일반화된 짐박스 과정의 장기적 행동을 분석하여 화학유인제 필드 내 박테리아 운동 모델을 확장한다.
• 점프 레이트와 속도 핵함수에 대한 온건한 정규성 및 성장 조건 하에서 과정의 지수적 에르고딕성을 수립한다.
• 반재생 과정 기법을 사용하여 불변 측도의 지수적 모멘트에 대한 명시적 경계를 유도한다.
• 1차원과 고차원 사례를 비교하여 에르고딕성 증명과 가정에서의 구조적 차이를 부각한다.
• 기존 가정에 포함되지 않는 과정, 예를 들어 비단조화적인 점프 레이트를 갖는 과정에도 이 방법이 적용됨을 보이며, 새로운 조건을 만족하는 반례를 구성한다.

제안 방법

• 메인과 트위디의 리아푸노프 함수 방법을 사용하여 PDMP의 기하적 에르고딕성을 수립한다.
• 1차원에서 원점에 대한 도착 시간을 고려하여 과정을 반재생 과정으로 모델링한다.
• 원점에 대한 도착 시간의 지수적 모멘트 상한을 사용하여 불변 측도의 모멘트 경계 조건을 검증한다.
• 반재생 과정 이론의 정리 4.1을 적용하여 특정한 레이트 및 핵함수 조건 하에서 지수적 모멘트의 적분 가능성을 도출한다.
• 1차원에서 위치-속도 스칼라 곱의 부호를 기반으로 한 리아푸노프 함수를 구성하며, 과정이 원점으로 되돌아오려는 경향을 활용한다.
• 1차원 사례와 고차원 사례를 비교하기 위해 $X_t \cdot V_t$의 역할을 분석하고, 서로 다른 가정을 도출한다.

실험 결과

연구 질문

• RQ1 일반화된 짐박스 과정이 불변 측도로 지수적으로 수렴하는 조건은 무엇인가?
• RQ2 이 클래스의 PDMP에 대해 불변 측도의 지수적 모멘트를 어떻게 경계할 수 있는가?
• RQ3 1차원과 고차원 사례 간의 에르고딕성 증명에서의 구조적 차이는 무엇인가?
• RQ4 비단조화적인 점프 레이트를 갖는 과정, 예를 들어 위치와 속도에 따라 비단순적으로 의존하는 과정에도 에르고딕성 결과를 확장할 수 있는가?
• RQ5 이 연구에서 제시된 가정은 이전 연구에서 다루지 않은 모델, 예를 들어 비대칭적이거나 비곱형태의 점프 레이트를 갖는 모델을 얼마나 광범위하게 커버하는가?

주요 결과

• 점프 레이트 $\lambda(x,v)$와 속도 핵함수 $Q(x,v,\cdot)$에 대해 적절한 가정이 이루어지면, 일반화된 짐박스 과정은 지수적으로 불변 측도로 수렴한다.
• 반재생 과정 기법을 통해 모든 $\alpha < \gamma$ 및 $\beta > 0$에 대해 불변 측도의 지수적 모멘트가 존재하며, $\int_{\mathbb{R} \times [-1,1]} e^{\alpha|x| + \beta|v|} \pi(dx,dv) < \infty$임을 입증한다.
• 1차원에서는 점프 레이트가 단조가 아니어도 과정이 지수적으로 에르고딕적임을 입증한 반례를 통해 확인되었으며, 이는 가정 $(\mathcal{A}_4)$를 만족하지만 $(\mathcal{H}_4)$는 만족하지 않는다.
• 1차원 증명은 $X_t \cdot V_t$의 부호를 이용하여 복귀 행동를 결정짓지만, 이는 고차원으로 직접 일반화되지 않는다.
• 이 방법은 구간 $I_*$ 내의 $\alpha$에 대해 $\frac{1}{2}\int_{-1}^{1} G(\alpha,v) dv \leq J_* < 1$로 주어지는 지수적 모멘트에 대한 정량적 경계를 도출한다.
• 논문은 1차원 분석이 고차원으로 확장될 수 있음을 보이며, 반대로 고차원에서 1차원 분석으로는 일반화되지 않음을 밝힌다. 이는 고차원에서는 단순한 부호 기반의 복귀 기준이 존재하지 않기 때문이다.