[논문 리뷰] Area anomaly in the rough path Brownian scaling limit of hidden Markov walks

Olga Lopusanschi, Damien Simon|arXiv (Cornell University)|2017. 09. 13.

Topological and Geometric Data Analysis인용 수 3

한 줄 요약

이 논문은 마르코프 체인의 단기 상관관계에 의해 유도되는 비영인 면적 이질성과 함께, 은닉 마르코프 보행이 거칠기 경로 위상에서 브라운 운동으로 수렴하는 거칠기 경로 척도 극한을 확립한다. 이 이질성은 반복된 점유 시간에 기인하며, 이는 두 번째 차수 서명에 결정론적 이동 항으로 특징지어지며, 고전적 도네스커 정리의 기하학적 및 확률적 이질성이 있는 강화된 과정으로의 일반화이다.

ABSTRACT

We study the convergence in rough path topology of a certain class of discrete processes, the hidden Markov walks, to a Brownian motion with an area anomaly. This area anomaly, which is a new object, keeps track of the time-correlation of the discrete models and brings into light the question of embeddings of discrete processes into continuous time. We also identify an underlying combinatorial structure in the hidden Markov walks, which turns out to be a generalization of the occupation time from the classical ergodic theorem in the spirit of rough paths.

연구 동기 및 목표

• 은닉 마르코프 보행이 거칠기 경로 위상에서 비영인 면적 이질성을 지닌 브라운 운동으로 수렴함을 확립하는 것.
• 면적 이질성의 근본 원인이 기하학적 구조가 아니라 이산 모델의 시간 상관 증분에서 비롯됨을 규명하는 것.
• 거칠기 경로의 맥락에서 고전적 점유 시간의 일반화로서 반복된 점유 시간을 도입하고 분석하는 것.
• 기하학적 구성에 의존하지 않는 이산 과정을 연속 시간 거칠기 경로로의 확률적 통합 메커니즘을 체계화하는 것.
• 이산 서명에서의 준순열 대수적 구조의 역할과 그 점근적 행동을 탐구하는 것.

제안 방법

• 증분의 반복 적분을 통해 정의된 단계 2 서명을 사용하여 이산 은닉 마르코프 보행을 수준 2의 거칠기 경로 공간으로 올리는 것.
• 상태 쌍에 대한 중심화된 합으로 정의된 반복 점유 시간 $ L^{ ext{star}}_{u_1u_2} $ 를 도입하여 상태 방문의 동시 변동을 캡처하는 것.
• 준순열 성질을 활용하여 두 번째 차수 서명을 반복 점유 시간의 합과 경험 측도의 대칭 제곱으로 연결하는 것.
• ergodic 정리를 적용하여 첫 번째 차수 항의 거의 확실한 수렴을 보이고, $ rac{1}{N} igotimes_{k<l} F_k^* igotimes F_l^* $ 의 극한을 통해 이질적 이동 항을 규명하는 것.
• 전체 서명이 $ (B_t, rac{1}{2}B_t igotimes B_t + A_t^{ ext{Lévy}} + t ilde{oldsymbol{ u}}) $ 로 법칙 수렴함을 확립하는 것. 여기서 $ ilde{oldsymbol{ u}} $ 는 면적 이질성이다.
• 출현 분해와 복귀 시간 및 증분에 대한 모멘트 조건을 사용하여 브라운 운동의 보편성 클래스로의 수렴을 보장하는 것.

실험 결과

연구 질문

• RQ1 은닉 마르코프 체인의 단기 상관관계는 거칠기 경로 척도 극한에서 비영인 면적 이질성을 어떻게 유도하는가?
• RQ2 면적 이질성은 이산 모델에서 반복 점유 시간의 극한으로 대수학적·확률적으로 특징지어질 수 있는가?
• RQ3 기하학적 또는 주기적 구조에 의존하지 않고 이산 과정의 거칠기 경로 극한을 얼마나 일반화하여 구성할 수 있는가?
• RQ4 준순열 대수는 이산 서명에서 어떤 역할을 하는가? 그리고 연속 극한과의 관계는 어떠한가?
• RQ5 이산 과정을 연속 거칠기 경로로의 통합은 i.i.d. 또는 주기적 모델을 초월하여 마르코프 의존 동역학을 포함한 일반화가 가능한가?

주요 결과

• 은닉 마르코프 보행의 두 번째 차수 서명은 법칙 수렴하여 비영인 면적 이질성 $ ilde{oldsymbol{ u}} $ 를 지닌 브라운 운동으로 수렴한다. 이는 결정론적이며 시간 상관 증분에 기인한다.
• 면적 이질성 $ ilde{oldsymbol{ u}} $ 는 $ rac{1}{N} igotimes_{k<l} F_k^* igotimes F_l^* $ 의 극한으로 명시적으로 특징지어지며, 이는 마르코프 체인의 상태 방문 동시 변동을 캡처한다.
• 반복 점유 시간 $ L^{ ext{star}}_{u_1u_2} $ 는 정규 과정으로 수렴하며, 그 점근적 행동이 두 번째 차수 서명의 변동을 지배한다.
• 복귀 시간 $ T_1 $ 과 증분 $ oldsymbol{F}_n $ 에 대한 모멘트 조건을 만족할 경우 수렴이 성립하며, 이는 극한이 브라운 운동의 보편성 클래스에 속하도록 보장한다.
• 이상 항 $ ilde{oldsymbol{ u}} $ 는 이토 또는 스트라토니치 적분의 기법적 오차가 아니라 이산 모델의 상관 구조의 진정한 특성이다.
• 이 구성은 도네스커 정리를 비영인 면적 이질성이 있는 강화된 과정으로 일반화하며, 이질성은 출현 분해를 통한 통합 과정에서도 강인하다.