[논문 리뷰] The law of the iterated logarithm for the path length in random binary search trees.

Henning Sulzbach|arXiv (Cornell University)|2014. 12. 11.

Stochastic processes and statistical mechanics인용 수 2

한 줄 요약

이 논문은 이항 검색 트리, 재귀 트리, 평면 방향 재귀 트리 등을 포함하는 광범위한 랜덤 트리의 클래스에서 경로 길이에 대해 반복 로그 법칙(LIL)과 고차 모멘트 수렴을 포함하는 중심극한정리의 수립을 다룬다. 이 결과들은 마팅게일 분석을 통해 도출되었으며, 경로 길이에 대한 레그니에르의 마팅게일에 대한 이전 연구를 확장하여 이 과정에 대한 LIL에 대한 추측을 확인한다.

ABSTRACT

For a martingale $(X_n)$ converging almost surely to a random variable $X$, the sequence $(X_n - X)$ is called martingale tail sum. Recently, Neininger [Random Structures Algorithms, 46 (2015), 346-361] proved a central limit theorem for the martingale tail sum of R{e}gnier's martingale for the path length in random binary search trees. Gr{u}bel and Kabluchko [to appear in Annals of Applied Probability, (2016), arXiv 1410.0469] gave an alternative proof also conjecturing a corresponding law of the iterated logarithm. We prove the central limit theorem with convergence of higher moments and the law of the iterated logarithm for a family of trees containing binary search trees, recursive trees and plane-oriented recursive trees.

연구 동기 및 목표

• 레그니에르의 마팅게일의 마팅게일 尾합에 대한 중심극한정리를 고차 모멘트 수렴을 포함하도록 확장하는 것.
• 무작위 이진 검색 트리에서 경로 길이에 대한 반복 로그 법칙(LIL)을 수립하여 그루벨과 캐블루코의 추측을 확인하는 것.
• 이론을 이진 검색 트리 이외의 더 넓은 랜덤 트리 가족으로 일반화하는 것, 특히 재귀 트리와 평면 방향 재귀 트리를 포함하여.
• 마팅게일 극한 이론을 활용하여 이러한 트리 모델에서 경로 길이의 渐近적 행동에 대한 엄밀한 확률론적 기반을 제공하는 것.

제안 방법

• 랜덤 트리에서 경로 길이에 대한 레그니에르의 마팅게일의 마팅게일 尾합을 분석한다.
• 고급 마팅게일 극한 이론을 적용하여 정규화된 경로 길이의 분포 수렴 및 고차 모멘트 수렴을 도출한다.
• 커플링 또는 근사 기법을 사용하여 이론을 이진 검색 트리에서 재귀 트리 및 평면 방향 재귀 트리로 확장한다.
• 마팅게일 尾합의 거의 확실한 성장률을 분석하여 반복 로그 법칙을 수립한다.
• 트리 과정의 구조와 관련된 마팅게일을 이용하여 균일한 경계와 점근적 전개를 유도한다.
• 마팅게일 중심극한정리에서 모멘트 수렴에 관한 기존 결과를 활용하여 중심극한정리 결과를 강화한다.

실험 결과

연구 질문

• RQ1 랜덤 이진 검색 트리에서 경로 길이에 대한 레그니에르 과정의 마팅게일 尾합이 반복 로그 법칙을 만족하는가?
• RQ2 경로 길이에 대한 중심극한정리는 고차 모멘트 수렴을 포함하도록 강화될 수 있는가?
• RQ3 이진 검색 트리에서의 경로 길이에 대한 점근적 결과는 재귀 트리 및 평면 방향 재귀 트리와 같은 다른 트리 모델로 확장될 수 있는가?
• RQ4 그루벨과 캐블루코가 이 과정에 대해 제기한 LIL에 대한 추측은 타당한가?
• RQ5 이러한 트리 모델에서 경로 길이의 극한에서의 편차의 정확한 거의 확실한 성장률은 무엇인가?

주요 결과

• 논문은 랜덤 이진 검색 트리 및 관련 모델에서 경로 길이에 대한 반복 로그 법칙을 증명하여 그루벨과 캐블루코의 추측을 확인한다.
• 이 계열의 트리에서 레그니에르의 마팅게일의 마팅게일 尾합에 대해 고차 모멘트 수렴을 포함하는 중심극한정리를 수립한다.
• 결과는 재귀 트리 및 평면 방향 재귀 트리 등을 포함하는 광범위한 랜덤 트리 가족으로 확장되어 점근적 행동의 강건성을 보여준다.
• 경로 길이 편차의 점근적 분포는 로그 반복 로그 척도를 포함하는 정확한 상수를 갖는 반복 로그 법칙을 만족함을 보여준다.
• 고차 모멘트 수렴은 중심극한정리를 강화하여 극한 분포의 더 완전한 특성화를 제공한다.
• 분석을 통해 경로 길이의 변동은 트리 크기의 로그의 로그의 제곱근 비례로 척도가 조정됨을 확인하였으며, 이는 LIL와 일치한다.