[論文レビュー] Densities of the Raney distributions

Wojciech Młotkowski, K. A. Penson+1 more|arXiv (Cornell University)|Nov 30, 2012

Random Matrices and Applications参考文献 18被引用数 22

ひとこと要約

本稿では、$p \geq 1$、$0 < r \leq p$ の条件下で、Raney数 $\binom{mp+r}{m}\frac{r}{mp+r}$ が正定値列をなすこと、および $p > 1$ が有理数のとき、関連する確率測度 $\mu(p,r)$ が $[0,\infty)$ 上にコンパクトな台を持つ絶対連続測度であることを示している。密度関数 $W_{p,r}(x)$ は、Meijer G関数および一般化超幾何関数を用いて明示的に表現され、特に積の自由平方やMarchenko-Pastur分布の平方根といった特殊ケースでは閉形式の初等関数表現が得られる。

ABSTRACT

We prove that if $p\ge 1$ and $0&lt; r\le p$ then the sequence $\binom{mp+r}{m}\frac{r}{mp+r}$, $m=0,1,2,...$, is positive definite, more precisely, is the moment sequence of a probability measure $μ(p,r)$ with compact support contained in $[0,+\infty)$. This family of measures encompasses the multiplicative free powers of the Marchenko-Pastur distribution as well as the Wigner's semicircle distribution centered at $x=2$. We show that if $p&gt;1$ is a rational number, $0

研究の動機と目的

• Raney数 $\binom{mp+r}{m}\frac{r}{mp+r}$ が $p \geq 1$、$0 < r \leq p$ の下で正定値列をなし、したがって $[0,\infty)$ 上に一意な確率測度 $\mu(p,r)$ を定義することを証明すること。
• 有理数 $p > 1$ のとき、$\mu(p,r)$ が絶対連続であり、密度関数 $W_{p,r}(x)$ を持つことを確立すること。
• Meijer G関数および一般化超幾何関数を用いて $W_{p,r}(x)$ の明示的表現を導出すること。
• 特に、積の自由平方やMarchenko-Pastur分布の平方根といったケースで $W_{p,r}(x)$ が初等関数に簡約される場合を同定し、対応する閉形式の表現を特定すること。
• 密度関数の可視化と、特に分数型 $p$ および変化する $r$ における台と符号の挙動の分析。

提案手法

• Mellin畳み込みを用いて、$\mu(p,r)$ を修正されたベータ測度の積として表現すること。
• Mellin変換および一般化超幾何関数の性質を応用して、密度関数 $W_{p,r}(x)$ を導出すること。
• 有理数 $p > 1$ および $0 < r \leq p$ の下で、特定のパrameterを持つ超幾何関数を含むMeijer G関数を用いた $W_{p,r}(x)$ の閉形式表現を導出すること。
• 超幾何恒等式の簡約を用いて、特殊ケースにおける一般化超幾何関数の表現を初等関数に還元すること。
• さまざまな有理数 $p$ および $r$ における密度関数の数値的・図式的分析を行い、台の境界と符号の挙動を評価すること。
• 自由確率論における既知の結果と整合性を確認するため、$\mu(p,r) \triangleright \mu(p+s,s) = \mu(p+s,r+s)$ という単調畳み込み関係を用いること。

実験結果

リサーチクエスチョン

• RQ1 どの $p \geq 1$ および $0 < r \leq p$ の値に対して、列 $\binom{mp+r}{m}\frac{r}{mp+r}$ が正定値であり、したがって確率測度 $\mu(p,r)$ のモーメント列として定義可能か？
• RQ2 有理数 $p > 1$ のとき、$\mu(p,r)$ の密度関数 $W_{p,r}(x)$ の明示的形は何か？
• RQ3 どの場合に $W_{p,r}(x)$ が初等関数に簡約され、その対応する閉形式の表現は何か？
• RQ4 特に分数型 $p$ および変化する $r$ に対して、密度関数 $W_{p,r}(x)$ の台、単峰性、符号の挙動はどのように振る舞うか？
• RQ5 Raney測度 $\mu(p,r)$ は、Marchenko-Pastur分布やWignerの半円分布といった既知の分布とどのように関係しているか？

主な発見

• 列 $\binom{mp+r}{m}\frac{r}{mp+r}$ は $p \geq 1$、$0 < r \leq p$ の下で正定値であり、$[0,\infty)$ 上にコンパクトな台を持つ一意な確率測度 $\mu(p,r)$ を定義する。
• 有理数 $p > 1$ および $0 < r \leq p$ のとき、測度 $\mu(p,r)$ は絶対連続であり、その密度関数 $W_{p,r}(x)$ はMeijer G関数と一般化超幾何関数の組み合わせで与えられる。
• 特殊ケースとして $p=3$、$r=1,2,3$ のとき、密度関数 $W_{3,r}(x)$ は $z = 4x/27$ を用いた $\sqrt{1-z}$ を含む初等関数に簡約され、明示的な閉形式が得られる。
• Marchenko-Pastur分布の積の自由平方（$\mu(3,1)$）は $W_{3,1}(x)$ に対応し、これは $\sqrt{1-z}$ の有理関数として表現される。
• $p=3/2$、$r=1/2$ のときの密度関数 $W_{p,1}(x)$ はBures分布に対応し、$W_{2,2}(x)$ は中心が $x=2$ のWigner半円分布であることが確認され、既知の結果と整合する。
• 図式的分析により、$r > p/2$ のとき、密度関数 $W_{p,r}(x)$ が負の領域を示すことが判明し、特定のパrameter領域で非正定値性が生じることを示している。