[論文レビュー] All Connected Graphs with Maximum Degree at Most 3 whose Energies are Equal to the Number of Vertices

Xueliang Li, Hongping Ma|ArXiv.org|Jul 8, 2009

Graph theory and applications参考文献 11被引用数 15

ひとこと要約

この論文は、最大次数が3以下でエネルギーが頂点数に等しい唯一の連結グラフは、星 $K_2$、完全二部グラフ $K_{2,2}$、$K_2$ の両端に片持ち辺を2本ずつ接続して得られるグラフ $Q$、および $K_{3,3}$ であることを証明し、Majstorović らの予想を裏付ける。証明は辺カット分解、エネルギーの単調性、および次数とサイクル数が有界なグラフの構造的解析に基づく。

ABSTRACT

The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of its eigenvalues. Let $S_2$ be the star of order 2 (or $K_2$) and $Q$ be the graph obtained from $S_2$ by attaching two pendent edges to each of the end vertices of $S_2$. Majstorović et al. conjectured that $S_2$, $Q$ and the complete bipartite graphs $K_{2,2}$ and $K_{3,3}$ are the only 4 connected graphs with maximum degree $Δ\leq 3$ whose energies are equal to the number of vertices. This paper is devoted to giving a confirmative proof to the conjecture.

研究の動機と目的

• 最大次数が3以下のグラフでエネルギーが頂点数に等しいのは4つの特定のグラフに限られることを示すMajstorović らの予想を解決すること。
• 最大次数 Δ ≤ 3 でエネルギー $E(G)$ が頂点数 $n$ に等しいすべての連結グラフを同定すること。
• エネルギーが $E(G) < n$ である「低エネルギー」グラフに関する先行研究を拡張し、$E(G) = n$ となる境界ケースを同定すること。
• 辺カットに基づくエネルギー不等式と構造的分解を用いて、このようなグラフを完全に分類すること。

提案手法

• 辺カット分解の適用：グラフ $G$ について、$G - F = G_1 + G_2$ で $F$ が辺カットであるとき、特定の条件を満たさない限り $E(G) \neq E(G - F)$ である。
• 補題 2.4 の適用：両方の成分 $G_1$ と $G_2$ がエネルギーを自身の頂点数以上に持ち、かつ少なくとも1つの不等式が厳密である、または辺カットがスターフormである場合、$E(G) > n$ が成り立つ。
• グラフエネルギーは奇数整数にはなり得ない（補題 2.3）という事実を用い、$E(G) = n$ の成立を許す $n$ の可能性を制限する。
• 木、ユニサイクル、バイサイクルのグラフを構造的性質に基づいて分類し、再帰的分解と既知のエネルギー値を用いてエネルギーを分析する。
• 3-正則グラフにおける3辺カットを分析し、次数和の議論を用いて、$n \neq 8, 10, 12, 14$ の場合に $E(G) = n$ が成立しないことを矛盾から導出する。
• サイクル数と成分の種別（例：$K_{2,3}$、$W$、$S_2$）に基づく場合分けを用い、4つの予想されたグラフ以外のすべての構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 最大次数が3以下の連結グラフで $E(G) = n$ を満たすのはどれか？
• RQ2 グラフ $S_2$、$Q$、$K_{2,2}$、$K_{3,3}$ は、エネルギーが頂点数に等しい唯一のグラフであるか？
• RQ3 最大次数 $\leq 3$ である他のすべての連結グラフについて、エネルギー等式 $E(G) = n$ は除外できるか？
• RQ4 最大次数 $\leq 3$ であるグラフで、$E(G) = n$ が成立しない構造的性質は何か？
• RQ5 特に、成分のエネルギーが既知の境界を持つ場合に、辺カット分解におけるグラフエネルギーの振る舞いは？

主な発見

• 最大次数が3以下の連結グラフでエネルギーが頂点数に等しいのは、$S_2 = K_2$、$Q$、$K_{2,2}$、$K_{3,3}$ の4つに限られ、予想が裏付けられた。
• 最大次数 $\leq 3$ の木について、$E(T) = n$ を満たすのは $S_2$ と $Q$ のみであり、それ以外のすべての木は $E(T) > n$ を満たす。
• 最大次数 $\leq 3$ のユニサイクルおよびバイサイクルのグラフにおいて、$K_{2,3}$ を除き、エネルギーが $n$ 未満であるものも、$n$ に等しいものも存在しない。
• 最大次数 $\leq 3$ の3-正則グラフにおいて、$E(G) = n$ の可能性があるのは $K_{3,3}$ のみであり、次数和とサイクル数の議論により他の候補は除外される。
• $K_{2,3}$ のエネルギーは $n$ より厳密に小さいが、$\Delta \leq 3$ である他のすべてのサイクル付きグラフでは $E(G) = n$ は達成されない。
• 再帰的分解と辺削除におけるエネルギーの単調性を用いて、最大次数 $\leq 3$ であるすべての連結グラフについて、$E(G) > n$ が成り立つことが証明されたが、4つの指定されたグラフを除く。