[論文レビュー] Approximate factorization and concentration for characters of symmetric groups

Philippe Biane|ArXiv.org|Jun 15, 2000

Random Matrices and Applications参考文献 5被引用数 12

ひとこと要約

本稿は、対称群の指標における近似的因数分解条件の下で濃縮現象を確立し、正規化された正定値関数が特定の極限形状を持つヤン盤に濃縮することを示している。この結果を $S_q$ のテンソル表現に適用することで、漸近的スケーリング $√{q}/N \to c$ の下で、分解が $c > 0$ の場合にパスタール＝マルケンコ分布と関連する極限形状に収束し、$c = 0$ の場合にプランシュレ極限形状に収束することを示した。自由確率論および自由に無限に可除な分布と関連している。

ABSTRACT

We prove a factorization-concentration result for characters of symmetric groups. This is then applied to the asymptotic behaviour of the decomposition of the tensor representations. There are connections with the Pastur-Marcenko distribution of random matrix theory, and freely infinitely divisible distributions.

研究の動機と目的

• 近似的因数分解条件下での対称群上の正規化された正定値関数の濃縮結果を確立すること。
• $q \to \infty$ の下で $S_q$ のテンソル表現 $(\mathbb{C}^N)^{\otimes q}$ の漸近的分解を分析すること。
• この分解におけるヤン盤の極限形状とパスタール＝マルケンコ分布および自由に無限に可除な分布との関連を特定すること。
• パラメータの調整によりプランシュレ測度からの結果をより一般的なテンソル状態へ一般化すること。

提案手法

• 関数の $\gamma$-サポートを導入し、関連する確率測度がヤン盤にどの程度濃縮されているかを定量化する。
• 遷移測度 $\mathfrak{m}_\omega$ と自由キューマランスを用いて、連続的ヤン盤およびその関連する確率測度を特徴付ける。
• $R$-変換とコーシー変換を用いて、モーメントの漸近的挙動と自由確率論的法則を結びつける。
• 累積量列 $(0,1,c,c^2,\dots)$ を持つ測度の $R$-変換の逆変換により極限形状を導出する。これは自由ポアソン分布に対応する。
• 固有値依存のモーメント $p_n$ を導入し、$\mathbb{Z}/2$-graded ヒルベルト空間状態への一般化を図る。その漸近的スケーリングを分析する。
• 自由Lévy-Khintchine公式を用いて、極限測度が特定のLévy測度 $\nu(dt) = |t|^{-1}\mu(dt)$ を持つ自由に無限に可除であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $q \to \infty$ の下で、$S_q$ 上の正規化された正定値関数がどの程度、特定の極限形状を持つヤン盤に濃縮されるか。
• RQ2 $\sqrt{q}/N \to c \in [0,\infty)$ のとき、テンソル表現 $(\mathbb{C}^N)^{\otimes q}$ の分解はどのように漸近的に振る舞うか。
• RQ3 この分解におけるヤン盤の極限形状と、確率的行列理論におけるパスタール＝マルケンコ分布との関連は何か。
• RQ4 一般のテンソル状態 $\mathcal{B}(H)^{\otimes q}$ は、自由に無限に可除な分布に関連する極限図形をどのように導くか。

主な発見

• $c = 0$ の場合、$(\mathbb{C}^N)^{\otimes q}$ の分解におけるヤン盤の極限形状は、ケロフ＝ヴァーシクおよびロガント＝シップの古典的プランシュレ極限形状に一致する。
• $c > 0$ の場合、極限形状はパrameter $c$ の自由ポアソン分布に対応し、$R$-変換 $R(z) = z/(1 - cz)$ から生じる。
• 極限測度の自由キューマランスは $n \geq 1$ に対して $R_n = c^{n-1}$ であり、その $R$-変換は $K(z) = 1/z + z/(1 - cz)$ である。これはパスタール＝マルケンコ分布のコーシー変換に逆転する。
• 極限図形は、$c < 1$、$c = 1$、$c > 1$ に応じて、ディラックデルタ関数と $[c-2, c+2]$ 上の密度関数の組み合わせであるレイリー測度 $\tau_c$ を用いて明示的に計算される。
• 一般のテンソル状態では、極限形状は $R$-変換 $R(z) = \int_{\mathbb{R}} \frac{z}{1 - zt} |t| \mu(dt)$ を持つ自由に無限に可除な法則に対応する。ここで $\mu$ は $\int |t| \mu(dt) = 1$ を満たす正の測度である。
• 極限測度はLévy測度 $\nu(dt) = |t|^{-1} \mu(dt)$ を持つ自由に無限に可除であり、自由Lévy-Khintchine表現との関連が確認された。