[论文解读] The Fiedler Rose: On the extreme points of the Fiedler vector

L. C. Evans|arXiv (Cornell University)|Dec 22, 2011

Graph theory and applications参考文献 3被引用 6

一句话总结

本文提出一个反例——一种玫瑰花形状的图，称为“Fiedler玫瑰”——以反驳关于树图中Fiedler向量极值出现在距离最远的一对顶点上的猜想。通过谱图论与数值计算，研究显示Fiedler向量的极值可能出现在茎部和花瓣的顶点上，而非直观预期的几何最远点，从而推翻了树图中极值点具有几何极值性的假设。

ABSTRACT

In this paper I present a counter-example to the conjecture: The Fiedler vector for the graph Laplacian of a tree has its most extreme values at the verticies which are the farthest apart. This counter-example looks roughly like a flower and so I have named it the "Fiedler rose".

研究动机与目标

• 挑战广泛持有的猜想，即树图的Fiedler向量在其图距离最大的一对顶点处取得极值。
• 通过构造一个图（即Fiedler玫瑰）证明该猜想在一般情况下不成立。
• 利用对称树状图（含中心茎、一片叶子和多个花瓣）的谱计算，提供数值与结构上的证据。
• 强调对谱图论的影响，特别是图划分以及Fiedler向量在扩散过程中行为的解释。
• 质疑在连续空间（如流形）中类似的猜想是否可推广至离散图，尤其是树图。

提出的方法

• 构建一个树状图，包含一个中心节点（玫瑰中心）、长度为s的线性茎、从中心延伸出的一片叶子，以及p片附着在中心的花瓣。
• 定义图拉普拉斯矩阵L = A - D，其中A为邻接矩阵，D为度矩阵，以模拟离散扩散过程。
• 使用MATLAB中的eigs函数计算L的第二小特征值λ₂对应的Fiedler向量。
• 利用对称性简化计算：花瓣完全相同，因此其Fiedler向量值相等，从而避免完整的矩阵对角化。
• 调整Fiedler向量的符号，使玫瑰中心的值为正，以确保可视化的一致性。
• 可视化并比较不同p和s下Fiedler向量在各顶点的取值，特别是茎尖、叶尖和花瓣尖的值。

实验结果

研究问题

• RQ1 树图的Fiedler向量是否总在其图距离最大的一对顶点处取得最大值和最小值？
• RQ2 在对称树状图中，花瓣数量与茎的长度如何影响Fiedler向量极值的位置？
• RQ3 能否构造一种图结构，使得Fiedler向量的极值不位于最远的顶点，从而推翻该猜想？
• RQ4 Fiedler向量在离散图中的行为在多大程度上与光滑流形上特征函数的行为相似？
• RQ5 Fiedler玫瑰能否被改编为流形上连续猜想的反例？

主要发现

• 对于具有11片花瓣和5个顶点茎的Fiedler玫瑰，Fiedler向量最负的值出现在茎尖（≈ -0.5064），而最正值出现在花瓣顶点（≈ 0.1525），与最远顶点猜想相矛盾。
• 当花瓣数减少为10片且茎长不变时，叶尖值变为正值（≈ 0.0074），表明叶尖不再是“最冷”点，极值点向茎和花瓣顶点转移。
• 当花瓣数减少至3片且茎长仍为5个顶点时，叶尖值成为最正值（≈ 0.2514），而茎尖值为最负值（≈ -0.5147），使得叶尖与茎尖成为新的极值对。
• Fiedler向量的极值并非仅由图距离决定，而是取决于结构对称性与连通性的平衡，特别是花瓣数量的影响。
• Fiedler玫瑰表明，Fiedler向量的极值可出现在非最远顶点上，从而否定了极值总出现在直径端点的猜想。
• 该反例表明，即使在树图中，Fiedler向量的行为也无法通过几何直觉普遍预测。