[論文レビュー] Tricyclic graphs with exactly two main eigenvalues

Xiaoxia Fan, Yanfeng Luo|arXiv (Cornell University)|Dec 5, 2010

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

ひとこと要約

本稿は、2ウォーク(a,b)-線形性（正確に2つの主要固有値を持つことと同値）を活用することで、正確に2つの主要固有値を持つすべての連結3サイクルグラフを完全に特徴づけている。著者らは、30個の特定のグラフ $H_i$（$i=1$ から $30$）と8つの族 ${\mathcal{G}}_j$（$j=1$ から $8$）を同定し、それらがすべてのこのようなグラフを網羅的に分類しており、頂点の次数およびその近傍の次数和に関する条件を用いて2ウォーク線形性を検証している。

ABSTRACT

An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. In this paper, all connected tricyclic graphs with exactly two main eigenvalues are determined.

研究の動機と目的

• 正確に2つの主要固有値を持つすべての連結3サイクルグラフを特定し、先行研究における単サイクルおよび2サイクルグラフの研究を拡張すること。
• 正確に2つの主要固有値を持つことと同値である2ウォーク(a,b)-線形性を用いてこれらのグラフを特徴づけること。
• これらのグラフを、その基本構造を同定し、それらに木を接続する方法の可能性を特定することで、2つの主要固有値性質を保つように分類すること。
• 30個の特定のグラフ $H_i$ および8つのパラメータ化された族 ${\mathcal{G}}_j$ を含む、すべてのこのようなグラフの完全かつ明示的なリストを提供すること。

提案手法

• Hagos（2002）によって確立された、正確に2つの主要固有値を持つグラフと2ウォーク(a,b)-線形グラフとの同値性を用いる。
• すべての頂点 $v$ に対して $S(v) = a d(v) + b$ という条件を適用する。ここで $S(v)$ は $v$ の近傍の次数の和であり、$a,b$ は有理数定数である。
• 各グラフ $G$ の基本3サイクル部分グラフ $G_B$ を分析する。$G_B$ は懸垂頂点を含まず、先行研究で分類された8つのタイプのいずれかである。
• 補題2.4および2.5の構造的制約を用いて、内部パスおよびサイクル内のパス長さや次数パターンを制限する。
• 異なる次数を持つ頂点に対して $a = \frac{S(v)-S(u)}{d(v)-d(u)}$, $b = \frac{d(u)S(v) - d(v)S(u)}{d(v)-d(u)}$ という公式を適用し、$a$ および $b$ の整数値を導出する。
• 懸垂頂点および基本グラフ上の次数列のすべての可能な構成を体系的に列挙し、2ウォーク線形性および $a,b$ の整数性を検証する。

実験結果

リサーチクエスチョン

• RQ1 どの連結3サイクルグラフが正確に2つの主要固有値を持ち、それらを完全に分類できるか？
• RQ2 有理数 $a,b$ に対して、3サイクルグラフが2ウォーク(a,b)-線形であるために満たすべき構造的制約は何か？
• RQ3 基本3サイクル部分グラフ内の頂点の次数およびその近傍の次数和は、このようなグラフの存在をどのように制約するか？
• RQ4 2つの主要固有値条件を満たす完全なグラフ族（パラメータ化された族を含む）は何か？
• RQ5 すべてのこのようなグラフは、特定の次数および和の条件の下で、有限個の基本構造に木を接続することで生成可能か？

主な発見

• 正確に2つの主要固有値を持つすべての連結3サイクルグラフは、30個の特定のグラフ $H_i$（$i=1$ から $30$）および8つの族 ${\mathcal{G}}_j$（$j=1$ から $8$）に完全に分類される。
• $H_{24}$ から $H_{29}$ は、それぞれ2ウォーク $(2,2)$-、$(1,4)$-、$(0,6)$-、$(3,-1)$-、$(2,1)$-、$(1,3)$-線形であり、明示的な次数および和の条件が検証されている。
• $H_{30}$ は2ウォーク $(2,2)$-線形であり、基本部分グラフに3つの隣接頂点が次数3である場合に生じ、残りの構造が $a+b=4$ を満たす。
• ${\mathcal{G}}_7$ は $a=3$, $b\geq1$ であり、2ウォーク $(3,b)$-線形である。$p=l=q=2$ が一貫性を保つために必要である。
• ${\mathcal{G}}_8$ のグラフでは、基本部分が三角形に懸垂パスが接続されたものであり、$a=2$, $b=2$ が成り立ち、$a+b=4$ およびすべての頂点に対して $S(v)=2d(v)+2$ が成り立つ。
• $a$ も $b$ も非整数となるようなグラフは存在せず、すべての有効な構成は30個の $H_i$ グラフおよび8つの ${\mathcal{G}}_j$ 族によって網羅されている。