Infinite networks and variation of conductance functions in discrete Laplacians

• Published in: Journal of mathematical physics Vol. 56; no. 4; p. 1
• Main Authors: Jorgensen, Palle, Tian, Feng
• Format: Journal Article
• Language: English
• Published: New York American Institute of Physics 01.04.2015
• Subjects: Computation; Fine structure; Finite differences; Graph theory; Hilbert space; Laplace transforms; Operators (mathematics); Physics; Proof theory; Resistance; Similarity; Spectrum analysis
• ISSN: 0022-2488; 1089-7658
• DOI: 10.1063/1.4918646

For a given infinite connected graph G = (V, E) and an arbitrary but fixed conductance function c, we study an associated graph Laplacian Δc; it is a generalized difference operator where the differences are measured across the edges E in G; and the conductance function c represents the corresponding coefficients. The graph Laplacian (a key tool in the study of infinite networks) acts in an energy Hilbert space ℋE computed from c. Using a certain Parseval frame, we study the spectral theoretic properties of graph Laplacians. In fact, for fixed c, there are two versions of the graph Laplacian, one defined naturally in the l2 space of V and the other in ℋE. The first is automatically selfadjoint, but the second involves a Krein extension. We prove that, as sets, the two spectra are the same, aside from the point 0. The point zero may be in the spectrum of the second, but not the first. We further study the fine structure of the respective spectra as the conductance function varies, showing now how the spectrum changes subject to variations in the function c. Specifically, we study an order on the spectra of the family of operators Δc, and we compare it to the ordering of pairs of conductance functions. We show how point-wise estimates for two conductance functions translate into spectral comparisons for the two corresponding graph Laplacians, involving a certain similarity: We prove that point-wise ordering of two conductance functions c on E induces a certain similarity of the corresponding (Krein extensions computed from the) two graph Laplacians Δc. The spectra are typically continuous, and precise notions of fine-structure of spectrum must be defined in terms of equivalence classes of positive Borel measures (on the real line). Our detailed comparison of spectra is analyzed this way.