[論文レビュー] Some algebraic structures in KPZ universality

Nikos Zygouras|arXiv (Cornell University)|Dec 18, 2018

Random Matrices and Applications被引用数 5

ひとこと要約

本稿は、KPZ普遍性クラスのモデルを表現論および特殊関数と結びつける、深いつながりを持つ代数的・組合せ論的枠組みを確立する。ロビンソン＝シュナイダー＝クヌース（RSK）対応およびその幾何的拡張であるキリロフのトロピカルRSKを用いて、ゲルファンド＝ツェリチン型のパターン上に可積分な確率的ダイナミクスを構築し、シュール関数、マケドナルド関数、およびウィットカー関数を用いた正確な統計計算を可能にするとともに、対数ギャップポリマーおよびq-TASEPなどのモデルにおけるトレーシー＝ワイドマンの漸近的挙動に至る。

ABSTRACT

We review some algebraic and combinatorial structures that underlie models in the KPZ universality class.Emphasis is placed on the Robinson-Schensted-Knuth correspondence and its geometric lifting due to A.N.Kirillov. We present how these combinatorial constructions are used to analyse the structure of solvable models in the KPZ class and lead to computation of their statistics via connecting to representation theoretic objects such as Schur, Macdonald and Whittaker functions, Young tableaux and Gelfand-Tsetlin patterns. We also present how fundamental representation theoretic concepts, such as the Cauchy identity, the Pieri rule and the branching rule, can be used, alongside RSK correspondences, and can be combined with probabilistic ideas, in order to construct integrable stochastic dynamics on two dimensional arrays of Gelfand-Tsetlin type, in ways that couple different one dimensional stochastic processes. For example, interacting particle systems, on the one hand, and processes related to eigenvalues of random matrices, on the other, thus illuminating the emergence of random matrix distributions in interacting stochastic processes. The goal of the notes is to expose some of the overarching principles, which have driven a significant number of developments in the field.

研究の動機と目的

• KPZ普遍性クラスに属する多様なモデルを、共通の代数的・組合せ論的構造によって統一すること。
• ロビンソン＝シュナイダー＝クヌース（RSK）対応およびその幾何的拡張が、離散的成長モデルと表現論をどのように結びつけるかを明確にすること。
• ゲルファンド＝ツェリチン型のパターン上に、q-TASEP やダイソン・ブラウン運動などの1次元過程を結合する可積分な確率的ダイナミクスを構築すること。
• シュール関数、マケドナルド関数、ウィットカー関数およびそれらの恒等式（キャウチ恒等式、ピエリ則、分岐則）を用いて、粒子の統計量の正確な公式を導出すること。
• Fredholm行列式の公式を介して、可解なKPZモデルと確率的行列の統計、特にトレーシー＝ワイドマン法則との間に接続を確立すること。

提案手法

• RSK対応を用いて置換を2つのヤング盤のペアに写像し、最長増加部分列の長さを盤の最初の行に対応付ける。
• キリロフの幾何的RSK（トロピカルRSK）を適用し、格子上の局所的移動および行列演算を用いてRSK対応を連続変数へと拡張する。
• マケドナルド多項式の恒等式から導かれる、各粒子に対して独立な指数的ジャンプレートを備えた$q$-ウィットカー$2d$成長モデルをゲルファンド＝ツェリチン型のパターン上に構築する。
• ピエリ則、分岐則、キャウチ恒等式を用いて、パターンの各行間における相互作用を保証し、マルコフ的整合性を確保する。
• マケドナルド多項式の性質を用いて、q-TASEPにおける最後の粒子の$q$-ラプラス変換のFredholm行列式の公式を導出する。
• q-ウィットカー関数を対数ギャップポリマー・モデルの生成関数として用い、正確な可解性および漸近的解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ロビンソン＝シュナイダー＝クヌース対応およびその幾何的拡張は、KPZ普遍性クラスに属する可解モデルをどのように統一するか？
• RQ2 表現論的恒等式（ピエリ則、分岐則、キャウチ恒等式）は、ゲルファンド＝ツェリチン型のパターン上に可積分な確率的ダイナミクスを構築するために、どのように機能するか？
• RQ3 ゲルファンド＝ツェリチン型のパターン上での$q$-ウィットカーダイナミクスは、対数ギャップポリマーおよび$q$-TASEPなどのモデルの正確な可解性をどのように導くか？
• RQ4 q-TASEPにおける最後の粒子の統計量とトレーシー＝ワイドマンGUE分布との正確な関係は何か？
• RQ5 シュール関数、マケドナルド関数、ウィットカー関数といった対称関数は、KPZモデルの観測量の生成関数としてどのように機能するか？

主な発見

• 幾何的RSK対応は、離散的RSKを連続的・代数的に拡張する枠組みを提供し、局所的移動および行列演算を用いて連続的成長モデルの研究を可能にする。
• $q$-ウィットカー$2d$成長モデルは、$q$-変形されたピエリ則および相互作用制約から導かれる粒子のジャンプレートを備え、マルコフ的進化を保証する。
• q-TASEPプロセスにおける最後の粒子は、マケドナルド多項式の恒等式から導かれるFredholm行列式の公式を満たす。
• q-TASEPにおける最後の粒子の$q$-ラプラス変換は、Fredholm行列式の表現を有し、[BC14]で示されたようにトレーシー＝ワイドマンGUE漸近的挙動に至る。
• ゲルファンド＝ツェリチン型のパターン上でのダイナミクスは、q-TASEPやダイソン・ブラウン運動などの1次元確率的過程を結合し、KPZモデル間の統一的構造を明らかにする。
• ゲルファンド＝ツェリチン型のパターンのインタリーシング構造は、$q$-ウィットカーダイナミクスのもとで保存され、インタリーシング条件が満たされない場合に粒子のジャンプが鎖状に伝播することで整合性が保証される。