algo/applications/collatz/démonstration collatz.md

Démonstration (conditionnelle) de la Conjecture de Collatz par saturation 2-adique

Résumé : Ce texte formalise un schéma de preuve arithmétique conditionnel de la conjecture de Collatz. Le cadre repose sur la dynamique accélérée sur les impairs et sur l’existence d’un registre fini de clauses universelles de réduction (descente et fusion) vérifiables. La conclusion « pour tout entier, l’orbite atteint 1 » est obtenue sous une hypothèse explicite de clôture (extinction à un palier fini) ou, alternativement, sous un lemme analytique global de contraction uniforme.

1. Introduction et Énoncé du Théorème

Soit la fonction T : \mathbb{N}^* \to \mathbb{N}^* définie par :

T(n)= \begin{cases} \frac{n}{2} & \text{si } n \equiv 0 \pmod 2 \\ \frac{3n+1}{2} & \text{si } n \equiv 1 \pmod 2 \end{cases}

Conjecture (Collatz) : Pour tout entier n \in \mathbb{N}^*, il existe un entier k \in \mathbb{N} tel que T^{(k)}(n) = 1.

2. Définition de l'Opérateur de Réduction Accéléré

Pour restreindre l'étude aux entiers impairs sans perte de généralité, nous définissons l'ensemble \mathbb{I} = \{2k + 1 \mid k \in \mathbb{N}\}. Sur cet ensemble, nous introduisons l'opérateur de saut U, défini par :

U(n) = \frac{3n+1}{2^{v_2(3n+1)}}

où v_2(x) désigne la valuation 2-adique de x, représentant le nombre d'itérations paires consécutives dans la dynamique originelle de T.

3. Architecture du Registre de Réduction \mathcal{K}

La démonstration procède par la construction d'un certificat de fermeture \mathcal{K}, un ensemble de clauses garantissant une décroissance stricte de la trajectoire.

Lemme 3.1 — Représentation Affine des Orbites

Soit un entier impair n et sa trajectoire sous U de longueur k. Soit A_k(n) = \sum_{i=0}^{k-1} v_2(3n_i+1) la somme des valuations 2-adiques sur cet horizon. Il existe une constante C_k \in \mathbb{N}, indépendante de n mais dépendante du préfixe des valuations, telle que :

U^{(k)}(n) = \frac{3^k n + C_k}{2^{A_k(n)}}

Lemme 3.2 — Condition de Contractivité (Clause D)

Une clause de descente, notée D, est vérifiée s'il existe un horizon k tel que le gain arithmétique de division compense l'expansion multiplicative. Formellement, la condition de contractivité stricte est :

2^{A_k} > 3^k

Pour tout préfixe satisfaisant cette condition, il existe un seuil N_0 tel que \forall n \ge N_0, U^{(k)}(n) < n. À l'horizon k=8, cette condition impose A_8 \ge 13 (puisque 2^{13} = 8192 > 6561).

Lemme 3.3 — Fibrations Henséliennes et Relèvement

Pour toute classe de résidus r \pmod{2^m}, il existe deux extensions canoniques r et r+2^m dans l'anneau \mathbb{Z}/2^{m+1}\mathbb{Z}. Si l'équation linéaire associée à une trajectoire ne satisfait pas la condition de contractivité à l'ordre m, la structure algébrique impose que, pour au moins l'une des extensions, la valuation s'incrémente au pas suivant. Ce processus force asymptotiquement l'atteinte du seuil de contractivité.

4. Démonstration par Couverture Exhaustive

