[논문 리뷰] The probability measure corresponding to 2-plane trees

Wojciech Młotkowski, K. A. Penson|arXiv (Cornell University)|2013. 04. 24.

Random Matrices and Applications참고 문헌 8인용 수 3

한 줄 요약

이 논문은 Fuss-Catalan 유사 수열 $\binom{3n}{n}\frac{1}{n+1}$의 모멘트를 갖는 확률측도 μ₀를 연구하며, 이가 절대 연속임을 증명하고 메린 컨볼루션을 통해 백분위 분포의 조합으로 밀도를 유도한다. 주요 기여는 μ₀가 덧셈 자유 컨볼루션에 대해 무한히 나누어떨어짐을 보이며, μ₁ ⊞ μ₂로 분해되며, 이 두 성분이 모두 자유 포아송 유사하고 무한히 나누어떨어짐을 보여주는 것이다. 밀도 공식과 초함수 및 삼각함수를 사용한 생성함수 표현이 명시적으로 유도된다.

ABSTRACT

We study the probability measure $μ_{0}$ for which the moment sequence is $\binom{3n}{n}\frac{1}{n+1}$. We prove that $μ_{0}$ is absolutely continuous, find the density function and prove that $μ_{0}$ is infinitely divisible with respect to the additive free convolution.

연구 동기 및 목표

• 모멘트가 $\binom{3n}{n}\frac{1}{n+1}$인 확률측도 μ₀를 특성화하는 것. 이 수열은 2평면 트리와 Fuss-Catalan 수와 관련되어 있다.
• μ₀가 절대 연속임을 증명하고, 메린 컨볼루션을 통한 베타 분포의 조합을 이용해 그 명시적 밀도 함수를 유도하는 것.
• μ₀가 덧셈 자유 컨볼루션(⊞)에 대해 무한히 나누어떨어짐임을 증명하기 위해, μ₁과 μ₂로 분해하는 것. 이 두 성분도 각각 ⊞-무한히 나누어떨어짐임을 보장한다.
• μ₀의 모멘트 생성함수와 초함수 및 삼각함수 표현 간의 연결을 통해 정확한 해석적 표현을 가능하게 하는 것.

제안 방법

• 라메르트의 공식과 초함수 항등식을 사용해 모멘트 수열의 생성함수 G(z)를 유도하며, 역 sine 및 cosine 함수를 포함한 닫힌 형태의 표현식을 도출한다.
• μ₀를 두 개의 베타 분포인 $\mathrm{Beta}(1/3,1/6)$과 $\mathrm{Beta}(2/3,4/3)$의 메린 컨볼루션으로 표현함으로써 절대 연속성을 확립한다.
• 자유 확률 이론을 적용하여 μ₀의 R-변환과 S-변환을 계산함으로써 자유 포아송 유사 측도로의 분해를 가능하게 한다.
• R-변환 분해 $R_{\mu_0}(z) = R_1(z) + R_2(z)$를 통해 μ₁과 μ₂가 자유 컨볼루션 형태의 포아송 유사 측도와 델타 질량의 조합임을 식별한다.
• μ₁과 μ₂의 밀도 함수의 자유 컨볼루션으로 μ₀의 밀도를 유도하며, 제곱근과 유리 함수를 포함한 명시적 공식을 도출한다.
• 모멘트 생성함수 항등식을 사용해 분해를 검증하고, 알려진 자유 포아송 반군 $\varpi_t$와 비교한다.

실험 결과

연구 질문

• RQ1 모멘트가 $\binom{3n}{n}\frac{1}{n+1}$인 확률측도 μ₀의 명시적 형태는 무엇인가?
• RQ2 μ₀는 절대 연속적인가? 만약 그렇다면 그 밀도 함수는 무엇인가?
• RQ3 μ₀는 두 측도의 덧셈 자유 컨볼루션으로 분해될 수 있으며, 이 성분들은 ⊞에 대해 무한히 나누어떨어지는가?
• RQ4 μ₀의 모멘트 생성함수는 초함수 및 삼각함수 표현과 어떻게 관련되어 있는가?
• RQ5 μ₀와 자유 포아송 반군 $\varpi_t$ 사이의 관계는 무엇인가?

주요 결과

• 측도 μ₀는 절대 연속이며, 그 밀도는 $\mathrm{Beta}(1/3,1/6)$과 $\mathrm{Beta}(2/3,4/3)$의 메린 컨볼루션으로 주어지며, 대수적 및 삼각함수 함수를 포함한 닫힌 형태의 표현식을 갖는다.
• 모멘트 수열의 생성함수 $G(z)$는 $G(z) = \frac{12\cos^2\alpha + 6}{(4\cos^2\alpha - 1)^2}$로 표현되며, $\alpha = \frac{1}{3}\arcsin(\sqrt{27z/4})$를 포함하여 완전한 해석적 표현을 제공한다.
• μ₀는 $\mu_0 = \mu_1 \boxplus \mu_2$로 분해되며, $\mu_1 = \mathbf{D}_2\varpi_{1/2}$와 $\mu_2 = \frac{1}{2}\delta_0 + \frac{1}{2}\varpi_1$로 표현되며, 이 두 성분 모두 ⊞-무한히 나누어떨어진다.
• μ₀의 R-변환은 $R_{\mu_0}(z) = \frac{z}{1-2z} + \frac{1 - \sqrt{1-2z}}{2\sqrt{1-2z}}$로 분해되며, 자유 포아송 성분으로의 분해를 확인한다.
• μ₀의 밀도는 $[0, \infty)$에 지지되어 있으며, μ₁과 μ₂의 밀도의 자유 컨볼루션으로부터 유도된 명시적 표현이 존재한다. μ₁의 지지는 $[3 - \sqrt{8}, 3 + \sqrt{8}]$이고, μ₂의 지지는 $(0,4)$이다.
• μ₀의 모멘트는 OEIS의 수열 A007226와 일치하며, 생성함수는 다음 삼차방정식을 만족한다: $2 - z - (1+2z)G(z) + 2zG(z)^2 - z^2G(z)^3 = 0$.