[论文解读] The probability measure corresponding to 2-plane trees

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

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}$ 的概率测度 μ₀，该序列与二平面树及 Fuss-Catalan 数相关。
• 证明 μ₀ 为绝对连续测度，并通过贝塔分布的梅林卷积推导其显式密度函数。
• 通过将其分解为两个测度 μ₁ 和 μ₂，建立 μ₀ 在加法自由卷积（⊞）下的无限可分性，且 μ₁ 与 μ₂ 本身也均为 ⊞-无限可分。
• 将 μ₀ 的矩生成函数与超几何函数及三角函数表示联系起来，实现精确的解析表达式。

提出的方法

• 利用兰伯特定理与超几何恒等式推导矩序列的生成函数 G(z)，得到包含反三角函数的闭式表达式。
• 将 μ₀ 表示为两个贝塔分布的梅林卷积：$\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$。