[論文レビュー] Eigenvalues of Toeplitz matrices in the bulk of the spectrum

Percy Deift, Alexander Its+1 more|arXiv (Cornell University)|Oct 18, 2011

Spectral Theory in Mathematical Physics参考文献 7被引用数 23

ひとこと要約

本稿では、Fisher-Hartwig特異性を含む記号を持つテープリッツ行列の固有値の漸近的分布を確立し、L evitinとShargorodskyによるスペクトルの内部における固有値の近似周期性に関する予想を証明する。Fisher-Hartwig特異性を有するテープリッツ行列式の漸近的解析を用いて、固有値の間隔が $1/\ln n$ の割合で減少することを明確に示し、内部領域における普遍的なスケーリング行動を確認する。

ABSTRACT

The authors analyze the asymptotics of eigenvalues of Toeplitz matrices with certain continuous and discontinuous symbols. In particular, the authors prove a conjecture of Levitin and Shargorodsky on the near-periodicity of Toeplitz eigenvalues.

研究の動機と目的

• スペクトルの内部におけるテープリッツ行列の固有値の近似周期的分布に関するLevitinとShargorodskyの予想を解消すること。
• Fisher-Hartwig特異性を含む記号を持つ大規模 $n$ 次元テープリッツ行列の固有値の漸近的挙動を分析すること。
• 特定の積分作用素の固有値漸近的挙動とテープリッツ行列の固有値間隔との間の関係を、LandauとWidomの結果の文脈で確立すること。
• 記号の特異性がテープリッツ行列式の漸近的挙動において非自明な一次項貢献を生じる場合の、固有値に対する厳密な漸近的枠組みを提供すること。

提案手法

• 著者らは、[7,8]におけるFisher-Hartwig特異性を有するテープリッツ行列式の漸近的挙動に関する結果を用い、$T_n(f)$ の固有値を特性多項式 $\det(T_n(f) - \lambda I) = D_n(f - \lambda)$ を通じて分析する。
• 記号 $f(z; \lambda) = f(z) - \lambda$ を分析し、それがFisher-Hartwig特異性を継承または付加することを示し、既知の行列式漸近的挙動の適用を可能にする。
• 主な道具は、$|||\beta||| = \max_{j,k} |\Re \beta_j - \Re \beta_k|$ である。この半ノルムは、$D_n(f - \lambda)$ の一次漸近的項が消えるかどうかを決定する。
• 著者らは、$H_n(\lambda)$ と弧長 $\theta_2 - \theta_1$ を含む位相条件を導出し、量子化された固有値間隔条件 $\frac{\theta_2 - \theta_1}{2\pi}n + \frac{1}{\pi}H_n(\lambda) = k + \frac{1}{2} + O(n^{-1})$ に至る。
• この条件を用いて固有値間隔を推定し、$\lambda_k^{(n)} - \lambda_{k+1}^{(n)} \in \left[\frac{c_0}{\ln n}, \frac{c_1}{\ln n}\right]$ を証明する。ここで $c_0, c_1 > 0$ は定数であり、$\varepsilon$ と $\gamma$ に依存する。これにより対数的間隔が確立される。

実験結果

リサーチクエスチョン

• RQ1 Fisher-Hartwig特異性を含むテープリッツ行列の固有値分布は、LevitinとShargorodskyが予想したように、スペクトルの内部で近似周期的であるか？
• RQ2 記号の特異性が $|||\beta||| = 1$ を満たす場合、$n \to \infty$ のとき固有値間隔はどのように漸近的に振る舞うか？
• RQ3 漸近的固有値間隔は、積分作用素のLandau–Widom固有値問題と結びつけることができるか？
• RQ4 一次漸近的項がFH表現間のキャンセルによって消える場合、特異性が生じる内部領域における固有値間隔の正確なスケーリングは何か？

主な発見

• 固有値間隔 $\lambda_k^{(n)} - \lambda_{k+1}^{(n)}$ は、$n$ が大きい場合 $1/\ln n$ の割合で減少し、$\frac{c_0}{\ln n} \leq \lambda_k^{(n)} - \lambda_{k+1}^{(n)} \leq \frac{c_1}{\ln n}$ を満たす。ここで $c_0, c_1 > 0$ は $\varepsilon$ と $\gamma$ に依存する。
• 著者らは、LevitinとShargorodskyによるスペクトル内部におけるテープリッツ固有値の近似周期性に関する予想を証明し、固有値が普遍的な対数的間隔でクラスタリングすることを示した。
• 漸近的固有値間隔は、特異性の偏角と対数補正項を含む位相条件によって支配され、これは $D_n(f - \lambda)$ の漸近的挙動から導出される。
• この結果はSlepianの予想と関連している：積分作用素 $A_{S,T}(c)$ の固有値 $\lambda_k(c)$ は $c \to \infty$ のとき $(1 + e^b)^{-1}$ に収束し、$b$ は固有値インデックスにおける対数補正と関係する。
• 解析により、$|||\beta||| = 1$ のとき、$D_n(f - \lambda)$ の一次漸近的項が異なるFisher-Hartwig表現間のキャンセルによって消えることが示され、これが観察された固有値間隔の背後にあるメカニズムである。
• 固有値 $\lambda_k^{(n)}$ は $k = \frac{1}{2\pi}|S||T|c + \frac{2}{\pi}\gamma^{(\lambda_k^{(n)})}\ln c + O(1)$ を満たし、インデックス $k$ と記号パrameter $\gamma$ の対数補正が結びつく。