[논문 리뷰] Persisting randomness in randomly growing discrete structures: graphs and search trees

Rudolf Grübel|arXiv (Cornell University)|2014. 07. 03.

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

한 줄 요약

이 논문은 이산 잠재력 이론과 Doob-Martin compactification을 활용한 경계 이론 접근법을 제시하여 랜덤으로 성장하는 이산 구조, 예를 들어 랜덤 그래프와 검색 트리에서 지속적인 랜덤성의 존재를 탐지하고 정량화한다. 이전에는 분포 수렴만 알려져 있었던 구조 기능성(예: 경로 길이, 위너 지수)에 대해 거의 확실 수렴을 확립함으로써 조합 마코프 체인에서의 확률 과정에 대한 강한 수렴 정리의 강도를 높인다.

ABSTRACT

The successive discrete structures generated by a sequential algorithm from random input constitute a Markov chain that may exhibit long term dependence on its first few input values. Using examples from random graph theory and search algorithms we show how such persistence of randomness can be detected and quantified with techniques from discrete potential theory. We also show that this approach can be used to obtain strong limit theorems in cases where previously only distributional convergence was known.

연구 동기 및 목표

• 랜덤하게 성장하는 이산 구조, 예를 들어 랜덤 그래프와 검색 트리에서 장기적 의존성 분석.
• 초기 입력이 과정에 영속적으로 영향을 미치는 '지속적인 랜덤성'을 마코프 체인 경계 이론을 통해 탐지하고 정량화.
• 경로 길이 및 위너 지수와 같은 기능성에 대해 분포 수렴에서 거의 확실 수렴으로의 수렴 결과를 확장.
• 특정 모델을 초월하여 조합 마코프 체인에 적용 가능한 이산 잠재력 이론 기반 일반적 프레임워크 제공.
• Doob-Martin compactification이 이전에 분포 수렴으로서만 달성 가능한 것보다 더 강한 수렴 결과를 가능하게 함을 보여줌.

제안 방법

• 마코프 체인의 꼬리 σ-필드를 포괄하는 상태공간 완비화를 위해 Doob-Martin compactification을 적용.
• 상태공간 내 수열의 수렴을 정의하기 위해 Martin 커널 K(x, y) = P(Xn = y | Xm = x) / P(Xn = y)를 사용.
• 조화 함수와 경계 측도를 통한 적분 표현을 활용하여 과정의 극한 분포를 특성화.
• 조합 마코프 체인의 시공간 성질을 활용하여 극한이 거의 확실하게 꼬리 σ-필드를 생성함을 보장.
• 균일 노름을 갖는 바나흐 공간 C(∂V)에서의 무한차원 마르팅글을 활용하여 기능성의 거의 확실 수렴을 증명.
• Stone-Weierstrass 정리와 Tychonov 정리를 적용하여 경계 임bedding의 컴팩트성과 연속성을 확보.

실험 결과

연구 질문

• RQ1 랜덤하게 성장하는 이산 구조에서 지속적인 랜덤성은 어떻게 공식적으로 탐지하고 정량화할 수 있는가?
• RQ2 Doob-Martin compactification을 활용하여 랜덤 그래프와 검색 트리의 기능성에 대해 거의 확실 수렴 결과를 도출할 수 있는가?
• RQ3 마코프 체인의 꼬리 σ-필드와 그 상태공간 완비화의 경계 사이의 관계는 무엇인가?
• RQ4 이전에는 분포 수렴으로만 알려져 있던 경우에, 경계 이론을 통해 강한 수렴 정리를 수립할 수 있는가?
• RQ5 경계의 구조는 위너 지수나 경로 길이와 같은 기능성의 점근적 행동과 어떻게 관련이 있는가?

주요 결과

• Doob-Martin compactification은 과정 Xn이 거의 확실하게 극한 X∞로 수렴함을 가능하게 하며, σ(X∞) = a.s. T(X)를 만족한다. 이는 꼬리 σ-필드이다.
• 이진 검색 트리의 경우, 위너 지수의 분포 수렴 결과를 거의 확실 수렴으로 향상시켜 Neininger(2002)의 결과를 초월한다.
• 극한 X∞는 거의 확실하게 경계 ∂F 위에 지지되어 있으며, 그 분포는 경계 상의 조화 측도에 해당한다.
• 검색 트리의 경로 길이와 위너 지수는 거의 확실하게 수렴하며, 체이닝 부등식과 순간 추정을 통해 명시적인 경계가 유도된다.
• 경계 표현을 통해 극한 기능성을 마르팅글 극한과 경계 항의 합으로 분해할 수 있으며, C(∂V) 노름에서 거의 확실 수렴이 성립한다.
• 분열 랜덤 워크 모델의 경우, 기대 최대 위치는 O((4/3)^k)의 속도로 증가하며, 연속 함수의 바나흐 공간에서의 마르팅글 수렴을 통해 과정이 극한으로 수렴함이 입증된다.