[论文解读] Hard-edge asymptotics of the Jacobi growth process

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

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

一句话总结

本文基于雅可比多项式构建了一个双参数相互作用粒子系统族，其相关核为行列式型，证明了其硬边渐近行为对所有 β > -1 收敛于多时间 β-依赖的硬边 Pearcey 核，扩展了此前仅限于非负整数 β 的结果。该模型推广了普兰彻尔测度，并通过 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.

研究动机与目标

• 构建一个基于雅可比多项式 P^{(α,β)}_k 的双参数相互作用粒子系统族，其相关核为行列式型，其中 α, β > -1。
• 建立该过程的硬边渐近行为，证明其收敛于多时间 β-依赖的硬边 Pearcey 核。
• 通过证明硬边 Pearcey 核对所有 β > -1 而非仅非负整数 β 均有定义，扩展先前仅限于非负整数 β 的结果。
• 通过统一的粒子系统框架，将非交叉平方 Bessel 路径与受扰动的轴对称 GUE 系综的早期发现统一并推广。
• 通过 BC 型正交多项式将动力学与表示论联系起来，并推广正交群与辛群的特征函数至任意 α, β > -1。

提出的方法

• 粒子系统定义在 Gelfand-Tsetlin 图形上，层级索引为 n ≥ 1，粒子通过独立的指数时钟实现左右跳跃。
• 相互作用由阻塞与推动规则控制：若前一层次的粒子会阻塞其跳跃，则该粒子被阻塞；若跳跃导致下游粒子受阻，则可推动它们。
• 动力学保持交错条件，位于位置 0 的壁粒子规则不同：反射跳跃（正交情形）或跳跃被抑制（辛情形）。
• 相关核通过行列式点过程推导，基于雅可比多项式 P^{(α,β)}_k，推广了正交群与辛群的特征函数。
• 在硬边附近（x ≈ 0）进行渐近分析，采用 N → ∞ 的标度极限，空间与时间使用 N^{1/4} 标度，导出硬边 Pearcey 核。
• 通过积分渐近分析、贝塞尔函数恒等式与围道积分表示，证明了向硬边 Pearcey 核的收敛性，其结果与 [20] 和 [21] 中已知表达式一致。

实验结果

研究问题

• RQ1 能否构造一个 β-依赖的相互作用粒子系统，使其硬边渐近行为对所有 β > -1（而不仅非负整数）收敛于多时间硬边 Pearcey 核？
• RQ2 该系统中基于雅可比多项式的相关核与无穷维正交群与辛群的特征函数有何关系？
• RQ3 在硬边附近，何种精确标度极限可导出 β-依赖的硬边 Pearcey 核？
• RQ4 本文导出的硬边 Pearcey 核是否统一了非交叉平方 Bessel 路径与受扰动轴对称 GUE 系综的早期结果？
• RQ5 硬边 Pearcey 核是否对所有 β > -1 均有定义，而不仅限于离散 β 值？

主要发现

• 本文构建了一个双参数相互作用粒子系统族，其相关核基于雅可比多项式 P^{(α,β)}_k，对所有 α, β > -1 成立。
• 该系统的硬边渐近行为对所有 β > -1 收敛于多时间 β-依赖的硬边 Pearcey 核，扩展了此前仅限于非负整数 β 的结果。
• 证明了硬边 Pearcey 核是定义良好的行列式点过程的相关核，对所有 β > -1 而非仅离散值均成立。
• 渐近核与 Delvaux–Vető (2014) 对非负整数 β 推导的表达式一致，并推广了 Desrosiers–Forrester (2008) 与 Borodin–Kuan (2009) 的核。
• 收敛性通过涉及贝塞尔函数与围道积分的双重积分渐近分析建立，最终核与已知硬边 Pearcey 核一致，仅相差一个雅可比因子 2√(ν₁ν₂)。
• 通过 BC 型正交多项式，正式建立了与表示论的联系，将正交群与辛群的特征函数推广至任意 α, β > -1。