On the pair correlation function of the Sine$_\beta$ process

技術的要約：Sine$\beta$過程のペア相関関数について

問題提起
Sine$\beta$過程は、一般的な $\beta > 0$ に対するベータ・アンサンブルのバルク・スケーリング極限を表す。古典的な値 $\beta = 1, 2, 4$ における相関関数は、直交多項式に由来する行列式構造（$\beta=2$ の場合）またはパフィアン構造（$\beta=1, 4$ の場合）を通じて十分に理解されているが、一般的な $\beta$ に対する過程は、歴史的に確率微分方程式（SDE）またはランダム微分作用量を通じてのみ特徴付けられてきた。一般的な $\beta$ に対するペア相関関数 $\rho^{(2)}_\beta(x, y)$ の明示的かつ非漸近的な公式を得ること、特に代数的構造が古典的なケースほど明白ではない偶数 $\beta = 2n$ の場合において、大きな空白が存在していた。さらに、一般的な $\beta$ に対する切断相関関数の漸近的減衰挙動も未解決の問題であった。

手法
著者らは、Sine$\beta$過程と、円周ヤコビ・ベータ・アンサンブルのスケーリング極限として現れる $\text{HP}_{\beta,\delta}$ 過程との間の接続を確立している。核心となる戦略は以下の通りである：

1. パルム測度の特定： [52] および [36] の結果を利用し、著者らはSine$\beta$過程の簡約パルム測度（0に点が存在すると条件付けられ、その点を削除したもの）が $\text{HP}_{\beta, \beta/2}$ 過程であることを特定した。これにより、ペア相関 $\rho^{(2)}_\beta$ を求める問題を、HP過程の一点密度 $\rho^{(1)}_{\beta, \beta/2}$ を求める問題へと還元している。
2. 確率的特徴付け： HP過程は、プロセス $\alpha_\lambda(u)$ に関する特定の確率微分方程式（SDE）を用いたシューティング問題を通じて特徴付けられる。密度は、この拡散過程の期待値として表現される。
3. 解析的および代数的導出：
   • 一般的な $\beta > 0$ に対して： 著者らは、$\cos(k\alpha_\lambda(0))$ の期待値を含む密度の級数表現を導出している。さらに、これらの期待値を、結合された無限個の常微分方程式（ODE）系の解として特徴付けている。
   • $\beta = 2n$（偶数）に対して： ポッホハマー記号の性質により、無限級数が打ち切られる。これにより、著者らは問題を有限次元の線形ODE系へと還元することが可能となった。彼らは、三対角行列および対角行列（$A_n, B_n$）を用いた行列再帰を用いて、冪級数解を構成している。

主要な貢献と結果

• 一般的な $\beta$ に対する表現：

  • 定理 1： SDE (3) の解の期待値を含む、収束級数によるペア相関関数 $\rho^{(2)}_\beta(0, \lambda)$ の表現を提供する。$E[|\sin(\alpha_\lambda(0)/2)|^\beta]$ を含む簡略化された形式も導出されている。
  • 定理 2： SDEによる表現とは独立した、一意な無限個のODE系の解を通じて、ペア相関関数を特徴付ける。
  • 定理 3： $\rho^{(2)}_\beta(0, \lambda)$ が $\beta$ と $\lambda$ についてそれぞれ連続であり、$\beta > 2$ においては同時連続であることを確立している。
  • 定理 4： 切断相関関数の多項式減衰境界を与える：$|\rho^{(2)}_\beta(0, \lambda) - \frac{1}{4\pi^2}| \leq c_\beta (\lambda^{-\beta/2} + \lambda^{-4/\beta})$。これは $\beta \geq 2\sqrt{2}$ における予想されるオーダーと一致する。

• $\beta = 2n$ に対する結果：

  • 定理 5： $n \times n$ 行列を用いた行列値再帰によって係数が決定される、$\rho^{(2)}_{2n}(0, \lambda)$ の冪級数表現を導出している。
  • 系 6： $\lambda = 0$ 近傍における展開の主要項が $\lambda^{2n}$ であることを特定している。
  • ODEの簡約： 著者らは、$\rho^{(2)}_{2n}(0, \lambda)$ が満たす $2n$ 次の単一の線形ODEへとシステムを簡約する方法を概説している。
  • 古典的ケースの回収： この枠組みは、$\beta=2$ における既知のSineカーネルの公式および $\beta=4$ の既知の表現を正常に回収している。

意義と主張
本論文は、一般的な $\beta$ に対するSine$\beta$過程のペア相関関数を得るための、明示的かつ非漸近的な公式に関する最初の正の結果を提供し、確率的な特徴付けと古典的な代数的結果との間の溝を埋めるものであると主張している。具体的には：

• すべての $\beta > 0$ に対して機能する統一的なアプローチを提供し、古典的な $\beta=1, 2, 4$ の結果を特殊なケースとして回収している。
• $\beta = 2n$（偶数）に対して、以前知られていた積分表現（例：Forresterの公式）とは異なる、有限線形ODE系と冪級数による新しい代数的特徴付けを提供している。
• 一般的な $\beta$ に対する切断相関関数の漸近的減衰に関する明示的な境界を与えるという、長年の未解決問題を解決している。
• 著者らは、彼らの結果が、ベッセル関数を用いた $\beta=6$ の明示的な公式を導出するために後続の研究（例：[41]）で使用されたことに触れており、これは彼らのODEおよび冪級数表現の有用性を実証している。

論文は、小さな $\beta$ における減衰境界の最適性や相関関数の振動的な挙動に関して控えめなトーンを維持しており、より鋭い境界を得るにはODE系のさらなる解析が必要である可能性を指摘している。これは、最近 Assiotis [3] によって追求されている方向である。