In the mathematical field of spectral graph theory, a Ramanujan graph is a regular graph whose spectral gap is almost as large as possible (see extremal graph theory). Such graphs are excellent spectral expanders. As Murty's survey paper notes, Ramanujan graphs "fuse diverse branches of pure mathematics, namely, number theory, representation theory, and algebraic geometry". These graphs are indirectly named after Srinivasa Ramanujan; their name comes from the Ramanujan–Petersson conjecture, which was used in a construction of some of these graphs.
Definition Let G {\displaystyle G} be a connected d {\displaystyle d} -regular graph with n {\displaystyle n} vertices, and let λ 1 ≥ λ 2 ≥ ⋯ ≥ λ n {\displaystyle \lambda _{1}\geq \lambda _{2}\geq \cdots \geq \lambda _{n}} be the eigenvalues of the adjacency matrix of G {\displaystyle G} (or the spectrum of G {\displaystyle G} ). Because G {\displaystyle G} is connected and d {\displaystyle d} -regular, its eigenvalues satisfy d = λ 1 > λ 2 {\displaystyle d=\lambda _{1}>\lambda _{2}} ≥ ⋯ ≥ λ n ≥ − d {\displaystyle \geq \cdots \geq \lambda _{n}\geq -d} . Define λ ( G ) = max i ≠ 1 | λ i | = max ( | λ 2 | , … , | λ n | ) {\displaystyle \lambda (G)=\max _{i\neq 1}|\lambda _{i}|=\max(|\lambda _{2}|,\ldots ,|\lambda _{n}|)} . A connected d {\displaystyle d} -regular graph G {\displaystyle G} is a Ramanujan graph if λ ( G ) ≤ 2 d − 1 {\displaystyle \lambda (G)\leq 2{\sqrt {d-1}}} . Many sources uses an alternative definition λ ′ ( G ) = max | λ i | < d | λ i | {\displaystyle \lambda '(G)=\max _{|\lambda _{i}|<d}|\lambda _{i}|} (whenever there exists λ i {\displaystyle \lambda _{i}} with | λ i | < d {\displaystyle |\lambda _{i}|<d} ) to define Ramanujan graphs. In other words, we allow − d {\displaystyle -d} in addition to the "small" eigenvalues. Since λ n = − d {\displaystyle \lambda _{n}=-d} if and only if the graph is bipartite, we will refer to the graphs that satisfy this alternative definition but not the first definition as bipartite Ramanujan graphs. If G {\displaystyle G} is a Ramanujan graph, then G × K 2 {\displaystyle G\times K_{2}} is a bipartite Ramanujan graph, so the existence of Ramanujan graphs is stronger. As observed by Toshikazu Sunada, a regular graph is Ramanujan if and only if its Ihara zeta function satisfies an analog of the Riemann hypothesis.
Examples and constructions
… excerpt ends here. Continue reading the full article.
