[论文解读] Multicritical random partitions

Dan Betea, Jérémie Bouttier+1 more|arXiv (Cornell University)|Dec 3, 2020

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

一句话总结

本文引入了在整数分拆上的多临界Schur测度，其边缘波动的临界指数为 $1/(2n+1)$，不同于Tracy–Widom GUE分布中常见的 $1/3$。通过Fredholm行列式渐近分析及与正交多项式的关系，作者证明了第一部分 $ olambda_1$ 的分布收敛于Tracy–Widom分布的高阶类比形式，具体为与Painlev\'e II层次相关的 $ mathcal{A}_{2n+1}(x,y)$ 核，并建立了与Periwal–Shevitz多临界单位矩阵模型的精确映射。

ABSTRACT

We study two families of probability measures on integer partitions, which are Schur measures with parameters tuned in such a way that the edge fluctuations are characterized by a critical exponent different from the generic $1/3$. We find that the first part asymptotically follows a "higher-order analogue" of the Tracy-Widom GUE distribution, previously encountered by Le Doussal, Majumdar and Schehr in quantum statistical physics. We also compute limit shapes, and discuss an exact mapping between one of our families and the multicritical unitary matrix models introduced by Periwal and Shevitz.

研究动机与目标

• 构造在整数分拆上的Schur测度，其边缘行为由临界指数 $1/(2n+1)$ 描述，与常见的 $1/3$ 不同。
• 识别 $ lambda_1$ 的极限分布为Tracy–Widom GUE分布的高阶类比形式，该形式与Painlev\'e II层次相关联。
• 建立所提出的Schur测度与Periwal和Shevitz的多临界单位矩阵模型之间的精确映射。
• 计算这些测度下分拆的极限形状，并分析其渐近行为。

提出的方法

• 作者通过调节参数以诱导多临界边缘行为，利用特殊Schur函数定义Schur测度。
• 他们使用Jacobi–Trudi恒等式和生成函数，将Schur函数表示为幂和与指数生成级数的形式。
• 通过在表示核 $K(k,\ell)$ 的围道积分上应用最速下降法，进行渐近分析，重点关注标度 regime $\ell = b\theta + s(\theta d)^{1/(2n+1)}$ 在 $\theta \to \infty$ 时的行为。
• 证明核 $K(k,\ell)$ 收敛于连续积分算子 $\mathcal{A}_{2n+1}(x,y)$，其Fredholm行列式给出极限分布 $F(2n+1;s)$。
• 通过恒等式 $\mathbb{E}_{U\in\mathcal{U}(\ell)}[\exp\operatorname{tr}\tilde{V}(U+U^*))]$ 等于Schur测度的归一化分划函数，建立了与单位矩阵模型的联系。
• 使用控制收敛定理与尾部界等分析工具，证明了离散Fredholm行列式收敛于其连续对应形式。

实验结果

研究问题

• RQ1 如何构造Schur测度，使其表现出临界指数为 $1/(2n+1)$ 而非常见的 $1/3$ 的边缘波动？
• RQ2 此类测度下 $\lambda_1$ 的极限分布是什么？它与已知特殊函数或层次结构有何关联？
• RQ3 这些Schur测度与Periwal和Shevitz的多临界单位矩阵模型之间是否存在直接对应关系？
• RQ4 在这些测度下，分拆的极限形状如何渐近演化？
• RQ5 能否通过Schur测度从组合学角度解释费米子模型（非谐振子阱）与随机矩阵模型之间的巧合？

主要发现

• 在奇数情形的多临界Schur测度中，当 $\theta \to \infty$ 时，$\lambda_1$ 的分布收敛于Fredholm行列式 $F(2n+1;s) = \det(1 - \mathcal{A}_{2n+1})_{L^2(s,\infty)}$，其中标度为 $\ell = b\theta + s(\theta d)^{1/(2n+1)}$，$b = 2^{4n-1}n^{-1}\binom{2n}{n}^{-2}$，$d = \frac{(2n-1)!!}{(2n-2)!!}$。
• 核 $K(k,\ell)$ 收敛于 $\mathcal{A}_{2n+1}(x,y)$，该核是Painlev\'e II层次中第 $2n+1$ 个成员的 $\tau$-函数。
• 量 $\mathbb{P}^\mathrm{o}_{n,\theta}(\lambda_1 \leq \ell)$、$\mathbb{P}^\mathrm{o}_{n,\theta}(\lambda'_1 \leq \ell)$、归一化行列式 $\det_{1\leq i,j\leq\ell}[f_{j-i}]/e^{\sum \theta_{2i-1}^2/(2i-1)}$，以及矩阵模型期望 $\mathbb{E}_{U\in\mathcal{U}(\ell)}[\exp\operatorname{tr}\tilde{V}(U+U^*)]/e^{\sum \theta_{2i-1}^2/(2i-1)}$ 全部相等，并收敛于 $F(2n+1;s)$。
• 当 $n=1$ 时，该模型退化为泊松化Plancherel测度，且矩阵模型侧恢复为Gross–Witten模型。
• 分拆的极限形状由测度的渐近行为导出，其边缘标度由 $1/(2n+1)$ 指数控制。
• 本工作为Le Doussal、Majumdar与Schehr所注意到的非谐振子阱费米子模型与多临界单位矩阵模型之间的巧合，提供了组合学解释。