[논문 리뷰] Full asymptotic expansion for Polya structures

Antoine Genitrini|arXiv (Cornell University)|2016. 05. 03.

Stochastic processes and statistical mechanics참고 문헌 12인용 수 4

한 줄 요약

이 논문은 생성함수를 케일리 나무 함수의 교란으로 간주함으로써, 무표기 비평면 트리—특히 폴리아 트리, 루트 식별 트리, 계층 구조—의 전체 점근 전개를 유도하는 보편적인 방법을 제시한다. 위어스트라스 준비정리와 푸아수르 전개를 사용하여, 차수 18까지의 명시적 특이 및 점근 전개를 계산하며, 큰 트리 크기에서 상대 오차가 10⁻¹⁵ 이하인 고정밀 근사치를 보여준다.

ABSTRACT

In order to obtain the full asymptotic expansion for Polya trees, i.e. rooted unlabelled and non-plane trees, Flajolet and Sedgewick observed that their specification could be seen as a slight disturbance of the functional equation satisfied by the Cayley tree function. Such an approach highlights the complicated formal expressions with some combinatorial explanation. They initiated this process in their book but they spared the technical part by only exhibiting the first- order approximation. In this paper we exhibit the university of the method and obtain the full asymptotic expansions for several varieties of trees. We then focus on three different varieties of rooted, unlabelled and non-plane trees, Polya trees, rooted identity trees and hierarchies, in order to calculate explicitly their full singular expansions and asymptotic expansions.

연구 동기 및 목표

• 무표기 비평면 트리 다양체의 전체 점근 전개를 계산하기 위한 일반적이고 체계적인 접근법을 개발하기 위해.
• 플라조레트와 세드윅의 일차 근사치를 분석적 조합론을 통해 전체 특이 및 점근 전개로 확장하기 위해.
• 폴리아 트리, 루트 식별 트리, 계층 구조의 세 가지 핵심 트리 유형에 대해 명시적 계수를 계산하기 위해.
• 차수 8 근사치를 사용하여 트리 크기가 ≥500일 때 상대 오차가 10⁻¹⁵ 이하임을 보여줌으로써 방법의 정밀도를 입증하기 위해.
• 직렬-병렬 네트워크 및 계통발생수 나무와 같은 다른 조합 구조에 적용 가능한 프레임워크를 구축하기 위해.

제안 방법

• 트리 생성함수 T(z) = ζ(z) exp(T(z))로 모델링하며, 여기서 ζ(z)는 교란 함수로, 케일리 나무 함수 C(z) = z exp(C(z))의 교란으로 간주한다.
• 기능적 방정식을 분석하고 z = 1/e에서의 주요 특이점 주변에서 T(z)의 전체 푸아수르(특이) 전개를 유도하기 위해 위어스트라스 준비정리를 적용한다.
• 파아 디 브루노의 공식과 벨 다항식을 사용하여 케일리 함수 C(z)의 푸아수르 전개 계수를 계산한다.
• ζ(z)의 주요 특이점에서의 도함수를 포함시켜 C(z)의 특이 전개를 T(z)로 일반화한다.
• 전이 정리를 통해 푸아수르 전개를 계수 점근치로 변환하여 T_n의 전체 점근 전개를 유도한다.
• 각 트리 유형에 대해 차수 18까지의 계수 τ_i를 계산하고 비교하여 방법을 수치적으로 검증한다.

실험 결과

연구 질문

• RQ1 무표기 비평면 트리에 대해 일차 근사치를 초월하는 전체 점근 전개를 계산할 수 있는 보편적 방법을 개발할 수 있는가?
• RQ2 폴리아 트리, 루트 식별 트리, 계층 구조에 대해 점근 전개 계수는 어떻게 행동하며, 어떤 패턴이 드러나는가?
• RQ3 ζ(z)에 의한 케일리 함수의 교란이 특이 및 점근 전개의 구조에 어떤 영향을 미치는가?
• RQ4 큰 트리 크기에서 일차 근사치에 비해 고차수 근사치(예: 차수 8)의 정밀도 향상 정도는 어느 정도인가?
• RQ5 이 프레임워크는 루트 없는 트리 및 직렬-병렬 네트워크나 계통발생수 나무와 같은 다른 조합 구조로 확장할 수 있는가?

주요 결과

• 케일리 나무 함수 C(z)의 전체 푸아수르 전개가 명시적으로 유도되었으며, 계수는 벨 다항식과 (1 - ez)^(n/2)의 거듭제곱을 포함한다.
• 폴리아 트리의 경우, 8차 근사치는 트리 크기가 ≥500일 때 상대 오차를 10⁻¹⁵ 이하로 줄인다.
• 폴리아 트리 및 계층 구조의 계수 τ_i는 차수 n을 초월한 모든 절단에 대해 아래로 유계이며, 루트 식별 트리의 경우 위로 유계이다.
• 이 방법은 수치 정밀도가 20자리 정밀도까지 가능하며, 계산 제약으로 인해 큰 트리에서는 효과적인 근사 차수를 8로 제한한다.
• T(z)의 전체 전개가 주어지면, 기능적 방정식 P(z) = T(z) - ½T²(z) + ½T(z²)를 통해 루트 없는 트리로의 확장이 가능하다.
• 이 접근법은 직렬-병렬 네트워크(OEIS A058385–A058387) 및 계통발생수 나무(OEIS A000311)와 같은 다른 구조에 일반적으로 적용 가능하다.