Graphe 3-régulier, profil (9,1,1,1,9,1,1,1), Parseval 24 ; aucun pont direct vers ζ.
Statut composite (D · M · O)
un analogue graphique fini de la rigidité spectrale.
l’analogue RH sur ζ.
Risque de mauvaise lecture : lire le graphe comme une promesse RH.
Le graphe de Cayley du Triplet de Couret est 3-régulier avec 8 sommets et 12 arêtes. Correction v32 : le graphe est déconnecté en deux composantes de 4 sommets chacune (pairs et impairs dans C₂ × C₄), chacune de diamètre 2. Le spectre global {3², 1⁴, (−1)²} est l’union de deux copies de {3, 1, 1, −1}. Toutes ses valeurs propres non triviales ont un module au plus 1 — strictement en dessous de la borne de Ramanujan 2√2 ≈ 2,83.
Graphe 3-régulier
8 sommets, 12 arêtes
{1, 1, 1, 1, −1, −1}
Toutes de module ≤ 1
Pour d = 3 : 2√(d−1) = 2√2 ≈ 2,83
1 < 2,83 ✓
Par la formule d’Ihara–Bass : ZG(u)−1 = (1−u²)r−1 · det(I − Au + 2u²I), où r est le rang cyclomatique. Pour un graphe de Ramanujan d-régulier, les zéros non triviaux de Z−1(u) sont sur le cercle |u| = 1/√(d−1) = 1/√2.
Ceci constitue l’analogue de RH pour les graphes — un théorème classique (Lubotzky–Phillips–Sarnak, 1988), ici vérifié pour le graphe spécifique du programme. Par le théorème d’Alon–Boppana, le deuxième plus grand module de valeur propre dicte le temps de mélange des marches aléatoires ; sa minimisation extrême (|λ| = 1 ≪ 2√2) garantit une diffusion de l’information et une connectivité exceptionnellement rapides — le graphe est un expanseur quasi-optimal. Note : cet analogue graphique ne constitue pas un pont direct vers la fonction zêta de Riemann.
Les zéros non triviaux de Zq(u)−1, rescalés par un facteur dépendant de φ(q), convergent-ils vers une distribution stable quand q parcourt la tour sûre ? Candidats : distribution des zéros de ζ (rescalée), loi du demi-cercle (Wigner), distribution GUE/GOE, ou autre.
G₃₀ se décompose en C₇ = ⟨7⟩ = {1,7,13,19} (sous-groupe cyclique) et 29·C₇ = {11,17,23,29} (coset unique). Chaque famille de premiers a un support contraint qui tombe dans l’un des deux camps.
| Famille | Support mod 30 | Camp | Preuve |
|---|---|---|---|
| Mersenne (2p−1) | {1, 7} | Cycle | Cycle de 2 mod 30 |
| Cousins (p, p+4) | {7, 13, 19} | Cycle | Admissibilité mod 2,3,5 |
| Jumeaux (p, p+2) | {11, 17, 29} | Coset | Admissibilité mod 2,3,5 |
| Sophie Germain | {11, 23, 29} | Coset | gcd(2r+1, 30) = 1 |
| Safe (2p+1) | {17, 23, 29} | Coset | Dual de Sophie Germain |
| Fermat (n≥2) | {17} | Coset | 22n ≡ 16 mod 30 |
Toute famille « Cycle-pure » est disjointe de toute famille « Coset-pure ». Les Mersenne et les jumeaux ne partagent jamais une classe résiduelle mod 30. La structure de sous-groupe de G₃₀ gouverne la géographie modulaire des familles de premiers.
Ceci constitue l’analogue de RH pour les graphes — un théorème classique (Lubotzky–Phillips–Sarnak, 1988), ici vérifié pour le graphe spécifique du programme. Par le théorème d’Alon–Boppana, le deuxième plus grand module de valeur propre dicte le temps de mélange des marches aléatoires ; sa minimisation extrême (|λ| = 1 ≪ 2√2) garantit une diffusion de l’information et une connectivité exceptionnellement rapides — le graphe est un expanseur quasi-optimal. Note : cet analogue graphique ne constitue pas un pont direct vers la fonction zêta de Riemann.