[論文レビュー] Limit theorems for the hierarchy of freeness

Uwe Franz, Romuald Lenczewski|arXiv (Cornell University)|Mar 6, 2001

Random Matrices and Applications参考文献 6被引用数 9

ひとこと要約

本稿は、自由性の階層における極限定理を確立し、各 $ m \in \mathbb{N} $ に対して、中心極限定理、不変性原理、ポアソン極限定理における極限分布が、深さが高々 $ m $ の非交叉分割によって特徴付けられることを示している。代数 $ \mathbb{C}[x] $ の場合、コーシー変換を用いて離散極限測度を明示的に構成し、$ m \to \infty $ のとき、それらが弱収束してウィグナーの半円則に一致することを示した。主な貢献は、深さ制限付き非交叉分割と明示的な留数に基づく離散測度を用いた $ m $-自由極限定理の組み合わせ的・解析的特徴付けである。

ABSTRACT

The central limit theorem, the invariance principle and the Poisson limit theorem for the hierarchy of freeness are studied. We show that for given natural m the limit laws can be expressed in terms of non-crossing partitions of depth smaller or equal to m. For the algebra of polynomials in one variable we solve the associated moment problems and find explicitly the discrete limit measures.

研究の動機と目的

• 自由性の階層、つまりブール、自由、テンソル独立性を統合する枠組みにおいて、畳み込み型の極限定理（中心極限定理、不変性原理、ポアソン極限定理）を確立すること。
• 極限分布を深さ $ \leq m $ の非交叉分割の観点から特徴付けることにより、区間分割（ブール）とすべての非交叉分割（自由）との間の組み合わせ的・確率的ギャップを埋めること。
• $ \mathbb{C}[x] $ の場合に $ m $-自由極限定理のモーメント問題を解き、極限として現れる離散測度を明示的に特定すること。
• $ m \to \infty $ のとき、これらの離散測度が弱収束してウィグナーの半円則に一致することを示し、極限において自由確率論が回復されることを確認すること。

提案手法

• 深さ制限付き独立性を強制するための射影 $ t_l $ を用いた $ m $-自由積のテンソル積埋め込みにより、自由性の階層を構築する。
• 中心極限定理はテンソル積構成を用いて証明され、自由中心極限定理の新たな明示的証明が得られる。
• $ \mathbb{C}[x] $ の場合、第二種チェビシェフ多項式から導かれる有理関数としての階層的コーシー変換 $ G^{(m)}_{\lambda}(z) $ が導入される。
• コーシー変換の部分分数分解により極限測度が得られ、留数 $ a_{m,k}(\lambda) $ と原子 $ y_{m,k}(\lambda) $ を明示的に計算した離散測度が得られる。
• 不変性原理は、同じテンソル積フレームワークを用いて $ m $-自由ブラウン運動の階層を構築することで確立される。
• ポアソン極限定理は、モーメント母関数の解析と、解析接続および留数計算による関連するモーメント問題の解法により証明される。

実験結果

リサーチクエスチョン

• RQ1 $ m $-自由積における中心極限定理の極限分布は、非交叉分割の深さ $ m $ にどのように依存するか？
• RQ2 $ m $-自由極限定理は $ \mathbb{R} $ 上の離散測度として明示的に特徴付けられるか？また、$ m \to \infty $ のとき、ウィグナーの半円則に収束するか？
• RQ3 $ m $-自由畳み込みの組み合わせ的構造は何か？また、深さ $ \leq m $ の非交叉分割とどのように関係するか？
• RQ4 $ \mathbb{C}[x] $ の場合に $ m $-自由極限定理のモーメント問題をどのように解くことができるか？また、得られる離散測度の明示的形は何か？
• RQ5 チェビシェフ多項式は、$ m $-自由極限定理のコーシー変換の構成と留数計算において果たす役割は何か？

主な発見

• $ m $-自由中心極限定理により、深さ $ \leq m $ の非交叉ペア分割によって特徴付けられる極限分布が得られ、自由の場合（$ m = \infty $）の一般化である。自由の場合にはすべての非交叉ペア分割が寄与するが、$ m $-自由では深さ制限により寄与が制限される。
• $ \mathbb{C}[x] $ の場合、$ m $-自由極限測度は離散的であり、$ \mu^{(m)}_{\lambda} = \sum_{k=0}^{m} a_{m,k}(\lambda) \delta_{y_{m,k}(\lambda)} $ で与えられる。留数は $ k=1,\dots,m $ に対して $ a_{m,k}(\lambda) = \frac{2\lambda \sin^2\left(\frac{k\pi}{m+1}\right)}{(m+1)\left[2\sqrt{\lambda}\cos\left(\frac{k\pi}{m+1}\right)+\lambda+1\right]} $ で明示的に計算可能である。
• $ \mu^{(0)}_{\lambda} = \delta_0 $、$ \mu^{(1)}_{\lambda} = \frac{1}{1+\lambda}\delta_0 + \frac{\lambda}{1+\lambda}\delta_{1+\lambda} $、$ \mu^{(2)}_{\lambda} $ は $ 1+\lambda $ の周りに対称的な3つの原子を含み、階層の構造が明確に現れる。
• $ m $-自由極限測度のコーシー変換 $ G^{(m)}_{\lambda}(z) $ は、$ y_{m,k}(\lambda) $ を極とする有理関数であり、部分分数分解により離散測度が明示的に得られる。
• $ m $-自由ポアソン極限定理が証明され、関連するモーメント問題が解かれており、$ m $-自由極限測度がモーメントによって一意に定まり、$ \mu^{(m)}_{\lambda} = \sum_{k=0}^{m} a_{m,k}(\lambda) \delta_{y_{m,k}(\lambda)} $ の形をとることが示された。
• $ m \to \infty $ のとき、$ m $-自由極限測度 $ \mu^{(m)}_{\lambda} $ は弱収束してウィグナーの半円則に一致し、自由確率論の極限としての整合性が確認された。