[论文解读] Faber-Krahn inequalities of combinatorial Laplacian on graphs

Wankai He, Chengjie Yu|arXiv (Cornell University)|Mar 21, 2026

Graph theory and applications被引用 0

一句话总结

该论文为连通带边界的未归一化组合p-拉普拉斯在第一Dirichlet本征值上建立了尖锐的Faber-Krahn型不等式；在固定顶点数或固定边数的条件下，当p>1时，T tadpole图T_{n,3}唯一使得本征值达到最小（p=1时存在细微行为）。

ABSTRACT

In this paper, we obtain sharp Faber-Krahn inequalities for the first Dirichlet eigenvalue of the combinatorial Laplacian operator on connected graphs with a fixed number of vertices or with a fixed number of edges. More precisely, we show that the minimum of the first Dirichlet eigenvalues of connected graphs with boundary that consist of $n$ vertices or $n$ edges is achieved only on the tadpole graph $T_{n,3}$.

研究动机与目标

• 将经典Faber-Krahn不等式从连续区域推广到具有边界的离散图设定的动机。
• 旨在获得在固定体积（顶点或边）下，图上的第一Dirichlet p-拉普拉斯本征值的尖锐极值结果。
• 识别极值图G = T_{n,3}并刻画刚性特征，即使G是使第一Dirichlet p-拉普拉斯本征值达到最小。
• 探索结果如何推广到极限情形p→1，与Dirichlet Cheeger常数相关。

提出的方法

• 在带边界的图上定义未归一化的组合p-拉普拉斯算子，并通过Rayleigh商定义第一Dirichlet本征值。
• 研究 Tadpole 图T_{n,i}的谱性质，包括本征向量在最大值位置的行为和比较不等式。
• 使用能够降低Rayleigh商的图分割（surgery）将任意带边界的G与T_{n,3}的配置进行比较。
• 证明尖锐不等式λ_{1,p}(G) ≥ λ_{1,p}(T_{n,3})，当且仅当p>1时有等号G ≅ T_{n,3}。
• 将p>1的结果推广到p=1情形，注意此处刚性失败，并给出下界λ_{1,1}(G) ≥ 1/(n−1)的形式。
• research_questions（

实验结果

研究问题

• RQ1 在固定顶点数（或边数）及边界约束下，连通图中第一Dirichlet p-拉普拉斯本征值的最小值是多少？
• RQ2 哪些图结构在未归一化p-拉普拉斯的Faber-Krahn型不等式中达到等号？
• RQ3 这些离散的Faber-Krahn结果与已知的连续类似物以及p→1时的Cheeger型界多久？
• RQ4 等号是否强制图等于T_{n,3}，p=1情形下会如何？

主要发现

• 对于p>1且n≥4，第一Dirichlet p-拉普拉斯本征值满足λ_{1,p}(G) ≥ λ_{1,p}(T_{n,3})。
• p>1时等号当且仅当G是T_{n,3} tadpole图时成立。
• 对于固定边数n≥4，也成立λ_{1,p}(G) ≥ λ_{1,p}(T_{n,3})，且等号当且仅当G ≅ T_{n,3}。
• 当p=1时，λ_{1,1}(G)与Dirichlet Cheeger常数h_D(G)一致，刚性结果减弱；具体地，λ_{1,1}(G) ≥ 1/(n−1)，在某些结构下等号有特征性质。
• 定理1.4给出λ_{1,1}(G)在Tadpole图T_{n,i}（3 ≤ i < n）形式下的精确等号条件。