10
$\begingroup$

I think it might help to think of the following definition of a Ramanujan graph - a graph whose non-trivial eigenvalues are such that their magnitude is bounded above by the spectral radius of its universal cover.

By "non-trivial eigenvalues" I mean all the eigenvalues except the highest and the smallest. A universal cover of a graph is the infinite tree such that every connected lift of the graph is a quotient of the tree. The spectral radius of a graph would be the norm of its adjacency matrix.

It would be helpful if people can give any pointers along these directions..

Improve this question
$\endgroup$
1
  • 6
    $\begingroup$ It would be helpful if the question were not merely in the title, but asked and expanded upon in the body of the question. It's hard figuring out what you want. $\endgroup$
    – Todd Trimble ♦
    Nov 5, 2014 at 12:27

3 Answers 3

Reset to default
16
$\begingroup$

In fact, the original motivation behind Lubotzky--Phillips--Sarnak's construction of Ramanujan graphs was in analogy with modular curves $Y(N)=\mathbb H^2/\Gamma(N)$ for the principal congruence subgroups $\Gamma(N)\subseteq\operatorname{PSL}(2,\mathbb Z)$. So the answer is yes, there is a continuous analogue, but in fact it came first!

Let me give a few more details. The spectrum of the Laplacian $\Delta$ on hyperbolic space $\mathbb H^2$ consists of $[\frac 14,\infty)$. Selberg proved that the smallest positive eigenvalue of the Laplacian on $Y(N)$ satisfies $\lambda_1(Y(N))\geq\frac 3{16}$, and conjectured that $\lambda_1(Y(N))\geq\frac 14$. Note that $\frac 14$ is exactly the inf of the spectrum of $\Delta$ on the universal cover $\mathbb H^2$. You can read more about this in an article by Sarnak.

As far as I understand things, Lubotzky--Phillips--Sarnak's examples of Ramanujan graphs are discrete analogues of modular curves.

Improve this answer
$\endgroup$
1
  • $\begingroup$ Pradon Thanks for the explanations. But the link is not opening. Can you kindly link to some pedagogical article on this ? Something publicly available? $\endgroup$
    – Student
    Nov 7, 2014 at 14:04
5
$\begingroup$

One possible answer can be found in the theory of graph limits, where large graphs are modelled by continuous objects. In particular, a graphing is one type of continuous analogue of a graph, and it still makes sense to do spectral theory on graphings. Thus, one can define a suitable notion of a Ramanujan graphing. See Section 2 of this paper of Backhausz, Szegedy and Virág, where this is carried out.

Improve this answer
$\endgroup$
1
$\begingroup$

Check this out http://arxiv.org/abs/1301.1028 It's Ramanujan complex

Improve this answer
$\endgroup$
4
  • 1
    $\begingroup$ While the paper is interesting and relevant, as far as I can see, Ramanujan complexes are finite, so it's a generalization in a different direction than what the answer asks for. $\endgroup$
    – Emil Jeřábek
    Nov 5, 2014 at 12:42
  • $\begingroup$ @EmilJeřábek: perhaps you rather mean "... than what the question asks for"? $\endgroup$
    – Stefan Kohl ♦
    Nov 5, 2014 at 13:27
  • $\begingroup$ if the author means a generalization to simplicial complexes then I guess there is not yet an agreement on the "right definition" of expanders (which Ramanujan graphs are extreme cases) $\endgroup$
    – Son P Nguyen
    Nov 5, 2014 at 15:44
  • 6
    $\begingroup$ I believe the issue is that the author asks in the title for continuous analogues, not higher-dimensional analogues. $\endgroup$
    – j.c.
    Nov 5, 2014 at 16:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.