[論文レビュー] Hard-edge asymptotics of the Jacobi growth process

Mark Cerenzia, Jeffrey Kuan|arXiv (Cornell University)|Aug 23, 2016

Random Matrices and Applications参考文献 27被引用数 4

ひとこと要約

本稿では、Jacobi多項式に基づく2パラメータ族の相互作用粒子系を構築し、その行列式相関核を定め、すべてのβ > -1に対してそのハードエッジ漸近解がβに依存する多時刻ハードエッジペアシー核に収束することを証明している。これは、従来の非負整数βに限られていた結果を拡張したものである。モデルはプランチャレル測度を一般化し、BC型正規直交多項式を通じて表現論とも関連している。

ABSTRACT

We introduce a two parameter ($α, β>-1$) family of interacting particle systems with determinantal correlation kernels expressible in terms of Jacobi polynomials $\{ P^{(α, β)}_k \}_{k \geq 0}$. The family includes previously discovered Plancherel measures for the infinite-dimensional orthogonal and symplectic groups. The construction uses certain BC-type orthogonal polynomials which generalize the characters of these groups. The local asymptotics near the hard edge where one expects distinguishing behavior yields the multi-time $(α, β)$-dependent discrete Jacobi kernel and the multi-time $β$-dependent hard-edge Pearcey kernel. For nonnegative integer values of $β$, the hard-edge Pearcey kernel had previously appeared in the asymptotics of non-intersecting squared Bessel paths at the hard edge.

研究の動機と目的

• α, β > -1に対して、Jacobi多項式に基づく行列式相関核を有する2パラメータ族の相互作用粒子系を構築すること。
• この過程のハードエッジ漸近解が多時刻β依存ハードエッジペアシー核に収束することを確立すること。
• 従来の非負整数βに限られていた結果を拡張し、すべてのβ > -1に対してハードエッジペアシー核が適切に定義されることを証明すること。
• 非交差平方ボッハルパスと摂動付きキラルGUEアンサンブルからの以前の結果を、共通の粒子系フレームワークを通じて統一・一般化すること。
• BC型正規直交多項式を介して、力学系と表現論を結びつけること。

提案手法

• 粒子系はレベルn ≥ 1でインデックス付けられたゲルファンド＝ツェトリン型パターン上に定義され、左・右へのジャンプに独立した指数分布の時計が割り当てられる。
• 相互作用はブロッキングおよびプッシュルールに従う：直前のレベルの粒子がブロッキングする場合、ジャンプは妨げられる。また、ブロッキングされている粒子が、その下流の粒子をプッシュして移動させることができる。
• 力学系は入れ子条件を保存する。壁に位置する粒子（位置0）については、反射（直交系）またはジャンプ抑制（シミプレクティック系）に応じて異なる規則が適用される。
• 相関核は、Jacobi多項式P^{(α,β)}_kを用いた行列式点過程から導出され、直交群およびシミプレクティック群の特徴の一般化である。
• ハードエッジ（x ≈ 0）近辺での漸近解析は、N → ∞のスケーリング極限において、空間および時間にN^{1/4}スケーリングを適用することで実施され、ハードエッジペアシー核が得られる。
• 収束は積分漸近解析、ベッセル関数の恒等式、および contour 積分表現を用いて証明され、[20]および[21]で知られている表現と一致する。

実験結果

リサーチクエスチョン

• RQ1 すべてのβ > -1に対して、β依存の相互作用粒子系を構築し、そのハードエッジ漸近解が多時刻ハードエッジペアシー核に収束するかどうか。特に、非負整数βに限られていた従来の結果を拡張できるか。
• RQ2 本系におけるJacobi多項式に基づく相関核は、無限次元直交群およびシミプレクティック群の特徴とどのように関係しているか。
• RQ3 ハードエッジ近辺での正確なスケーリング極限は何か。この極限がβ依存のハードエッジペアシー核を導くか。
• RQ4 本稿で得られたハードエッジペアシー核は、非交差平方ボッハルパスおよび摂動付きキラルGUEアンサンブルからの以前の結果を統一するか。
• RQ5 ハードエッジペアシー核は、離散的β値に限らず、すべてのβ > -1に対して適切に定義された相関核として成立するか。

主な発見

• 本稿では、すべてのα, β > -1に対して、Jacobi多項式P^{(α,β)}_kに基づく行列式相関核を有する2パラメータ族の相互作用粒子系が構築された。
• この系のハードエッジ漸近解は、すべてのβ > -1に対して多時刻β依存ハードエッジペアシー核に収束し、従来の非負整数βに限られていた結果を拡張した。
• ハードエッジペアシー核は、すべてのβ > -1に対して適切に定義された行列式点過程の相関核であることが示された。離散的β値に限らない。
• 漸近核は、非負整数βに対してDelvaux–Vető (2014) で得られた表現と一致し、Desrosiers–Forrester (2008) および Borodin–Kuan (2009) の核を一般化している。
• 収束は、ベッセル関数を含む二重積分の漸近解析、および contour 積分表現を用いて確立され、最終的な核は、ヤコビアン因子2√(ν₁ν₂)を除き、既知のハードエッジペアシー核と一致する。
• BC型正規直交多項式を通じて、表現論との関係が明確化され、直交群およびシミプレクティック群の特徴が、任意のα, β > -1に対して一般化された。