[論文レビュー] Point Processes and the Infinite Symmetric Group. Part II: Higher Correlation Functions

Alexei Borodin|ArXiv.org|Apr 18, 1998

Random Matrices and Applications参考文献 10被引用数 16

ひとこと要約

本稿では、表現論的構成によって導入された無限対称群上の点過程の高次相関関数に対して、明示的な積分表現を導出する。『リフト』変換を導入し、Whittaker関数の比として表されるカーネルを含む行列式形式に相関構造を単純化することで、確率行列理論と関連づけ、その後続の研究（第III部）における漸近的解析を可能にする。

ABSTRACT

We continue the study of the correlation functions for the point stochastic processes introduced in Part I (G.Olshanski, math.RT/9804086). We find an integral representation of all the correlation functions and their explicit expression in terms of multivariate hypergeometric functions. Then we define a modification (``lifting'') of the processes which results in a substantial simplification of the structure of the correlation functions. It turns out that the ``lifted'' correlation functions are given by a determinantal formula involving a kernel. The latter has the form (A(x)B(y)-B(x)A(y))/(x-y), where A and B are certain Whittaker functions. Such a form for correlation functions is well known in the random matrix theory and mathematical physics. Finally, we get some asymptotic formulas for the correlation functions which are employed in Part III (A.Borodin and G.Olshanski, math.RT/9804088).

研究の動機と目的

• 無限対称群から生じる確率的点過程の高次相関関数を計算すること。
• 対称群の既約指標のモーメントを用いて、これらの相関関数の明示的な積分表現を導出すること。
• 相関構造を行列式形式に危簡化する『リフト』変換を導入すること。
• Whittaker関数の形で表されるカーネルを通じて、確率行列理論における既知の過程と関連づけること。
• 相関関数の漸近的公式を提供し、その後続の研究（第III部）における応用を可能にすること。

提案手法

• 対称群の指標に関するMurnaghan-Nakayama規則の再定式化により、モーメント問題をより単純な成分に還元する。
• Thoma単体上の測度の有限点近似を用いて、Frobenius座標を介したヤング図形上の離散確率測度を定義する。
• コンパクトに台を持つ分布に対する3つの操作を導入し、モーメントを操作し、簡略化されたモーメント問題を解く。
• 元の測度を変更することでリフト過程を構成し、形が $(A(x)B(y) - B(x)A(y))/(x - y)$ であるカーネルを有する行列式相関構造を得る。
• カーネルを多変数超幾何関数 $F_B^{[2]}$ の形で明示的に表現し、超幾何恒等式および特殊関数論を用いて解析接続を行う。
• 変数がゼロに近づくときの超幾何関数の振る舞いを分析することで漸近展開を導出し、$z = z^\prime$ の場合にガンマ関数およびポリガンマ関数、対数項を含む。

実験結果

リサーチクエスチョン

• RQ1 無限対称群上の点過程の高次相関関数は、どのように明示的に表現できるか？
• RQ2 どの変換（リフト）が相関関数の構造を行列式形式に単純化するか？
• RQ3 特定のカーネル構造を通じて、相関関数は確率行列理論における既知の過程とどのように関連するか？
• RQ4 パラメータが臨界値またはゼロに近づく際の相関関数の漸近的挙動はいかなるものか？
• RQ5 Whittaker関数は、リフト過程のカーネルにおいてどのように自然に現れるか？

主な発見

• 相関関数は、タイプ $F_B^{[2]}$ の多変数超幾何関数を用いた明示的な積分表現を有する。
• リフト過程により、形が $(A(x)B(y) - B(x)A(y))/(x - y)$ であるカーネルを有する行列式相関構造が得られる。ここで $A$ および $B$ はWhittaker関数である。
• $z \neq z^\prime$ の場合、相関関数の漸近的挙動はガンマ関数およびポリガンマ関数によって支配され、$|z - z^\prime|$ に依存するべき乗則的減衰を示す。
• $z = z^\prime$ の場合、超幾何関数内の対数特異性の存在により、漸近展開に対数項が現れる。
• カーネル構造は確率行列理論における既知の形式と一致し、表現論と可積分系との間に深い関係を確立する。
• 結果は第III部における漸近的解析の基盤を提供し、特に原点付近およびボトムスケーリング極限における相関関数の挙動に関して有効である。