[論文レビュー] Distance matrices and isometric embeddings

E. Bogomolny, O. Bohigas+1 more|ArXiv.org|Oct 10, 2007

Matrix Theory and Algorithms参考文献 10被引用数 9

ひとこと要約

この論文は、ユークリッド空間または球面空間の点から導かれる距離行列が、等長埋め込みの性質により、唯一つの固有値を除きすべての固有値が非正であることを確立している。主な貢献は、等長埋め込みの性質によって定義される負型行列（negative type matrices）とスペクトル制約を結びつける簡単な証明であり、両空間における指数 γ ≤ 1 のべき変換距離に対しても一般化されている。

ABSTRACT

We review the relations between distance matrices and isometric embeddings and give simple proofs that distance matrices defined on euclidean and spherical spaces have all eigenvalues except one non-negative. Several generalizations are discussed.

研究の動機と目的

• ユークリッド空間および球面空間における距離行列が一貫して唯一つの固有値を除き非正となる現象を、当初は数値的に観察されたものであるが、その理由を説明すること。
• 幾何的性質（等長埋め込み）と距離行列のスペクトル的性質（固有値の符号）との間のギャップを埋めること。
• シューベルグの業績に基づく既知の結果を、ランダム行列理論および物理学者のコミュニティが理解しやすい形で、自立的かつ包括的に証明すること。
• ユークリッドおよび球面幾何における両空間に対して、γ ≤ 1 のべき変換距離行列への固有値の非正性の性質の一般化を提供すること。
• このような行列の特定の指数関数的変換が正定値であることを示し、カーネル法や統計物理学への応用を支援すること。

提案手法

• 負型行列の概念を用いる：行列が負型であるとは、すべての固有値が非正であるが、唯一つの固有値だけが正であることを意味する。
• 有限距離空間がユークリッド空間に等長埋め込み可能であるための必要十分条件として、二乗距離行列が負型であることの確立。
• シムプルクスの体積公式を導出するために、ケイリー＝メンジャー行列式を適用し、幾何的不変量と行列式を結びつける。
• 負型行列である行列に対して、その要素を γ ∈ (0,1] のべき乗に上げても、負型性が保たれることの証明。
• ゼロ和のベクトルに対する二次形式が非正であることを示すことにより、球面上の測地的距離行列が負型であることを証明。
• 負定値行列の指数関数（例：exp(−λ²||x_i−x_j||²)）が正定値であるという事実を用い、両空間における γ ≤ 1 への拡張を示す。

実験結果

リサーチクエスチョン

• RQ1 なぜユークリッド空間および球面空間における距離行列は、一貫して唯一つの固有値を除きすべての固有値が非正となるのか？
• RQ2 距離行列が唯一つの固有値を除き非正の固有値を持つために必要な幾何的条件は何か？
• RQ3 負型であることの性質は、ユークリッド空間への等長埋め込みとどのように関係しているか？
• RQ4 どの指数 γ に対して、M_ij ↦ [distance_ij]^γ の変換が、唯一つの固有値を除きすべての固有値の非正性を保つのか？
• RQ5 距離行列のスペクトル的性質は、指数関数的カーネルへ一般化可能か？正定値性を保証する条件は何か？

主な発見

• ユークリッド空間および球面空間における距離行列は負型である。つまり、唯一つの固有値を除き、すべての固有値が非正である。
• この性質は、これらの空間がユークリッド空間に等長埋め込み可能であることに起因し、負型行列を特徴付ける。
• γ ∈ (0,1] に対して、[distance_ij]^γ の行列は、ユークリッド空間および球面空間の両方で負型のままであり、固有値制約が保たれる。
• exp(−λ²||x_i−x_j||²) を要素とする行列は、λ > 0 に対してすべてのγ = 1で正定値であり、γ ≤ 1 へ拡張可能である。
• 球面上では、[arccos(x_i·x_j)]^γ（γ ∈ (0,1]）を要素とする行列も負型であり、同じ固有値のパターンが保証される。
• ケイリー＝メンジャー行列式は、シムプルクスの体積の幾何的基礎を提供し、二乗距離から構築された行列の行列式と結びつける。