[论文解读] Eigenvalue curves of asymmetric tridiagonal random matrices

Goldsheid, I. Ya., Khoruzhenko, B. A.|ArXiv.org|Nov 1, 2000

Quantum chaos and dynamical systems参考文献 17被引用 25

一句话总结

本文分析了具有周期边界条件的大规模非对称三对角随机矩阵的特征值分布，证明当矩阵大小 n→∞ 时，特征值收敛于复平面上的非随机曲线。通过参考对称问题的李雅普诺夫指数和态密度积分，作者推导出这些特征值曲线及其密度的显式方程，基于矩阵元素的统计特性解释了实谱与复谱之间的转变。

ABSTRACT

Random Schroedinger operators with imaginary vector potentials are studied in dimension one. These operators are non-Hermitian and their spectra lie in the complex plane. We consider the eigenvalue problem on finite intervals of length n with periodic boundary conditions and describe the limit eigenvalue distribution when n goes to infinity. We prove that this limit distribution is supported by curves in the complex plane. We also obtain equations for these curves and for the corresponding eigenvalue density in terms of the Lyapunov exponent and the integrated density of states of a "reference" symmetric eigenvalue problem. In contrast to these results, the spectrum of the limit operator in l^2(Z) is a two dimensional set which is not approximated by the spectra of the finite-interval operators.

研究动机与目标

• 理解具有周期边界条件的有限非对称三对角随机矩阵的极限谱分布。
• 通过严格的数学分析，解释哈塔诺与尼尔森通过数值计算观察到的复平面上特征值曲线的出现。
• 建立适用于矩阵元素任意概率分布的一般框架，无需限制于特定渐近区域或分布类型。
• 阐明有限矩阵谱与 l²(Z) 上对应无限随机算子 J 的谱之间的根本差异，表明有限谱并不逼近无限算子的谱。

提出的方法

• 作者研究大小为 n 的有限区间上的特征值问题，采用周期边界条件，建模具有虚矢量势的非厄米随机薛定谔算子。
• 使用转移矩阵技术，并通过分析转移矩阵范数的增长率来定义李雅普诺夫指数，这是谱分析的关键工具。
• 利用 Thouless 公式推导极限特征值分布，该公式将李雅普诺夫指数与对数势能及态密度积分（IDS）联系起来。
• 该方法依赖次调和函数理论，以及矩阵范数和谱测度的几乎必然收敛性，以建立复平面上紧致子集上的一致收敛性。
• 作者证明特征值集中在复平面上的曲线上，其密度由李雅普诺夫指数对谱参数的导数以及参考对称问题的 IDS 决定。
• 分析区分了实谱与复谱区域，表明转变取决于矩阵元素的统计特性。

实验结果

研究问题

• RQ1 当 n→∞ 时，具有周期边界条件的大规模非对称三对角随机矩阵的特征值在复平面上如何分布？
• RQ2 是什么决定了极限特征值分布位于实轴上还是形成复平面上的曲线？
• RQ3 有限矩阵 J_n 的谱与 l²(Z) 上无限随机算子 J 的谱有何关系？
• RQ4 能否利用对称参考问题的李雅普诺夫指数和态密度积分，对特征值曲线及其密度进行解析描述？
• RQ5 为何数值模拟显示，当非对角元素为正时，特征值曲线稳定且样本无关；而当非对角元素符号混合时，却呈现二维分布？

主要发现

• 在矩阵元素满足一般 i.i.d. 假设下，J_n 的特征值以几乎必然的方式收敛于复平面上的非随机曲线，当 n→∞ 时。
• 极限特征值分布的支撑集由李雅普诺夫指数和参考对称三对角矩阵的态密度积分决定。
• 这些曲线上特征值的密度由李雅普诺夫指数对谱参数的导数给出，从而对分布提供了定量描述。
• 无限矩阵 J 在 l²(Z) 上的谱是一个二维集合，且不被有限矩阵 J_n 的谱所逼近，凸显了有限系统与无限系统之间的根本差异。
• 当非对角元素均值为零时（例如关于零对称），极限分布变为二维；当非对角元素为正时，特征值集中于曲线上，解释了模拟中观察到的转变现象。
• 谱测度在复平面上除去实轴的紧致子集上一致收敛，且李雅普诺夫指数控制着转移矩阵范数的渐近行为。