[论文解读] Chain models and the spectra of tridiagonal k-Toeplitz matrices

M. P. Hariprasad, Murugesan Venkatapathi|arXiv (Cornell University)|Jun 17, 2015

Matrix Theory and Algorithms参考文献 12被引用 4

一句话总结

该论文提出了一种通用框架，用于分析三对角 $k$-Toeplitz 矩阵的谱——代表周期链模型中的本征模——采用 $k$-阶递推关系和复系数。它建立了极限谱零点的存在性与收敛性，通过一个条件系数多项式确定了连续谱支撑，并推导出一种 $O(k)$ 的行列式计算方法，将 Widom 定理扩展至具有 $k$-周期结构的非厄米系统。

ABSTRACT

Chain models can be represented by a tridiagonal matrix with periodic entries along its diagonals. Eigenmodes of open chains are represented by spectra of such tridiagonal $k$-Toeplitz matrices, where $k$ represents length of the repeated unit, allowing for a maximum of $k$ distinct types of elements in the chain. We present an analysis that allows for generality in $k$ and values in $\mathbb{C}$ representing elements of the chain, including non-Hermitian systems. Numerical results of spectra of some special $k$-Toeplitz matrices are presented as a motivation. This is followed by analysis of a general tridiagonal $k$-Toeplitz matrix of increasing dimensions, beginning with 3-term recurrence relations between their characteristic polynomials involving a $k^{th}$ order coefficient polynomial, with the variables and coefficients in $\mathbb{C}$. The existence of limiting zeros for these polynomials and their convergence are established, and the conditioned $k^{th}$ order coefficient polynomial is shown to provide a continuous support for the limiting spectra representing modes of the chain. This analysis also includes the at most $2k$ eigenvalues outside this continuous set. It is shown that this continuous support can as well be derived using Widom's conditional theorems (and its recent extensions) for the existence of limiting spectra for block-Toeplitz operators, except in special cases. Numerical examples are used to graphically demonstrate theorems. As an addendum, we derive expressions for $O(k)$ computation of the determinant of tridiagonal $k$-Toeplitz matrices of any dimension.

研究动机与目标

• 将三对角 $k$-Toeplitz 矩阵的谱分析从厄米和常周期情形推广至包含复系数和任意 $k$ 的情形。
• 建立随着矩阵维数增大时特征多项式极限零点的存在性与收敛性。
• 通过一个条件 $k^{\text{th}}$-阶系数多项式表征本征模的连续谱支撑。
• 识别并量化位于连续谱支撑之外的至多 $2k$ 个本征值。
• 提供一种高效的 $O(k)$ 算法，用于计算任意大小的三对角 $k$-Toeplitz 矩阵的行列式。

提出的方法

• 为三对角 $k$-Toeplitz 矩阵的特征多项式建立一个含复系数 $\mathbb{C}$ 的 $k$-项递推关系。
• 引入一个条件 $k^{\text{th}}$-阶系数多项式，用于确定本征值的极限谱支撑。
• 应用 Widom 的条件定理及其最新扩展，以证明极限谱的存在性，除特殊情况外。
• 通过数值例子验证理论结果，并说明谱的收敛性与结构。
• 利用递推结构推导出任意三对角 $k$-Toeplitz 矩阵行列式的闭式表达式，通过 $O(k)$ 次操作完成。
• 分析递推结构与谱行为之间的相互作用，特别关注位于连续谱之外的离散异常值的出现。

实验结果

研究问题

• RQ1 随着矩阵规模增大，三对角 $k$-Toeplitz 矩阵的谱行为如何，特别是对于复数非厄米元素？
• RQ2 第 $k^{\text{th}}$-阶系数多项式在确定此类矩阵极限谱支撑中起什么作用？
• RQ3 Widom 关于块 Toeplitz 算子的定理能否扩展至非厄米三对角 $k$-Toeplitz 系统？在何种条件下会失效？
• RQ4 有多少个本征值位于连续谱支撑之外？它们相对于主谱如何分布？
• RQ5 计算三对角 $k$-Toeplitz 矩阵行列式的计算复杂度是多少？能否将其降低至 $O(k)$ 次操作？

主要发现

• 三对角 $k$-Toeplitz 矩阵特征多项式的极限零点收敛至由条件 $k^{\text{th}}$-阶系数多项式决定的连续谱支撑。
• 谱由连续部分（由系数多项式决定）和至多 $2k$ 个孤立本征值组成，位于该集合之外。
• 通过 Widom 定理及其最新扩展，严格证明了连续谱支撑的存在性，除特殊情况外。
• 数值结果证实了本征值向预测极限支撑的收敛性，并展示了异常本征值的结构。
• 推导出一种高效的 $O(k)$ 算法，用于计算任意三对角 $k$-Toeplitz 矩阵的行列式，且与矩阵大小无关。
• 该框架可广泛应用于复数非厄米系统，将先前局限于厄米或常周期情形的结果进行了推广。