[논문 리뷰] Asymptotics of the occupancy scheme in a random environment and its applications to tries

Silvia Businger|Zurich Open Repository and Archive (University of Zurich)|2016. 09. 11.

Stochastic processes and statistical mechanics인용 수 4

한 줄 요약

이 논문은 무작위 환경에서의 점유도 체계의 점근적 행동을 연구하며, $ m $개의 마코프 체인 복제본을 중첩된 상자 시스템으로 모델링한다. 마코프 체인의 $ m $개 경로가 모두 다를 때인 시간 $ H_{m,j} $와 모든 가능한 경로가 최소 $ j $번 관측될 때인 시간 $ G_{m,j} $에 대해 거의 확실한 극한 법칙을 도출한다. 이는 전통적인 트라이(trie) 이론을 확장하여 브랜치 프로세스 프레임워크 내에서 마르팅게일 및 대 deviations 기법을 사용해 무작위 전이 확률을 다룬다.

ABSTRACT

Consider $ m $ copies of an irreducible, aperiodic Markov chain $ Y $ taking values in a finite state space. The asymptotics as $ m $ tends to infinity, of the first time from which on the trajectories of the $ m $ copies differ, have been studied by Szpankowski (1991) in the setting of tries. We use a different approach and model the $ m $ trajectories by a variant of the occupancy scheme, where we consider a nested sequence of boxes. This approach will enable us to extend the result to the case when the transition probabilities are random. We moreover use the same techniques to study the asymptotics as $ m $ tends to infinity of the time up to which we have observed all the possible trajectories of $ Y $ in random and nonrandom scenery.

연구 동기 및 목표

• 전이 확률이 무작위인 경우에 $ K $-진 트라이의 높이에 대한 고전 결과를 확장하여, 무작위 환경에서의 점유도 체계로 시스템을 모델링한다.
• 무작위 환경에서 비가역적이고 비주기적인 마코프 체인의 $ m $개 경로가 모두 다를 때인 첫 번째 시간 $ H_{m,j} $를 분석한다.
• 모든 가능한 마코프 체인 경로가 최소 $ j $번 관측된 최소 시간으로 정의된 포화 시간 $ G_{m,j} $를 연구한다.
• 무작위 환경에 대한 일반 조건 하에서 $ m \to \infty $일 때 $ H_{m,j} $와 $ G_{m,j} $에 대한 거의 확실한 점근적 극한을 확립한다.
• 중첩된 상자 모델과 상자 크기의 극값 분석을 통해 슈판코프스키(Szpankowski)의 $ j $-트라이 결과를 무작위 전이 행렬 설정으로 일반화한다.

제안 방법

• 상태 공간 내 경로에 대응하는 $ K $-진 트리로 인덱싱된 중첩된 상자 시퀀스를 사용하여, 마코프 체인 $ Y $의 $ m $개 i.i.d. 복제본을 모델링한다.
• 각 경로를 따라 전이 확률의 곱으로 표현되는 세대 $ n $에서의 상자 크기를 정의하며, 이는 무작위 환경 내의 곱형 캐스케이드를 이룬다.
• 각 세대에서 가장 큰 상자와 가장 작은 상자의 크기를 제어하기 위해 마르팅게일 추론과 Borel-Cantelli 유형의 보조정리를 사용한다.
• 독립 동일분포의 지수 확률 변수에 대한 극값 이론과 지수 尾 꼬리 경계를 적용하여, 상자를 메우거나 포화시키기 위해 필요한 공의 수를 추정한다.
• 특정 세대 $ n $에서 주어진 상자에 도달하는 경로 수를 나타내는 보조 확률 변수 $ \textbf{T}_n $을 도입하고, 지수 변수와의 쌍화(coupling)를 통해 그 성장률을 제어한다.
• 상자 크기와 던진 공의 수 사이의 상호작용을 분석하여, $ \frac{1}{\ln m} H_{m,j} $와 $ \frac{1}{\ln m} G_{m,j} $의 거의 확실한 수렴을 확립한다. 이는 대 deviations 추정을 활용한다.

실험 결과

연구 질문

• RQ1 전이 확률이 무작위일 때, 마코프 체인의 $ m $개 경로가 모두 다를 때인 $ H_{m,j} $의 거의 확실한 점근적 행동은 무엇인가?
• RQ2 모든 가능한 경로가 최소 $ j $번 관측된 시점인 포화 시간 $ G_{m,j} $는 무작위 환경에서 어떻게 점근적으로 행동하는가?
• RQ3 고정된 전이 확률을 가진 전통적 $ j $-트라이 결과는 중첩된 상자 모델을 통해 무작위 전이 행렬 설정으로 확장될 수 있는가?
• RQ4 전이 확률이 무작위일 때 $ H_{m,j} $의 점근적 스케일링에 있어 행렬 $ (p_{ik}^j) $의 최대 모듈러스 고유값 $ \rho(j) $는 어떤 역할을 하는가?
• RQ5 각 세대에서 가장 작은 상자와 가장 큰 상자 크기가 무작위 환경에서의 임계 시간 $ H_{m,j} $와 $ G_{m,j} $에 어떻게 영향을 미치는가?

주요 결과

• 논문은 거의 확실히 $ \liminf_{m \to \infty} \frac{1}{\ln m} H_{m,j} \geq \zeta^* $ 를 확립하며, 여기서 $ \zeta^* $ 는 무작위 환경의 스펙트럴 성질에서 유도된 상수이다.
• 조건 (8), (9), (10) 하에서 논문은 거의 확실히 $ \lim_{m \to \infty} \frac{1}{\ln m} G_{m,j} = \zeta_* $ 를 증명하며, $ \zeta_* $ 는 최소 상자 크기 성장률과 관련된다.
• $ H_{m,j} $의 점근적 행동은 각 세대에서 가장 큰 상자 크기에 의해 결정되며, 임계 시간은 $ m $에 대해 로그 스케일링된다. 이는 결정론적 경우와 유사하지만 상수 값이 수정된다.
• $ G_{m,j} $의 포화 시간은 각 세대에서 가장 작은 상자 크기에 의해 특징지어지며, 그 점근적 성장률은 최소 상자 크기의 지수 감쇠율의 역수에 의해 결정된다.
• 논문은 중첩된 상자 모델과 지수 스케일링을 통해 슈판코프스키(Szpankowski)의 고전적 $ j $-트라이 결과를 무작위 환경 설정으로 일반화하며, $ H_{m,j} $와 $ G_{m,j} $의 로그 스케일링이 유지됨을 보여준다. 다만 상수 값은 무작위 전이 구조에 따라 달라진다.
• 분석은 점유도 과정을 지수 확률 변수와 쌍화하고, 극단적인 상자 크기에서의 드문 사건을 제어하기 위해 Borel-Cantelli 보조정리를 적용한다.