[论文解读] Determining Finite Connected Graphs Along the Quadratic Embedding Constants of Paths

Edy Tri Baskoro, Nobuaki Obata|arXiv (Cornell University)|Apr 17, 2019

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

一句话总结

本文基于其二次嵌入常数（QE常数）对有限连通图进行刻画，证明路径图 Pₙ 的 QE 常数构成一个严格递增序列，且收敛于 −1/2。本文完全确定了所有满足 QEC(P₃) ≤ QEC(G) < QEC(P₄) 的图 G，其恰好为 n ≥ 2 时的星积图 Kn⋆K₂ 以及孤立图 K₃⋆K₃，并给出了明确的 QE 常数值。其主要贡献在于完整分类了 QE 常数排序问题中的首个非平凡情形。

ABSTRACT

The QE constant of a finite connected graph $G$, denoted by $\mathrm{QEC}(G)$, is by definition the maximum of the quadratic function associated to the distance matrix on a certain sphere of codimension two. We prove that the QE constants of paths $P_n$ form a strictly increasing sequence converging to $-1/2$. Then we formulate the problem of determining all the graphs $G$ satisfying $\mathrm{QEC}(P_n)\le\mathrm{QEC}(G)<\mathrm{QEC}(P_{n+1})$. The answer is given for $n=2$ and $n=3$ by exploiting forbidden subgraphs for $\mathrm{QEC}(G)<-1/2$ and the explicit QE constants of star products of the complete graphs.

研究动机与目标

• 根据其二次嵌入常数（QE常数）对有限连通图进行刻画，特别关注路径图 QE 常数所诱导的排序关系。
• 解决识别所有满足 QEC(Pₙ) ≤ QEC(G) < QEC(Pₙ₊₁) 的有限连通图 G 的问题，其中 n = 2 和 n = 3。
• 建立 QEC(G) < −1/2 的显式判别准则与禁止子图条件，从而实现对接近 −1/2 的临界区间的图进行分类。
• 计算星积图 Km⋆Kn 的精确 QE 常数，并利用其推导出区间 [QEC(P₃), QEC(P₄)) 内所有图的完整列表。

提出的方法

• 通过星积构造（G 与 Kₘ₊₁ 在单个顶点处连接）推导出严格不等式 QEC(G) < QEC(G⋆Kₘ₊₁) 的一般准则。
• 利用谱分析与 QEC(G) 的变分刻画，证明路径图 Pₙ 的 QE 常数构成严格递增序列并收敛于 −1/2。
• 应用等距嵌入的概念，利用 H 是 G 的等距子图时必有 QEC(H) ≤ QEC(G) 的事实，将子图的 QE 常数与整体图关联。
• 采用禁止子图技术：证明任何满足 QEC(G) < −1/2 的图必为无钻石图、无爪图、无 C₄ 和无 C₅ 的图。
• 通过距离矩阵的分块矩阵分解与约束下的变分优化，显式计算星积图 Km⋆Kn 的 QE 常数。
• 在单位范数与零和约束下，对二次型 ⟨f, Df⟩ 应用拉格朗日乘数法，计算最大特征值，从而得出精确的 QE 常数。

实验结果

研究问题

• RQ1 满足 QEC(P₃) ≤ QEC(G) < QEC(P₄) 的所有有限连通图 G 的完整集合是什么？
• RQ2 哪些图 G 满足 QEC(G) < −1/2？它们具有何种结构特征？
• RQ3 星积图 Km⋆Kn 的 QE 常数如何依赖于 m 和 n？能否显式计算？
• RQ4 P₄ 的 QE 常数是否为所有有限连通图 QE 常数集合的最小聚点？
• RQ5 在区间 QEC(P₃) ≤ QEC(G) < QEC(P₄) 内的图中，QEC(G) 的精确值是多少？

主要发现

• 路径图 Pₙ 的 QE 常数构成严格递增序列：QEC(P₂) < QEC(P₃) < QEC(P₄) < ⋯，且收敛于 −1/2。
• 所有满足 QEC(P₃) ≤ QEC(G) < QEC(P₄) 的图 G 恰好为 n ≥ 2 时的星积图 Kn⋆K₂ 以及图 K₃⋆K₃。
• Kn⋆K₂ 的 QE 常数显式给出为 QEC(Kn⋆K₂) = −2 / (2 + √2 (1 − 1/n))。
• K₃⋆K₃ 的 QE 常数精确为 −3/5。
• P₄ 的 QE 常数为 QEC(P₄) = −(2 − √2) ≈ −0.5858，且它是所有有限连通图 QE 常数集合的最小聚点。
• 胡须完全图 BKn,m 满足对所有 2 ≤ m ≤ n 有 QEC(BKn,m) = −(2 − √2) = QEC(P₄)，提供了 QEC(G) = QEC(P₄) 的显式例子。