[论文解读] 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

一句话总结

本文刻画了自由随机变量 $T_1, \dots, T_n$ 的分布，使得线性形式 $L_1 = \sum a_j T_j$ 与 $L_2 = \sum b_j T_j$ 相互自由。通过 Voiculescu 变换与自由矩分析，本文建立了同分布自由随机变量产生同分布线性形式的充要条件，证明当且仅当共同分布为均值为零的半圆分布时成立。主要贡献在于通过 Voiculescu 变换区域的拓扑性质，完全刻画了具有紧支集且仅有有限个非零项的自由矩序列。

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.

研究动机与目标

• 刻画所有自由随机变量 $T_1, \dots, T_n$ 的分布，使得线性形式 $L_1 = \sum a_j T_j$ 与 $L_2 = \sum b_j T_j$ 相互自由。
• 建立系数 $a_j, b_j$ 的必要与充分条件，使得当 $T_j$ 为独立同分布的自由随机变量时，$L_1$ 与 $L_2$ 同分布。
• 利用 Voiculescu 变换的拓扑性质，对具有紧支集且仅有有限个非零项的自由矩序列提供完全刻画。
• 将经典的 Darmois-Skitovich 与 Linnik 型刻画定理推广至自由概率框架。

提出的方法

• 使用 Voiculescu 变换 $\phi_\mu(z)$ 分析自由卷积的解析结构，并推导线性形式的函数方程。
• 应用 Cauchy 变换与 Mellin 变换，研究 Voiculescu 变换在上半平面 $\mathbb{C}^+$ 中的解析行为。
• 通过函数 $\Lambda_1(z) = \sum |a_j|^z - \sum |b_k|^z$（编码系数依赖关系）分析具有紧支集和有限非零项的测度的自由矩序列 $\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)$ 将变换的虚部与自由矩关联，推导出矩条件。
• 应用 $v(t) = t \operatorname{Im}\phi_\mu(i/t)$ 在 $t \to 0^+$ 时的渐近展开，识别有效指数，并推导出当所有高阶矩为零时，$\mu\boxplus\bar{\mu}$ 为半圆分布。

实验结果

研究问题

• RQ1 在系数 $a_j, b_j$ 与独立同分布自由随机变量 $T_j$ 的分布 $\mu$ 满足何种条件下，线性形式 $L_1$ 与 $L_2$ 同分布？
• RQ2 在何种条件下，$L_1$ 与 $L_2$ 的自由性可推出其底层随机变量 $T_j$ 服从半圆分布？
• RQ3 如何通过 Voiculescu 变换刻画具有紧支集且仅有有限个非零项的自由矩序列的完全特征？
• RQ4 函数 $\Lambda_1(z) = \sum |a_j|^z - \sum |b_k|^z$ 的零点如何决定线性形式分布性质的等价性？
• RQ5 在何种条件下 $\mu\boxplus\bar{\mu}$ 为半圆测度，且其与原始测度 $\mu$ 的关系如何？

主要发现

• 线性形式 $L_1$ 与 $L_2$ 相互自由，当且仅当 Voiculescu 变换 $\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$（分布为 $\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}$ 为半圆分布。
• 若存在某个奇数 $m \geq 3$ 使得 $\Lambda_2(m) = 0$，则 $L_1 \stackrel{D}{=} L_2$ 与 $\mu$ 为半圆分布之间的等价性不成立，表明系数条件 $\Lambda_1(2) = 0$ 与 $\Lambda_1'(2) \neq 0$ 的必要性。