Graphe de Ramanujan

Un graphe de Ramanujan, nommé d'après Srinivasa Ramanujan, est un graphe régulier dont le trou spectral (spectral gap) est presque aussi grand que possible. De tels graphes sont d'excellents graphes expanseurs. Autrement dit, il s'agit d'une famille de graphes où chaque sommet a un même degré (régulier) et où les deux valeurs propres les plus élevées ont une différence presque aussi grande que possible.

Le graphe de Pappus, qui selon les valeurs propres de sa matrice de connexion, est aussi un graphe de Ramanujan.

Parmi les graphes de Ramanujan, on compte les cliques, les bipartis complets ${\displaystyle K_{n,n}}$ et le graphe de Petersen. Comme le fait remarquer M. Ram Murty^[1], les graphes de Ramanujan « regroupent diverses branches des mathématiques, telles que la théorie des nombres, la théorie des représentations et la géométrie algébrique ».

Définition

Soit ${\displaystyle G}$ un graphe connexe ${\displaystyle d}$-régulier ayant ${\displaystyle n}$ sommets, et soient ${\displaystyle \lambda _{0}\geq \lambda _{1}\geq \ldots \geq \lambda _{n-1}}$ les valeurs propres de la matrice d'adjacence de ${\displaystyle G}$ (voir théorie spectrale des graphes). Comme ${\displaystyle G}$ est connexe et ${\displaystyle d}$-régulier, ses valeurs propres vérifient ${\displaystyle d=\lambda _{0}\geq \lambda _{1}\geq \ldots \geq \lambda _{n-1}\geq -d}$. À chaque fois qu'il existe ${\displaystyle \lambda _{i}}$ tel que ${\displaystyle |\lambda _{i}|<d}$, on définit

${\displaystyle \lambda (G)=\max _{|\lambda _{i}|<d}|\lambda _{i}|.\,}$

Un graphe ${\displaystyle d}$-régulier ${\displaystyle G}$ est un graphe de Ramanujan si ${\displaystyle \lambda (G)}$ est défini et vaut ${\displaystyle \lambda (G)\leq 2{\sqrt {d-1}}}$.

Extrémalité des graphes de Ramanujan

Pour ${\displaystyle d}$ et ${\displaystyle n}$ fixés, le graphe de Ramanujan ${\displaystyle d}$-régulier à ${\displaystyle n}$ sommets minimise ${\displaystyle \lambda (G)}$. Si ${\displaystyle G}$ est un graphe ${\displaystyle d}$-régulier de diamètre ${\displaystyle m}$, un théorème de Noga Alon^[2] donne :

${\displaystyle \lambda _{1}\geq 2{\sqrt {d-1}}-{\frac {2{\sqrt {d-1}}-1}{m}}.}$

Lorsque ${\displaystyle G}$ est ${\displaystyle d}$-régulier et connexe sur au moins trois de ses sommets, ${\displaystyle |\lambda _{1}|<d}$, d'où ${\displaystyle \lambda (G)\geq |\lambda _{1}|}$. Soit ${\displaystyle {\mathcal {G}}_{n}^{d}}$ l'ensemble de tous les graphes ${\displaystyle d}$-réguliers ${\displaystyle G}$ ayant au moins ${\displaystyle n}$ sommets. Comme le diamètre minimal de ces graphes ${\displaystyle {\mathcal {G}}_{n}^{d}}$ tend vers l'infini pour ${\displaystyle d}$ fixé et ${\displaystyle n}$ tendant vers l'infini, le théorème de Nilli implique le théorème d'Alon et Boppana, démontré plus tôt, qui affirme :

${\displaystyle \lim _{n\to \infty }\inf _{G\in {\mathcal {G}}_{n}^{d}}\lambda (G)\geq 2{\sqrt {d-1}}.}$

Construction

La construction de graphes de Ramanujan se fait souvent à l'aide de graphes de Ramanujan ${\displaystyle p+1}$-réguliers, pour tout ${\displaystyle p}$ premier et tel que p ≡ 1 (mod 4). Leur preuve utilise la conjecture de Ramanujan, ce qui a donné leur nom aux graphes. Morgenstern étendit la construction à toutes les puissances de nombres premiers impairs.

Notes et références

1. (en) M. Ram Murty, « Ramanujan Graphs », J. Ramanujan Math. Soc., vol. 18, n^o 1,‎ 2003, p. 1-20 (lire en ligne)
2. (en) Nilli Alon, « On the second eigenvalue of a graph », Discrete Mathematics, vol. 91, n^o 2,‎ 1991, p. 207-210 (lire en ligne)

Voir aussi

Bibliographie

• (en) Giuliana Davidoff, Peter Sarnak et Alain Valette, Elementary number theory, group theory and Ramanjuan graphs, vol. 55, Cambridge University Press, coll. « LMS student texts », 2003 (ISBN 0-521-53143-8, OCLC 50253269)
• (en) Alexander Lubotzky, R. Phillips, Peter Sarnak, « Ramanujan graphs », Combinatorica, vol. 8,‎ 1988, p. 261–277 (DOI 10.1007/BF02126799)
• (en) Moshe Morgenstern, « Existence and Explicit Constructions of q+1 Regular Ramanujan Graphs for Every Prime Power q », J. Combinatorial Theory, Series B, vol. 62,‎ 1994, p. 44–62 (DOI 10.1006/jctb.1994.1054)
• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ramanujan graph » (voir la liste des auteurs).

Article connexe

• Théorie des graphes extrémaux

• Portail des mathématiques
• Portail de l'informatique théorique