[논문 리뷰] Plane recursive trees, Stirling permutations and an urn model

Svante Janson|ArXiv.org|2008. 03. 07.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 15

한 줄 요약

이 논문은 평면 순환 트리와 스틸링 순열 사이의 일대일 대응을 확립하여, 이들의 조합적 성질에 대한 이전 결과들을 통합하고 확장한다. 일반화된 폴리아 병모형을 사용하여 랜덤 스틸링 순열에서 상승, 하강, 평탄한 부분의 정확한 공동 분포를 유도하며, 점근적 정규성과 정확한 공분산 공식을 증명한다. 주요 결과로 대칭적 의존성과 분산의 스케일링 $ olimits rac{n}{9}$ 가 드러나며, 이 대응은 평면 순환 트리의 리프 수가 스틸링 순열의 평탄한 부분 수와 같음을 보여주어 이전에 별도로 연구된 두 확률과정을 연결한다.

ABSTRACT

We exploit a bijection between plane recursive trees and Stirling permutations; this yields the equivalence of some results previously proven separately by different methods for the two types of objects as well as some new results. We also prove results on the joint distribution of the numbers of ascents, descents and plateaux in a random Stirling permutation. The proof uses an interesting generalized Polya urn

연구 동기 및 목표

• 직접적인 조합적 대응을 통해 랜덤 평면 순환 트리와 랜덤 스틸링 순열에 관한 이전 결과들을 통합하고 확장하기.
• 일반화된 폴리아 병 모형을 사용하여 랜덤 스틸링 순열에서 상승, 하강, 평탄한 부분의 공동 분포를 분석하기.
• 이 통계량의 모멘트와 공분산에 대한 정확한 표현식을 유도하며, 특히 평탄한 부분 수(평면 순환 트리의 리프 수와 동치)에 집중하기.
• 평탄한 부분/리프 수의 점근적 정규성을 입증하고 정확한 분산 및 공분산 공식을 제공하기.

제안 방법

• 모서리 라벨이 정점 추가 순서에 해당하는 깊이 우선 탐색 코드를 사용하여 평면 순환 트리와 스틸링 순열 사이의 일대일 대응을 구축하기.
• 상승, 하강, 평탄한 부분에 각각 대응하는 치환 벡터 $(2,0,0)$, $(0,2,0)$, $(0,0,2)$를 가진 세 색상 일반화된 폴리아 병을 사용하여 스틸링 순열의 진화를 모델링하기.
• 치환 행렬 $A = \begin{pmatrix} 2 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 2 \end{pmatrix}$ 를 사용하여 수량의 점근적 공동 정규성을 도출하기.
• 대칭성과 모멘트 항등식을 적용하여 알려진 리프 수 $L_n = Z_n$ 의 분산에서 정확한 공분산을 유도하기.
• 확률 생성함수와 실근성에 관한 알려진 결과를 활용하여 점근적 정규성을 뒷받침하며, 보나의 작업과 유사하게 접근하기.
• 병의 치환 방식이 뽑힌 색상에 의존하지 않음을 이용하여, 탄생 과정 내부의 의존성으로 인해 분석이 단순화되지 않음을 강조하기.

실험 결과

연구 질문

• RQ1 랜덤 스틸링 순열에서 상승, 하강, 평탄한 부분의 수의 공동 분포는 무엇인가?
• RQ2 상승, 하강, 평탄한 부분의 수는 모멘트와 공분산 측면에서 어떻게 관련되어 있는가?
• RQ3 일반화된 폴리아 병 모형을 사용하여 스틸링 순열에서 평탄한 부분 수의 점근적 정규성을 엄밀히 유도할 수 있는가?
• RQ4 랜덤 스틸링 순열에서 상승, 하강, 평탄한 부분의 수 사이의 정확한 공분산은 무엇인가?
• RQ5 평면 순환 트리와 스틸링 순열 사이의 일대일 대응은 리프 수와 평탄한 부분 수에 관한 결과를 어떻게 통합하는가?

주요 결과

• 랜덤 스틸링 순열 $Q_n$ 에서 평탄한 부분 수 $Z_n$ 은 해당하는 랜덤 평면 순환 트리 $T_n$ 의 리프 수 $L_n$ 과 같으며, 이는 직접적인 조합적 동치성을 설정한다.
• 평탄한 부분 수의 기대값은 $\mathbb{E}[Z_n] = \frac{2n+1}{3}$ 이며, 분산은 $\operatorname{Var}(Z_n) = \frac{2(n^2 - 1)}{9(2n - 1)} \sim \frac{n}{9}$ 로, 리프 수에 대한 알려진 결과와 일치한다.
• $(X_n, Y_n, Z_n)$ 의 공동 분포는 평균 벡터 $\left(\frac{2n}{3}, \frac{2n}{3}, \frac{2n}{3}\right)$ 와 대각성분이 $1/9$, 비대각성분이 $-1/18$ 인 공분산 행렬 $\Sigma$ 를 가진 점근적 다변량 정규분포이다.
• 모든 변수 쌍 간의 정확한 공분산은 $\operatorname{Cov}(X_n, Y_n) = \operatorname{Cov}(X_n, Z_n) = \operatorname{Cov}(Y_n, Z_n) = -\frac{n^2 - 1}{9(2n - 1)}$ 로, 대칭성과 분산 항등식에서 유도된다.
• 점근적 정규성 $\frac{L_n - 2n/3}{\sqrt{n}} \xrightarrow{d} N(0, 1/9)$ 이 병 모형을 통해 확인되었으며, 분산은 $n/9$ 의 비율로 스케일링된다.
• 병 모형은 치환 방식이 뽑힌 색상에 의존하지 않아 보기에 단순해 보이지만, 탄생 과정 내부의 의존성으로 인해 분석이 단순화되지 않으며, 연속시간 분열 과정의 유사 모형은 분산이 단순한 초기하모형과 다름을 보여준다.