[论文解读] Laplacian spectral characterization of some double starlike trees

Pengli Lu, Xiaogang Liu|arXiv (Cornell University)|May 28, 2012

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

一句话总结

本文证明了所有双星形树 $ H(p,n,q) $（定义为在路径的两个端点分别附加 $ p $ 个和 $ q $ 个悬挂顶点）均由其拉普拉斯谱唯一确定。通过谱图论与诱导路径及闭游走的组合计数方法，作者表明，任何与 $ H(p,n,q) $ 拉普拉斯共谱的图必同构于它本身，从而解决了先前工作中提出的问题，并扩展了关于树的谱特征化已知结果。

ABSTRACT

A tree is called double starlike if it has exactly two vertices of degree greater than two. Let $H(p,n,q)$ denote the double starlike tree obtained by attaching $p$ pendant vertices to one pendant vertex of the path $P_n$ and $q$ pendant vertices to the other pendant vertex of $P_n$. In this paper, we prove that $H(p,n,q)$ is determined by its Laplacian spectrum.

研究动机与目标

• 解决双星形树 $ H(p,n,q) $ 是否由其拉普拉斯谱唯一确定这一谱图论中的长期开放问题。
• 扩展先前关于具有特殊结构（如星形、T形、蜈蚣树）的树的谱特征化部分结果。
• 通过其拉普拉斯谱对双星形树进行完整特征化，填补早期研究仅覆盖特殊情况所留下的空白。
• 提供一种验证恰好有两个度数大于二的顶点的树的谱唯一性的方法。

提出的方法

• 使用拉普拉斯谱不变量：从谱中推导出顶点数、边数、生成树数以及度平方和。
• 在图的线图中计数长度为 4 的闭游走与长度为 2 的诱导路径，以比较候选图之间的谱性质。
• 构造一个假设与 $ H(p,n,q) $ 拉普拉斯共谱但不构同的候选图 $ G' $，并推导出对度序列与路径计数的约束。
• 推导出 $ H(p,n,q) $ 与 $ G' $ 中长度为 2 的诱导路径数量相等的方程，从而得到关于参数 $ a $ 与 $ b $ 的丢番图方程组。
• 求解所得方程 $ (p-1)(q-1) + b(p-1) + a(q-1) = 0 $ 与 $ a(q-1) + b(p-1) = 0 $，证明唯一解为平凡解 $ a = b = 0 $，从而推出 $ G' acksimeq H(p,n,q) $。
• 利用图的拉普拉斯谱决定其补图的拉普拉斯谱这一事实，推导出关于 $ H(p,n,q) $ 补图的推论。

实验结果

研究问题

• RQ1 所有双星形树 $ H(p,n,q) $ 是否均由其拉普拉斯谱唯一确定？
• RQ2 当 $ p \neq q $ 时，能否建立 $ H(p,n,q) $ 的谱唯一性，从而扩展仅覆盖对称情形（如 $ H(p,n,p) $）的先前结果？
• RQ3 可用于区分 $ L $-共谱图的谱不变量与组合结构（如诱导路径、闭游走）有哪些？
• RQ4 是否能完全刻画与 $ H(p,n,q) $ 拉普拉斯共谱的图 $ G' $ 的度序列，并证明其必同构于 $ H(p,n,q) $？

主要发现

• 所有双星形树 $ H(p,n,q) $ 均由其拉普拉斯谱唯一确定，无论 $ p $、$ q $、$ n $ 取值如何，只要满足 $ p \geq q \geq 1 $。
• 与 $ H(p,n,q) $ 拉普拉斯共谱的唯一图是其本身，通过证明任意其他图 $ G' $ 必须满足 $ a = b = 0 $ 而得证。
• 由线图中长度为 2 的诱导路径计数导出的方程 $ a(q-1) + b(p-1) = 0 $ 强制得出 $ a = b = 0 $，表明无法存在结构偏差。
• 该结果推广了先前发现：$ H(p,n,p) $、$ H(p,n,q) $（当 $ q=2 $ 且 $ p \geq q^2 $ 时）、或 $ |p-q| \in \{1,2,7\} $ 的情形，均由其拉普拉斯谱唯一确定。
• 任一双星形树 $ H(p,n,q) $ 的补图也由其拉普拉斯谱唯一确定，因为图的 $ L $-谱决定了其补图的 $ L $-谱。