Homological eigenvalues of graph $p$-Laplacians

Abstract

Inspired by persistent homology in topological data analysis, we introduce the homological eigenvalues of the graph $p$-Laplacian $Δ_p$, which allows us to analyse and classify non-variational eigenvalues. We show the stability of homological eigenvalues, and we prove that for any homological eigenvalue $λ(Δ_p)$, the function $p\mapsto p(2λ(Δ_p))^{\frac1p}$ is locally increasing, while the function $p\mapsto 2^{-p}λ(Δ_p)$ is locally decreasing. As a special class of homological eigenvalues, the min-max eigenvalues $λ_1(Δ_p)$, $\cdots$, $λ_k(Δ_p)$, $\cdots$, are locally Lipschitz continuous with respect to $p\in[1,+\infty)$. We also establish the monotonicity of $p(2λ_k(Δ_p))^{\frac1p}$ and $2^{-p}λ_k(Δ_p)$ with respect to $p\in[1,+\infty)$. These results systematically establish a refined analysis of $Δ_p$-eigenvalues for varying $p$, which lead to several applications, including: (1) settle an open problem by Amghibech on the monotonicity of some function involving eigenvalues of $p$-Laplacian with respect to $p$; (2) resolve a question asking whether the third eigenvalue of graph $p$-Laplacian is of min-max form; (3) refine the higher order Cheeger inequalities for graph $p$-Laplacians by Tudisco and Hein, and extend the multi-way Cheeger inequality by Lee, Oveis Gharan and Trevisan to the $p$-Laplacian case. Furthermore, for the 1-Laplacian case, we characterize the homological eigenvalues and min-max eigenvalues from the perspective of topological combinatorics, where our idea is similar to the authors' work on discrete Morse theory.