[논문 리뷰] Limit Laws for Functions of Fringe trees for Binary Search Trees and Recursive Trees

Cecilia Holmgren, Svante Janson|arXiv (Cornell University)|2014. 06. 26.

Stochastic processes and statistical mechanics참고 문헌 29인용 수 15

한 줄 요약

이 논문은 스틴의 방법과 커플링 기법을 사용하여 이진 탐색 트리와 무작위 재귀 트리에서 프링지 서브트리의 기능에 대한 극한 법칙을 수립한다. $k \to \infty$일 때 크기 $k$인 프링지 트리의 수는 포isson 분포로 수렴하고, $k = o(\sqrt{n})$일 때는 정규 분포로 수렴하며, 여러 서브트리 유형에 대한 동시 정규 수렴과 보호된 노드 및 형태 기능에의 응용을 포함한다.

ABSTRACT

We prove limit theorems for sums of functions of subtrees of binary search trees and random recursive trees. In particular, we give simple new proofs of the fact that the number of fringe trees of size $ k=k_n $ in the binary search tree and the random recursive tree (of total size $ n $) asymptotically has a Poisson distribution if $ k ightarrow\infty $, and that the distribution is asymptotically normal for $ k=o(\sqrt{n}) $. Furthermore, we prove similar results for the number of subtrees of size $ k $ with some required property $ P $, for example the number of copies of a certain fixed subtree $ T $. Using the Cramér-Wold device, we show also that these random numbers for different fixed subtrees converge jointly to a multivariate normal distribution. As an application of the general results, we obtain a normal limit law for the number of $\ell$-protected nodes in a binary search tree or random recursive tree. The proofs use a new version of a representation by Devroye, and Stein's method (for both normal and Poisson approximation) together with certain couplings.

연구 동기 및 목표

• 이진 탐색 트리와 무작위 재귀 트리에서 프링지 서브트리의 함수 합에 대한 극한 정리 유도.
• 기존의 프링지 트리 수의 점근적 분포, 특히 포isson 및 정규 극한에 대한 새로운 단순화된 증명 제공.
• 여러 서브트리 유형에 대한 동시 수렴과 보호된 노드 및 형태 기능과 같은 기능에 대한 결과 확장.
• 스티븐의 방법과 커플링 기법을 활용하여 통합된 프레임워크 내에서 수렴 속도와 분포 극한을 확립.

제안 방법

• 디브로아가 제안한 바에 따라 키에 독립적인 균일한 시간스탬프를 사용한 이진 탐색 트리의 표현을 활용.
• 순서 있는 트리와 이진 트리 사이의 이분법적 대응(자연스러운 대응)을 활용하여 무작위 재귀 트리를 이진 탐색 트리와 연결.
• 의존성을 제어하기 위해 커플링 구성법을 활용하여 정규 및 포isson 근사에 스틴의 방법 적용.
• 다수의 고정된 서브트리 유형에 대한 수의 동시 점근 정규성을 확립하기 위해 크라머–월드 장치 활용.
• 형태 기능과 보호된 노드 수에 이 방법을 적용하여 모멘트 생성 함수 분석을 통해 극한 법칙 도출.
• 점근적 전개와 모멘트 경계를 활용하여 수렴 조건을 검증하고, 특히 중심극한정리의 분산 항에 대한 조건을 확인.

실험 결과

연구 질문

• RQ1 무작위 이진 탐색 트리 또는 무작위 재귀 트리에서 크기 $k$인 프링지 서브트리의 수의 극한 분포는 무엇인가요?
• RQ2 크기 $k$가 $n$에 따라 어떻게 스케일링되는가에 따라 점근적 분포는 어떻게 변화하는가? 특히 $k \to \infty$와 $k = o(\sqrt{n})$의 경우를 비교하여 설명하시오.
• RQ3 여러 다른 프링지 서브트리 유형의 수에 대해 다변량 정규 분포로의 동시 수렴을 확립할 수 있는가?
• RQ4 이러한 무작위 트리 모델에서 보호된 노드 수나 형태 기능과 같은 기능의 극한 행동은 어떠한가요?
• RQ5 스티븐의 방법과 커플링 기법을 사용하여 이 맥락에서 알려진 극한 법칙에 대한 새로운 단순화된 증명을 제공할 수 있는가?

주요 결과

• 이진 탐색 트리 또는 무작위 재귀 트리에서 크기 $k$인 프링지 서브트리의 수는 $k \to \infty$일 때 분포 수렴이 포isson 법칙으로 이루어진다.
• $k = o(\sqrt{n})$일 때, 이러한 서브트리의 수는 정규 분포로 수렴하며, 명시적인 점근 평균과 분산을 갖는다.
• 임의의 유한한 수의 고정된 서브트리 $T_1, \dots, T_m$에 대해, 이러한 서브트리의 수의 조합 수렴은 다변량 정규 분포로 이루어진다.
• 이진 탐색 트리 또는 무작위 재귀 트리에서 $\ell$-보호된 노드의 수는 중심극한정리에 따라 중심화 및 정규화 후 $\mathcal{N}(0, \sigma^2)$ 스케일링을 만족한다.
• 나무 구조 복잡도를 측정하는 형태 기능 $F(\Lambda_n) = -\log \hat{P}(\Lambda_n)$는 중심극한정리를 만족하며, $\mathbb{E}[F(\Lambda_n)] \sim n\hat{\mu}$ 이고 $\frac{F(\Lambda_n) - \mathbb{E}[F(\Lambda_n)]}{\sqrt{n}} \to \mathcal{N}(0, \hat{\sigma}^2)$이다.
• 증명은 서브트리 수의 절대 편차 합이 발산 조건을 만족함을 검증함으로써 이루어지며, 이는 중심극한정리의 분산 항이 0이 되지 않음을 보장한다.