On Trace Averages and Sharp Asymptotics for Powers of Haar-Unitary Matrices

技術的要約：ハール・ユニタリ行列の冪乗におけるトレース平均と鋭い漸近挙動について

問題設定
本論文は、ハール分布に従うユニタリ行列 $U \in U(N)$ の冪乗の統計的振る舞いを調査している。具体的には、$N \to \infty$ における2つの異なる収束レジームを扱う：

1. 大域的統計 (Global Statistics): 正規化されたトレース $X_{N,m} = \text{Tr}(U^m)/\sqrt{m \wedge N}$ の分布、および標準複素ガウス分布への全変動距離 ($d_{TV}$)。
2. 局所的統計 (Local Statistics): 固定された区間上における $U^m$ のアンフォールド（unfolded）された固有値スペクトルの分布、および単位レートのポアソン過程への距離。

中心的な動機は、Rainsの冪写像定理（$U^m$ のスペクトルは、独立した低次元の円ユニタリアンサンブル（CUE）スペクトルの重ね合わせに分解されるという定理）である。本論文は、このスペクトル分解が、冪 $m$ が $N$ に対してスケーリングする（固定、成長、または $N$ を超える）レジームにおいて、トレースモーメントや点過程に対する精密な漸近法則へとどのように変換されるかを定量化することを目的としている。

手法
著者は、表現論、解析的組合せ論、およびランダム行列理論の技法を統合して用いている：

• 厳密なトレース恒等式: 本論文は、フロベニウスの指標公式とシュアの直交性を用いて、混合トレースモーメントを有限な指標和として表現する。安定範囲（モーメントがガウスのモーメントと一致する範囲）を超えた有限 $N$ の補正を扱うために、著者はチャリヤー・ユエンス畳み込み (Charlier–Ewens convolution) を導入している。これにより、安定したウィック項（Wick term）を、補正バンドによってインデックス付けされた有限の補正級数から分離している。さらに、混合モーメントを置換行列の行列式の有限和として表す変位行列式 (displacement determinant) 公式を導出し、指標和の複雑さを回避している。
• 解析的手法:
  • ベッセルおよびフレドホルム表現: トレースモーメントの母関数はベッセル行列式として特定される。これらは、ハンケル作用素を含むフレドホルム行列式を用いるボルドン・オクーンク・ジェロニモ・ケース（Borodin–Okounkov–Geronimo–Case）恒等式を用いてさらに因数分解される。
  • フーリエ・ラグエア転送 (Fourier–Laguerre Transfer): 特性関数から確率密度へと移行するために、密度補正の基底としてラグエア多項式を用いる転送メカニズムを使用している。これにより、$L^1$ ノルムの精密な計算が可能となり、全変動境界が得られる。
  • ポアソン・チャリヤー展開 (Poisson–Charlier Expansion): 独立したCUEブロックの重ね合わせを、疎なベルヌーイ過程の和として近似する。誤差は、ポアソン・チャリヤー展開と点過程間の全変動距離の境界を用いて制御される。

主要な貢献と結果

1. 厳密な混合トレースモーメントと有限 $N$ 補正
本論文は、任意の指数に対する混合トレース平均 $C_N(\mathbf{p}, \mathbf{q})$ の厳密な評価を提供する。

• チャリヤー・ユエンス補正: 定理6は、ガウスのウィック項からの偏差が、有限の「補正バンド」の和であることを確立している。バンドの数は、全次数 $D$ の分割の幾何学的構造によって決定される。
• 変位行列式: 定理7は、これらのモーメントを置換行列の行列式の和として表す計算効率の高い公式を提供し、これは任意の $N$ に対して有効である。

2. 鋭い大域的ガウス漸近挙動
本論文は、正規化されたトレース $X_{N,m}$ と標準複素ガウス分布 $Z$ との全変動距離 $d_{TV}(X_{N,m}, Z)$ に関する、鋭い主要項の漸近挙動を決定する。結果は、$m$ と $N$ の関係によって定義される4つのレジームにおいて一様である：

• 固定冪 ($m=p$): 定理1は、正確な主要項を与える。これには、$e^{2/p}$ というコヒーレントな総和因子が含まれる。この因子は、第1補正バンドにおけるラグエアモードのコヒーレントな総和から生じるものであり、最初の非ガウスモーメントのみを分析する場合に見落とされる詳細である。
• 同時成長 ($m \to \infty, N/m \to \infty$): 定理3は、主要項が固定冪の場合と同じ形式を持ち、$p \to \infty$ となるにつれて $e^{2/p}$ 因子の値が1に収束することを示す。
• 固定ブロック次元 ($N/m \to q$): 定理4は、ブロック次元が有界に留まるレジームを分析する。主要な補正は、2つの隣接するラグエアモード（$L_{q+1}$ および $L_{q+2}$）の線形結合を含む。
• 独立フェーズ・レジーム ($m \ge N$): 定理2は、$m \ge N$ のとき、固有値が独立な一様点になることを証明している。本論文は、$O(N^{-1})$ の収束率に対する明示的な定数を導出し、従来の境界を鋭利化している。

3. 鋭い局所ポアソン近似
定理5は、長さ $L$ の固定された区間 $B$ 上における $U^m$ の局所的スペクトル統計を扱う。

• ポアソン極限: $N, m \to \infty$ のとき、アンフォールドされたスペクトルはポアソン過程に収束する。
• 主要誤差項: 本論文は、局所的な固有値数とポアソン変数の間の全変動距離に対する、正確な主要項を特定している。誤差は、ブロック強度の二乗和 $\beta_{N,m}$ に比例する。
• 過分散の欠如 (Under-dispersion): 第2チャリヤー多項式を通じて導出された一次補正は、局所的な固有値数の「残留的な過分散の欠如」を定量化し、大きな $N, m$ に対して分散がポアソン分散よりも厳密に小さいことを示している。

意義と主張
本論文は、これらの問題に対して、単なるオーダーの評価を超えた、明示的な定数と精密な関数形式を伴う初の鋭い漸近挙動 (sharp asymptotics) を提供すると主張している。

• 精密さ: $O(N^{-1})$ の収束率や超指数的な収束を確立した従来の研究とは異なり、本論文は正確な主要定数（例：$e^{2/p}$ やラグエア多項式の特定の積分を含むもの）を導出している。
• 統一性: 結果は、すべてのスケーリング・レジームにわたってトレース統計の振る舞いを統一しており、独立したブロックへのスペクトル分解が、いかにして大域的なガウス揺らぎと局所的なポアソン極限の両方を支配しているかを明らかにしている。
• 補正のメカニズム: 主要な全変動定数は、単一の非ガウスモーメントによって決まるのではなく、ラグエア補正の一連のバンドのコヒーレントな総和によって決定されるという点が、主要な洞察である。これは、単純なモーメント一致法がなぜ精密な収束率を捉えられないのかを説明している。

本研究は、厳密な有限 $N$ の恒等式と鋭い無限 $N$ の極限との間の架け橋として、厳密な解析的評価（ベッセル/フレドホルム）と組合せ論的恒等式（チャリヤー/ユエンス）に依拠している。