Grille de recherche

Recherches modulaire et architecture spectrale du groupe (ℤ/30ℤ)×

Bienvenue sur l’espace d’exploration et de recherche du programme Couret–Unification. Cette interface interactive rassemble l’ensemble des modules, briques théoriques et jalons analytiques qui structurent nos travaux sur la géométrie des nombres premiers et les opérateurs spectraux en dimension 7.

Chaque élément de la grille ci-dessous représente un composant clé du système : des fondements du noyau spectral fini certifié aux avancées de la Route C, en passant par les invariants et les formalismes de crible modulaire.

Explorez les modules de recherche : Cliquez sur n’importe quel élément de la grille pour ouvrir ses spécifications, consulter l’état des preuves, accéder aux visualisations de données et suivre les axes de développement en cours.

Opérateur de Couret–Sonine S_{α,q}

Opérateur de Couret–Sonine S_{α,q}

[D] Démontré
démonstratif
λ = 1/√7

λ = 1/√7

[D] Démontré[H] Heuristique[M] Mesuré[O] Ouvert
démonstratif
ParityGate · ResGoldLocal · FixedTargetLift

ParityGate · ResGoldLocal · FixedTargetLift

[D] Démontré[M] Mesuré[O] Ouvert
démonstratif
DefectNorm — décroissance des strates

DefectNorm — décroissance des strates

[D] Démontré[M] Mesuré
expérimental
Trichotomie spectrale {3, 1, −1}

Trichotomie spectrale {3, 1, −1}

[D] Démontré
démonstratif
Projecteur P_π · résidu vertical V

Projecteur P_π · résidu vertical V

[D] Démontré
démonstratif
Relief r_X(q) = μ_X − u_q

Relief r_X(q) = μ_X − u_q

[D] Démontré[M] Mesuré
expérimental
MU210-JOINT-LAW

MU210-JOINT-LAW

[F] Falsifié[M] Mesuré[O] Ouvert
expérimental
U₃₀ — huit classes admissibles mod 30

U₃₀ — huit classes admissibles mod 30

[D] Démontré
démonstratif
Extension MU210 → 2310 → 30030

Extension MU210 → 2310 → 30030

[O] Ouvert
expérimental
Théorème E — NT(sₙ) = 2/3

Théorème E — NT(sₙ) = 2/3

[D] Démontré[M] Mesuré[O] Ouvert
démonstratif
Notation des reliefs — R = (Z, U, A, F)

Notation des reliefs — R = (Z, U, A, F)

[D] Démontré[H] Heuristique[O] Ouvert
démonstratifméditatif
qₙʳ = pᵐ · Kᵖ(a) TD4 · dominance 3/5 · lectures λ

qₙʳ = pᵐ · Kᵖ(a) TD4 · dominance 3/5 · lectures λ

[F] Falsifié
méditatif
Schatten S₂ · det₂(I − zS)

Schatten S₂ · det₂(I − zS)

[C] Conditionnel[D] Démontré[O] Ouvert
démonstratif
Théorème A.4′ — orbite A₄ = {1,11,19,29}

Théorème A.4′ — orbite A₄ = {1,11,19,29}

[D] Démontré[P] Probatoire
démonstratif
H₃₀ — espace centré dim 7

H₃₀ — espace centré dim 7

[D] Démontré
démonstratif
Caractères mod 210 · conducteurs effectifs

Caractères mod 210 · conducteurs effectifs

[D] Démontré[M] Mesuré
démonstratif
Théorème A.4 / A.4′ — résonance quadratique

Théorème A.4 / A.4′ — résonance quadratique

[D] Démontré[F] Falsifié[M] Mesuré
démonstratif
Rigidité spectrale Δ₃(L) ≈ λ log L

Rigidité spectrale Δ₃(L) ≈ λ log L

[M] Mesuré
démonstratif
Arithmétique expérimentale (thèse)

Arithmétique expérimentale (thèse)

[F] Falsifié[H] Heuristique[M] Mesuré[O] Ouvert[T] Transmis
expérimentalméditatif
Spectre erroné {3², 1⁶}

Spectre erroné {3², 1⁶}

[F] Falsifié
démonstratif
G₃₀ ≅ C₂ × C₄

G₃₀ ≅ C₂ × C₄

[D] Démontré
démonstratif
SpectralDefect — fuite propre

SpectralDefect — fuite propre

[D] Démontré
expérimental
Reliefs mod 210 / 2310 / 30030

Reliefs mod 210 / 2310 / 30030

[M] Mesuré[O] Ouvert
démonstratifméditatif
Comparaison Hardy–Littlewood locale

Comparaison Hardy–Littlewood locale

[C] Conditionnel[M] Mesuré[O] Ouvert
expérimental
Théorème C-031

Théorème C-031

[D] Démontré[F] Falsifié
démonstratif
Pont det₂ ↔ ξ

Pont det₂ ↔ ξ

[C] Conditionnel[O] Ouvert
démonstratif
F.6 — ‖Bₙ‖op = 1

F.6 — ‖Bₙ‖op = 1

[D] Démontré[F] Falsifié
démonstratif
Old/New Split · FiniteEulerStrata

Old/New Split · FiniteEulerStrata

[D] Démontré
expérimental
Théorème C-037 — no-go quadratique

Théorème C-037 — no-go quadratique

[D] Démontré[F] Falsifié
démonstratif
Positivité de Ŵ ≥ 0

Positivité de Ŵ ≥ 0

[O] Ouvert
démonstratif
‖Mₙ‖op = √(3/8) stable · Pont K# → ζ

