技術要約：温度変化に伴うジャック変形ランダム・ヤング図形のグローバル漸近性の普遍性

1. 問題設定と背景

本論文は、離散的な $\beta$-アンサンブル、特にジャック・パラメータ $\alpha > 0$ によって変形されたランダム・ヤング図形に焦点を当て、その漸近挙動を扱うものである。本研究では、図形のサイズ $d$ とジャック・パラメータ $\alpha$ の関係によって定義される3つの異なるレジームにおける、グローバルな極限形状（limit shapes）およびガウス型揺らぎ（Gaussian fluctuations）を調査している：

1. 固定温度（Fixed Temperature）: $d \to \infty$ の際、$\alpha$ は固定されている。
2. 高温（High Temperature）: $d \to \infty$ の際、$\alpha \sim d$（具体的には $\alpha = \Theta(d)$）。
3. 低温（Low Temperature）: $d \to \infty$ の際、$\alpha \sim d^{-1}$（具体的には $\alpha = \Theta(d^{-1})$）。

著者らは、2つの主要な離散 $\beta$-アンサンブル・モデル間の本質的な関係に関する、Dołega および Śniady による問いを解決することを目的としている：

• ジャック測度（Jack Measures）: 対称関数の代数上の準同型を通じて定義される、無限の全ヤング図形の集合上の確率測度（Borodin および Olshanski によって導入され、Moll によって研究されたもの）。
• ジャック・キャラクター測度（Jack Character Measures）: 近似因子化特性（Approximate Factorization Property, AFP）を満たす可約なジャック・キャラクターから導出される、固定サイズ $d$ のヤング図形上の確率測度（Dołega および Śniady によって導入されたもの）。

これらのモデルは、以前はジャック・プランシュレル（Jack–Plancherel）測度においてのみ交差すると理解されていたが、本論文は、それらのグローバルな漸近性を結びつける深い普遍性を確立している。

2. 手法

著者らは、代数的組合せ論、自由確率論、およびスペクトル解析を組み合わせた手法を用いている。

2.1. ジャック–トーマ測度の導入

核心となる手法上の革新は、**ジャック–トーマ測度（Jack–Thoma measures）**と呼ばれる新しいクラスの測度の導入である。これらは、冪和対称関数の特定の特殊化によって定義される、ジャック測度の特殊なケースである。

• これらは、トーマ・コーン（Thoma cone）から導出されたパラメータ $(u, v)$ を用いて構成されており、「完全なジャック正値特殊化（totally Jack-positive specializations）」の分類（Kerov, Okounkov, および Olshanski の研究を一般化したもの）を通じて非負性が保証されている。
• これらの測度は、無限集合のジャック測度と、固定サイズのジャック・キャラクター測度の間の「ポアソン化された（Poissonized）」架け橋として機能する。

2.2. 組合せ論的枠組み：リュカウィッツ・パス（Łukasiewicz paths）

著者らは、リュカウィッツ・パスおよびリュカウィッツ・リボン・パスを用いた組合せ論的アプローチを開発した。

• 観測量（Observables）: ランダム図形の主要な統計量（遷移測度のモーメント、ブーリアン・累積量、および形状汎関数）は、これらの格子パス上の重み付き和として表現される。
• 作用素（Operators）: 解析には、対称関数の代数上で作用する Nazarov–Sklyanin 作用素が利用される。著者らは、温度パラメータ $g$ と特殊化パラメータ $v$ を含むパスの重みを用いた、これらの作用素の積の期待値に関する明示的な組合せ論的公式を導出している。

2.3. 脱ポアソン化（Depoissonization）と普遍性

ジャック–トーマ測度（無限サイズ）とジャック・キャラクター測度（固定サイズ）を結びつけるために、著者らは脱ポアソン化の議論を利用している。条件付きジャック–トーマ測度（サイズ $d$ で条件付けられたもの）が、AFP を持つ特定のクラスのジャック・キャラクター測度に一致することを証明している。パラメータが AFP シーケンスと一致するように調整可能であり、かつジャック–トーマ測度の漸近公式がパラメータに関して多項式であることを示すことで、これらの公式が全ての AFP 測度のクラスに対して普遍的であることを確立している。

2.4. エッジ漸近性のためのスペクトル解析

ジャック・プランシュレル測度の特定のケースにおいて、著者らは極限形状を、特定の非有界トプリッツ型（ヤコビ型）行列のスペクトル測度に関連付けている。これにより、最長行/列の漸近性をベッセル関数の零点を用いて表現することが可能となる。

3. 主な貢献と結果

3.1. ジャック–トーマ測度に関する極限定理

本論文は、3つの温度レジームすべてにおいて、ジャック–トーマ測度に関する大数の法則（LLN）および中心極限定理（CLT）を確立している。

