[論文レビュー] On the uniform distribution of the Prüfer angles and its implication to a sharp spectral transition of Jacobi matrices with randomly sparse perturbations

Silas L. Carvalho, Domingos H. U. Marchetti+1 more|arXiv (Cornell University)|Jun 14, 2010

Spectral Theory in Mathematical Physics参考文献 13被引用数 6

ひとこと要約

本稿では、ランダムにスパースな摂動を受けるジャコビ行列に対して、Davenport–Erdős–LeVequeの基準の精密化を用いて、エネルギー変数におけるプリューファー角の一様分布を確立する。この結果により、純粋な点スペクトルが稠密で測度ゼロな集合に、補集合では特異連続スペクトルをとる鋭いスペクトル遷移の、新たな直接的証明が可能になる。点スペクトル部分は、稠密な純粋点型として明示的に特徴づけられる。

ABSTRACT

In the present work we consider off-diagonal Jacobi matrices with uncertainty in the position of sparse perturbations. We prove (Theorem 3.2) that the sequence of Prüfer angles (θ_{k}^ω)_{k\geq 1} is u.d mod πfor all ϕ\in [0,π] with exception of the set of rational numbers and for almost every ωwith respect to the product ν=\prod_{j\geq 1}ν_{j} of uniform measures on {-j,...,j}. Together with an improved criterion for pure point spectrum (Lemma 4.1), this provides a simple and natural alternative proof of a result of Zlatos (J. Funct. Anal. extbf{207}, 216-252 (2004)): the existence of pure point (p.p) spectrum and singular continuous (s.c.) spectra on sets complementary to one another with respect to the essential spectrum [-2,2], outside sets A_{sc} and A_{pp}, respectively, both of zero Lebesgue measure (Theorem 2.4). Our method allows for an explicit characterization of A_{pp}, which is seen to be also of dense p.p. type, and thus the spectrum is proved to be exclusively pure point on one subset of the essential spectrum.

研究の動機と目的

• ランダムにスパースな摂動を受けるジャコビ行列における鋭いスペクトル遷移の、Zlatosによって以前に確立された結果を新たな直接的証明で与えること。
• ほとんどすべての摂動実現について、エネルギー変数におけるプリューファー角の $ \pi $ を法とする一様分布を確立すること。
• 純粋点スペクトル集合を明示的に特徴づけ、それが稠密な純粋点型であり、Lebesgue測度がゼロであることを示すこと。
• ランク1摂動に対する不安定性とは対照的に、特異連続スペクトルのハウスドルフ次元が正であることから、スペクトル遷移の頑健性を示すこと。

提案手法

• エネルギー固定の $ \lambda $ に対して、プリューファー角 $ (\theta_k^\omega)_{k \geq 1} $ の $ \pi $ を法とする一様分布を証明する。これに、Davenport–Erdős–LeVequeの基準の修正版を用いる。
• 劣微分解の減衰と伝搬行列の成長に基づく、純粋点スペクトルのための新規基準（補題4.1）を適用する。
• 伝搬行列解析を用いて、劣微分解の $ L^2 $-ノルムを推定し、スペクトル測度の性質と関連付ける。
• スパースでランダムな摂動（スパース率 $ \sim e^{c n^\gamma} $、$ \gamma > 1 $）の下で、伝搬行列の指数的成長とその逆行列ノルムを分析する。
• スペクトル型を特定するため、$ \|T(n;\lambda)\| $ および $ \|T(n;\lambda)^{-1}\| $ の境界を確立し、[JL]の $ \ell^2 $-減衰および $ \ell^\alpha $-成長に関する基準を適用する。
• すべての $ \alpha > 0 $ に対して $ \|u_{\text{sub}}\|_l^2 \to 0 $ が $ l^\alpha $ よりも速く収束することを用いて、すべての $ \alpha > 0 $ に対して $ \alpha $-特異スペクトル測度であることを示し、特異連続スペクトルであることを確認する。

実験結果

リサーチクエスチョン

• RQ1 ほとんどすべての実現 $ \omega $ およびほとんどすべてのエネルギー $ \lambda \in [-2,2] $（有理数倍の $ \pi $ を除く）に対して、プリューファー角の列 $ (\theta_k^\omega) $ は $ \pi $ を法として一様分布するか？
• RQ2 プリューファー角の一様分布に基づく、スパースジャコビ行列における純粋点スペクトルの存在と鋭い特異連続スペクトルへの遷移の、新たな証明法が可能か？
• RQ3 純粋点スペクトル集合 $ A_{pp} $ は明示的に特徴づけ可能であり、主張されているように稠密な純粋点型であるか？
• RQ4 特異連続スペクトルは正のハウスドルフ次元を持つか？ これはランク1摂動に対する安定性を示唆する。
• RQ5 スパース率が指数的未満または超指数的である場合、スペクトル型はどのように変化するか？

主な発見

• すべての $ \lambda \in [0,\pi] $ に対して、有理数倍の $ \pi $ を除く集合を除き、ほとんどすべての $ \omega $ について、プリューファー角の列 $ (\theta_k^\omega) $ は $ \pi $ を法として一様分布する。
• 純粋点スペクトル集合 $ A_{pp} $ は明示的に特徴づけられ、それは $ [-2,2] $ において稠密であり、かつ純粋点スペクトルを支持する。
• 特異連続スペクトルの局所的ハウスドルフ次元は $ 1 - \frac{\ln(1 + v^2/(4 - \lambda^2))}{\ln \beta} $ であり、特異連続領域のほとんど至るところで正である。
• スペクトル測度はすべての $ \alpha > 0 $ に対して $ \alpha $-特異であるため、特異連続スペクトルのハウスドルフ次元はゼロである。これはランク1摂動に対する遷移の安定性と整合的である。
• 指数的未満のスパース率ではスペクトルは純粋に純粋点的である。超指数的スパース率ではスペクトルは純粋に特異連続的である。これにより、遷移がスパース率に強く依存することが確認される。
• 本手法により、純粋点スペクトルの頑健で明示的な特徴づけが可能となり、従来の証明におけるギャップを解消し、スパースな確率的作用素におけるスペクトル解析のための新たな自然な枠組みを提供する。