[论文解读] Spectral properties of Anderson-percolation Hamiltonians

Ivan Veselić|ArXiv.org|Aug 7, 2006

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

一句话总结

本文研究了在 $π^d$ 上的随机渗滤图上 Anderson-渗滤哈密顿量的谱性质，证明了谱及其各组成部分几乎必然为非随机的。在特定条件下，证明了态密度积分（IDS）的连续性，并推导出Wegner型估计，表明在某些能量区间内谱为纯离散谱，且本征函数呈指数局域化；同时，本征值构成一个高度波动的集合，严格位于有限支撑与纯点谱分量之间。

ABSTRACT

This is a slightly enlarged and corrected version of a contribution to the Oberwolfach Reports 3(1):511-552, 2006. We summarise some results on spectral properties of Laplacians on percolation graphs and more general Anderson-percolation Hamiltonians proven in references [4], [5], [6], and [7]. For some specific examples of such operators more detailed spectral properties are discussed.

研究动机与目标

• 建立随机渗滤图上Anderson-渗滤哈密顿量的谱分量（本质谱、纯点谱、离散谱等）几乎必然为非随机的性质。
• 刻画积分态密度（IDS）及其与谱的关系，尤其在i.i.d.和平稳遍历随机势场下的情形。
• 推导IDS的Wegner型估计，并分析其正则性，包括绝对连续性及态密度的界。
• 研究本征值的结构，区分具有有限支撑的本征值（$\Sigma_{\text{fin}}$）与完整纯点谱（$\Sigma_{\text{pp}}$），并分析其相对位置。
• 通过结合Wegner估计与多尺度分析，证明在Lifshitz尾区的局域化现象，表明在某些能量区间内不存在连续谱。

提出的方法

• 分析基于 $π^d$ 上的概率空间 $(\Omega, \mathcal{A}, \mathbb{P})$，其中包含i.i.d.或平稳遍历的随机变量 $q(\omega,x)$，通过保留满足 $q(\omega,x) < \infty$ 的顶点，定义随机子图 $X(\omega)$。
• 在 $\ell^2(X(\omega))$ 上定义哈密顿量 $H_\omega = A_\omega + q(\omega, \cdot)$，其中 $A_\omega$ 为随机图 $X(\omega)$ 上的邻接算子。
• 积分态密度（IDS）定义为 $N(E) = \mathbb{E}[\langle \delta_0, \chi_{(-\infty,E]}(H_\omega) \delta_0 \rangle]$，其分布测度 $\nu$ 用于刻画谱的性质。
• 定理表明，对几乎所有 $\omega \in \Omega'$，有 $\sigma(H_\omega) = \Sigma$ 且 $\sigma_\bullet(H_\omega) = \Sigma_\bullet$，其中 $\bullet \in \{\text{disc}, \text{ess}, \text{ac}, \text{sc}, \text{pp}, \text{fin}\}$。
• 推导出Wegner型估计：若 $\mu$ 在 $]a-2d,b+2d[$ 上绝对连续且密度有界，则 $\mathbb{E}[\mathrm{Tr}[\chi_I(H_\omega^L)]] \leq C|I|L^d$，从而对IDS密度给出统一有界性。
• 应用多尺度分析表明，在 $\min \Sigma = -2d$ 附近的Lifshitz尾区，谱几乎必然为纯离散谱，且本征函数呈指数局域化。

实验结果

研究问题

• RQ1 Anderson-渗滤哈密顿量的谱是否几乎必然为非随机？其与积分态密度支持的关系如何？
• RQ2 在何种条件下IDS是连续的？其密度可被施加何种界？
• RQ3 具有有限支撑的本征值集合 ($\Sigma_{\text{fin}}$) 与纯点谱集合 ($\Sigma_{\text{pp}}$) 之间有何关系？完整本征值集合的结构如何？
• RQ4 能否为这一类随机哈密顿量建立Wegner估计？其对IDS正则性有何影响？
• RQ5 在Lifshitz尾区，谱是否表现出局域化？能否通过多尺度分析证明此现象？

主要发现

• 谱 $\sigma(H_\omega)$ 及其所有分量（$\sigma_{\text{disc}}, \sigma_{\text{ess}}, \sigma_{\text{ac}}, \sigma_{\text{sc}}, \sigma_{\text{pp}}, \sigma_{\text{fin}}$）在几乎所有 $\omega \in \Omega'$ 下几乎必然为非随机，分别等于确定性集合 $\Sigma, \Sigma_\bullet$。
• 若 $\mu$ 在有限值处无原子，则积分态密度 $N(E)$ 是连续的，且在 $\mu$ 绝对连续且密度有界的区间内，其密度有界于 $C$。
• $\Sigma_{\text{fin}}$（具有有限支撑本征函数的本征值集合）等于 $\tilde{\Sigma} = \{E \in \mathbb{R} \mid \exists \text{ 有限 } G \subset \mathbb{Z}^d, f \in \ell^2(G) \text{ 满足 } H^G f = E f\}$，且在 $[-2d, 2d]$ 中稠密，由代数整数构成。
• 在能量区间 $U = [-2d, -2d + \alpha]$（$\alpha \in (0,1)$）内，$H_\omega$ 的谱几乎必然为纯离散谱，且本征函数呈指数局域化，IDS 在此区域绝对连续。
• $\sigma_\epsilon(H_\omega)$（完整本征值集合）几乎必然严格夹在 $\Sigma_{\text{fin}}$ 与 $\Sigma_{\text{pp}}$ 之间，即 $\Sigma_{\text{fin}} \subsetneqq \sigma_\epsilon(H_\omega) \subsetneqq \Sigma_{\text{pp}}$，表明本征值分布高度波动。
• 对于 $\mu = \frac{1}{3}\chi_{[0,1]} + \frac{1}{3}\delta_{4d} + \frac{1}{3}\delta_\infty$，Wegner估计对所有 $E < 2d$ 成立，且在此类区域IDS具有有界密度。