[論文レビュー] Ordering uniform supertrees by their spectral radii

Xiying Yuan|arXiv (Cornell University)|Feb 17, 2015

Tensor decomposition and applications参考文献 6被引用数 4

ひとこと要約

この論文は、エッジ移動操作と重み付きインシデント行列法を用いて、$k$-uniformな超ツリーをスぺクトル半径の順に順序付け、$n$ 頂点を持つすべての $k$-uniformな超ツリーの中でスぺクトル半径が最大の上位4つの超ツリーを特定している。非同型構造において厳密な不等式が成り立つことから、超スターブ $S_n^k$、$k$-uniformなハイパーツリー $S^k(2,n'-4)$、3頂点の超ツリー $τ(1,1,m-3)$、および $S^k(3,n'-5)$ が、スぺクトル半径の順序で上位4位を占めることが示された。

ABSTRACT

A connected and acyclic hypergraph is called a supertree. In this paper we mainly focus on the spectral radii of uniform supertrees. Li, Shao and Qi determined the first two $k$-uniform supertrees with large spectral radii among all the $k$-uniform supertrees on $n$ vertices [H. Li, J. Shao, L. Qi, The extremal spectral radii of $k$-uniform supertrees, arXiv:1405.7257v1, May 2014]. By applying the operation of moving edges on hypergraphs and using the weighted incidence matrix method we extend the above order to the fourth $k$-uniform supertree.

研究の動機と目的

• $k$-uniformな超ツリーのスぺクトル半径による順序付けを定めること。これは、以前の研究が最大2つの超ツリーしか同定していなかったのを拡張するものである。
• $n$ 頂点を持つ $k$-uniformな超ツリーにおける、3番目および4番目に大きなスぺクトル半径の構造を解明すること。
• スぺクトル半径を異なる超ツリー構成同士で比較するために、重み付きインシデント行列法とエッジ移動操作を適用すること。
• 非同型の超ツリーに対してスぺクトル半径における厳密な不等式を確立すること。特に、ハイパーツリーと一般の超ツリーの区別を明確にすること。

提案手法

• $k$-uniformハイパーグラフの隣接テンソルとスぺクトル半径の定義を用い、スぺクトル半径は隣接テンソルの最大固有値として定義される。
• 重み付きインシデント行列法を用いてスぺクトル半径を分析し、頂点-辺ペアに対して定義された行列 $B$ の要素 $B(v,e)$ を導入する。
• ハイパーグラフにおけるエッジ移動操作を用いて、超ツリーをスぺクトル半径がより大きな構成に変換し、このような操作におけるスぺクトル半径の単調性を応用する。
• $\alpha$-超正規性の概念を用い、固有値の入れ子とテンソル固有方程式を用いて厳密な不等式を証明する。
• 主固有ベクトルと隣接テンソルの弱非可約性を活用し、支配的固有ベクトルの正と一意性を保証する。
• 既知のパワーハイパーグラフとハイパーツリーに関する結果を応用し、非端点頂点数と辺構造に基づいて超ツリーを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 すべての $k$-uniformな超ツリーにおいて、$n$ 頂点を持つ場合の3番目に大きなスぺクトル半径は何か？ また、どの超ツリーがそれを達成するか？
• RQ2 すべての $k$-uniformな超ツリーにおいて、4番目に大きなスぺクトル半径は何か？ また、どの構造がそれを実現するか？
• RQ3 エッジ移動操作は、$k$-uniformな超ツリーのスぺクトル半径にどのように影響するか？
• RQ4 重み付きインシデント行列法を用いて、非同型の $k$-uniformな超ツリーのスぺクトル半径を比較することは可能か？
• RQ5 非端点頂点数と $k$-uniformな超ツリーのスぺクトル半径との間にどのような関係があるか？

主な発見

• すべての $k$-uniformな超ツリーの中で、超スターブ $S_n^k$ が最大のスぺクトル半径を持つ。
• $k$-uniformなハイパーツリー $S^k(2,n'-4)$ は、$S_n^k$ を除くすべての $k$-uniformな超ツリーの中で2番目に大きなスぺクトル半径を持ち、他より厳密に大きい。
• 3つの非端点頂点が1つの辺を共有する超ツリー $\mathcal{T}(1,1,m-3)$ は、3番目に大きなスぺクトル半径を持つ。
• $k$-uniformなハイパーツリー $S^k(3,n'-5)$ は、4番目に大きなスぺクトル半径を持ち、$\mathcal{T}(1,1,m-3)$ よりも厳密に小さいが、他のすべての非同型構成より大きい。
• $S_n^k$、$S^k(2,n'-4)$、$\mathcal{T}(1,1,m-3)$、$S^k(3,n'-5)$ とは同型でない任意の $k$-uniformな超ツリー $\mathcal{T}$ に対して、そのスぺクトル半径は $\mathcal{T}(1,1,m-3)$ よりも厳密に小さい。
• すべてのスぺクトル半径の不等式は厳密であり、重み付きインシデント行列法と $\alpha$-超正規性を用いて証明されており、非同型構造間には同率が存在しないことが保証されている。