[论文解读] Uniform existence of the integrated density of states for combinatorial and metric graphs over Z^d

Michael J. Gruber, Daniel Lenz+1 more|arXiv (Cornell University)|Dec 11, 2007

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

一句话总结

该论文建立了在 ℤ^d 上具有随机势、边界条件和度量的组合图与度量图上的随机薛定谔算符的积分态密度（IDS）的统一存在性。通过 Banach 空间值遍历定理，证明了有限体积本征值计数函数在能量上一致收敛于 IDS，该 IDS 由 Shubin-Pastur 迹公式表征，并且其不连续点恰好出现在具有紧支集本征函数的能量处。

ABSTRACT

We give an overview and extension of recent results on ergodic random Schrödinger operators for models on $\mathbb{Z}^d$. The operators we consider are defined on combinatorial or metric graphs, with random potentials, random boundary conditions and random metrics taking values in a finite set. We show that normalized finite volume eigenvalue counting functions converge to a limit uniformly in the energy variable, at least locally. This limit, the integrated density of states (IDS), can be expressed by a closed Shubin-Pastur type trace formula. The set of points of increase of the IDS supports the spectrum and its points of discontinuity are characterized by existence of compactly supported eigenfunctions. This applies to several examples, including various periodic operators and percolation models.

研究动机与目标

• 建立在 ℤ^d 上的组合图与度量图上的随机薛定谔算符的积分态密度（IDS）在能量上一致存在的证明。
• 将遍历定理框架扩展至图模式上的 Banach 空间值函数，以处理几何与势的随机性。
• 以紧支集本征函数为依据，表征 IDS 的不连续点。
• 在单一分析框架下统一周期性、非周期性与渗透模型的结果。
• 通过 Shubin-Pastur 类型表达式，为 IDS 提供闭式迹公式。

提出的方法

• 将 [LMV] 中的 Banach 空间值遍历定理适配于 ℤ^d 的有限子图上的本征值计数函数。
• 定义 ℤ^d 的着色以分类局部几何与势的构型，确保有限局部复杂度。
• 应用遍历定理，证明归一化有限体积本征值计数函数在能量上的一致收敛性。
• 通过谱平均与迹类性质，推导出 IDS 的 Shubin-Pastur 类型迹公式。
• 通过紧支集本征函数的存在性分析 IDS 的支集，将不连续性与局部几何特征相联系。
• 将结果从组合图与度量图扩展至具有随机边长的度量图，引入新的收敛结果。

实验结果

研究问题

• RQ1 在何种条件下，归一化有限体积本征值计数函数在具有随机几何的 ℤ^d 图上，于能量上一致收敛于积分态密度？
• RQ2 在随机图模型中，IDS 的不连续性如何与紧支集本征函数的存在性相关？
• RQ3 能否为 ℤ^d 上组合图与度量图上的随机薛定谔算符，推导出 IDS 的统一迹公式？
• RQ4 几何随机性（如随机边长或边界条件）在多大程度上诱导 IDS 的不连续性？
• RQ5 遍历定理框架能否扩展至具有无限局部复杂度或非交换群作用的模型？

主要发现

• 即使在具有随机势、边界条件与度量的情况下，随机薛定谔算符在 ℤ^d 上的组合图与度量图上，其积分态密度（IDS）在能量上也一致存在。
• IDS 由闭式 Shubin-Pastur 类型迹公式给出，通过迹类平均将之与算子的谱性质相联系。
• IDS 的不连续性恰好出现在支持紧支集本征函数的能量处，建立了局部几何与谱奇异点之间的直接联系。
• 尽管存在不连续性（仅由几何随机性引起），有限体积本征值计数函数对 IDS 的一致收敛性依然成立。
• 该结果适用于广泛模型，包括 ℤ^d 上的周期性、非周期性与渗透型算符，统一了此前分离的案例。
• 该方法提供了误差估计并控制了收敛的例外零测集，在最小系统与唯一遍历系统中，收敛性处处成立，具有重要意义。