[論文レビュー] Multicritical random partitions

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

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

ひとこと要約

本稿では、整数分割上の多臨界シュール測度を導入し、その端効果の臨界指数が、一般に知られるトラシー・ワイドムGUE分布の$1/3$とは異なり、$1/(2n+1)$を示すことを明らかにする。フリードホルム行列式の漸近解析と直交多項式との関係を用いて、著者らは第一部分$ abla_1$の分布が、パンレヴェII階層に関連する$ abla_{2n+1}(x,y)$カーネルに由来する、トラシー・ワイドム分布の高次元アナロジーに収束することを示し、ペリウォール・シェヴィッツの多臨界ユニタリ行列モデルとの正確な写像を確立する。

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.

研究の動機と目的

• 整数分割上のシュール測度を構成し、その端効果の臨界指数が一般に見られる$1/3$とは異なり、$1/(2n+1)$となるようにすること。
• $\lambda_1$の極限分布が、パンレヴェII階層に関連するトラシー・ワイドムGUE分布の高次元アナロジーとして特定されることを明らかにすること。
• 提案されたシュール測度とペリウォールおよびシェヴィッツの多臨界ユニタリ行列モデルとの正確な対応関係を確立すること。
• これらの測度の下での分割の極限形状を計算し、その漸近的挙動を分析すること。

提案手法

• 著者らは、多臨界端効果を引き起こすようにパrameterを調整した特殊なシュール関数を用いて、シュール測度を定義する。
• ヤコビ＝トゥルディの恒等式と母関数を用いて、シュール関数をピュア和および指数母関数の形に表現する。
• カーネル$K(k,\ell)$を表す contour 積分に対して、勾配降下法を用いた漸近解析を実施し、$\theta \to \infty$ のスケーリング領域$\ell = b\theta + s(\theta d)^{1/(2n+1)}$ に注目する。
• カーネル$K(k,\ell)$が連続積分作用素$\mathcal{A}_{2n+1}(x,y)$に収束することを示し、そのフリードホルム行列式が極限分布$F(2n+1;s)$を生成することを示す。
• ユニタリ行列モデルとの関係は、$\mathbb{E}_{U\in\mathcal{U}(\ell)}[\exp\operatorname{tr}\tilde{V}(U+U^*))]$ がシュール測度の正規化された分配関数と等しいという恒等式によって確立される。
• 収束を正当化するために、優越収束定理や尾部バウンドといった解析的道具が用いられる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、一般に見られる$1/3$とは異なり、臨界指数$1/(2n+1)$を示すシュール測度を構成できるか？
• RQ2 このような測度における$\lambda_1$の極限分布は何か？ そして、既知の特殊関数または階層とどのように関係するか？
• RQ3 これらのシュール測度とペリウォールおよびシェヴィッツの多臨界ユニタリ行列モデルとの直接的な対応関係は存在するか？
• RQ4 これらの測度の下での分割の極限形状は、漸近的にどのように振る舞うか？
• RQ5 非調和的トラップを有するフェルミオン的モデルと確率的行列モデルとの間の一致は、シュール測度を通じて組合せ論的に説明可能か？

主な発見

• $\theta \to \infty$ のとき、奇数ケースの多臨界シュール測度における$\lambda_1$の分布は、スケーリング$\ell = b\theta + s(\theta d)^{1/(2n+1)}$ の下で、フリードホルム行列式$F(2n+1;s) = \det(1 - \mathcal{A}_{2n+1})_{L^2(s,\infty)}$ に収束する。ここで、$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)$ に収束する。これは、パンレヴェ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$ の場合、モデルはポisson化されたプランシュレ測度に還元され、行列モデル側はグロス＝ウィッテンモデルを回復する。
• 分割の極限形状は、測度の漸近的挙動から導出され、端のスケーリングは$1/(2n+1)$指数に支配される。
• 本研究は、ル・ドゥサル、マジュンダール、シェールが指摘した、非調和的トラップを有するフェルミオン的モデルと多臨界ユニタリ行列モデルとの一致を、組合せ論的に説明する。