[論文レビュー] Harmonic analysis on the infinite-dimensional unitary group and determinantal point processes

Alexei Borodin, Grigori Olshanski|ArXiv.org|Sep 24, 2001

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

ひとこと要約

この論文は、無限次元ユニタリ群 $U(\infty)$ 上の4パラメータ族の特徴関数のスペクトル分解問題を解き、対応するスペクトル測度が実数直線上の確定的点過程に対応することを示している。相関核は、振動的領域における離散直交多項式の漸近解析によって得られる、超幾何関数を含む可積分核として明示的に計算されている。

ABSTRACT

The infinite-dimensional unitary group U(infinity) is the inductive limit of growing compact unitary groups U(N). In this paper we solve a problem of harmonic analysis on U(infinity) stated in the previous paper math/0109193. The problem consists in computing spectral decomposition for a remarkable 4-parameter family of characters of U(infinity). These characters generate representations which should be viewed as analogs of nonexisting regular representation of U(infinity). The spectral decomposition of a character of U(infinity) is described by the spectral measure which lives on an infinite-dimensional space Omega of indecomposable characters. The key idea which allows us to solve the problem is to embed Omega into the space of point configurations on the real line without 2 points. This turns the spectral measure into a stochastic point process on the real line. The main result of the paper is a complete description of the processes corresponding to our concrete family of characters. We prove that each of the processes is a determinantal point process. That is, its correlation functions have determinantal form with a certain kernel. Our kernels have a special `integrable' form and are expressed through the Gauss hypergeometric function. In simpler situations of harmonic analysis on infinite symmetric group and harmonic analysis of unitarily invariant measures on infinite hermitian matrices similar results were obtained in our papers math/9810015, math/9904010, math-ph/0010015.

研究の動機と目的

• $U(\infty)$ 上の調和解析問題を、4パラメータ族の特徴関数のスペクトル分解を計算することによって解く。
• これらの特徴関数に関連するスペクトル測度が、2点を除いた実数直線上の点過程として特定されることを示す。
• その結果得られる確率過程が、明示的な相関核を有する確定的点過程として特徴付けられることを示す。
• $U(\infty)$ 上の調和解析と、特に離散対数ガスモデルのようなランダム行列型漸近系との間の関係を確立する。
• $S(\infty)$ における点過程手法の枠組みを、はるかに複雑な $U(\infty)$ へと拡張し、無限次元群表現論における先行研究を一般化する。

提案手法

• $U(\infty)$ の分解不能特徴関数の空間を、 $\mathbb{R}\setminus\{\text{2点}\}$ 上の点配置の空間へ埋め込み、スペクトル測度を点過程に変換する。
• 特殊関数から導かれる核を用いて相関関数が確定的形を取ることを示すことにより、得られる点過程が確定的であることを証明する。
• 尤て周期が消える振動的領域における離散直交多項式の漸近解析を用いて、相関核を計算する。
• 離散リーマン＝ヒルベルト問題のアプローチを適用し、直交多項式解の非振動的漸近挙動を計算することで、核の評価を可能にする。
• アスキーとレスキが研究した、超幾何型直交多項式の一様漸近挙動への還元を、変換公式と関数恒等式を用いて行う。
• 一般化された超幾何関数 ${}_3F_2(1)$ の解析接続技術を用いて、核式の有効性を必要なパrameter領域で保証する。

実験結果

リサーチクエスチョン

• RQ1 無限次元ユニタリ群 $U(\infty)$ 上の4パラメータ族の特徴関数のスペクトル分解は何か？
• RQ2 これらの特徴関数に関連するスペクトル測度は、実数直線上の確率的点過程としてどのように表現できるか？
• RQ3 その結果得られる点過程は確定的であるか。もしそうならば、その相関核の明示的形は何か？
• RQ4 振動的領域における離散直交多項式の漸近挙動は、これらの核の計算にどのように寄与するか？
• RQ5 $U(\infty)$ 上の調和解析と、区間型密度を持つ離散対数ガス系の熱力学的極限との間にはどのような関係があるか？

主な発見

• $U(\infty)$ 上の4パラメータ族の特徴関数に関連するスペクトル測度は、 $\mathbb{R}\setminus\{\text{2点}\}$ 上の確定的点過程に対応する。
• その点過程の相関核は、高斯超幾何関数を用いて明示的に与えられ、『可積分』構造を示している。
• 振動的領域における離散直交多項式の漸近解析は、離散リーマン＝ヒルベルト問題の解を用いて表現され、非振動的漸近挙動の計算が可能になる。
• 核の計算を三角関数的恒等式に還元する重要な恒等式は、解析接続と周期性の議論により検証され、関数方程式が確認される。
• 核式に用いられる関数 ${}_3F_2(1)$ は、5つの複素変数における整関数に解析接続され、パrameter空間全域で核式の有効性が保証される。
• 結果の点過程は、密度関数が区間の特性関数に漸近的に一致する離散対数ガスモデルにおける「密に詰められた」配置まわりのフラクチュエーションを記述する。