[論文レビュー] Spectral distributions and isospectral sets of tridiagonal matrices

Peter C. Gibson|ArXiv.org|Jul 3, 2002

Random Matrices and Applications参考文献 8被引用数 6

ひとこと要約

本稿は、標準単体の吹き上げ構成を用いて、有限にサポートされた確率分布の系列と対称三重対角行列の間の位相的対応を確立し、スペクトル写像における不確定性を解消する。主な貢献は、パrameter空間上の多面体複体構造を用いて、一般の等スペクトル集合のオイラー特徴標数が接線数であることを証明し、その母関数が tanh(x) であることを示したことである。

ABSTRACT

We analyze the correspondence between finite sequences of finitely supported probability distributions and finite-dimensional, real, symmetric, tridiagonal matrices. In particular, we give an intrinsic description of the topology induced on sequences of distributions by the usual Euclidean structure on matrices. Our results provide an analytical tool with which to study ensembles of tridiagonal matrices, important in certain inverse problems and integrable systems. As an application, we prove that the Euler characteristic of any generic isospectral set of symmetric, tridiagonal matrices is a tangent number.

研究の動機と目的

• 確率分布の系列にその対応する直和のジャコビ行列によって誘導される内在的位相を扱う。
• 標準単体の境界上で、分布から三重対角行列へのスペクトル写像の不確定性を解消する。
• 単体の吹き上げを構成し、吹き上げ空間と行列多様体の閉包との間のホメオモーティズムを得る。
• 多面体複体を用いて、対称三重対角行列の等スペクトル集合の面的構造を特徴付ける。
• これらの等スペクトル集合のオイラー特徴標数を計算し、その母関数を同定する。

提案手法

• 固定スペクトル Λ を持つジャコビ行列多様体 M への写像 f を標準 d-単体 S から定義する。f は内部ではホメオモーティズムだが、境界では特異的である。
• ∂S を中心とする単体 S の吹き上げ (B, π) を構成し、f の不確定性を解消する。これにより、新たな位相的構造を持つ空間 B が得られる。
• 吹き上げ空間 B と M̄（M の閉包）との間のホメオモーティズム h: B → M̄ を確立する。これにより、吹き上げを用いた行列多様体のグローバルパラメータ化が可能になる。
• 等スペクトル集合 T_Λ に於いて、符号ベクトル ε ∈ E = {±1}^d を用いた、置換体 P_d を同値関係で貼り合わせることで、多面体複体 P^d を定義する。
• P^d の面的構造を用いて、特に各次元の面の数を数えることにより、トポロジカル不変量（特にオイラー特徴標数）を計算する。
• フロベニウスによるオイラー多項式の表現と既知の母関数を用い、P^d のオイラー特徴標数が tanh(x) の x^d/d! の係数に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限にサポートされた確率分布の系列に、それらが対称三重対角行列に対応することによって誘導される内在的位相は何か？
• RQ2 確率単体の境界上での特異性を解消するために、分布からジャコビ行列へのスペクトル写像をどのように正則化できるか？
• RQ3 固定スペクトルを持つ対称三重対角行列の等スペクトル集合の位相的構造は何か？
• RQ4 このような等スペクトル集合のオイラー特徴標数はどのように計算され、その母関数は何か？
• RQ5 関連する多面体複体 P^d が示す組合せ的および幾何的性質は何か？

主な発見

• 吹き上げ構成 (B, π) は、標準単体の境界上でのスペクトル写像 f の不確定性を解消し、ホメオモーティズム h: B → M̄ を与える。
• d×d 対称三重対角行列の等スペクトル集合 T_Λ のオイラー特徴標数は、χ(P^d) = ∑_{q=1}^d (−2)^{d−q} q! S(d,q) で与えられ、ここで S(d,q) は第二種スターリング数である。
• d=3 の場合、オイラー特徴標数は −2 であり、T_Λ が二穴あきトーラスであることを示唆する。
• P^d のオイラー特徴標数の母関数は tanh(x) であり、χ(P^d) = [x^d/d!] tanh(x) である。
• 多面体複体 P^d は 2^{d−1} 個の異なる面を持ち、形式 P_d × {ε} をとる。また、各 n 次元面は d 個の要素を d−n 個のブロックに分割することに対応する。
• P^3 のペトリーゴンは、すべての辺をちょうど一度ずつ被覆しており、極めて対称的で特異な組合せ的構造を示している。