[論文レビュー] Characterization problems for linear forms with free summands

G. P. Chistyakov, Friedrich Götze|arXiv (Cornell University)|Oct 7, 2011

Random Matrices and Applications参考文献 27被引用数 4

ひとこと要約

本稿は、線形形式 $L_1 = \sum a_j T_j$ と $L_2 = \sum b_j T_j$ が自由であるような自由確率変数 $T_1, \dots, T_n$ の分布を特徴づける。ボイクレスク変換と自由コマリヤント解析を用いて、同一分布の自由確率変数が同一分布の線形形式を与えるための必要十分条件を確立し、これがちょうど中心化された半円分布である場合にのみ成立することを証明する。主な貢献は、ボイクレスク変換領域の位相的性質を用いて、コンパクトなsupporthと有限個の非ゼロ項を持つ自由コマリヤント列の完全な特徴づけである。

ABSTRACT

Let $T_1,...,T_n$ denote free random variables. For two linear forms $L_1=\sum_{j=1}^n a_jT_j$ and $L_2=\sum_{j=1}^n b_jT_j$ with real coefficients $a_j$ and $b_j$ we shall describe all distributions of $T_1,...,T_n$ such that $L_1$ and $L_2$ are free. For identically distributed free random variables $T_1,...,T_n$ with distribution $μ$ we establish necessary and sufficient conditions on the coefficients $a_j,b_j,\,j=1,...,n,$ such that the statements:\quad $(i)$ $μ$ is a centered semicircular distribution; and $(ii)$ \, $L_1$ and $L_2$ are identically distributed ($L_1\stackrel{D}{=}L_2$); are equivalent. In the proof we give a complete characterization of all sequences of free cumulants of measures with compact support and with a finite number of non zero entries. The characterization is based on topological properties of regions defined by means of the Voiculescu transform $ϕ$ of such sequences.

研究の動機と目的

• 線形形式 $L_1 = \sum a_j T_j$ と $L_2 = \sum b_j T_j$ が自由であるような自由確率変数 $T_1, \dots, T_n$ の分布をすべて特徴づけること。
• $i.i.d.$ の自由確率変数 $T_j$ に対して、$L_1$ と $L_2$ が同一分布をとるための係数 $a_j, b_j$ に関する必要十分条件を確立すること。
• ボイクレスク変換の位相的性質を用いて、コンパクトなsupporthと有限個の非ゼロ項を持つ自由コマリヤント列の完全な特徴づけを提供すること。
• 古典的なダルモア＝スキートビッチおよびリニク型特徴づけ定理を自由確率の文脈に拡張すること。

提案手法

• 自由畳み込みの解析的構造を分析し、線形形式の関数方程式を導出するために、ボイクレスク変換 $\phi_\mu(z)$ を用いる。
• 上半平面 $\mathbb{C}^+$ におけるボイクレスク変換の解析的挙動を研究するために、コーシーおよびメリン変換を適用する。
• 係数の依存関係を符号化する関数 $\Lambda_1(z) = \sum |a_j|^z - \sum |b_k|^z$ を用いて、コンパクトなsupporthと有限個の非ゼロ項を持つ測度の自由コマリヤント列 $\kappa_n(\mu)$ を分析する。
• 関数方程式 $\sum a_j \phi_\mu(z/a_j) - \sum b_k \phi_\mu(z/b_k) = 0$ を用いて、$L_1$ と $L_2$ が自由または同一分布をとるための条件を導出する。
• 恒等式 $\operatorname{Im}\phi_{\mu\boxplus\bar{\mu}}(i/t) = 2\operatorname{Im}\phi_\mu(i/t)$ を用いて、変換の虚部と自由コマリヤントを関連付け、モーメント条件を導出する。
• $t \to 0^+$ における $v(t) = t \operatorname{Im}\phi_\mu(i/t)$ の漸近展開を用いて、活性な指数を特定し、すべての高階コマリヤントが消える場合に $\mu\boxplus\bar{\mu}$ が半円分布であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $i.i.d.$ の自由確率変数 $T_j$ の分布 $\mu$ と係数 $a_j, b_j$ に対して、線形形式 $L_1$ と $L_2$ が同一分布をとるための条件は何か？
• RQ2 $L_1$ と $L_2$ が自由であるという事実から、元の $T_j$ が半円分布をとることを示すにはどのような条件が必要か？
• RQ3 ボイクレスク変換を用いて、コンパクトなsupporthと有限個の非ゼロ項を持つ自由コマリヤント列の完全な特徴づけは何か？
• RQ4 関数 $\Lambda_1(z) = \sum |a_j|^z - \sum |b_k|^z$ の零点が、線形形式の分布的性質の同値性をどのように決定するか？
• RQ5 $\mu\boxplus\bar{\mu}$ が半円測度であるための条件は何か？また、これは元の測度 $\mu$ とどのように関係するか？

主な発見

• 線形形式 $L_1$ と $L_2$ が自由であるための必要十分条件は、ボイクレスク変換 $\phi_\mu(z)$ がすべての $z \in \mathbb{C}^+$ に対して関数方程式 $\sum a_j \phi_\mu(z/a_j) - \sum b_k \phi_\mu(z/b_k) = 0$ を満たすことである。
• $T_j$ が $i.i.d.$ の自由確率変数で分布 $\mu$ を持つとき、(i) $\mu$ が中心化された半円分布であることと (ii) $L_1 \stackrel{D}{=} L_2$ であることは、$\Lambda_1(2) = 0$ かつ $\Lambda_1'(2) \neq 0$ のときに限り同値であり、ここで $\Lambda_1(z) = \sum |a_j|^z - \sum |b_k|^z$ である。
• $\Lambda_1(z)$ が $z=2$ に唯一の単一零点を持ち、他の正の零点を持たないならば、$L_1$ と $L_2$ が同一分布をとることは $\mu$ が半円分布であることを示唆する。
• $\mu\boxplus\bar{\mu}$ が半円分布であるための必要十分条件は、すべての自由コマリヤント $\kappa_l(\mu\boxplus\bar{\mu}) = 0$ が $l \geq 2s+1$ を満たすことであり、ここで $s = [\gamma/2 + 1]$ で $\gamma$ は $\Lambda_1(z)$ の零点の最大実部である。
• $v(t) = t \operatorname{Im}\phi_\mu(i/t)$ の漸近展開において、活性な項は正の整数の指数のみを含み、そのような指数の数が有限であれば、$\mu\boxplus\bar{\mu}$ は半円分布である。
• $\Lambda_2(m) = 0$ が奇数 $m \geq 3$ に対して成り立つならば、$L_1 \stackrel{D}{=} L_2$ と $\mu$ が半円分布であるという同値性は成立しなくなり、係数条件 $\Lambda_1(2) = 0$ かつ $\Lambda_1'(2) \neq 0$ の必要性を示している。