[논문 리뷰] Markovian Maximal Coupling of Markov Processes

Björn Böttcher|arXiv (Cornell University)|2017. 10. 26.

Markov Chains and Monte Carlo Methods참고 문헌 13인용 수 5

한 줄 요약

이 논문은 마코프 과정, 특히 처음으로 점프 과정을 포함한 마코프적 최대 쌍대화의 정의와 특성화를 제안한다. 최대성에 대한 워샤우저-유사 거리 조건을 수립하고, 하위순서된 브라운 운동의 유일성을 증명하며, 상태에 따라 변하는 거울 쌍대화를 통한 레비 측도의 명시적 생성자를 유도함으로써 기존 결과를 연속 경로를 초월해 확장한다.

ABSTRACT

Markovian maximal couplings of Markov processes are characterized by an equality of total variation and a distance of Wasserstein type. If a Markovian maximal coupling is a Feller process, the generator can be calculated, e.g. for reflection coupled Brownian motion. Apart from processes with continuous paths also jump processes are treated for the first time. For subordinated Brownian motion a Markovian maximal coupling is constructed by subordinating reflection coupled Brownian motion. This coupling is the unique Markovian maximal coupling and its generator is determined by state-space dependent mirror coupling of the corresponding Lévy measures.

연구 동기 및 목표

• 연속 경로를 가진 확산 과정을 초월해 점프 과정을 포함하는 마코프적 최대 쌍대화 이론을 확장하기.
• 워샤우저-유사 거리 조건을 사용한 마코프적 최대 쌍대화의 특성화를 수립하기.
• 하위순서된 브라운 운동에 대한 마코프적 최대 쌍대화의 유일성을 증명하기.
• 페勒 과정, 특히 하위순서된 브라운 운동에 대해 마코프적 최대 쌍대화의 생성자를 유도하기.
• 하위순서의 맥락에서 상태공간에 따라 변하는 레비 측도에 대해 거울 쌍대화 기법을 일반화하기.

제안 방법

• 전체 변동의 등식과 워샤우저-유사 거리 조건을 통한 마코프적 최대 쌍대화의 특성화를 제시하며, 이를 식 (3.3)으로 형식화한다.
• 최적 운반 이론과 페러 과정 이론을 활용하여 쌍대화의 존재성과 유일성을 확립한다.
• 반사 쌍대화된 브라운 운동을 하위순서화하여 하위순서된 브라운 운동에 대한 마코프적 최대 쌍대화를 구성한다.
• 확장된 점별 생성자와 상태공간에 따라 변하는 레비 트리플렛을 사용하여 쌍대화의 생성자를 도출한다.
• 레비 측도를 전이 확률의 극한과 연결하기 위해 보조정리 6.1을 활용하여 생성자 계산을 가능하게 한다.
• 페러 과정에 대한 기호 기반 접근법을 적용하고, $ C_c^∞ $ 함수가 생성자 정의역에 포함되지 않는 경우에도 이를 적응시킨다.

실험 결과

연구 질문

• RQ1 점프 과정에 대해 마코프적 최대 쌍대화를 구성하고 특성화할 수 있는가, 즉 연속 경로를 가진 확산 과정에 국한되지 않고?
• RQ2 주어진 과정의 클래스에 대해 마코프적 최대 쌍대화의 유일성을 보장하는 조건은 무엇인가?
• RQ3 페러 과정에 대해 마코프적 최대 쌍대화의 생성자를 명시적으로 계산할 수 있는가?
• RQ4 반사 쌍대화는 하위순서된 브라운 운동에 대해 유일한 공적응 최대 쌍대화인가?
• RQ5 하위순서된 과정의 맥락에서 거울 쌍대화를 상태공간에 따라 변하는 레비 측도로 일반화할 수 있는가?

주요 결과

• 하위순서된 브라운 운동의 마코프적 최대 쌍대화는 반사 쌍대화된 브라운 운동의 하위순서화를 통해 고유하게 특성화되고 구성된다.
• 하위순서된 브라운 운동에 대한 마코프적 최대 쌍대화의 생성자는 상태공간에 따라 변하는 레비 측도의 거울 쌍대화를 통해 명시적으로 결정된다.
• 페러 과정의 경우, 마코프적 최대 쌍대화의 생성자는 확장된 점별 생성자와 전이 확률의 극한 행동을 사용하여 계산할 수 있다.
• 식 (3.3)은 쌍대화가 마코프적이고 최대임을 보장하는 필요충분 조건을 제공하며, 워샤우저-유사 거리와 연결된다.
• 하위순서된 브라운 운동의 쌍대화가 고유한 마코프적 최대 쌍대화임을 입증하여, 이전에 연속 경로 과정에 국한된 결과를 확장한다.
• 이 방법은 생성자 정의역의 제약으로 인해 기존 기호 기반 접근법이 실패하는 경우에도 생성자 계산을 가능하게 한다.