[论文解读] 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}$、图 $Q$（由在 $K_2$ 的两端各附加两条悬挂边构成），以及 $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.

研究动机与目标

• 解决 Majstorović 等人提出的猜想，即仅存在四种特定的连通图，其最大度至多为3且能量等于顶点数。
• 刻画所有最大度 Δ ≤ 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$ 的能量均至少为其阶数，且至少一个不等式严格成立，或边割构成星图，则 $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$）进行情形分析，排除所有配置，仅保留猜想中的四种图。

实验结果

研究问题

• RQ1 哪些最大度至多为3的连通图满足 $E(G) = n$？
• RQ2 图 $S_2$、$Q$、$K_{2,2}$ 和 $K_{3,3}$ 是否是唯一满足能量等于顶点数的此类图？
• RQ3 是否可排除所有其他最大度 ≤ 3 的连通图满足能量等式 $E(G) = n$？
• RQ4 最大度 ≤ 3 的图具有何种结构特性，使其仅在四种已知情形下满足 $E(G) = n$？
• RQ5 图的能量在边割分解下如何表现，尤其当各分量具有已知能量界时？

主要发现

• 唯一满足最大度至多为3且能量等于顶点数的连通图是 $S_2 = K_2$、$Q$、$K_{2,2}$ 和 $K_{3,3}$，从而证实了该猜想。
• 对于最大度 ≤ 3 的树，仅 $S_2$ 和 $Q$ 满足 $E(T) = n$；其余此类树均有 $E(T) > n$。
• 在最大度 ≤ 3 的单圈图与双圈图中，除 $K_{2,3}$ 外，无其他图的能量小于 $n$，也无图的能量等于 $n$。
• 在最大度 ≤ 3 的 3-正则图中，仅 $K_{3,3}$ 可能满足 $E(G) = n$，其余候选图均通过度数和与圈秩论证被排除。
• $K_{2,3}$ 的能量严格小于 $n$，且无其他最大度 ≤ 3 的环图满足 $E(G) = n$。
• 证明表明，除上述四种指定图外，所有最大度 ≤ 3 的连通图均有 $E(G) > n$，其依据为递归分解与边移除下的能量单调性。