• 極限形状 (LLN): ランダム・ヤング図形の再スケールされたプロファイルは、決定論的な形状 $\omega_{\Lambda_{g;v}}$ の周囲に集中する。関連する遷移測度 $\mu_{g;v}$ のモーメントは、重み付きリュカウィッツ・パスを用いた明示的な公式によって与えられる（定理 3.7）。
  • 公式 (8) は、モーメント $M_\ell$ を、$g$（温度）と $v$（特殊化）によって重み付けされたパス $\Gamma \in L_0(\ell)$ の和として提供する。
• ガウス型揺らぎ (CLT): 極限形状の周囲の揺らぎは、ガウス過程へと収束する。平均のシフトおよび共分散行列は、$g$ および $v$ に関する微分を含む、明示的な多項式によって与えられる（定理 3.8）。特筆すべきは、共分散の公式が、非負の係数を持つ打ち消しなしの多項式であることである。

3.2. グローバル漸近性の普遍性

主要な理論的結果は、普遍性定理（定理 5.1 および 5.2）である。

• AFP を持つ任意のジャック・キャラクターの極限形状およびガウス型揺らぎは、一致するパラメータを持つジャック–トーマ測度のそれらと同一である。
• これは、一般的なジャック・キャラクターの複雑な代数的構造が、組合せ論的により単純なジャック–トーマ測度と同じグローバルな漸近挙動を生み出すことを裏付けている。
• モーメントおよび共分散の公式は普遍的であり、漸近パラメータ $g, g'$ および AFP パラメータ $v_k, v'_k, v(k|l)$ にのみ依存する。

3.3. 高温および低温レジーム：階段状の形状（Staircase Shapes）

連続的な $\beta$-アンサンブルからの重要な相違点は、高温および低温レジーム（$g \neq 0$）における極限形状の性質である。

• 片側無限階段形状: 固定温度レジームにおけるバランスの取れた形状とは異なり、高温および低温レジームにおける極限形状は、傾き $\pm 1$ を持つ「片側無限階段形状」となる。
• 離散的な支持集合: 関連する遷移測度 $\mu_{g;v}$ は、離散的で可算無限の支持集合を持ち、$\pm \infty$（$g$ の符号に依存）に唯一の集積点を持つ。
• ベッセル関数との接続: ジャック・プランシュレル測度において、極限形状の局所的な最小値（およびしたがって遷移測度の支持集合）は、第一種ベッセル関数の零点と明示的に関連している（定理 1.4 および 定理 6.12）。具体的には、$i$ 番目に長い行/列の漸近性は、$J_{z \cdot g^{-1}}(-2g^{-1})$ の零点によって決定される。

3.4. 新しい組合せ論的ツール

本論文は、以下の事項に関する新しい組合せ論的解釈を提供している：

• $g$-変形自由累積量（$g$-deformed free cumulants）: パラメータ $v_k$ は、$g=0$ のとき自由累積量として特定され、公式は $g \neq 0$ の場合の新しい概念である $g$-変形自由累積量を定義する。
• ケロフ多項式（Kerov Polynomials）: 共分散公式の組合せ論的解釈は、ラサールの正値性予想（Lassalle's positivity conjectures）に対する新しいツールを提供する。著者らは、これらのツールが後続の研究（BDD23）において、整数性と正値性の結果を証明するために既に成功裏に使用されていることを述べている。

4. 意義と主張

本論文は、離散 $\beta$-アンサンブルのグローバルな漸近性を理解するための統一的な枠組みを提供すると主張している。

• 統一: ジャック測度とジャック・キャラクター測度の関係を解決し、それらが格子パスの組合せ論によって支配される普遍的なグローバル挙動を共有していることを示している。
• 明示的な公式: 高温および低温レジームにおける極限形状およびガウス型揺らぎに関する初の明示的な普遍的公式を提供した。これらは、AFP 条件の複雑さゆえに、以前はアクセスが困難であったものである。
• 新しい現象: ランダム・ヤング図形の幾何学における相転移を強調している。すなわち、固定温度におけるバランスの取れた形状から、変動する温度における片側無限階段形状への転移である。これは、連続的なログガス・システムとは異なる現象である。
• 特殊関数への接続: ジャック・プランシュレル図形の極限形状とベッセル関数の零点との間の明示的なリンクは、漸近挙動に対する具体的なスペクトル解釈を提供する。

著者らは、自らの結果が Dołega および Śniady によって提起された普遍性の問いに肯定的に答えるものであり、複雑な確率モデルの解析を簡素化する（リュカウィッツ・リボン・パスによる）新しい組合せ論的視点を提供することを強調している。