[論文レビュー] 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)$ 時間で行列式を計算する手法を導出する。これは、$k$-周期的構造を有する非エルミート系へ、Widom の定理を拡張したものである。

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$ を含む三重対角 $k$-Toeplitz 行列のスペクトル解析を一般化すること。
• 行列サイズを増加させる際の特性多項式の極限零点の存在と収束を確立すること。
• 条件付き $k^{\text{th}}$ 階係数多項式を用いて、固有モードの連続的スペクトル支持を特徴づけること。
• 連続的スペクトル支持の外側に存在する最大 $2k$ 個の固有値を特定・定量すること。
• 任意のサイズの三重対角 $k$-Toeplitz 行列の行列式を $O(k)$ 操作で効率的に計算するアルゴリズムを提供すること。

提案手法

• 三重対角 $k$-Toeplitz 行列の特性多項式に対して、複素数 $5c\mathbb{C}$ に属する係数を有する $k$ 項の漸化式を定式化する。
• 極限スペクトル支持を決定する条件付き $k^{\text{th}}$ 階係数多項式を導入する。
• Widom の条件付き定理およびその最近の拡張を適用し、特殊な場合を除き極限スペクトルの存在を正当化する。
• 数値的例を用いて理論的結果を検証し、スペクトル収束性と構造を図示する。
• 漸化式構造を活用し、$O(k)$ 操作で任意の三重対角 $k$-Toeplitz 行列の行列式に対する閉形式表現を導出する。
• 特に、連続スペクトルの外縁に現れる離散的オーバーサンプル固有値の出現に注目し、漸化式構造とスペクトル挙動の相互作用を分析する。

実験結果

リサーチクエスチョン

• RQ1 三重対角 $k$-Toeplitz 行列のスペクトルは、行列サイズが増加する際、特に複素数かつ非エルミートな成分を有する場合、どのように振る舞うか？
• RQ2 $k^{\text{th}}$ 階係数多項式は、このような行列の極限スペクトル支持を決定する上で果たす役割は何か？
• RQ3 ブロック・Toeplitz 演算子に関する Widom の定理は、非エルミートな三重対角 $k$-Toeplitz システムへ拡張可能か？また、どのような条件下で失敗するか？
• RQ4 連続的スペクトル支持の外側に存在する固有値は最大いくつであり、主なスペクトルに対してどのように分布しているか？
• RQ5 三重対角 $k$-Toeplitz 行列の行列式を計算する際の計算量は何か？また、$O(k)$ 操作に低減可能か？

主な発見

• 三重対角 $k$-Toeplitz 行列の特性多項式の極限零点は、条件付き $k^{\text{th}}$ 階係数多項式によって決定される連続的スペクトル支持に収束する。
• スペクトルは、係数多項式によって決定される連続的成分と、最大 $2k$ 個の孤立した固有値（この集合の外側に存在）から成る。
• Widom の定理およびその最近の拡張を用いて、特殊な退化ケースを除き、連続的スペクトル支持が厳密に正当化される。
• 数値的結果により、固有値が予測された極限スペクトル支持に収束することが確認され、オーバーサンプル固有値の構造が明確に図示された。
• 任意の三重対角 $k$-Toeplitz 行列の行列式を、行列サイズに依存しない $O(k)$ 時間で計算する効率的アルゴリズムが導出された。
• 本枠組みは、エルミートまたは定数周期のケースに限定された先行研究を拡張し、一般に複素数かつ非エルミート系に適用可能である。