[論文レビュー] On the combinatorics of last passage percolation in a quarter square and $\mathrm{GOE}^2$ fluctuations

Dan Betea|arXiv (Cornell University)|Sep 18, 2018

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

ひとこと要約

本稿は、$2n\times n\times n$ の4分の1正方形上における点対半直線に反射された幾何構造における最後のパスパーコレーション（LPP）時間について、組み合わせ的証明を提示する。この幾何構造において、LPP時間は、$n\times n\times n$ の三角形上に定義された点対直線幾何と点対点に反射された（半空間）幾何の両方のLPP分布の積に分解可能である。その結果、極限におけるフラクチュエーション分布は、漸近的解析を要せず、積構造から直接得られる Tracy–Widom $\mathrm{GOE}^2$ となる。

ABSTRACT

In this note we give a(nother) combinatorial proof of an old result of Baik--Rains: that for appropriately considered independent geometric weights, the generating series for last passage percolation polymers in a $2n imes n imes n$ quarter square (point-to-half-line-reflected geometry) splits as the product of two simpler generating series---that for last passage percolation polymers in a point-to-line geometry and that for last passage percolation in a point-to-point-reflected (half-space) geometry, the latter both in an $n imes n imes n$ triangle. As a corollary, for iid geometric random variables---of parameter $q$ off-diagonal and parameter $\sqrt{q}$ on the diagonal---we see that the last passage percolation time in said quarter square obeys Tracy--Widom $\mathrm{GOE}^2$ fluctuations in the large $n$ limit as both the point-to-line and the point-to-point-reflected geometries have known GOE fluctuations. This is a discrete analogue of a celebrated Baik--Rains theorem (the limit $q o 0$) and more recently of results from Bisi's PhD thesis (the limit $q o 1$).

研究の動機と目的

• 点対半直線に反射された幾何構造をとる $2n\times n\times n$ の4分の1正方形上における最後のパスパーコレーションの生成関数の組み合わせ的分解を確立すること。
• この生成関数が、$n\times n\times n$ の三角形上に定義された点対直線幾何と点対点に反射された幾何の生成関数の積に分解されることを示すこと。
• $n\to\infty$ の極限において、Tracy–Widom $\mathrm{GOE}^2$ フラクチュエーションが、積構造と各成分の既知の漸近的性質から直接導かれるようにすること。
• 複雑な漸近的解析を要せず、代わりに双対的および表現論的技法に依拠して $\mathrm{GOE}^2$ フラクチュエーション結果が得られることを示すこと。

提案手法

• 生成関数の関係をシュール関数の恒等式に結びつけるために、Robinson–Schensted–Knuth（RSK）対応およびその列挿入版（$\mathrm{colRSK}$）を用いる。
• シュール関数の有界されたLittlewood恒等式を適用し、生成関数の因数分解を支えるスケイなCauchy恒等式を確立する。
• $\mathrm{rowRSK}$ および $\mathrm{colRSK}$ の局所的成長規則を用いて、離散的パーコレーションモデルにおける入れ子の分割とパス重みを追跡する。
• 生成関数の因数分解を支えるために、グリーンの定理を用いる。グリーンの定理は、出力された分割の最初の $k$ 部分の和が、$k$ 個の交差しないパスの最大重みに一致することを示す。
• 幾何構造は、3つの離散的領域 $D^{\mathrm{p2hlr}}_n$（4分の1正方形）、$D^{\mathrm{p2pr}}_n$（半空間）、および $D^{\mathrm{p2l}}_n$（点対直線）によって定義され、それぞれ独立な幾何的重みが割り当てられる。
• 重み割り当てでは、非対角成分の正方形に $x_i x_j$、対角成分に $\sqrt{q}$ を割り当て、$q$ を非対角パラメータとする。

実験結果

リサーチクエスチョン

• RQ1 点対半直線に反射された $2n\times n\times n$ の4分の1正方形上におけるLPPの生成関数は、点対直線幾何と点対点に反射された幾何に対応するより単純な成分に分解可能か？
• RQ2 $n$ が非常に大きい極限におけるTracy–Widom $\mathrm{GOE}^2$ フラクチュエーションスケーリングは、このような因数分解から組み合わせ的に導けるか？
• RQ3 RSKおよび $\mathrm{colRSK}$ 双対写像は、LPP時間分布の積構造を確立するために果たす役割は何か？
• RQ4 有界されたLittlewood恒等式とスケイシュール関数恒等式は、生成関数の分解をどのように支援するか？
• RQ5 $\mathrm{GOE}^2$ の極限は、漸近的解析を一切要せず、因数分解と各成分の既知の漸近的性質にのみ依拠して回復可能か？

主な発見

• 点対半直線に反射された $2n\times n\times n$ の4分の1正方形上におけるLPPの生成関数は、$n\times n\times n$ の三角形上に定義された点対直線幾何と点対点に反射された幾何の生成関数の積に分解可能である。
• 4分の1正方形上における最後のパス時間の確率分布は、点対直線幾何と半空間幾何の分布の積に等しい。
• $n\to\infty$ の極限における $\mathrm{GOE}^2$ フラクチュエーションスケーリングは、積構造と各成分の既知の $\mathrm{GOE}$ フラクチュエーションから直接導かれる。
• RSKおよび $\mathrm{colRSK}$ 双対写像に加え、スケイCauchy恒等式と有界されたLittlewood恒等式を用いた組み合わせ的証明によって、結果が確立された。
• 従来の手法とは異なり、$\mathrm{GOE}^2$ フラクチュエーションの導出にはToeplitz+Hankel行列式やRiemann–Hilbert解析を要しない。
• 本手法は、表現論的および双対的技法を用いて、非自由フェルミオンモデルへの一般化への道筋を示唆している。