On Toeplitz determinants with slow Fourier decay

技術要約：遅いフーリエ減衰を伴うトプリッツ行列式について

問題提起
本論文は、行列サイズ $n \to \infty$ におけるトプリッツ行列式 $D_n(a) = \det T_n(a)$ の漸近挙動、特に対数のフーリエ係数が遅い減衰を示すシンボル $a = e^f$ についての研究である。主要な関心の対象となる領域は、$|k| \to \infty$ のとき $|(f)_k| = O(|k|^{-1})$ という条件によって定義される。

この条件は、古典的な強セゲ（Strong Szegő）極限定理の範囲をわずかに超える問題を設定している。通常、強セゲ極限定理では $f$ がソボレフ空間 $H^{1/2}$（すなわち $\sum k |f_k|^2 < \infty$）に属することを要求する。この遅い減衰の領域には、対数特異点や跳躍不連続性を特徴とするフィッシャー・ハートウィグ（Fisher–Hartwig）型のシンボルが含まれる。フィッシャー・ハートウィグの設定では、行列式の漸近挙動において、標準的なセゲ極限と比較して追加の $n$ のべき乗（具体的には $n^{\sum (\alpha_j^2 - \beta_j^2)}$）が現れる。著者らは、この追加の成長が遅いフーリエ減衰の普遍的な特徴なのか、それとも局所的な特異構造に固有の副産物なのかを明らかにすること、およびフィッシャー・ハートウィグ型を超えて拡張可能な一様評価を提供することを目的としている。

手法
著者らは、ベーカー・キャンベル・ハウスドルフ（BCH）公式に基づく新しい作用素論的手法を開発した。手法は以下の3つの主要な段階を経て進行する：

1. 正則化と分解： トプリッツ行列式を、指数関数のトプリッツ作用素の有限部分の行列式として表現する。ウィーナー・ホップ分解 $e^f = e^{f_-}e^{f_+}$（ここで $f_+$ は単位円内部で解析的であり、$f_-$ は外部である）を用いることで、行列式を乗法的交換子を孤立させる形に書き換える：
   $$\det T_n(e^{tf}) = \exp\left( nf_0 + \sum_{k=1}^\infty \min(k, n) f_k f_{-k} \right) \det(P_n e^{Z(t)} P_n + Q_n)$$
   ここで、$Z(t)$ は交換子 $e^{-tT(f_+)}e^{tT(f_-)}e^{tT(f_+)}e^{-tT(f_-)}$ から生じる。

2. BCH展開： 乗法的交換子は、BCH公式を用いて単一の指数関数 $e^{Z(t)}$ へと展開される。ここで $Z(t)$ は、トプリッツ作用素 $T(f_+)$ と $T(f_-)$ の入れ子になった交換子を含むリー級数である：
   $$Z(t) = -t^2 [T(f_+), T(f_-)] + \frac{t^3}{2} [T(f_+) - T(f_-), [T(f_+), T(f_-)]] + \dots$$
   二次項は、フィッシャー・ハートウィグの場合に既知の成長に対応する。高次の項（$m \ge 3$）は剰余項を表す。

3. ノルム評価と行列式境界： コアとなる技術的貢献は、これらの入れ子になった交換子のノルムを評価することにある。著者らは、以下の2つのケースを区別している：

   • 有界シンボル： 正負のフーリエ成分（$f_+$ および $f_-$）が実質的に有界である場合。
   • 非有界（許容可能）シンボル： $f_+$ または $f_-$ が非有界（例：フィッシャー・ハートウィグ特異点）であるが、有界な補助関数を用いた特定の「許容可能性」条件を満たす場合。

   著者らは、交換子の「コーナー」（オフダイアゴナル・ブロック）の作用素ノルムおよびヒルベルト・シュミットノルムに関する評価を確立している。彼らは、オフダイアゴナル・コーナーが制御されたノルムを持つヒルベルト・シュミット作用素である場合に、有限部分の行列式の対数と作用素のトレースを関連付ける、一般的な行列式不等式（Duits および Johansson による）を利用している。

主な貢献と結果

• 成長の分離： 本論文は、フィッシャー・ハートウィグの漸近挙動で見られる追加の $n$ のべき乗が、展開の二次項 $\sum_{k=1}^\infty \min(k, n) f_k f_{-k}$ の中に完全に含まれていることを示している。高次の累積モーメント（$\log \det T_n(e^{tf})$ における $t^m$ の係数、ただし $m \ge 3$）は、分散が対数的に成長する場合であっても、$n \to \infty$ において有界である。
• 有界シンボルに対する一様境界（定理 2.1）： $f_\pm$ が有界であり、$O(|k|^{-1})$ で減衰するシンボルの場合、著者らは $m$ 次の累積モーメント $C_m^{(n)}(f)$ が、$|C_m^{(n)}(f)| \le a c^m$（$a, c$ は $n$ に依存しない定数）を満たすことを証明している。これは、行列式展開の剰余項が一様に有界であることを意味する。
• 非有界／許容可能シンボルに対する境界（定理 2.10）： より広いクラスの「許容可能」なシンボル（フィッシャー・ハートウィグ型を含む）に対して、著者らは累積モーメントが $m$ に対して超指数関数的に成長する（具体的には $O((cm)^m)$）ものの、$n$ に関しては一様である境界を導出している。これは、完全な漸近展開まで級数を和集合にすることはできないものの、固定された $m$ に対して剰余を制御するには十分である。
• 中心極限定理（系 2.12）： これらの結果は、許容可能なシンボルに対する円型ユニタリ・アンサンブル（CUE）の線形統計量に関する中心極限定理を導く。具体的には、$X_n(f) - \mathbb{E}X_n(f)$ は、その分散（$n$ と共に成長する）の平方根で正規化されると、標準正規分布に収束する。これは、$f \notin H^{1/2}$ の場合へと既知の結果を拡張するものである。
• 混合指数モーメント（系 2.5）： 有界なシンボルに対し、本論文は線形統計量の混合指数モーメントに関する両側境界を提供している。これらの境界は、評価点の位置に関して一様であり、これは特異点が合体する（merging）可能性がある対数相関場や特性多項式の解析において極めて重要な特徴である。

意義と主張
著者らは、自身のアプローチが、トプリッツ行列式の漸近挙達の理解を、特異点の局所的な性質（フィッシャー・ハートウィグ）から、フーリエ係数の大域的な減衰率へとシフトさせるものであると主張している。二次的な寄与を分離することで、行列式における「追加の」成長が、特異点の具体的な形式ではなく、遅いフーリエ減衰の結果であることを示している。

本手法は、リーマン・ヒルベルト法よりも高い堅牢性と汎用性を提供しており、特に特異点が（例えば距離 $n^{-\delta}$ のオーダーで）合体するような、古典的なフィッシャー・ハートウィグ漸近論が適合しなくなるシナリオを扱うことができる。著者らは、非有界なシンボルに対する境界が最適ではない（累積モーメントの次数に対して超指数的に増大する）ことを認めているが、これらの推定値は中心極限定理を確立し、対数相関場やリーマンゼータ関数の極値の解析に不可欠な要素である一様な混合モーメントの制御を行うには十分であると主張している。

本論文は、一般的な非有界なケースにおいて、明示的な定数項を持つ完全な漸近展開を提示することを目的としたものではなく、パラメータに対する一様性と引き換えに、明示的な定数項をあえて置いていないことを注記している。結果は、ランダム行列理論における特性多項式を超えた、対数相関場の普遍性を理解するためのステップとして提示されている。