[论文解读] Hypoenergetic and strongly hypoenergetic trees

Xueliang Li, Hongping Ma|ArXiv.org|May 25, 2009

Graph theory and applications参考文献 9被引用 10

一句话总结

本文全面刻画了最大度为 $\Delta$ 的 $n$ 阶次能量树与强次能量树的存在性，证明当 $\Delta \geq 4$ 时，对所有 $n \geq \Delta+1$ 均存在次能量树；在 $n$ 满足特定模条件时，强次能量树也存在；通过并接操作与能量界，成功证实了关于 $\Delta = 4$ 且 $n \equiv 2 \pmod{4}$ 的猜想，即对所有 $n \equiv 2 \pmod{4}$，$n > 2$，均存在次能量树。

ABSTRACT

The energy $E(G)$ of a graph $G$ is defined as the sum of the absolute values of the eigenvalues of $G$. An $n$-vertex graph is said to be hypoenergetic if $E(G)

研究动机与目标

• 解决关于次能量树存在的开放猜想：当 $\Delta = 4$ 且 $n \equiv 2 \pmod{4}$，$n > 2$ 时，所有此类 $n$ 均存在次能量树。
• 对任意给定的 $n$ 与 $\Delta$，完全刻画次能量树与强次能量树的存在性。
• 建立 $\Delta = 4$ 与 $\Delta = 5$，以及 $\Delta \geq 6$ 时强次能量树存在的充要条件。
• 通过图并接与能量界，提供构造此类树的系统方法。
• 纠正并补全此前关于 $\Delta \leq 3$ 的次能量树证明中不完整之处。

提出的方法

• 利用图并接操作 $G \circ H$ 在保持或降低能量的前提下组合树，借助定理 1.4，该定理将并接图的能量上界控制在各图能量之和内。
• 应用引理 2.1 中的能量上界 $E(G) \leq \sqrt{2m(n - n_0)}$，其中 $m$ 为边数，$n_0$ 为亏格，以估算特定树构造的能量。
• 采用 Heuberger 与 Wagner（2007）提出的最小能量树 $T_{n,d}^*$，该树是 $\mathcal{T}_{n,d}$ 中在最大度为 $d+1$ 的约束下能量最小的唯一树，用于构造强次能量树。
• 利用 $n$ 在基 $d$ 下的数码展开表示，系统构造 $T_{n,d}^*$，确保最大度 $\Delta = d+1$。
• 将已知的小型次能量树与强次能量树（如 $T_{11}$，$T_{20,3}^*$）与 5 个顶点的星图 $S_5$ 通过并接操作组合，生成更大规模的示例，依赖于并接下能量的次可加性。
• 通过表 2 的直接计算验证小规模 $n$ 的存在性，并利用归纳并接方法将结果推广至无限族。

实验结果

研究问题

• RQ1 对于所有满足 $\Delta = 4$ 且 $n \equiv 2 \pmod{4}$，$n > 2$ 的 $n$，是否存在次能量树？
• RQ2 对于哪些 $n$ 与 $\Delta$ 值，强次能量树存在？
• RQ3 能否通过构造性方法证明 Gutman 等人关于 $\Delta = 4$ 且 $n \equiv 2 \pmod{4}$ 的猜想？
• RQ4 当 $\Delta = 4$ 或 $\Delta = 5$ 时，强次能量树存在的精确 $n$ 与 $\Delta$ 条件是什么？
• RQ5 如何利用能量界与并接操作系统地生成强次能量树？

主要发现

• 证实了关于 $\Delta = 4$ 且 $n \equiv 2 \pmod{4}$ 的猜想：通过将一个 6 个顶点的次能量树与更大的强次能量树并接，证明了对所有此类 $n$ 均存在次能量树。
• 当 $\Delta \geq 4$ 时，对所有 $n \geq \Delta + 1$ 均存在次能量树，扩展了先前结果并完成了完整刻画。
• 当 $\Delta = 4$ 时，强次能量树存在的充要条件为 $n = 9, 13, 17, 20, 21$ 或 $n \geq 23$，且对 $n \equiv 0 \pmod{4}$，$n \geq 20$；$n \equiv 2 \pmod{4}$，$n \geq 26$；以及 $n \equiv 3 \pmod{4}$，$n \geq 23$ 的情形均已确认存在。
• 当 $\Delta = 5$ 时，强次能量树存在于 $n = 6$ 以及所有 $n \geq 9$，但不存在于 $n = 7$ 或 $8$。
• 当 $\Delta \geq 6$ 时，强次能量树存在于所有 $n \geq \Delta + 1$。
• 最小能量树 $T_{n,3}^*$（在 $n$ 个顶点且 $\Delta \leq 4$ 的树中能量最小）在 $n = 20, 23, 26$ 时为强次能量树，且与 $S_5$ 并接可生成更大 $n$ 下的更多示例。