[論文レビュー] Shifted Schur process and asymptotics of large random strict plane partitions

Mirjana Vuletić|arXiv (Cornell University)|Feb 20, 2007

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

ひとこと要約

本稿では、厳密な分割の列におけるPfaffian点過程としてのシフトされたシュール過程を導入し、シュール過程を厳密な平面分割へ一般化する。Pfaffianを用いて相関関数を導出し、q-変形された厳密な平面分割上の測度のバルクスケーリング極限を計算することで、シフトされたマクマヘンの公式と漸近的バルク統計が得られる。

ABSTRACT

In this paper we define the shifted Schur process as a measure on sequences of strict partitions. This process is a generalization of the shifted Schur measure introduced in [TW] and [Mat] and is a shifted version of the Schur process introduced in [OR]. We prove that the shifted Schur process defines a Pfaffian point process. We further apply this fact to compute the bulk scaling limit of the correlation functions for a measure on strict plane partitions which is an analog of the uniform measure on ordinary plane partitions. As a byproduct, we obtain a shifted analog of the famous MacMahon's formula.

研究の動機と目的

• 厳密な分割に対するシュール過程の一般化としてシフトされたシュール過程を定義すること。
• シフトされたシュール過程がPfaffian点過程であることを確立し、相関関数の正確な計算を可能にすること。
• この枠組みを、ランダムな大きな厳密な平面分割をモデル化する、厳密な平面分割上のq-変形測度に適用すること。
• q → 1 の極限における相関関数のバルクスケーリング極限を導出し、普遍的な漸近的挙動を捉えること。
• 重み 2^{A(π)}q^{|π|} を持つ厳密な平面分割の母関数について、マクマヘンの公式のシフト版を証明すること。

提案手法

• シフトされたシュール過程は、対称群の射影的表現理論に由来する対称関数に基づく、スケーリングされたシュールPおよびQ関数を用いて定義される。
• フェルミオン的演算子 ψ_k および ψ_k^* が反可換関係を満たすFock空間形式によって構成される。
• 生成関数 Γ_+ および Γ_- を用いてFock空間をスケーリングされたシュール関数と関連づけ、Γ_-(x)v_μ = ∑ Q_{λ/μ}(x)v_λ が成り立つ。
• 相関関数は、内積 ⟨ψ(z)ψ(w)v_∅, v_∅⟩ = (z−w)/(4(z+w)) から導かれる相関核のPfaffianとして表現される。
• 厳密な平面分割上の測度 𝔐_q は、重み 2^{A(π)}q^{|π|} を持つシフトされたシュール過程の特別な場合として特定される。
• q → 1 における漸近的解析により、相関関数のバルクスケーリング極限が抽出される。

実験結果

リサーチクエスチョン

• RQ1 シュール過程はどのように厳密な分割へ一般化され、シフトされたシュール過程が得られるか？
• RQ2 シフトされたシュール過程における相関関数の構造は何か？ そして、それらはPfaffianとして表現可能か？
• RQ3 厳密な平面分割上のq-変形測度における相関関数のバルクスケーリング極限は何か？
• RQ4 重み 2^{A(π)}q^{|π|} を持つ厳密な平面分割について、マクマヘンの公式のシフト版を導出可能か？
• RQ5 この測度下での大きなランダムな厳密な平面分割の漸近的挙動は何か？

主な発見

• シフトされたシュール過程はPfaffian点過程であり、フェルミオン的演算子の2点関数から導かれる相関核のPfaffianとして相関関数が表現可能である。
• 重み 2^{A(π)}q^{|π|} を持つ厳密な平面分割上の測度 𝔐_q は、シフトされたシュール過程の特別な場合である。
• 厳密な平面分割のための生成関数の分母は、シフトされたマクマヘンの公式により与えられる：∑_{π strict} 2^{A(π)}q^{|π|} = ∏_{n=1}^∞ ((1+q^n)/(1−q^n))^n。
• q → 1 における相関関数のバルクスケーリング極限が計算され、大きな厳密な平面分割における普遍的な漸近的統計が明らかになった。
• バルクにおける漸近的相関核は、スケーリング極限における生成関数 (z−w)/(4(z+w)) から導出された。
• この枠組みは、フェルミオン的Fock空間と対称関数を用いた、大きなランダムな厳密な平面分割を研究するための新しい組合せ的・代数的ツールセットを提供する。