Sharp lower bound on the "number of nodal decomposition" of graphs

Hiranya Kishore Dey,Soumyajit Saha
2023-04-20
Abstract:Urschel introduced a notion of nodal partitioning to prove an upper bound on the number of nodal decomposition of discrete Laplacian eigenvectors. The result is an analogue to the well-known Courant's nodal domain theorem on continuous Laplacian. In this article, using the same notion of partitioning, we discuss the lower bound (or lack thereof) on the number of nodal decomposition of eigenvectors in the class of all graphs with a fixed number of vertices (however large). This can be treated as a discrete analogue to the results of Stern and Lewy in the continuous Laplacian case.
Combinatorics,Spectral Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore whether there is a lower bound on the number of "node decompositions" of the discrete Laplacian eigenvectors of a graph, and to give relevant conclusions. Specifically, the paper studies whether there is a non - trivial lower bound on the number of node decompositions of certain eigenvectors in all graphs with a fixed number of vertices. The author constructs a class of graphs with specific properties to prove that for the eigenvectors corresponding to certain non - zero eigenvalues in this class of graphs, the number of their node decompositions can be exactly 2, thus indicating that in this class of graphs, there is no non - trivial lower bound depending on the eigenvalue index \( k \). ### Background and Motivation of the Paper 1. **Node Domain Theorem of Continuous Laplacian Operator**: - **Courant Node Domain Theorem**: Given a Riemannian manifold \( (M, g) \), the number of node domains \( \nu(\phi_k) \) corresponding to the \( k \)-th eigenfunction \( \phi_k \) of the Laplace - Beltrami operator \( \Delta_g \) satisfies \( \nu(\phi_k)\leq k \). - **Results of Pleijel and Peetre**: On a two - dimensional region, only a finite number of eigenfunctions can achieve the maximum partition through nodal lines. - **Results of Polterovich and Léna**: Under Neumann boundary conditions, it also applies to high - dimensional regions. 2. **Study of Node Domains of Discrete Laplacian Matrix**: - **Definition of Node Domains of a Graph**: Given a graph \( G \), the strong node domain of an eigenvector \( f \) of its Laplacian matrix \( L(G) \) refers to the largest connected subgraph satisfying \( f(i)f(j)>0 \), and the weak node domain refers to the largest connected subgraph satisfying \( f(i)f(j)\geq0 \). - **Urschel's Node Decomposition**: Urschel introduced a concept of node decomposition to prove the upper bound of the number of node decompositions of discrete Laplacian eigenvectors. ### Main Results 1. **Lower Bound of Node Decomposition**: - **Theorem 2.10**: For any given graph \( G \), if \( G \) is a complete multi - part graph, then there exists a basis \( B \) consisting of eigenvectors of \( L(G) \) such that for any non - zero eigenvector \( f \) that is not the maximum eigenvalue, the number of its node decompositions \( D(f) = 2 \). - **Corollary 2.11**: For any sufficiently large \( N \), there exists a graph with \( N \) vertices such that at least one eigenfunction \( f_{\lambda_i} \) corresponding to a non - zero eigenvalue \( \lambda_i \) satisfies \( D(f_{\lambda_i}) = 2 \). 2. **Node Decomposition of the Highest Eigenvalue**: - **Theorem 2.12**: For a graph \( G \) with a unique dominating vertex which is also a cut - point, its highest eigenvalue \( \lambda_n \) is simple, and the number of node decompositions \( D(f_{\lambda_n})\geq3 \) of the corresponding eigenvector. 3. **Application of Power Graphs**: - **Theorem 2.13**: For a finite abelian \( p \)-group \( H \), for any non - zero eigenvalue \( \lambda \) (except the highest eigenvalue) of the Laplacian matrix \( L(P(H)) \) of its power graph \( P(H) \), there exists a basis \( B_\lambda \) of the corresponding eigenspace \( E(\lambda) \) such that for all \( f_\lambda\in B_\lambda \), \( D(f_\lambda) = 2 \). This can be used to characterize cyclic groups. ### Conclusion The paper proves, by constructing specific graph classes, the number of node decompositions of certain eigenvectors in these graphs.