[论文解读] Fiedler Vectors and Elongation of Graphs: A Threshold Phenomenon on a Particular Class of Trees

Julien Lefèvre|arXiv (Cornell University)|Feb 6, 2013

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

一句话总结

本文研究了一类称为玫瑰树（Rose trees）的参数化树族中的费德勒极值直径（Fiedler Extrema Diameter, FED）性质，证明了存在一个阈值现象：当参数 p 较小时，费德勒向量能正确识别图的直径；当 p 较大时则失效。研究通过解析方法证明，FED 性质仅在星形分支数 p 低于依赖于路径长度 s 和 t 的临界阈值时成立，当 s = t 时，该阈值随 s 的平方增长；而当 s 固定且 t 增大时，该阈值保持有界。

ABSTRACT

Let $G$ be a graph. Its laplacian matrix $L(G)$ is positive and we consider eigenvectors of its first non-null eigenvalue that are called Fiedler vector. They have been intensively used in spectral partitioning problems due to their good empirical properties. More recently Fiedler vectors have been also popularized in the computer graphics community to describe elongation of shapes. In more technical terms, authors have conjectured that extrema of Fiedler vectors can yield the diameter of a graph. In this work we present (FED) property for a graph $G$, i.e. the fact that diameter of a graph can be obtain by Fiedler vectors. We study in detail a parametric family of trees that gives indeed a counter example for the previous conjecture but reveals a threshold phenomenon for (FED) property. We end by an exhaustive enumeration of trees with at most 20 vertices for which (FED) is true and some perspectives.

研究动机与目标

• 研究图的费德勒向量是否能准确确定图的直径，解决谱图论中的一个猜想。
• 分析一类特定树——玫瑰树（由参数 s、t、p 定义）中的 FED（费德勒极值直径）性质。
• 通过解析方法建立星形分支数 p 的阈值，超过该阈值时 FED 失效，即使图结构极为细长。
• 完整枚举所有含最多 20 个顶点的自由树中满足或违反 FED 性质的树。
• 探讨不满足 FED 的树的渐近密度，表明当 n→∞ 时其极限为非零。

提出的方法

• 引入 FED 性质：若图的费德勒向量恰好有两个极值点，且两点间距离等于图的直径，则该图满足 FED。
• 将玫瑰树 R(s,t,p) 定义为长度为 s+t+1 的路径，其中心点连接一个具有 p 个分支的星形结构，形成路径与星形的混合结构。
• 运用谱图论分析拉普拉斯矩阵及其第二小特征值（代数连通性 α(s,t,p)），推导出费德勒向量极值点位于路径端点的条件。
• 应用多项式逼近技术，控制特征多项式之比的上界，证明当 p 较大时，费德勒向量不再在路径端点取极值。
• 采用递推不等式与单调性论证：α(s,t,p) 随 p 增大而减小，当 p 超过临界值 f_M(s,t) 时，FED 性质失效。
• 使用已知的 C 语言算法对所有含 ≤20 个顶点的自由树进行穷举枚举，计算违反 FED 的树的比例。

实验结果

研究问题

• RQ1 对于哪些参数值 (s,t,p)，玫瑰树 R(s,t,p) 的费德勒向量能正确识别图的直径？
• RQ2 是否存在星形分支数 p 的阈值，使得即使路径极长，FED 性质仍会失效？
• RQ3 当 s 固定时，f_M(s,t) 随 t 增大如何变化，特别是 s 固定时？
• RQ4 当 n→∞ 时，不满足 FED 的树的渐近密度是多少？
• RQ5 在费德勒向量极值点处添加或移除顶点时，FED 性质是否保持或丧失？

主要发现

• 对于玫瑰树 R(s,t,p)，FED 性质当且仅当 p ≤ f_m(s,t) 时成立，当 p > f_M(s,t) 时失效，其中 f_m 与 f_M 为两个函数。
• 当 s = t 时，阈值 f_m(s,s) = f_M(s,s) 渐近增长为 ~4s²/π²，表明其与路径长度 s 呈二次依赖关系。
• 当 s 固定时，f_M(s,t) 关于 t 的上确界有界且有限，意味着即使路径任意长，只要 p 超过某一临界值，FED 仍会失效。
• 违反 FED 的最小树有 12 个顶点，为 R(3,3,4)，且此类树的比例随 n 增大而缓慢上升，在 n=20 时达到 2.53%。
• 数值证据表明，当 s ≤ t 时，f_m(s,t) = f_M(s,t)，且 f(s,t) ≤ s(s+1)/2 - 2，为阈值提供了紧致上界。
• 本文猜想：在极值点顶点处添加叶子可保持 FED 性质，而移除叶子则使其丧失，提示该性质具有结构稳定性。