‖Mₙ‖op = √(3/8) stable · Pont K# → ζ

[F] Falsifié
démonstratif
Le (S)enseur

Le (S)enseur

[O] Ouvert
démonstratifpoétique
H3 — trois mondes à recoller

H3 — trois mondes à recoller

[C] Conditionnel[D] Démontré[O] Ouvert
démonstratif
Caractères de Dirichlet mod 30

Caractères de Dirichlet mod 30

[D] Démontré
démonstratif
L_race · L_HL · hybride (Phase 2.8.7)

L_race · L_HL · hybride (Phase 2.8.7)

[D] Démontré[O] Ouvert[P] Probatoire
expérimental
Complétion eulérienne · pont archimédien

Complétion eulérienne · pont archimédien

[C] Conditionnel[O] Ouvert
démonstratif
Identité v18 (sinc) · Anti-tournoiement F6 · Table des moments τk

Identité v18 (sinc) · Anti-tournoiement F6 · Table des moments τk

[F] Falsifié
démonstratif
TransportTest

TransportTest

[O] Ouvert
expérimental
Voie K# — fermée par C-031

Voie K# — fermée par C-031

[D] Démontré[F] Falsifié
démonstratif
Borne KLMN

Borne KLMN

[C] Conditionnel[O] Ouvert
démonstratif
L_joint_split (Phase 2.8.6-F1)

L_joint_split (Phase 2.8.6-F1)

[D] Démontré[F] Falsifié[M] Mesuré[P] Probatoire
expérimental
L_uniform · L_geo · L_CRT

L_uniform · L_geo · L_CRT

[C] Conditionnel[D] Démontré[M] Mesuré
expérimental
Copie de Relief r_X(q) = μ_X − u_q

Copie de Relief r_X(q) = μ_X − u_q

[D] Démontré[H] Heuristique
démonstratifméditatif
Voie Kᵖ — ouverte sous verrous

Voie Kᵖ — ouverte sous verrous

[C] Conditionnel[D] Démontré[F] Falsifié[O] Ouvert
démonstratif
Mersenne

Mersenne

[O] Ouvert
démonstratifexpérimental
AnalyticBridge — pont global ResGold

AnalyticBridge — pont global ResGold

[O] Ouvert
expérimental
Martingale primorielle · entropie · rang effectif

Martingale primorielle · entropie · rang effectif

[M] Mesuré[O] Ouvert
démonstratif
Fibres additives mod 210

Fibres additives mod 210

[D] Démontré
démonstratif
Local Residue Relief Database · Crible en temps réel

Local Residue Relief Database · Crible en temps réel

[D] Démontré[M] Mesuré[P] Probatoire
expérimental
Copie de Pont det₂ ↔ ξ

Copie de Pont det₂ ↔ ξ

[C] Conditionnel[O] Ouvert
démonstratif
Canaux jumeaux mod 30

Canaux jumeaux mod 30

[D] Démontré[M] Mesuré
expérimental
Lemme 7 / résidu critique

Lemme 7 / résidu critique

[C] Conditionnel[F] Falsifié[O] Ouvert
démonstratif
Correcteur eulérien K_{ζ→C₂}

Correcteur eulérien K_{ζ→C₂}

[M] Mesuré
expérimental
Null-Model Ladder

Null-Model Ladder

[M] Mesuré[O] Ouvert[T] Transmis
expérimental
Collapsus spectral · passage discret–continu

Collapsus spectral · passage discret–continu

[H] Heuristique[O] Ouvert
démonstratif
Résidu Δ(t) — indépendance du triplet

Résidu Δ(t) — indépendance du triplet

[H] Heuristique[M] Mesuré[O] Ouvert
expérimental
Reliefs mod 30

Reliefs mod 30

[H] Heuristique[M] Mesuré
démonstratifméditatif
σ_G* ≈ π/10

σ_G* ≈ π/10

[F] Falsifié[T] Transmis
démonstratifméditatif
Théorème C-036 — projecteur P_H

Théorème C-036 — projecteur P_H

[D] Démontré
démonstratif
Modèle nul Goldbach uniforme

Modèle nul Goldbach uniforme

[F] Falsifié
expérimental
Module F — Goldbach comme laboratoire

Module F — Goldbach comme laboratoire

[D] Démontré[O] Ouvert
expérimental
Crible en temps réel

Crible en temps réel

[M] Mesuré[P] Probatoire
expérimental
Bootstrap · Cramér modulaire · Score de relief

Bootstrap · Cramér modulaire · Score de relief

[C] Conditionnel[M] Mesuré[P] Probatoire
expérimental
Verrou F — recollement global adélique

Verrou F — recollement global adélique

[C] Conditionnel[O] Ouvert
démonstratif
Matrices de préférence / asymétrie / transition

Matrices de préférence / asymétrie / transition

[M] Mesuré[P] Probatoire
expérimental
Plan Verrou T — 12 lemmes

Plan Verrou T — 12 lemmes

[C] Conditionnel[D] Démontré[O] Ouvert
démonstratif
Cay(G₃₀, T_C) — Ramanujan finie

Cay(G₃₀, T_C) — Ramanujan finie

[D] Démontré[M] Mesuré[O] Ouvert
démonstratif
Triplet canonique T_C = {1, 11, 29}

Triplet canonique T_C = {1, 11, 29}

[D] Démontré[M] Mesuré[O] Ouvert
démonstratif
Sophie Germain mod 30

Sophie Germain mod 30

[D] Démontré[H] Heuristique[M] Mesuré[O] Ouvert
démonstratif