I believe I have a solution. I will sketch it here. (Sorry, it's broken up into three posts because I cannot figure out how to post something more than 1000 characters...but I have seen longer solutions posted elsewhere so I assume it's okay; if not, I apologize.)
Consider the operator defined by
This is in some sense a weighting of the adjacency operator. We can then prove the result (well-known for finite graphs) that , where are the sup and inf of the spectrum of .
We note that the eigenfunctions of are simply the exponential maps .
Solution
I believe I have a solution. I will sketch it here. (Sorry, it's broken up into three posts because I cannot figure out how to post something more than 1000 characters...but I have seen longer solutions posted elsewhere so I assume it's okay; if not, I apologize.)
Consider the operator defined by
This is in some sense a weighting of the adjacency operator. We can then prove the result (well-known for finite graphs) that , where are the sup and inf of the spectrum of .
We note that the eigenfunctions of are simply the exponential maps .