[論文レビュー] Point processes and the infinite symmetric group. Part I: The general formalism and the density function

Grigori Olshanski|ArXiv.org|Apr 18, 1998

Random Matrices and Applications参考文献 14被引用数 21

ひとこと要約

本稿は、無限対称群の調和解析から生じる、穴あき区間 $[-1,1] \setminus \{0\\$ 上の2パラメータ族の点過程を導入する。スぺクトル測度とトーマ単体上の確率点過程との間の対応関係を確立し、1次相関関数（密度）を計算し、これらの測度の台が配置空間によって決定されることを証明する。これにより、今後の研究における高次相関関数の分析の基盤が築かれる。

ABSTRACT

We study a 2-parametric family of probability measures on an infinite-dimensional simplex (the Thoma simplex). These measures originate in harmonic analysis on the infinite symmetric group (S.Kerov, G.Olshanski and A.Vershik, Comptes Rendus Acad. Sci. Paris I 316 (1993), 773-778). Our approach is to interpret them as probability distributions on a space of point configurations, i.e., as certain point stochastic processes, and to find the correlation functions of these processes. In the present paper we relate the correlation functions to the solutions of certain multidimensional moment problems. Then we calculate the first correlation function which leads to a conclusion about the support of the initial measures. In the appendix, we discuss a parallel but more elementary theory related to the well-known Poisson-Dirichlet distribution. The higher correlation functions are explicitly calculated in the subsequent paper (A.Borodin, math.RT/9804087). In the third part (A.Borodin and G.Olshanski, math.RT/9804088) we discuss some applications and relationships with the random matrix theory. The goal of our work is to understand new phenomena in noncommutative harmonic analysis which arise when the irreducible representations depend on countably many continuous parameters.

研究の動機と目的

• トーマ単体上のスぺクトル測度を $[-1,1] \setminus \{0\}$ 上の点過程として解釈し、無限次元表現の確率論的解析を可能にする。
• これらの点過程の1次相関関数（密度）を計算し、それらの局所的統計的挙動を特徴づける。
• 相関構造とモーメント問題の技法を用いて、基礎となる確率測度の台を特定する。
• 表現論に依存しない形式的枠組みを確立し、調和解析の専門家でない読者にもアクセス可能にする。
• 今後の論文における高次相関関数と確率的行列理論への応用の土台を築く。

提案手法

• トーマ単体を $[-1,1] \setminus \{0\}$ 上の配置空間へ埋め込み、単体上の確率測度を確率的点過程として扱う。
• 粒子が $x_1,\dots,x_n$ の近傍に存在する確率の密度として、$n$ 次相関関数 $\rho_n(x_1,\dots,x_n)$ を無限小近傍を用いて定義する。
• 相関関数を多次元モーメント問題の解と関連づけ、測度の解析的取り扱いを可能にする。
• ヤング図形のフロベニウス座標系を用い、生成関数から導かれる行列の行列式による表現で相関関数を表現する。
• 行列 $M = (m_{pq})$ で $m_{pq} = t + p + q + 1$ であるものの調和性関係を、余因子展開と行列式恒等式を用いて検証する。
• 座標が重複するときに行列式が消えるという事実を活用し、有効でないヤング図形を含むすべてのボックス追加の形式的和を取ることで、解析を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 トーマ単体上のスぺクトル測度を $[-1,1] \setminus \{0\}$ 上の点過程としてどのように解釈できるか？
• RQ2 これらの点過程の1次相関関数（密度）の明示的形は何か？
• RQ3 スぺクトル測度の台は、点過程の配置空間とどのように関係するか？
• RQ4 モーメント問題は、相関関数を特徴づけるために果たす役割は何か？
• RQ5 無限対称群の代数的構造とその表現は、これらの確率的過程をどのように導くか？

主な発見

• 点過程の1次相関関数（密度）が明示的に計算され、粒子の局所的分布の完全な記述が得られた。
• スぺクトル測度 $P_z$ の台は、0にのみ粒子が凝集する配置の集合として特徴づけられ、基礎となるモーメント問題の構造と整合的である。
• 行列 $M$ の調和性関係が余因子展開と行列式恒等式を用いて厳密に証明され、相関関数の関数的形の妥当性が裏付けられた。
• ヤング図形の生成ルール（上、下、対角線上にボックスを追加）を形式的に適用しても、行列式が消えるため、有効でない図形であっても一貫した結果が得られ、解析が簡略化された。
• 表現論と確率的過程との間の橋渡しを確立し、明示的な表現論的道具がなくても、代数的恒等式から相関関数を導出可能であることを示した。
• この枠組みにより、ボロディンによる後続の研究で高次相関関数が計算可能となり、アプローチの整合性とスケーラビリティが確認された。