[논문 리뷰] Additive functionals of $d$-ary increasing trees

Dimbinaina Ralaivaosaona, Stephan Wagner|arXiv (Cornell University)|2016. 05. 12.

Stochastic processes and statistical mechanics참고 문헌 13인용 수 5

한 줄 요약

이 논문은 비용 함수에 대한 온건한 조건 하에서 $d$-ary 증가하는 트리에서의 덧셈형 기능에 대한 일반적인 중심극한정리(central limit theorem)를 수립하며, 일반화된 평면 방향 재귀 트리(GPORTs)로 확장한다. 주요 기여는 $d$-ary 증가하는 트리의 자기동형군 크기에 대한 로그정규분포(limit law)를 도출하는 것으로, 경로 길이, 부분트리 수, 궤도 수 등 다양한 트리 기능에 광범위하게 적용 가능하다.

ABSTRACT

A tree functional is called additive if it satisfies a recursion of the form $F(T) = \sum_{j=1}^k F(B_j) + f(T)$, where $B_1,\ldots,B_k$ are the branches of the tree $T$ and $f(T)$ is a toll function. We prove a general central limit theorem for additive functionals of $d$-ary increasing trees under suitable assumptions on the toll function. The same method also applies to generalised plane-oriented increasing trees (GPORTs). One of our main applications is a log-normal law that we prove for the size of the automorphism group of $d$-ary increasing trees, but many other examples (old and new) are covered as well.

연구 동기 및 목표

• d-ary 증가하는 트리와 GPORTs에서 덧셈형 기능을 분석하기 위한 일반적 프레임워크를 개발하기 위해.
• 덧셈형 기능이 중심극한정리를 만족하는 조건을 확립하기 위해.
• $d$-ary 증가하는 트리에서 자기동형군 크기에 대한 로그정규분포 한계 법칙을 도출하기 위해.
• 이전의 이진 트리 결과를 일반 $d$-ary 트리와 더 일반적인 트리 가족으로 확장하기 위해.
• 공통적인 분석적 프레임워크를 사용하여 경로 길이, 부분트리 수, 자기동형군에 대한 이전 결과들을 통합하고 일반화하기 위해.

제안 방법

• 함수적 덧셈 구조를 재귀적 분해를 통해 모델링: $F(T) = \sum_{j=1}^k F(B_j) + f(T)$, 여기서 $B_j$는 부분트리이고 $f(T)$는 비용 함수이다.
• 생성함수와 moments 분석 기반의 트리 기능에 대한 일반 중심극한정리 프레임워크를 적용한다.
• 지정된 조건을 만족하는 지수 생성함수 $Y(x)$를 사용하며, $Y'(x) = \Phi(Y(x))$, $Y(0) = 0$ 이고, GPORTs의 경우 $\Phi(t) = (1-t)^{-\alpha}$ 이다.
• 비용 함수 $f(T)$의 渐近적 행동, 특히 그 감쇠 속도를 분석하여 중심극한정리에 필요한 기술적 조건을 검증한다.
• 자기동형군 크기와 같은 기능들을 $\log R(T)$로 변환하여 유계 또는 감쇠하는 비용 함수를 갖는 덧셈형 기능으로 환원한다.
• 프링 트리 분해: $F(T) = \sum_{S \in \mathcal{F}(T)} f(S)$ 를 통해 기능들을 포함된 부분트리 위의 합으로 표현한다.

실험 결과

연구 질문

• RQ1 d-ary 증가하는 트리에서 덧셈형 기능이 중심극한정리를 만족하는 조건은 무엇인가?
• RQ2 d-ary 증가하는 트리에서 자기동형군 크기의 로그의 귀결 분포는 무엇인가?
• RQ3 비용 함수의 감쇠 속도가 정규 또는 로그정규 귀결으로의 수렴에 미치는 영향은 무엇인가?
• RQ4 이 프레임워크는 매개수 $\alpha$를 가진 일반화된 평면 방향 재귀 트리(GPORTs)로 확장될 수 있는가?
• RQ5 이 모델에서 내부 경로 길이, 부분트리 수, 궤도 수 등의 기능들은 점차적으로 어떻게 행동하는가?

주요 결과

• 비용 함수에 대한 온건한 조건 하에서 $d$-ary 증가하는 트리에서 덧셈형 기능에 대한 일반 중심극한정리를 수립하였다.
• d-ary 증가하는 트리에서 자기동형군 크기의 로그는 정규분포로 수렴함을 보여, 이는 그 크기가 실제로 로그정규분포를 따른다는 것을 의미한다.
• 이진 트리의 경우, 비용 함수의 기대 절대값은 지수적으로 감쇠한다; $d$-ary 트리의 경우, $\mathcal{O}(|T|^{-2/(d-1)})$ 정도로 감쇠하며, 여전히 수렴에 충분하다.
• 루트를 포함하는 부분트리의 수인 $s(T)$는 로그 변환으로 인해 $\mathcal{O}(|T|^{-1})$ 비용 함수를 갖는 기능이 되며, 중심극한정리를 만족한다.
• 루트를 포함하지 않는 전체 부분트리 수 역시 중심극한정리를 만족한다. $\log(1+s(T))$와의 차이는 $\mathcal{O}(\log |T|)$ 이기 때문이다.
• 자기동형군 작용 하에서의 궤도 수는 기술적 난이도가 있으나, 근사 및 유계성 논증을 통해 중심극한정리를 만족함을 보였다.