[論文レビュー] No two starlikes have equal index

Elismar R. Oliveira, Dragan Stevanović+1 more|arXiv (Cornell University)|Apr 5, 2017

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

ひとこと要約

この論文は、3つ以上の頂点をもつ非同型のスターリンク型木すべてについて、それらのスペクトル半径（固有値の最大値）が相異なることを証明しており、さらに、それらの固有値が対応する次数分割の辞書式順序に従って厳密に順序付け可能であることを示している。証明は、特にジャクブス＝トレビザン固有値数え上げアルゴリズムとスターリンク型木におけるパス長の再帰的解析を用いたスペクトルグラフ理論的手法に依拠している。

ABSTRACT

The index of a graph is the largest eigenvalue of its adjacency matrix. A starlike is a tree having a unique vertex of degree $r>2$. We show how to order the starlike trees with $n>3$ by their indices. In particular, the indices of starlike trees are all distinct.

研究の動機と目的

• n > 3 個の頂点をもつ非同型のスターリンク型木が、同じインデックス（隣接行列の最大固有値）を共有しないことを確立すること。
• n 個の頂点をもつすべての非同型スターリンク型木を、それらのスペクトル半径に基づいて完全に順序付けすること。
• スターリンク型木のパス長分割の辞書式順序が、そのインデックスの増加順序と正確に一致することを示すこと。
• ジャクブス＝トレビザの対角化アルゴリズムを用いた再帰的固有値解析を用いて、スターリンク型木のインデックスを比較する手法を開発すること。
• 辞書式順序における分割の最大クラス間の移行において、インデックスが厳密に増加することを証明すること。

提案手法

• A(T) + αI の対角化を用いて、与えられた値 α より大きい固有値の個数を推定するため、ジャクブス＝トレビザのアルゴリズムを用いる。
• λ がスペクトル半径の負数であるとして、Diagonalize(T, -λ) アルゴリズムを適用し、固有値分布を分析する。
• パスに沿って再帰的に b_i 値を定義し、それらの和がスペクトル半径の負数に等しくなるようにする。
• b_k = 1 / (λ - b_{k+1}) の再帰的関係を用いて、パスセグメントが総和に与える寄与をモデル化する。
• n−1 を r 個の部分に分割する整数分割の辞書式順序を用いて、スターリンク型木の順序を導出する。
• 補題2から導かれる不等式を用い、b_i 値の和の比較を通じて、連続する分割間でのインデックスの単調増加性を証明する。

実験結果

リサーチクエスチョン

• RQ1 n > 3 個の頂点をもつすべての非同型スターリンク型木は、相異なるスペクトル半径を持つのか？
• RQ2 スターリンク型木のパス長分割によって、そのスペクトル半径は一意に特定可能か？
• RQ3 スターリンク型木のパス長分割の辞書式順序は、そのスペクトル半径の増加順序と等価か？
• RQ4 分割の変換によってスターリンク型木を変形する際、スペクトル半径が増加するための条件は何か？
• RQ5 ジャクブス＝トレビザのアルゴリズムを用いて、明示的な固有値計算を避けながら、スターリンク型木のインデックスを比較する方法は何か？

主な発見

• n > 3 個の頂点をもつすべての非同型スターリンク型木のインデックスは、互いに相異なる。
• パス長分割 [y₁,…,yᵣ] が辞書式順序で増加するとき、スターリンク型木 S(y₁,…,yᵣ) のスペクトル半径は厳密に増加する。
• 任意の2つのスターリンク型木 T と T′ について、分割 P と P′ が P ≺ P′ と辞書式順序で並ぶならば、λ₁(T) < λ₁(T′) が成り立つ。
• 分割 T からその辞書式直後 T′ への変換は、スペクトル半径を厳密に大きくする。
• 証明は、固有値寄与に関連する b_i 値の和が、辞書式直後において増加することを示すことに依拠する。
• この結果は r ≥ 3 および n > 3 に対して成り立ち、インデックスの順序は n−1 の分割 [y₁,…,yᵣ] の辞書式順序によって完全に決定される。