Inhomogeneous Geometric Last Passage Percolation and the $q$-deformed Jacobi Unitary Ensemble

技術要約：不均一な幾何学的最長通過パーコレーションとq-変形ヤコビユニタリアンサンブル

問題提起
本論文は、空間的に不均一な環境における幾何学的重みを持つ指向性最長通過パーコレーション（LPP）を調査している。均質なLPPモデルは、ランダム行列アンサンブル（具体的にはJohanssonによって確立されたMeixner直交多項式アンサンブル）との双対性を通じてよく理解されているが、不均一なシステムに対する明示的な双対性は極めて乏しい。著者らは、正確な解法のための代数的構造を維持しつつ、空間的に変化するパラメータを許容できる適切な双対モデルを特定するという課題に取り組んでいる。研究の対象は、格子点 $(i,j)$ における幾形学的重み $\omega_{ij}$ が、パラメータ $x_i y_j$（ここで $x_i = \alpha q^{i-1}$ および $y_j = \alpha q^{j-1}$）によって決定されるモデルである。解析では、「弱い」不均一性（固定された $\alpha \in (0,1)$）と「強い」不均一性（$\alpha = e^{-\eta/N}$、ここで $N$ はマクロなスケール）の2つのレジームを区別している。

手法
核心となる手法論的貢献は、不均一な幾何学的LPPとq-変形ヤコビユニタリアンサンブル（$q$-JUE）との間の厳密な双対性の確立である。

1. 厳密な双対性： 著者らは、最長通過時間 $G_{n,m}$ の分布が、適切にパラメータ化された$q$-JUEの最小粒子（最小固有値）の分布と等価であることを証明している。これは、対数変換およびSchur多項式とRobinson–Schensted–Knuth（RSK）対応を用いた対応関係を通じて達成される。
2. $q$-JUEの漸近解析： $q$-JUEの漸近理論はこれまでほとんど未開拓であったため、著者らはこのアンサンブルに関する包括的な漸近理論を独立して展開している。これには以下が含まれる：
   • マクロな極限： 制約付き対数平衡問題（$q$格子構造に由来する上界密度制約を伴うエネルギー最小化問題）を用いて、極限スペクトル密度（「リミットシェイプ」）を導出すること。
   • エッジ統計： 最小粒子の局所的なスケーリング極限を解析すること。解析では、ソフトエッジ（スペクトルの支持域がゼロから離れている場合）とハードエッジ（支持域がゼロに接する場合）を区別している。これは、関連するリトル$q$-ヤコビ直交多項式にリーマン・ヒルベルト法を適用すること、具体的には、輪郭積分表現と急勾配法を用いることで行われる。
3. 結果の転送： $q$-JUEから導出された漸近的結果を、確立された双対性を介してLPPモデルへと転送し、通過時間の極限形状と揺らぎの分布を得る。

主要な貢献と結果

• 明示的なリミットシェイプ： 本論文は、不均一な幾何学的LPPの明示的なリミットシェイプ関数を導出している。

  • 弱い不均一性のレジームでは、通過時間は$N$に対して線形にスケールする（$O(N)$）。リミットシェイプは、明示的な関数 $\omega(\gamma, \alpha, \lambda)$ で与えられる。
  • 強い不均一性のレジームでは、通過時間は$O(N \log N)$でスケールする。リミットシェイプはアスペクト比 $\gamma$ に依存せず、通過時間が原点付近の重みによって支配されるという「局所性」現象を反映している。

• 揺らぎの極限： 論文は、通過時間の揺らぎの極限を確立し、それが不均一性の強さに依存することを示している：

  • 弱い不均一性： 揺らぎはAiryカーネルによって支配され、GUE Tracy–Widom分布（$F_{TW}$）を導く。これは$q$-JUEのソフトエッジ・レジームに対応する。
  • 強い不均一性： 揺らぎはBesselカーネルによって支配され、ハードエッジBessel分布を導く。これは$q$-JUEのハードエッジ・レジームに対応する。

• $q$-JUEの理論：

  • 極限スペクトル密度： 著者らは、$q$-JUEの極限スペクトル密度を導出し、それが古典的なWachter分布の自然な$q$-変形であることを特定している。また、特定のパラメータ条件下で、飽和領域（上界密度 $1/(\lambda x)$ に達する領域）が現れる「バンド・トゥ・サチュレイテッド（band-to-saturated）」相転移を特定している。
  • エッジの普遍性： 著者らは、グローバルな$q$-変形にもかかわらず、$q$-JUEのエッジ揺らぎが普遍的であることを証明している。具体的には、最小粒子はハードエッジ（$c_1=0$）においてBesselカーネル統計を示し、ソフトエッジ（$c_1>0$）においてAiryカーネル統計を示す。
  • 退化： 結果として、$q \to 1$ のとき、$q$-JUEは古典的なJUE（Wachter分布）またはMeixnerアンサンブルへと退化し、これはJohanssonによる均質な結果と一致する。

• 指数型LPP： 補遺として、幾何学的モデルのスケーリング極限を取ることにより、不均一な指数型LPPの結果を導出している。これにより、このモデルと古典的なヤコビユニタリアンサンブル（JUE）との間の双対性を確立し、既知のBessel型の揺らぎを回収している。

意義と主張
本論文は、不均一なLPPを理解するための統一されたランダム行列の枠組みを提供すると主張している。$q$-JUEを双対モデルとして特定することで、著者らは不均一な媒体における確率的成長と、$q$-変形ランダム行列理論との間の溝を埋めている。

• 本研究は、古典的な均質モデル（Johanssonの対応関係）を不均一な設定へと拡張し、不均一性の性質がシステムをソフトエッジ（Airy）またはハードエッジ（Bessel）の普遍性クラスのどちらに分類するかを決定することを実証している。
• $q$-JUEの極限スペクトル密度およびエッジ統計の導出は、独立した関心事として提示されており、$q$-変形アンサンブルの漸近理論における空白を埋めるものである。
• 論文は、明示的な双対性によって、リミットシェイプと揺らぎの両方の完全な漸近解析が可能になることを強調している。これらは、流体力学的あるいは変分的な手法のみでは、不均一な設定において決定が困難なことが多い。

著者らは応用については控えめな姿勢を保ち、本研究を、不均一な空間環境を含む、拡張された可解な確率的システムのクラスを包含するための、可積分確率論およびランダム行列論への貢献として位置づけている。