[論文レビュー] 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}$ である確率測度 μ₀ を特徴づけること。これは2平面木やFuss-Catalan数に関連する数列である。
• μ₀ が絶対連続であることの証明と、ベータ分布のメリン畳み込みを用いたその明示的密度関数の導出。
• 加法的自由コピュラ（⊞）に関して μ₀ が無限に分解可能であることを確立し、それ自体 ⊞-無限に分解可能な2つの測度 μ₁ と μ₂ への分解を実行すること。
• μ₀ のモーメント母関数が超幾何関数および三角関数の表現とどのように関連するかを明らかにし、正確な解析的表現を可能にする。

提案手法

• ラメルトの公式と超幾何恒等式を用いてモーメント列の母関数 G(z) を導出し、逆正弦および余弦関数を含む閉形式表現に至る。
• μ₀ を2つのベータ分布 $\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 μ₀ は2つの測度の加法的自由コピュレーションとして分解可能か？ また、それらの成分は ⊞ に関して無限に分解可能か？
• 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$ を満たす。