[论文解读] 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准则，建立了随机稀疏扰动下雅可比矩阵在能量变量中普吕弗角的均匀分布。该结果实现了一种新颖且直接的证明方法，揭示了谱的尖锐相变：在紧致且测度为零的稠密集上为纯点谱，其余部分为奇异连续谱，两者均位于本质谱 $[-2,2]$ 内，且纯点谱部分被显式刻画为稠密集纯点型。

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$ 在能量变量中实现均匀分布。
• 显式刻画纯点谱集合，表明其为稠密集纯点型且勒贝格测度为零。
• 通过证明奇异连续谱具有非零豪斯多夫维数，展示谱相变的鲁棒性，与秩一扰动下的不稳定性形成对比。

提出的方法

• 使用改进的Davenport–Erdős–LeVeque准则，证明在固定能量 $\lambda$ 下，普吕弗角 $ (\theta_k^\omega)_{k \geq 1} $ 模 $\pi$ 的均匀分布。
• 应用一个新的纯点谱判定准则（引理4.1），基于次解的衰减与转移矩阵的增长。
• 通过转移矩阵分析估计次解的 $ L^2 $-范数，并将其与谱测度性质关联。
• 分析在稀疏随机扰动下转移矩阵及其逆范数的指数增长，其中稀疏率 $ \sim e^{c n^\gamma} $，$ \gamma > 1 $。
• 建立 $ \|T(n;\lambda)\| $ 和 $ \|T(n;\lambda)^{-1}\| $ 的界，通过 [JL] 中的 $ \ell^2 $-衰减与 $ \ell^\alpha $-增长准则确定谱类型。
• 利用 $ \|u_{\text{sub}}\|_l^2 \to 0 $ 的速度超过任意 $ l^\alpha $（$ \alpha > 0 $）的事实，表明对所有 $ \alpha > 0 $，谱测度为 $ \alpha $-奇异，从而确认奇异连续谱的存在。

实验结果

研究问题

• RQ1 对于几乎所有实现 $ \omega $ 和几乎所有能量 $ \lambda \in [-2,2] $（排除 $ \pi $ 的有理倍数），序列普吕弗角 $ (\theta_k^\omega) $ 是否在模 $ \pi $ 意义下趋于均匀分布？
• RQ2 能否基于普吕弗角均匀性，通过新方法证明稀疏雅可比矩阵中纯点谱的存在性及向奇异连续谱的尖锐相变？
• RQ3 纯点谱集合 $ A_{pp} $ 是否可显式刻画？其是否如所声称的为稠密集纯点型？
• RQ4 奇异连续谱是否具有正豪斯多夫维数，从而表明其对秩一扰动的鲁棒性？
• RQ5 当稀疏率低于或高于指数级时，谱类型如何变化？

主要发现

• 对于所有 $ \lambda \in [0,\pi] $，除有理倍数 $ \pi $ 的集合外，普吕弗角序列 $ (\theta_k^\omega) $ 在模 $ \pi $ 意义下对几乎所有 $ \omega $（关于乘积测度 $ \nu $）均匀分布。
• 纯点谱集合 $ A_{pp} $ 被显式刻画，并证明其为稠密集纯点型，即在 $ [-2,2] $ 中稠密且支持纯点谱。
• 奇异连续谱的局部豪斯多夫维数为 $ 1 - \frac{\ln(1 + v^2/(4 - \lambda^2))}{\ln \beta} $，在奇异连续区域中几乎处处为正。
• 谱测度对所有 $ \alpha > 0 $ 均为 $ \alpha $-奇异，表明奇异连续谱的豪斯多夫维数为零，与谱相变在秩一扰动下稳定一致。
• 对于次指数稀疏性，谱为纯纯点谱；对于超指数稀疏性，谱为纯奇异连续谱，确认相变对稀疏率的敏感性。
• 该方法提供了对纯点谱的鲁棒且显式刻画，弥补了早期证明中的空白，为稀疏随机算子的谱分析提供了新且自然的框架。