[论文解读] Multiplicity theorem of singular Spectrum for general Anderson type Hamiltonian

Anish Mallick, Dhriti Ranjan Dolai|arXiv (Cornell University)|Sep 6, 2017

Spectral Theory in Mathematical Physics参考文献 22被引用 3

一句话总结

该论文为具有有限秩、非负随机扰动的安德森型哈密顿量的奇异谱建立了通用的重数界。通过谱理论和矩阵值赫尔格洛茨函数，证明了几乎必然地，奇异谱的重数被 $\sqrt{C_n}(A^\omega - z)^{-1}\sqrt{C_n}$ 的特征值的最大代数重数所上界，且在某些情况下该界是紧确的。

ABSTRACT

In this work, we focus on the multiplicity of singular spectrum for operators of the form $A^ω=A+\sum_{n}ω_n C_n$ on a separable Hilbert space $\mathcal{H}$, for a self-adjoint operator $A$ and a countable collection $\{C_n\}_{n}$ of non-negative finite rank operators. When $\{ω_n\}_n$ are independent real random variables with absolutely continuous distributions, we show that the multiplicity of singular spectrum is almost surely bounded above by the maximum algebraic multiplicity of eigenvalues of $\sqrt{C_n}(A^ω-z)^{-1}\sqrt{C_n}$ for all $n$ and almost all $(z,ω)$. The result is optimal in the sense that there are operators where the bound is achieved. Using this, we also provide effective bounds on multiplicity of singular spectrum for some special cases.

研究动机与目标

• 确定形如 $A^\omega = A + \sum_n \omega_n C_n$ 的一类随机算子的奇异谱重数的几乎必然上界。
• 将雅克西奇-拉斯特和马利克等人关于谱重数的先前结果推广到更广泛的有限秩扰动类。
• 通过在分析中避免对谱类型的区分，统一处理点谱与奇异连续谱。
• 为特殊情形（如安德森二聚体/聚合物模型）提供谱重数的有效界。
• 通过构造示例证明所导出的界是最优的。

提出的方法

• 在可分希尔伯特空间 $\mathscr{H}$ 上定义随机算子 $A^\omega = A + \sum_n \omega_n C_n$，其中 $A$ 为自伴算子，$\{C_n\}$ 为有限秩、非负算子。
• 利用预解式 $ (A^\omega - z)^{-1} $ 并将其投影到每个 $C_n$ 的像上，定义算子 $ G^\omega_{n,n}(z) = P_n (A^\omega - z)^{-1} P_n $ 于 $P_n\mathscr{H}$ 上。
• 分析矩阵值赫尔格洛茨函数 $ G^\omega_{n,n}(z) $，其编码了包含 $P_n\mathscr{H}$ 的最小 $A^\omega$-不变子空间上的谱数据。
• 定义 $ \text{Mult}^\omega_n(z) $ 为 $ \det(C_n G^\omega_{n,n}(z) - xI) $ 的根的最大代数重数，等价于 $ \sqrt{C_n}(A^\omega - z)^{-1}\sqrt{C_n} $ 的代数重数。
• 应用泛函演算和相似变换，将行列式与算子 $ \sqrt{C_n}(A^\omega - z)^{-1}\sqrt{C_n} $ 关联，保持谱性质不变。
• 利用谱测度和拉东-尼科迪姆导数的论证，证明奇异谱重数几乎必然被 $ \text{Mult}^\omega_n(z) $ 在 $n$ 和 $z$ 上的essential supremum 所上界。

实验结果

研究问题

• RQ1 对于具有有限秩、非负随机扰动的一般安德森型哈密顿量，奇异谱重数的几乎必然上界是什么？
• RQ2 奇异谱重数能否在所有随机参数 $\omega_n$ 的实现中一致有界？
• RQ3 所导出的界是否最优？若是，在何种条件下可达到？
• RQ4 奇异谱重数如何与限制在 $C_n$ 的像上的预解式谱性质相关？
• RQ5 该方法能否推广到扰动非正交或具有重叠支撑的情形？

主要发现

• $A^\omega$ 的奇异谱重数几乎必然被 $\sqrt{C_n}(A^\omega - z)^{-1}\sqrt{C_n}$ 的代数重数的 essential supremum 所上界。
• 该界在意义是紧确的，即存在算子使得奇异谱重数几乎必然达到此上界。
• 该结果统一适用于纯点谱与奇异连续谱，分析中无需区分谱类型。
• 该方法依赖于从限制在有限维子空间上的预解式导出的矩阵值赫尔格洛茨函数的谱性质。
• 证明利用了谱测度的拉东-尼科迪姆导数以及投影到循环子空间的方法，将重数与预解核算子的特征值结构关联。
• 该结果推广了关于秩一扰动模型中谱简并性的先前发现，并为分析随机算子中更高重数谱提供了框架。