[论文解读] 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$ 四分之一平方上点到半线反射几何结构下的最后通过渗流（LPP）时间的组合证明：该时间可分解为两个独立的LPP分布的乘积——一个对应于点到线几何结构，另一个对应于点到点反射（半空间）几何结构，两者均定义在 $n\times n\times n$ 三角形上。结果，极限波动分布为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$ 四分之一平方上点到半线反射几何结构下最后通过渗流生成函数的组合分解。
• 证明该生成函数可分解为点到线和点到点反射几何结构在 $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}$ 的局部增长规则，追踪离散渗流模型中交错分拆和路径权重。
• 该方法依赖于Greene定理，该定理将输出分拆的前 $k$ 个部分之和与 $k$ 条非相交路径的最大权重联系起来。
• 通过三个离散区域定义几何结构：$D^{\mathrm{p2hlr}}_n$（四分之一平方）、$D^{\mathrm{p2pr}}_n$（半空间）和 $D^{\mathrm{p2l}}_n$（点到线），每个区域具有独立的几何权重。
• 权重分配将 $x_i x_j$ 赋予非对角线格子，对角线上赋 $\sqrt{q}$，其中 $q$ 为非对角线参数。

实验结果

研究问题

• RQ1 在 $2n\times n\times n$ 点到半线反射的四分之一平方上，最后通过渗流的生成函数是否可分解为对应于点到线和点到点反射几何结构的更简分量？
• RQ2 在 $n$ 很大时，能否从这种分解组合推导出Tracy–Widom $\mathrm{GOE}^2$ 波动标度？
• RQ3 RSK 和 $\mathrm{colRSK}$ 双射在建立LPP时间分布乘积结构中起什么作用？
• RQ4 有界Littlewood恒等式和斜施图尔函数恒等式如何支持生成函数的分解？
• RQ5 能否仅依赖于分解和分量的已知渐近性质，无需渐近分析，恢复 $\mathrm{GOE}^2$ 极限？

主要发现

• 在 $2n\times n\times n$ 点到半线反射几何结构下，最后通过渗流的生成函数可分解为点到线和点到点反射几何结构在 $n\times n\times n$ 三角形上的生成函数的乘积。
• 四分之一平方中最后通过时间的概率分布是点到线和半空间几何结构下分布的乘积。
• $n\to\infty$ 极限下 $\mathrm{GOE}^2$ 波动标度可直接由乘积结构和分量几何结构的已知 $\mathrm{GOE}$ 波动得出。
• 该结果通过RSK和 $\mathrm{colRSK}$ 双射、斜Cauchy恒等式及有界Littlewood恒等式，以组合方式建立。
• 与以往方法不同，$\mathrm{GOE}^2$ 波动的推导无需使用Toeplitz+Hankel行列式或黎曼–希尔伯特分析。
• 该方法提示了一条通过表示论和双射技术推广至非自由费米子模型的路径。