What is a proper graph Laplacian? An operator-theoretic framework for graph diffusion.

Estrada, Ernesto
Special Matrices 13, (2025)

We introduce an operator-theoretic definition of a proper graph Laplacian as any matrix associated with a given graph that can be expressed as the composition of a divergence and a gradient operator, with the gradient acting between graph-related spaces and annihilating constant functions. This provides a unified framework for determining whether a matrix represents a genuine diffusive operator on a graph. Within this framework, we prove that the standard Laplacian, the fractional Laplacian, the d-path Laplacians, and the degree-attracting and degree-repelling Laplacians are all proper diffusive Laplacians. In contrast, the in-degree and out-degree Laplacians correspond to advection operators, while the signed, signless, magnetic, and deformed Laplacians are improper, as they cannot be written as the composition of a divergence and a
true gradient. The magnetic Laplacian is shown to arise as the Schur complement of an extended proper Laplacian defined on a higher-dimensional space, a property also inherited by the signless Laplacian. The Lerman-Ghosh Laplacian is identified as a nonconservative diffusive operator coupled to an external reservoir. Finally, we prove that the Moore-Penrose pseudoinverse of the Laplacian is itself a proper Laplacian. This classification establishes a rigorous operator-theoretic foundation for distinguishing proper, conconservative, and improper graph Laplacians.

This web uses cookies for data collection with a statistical purpose. If you continue Browse, it means acceptance of the installation of the same.


More info I agree