La preuve opère par un partitionnement successif du noyau résiduel (les trajectoires n'ayant pas encore contracté).

4.1. Réduction à la Base Projective \mathcal{B}_{12}

Par application systématique de l'opérateur U, les éléments ne satisfaisant pas trivialement les conditions de descente aux premiers ordres sont projetés sur une base modulo 4096 (soit 2^{12}). Ce noyau projectif \mathcal{B}_{12} est constitué d'exactement 192 classes de congruences résiduelles.

4.2. Audit de Transition à l'Horizon k=8

L'évaluation de la dynamique sur \mathcal{B}_{12} à l'horizon k=8 induit une scission stricte :

Sous-ensemble contractif : 31 classes résiduelles vérifient A_8 \ge 13, induisant une contraction directe prouvée par le Lemme 3.2.

Sous-ensemble persistant : 161 classes maintiennent A_8 < 13. Pour ces trajectoires, l'équation d'état prend la forme 3^8 n + D_8 \equiv 0 \pmod{2^s}.

4.3. Résolution et Extinction du Sous-ensemble Persistant

Cette section décrit l’objectif de clôture sous forme d’une hypothèse explicite.

Hypothèse H_{\mathrm{ext}}(M) (extinction à palier fini). Il existe un entier M\ge 1 tel que le noyau résiduel R_M (classes impaires modulo 2^M non fermées par le registre \mathcal{K}, après complétion par scission des sœurs et mises à jour par paliers) soit vide :

R_M=\varnothing.

Dans ce cadre, « extinction » signifie |R_M|=0 pour un palier fini, et doit être adossé à un artefact de vérification reproductible (fichier + script déterministe + empreintes).

5. Preuve Topologique (Mesure de Haar)

Soit \mu la mesure de Haar normalisée sur le groupe compact \mathbb{Z}_2, telle que \mu(\mathbb{Z}_2) = 1. Chaque clause c \in \mathcal{K} définit un cylindre ouvert V_c correspondant à une classe de congruence modulo 2^{m_c}. La mesure de ce cylindre est \mu(V_c) = 2^{-m_c}.

Dans un cadre purement topologique, une identité de type Kraft/Haar peut être considérée comme une condition de complétude au niveau des cylindres. Un pont arithmétique supplémentaire est requis pour conclure sur les entiers naturels à partir d’une assertion de mesure sur \mathbb{Z}_2.

\sum_{c \in \mathcal{K}} \frac{1}{2^{m_c}} = 1

5.1. Conclusion de la clôture conditionnelle

Théorème (conditionnel). Sous l’hypothèse H_{\mathrm{ext}}(M), la conjecture de Collatz est vraie : pour tout entier n\ge 1, il existe k tel que T^{(k)}(n)=1.

Schéma de preuve. La vacuité de R_M signifie que toute classe impaire modulo 2^M est fermée par une clause universelle du registre \mathcal{K} fournissant une réduction strictement bien fondée (descente D avec seuil N_0, ou fusion F vers un impair strictement plus petit avec seuil N_F). Par bon ordre de \mathbb{N}, aucune trajectoire ne peut éviter indéfiniment une réduction stricte, ce qui entraîne la terminaison.

Statut au regard des artefacts computationnels. Les artefacts D18→D21 (avec F15/F16) produisent un noyau résiduel non vide au dernier palier audité (par exemple out/noyaux/noyau_post_D21.json). En l’absence d’un artefact final attestant |R_M|=0 pour un certain M, la clôture par extinction n’est pas établie dans ce cadre. Une continuation standard suit l’une des trajectoires suivantes :

• branche « extinction par certificat total » : obtenir un palier 2^M tel que |R_M|=0, et produire un artefact de vérification citable (fichier + empreintes + script reproductible) ;
• branche « analytique » : prouver un lemme global transformant les tendances observées (par exemple les coefficients de survie q_m) en extinction universelle, ce qui requiert une redéfinition/raffinement de R_m ou un renforcement de la grammaire des clauses tant que q_m reste proche de (0{,}88)–0{,}91.
• branche « hybride » : réduire R_M par certificats, caractériser structurellement les résidus survivants (invariants, contraintes, formes normales), puis prouver un lemme spécifique éliminant le noyau restant.

6. Trajectoire hybride (C1→C2→C3) : artefacts déterministes et verrou restant

Le schéma hybride se formule comme une chaîne de réductions citable, où chaque étape est indexée par ses choix (palier, domaines, certificats) et vérifiée par un artefact déterministe.

6.1. C2 (réduction projective par complétion « one »)

But. Réduire l’étude de la transition m\to m+1 à un noyau “parents both” B_m et établir, après complétion par frères des cas “one”, l’égalité d’ensembles

R_{m+1}^{\mathrm{comp}}=\{\,r,\ r+2^m\;:\; r\in B_m\,\}

ainsi que la stabilité projective B_m\bmod 2^{12}=B_{12} sur les transitions auditées.

Artefact déterministe (C2).

• script : applications/collatz/collatz_k_scripts/collatz_verify_c2_projective.py
• sorties versionnées : docs/artefacts/collatz/c2_projective/verification_c2_projective.{json,md}
• rapport d’exécution : docs/collatz_run_report_2026-03-09_c2_projective.md

Les transitions détectées dans les documents de complétion sont intégrées automatiquement dans la table multi‑transitions, à partir des fichiers :

• applications/collatz/collatz_k_scripts/complétion_minorée_m14_vers_m15.md
• applications/collatz/collatz_k_scripts/complétion_minorée_m15_vers_m16.md
• applications/collatz/collatz_k_scripts/complétion_minorée_m16_vers_m17.md

6.2. C1 (complétude locale H6(E) sur les états de B_{12})

But. Pour chaque état E (mot de valuations sur B_{12} à horizon fixé), établir qu’un relèvement fini \Delta m(E) suffit à couvrir \mathrm{Lift}_{12\to 12+\Delta m(E)}(B_{12}(E)) par une union finie de certificats D/F.

Artefacts (H6 locale).

• index agrégé : docs/artefacts/collatz/local_H6_index.md
• répertoires par état : docs/artefacts/collatz/local_E*_palier2p13/, docs/artefacts/collatz/local_E*_palier2p14/, docs/artefacts/collatz/local_E*_palier2p15/
• rapports d’exécution : docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p13.md, docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p14.md, docs/collatz_run_report_2026-03-09_local_H6_E*_palier2p15.md

Constats d’audit (index agrégé, palier 2^{15}). Les artefacts versionnés indiquent :

• \Delta m(E)=3 pour les 60 états E (relèvement 12\to 15) ;
• \max_E\ t_{\max,\mathrm{used}}(E)=64 dans la complétude par fusion.

6.3. C3 (instance locale : clôture sur Lift(B_{12}) au palier 2^{m})

But. Sur le domaine L=\mathrm{Lift}_{12\to m}(B_{12}) (pour un palier m\ge 13), exhiber pour chaque classe un témoin D (descente exacte ou frère) ou F (fusion vers un impair strictement plus petit) et fermer l’instance par validation de base finie.

Artefact déterministe (C3 local).

• script : applications/collatz/collatz_k_scripts/collatz_verify_c3_local_descent.py
• sorties versionnées : docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent.{json,md} et ..._palier2p<m>.{json,md}
• rapports d’exécution : docs/collatz_run_report_2026-03-09_c3_local_descent.md, docs/collatz_run_report_2026-03-09_c3_local_descent_palier2p14.md, docs/collatz_run_report_2026-03-09_c3_local_descent_palier2p15.md

6.4. Verrou formel restant (au-delà de 2^{13})

La transition de l’instance locale à une clôture globale requiert de transformer les témoins observés en clauses universelles utilisables dans une induction bien fondée (au sens : “pour tout n dans une classe modulo 2^m, pour tout (n\ge N)”), et d’itérer le schéma C1+C2\to C3 à paliers arbitraires.

La formalisation minimale de ces clauses universelles (formes D/F, seuils N_0/N_F, et schéma d’induction) est donnée dans :

• applications/collatz/collatz_k_scripts/plan_lemmes_manquants_et_programme_de_preuve.md (section “Verrou technique précis”, puis “Formalisation minimale attendue (clauses universelles)”).

6.5. Extraction déterministe de clauses universelles candidates (Option A : Lift(B_{12}))

À partir de l’artefact déterministe C3 (témoins locaux sur un domaine L=\mathrm{Lift}_{12\to m}(B_{12})), une procédure de relèvement transforme chaque témoin D exact ou F en une clause candidate stabilisée au module 2^{m_{stable}}, avec m_{stable}=\max(m,A+1), où le préfixe de valuations est figé.

Artefacts déterministes :

• extraction : applications/collatz/collatz_k_scripts/collatz_extract_universal_clauses.py
• vérification : applications/collatz/collatz_k_scripts/collatz_verify_universal_clauses.py
• sorties versionnées : docs/artefacts/collatz/universal_clauses/{clauses_universelles,verification_universal_clauses}.{json,md} et docs/artefacts/collatz/universal_clauses/palier2p14/*, docs/artefacts/collatz/universal_clauses/palier2p15/*
• rapports d’exécution : docs/collatz_run_report_2026-03-09_universal_clauses.md, docs/collatz_run_report_2026-03-09_universal_clauses_palier2p14.md, docs/collatz_run_report_2026-03-09_universal_clauses_palier2p15.md

6.6. Protocole déterministe d’itération de palier (au-delà de 2^{13})

Pour organiser l’itération 2^m\to 2^{m+1} (C1→C2→C3) à partir des artefacts versionnés, un protocole déterministe produit un état courant (paliers certifiés, transitions C2 disponibles) et une checklist de commandes reproductibles pour un palier cible.

• script : applications/collatz/collatz_k_scripts/collatz_iterate_palier_protocol.py
• sorties : docs/artefacts/collatz/iteration_protocol/palier2p<m>/{iteration_protocol.json,iteration_protocol.md}

Le vérificateur C3 est paramétrable en palier :

• applications/collatz/collatz_k_scripts/collatz_verify_c3_local_descent.py --palier m

6.7. Clauses universelles (formes D/F) et compatibilité avec l’induction bien fondée

Objectif. Rendre explicite la forme “universelle” attendue des clauses, et l’interface minimale requise pour les utiliser dans une preuve par descente bien fondée sur \mathbb{N}.

Clause universelle D (descente exacte). Une clause universelle D est indexée par (m,k,A,C,N_0,r) et affirme :

\forall n\in 2\mathbb{N}+1,\quad \bigl(n\equiv r \!\!\!\pmod{2^m}\ \wedge\ n\ge N_0\bigr)\ \Longrightarrow\ U^{(k)}(n)<n.

Dans l’instrumentation (Option A), le paramètre m est pris égal à m_{stable}=\max(m_{\mathrm{domaine}},A+1) et le résidu r est un représentant canonique relevé au palier m_{stable} ; l’assertion à établir est que, sur la classe modulo 2^{m_{stable}}, le préfixe de valuations de longueur k est constant et égale le mot observé sur le témoin. Cette assertion est formalisée par le lemme 4 de applications/collatz/conjoncture_collatz.md.

Clause universelle F (fusion). Une clause universelle F est indexée par (m,t,A,C,a,y,N_F,r) et affirme :

\forall n\in 2\mathbb{N}+1,\quad \bigl(n\equiv r \!\!\!\pmod{2^m}\ \wedge\ n\ge N_F\bigr)\ \Longrightarrow\ \exists m'<n,\ U(m')=U^{(t)}(n),

où m' est une préimage courte calculable à partir de y:=U^{(t)}(n) (dans les artefacts actuels : a=1 et m'=(2y-1)/3). Ici aussi, m=m_{stable}=\max(m_{\mathrm{domaine}},A+1) est choisi pour figer le préfixe de valuations d’horizon t. La stabilité du préfixe au module 2^{m_{stable}} est formalisée par le lemme 4 de applications/collatz/conjoncture_collatz.md.

Compatibilité avec l’induction bien fondée. Une famille finie de clauses universelles \mathcal{K} est compatible avec une preuve par bon ordre si elle satisfait :

• (I1) Couverture : il existe M et N^\ast tels que tout impair n>N^\ast satisfait la prémisse d’au moins une clause de \mathcal{K} via sa classe modulo 2^M ;
• (I2) Réduction stricte : toute clause applicable produit un entier impair strictement plus petit (descente D) ou un impair m'<n fusionné vers le même successeur accéléré (fusion F) ;
• (I3) Base finie : pour tout impair 1\le n\le N^\ast, la trajectoire atteint 1.

Statut (au regard des artefacts). Les scripts d’extraction/vérification produisent des clauses candidates et vérifient la cohérence arithmétique (constantes affines, seuils, relèvements) sur le domaine instrumenté, mais (I1)–(I3) restent des obligations de preuve pour conclure globalement.

Point de passage “instance locale \to couverture modulo (2^M)”. La formalisation opérationnelle de (I1) (couverture modulaire au palier 2^M) et la contrainte m(c)\le M pour les clauses applicables par classes modulo 2^M sont précisées dans la formalisation de (H2) sous le Théorème 1 de applications/collatz/conjoncture_collatz.md. Une matérialisation déterministe (registre \mathcal{K}_M + audit fini de couverture sur le domaine L + table non‑éligibles + manifeste) est produite par applications/collatz/collatz_k_scripts/collatz_build_register_K_modular.py.