[論文レビュー] Integer symmetric matrices having all their eigenvalues in the interval [-2,2]

James McKee, Chris Smyth|arXiv (Cornell University)|May 24, 2007

Graph theory and applications参考文献 5被引用数 8

ひとこと要約

この論文は、符号付きグラフおよび charged signed グラフを組み合わせ的モデルとして用い、すべての固有値が区間 $[-2,2]$ 内にある整数対称行列を完全に分類している。シューア行列の完全な特徴付けがなされ、$(-2,2)$ 内の固有値をもつものも含む。また、根系、コクセター図、チェビシェフ多項式との関連が確立されている。

ABSTRACT

We completely describe all integer symmetric matrices that have all their eigenvalues in the interval [-2,2]. Along the way we classify all signed graphs, and then all charged signed graphs, having all their eigenvalues in this same interval. We then classify subsets of the above for which the integer symmetric matrices, signed graphs and charged signed graphs have all their eigenvalues in the open interval (-2,2).

研究の動機と目的

• すべての固有値が区間 $[-2,2]$ 内にある整数対称行列を分類すること。
• J.H. Smith の $[-2,2]$ の分類を拡張すること。
• すべての固有値が開区間 $(-2,2)$ 内にあるような行列を分類し、分解不能な例外の無限族を同定すること。
• これらの行列と有限反射群、コクセター図、根系との関連を確立すること。

提案手法

• 最大の分解不能行列への分類の簡略化にコーシーの交錯定理を用いる。
• $[-2,2]$ 内の整数を成分とする対称行列をモデル化する。
• 隣接行列を用いて符号付きグラフおよび charged signed グラフを定義・分類する。
• 強い同値性およびスイッチング操作を用いて行列を標準形に還元する。
• チェビシェフ多項式を用いて、既存のシューア行列から新しいシューア行列を生成する。
• 固有値が $[-2,2]$ 内にあることは、単位根 $\omega$ に対して $\omega + \omega^{-1}$ に一致することを活用し、円分多項式と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 すべての固有値が $[-2,2]$ 内にある整数対称行列は何か？
• RQ2 すべての固有値が $[-2,2]$ 内にある符号付きおよび charged signed グラフは何か？
• RQ3 開区間 $(-2,2)$ 内の固有値は、閉区間のものと構造的にどのように異なるか？
• RQ4 シューア行列と有限反射群または根系との関連は何か？
• RQ5 チェビシェフ多項式を用いて、既存のシューア行列から新しいシューア行列を生成できるか？

主な発見

• すべての固有値が $[-2,2]$ 内にある整数対称行列は完全に分類されており、特徴多項式が $z^n \chi_A(z + 1/z) = \text{円分多項式}$ を満たすシューア行列に対応する。
• すべての固有値が $[-2,2]$ 内にある符号付きグラフは分類されており、$S_{14}$ を含む14個の例外的グラフを含む。$\mathbb{Z}/7\mathbb{Z}$ を用いたモジュラー構成が存在する。
• すべての固有値が $[-2,2]$ 内にある charged signed グラフは完全に分類されており、パスおよびサイクル構造に基づく再帰的関係から特徴多項式が導かれる。
• 固有値が $(-2,2)$ 内にある場合、任意のより大きな行列に含まれない分解不能な無限族が存在するが、閉区間の場合とは異なり、このような無限族は存在しない。
• 定理4のニュートラル符号付きグラフの非符号付き版は、$\mathcal{D}_n$ ($n \geq 4$) および $\mathcal{E}_8$ の根系の基底から生じるすべてのコクセター図を分類する。
• チェビシェフ多項式 $\mathcal{T}_n(x)$ は $\mathcal{T}_n(z + 1/z) = z^n + z^{-n}$ を満たし、任意のシューア行列 $A$ に対して $\mathcal{T}_n(A)$ もシューア行列である。