diff --git a/.cursor/plans/relecture-scientifique-collatz.md b/.cursor/plans/relecture-scientifique-collatz.md new file mode 100644 index 0000000..9e14006 --- /dev/null +++ b/.cursor/plans/relecture-scientifique-collatz.md @@ -0,0 +1,98 @@ +# Plan : Relecture scientifique minutieuse — conjoncture_collatz.md + +## Contexte + +Document : `v0/conjoncture_collatz.md` (~13846 lignes) +Règles : ` IA_agents/redaction scientifique.md` +Contrainte : ne pas supprimer d'information importante pour la démonstration. + +## Objectif + +Appliquer exhaustivement le guide de rédaction scientifique, chunk par chunk, avec une attention minutieuse à chaque règle. + +## Stratégie de découpage + +- Chunk size : 600–800 lignes (plus fin que la skill par défaut) +- Découpage aux frontières de sections (`##`) +- Ordre : du début à la fin du document + +## Checklist par chunk (à vérifier systématiquement) + +### 3. Structure et forme +- [ ] Titres `## Introduction` ou `## Conclusion` sans « de … » → préciser l'objet +- [ ] Niveau `##` pour toutes les Introduction/Conclusion + +### 3.2 Ton et neutralité +- [ ] Supprimer : auto-appréciation, jugement sur l'ouvrage, auto-promotion, auto-évaluation, justification éditoriale +- [ ] Supprimer : adresse au lecteur (« le lecteur », « on laisse au lecteur ») +- [ ] Supprimer : formules introspectives (« nous avons choisi », « notre approche ») +- [ ] Supprimer : auto-satisfaction (« comme si le chapitre répondait à une demande ») +- [ ] Reformuler en énoncés factuels neutres + +### 3.3 Enchaînements +- [ ] « La continuation », « continuons ainsi », « on poursuit de la même manière » → introduction classique des étapes +- [ ] Enchaînement par le contenu mathématique, pas par formules méta + +### 3.5 Formulations interdites +- [ ] Qualificatifs : « important », « majeur », « robuste », « rigoureux », « ambitieux », « contribution principale », « conceptuellement décisif » +- [ ] Justifications : « volontairement », « conservateur », « cette section sert de verrou », « priorité strictement » +- [ ] Éditorial : « discipline » (quand utilisé pour commenter l'édition, pas comme terme méthodologique) + +### 4. Preuves +- [ ] « Il est facile de voir », « on laisse au lecteur » → détailler ou renvoyer à lemme/référence +- [ ] « On vérifie que » sans suite → compléter + +### 7. Références +- [ ] « Il est bien connu que » → citer la source exacte ou reformuler + +### 2. Hypothèses +- [ ] Avant chaque lemme/proposition/théorème : hypothèses explicites +- [ ] Dans la preuve : signaler l'usage de chaque hypothèse + +### 10. Terminologie +- [ ] Un concept = un terme (pas de synonymes fluctuants) + +### 15. Voix et temps +- [ ] Présent atemporel pour les énoncés mathématiques +- [ ] Voix uniforme (« on » ou passif) + +## Exclusions (ne pas modifier) + +- Contenu mathématique (définitions, lemmes, preuves, formules) +- « Verrouillage des futurs » et concepts théoriques associés +- « Verrou formel », « point à verrouiller » (sens technique) +- « Discipline » dans « discipline de déclaration des dépendances » (méthodologie) +- LaTeX, blocs de code, structure des équations + +## Ordre d'exécution + +1. Chunk 1 : lignes 1–800 +2. Chunk 2 : lignes 801–1600 +3. Chunk 3 : lignes 1601–2400 +4. Chunk 4 : lignes 2401–3200 +5. Chunk 5 : lignes 3201–4000 +6. Chunk 6 : lignes 4001–4800 +7. Chunk 7 : lignes 4801–5600 +8. Chunk 8 : lignes 5601–6400 +9. Chunk 9 : lignes 6401–7200 +10. Chunk 10 : lignes 7201–8000 +11. Chunk 11 : lignes 8001–8800 +12. Chunk 12 : lignes 8801–9600 +13. Chunk 13 : lignes 9601–10400 +14. Chunk 14 : lignes 10401–11200 +15. Chunk 15 : lignes 11201–12000 +16. Chunk 16 : lignes 12001–12800 +17. Chunk 17 : lignes 12801–13600 +18. Chunk 18 : lignes 13601–13846 + +## Méthode + +Pour chaque chunk : +1. Lire le chunk +2. Parcourir ligne par ligne en appliquant la checklist +3. Appliquer les corrections via search_replace (match exact, préservation des caractères Unicode) +4. Passer au chunk suivant + +## Livrable + +Modifications appliquées directement dans `v0/conjoncture_collatz.md`. Pas de rapport séparé (conformément au guide : « ne fait pas de rapport des corrections »). diff --git a/v0/conjoncture_collatz.md b/v0/conjoncture_collatz.md index 03229e8..b70d082 100644 --- a/v0/conjoncture_collatz.md +++ b/v0/conjoncture_collatz.md @@ -996,7 +996,7 @@ Pour prouver que c'est vrai, les mathématiciens doivent démontrer deux choses Le célèbre mathématicien **Terence Tao** a publié en 2019 un résultat montrant que la conjecture est "presque" vraie pour la "plupart" des nombres. Il a prouvé que pour presque tous les nombres de départ, la valeur finale de la suite est très petite par rapport au nombre initial. C'est ce qui se rapproche le plus d'une solution, mais ce n'est toujours pas une preuve absolue pour *tous* les entiers. ----Ta théorie, telle qu'elle est exposée dans la version formelle (le livre "Jeune Adulte"), propose un cadre qui permet d'éclairer la "raison" de la conjecture de Collatz sous un angle structurel, même si les mathématiques pures n'ont pas encore résolu l'énigme. +---La théorie, telle qu'elle est exposée dans la version formelle (le livre "Jeune Adulte"), propose un cadre qui permet d'éclairer la "raison" de la conjecture de Collatz sous un angle structurel, même si les mathématiques pures n'ont pas encore résolu l'énigme. La section suivante montre comment la théorie des **« Futurs Accessibles »** s'applique à ce problème : @@ -1006,7 +1006,7 @@ Dans le **Chapitre 1** du livre *Théorie des Futurs Accessibles*, un système e ### 2. Collisions et Non-Injectivité (La "Chute de Tension") -Ton texte souligne que les transformations induisent souvent des **collisions** : plusieurs états initiaux aboutissent à un même état futur. +Le cadre souligne que les transformations induisent souvent des **collisions** : plusieurs états initiaux aboutissent à un même état futur. - **Application :** Dans Collatz, les nombres 13 et 80 "entrent en collision" car ils mènent tous deux à 40 ($3 \times 13 + 1 = 40$ et $80 / 2 = 40$). - Selon la théorie, ces collisions sont structurantes : elles créent une **indiscernabilité** qui réduit l'information initiale et force le système vers des configurations spécifiques. @@ -1255,7 +1255,7 @@ Pour prouver la convergence, on définit une fonction de distance $V(x)$, appel ### 2. Dynamique des Transformations ($\mathcal{T}$) -Nous analysons comment les règles de Collatz agissent sur cette tension $V$ : +On analyse comment les règles de Collatz agissent sur cette tension $V$ : - **La Chute de Tension ($n/2$) :** C'est une translation binaire. Elle réduit la taille du système sans augmenter sa complexité structurelle. - **La Réaction de Cascade ($3n+1$) :** En binaire, $3n+1 = (n \ll 1) + n + 1$. @@ -1412,13 +1412,13 @@ Le premier chapitre de la démonstration formelle de la conjecture de Collatz es ### 1.1 Définition de l’Espace de Configuration ($X$) -Soit $X = \mathbb{N}^*$ l’ensemble des entiers naturels strictement positifs. Dans notre approche, $X$ n'est pas traité comme une simple suite de grandeurs arithmétiques, mais comme un **espace de configurations discrètes**. +Soit $X = \mathbb{N}^*$ l’ensemble des entiers naturels strictement positifs. Dans ce cadre, $X$ n'est pas traité comme une simple suite de grandeurs arithmétiques, mais comme un **espace de configurations discrètes**. Chaque état $x \in X$ est défini par sa décomposition binaire unique : $$x = \sum_{i=0}^{n} b_i 2^i \quad \text{où } b_i \in \{0, 1\}$$ -Nous considérons $X$ comme un espace métrique où la structure interne de la séquence $(b_i)$ détermine la position de l'état par rapport aux limites du système. +On considère $X$ comme un espace métrique où la structure interne de la séquence $(b_i)$ détermine la position de l'état par rapport aux limites du système. ### 1.2 Le Générateur d'Évolution ($\mathcal{G}$) @@ -1453,7 +1453,7 @@ Cette non-injectivité est la propriété fondamentale qui permet la **sédiment ### 1.5 Définition de l'Invariant Structurel -Nous définissons le cycle $C = \{4, 2, 1\}$ comme l'unique **sous-ensemble invariant** de $X$ sous l'action de $\mathcal{G}$ où la tension est nulle. Un état est dit "verrouillé" s'il appartient à $C$. La démonstration qui suivra dans les chapitres ultérieurs visera à prouver que la topologie de $\mathcal{G}$ rend l'accessibilité de tout état hors de $C$ transitoire. +On définit le cycle $C = \{4, 2, 1\}$ comme l'unique **sous-ensemble invariant** de $X$ sous l'action de $\mathcal{G}$ où la tension est nulle. Un état est dit "verrouillé" s'il appartient à $C$. La démonstration qui suivra dans les chapitres ultérieurs visera à prouver que la topologie de $\mathcal{G}$ rend l'accessibilité de tout état hors de $C$ transitoire. --- Le deuxième chapitre de la démonstration formelle est centré sur la mesure de la complexité structurelle et la dynamique de réduction de l'information. @@ -1636,7 +1636,7 @@ Comme indiqué dans le *Livre Jeune Adulte* (Chapitre 15) : > *"Les structures contraignent leur propre évolution."* La règle de Syracuse est la contrainte suprême qui, appliquée à l'infini des nombres, ne laisse accessible qu'un seul futur : le retour à l'unité. --- -Il est crucial de distinguer la **modélisation théorique** (ce qui précède, avec cette méthodologie) de la **démonstration mathématique standard** (une preuve formelle acceptée par la communauté des mathématiciens). +Il convient de distinguer la **modélisation théorique** (ce qui précède, avec cette méthodologie) de la **démonstration mathématique standard** (une preuve formelle acceptée par la communauté des mathématiciens). À ce jour, il n'est pas encore possible de transformer cette approche en une démonstration "standard" au sens strict de l'analyse arithmétique. La section suivante explique pourquoi et comment la théorie se situe par rapport à ce "mur" mathématique : @@ -1644,13 +1644,13 @@ Il est crucial de distinguer la **modélisation théorique** (ce qui précède, En mathématiques standards, pour prouver Collatz, il ne suffit pas de montrer que le système "perd de l'information en moyenne" (ce que la théorie démontre via la sédimentation). Il faut prouver qu'il n'existe **aucun** nombre, aussi grand soit-il, dont la structure binaire permettrait une croissance infinie. -- **Ta théorie dit :** "L'accessibilité d'un futur infini tend vers zéro à cause des collisions." +- **La théorie affirme :** "L'accessibilité d'un futur infini tend vers zéro à cause des collisions." - **La preuve standard exige :** "L'accessibilité d'un futur infini est **strictement égale** à zéro pour tout $n$." ### 2. Le problème des "Cycles Fantômes" Pour une démonstration standard, il faudrait prouver par l'arithmétique pure (souvent via les approximations de Baker ou les fractions continuées) qu'une égalité du type $3^k \cdot n + \dots = 2^m \cdot n$ n'a pas d'autres solutions entières que celles menant au cycle 4-2-1. -Ta théorie utilise le concept de **Clôture Structurelle** (le cycle 4-2-1 est le seul point de tension nulle). C'est une explication physique et logique puissante, mais les mathématiques standards demandent une preuve que cette "tension" ne peut pas se stabiliser ailleurs par un hasard arithmétique complexe. +La théorie utilise le concept de **Clôture Structurelle** (le cycle 4-2-1 est le seul point de tension nulle). C'est une explication physique et logique puissante, mais les mathématiques standards demandent une preuve que cette "tension" ne peut pas se stabiliser ailleurs par un hasard arithmétique complexe. ### 3. Vers une "Démonstration de Type II" ? @@ -1806,9 +1806,9 @@ Méthodes dites de « sufficiency / recursive sufficiency » : elles ressemblent ## Conclusion de la section précédente Dans la méthodologie du livre « jeune adulte », une démonstration de Collatz se structure proprement comme : (i) décrire la dynamique itérée et ses collisions, (ii) choisir une finitude locale (modulo (2^m)) pour construire des classes, (iii) définir des contraintes explicites (certificats de descente) et une règle d’actualisation (\Phi) dans un espace étendu (Y), (iv) montrer qu’un point fixe de contraintes (K^\star) verrouille tous les futurs accessibles vers l’unique attracteur ({1,2,4}). -Le point mathématique décisif, sous cette forme, n’est pas l’écriture de (S^{(k)}(n)=(3^s n + B_k)/2^k) (qui est une combinatoire affine standard), mais la fermeture du lemme de couverture (existence d’un ensemble fini/contrôlé de certificats couvrant toutes les classes pertinentes avec seuils globalement bornés). Les voies probables pour le fermer, compatibles avec l’état de l’art, passent soit par une montée en puissance des outils ergodiques vers du déterministe, soit par une équivalence rigoureuse avec un invariant combinatoire (nilpotence/acyclicité) sur un système facteur. (arXiv) +Le point mathématique central, sous cette forme, n’est pas l’écriture de (S^{(k)}(n)=(3^s n + B_k)/2^k) (qui est une combinatoire affine standard), mais la fermeture du lemme de couverture (existence d’un ensemble fini/contrôlé de certificats couvrant toutes les classes pertinentes avec seuils globalement bornés). Les voies probables pour le fermer, compatibles avec l’état de l’art, passent soit par une montée en puissance des outils ergodiques vers du déterministe, soit par une équivalence rigoureuse avec un invariant combinatoire (nilpotence/acyclicité) sur un système facteur. (arXiv) -Cette réponse constitue une synthèse rigoureuse de la démonstration, rédigée selon les standards académiques et les chapitres du livre « Jeune Adulte » de la **Théorie des Futurs Accessibles**. Elle transforme le problème de Collatz en un système de **dynamique de contraintes sur un espace étendu**. +Cette réponse constitue une synthèse de la démonstration, rédigée selon les standards académiques et les chapitres du livre « Jeune Adulte » de la **Théorie des Futurs Accessibles**. Elle transforme le problème de Collatz en un système de **dynamique de contraintes sur un espace étendu**. --- @@ -1816,7 +1816,7 @@ Cette réponse constitue une synthèse rigoureuse de la démonstration, rédigé ### 1.1 L'Espace d'États Augmenté -Pour résoudre la conjecture, nous ne travaillons pas uniquement sur $X = \mathbb{N}^*$, mais sur un espace étendu $Y = X \times \mathcal{P}(\mathfrak{C})$, où $\mathfrak{C}$ est l'espace des **Contraintes de Descente**. +Pour résoudre la conjecture, on ne travaille pas uniquement sur $X = \mathbb{N}^*$, mais sur un espace étendu $Y = X \times \mathcal{P}(\mathfrak{C})$, où $\mathfrak{C}$ est l'espace des **Contraintes de Descente**. Un état $y \in Y$ est un couple $(n, K)$ où : - $n$ est la valeur arithmétique courante. @@ -2877,7 +2877,7 @@ L'ARC fonctionne par extension récursive. Pour chaque classe résiduelle $r \pm 1. **Évaluation :** On calcule le ratio de contractivité. Si $2^k > 3^s$, la branche est **fermée** (le certificat est validé et la mesure est "consommée"). 2. **Expansion :** Si la branche reste "montante" ($2^k < 3^s$), l'ARC divise la classe en deux sous-classes : $r \pmod{2^{m+1}}$ et $r + 2^m \pmod{2^{m+1}}$. -3. **Récursivité :** Le processus se répète sur les nouvelles branches, explorant des profondeurs de bits plus importantes. +3. **Récursivité :** Le processus se répète sur les nouvelles branches, explorant des profondeurs de bits croissantes. ### 5.3 Lemme de Terminaison de l'ARC @@ -2892,7 +2892,7 @@ L'ARC fonctionne par extension récursive. Pour chaque classe résiduelle $r \pm ### 5.4 Propriété de Code Préfixe et Audit Pour garantir l'auditabilité, le certificat $(K)$ est structuré comme un **code préfixe** : aucun mot de parité validé n'est le début d'un autre mot validé. -Cette propriété permet à un vérificateur tiers de confirmer la complétude par une simple addition arithmétique des poids $2^{-|e|}$. Si le total est $1$, la couverture est **totale, absolue et sans faille**. +Cette propriété permet à un vérificateur tiers de confirmer la complétude par une simple addition arithmétique des poids $2^{-|e|}$. Si le total est $1$, la couverture est complète. --- @@ -3958,7 +3958,7 @@ La condition introduite précédemment se reformule alors de façon plus “intr - la stratégie « contraction locale sur préfixe de parité » échoue parce qu’il existe des entiers réalisant des préfixes (1^D) arbitrairement longs ; - dans le langage (U), cela équivaut à « il existe des entiers impairs pour lesquels (a(n)=1) pendant (D) pas consécutifs, avec (D) arbitrairement grand ». -Ainsi, la continuation ne consiste pas seulement à approfondir l’arbre des mots ; elle consiste à introduire des clauses capables de traiter la persistance de (a(n)=1) sans exiger une profondeur maximale bornée. +L’étape suivante consiste donc à introduire des clauses capables de traiter la persistance de (a(n)=1) sans exiger une profondeur maximale bornée, en complément de l’approfondissement de l’arbre des mots. ## Deuxième classe de clauses nécessaires : clauses de bloc sur la somme des valuations @@ -4270,9 +4270,9 @@ Module F séparé (vraies collisions) Le travail avance, et l’extrait fourni est utile, à condition de corriger ce qu’il “déduit” de ce qu’il “observe”. Pour (27), le verdict « ouvert / fusion nécessaire » est une conséquence du plafond 20 pas, pas un diagnostic mathématique ; la trajectoire se ferme par descente à l’horizon 37. -L'approche la plus productive consiste à transformer l’explorateur en générateur de clauses universelles (D et V) sur des classes arithmétiques correctement paramétrées, en particulier avec le modulus (2^{A_k+k}) pour des valuations exactes, puis à réserver la grammaire F à de véritables règles de collision réutilisables. C’est cette transformation — “trace d’un point” (\rightarrow) “clause universelle sur une classe” — qui rapproche effectivement le registre (K) d’un certificat auditable au sens académique. +L'étape suivante consiste à transformer l’explorateur en générateur de clauses universelles (D et V)et V)verselles (D et V) sur des classes arithmétiques correctement paramétrées, en particulier avec le modulus (2^{A_k+k}) pour des valuations exactes, puis à réserver la grammaire F à de véritables règles de collision réutilisables. C’est cette transformation — “trace d’un point” (\rightarrow) “clause universelle sur une classe” — qui rapproche effectivement le registre (K) d’un certificat auditable au sens académique. -C'est une analyse pertinente qui remet l'outil sur les rails de la rigueur arithmétique. La "persistance de $a=1$" n'est pas une preuve d'ouverture, mais un défi de **profondeur d'horizon**. +L'analyse identifie que l'outil doit respecter les exigences arithmétiques formelles. La "persistance de $a=1$" n'est pas une preuve d'ouverture, mais un défi de **profondeur d'horizon**. En passant de l'observation d'une trajectoire unique à la génération d'une **clause universelle**, l'explorateur devient un moteur de certification. Le code de l'application Canvas a été modifié pour : @@ -5391,7 +5391,7 @@ Ces résidus sont précisément ceux dont la première descente « naturelle » La démonstration progresse de manière strictement contrôlée : au niveau (512), un registre (K) combinant clauses (V), clauses (D) par majoration, et clauses (D) certifiées à modules (256) et (512) ferme (208) résidus impairs sur (256), laissant un résidu explicite de (48). L’affinement au niveau (1024) permet d’ajouter des clauses certifiées au module (1024), et de rendre explicite le nouveau résidu (90 résidus impairs modulo (1024)). -La suite de la démonstration suit exactement la même logique : affiner les résidus restants au niveau (2048) (clauses avec (2^{A_k+1}=2048)), ce qui ferme déjà plusieurs éléments du résidu (par exemple des classes comme (79), (315), (391), (475), (287) admettent des blocs de descente avec (A_k=10)), puis réserver les mécanismes de fusion (F) aux poches où (A_k) devient trop grand de façon persistante (familles de type (27), (31), (63), (127), etc.). Si la continuation doit se faire immédiatement, l’étape suivante peut être écrite en commençant par les clauses (2^{11}) les plus courtes, puis en mettant à jour, de façon exhaustive, le résidu restant modulo (2048). +L’affinement au niveau (2048) applique la même logique : clauses avec (2^{A_k+1}=2048) sur les résidus restants, ce qui ferme plusieurs éléments du résidu (par exemple des classes comme (79), (315), (391), (475), (287) admettent des blocs de descente avec (A_k=10)), puis mécanismes de fusion (F) pour les poches où (A_k) devient trop grand de façon persistante (familles de type (27), (31), (63), (127), etc.). L’étape suivante peut être écrite en commençant par les clauses (2^{11}) les plus courtes, puis en mettant à jour, de façon exhaustive, le résidu restant modulo (2048). ## Introduction à l’affinement (2)-adique et au palier (2^m) @@ -6367,7 +6367,7 @@ n\equiv r \pmod{2^{A+1}}. ] Si (2^{A+1}\mid 2^m), alors pour toute classe (n\equiv r \pmod{2^m}), on a automatiquement (n\equiv r \pmod{2^{A+1}}). Donc la clause s’applique **à toute la classe modulo (2^m)** (au-delà de son seuil (N_0) ou (N_F)). -Ce lemme est l’axe formel de la continuation : augmenter (m) stabilise mécaniquement des clauses dont le module minimal (2^{A+1}) était auparavant trop grand. +Ce lemme formalise l’effet de l’augmentation du palier : augmenter (m) stabilise mécaniquement des clauses dont le module minimal (2^{A+1}) était auparavant trop grand. ## Palier (m=12) : passage à modulo (4096) @@ -6589,7 +6589,7 @@ Cette progression méthodique démontre la puissance de l'approche par paliers : La démonstration peut être poursuivie de manière formelle en rendant explicite, à chaque palier (2^m), ce que le registre (K) couvre effectivement (par clauses universelles D et F stables) et ce qui reste non couvert. Cette section consiste à augmenter (m), ce qui autorise des blocs de valuations de somme (A) plus grande (stabilité dès que (A+1\le m)), et donc stabilise de nouvelles clauses. -Dans cette réponse, la continuation est matérialisée par un calcul reproductible sur les paliers (m=11) à (m=16) (modulo (2048) à (65536)), en conservant exactement la grammaire suivante : +La mise en œuvre est matérialisée par un calcul reproductible sur les paliers (m=11) à (m=16) (modulo (2048) à (65536)), en conservant exactement la grammaire suivante : - règle V : (n\equiv 1 \pmod 4 \Rightarrow U(n)0) et une condition de congruence modulo (3) assurant la préimage courte. + +Couche « blocs contractifs stables » +À (m\ge 14), les blocs (k=8,A=13) deviennent stables. L’enjeu est d’ajouter, de manière systématique, les clauses exactes (D) associées à ces blocs et surtout leurs versions minorées pour fermer les “frères” dès le bon palier. Cette couche est destinée à attaquer les sous-branches proches des “sommets” (préfixes longs de (a_i=1)). + +## Audit fourni + +Le fichier joint contient : + +- la table des cardinaux (|R_m|), (|B_m|) et (q_m^{\mathrm{comp}}) pour (m=11) à (m=15), +- la preuve finie de l’invariance projective modulo (4096), +- les multiplicités de relèvement à chaque transition, +- la liste exhaustive de la base (B_{12}) (192 résidus impairs modulo (4096)). + +[Base projective du noyau both](noyau_both_base_4096.md) + +## Conclusion de la section sur la base projective du noyau both + +Le noyau « both », qui est l’unique obstacle après complétion par frères, est déterminé à partir de (m=12) par une base finie modulo (4096) de 192 résidus, dont tous les noyaux ultérieurs sont des relèvements. La fin de preuve se reformule donc en un objectif fini : exhiber un ensemble fini de clauses (D, F, et D minorées) qui ferme tous les relèvements de cette base à un palier fini. + +L'étape suivante consiste à construire, de façon exhaustive et auditable, les familles de fusions et de blocs contractifs supplémentaires capables d’attaquer directement cette base (B_{12}), puis à montrer que la projection du noyau « both » devient vide à un palier (2^M). + +La réduction à une base projective de 192 résidus modulo 4096 reformule l’obstacle final en problème fini de fermeture de relèvements. La suite de la preuve consiste à construire un ensemble fini de clauses (D), (F) et (D minorées) couvrant tous les relèvements de cette base à un palier (2^M), puis à conclure par extinction du noyau « both ». + +## Introduction de la section sur les états projectifs à l’horizon 7 + +La section formalise le noyau « both » sous une forme exploitable pour une preuve globale : il ne s’agit plus de constater que ce noyau existe, mais de le décomposer en un nombre fini d’états arithmétiques (mots de valuations) et d’expliciter, pour chaque état, la forme linéaire qui gouverne l’augmentation de valuation au pas suivant. Chaque état est associé à une équation linéaire unique modulo une puissance de 2, donc à une chaîne henselienne de relèvements, et la preuve se réduit à montrer que ces chaînes finissent par entrer dans la toile des clauses (D) ou (F). + +Le calcul effectué ici montre que la base projective (B_{12}) (192 résidus modulo 4096) se répartit sur 60 mots de valuations possibles sur les 7 premiers pas, tous stables à ce module. Le noyau « both » se décrit ainsi par un automate fini de 60 états (au moins jusqu’à l’horizon 7), et l’étape suivante consiste à traiter l’évolution de ces états au pas 8 via des formes linéaires. + +Une partie de cette étape est déjà calculée ; la structure et les résultats clés sont disponibles pour finaliser le fichier d’audit correspondant. + +## Résultat 1 : le noyau projectif (B_{12}) se décompose en 60 états (mots de valuations) à l’horizon 7 + +Pour chaque résidu (r\in B_{12}\subset \mathbb{Z}/4096\mathbb{Z}) (192 résidus), la suite des valuations sur 7 pas +[ +(a_0,a_1,a_2,a_3,a_4,a_5,a_6) +] +est déterminée de façon stable par (r) modulo 4096, et la somme +[ +A=\sum_{i=0}^{6} a_i +] +reste dans l’ensemble ({7,8,9,10,11}). + +Répartition globale de (A) sur (B_{12}) (192 cas, calcul exact) : + +- (A=7) : 16 résidus +- (A=8) : 48 résidus +- (A=9) : 68 résidus +- (A=10) : 48 résidus +- (A=11) : 12 résidus + +Nombre de mots distincts (états) observés : + +- 60 mots de valuations distincts sur 7 pas, pour 192 résidus. + +Les mots les plus fréquents (fréquences exactes) : + +- ((1,1,1,1,1,1,1)) : 16 occurrences +- puis une famille de mots à une valuation 2 isolée : 8 occurrences chacun, par exemple + ((1,1,1,1,1,1,2)), ((1,1,1,1,2,1,1)), ((1,1,1,2,1,1,1)), etc. + +Lecture mathématique +Cela signifie que, sur la base projective, la dynamique est déjà “comprimée” : au lieu d’un résidu arbitraire, il suffit d’étudier 60 états arithmétiques. + +## Résultat 2 : contrainte 3-adique induite par un mot (pont 2-adique → arithmétique) + +Pour un mot de valuations de longueur 7 (donc (k=7)) de somme (A), on a la forme affine exacte : +[ +U^{(7)}(n)=\frac{3^7 n + C_7}{2^{A}} +] +et donc, pour (y=n_7=U^{(7)}(n)), +[ +3^7 n = 2^A y - C_7 +\quad\Rightarrow\quad +2^A y \equiv C_7 \pmod{3^7}. +] +Comme (2^A) est inversible modulo (3^7), cela fixe un résidu unique : +[ +y \equiv C_7\cdot (2^A)^{-1}\pmod{3^7}. +] + +Sur (B_{12}), le calcul montre (à l’horizon 7) : + +- (y\equiv 2\pmod 3) pour 128 résidus +- (y\equiv 1\pmod 3) pour 64 résidus +- jamais (y\equiv 0\pmod 3) + +Ce résultat est utile car il fixe, pour chaque état, le comportement modulo 3 du 7e itéré, ce qui est un invariant exploitable dans les clauses de fusion et dans les extensions mixtes ((\bmod 3^b)). + +## Résultat 3 : forme linéaire gouvernant la valuation au pas 8 + +Pour un état donné (mot de valuations de longueur 7), la constante (C_7) est déterminée par la récurrence standard +[ +C_0=0,\quad C_{i+1}=3C_i+2^{A_i}, +] +et la somme (A) est connue. + +Le pas 8 dépend du numérateur : +[ +3n_7+1 = 3\cdot\frac{3^7 n + C_7}{2^{A}} + 1 += \frac{3^8 n + (3C_7 + 2^{A})}{2^{A}}. +] +On définit donc la constante structurante : +[ +D_8 = 3C_7 + 2^{A}, +] +et la valuation suivante est gouvernée par : +[ +a_7 = v_2(3n_7+1) = v_2(3^8 n + D_8) - A. +] + +Point clé +Pour chaque état (chacun des 60 mots), le comportement au pas 8 est déterminé par une équation linéaire en (n) : +[ +3^8 n + D_8 \equiv 0 \pmod{2^s}, +] +qui admet une solution unique modulo (2^s) puisque (3^8) est impair. Cela engendre une chaîne henselienne de relèvements, donc une description projective très fine des classes qui peuvent “retarder” l’apparition d’une grande valuation. + +C’est exactement la mécanique analytique qui doit permettre d’éteindre le noyau « both » : à partir d’un état, soit la valuation au pas 8 augmente (ce qui déclenche une clause D ou F à un palier où le bloc devient contractif), soit il faut suivre une contrainte de relèvement unique, ce qui réduit drastiquement les possibilités. + +## Ce qui reste à faire immédiatement (et qui est prêt à être produit) + +Un fichier de synthèse des 60 états a été préparé dans le calcul (table contenant, pour chaque mot) : + +- le mot de valuations sur 7 pas +- la somme (A) +- le nombre de résidus de (B_{12}) réalisant ce mot +- (C_7) +- (D_8=3C_7+2^A) +- (y \bmod 3) et (y \bmod 3^7) +- la liste des résidus (r\bmod 4096) appartenant à (B_{12}) dans cet état (début de liste pour audit) + +Les données correspondantes sont reportées dans l'audit dédié au pas 8 sur la base projective B12. + +## Étape suivante de démonstration (formulation mathématique) + +À partir de ce point, la preuve se ramène à un objectif clair : + +- On dispose d’un nombre fini d’états (60) décrivant (B_{12}) à l’horizon 7. +- Pour chaque état, l’évolution au pas 8 est gouvernée par une forme linéaire (3^8 n + D_8). +- L’ensemble des relèvements qui maintiennent une valuation faible au pas 8 forme une chaîne henselienne unique (solution unique modulo (2^s) pour chaque (s)). + +Lemme-cible à établir sur chaque état +Il faut montrer que, pour chaque état, il existe un palier fini (2^M) et une profondeur bornée (k\le 8) ou (k\le 9) telle que toute classe relevant de cet état déclenche soit : + +- une descente (D) (par exemple lorsque (A) atteint le seuil structurel (2^{13}>3^8) stabilisable à (2^{14})), +- soit une fusion (F) contractante à un horizon où (\Delta_F>0), +- soit une situation « one » qui est fermée automatiquement par le lemme de frère. + +Le fait que l’espace des états soit fini rend ce lemme attaquable par analyse congruentielle (et non par vérification trajectoire par trajectoire). + +## Conclusion de la section sur les états projectifs à l’horizon 7 + +La preuve progresse vers son noyau : le résidu « both » n’est plus un ensemble opaque, mais un objet projectif décrit par une base finie (B_{12}) de 192 résidus modulo 4096, et surtout par seulement 60 états (mots de valuations) à l’horizon 7. Pour chaque état, le pas suivant est gouverné par une forme linéaire unique (3^8 n + D_8), ce qui prépare exactement la suite : une analyse henselienne des relèvements, puis l’injection systématique dans les blocs contractifs stabilisés au palier (2^{14}) (descente) ou dans des fusions contractantes. + +L'étape suivante consiste à livrer le tableau complet des 60 états (audit), puis à traiter un premier sous-ensemble d’états (par exemple ceux où (A\le 9) et (y\equiv 2\pmod 3)) en montrant qu’au palier (2^{14}) ou (2^{15}), l’un des deux relèvements force une valuation (a_7) suffisante pour déclencher un bloc (k=8) contractif, transformant les parents « both » en « one » puis en fermeture par frère. + +Chaque état correspond à une chaîne henselienne de relèvements gouvernée par la forme linéaire $3^8 n + D_8 \equiv 0 \pmod{2^s}$, ce qui fournit une paramétrisation algébrique explicite des classes à traiter pour la fermeture finale. + +## Introduction de l'analyse au pas 8 sur la base projective B12 + +Après l’audit des 60 états à l’horizon 7, l’étape suivante consiste à analyser l’horizon 8 sur la base projective \(B_{12}\) (192 résidus impairs modulo 4096), afin d’identifier les classes où un bloc de longueur 8 devient contractif (clause \(D\)) et les classes restant à traiter à l’horizon 9. + +Le seuil structurel au pas 8 est donné par +\[ +3^8 = 6561,\quad 2^{13}=8192,\quad 2^{13}-3^8=1631>0. +\] +Donc, pour toute classe telle que \(A_8 \ge 13\), une clause de descente \(D\) de longueur 8 est disponible (exacte si \(A_8=13\), minorée si \(A_8\ge 14\)). + +Les résultats globaux sur \(B_{12}\) sont les suivants : + +- taille de \(B_{12}\) : 192 résidus impairs modulo 4096 ; +- nombre d’états à l’horizon 7 : 60 ; +- états contenant au moins un résidu avec \(A_8\ge 13\) : 31 ; +- états sans résidu avec \(A_8\ge 13\) : 29 ; +- nombre total de résidus avec \(A_8\ge 13\) : 31. + +Distribution exacte de \(A_8\) sur \(B_{12}\) : + +- \(A_8=8\) : 8 ; +- \(A_8=9\) : 28 ; +- \(A_8=10\) : 48 ; +- \(A_8=11\) : 48 ; +- \(A_8=12\) : 29 ; +- \(A_8=13\) : 11 ; +- \(A_8=14\) : 9 ; +- \(A_8=15\) : 5 ; +- \(A_8=16\) : 4 ; +- \(A_8=17\) : 2. + +L’ensemble des 31 résidus vérifiant \(A_8\ge 13\) est explicitement listé dans l’audit au pas 8, avec rattachement à l’état horizon 7, mot de valuations horizon 8 et valeur de \(A_8\). Ces classes sont candidates directes à des clauses \(D\) de longueur 8, complétées par les clauses minorées issues du lemme de frère. + +Pour les 29 états restants (sans \(A_8\ge 13\) sur \(B_{12}\)), l’étape suivante est formulée par : + +- extension à l’horizon 9 (nouvelle forme linéaire du numérateur) ; +- ajout de clauses de fusion adaptées à \(n_8 \bmod 3\). + +L’audit fournit, pour chacun de ces 29 états, l’effectif dans \(B_{12}\), les bornes \(\min A_8\), \(\max A_8\), et la distribution interne de \(A_8\). Cette partition permet d’ordonner les traitements de clôture. + +## Conclusion de l'analyse au pas 8 sur la base projective B12 + +L’horizon 8 fournit une partition finie explicite du noyau projectif : un sous-ensemble de 31 résidus où la descente au pas 8 est disponible, et un sous-ensemble de 29 états nécessitant un traitement complémentaire à l’horizon 9 et/ou par fusion. Cette décomposition conserve le schéma de preuve par clauses \(D/F\) sur registre fini \(K\), avec réduction progressive du noyau « both ». + +## Introduction de l'horizon 10 au palier \(2^{17}\) + +L’enchaînement logique, après l’audit des 60 états et l’analyse au pas 8, consiste à attaquer le noyau « both » qui persiste au palier (2^{16}) après complétion. Ce noyau (les 2202 enfants des 1101 parents « both » au palier (2^{15})) évite explicitement les contractions aux horizons 8 et 9 ; l’horizon suivant pertinent est donc 10. + +L’élément nouveau et exploitable est le suivant : sur ce noyau, une fraction non négligeable atteint une somme de valuations (A_{10}\ge 16) à l’horizon 10. Or +[ +3^{10}=59049 +\quad\text{et}\quad +2^{16}=65536 +\quad\Rightarrow\quad +2^{16}-3^{10}=6487>0, +] +ce qui signifie qu’un bloc exact de longueur 10 avec (A_{10}=16) devient contractif (descente (D)), et se stabilise exactement au palier (2^{17}) (car (2^{A+1}=2^{17})). + +Un audit complet de ces candidats est fourni. + +[Télécharger l’audit « candidats D10 au palier 2^17 »](sandbox:/mnt/data/candidats_D10_palier2p17.md) + +## Étape 1 : constat structurel sur le noyau « both » après complétion au palier (2^{16}) + +Après complétion au palier (2^{16}), le résidu restant est exactement : +[ +R_{16}^{\mathrm{comp}}={p,\ p+2^{15}\mid p\in B_{15}}, +] +de cardinal (2202). + +Sur cet ensemble : + +- aucun élément n’atteint (A_8\ge 13) (donc pas de descente longueur 8), +- aucun élément n’atteint (A_9\ge 15) (donc pas de descente longueur 9), +- mais l’horizon 10 révèle un saut : une fraction atteint (A_{10}\ge 16). + +Comptage exact sur (R_{16}^{\mathrm{comp}}) (2202 éléments) : + +- (A_{10}\ge 16) : 346 éléments, soit (0.1571298819255222) +- en termes de parents (B_{15}) (1101 parents), il y a 346 parents dont au moins un enfant a (A_{10}\ge 16), soit (0.3142597638510445) + +Ce point est essentiel : il fournit un mécanisme de conversion « both → one » au niveau suivant, dès que l’on dispose de clauses (D) longueur 10 stabilisées. + +## Étape 2 : extraction du sous-ensemble stabilisable au palier (2^{17}) + +Pour une clause (D) longueur 10, la stabilité exacte exige un module (2^{A+1}). + +Pour (A_{10}=16), la stabilité requise est : +[ +2^{A+1}=2^{17}. +] + +Un fait strictement déterministe ressort des calculs : + +- il existe exactement 175 classes (modulo (2^{16})) dans (R_{16}^{\mathrm{comp}}) telles que (A_{10}=16) sur le représentant, +- et chacune de ces classes se relève au palier (2^{17}) en une paire ((x,\ x+2^{16})) dont : + + - le premier a toujours (A_{10}=16), + - le second a toujours (A_{10}\ge 17). + +Donc, au palier (2^{17}), ces 175 classes produisent automatiquement des configurations de type « one » sur les paires de sœurs, exactement celles qui sont fermables ensuite par complétion minorée au même palier. + +Paramètres de la descente (D10, A=16) + +Calculs (tous exacts) + +- (3^{10}=59049) +- (2^{16}=65536) +- (\Delta = 2^{16}-3^{10}=65536-59049=6487>0) + +Seuil de descente +Pour chaque classe, un seuil est calculé comme : +[ +N_0=\left\lfloor\frac{C_{10}}{\Delta}\right\rfloor+1. +] +Sur les 175 cas, le seuil maximal observé est : +[ +N_0^{\max}=23. +] +Ce seuil est négligeable au regard des classes concernées (tous les représentants sont très supérieurs à 23), et il est uniformisable. + +## Étape 3 : audit exhaustif des 175 clauses candidates (D10) + +Le fichier joint fournit, pour chacune des 175 classes : + +- la congruence (n\equiv x\pmod{2^{17}}) (avec (x<65536) servant de représentant), +- la sœur (x+2^{16}), +- le mot exact des valuations ((a_0,\dots,a_9)), +- la constante affine (C_{10}), +- le seuil (N_0), +- et la valeur (U^{(10)}(x)) sur le représentant, vérifiant toujours (U^{(10)}(x)0), un seuil suffisant est : +[ +N_0=\left\lfloor\frac{C_k}{\Delta_D}\right\rfloor+1, +] +et l’on a : +[ +\forall n\ge N_0,\ U^{(k)}(n)0), +[ +N_0=\left\lfloor\frac{C_k}{\underline\Delta_D}\right\rfloor+1. +] + +Cette clause est le mécanisme formel qui permet de fermer tôt les relèvements « plus profonds » (valuation plus grande) sans attendre la stabilité exacte (2^{A+1}). + +## Clauses de fusion (F1) : réduction inductive stricte + +Soit (y=U^{(t)}(n)). Si (y\equiv 2\pmod 3), alors +[ +m=\frac{2y-1}{3}\in\mathbb{N} +\quad\text{et}\quad +U(m)=y, +] +car (3m+1=2y) et (v_2(2y)=1) puisque (y) est impair. + +La condition clé est (m 2C_t-2^A. +] + +Paramètres + +- (\Delta_F=3\cdot 2^A-2\cdot 3^t) + +Cette condition est plus permissive que la descente directe pour (t=6) et (t=7) (seuils déjà exploités dans la construction). + +## Lemme de scission des sœurs + +Ce lemme est l’ingrédient qui rend la « complétion par frères » mathématiquement automatique. + +Lemme (scission) +Soient (m\ge 0), (\alpha) impair, (\beta\in\mathbb{Z}). Poser (N(n)=\alpha n+\beta). +Si (v_2(N(n))=m), alors +[ +v_2(N(n+2^m))\ge m+1. +] + +Preuve +Écrire (N(n)=2^m u) avec (u) impair. Alors +[ +N(n+2^m)=N(n)+\alpha 2^m = 2^m(u+\alpha), +] +et (u+\alpha) est pair (impair + impair), donc (v_2(u+\alpha)\ge 1). + +Corollaire (complétion « one ») +Si une clause exacte stabilisée au bit nouveau ferme une sœur via (v_2(N)=m), l’autre sœur vérifie automatiquement (v_2(N)\ge m+1), donc une clause (D⋆) au même horizon est disponible dès que (2^{m+1}>3^k). + +Cette propriété a été exploitée et auditée sur les transitions (m=14\to 15) et (m=15\to 16). +Documents d’audit : + +- complétion (m=14\to 15) : sandbox:/mnt/data/complétion_minorée_m14_vers_m15.md +- complétion (m=15\to 16) : sandbox:/mnt/data/complétion_minorée_m15_vers_m16.md + +## Réduction du problème au noyau « both » + +Après complétion à chaque palier, le résidu restant au niveau suivant est exactement la double descendance des parents « both ». Cette réduction est formelle : elle ne dépend pas d’une observation numérique, seulement de la définition des cas « one/both » et du lemme de scission. + +À partir des paliers déjà audités, un fait structurel supplémentaire a été établi : + +Proposition (base projective) +Le noyau « both » admet une base projective stable modulo (4096) à partir de (m=12). Autrement dit, tous les noyaux « both » aux paliers supérieurs sont des relèvements d’un ensemble fini (B_{12}) de 192 résidus modulo 4096. +Audit : sandbox:/mnt/data/noyau_both_base_4096.md + +Cela transforme la fin de preuve en un objectif fini : fermer tous les relèvements de (B_{12}) à un palier fini. + +## Décomposition finie du noyau projectif : 60 états + +Sur (B_{12}) (192 résidus modulo 4096), l’audit a produit : + +- 60 états distincts à l’horizon 7, définis par les mots de valuations ((a_0,\dots,a_6)), +- la distribution exacte de (A_7) sur (B_{12}), +- pour chaque état : (C_7), (D_8=3C_7+2^{A_7}) et les listes exhaustives des résidus de l’état. + +Audit : + +- Markdown : sandbox:/mnt/data/audit_60_etats_B12_mod4096_horizon7.md +- JSON : sandbox:/mnt/data/audit_60_etats_B12_mod4096_horizon7.json + +Point méthodologique +Cette réduction en 60 états transforme le noyau « both » en un automate fini (au moins jusqu’à l’horizon 7). La preuve globale devient « état par état ». + +## Premier traitement des états : analyse au pas 8 + +Sur (B_{12}), l’analyse au pas 8 a isolé 31 résidus atteignant (A_8\ge 13), répartis sur 31 états distincts. Ces 31 cas sont des points d’entrée immédiats pour des clauses (D) de longueur 8, puis complétion par scission sur les sœurs. + +Audit : + +- sandbox:/mnt/data/analyse_pas8_B12.md + +Cela laisse 29 états qui n’atteignent jamais (A_8\ge 13) sur (B_{12}). Ces états doivent être traités par horizon 9 ou 10 (nouvelle forme linéaire du numérateur) et/ou par fusions. + +## Attaque du noyau à l’horizon 10 : candidats D10 stabilisés à (2^{17}) + +Sur le noyau persistant au palier (2^{16}) après complétion, un sous-ensemble atteint (A_{10}=16). Comme : + +- (3^{10}=59049) +- (2^{16}=65536) +- (\Delta_D=6487) + +un bloc exact longueur 10 avec (A_{10}=16) est contractif, et sa stabilité requiert (2^{17}). Un audit complet a extrait 175 classes candidates (modulo (2^{17})) avec seuil maximal (N_0=23). + +Audit : + +- sandbox:/mnt/data/candidats_D10_palier2p17.md + +Rôle dans la preuve +Ces 175 clauses sont conçues pour convertir une partie du noyau « both » en « one » au palier (2^{17}), puis à éliminer l’autre sœur par la scission (D⋆), au même horizon. + +## Ce qu’il reste à verrouiller pour une preuve complète + +À ce stade, tout ce qui précède constitue un socle formel correct, mais la preuve complète exige encore un lemme global de fermeture. Il peut prendre deux formes, toutes deux standard. + +Version certificat fini +Montrer qu’il existe un palier (M) et un registre fini (K) (clauses D, D⋆, F1 et complétions par scission) tel que : +[ +\text{toutes les classes impaires modulo }2^M\text{ sont couvertes au-delà d’un seuil }N^*. +] +La conclusion « Collatz » suit alors par descente bien fondée et vérification finie sous (N^*). + +Version contraction uniforme du noyau both +Montrer qu’il existe une profondeur bornée (L) et une constante (\theta>0) telles que, pour tout parent « both », parmi ses (2^L) descendants, au moins (\theta 2^L) tombent dans la toile (D ou F), ce qui force l’extinction en profondeur finie. + +Dans les deux cas, le point technique décisif est l’extinction du noyau « both », donc l’étude des relèvements des 60 états, puis des 29 états restants après pas 8, puis l’impact cumulatif des nouvelles clauses D10 au palier (2^{17}). + +## Conclusion de la formalisation structurée + +La formalisation est maintenant structurée comme une preuve : définitions, lemmes de correction (forme affine, descente, fusion), lemmes d’abstraction (descente minorée), et un lemme fondamental 2-adique (scission des sœurs) qui rend la complétion « one » automatique. À partir de là, tout se réduit à un problème fini sur un noyau projectif (B_{12}) (192 classes modulo 4096), décomposé en 60 états, puis filtré à l’horizon 8 et attaqué à l’horizon 10 par des clauses stabilisées à (2^{17}). + +La suite de la formalisation consiste à écrire, état par état, l’énoncé « extinction » manquant, et à prouver qu’avec les familles déjà construites (D8, F6/F7, D10) et la complétion automatique par scission, aucun relèvement des 29 états non contractifs à l’horizon 8 ne peut persister indéfiniment. Ce lemme est la charnière unique entre “programme de preuve audité” et “preuve complète”. + +[1]: conjecture" +[2]: all orbits of the Collatz map attain almost bounded values" + +## Introduction de l'espace d'état étendu + +La formalisation peut maintenant entrer dans la partie où la « méthode par registre (K) » devient un objet mathématique autonome, au sens de la thèse formelle : un **registre transmissible** est une contrainte stabilisée qui réduit durablement les futurs accessibles. Dans ce cadre, la démonstration de Collatz se ramène à établir qu’il existe un registre fini (K^*) de clauses (D), (D⋆) et (F1) qui interdit, au-delà d’un seuil global (N^*), toute trajectoire « non descendante » en forçant une réduction stricte dans (\mathbb{N}). La suite consiste donc à écrire proprement : + +- l’espace d’état étendu où « registre » est un objet de l’état, +- les théorèmes de correction locaux (déjà disponibles), +- puis l’unique énoncé global manquant : la **couverture totale** (ou extinction du noyau « both » à un palier fini). + +Le texte de cette section continue la démonstration en précisant ces éléments, en gardant une forme standard (définitions, lemmes, théorèmes, dépendances). + +## Espace d’état étendu et statut du registre (K) + +On considère la dynamique accélérée (U) sur les impairs. Le point méthodologique est que « (K) » n’est pas un outil externe, mais peut être formalisé comme une **mémoire-structure** (registre transmissible) attachée à la dynamique, conformément au schéma “mémoire-structure” (registre transmissible) vs “mémoire-état” (variable cachée). + +### Définition de l’espace étendu + +- Espace d’état « nu » : (X = 2\mathbb{N}+1). +- Registre de contraintes : (K) est un ensemble fini de clauses de trois types (D), (D⋆), (F1), chacune étant une implication universelle dont l’antécédent est congruentiel (modulo (2^m) et parfois modulo (3^b)), et dont la conclusion est une réduction strictement décroissante (descente) ou une fusion vers un antécédent plus petit. + +Espace étendu : +[ +Y = X \times \mathcal{K}, +] +où (\mathcal{K}) est l’ensemble des registres admissibles (fins, typés, auditables). + +Lecture minimale : + +- la dynamique sur (X) est (U), +- la dynamique sur (Y) est une dynamique « contrainte » où (K) intervient comme filtre de transitions ou comme règle de réduction, et peut aussi être mis à jour par une procédure (\Phi) (optionnelle) d’enrichissement du registre. + +Le point de preuve est que la démonstration finale ne requiert pas de supposer une procédure (\Phi) convergente ; il suffit d’exhiber l’existence d’un (K^*) fini satisfaisant une propriété de couverture. La mention de (\Phi) sert uniquement à rendre explicite le statut « mémoire-structure » du registre dans le cadre général. + +## Clauses et correction locale + +Les clauses sont des théorèmes locaux, indexés par des paramètres calculables. + +### Clauses (D) exactes + +Données : + +- horizon (k), +- somme exacte (A=\sum_{i=0}^{k-1} a_i), +- constante (C_k) définie par + [ + C_0=0,\quad C_{i+1}=3C_i+2^{A_i},\quad A_i=\sum_{j=0}^{i-1} a_j. + ] + Forme affine : + [ + U^{(k)}(n)=\frac{3^k n + C_k}{2^A}. + ] + +Condition structurelle : +[ +\Delta_D = 2^A - 3^k. +] +Si (\Delta_D>0), un seuil suffisant est +[ +N_0=\left\lfloor\frac{C_k}{\Delta_D}\right\rfloor + 1, +] +et la clause (D) est : +[ +\forall n\equiv r\ (\bmod 2^m),\ n\ge N_0 \Rightarrow U^{(k)}(n) 0, +\quad +N_0=\left\lfloor\frac{C_k}{\underline\Delta_D}\right\rfloor+1. +] +Clause : +[ +\forall n\equiv r\ (\bmod 2^m),\ n\ge N_0 \Rightarrow U^{(k)}(n)3^8) devient exploitable, +- soit l’état produit, à profondeur bornée, une fusion (F1) vers un antécédent strictement plus petit, +- soit l’état se relève en une contrainte henselienne unique sur une forme affine, et l’on montre qu’à un palier supérieur (par exemple (2^{17})) l’une des sœurs entre dans l’ensemble des clauses exactes (comme les 175 clauses D10), ce qui transforme « both » en « one » puis ferme par scission. + +Ce lemme est encore un programme ; pour devenir une preuve, il doit être écrit comme une suite finie d’énoncés vérifiables, chacun portant sur un sous-ensemble explicitement décrit des relèvements d’un état. + +## Normalisation du certificat et “format publiable” + +Le texte peut maintenant préciser la forme canonique d’un certificat (K^*) publiable : + +- une liste finie de clauses, chacune accompagnée de : + + - son domaine congruentiel (modulo (2^m), et éventuellement conditions modulo (3^b)), + - son type (D exact, D⋆ minoré, F1), + - ses paramètres ((k,A,C_k,\Delta,N_0)) ou ((t,A,C_t,\Delta_F,N_F)), + - une preuve locale de correction (les inégalités ci-dessus), +- une preuve de couverture : + + - soit une égalité d’ensembles modulo (2^M), + - soit une extinction constructive du noyau « both » au palier (M) en exploitant scission + clauses, +- un seuil global : + [ + N^*=\max_{\text{clauses}} N_0, + ] + et une vérification finie sous (N^*). + +Cette présentation s’aligne sur la discipline de « déclaration des dépendances » et « traçabilité des hypothèses » (là, l’hypothèse est : couverture congruentielle finie au palier (2^M)). + +## Prochaine précision utile à écrire dans la démonstration + +Dans l’état actuel des éléments calculés, l’endroit le plus rationnel à préciser est : + +- une section dédiée à l’intégration des clauses D10 au palier (2^{17}), +- suivie d’un énoncé formel du type : + +« Soit (R_{17}^{\mathrm{comp}}) le résidu après complétion au palier (2^{17}) en ajoutant les 175 clauses D10 exactes et leurs complétions minorées par scission. Alors (R_{17}^{\mathrm{comp}}) se projette modulo 4096 sur un sous-ensemble strict de (B_{12}), et la liste des états survivants est un sous-ensemble strict des 60 états. » + +Cet énoncé est le point où la démonstration bascule d’un ensemble d’audits séparés vers une preuve globale par contraction du noyau « both » (réduction stricte d’un ensemble fini d’états à chaque palier). Il reste à produire le calcul correspondant au palier 17 dans la même forme que les audits précédents. + +## Conclusion de l'espace d'état étendu + +La formalisation dispose maintenant d’un squelette complet : espace étendu ((n,K)), clauses locales correctes (D, D⋆, F1), scission des sœurs pour la complétion automatique, et théorème global “registre (K^*) couvrant modulo (2^M) ⇒ terminaison par bon ordre + vérification finie”. Le point restant à verrouiller est unique : établir une couverture totale à un palier fini, ce qui équivaut à l’extinction du noyau « both ». + +La suite consiste à enchaîner les éléments déjà calculés (base projective 4096, 60 états, filtrage pas 8, clauses D10 au palier (2^{17})) en un lemme d’extinction explicite “état par état”, puis à produire l’audit du palier 17 intégrant ces 175 clauses, dans le format standard du registre. + +## Introduction de la table de transition au palier \(2^{17}\) + +La formalisation peut continuer exactement au point de bascule identifié : transformer l’audit du palier (2^{17}) en un **lemme d’extinction** écrit comme une propriété sur un automate fini d’états, et non comme une suite d’explorations. Dans ce cadre, une table de transition d’états est non seulement pertinente, elle devient la forme naturelle de l’énoncé global restant : montrer que, sous l’action combinée des clauses (D), (D⋆) et (F1) et de la scission des sœurs, aucun état ne peut persister indéfiniment. + +Deux éléments concrets permettent de poursuivre immédiatement : + +- une formalisation mathématique précise de ce que doit être une table de transition “de preuve” au palier (2^{17}), +- un premier audit « palier (2^{17}) » déjà exploitable : l’impact des 175 clauses (D_{10}) sur les 60 états issus de la base projective (B_{12}). + +[Télécharger l’audit « impact D10 sur les 60 états »](sandbox:/mnt/data/impact_D10_sur_60_etats.md) + +## Formalisation du lemme d’extinction par table de transition + +### Choix de l’espace d’états + +L’audit des 60 états définit une partition finie de la base projective (B_{12}\subset (\mathbb{Z}/4096\mathbb{Z})^\times) par le mot de valuations ((a_0,\dots,a_6)) sur 7 pas, et des invariants associés ((A_7), (C_7), (D_8)). C’est l’état “niveau 7”. + +Pour traiter le palier (2^{17}), une table de transition utile doit tenir compte du fait que chaque résidu de base (r\pmod{4096}) possède (32) relèvements modulo (2^{17}) : +[ +r + 4096,t,\qquad t\in{0,1,\dots,31}. +] +Un état minimal au palier (2^{17}) est donc naturellement un état étendu : +[ +s = (\sigma,\ t), +] +où (\sigma\in{1,\dots,60}) est l’état de base (mot (a_0..a_6)), et (t) est l’indice de relèvement (les 5 bits supplémentaires). + +Cette extension est conceptuellement standard : un état de base décrit le comportement “stable” à résolution (4096), et l’indice (t) capture l’information qui décide si une clause stabilisée à (2^{17}) s’applique. + +### Définition d’une transition + +À palier fixé, il y a deux notions différentes de “transition”, qu’on distingue explicitement dans le texte de preuve. + +Transition de relèvement +[ +(\sigma,t)\ \mapsto\ (\sigma,t') +] +lorsqu’on passe de (2^{17}) à (2^{18}) : l’indice (t) se relève en deux valeurs. + +Transition de réduction +C’est celle qui intéresse Collatz : une clause (D) ou (F) appliquée à une classe congruentielle produit : + +- soit une descente (U^{(k)}(n)3^{11})), stabilisable au palier (2^{19}). + +Un audit exhaustif des candidats (D_{11}) et une table d’impact par état (préfigurant la table de transition d’états du lemme d’extinction) sont fournis. + +[Télécharger l’audit « candidats D11 au palier 2^19 et transition d’états »](sandbox:/mnt/data/candidats_D11_palier2p19_et_transition_etats.md) + +## Résultat structurel : seuil contractif à l’horizon 11 + +Calculs exacts : + +- (3^{11}=177147) +- (2^{18}=262144) +- (\Delta = 2^{18}-3^{11}=262144-177147=84997>0) + +Donc, pour un bloc exact de longueur (k=11) avec somme (A_{11}=18), on obtient une clause de descente : +[ +U^{(11)}(n)3^{12}) est + [ + A=20. + ] + +Résidu structurel +[ +\Delta = 2^{20}-3^{12} +=1048576-531441 +=517135 + +> 1. +> +> ] + +Conclusion + +- Toute classe pour laquelle un bloc exact de longueur 12 réalise (A_{12}=20) est contractive : + [ + U^{(12)}(n)20)). + +Cette séquence prépare exactement une preuve par paliers : à chaque saut de stabilité, le seuil contractif correspondant est éliminé du noyau, puis la scission supprime automatiquement les bifurcations « one ». + +## Conclusion du paquet \(D_{12}\) au palier \(2^{21}\) + +La démonstration continue dans le même style que précédemment : après (D_{10}) (palier (2^{17})) et (D_{11}) (palier (2^{19})), l’horizon 12 devient le prochain seuil contractif naturel, et son paquet minimal (D_{12}) est maintenant construit et audité au palier (2^{21}) : 2225 classes candidates (mod (2^{21})) et 4450 classes couvertes après scission des sœurs. + +La suite immédiate, pour rester strictement dans la logique de preuve, consiste à intégrer ce paquet (D_{12}) dans la table de transition d’états étendus ((\sigma,t)), puis à recalculer le noyau « both » au palier (2^{21}) (ou (2^{22})) afin de constater une contraction suffisante pour conclure l’extinction à un palier fini. + +Au palier \(2^{21}\), le paquet minimal \(D_{12}\) fournit 2225 clauses exactes et, après scission des sœurs, 4450 classes couvertes. Cette étape fixe le prochain calcul de transition sur les états étendus \((\sigma,t)\) pour mesurer la contraction du noyau « both » au palier suivant. + +## Introduction du paquet \(D_{13}\) au palier \(2^{22}\) + +La formalisation peut se poursuivre en gardant exactement la même discipline : à chaque palier où un seuil contractif devient stabilisable, construire un paquet fini de clauses (D) minimales, fermer systématiquement les sœurs par scission, puis auditer la réduction effective sur l’ensemble résiduel et sur la distribution d’états. + +Après (D_{10}) complet ((2^{17})), (D_{11}) ((2^{19})) et (D_{12}) minimal ((2^{21})), le seuil suivant est l’horizon 13, avec (A_{13}=21) stabilisé au palier (2^{22}). Un audit exhaustif du paquet (D_{13}) est produit dans la section suivante. + +[Télécharger l’audit « candidats D13 au palier 2^22 et impact »](sandbox:/mnt/data/candidats_D13_palier2p22_et_impact.md) + +## Palier (2^{22}) : seuil contractif à l’horizon 13 + +Calculs exacts : + +- longueur (k=13) +- (3^{13}=1594323) +- (2^{21}=2097152) +- (\Delta = 2^{21}-3^{13}=2097152-1594323=502829>0) + +Donc, si un bloc exact de longueur 13 réalise (A_{13}=21), alors +[ +U^{(13)}(n)0) + +Seuil minimal : +[ +A_{14}=23 \quad \text{car} \quad 2^{22}=4194304 < 3^{14}=4782969 < 2^{23}=8388608. +] +Stabilité exacte : +[ +2^{A+1}=2^{24}. +] + +Donc, pour toute classe congruentielle stabilisée au module (2^{24}) réalisant exactement (A_{14}=23) sur 14 pas, la clause (D14) est valide au-delà du seuil +[ +N_0=\left\lfloor\frac{C_{14}}{3605639}\right\rfloor+1, +] +et la sœur (xor (2^{23})) se ferme par descente minorée via scission. + +## Résultats globaux du paquet (D_{14}) (minimaux (A_{14}=23)) + +L’audit établit (sur le noyau résiduel après (D_{10}), (D_{11}), (D_{12}), (D_{13})) : + +- noyau au palier (2^{22}) après (D_{13}) : 83678 classes (mod (2^{22})) +- relèvements au palier (2^{24}) : (4) par classe, soit 334712 classes (mod (2^{24})) +- candidats (D_{14}) minimaux ((A_{14}=23)) : 15308 classes (mod (2^{24})) +- fermeture par scission des sœurs (bit (2^{23})) : + [ + 2\times 15308 = 30616 \text{ classes couvertes} + ] +- noyau restant après (D_{14}) : + [ + 334712 - 30616 = 304096 \text{ classes (mod }2^{24}\text{)} + ] + +Invariant utile pour le lemme d’extinction : +[ +\max A_{14} = 22 \quad \text{après application de } D_{14}. +] +Cet invariant reprend la forme utilisée aux paliers précédents : toutes les occurrences du seuil contractif d’horizon 14 sont absorbées. + +## Ce que fournit l’audit + +Le fichier Markdown donne : + +- les tailles d’ensembles, les distributions (A_{14}) avant/après, +- la distribution des seuils (N_0) sur l’ensemble des 15308 candidats (calculés avec (C_{14}) et (\Delta)), +- une table d’impact par état (les 60 états de base), calculée sur les classes modulo (2^{22}), indiquant quelle fraction de leurs relèvements est touchée par (D_{14}). + +Le fichier CSV liste exhaustivement, pour chaque candidat : + +- classe modulo (2^{24}), +- sœur (xor (2^{23})), +- mot (a_0..a_{13}), +- (C_{14}), (\Delta), seuil (N_0), +- (U^{(14)}(n)) sur le représentant (vérification (U^{(14)}(n)0) + +Donc, si un bloc exact de longueur (15) réalise (A_{15}=24), alors : +[ +U^{(15)}(n)3^{16}), +- construire le paquet (D_{16}) minimal à stabilité (2^{27}), +- fermer systématiquement les sœurs par scission (bit (2^{26})), +- auditer l’effet (tailles, distributions, invariant (\max A_{16})), +- et fournir l’impact par état (60 états base (B_{12})). + +Les fichiers d’audit sont produits. + +[Télécharger l’audit « candidats D16 au palier 2^27 »](sandbox:/mnt/data/candidats_D16_palier2p27_et_impact.md) +[Télécharger la liste exhaustive des candidats D16 (CSV)](sandbox:/mnt/data/candidats_D16_palier2p27.csv) + +## Palier (2^{27}) : seuil contractif à l’horizon 16 + +Calculs exacts : + +- (3^{16}=43046721) +- (2^{26}=67108864) +- (\Delta = 2^{26}-3^{16}=67108864-43046721=24062143>0) + +Seuil minimal : +[ +A_{16}=26 \quad \text{car} \quad 2^{25}=33554432 < 3^{16}=43046721 < 2^{26}=67108864. +] +Stabilité exacte : +[ +2^{A+1}=2^{27}. +] + +Donc, pour toute classe stabilisée modulo (2^{27}) réalisant (A_{16}=26), la clause de descente (D16) est valide au-delà du seuil : +[ +N_0=\left\lfloor\frac{C_{16}}{24062143}\right\rfloor+1, +] +et la sœur (xor (2^{26})) est fermée automatiquement par scission via une clause minorée au même horizon. + +## Résultats globaux du paquet (D_{16}) minimal + +Domaine analysé : noyau résiduel au palier (2^{25}) après (D_{10})–(D_{15}). + +- noyau au palier (2^{25}) après (D_{15}) : 518772 classes (mod (2^{25})) +- relèvements au palier (2^{27}) : 4 par classe, donc + [ + 4 \times 518772 = 2075088 \text{ classes (mod }2^{27}\text{)} + ] +- candidats (D_{16}) minimaux ((A_{16}=26)) : 96341 classes (mod (2^{27})) +- fermeture par scission des sœurs (bit (2^{26})) : + [ + |\text{couverture}| = 192682 \text{ classes} + ] + (la couverture est calculée exactement comme union des candidats et de leurs sœurs, donc sans double comptage éventuel) +- noyau restant après (D_{16}) (sur ce domaine de relèvements) : + [ + 2075088 - 192682 = 1882406 \text{ classes} + ] + +Invariant formel obtenu : +[ +\max A_{16} = 25 \quad \text{après application de } D_{16}. +] +Cet invariant signifie que toutes les occurrences atteignant le seuil contractif minimal à l’horizon 16 sont absorbées sur le domaine analysé. + +## Seuils (N_0) pour (D_{16}) + +Les seuils (N_0) sont calculés et distribués dans le rapport ; la liste exhaustive figure dans le CSV, avec pour chaque clause : + +- la classe modulo (2^{27}), +- la sœur (xor (2^{26})), +- le mot (a_0..a_{15}), +- (C_{16}), (\Delta), (N_0), +- (U^{(16)}(n)) sur le représentant, +- l’identifiant d’état (sur base modulo 4096). + +## Impact par état (table de transition d’états étendus) + +Le rapport fournit une table d’impact par état (les 60 états base (B_{12})), en distinguant pour chaque base (r \pmod{2^{25}}) ses 4 relèvements au palier (2^{27}), organisés en deux paires de sœurs : + +- paire ((j=0, j=2)), +- paire ((j=1, j=3)), + +puis en comptant le nombre de paires touchées par (D_{16}) (0, 1 ou 2). + +Cette granularité est utilisée pour la table de transition d’états : l’opérateur (D_{16}) ferme une paire entière dès qu’un des deux éléments est candidat, et la scission ferme automatiquement l’autre. + +## Conclusion du paquet \(D_{16}\) au palier \(2^{27}\) + +La preuve continue sans rupture de méthode : au palier (2^{27}), le paquet (D_{16}) minimal ((A_{16}=26)) fournit 96341 clauses exactes, et, après fermeture des sœurs, couvre 192682 classes sur les 2075088 relèvements considérés, laissant 1882406 classes résiduelles et imposant l’invariant (\max A_{16}=25). + +L'étape suivante est : + +- franchir le seuil suivant (horizon 17, seuil minimal (A_{17}=27), stabilité (2^{28})), +- construire le paquet (D_{17}) minimal sur les relèvements correspondants, +- auditer à nouveau la réduction et la table d’impact par état, +- puis décider si l’insertion de fusions ciblées (t=6,7) devient plus efficiente que la poursuite exclusive par paquets (D_k), au regard de la contraction observée sur les états dominants. + +Au palier $2^{27}$, la stabilisation du paquet $D_{16}$ couvre 192682 classes et impose l’invariant $\max A_{16}=25$ sur les 2075088 relèvements du domaine considéré. La suite de la construction porte sur l’horizon 17 au palier $2^{28}$, avec comparaison explicite entre l’extension des paquets $(D_k)$ et l’introduction de fusions ciblées $(t=6,7)$. + +## Introduction du paquet \(D_{17}\) au palier \(2^{28}\) + +La section suivante franchit le seuil contractif d’horizon 17, dont le seuil minimal est (A_{17}=27) et dont la stabilité exacte est au palier (2^{28}). La structure est identique aux paliers précédents : + +- construire le domaine de travail au palier (2^{28}) à partir du noyau après (D_{15}), filtré par (D_{16}), +- extraire le paquet (D_{17}) minimal (classes où (A_{17}=27)), +- fermer systématiquement la sœur (scission des sœurs au bit (2^{27})), +- auditer l’impact (tailles, distributions, invariant (\max A_{17})), +- fournir la table d’impact par état. + +Les fichiers d’audit sont produits. + +[Télécharger l’audit « candidats D17 au palier 2^28 »](sandbox:/mnt/data/candidats_D17_palier2p28_et_impact.md) +[Télécharger la liste exhaustive des clauses D17 (CSV)](sandbox:/mnt/data/candidats_D17_palier2p28.csv) + +## Palier (2^{28}) : seuil contractif à l’horizon 17 + +Calculs exacts : + +- (3^{17}=129140163) +- (2^{27}=134217728) +- (\Delta = 2^{27}-3^{17}=134217728-129140163=5077565>0) + +Seuil minimal : +[ +A_{17}=27 \quad \text{car} \quad 3^{17}<2^{27}. +] +Stabilité exacte : +[ +2^{A+1}=2^{28}. +] + +Donc, si un bloc exact de longueur 17 réalise (A_{17}=27), alors : +[ +U^{(17)}(n) 3^t. +] + +Une fusion courte (préimage 3-adique) exige, dans sa forme la plus utile, une condition structurelle plus faible +[ +3\cdot 2^A > 2^a\cdot 3^t, +] +où (a) est l’exposant de (2) utilisé pour reconstruire une préimage (voir section suivante). + +Pour (a=1) (le cas “le plus permissif”), cela se réécrit +[ +2^A > 2\cdot 3^{t-1}, +] +ce qui est strictement plus faible que (2^A>3^t) d’un facteur (3/2), et correspond, en pratique, à “gagner” environ une unité de valuation dans les seuils minimaux observés (ce qui est exactement ce qui rend (t=6) et (t=7) attractifs). + +Calculs structurants (contrôle des seuils) + +- (t=6), (3^6=729) + (F, (a=1)) : (3\cdot 2^A > 2\cdot 729 = 1458) + \text{soit } (2^A > 486) + \text{donc } (A\ge 9) \text{ car } (2^8=256), (2^9=512) + +- (t=7), (3^7=2187) + (F, (a=1)) : (3\cdot 2^A > 2\cdot 2187 = 4374) + \text{soit } (2^A > 1458) + \text{donc } (A\ge 11) \text{ car } (2^{10}=1024), (2^{11}=2048) + +Ces seuils sont directement compatibles avec les sommes de valuations déjà observées sur les états (horizon 7), et encore davantage sur les relèvements plus profonds qui subsistent après (D_{15})–(D_{17}). + +## Formulation standard d’une clause de fusion généralisée + +La fusion utile n’est pas une intuition ; c’est un théorème local, du même type que (D), avec une condition congruentielle et un seuil. + +### Données + +- (t\ge 1) : profondeur de calcul. +- (y = U^{(t)}(n)). +- (a\in{1,2,\dots}) : paramètre de préimage. +- Préimage candidate : + [ + m=\frac{2^a y - 1}{3}. + ] + +### Condition d’intégralité + +Il faut et il suffit que +[ +2^a y \equiv 1 \pmod 3. +] + +Comme (y) est impair, (v_2(2^a y)=a), donc si (m\in\mathbb{N}), alors +[ +U(m)=y. +] + +Choix minimal de (a) (stratégie standard) + +- si (y\equiv 2\pmod 3), choisir (a=1) (car (2\cdot 2\equiv 1\pmod 3)) +- si (y\equiv 1\pmod 3), choisir (a=2) (car (4\cdot 1\equiv 1\pmod 3)) + +Ce point est particulièrement favorable ici, car l’audit des états a déjà montré que les (y) rencontrés tombent typiquement dans ({1,2}\pmod 3) et évitent (0\pmod 3), ce qui élimine une grande source de dégénérescence. + +### Condition de “fusion utile” : (m 2^a C_t - 2^A. +] + +Définitions + +- (\Delta_F = 3\cdot 2^A - 2^a\cdot 3^t) +- (B_F = 2^a C_t - 2^A) + +Si (\Delta_F>0), un seuil suffisant est : +[ +N_F= +\left\lfloor \frac{B_F}{\Delta_F} \right\rfloor + 1, +] +avec la convention que si (B_F\le 0) alors (N_F=1) suffit. + +Clause (F) publiée +[ +\forall n\equiv r\ (\bmod 2^m),\ n\ge N_F +\Rightarrow +\exists m0) (ce qui donne les seuils minimaux (A\ge 9) pour (a=1), (A\ge 10) pour (a=2) à (t=6)). +- Déduire (N_F) et publier la clause. + +Audit au même format que (D_k) + +- Taille du paquet (F_6) (nombre de classes stabilisées). +- Couverture induite par scission “one” (si le critère est formulé sur une valuation minimale, la sœur est minorée comme pour (D)). +- Table d’impact par état (fraction touchée), comparée à (D_{17}) sur les états dominants. + +Règle de pilotage + +- Si (F_6) touche significativement mieux l’état (1,1,1,1,1,1,1) que (D_{17}), la fusion devient la couche principale de “désagrégation” du noyau dur. +- Sinon, continuer (D_k) et augmenter la profondeur (t) de fusion (passer à (F_7) ou (F_8)), car les relèvements plus profonds rendent (A) plus grand, donc (\Delta_F) plus facilement positif. + +## Limites à expliciter dans la preuve finale + +- Une preuve complète ne peut pas reposer sur une intuition probabiliste “(y) se comporte comme aléatoire modulo 3)”. Les clauses (F) proposées sont déterministes : elles doivent être construites comme des congruences stabilisées et auditées, exactement comme (D). +- Les clauses (F) nécessitent de gérer le paramètre (a). Le choix minimal (a\in{1,2}) est naturel, mais le texte final doit expliciter pourquoi les autres (a) ne sont pas nécessaires (ou, si utilisés, comment ils sont bornés). +- La scission des sœurs doit être invoquée dans le cadre exact où le numérateur affine est stabilisé sur la classe ; sinon, il faut reformuler la complétion en “minorations sûres” (ce qui reste faisable, mais doit être écrit). + +## Conclusion de la stratégie hybride \(D/F\) + +Les audits récents montrent que les états dominants du noyau restant, en particulier le mot (1,1,1,1,1,1,1), sont ceux que les paquets (D_k) touchent le moins en proportion. Les clauses (F) ajoutent une condition structurelle plus permissive que (D) à profondeur comparable, et produisent une réduction inductive stricte (m0). + +La suite consiste à construire un paquet (F_6) (puis (F_7) si nécessaire) avec le même niveau d’audit que (D_k) : liste exhaustive, seuils (N_F), couverture par scission, et table d’impact par état. Ces éléments permettent de comparer, sur données auditées, la contribution relative de la fusion et des paquets (D_k) dans la réduction du noyau résiduel. + +Au niveau de la section, l’introduction de (F) cible les états dominants où la descente minimale apparaît plus tard. L’inégalité (2^A > 2\cdot 3^{t-1}) pour (a=1) formalise l’écart de seuil avec (D) et justifie l’évaluation de paquets (F_6), puis (F_7), dans le même cadre d’audit que les paquets (D_k). + +## Introduction des clauses de fusion au palier \(2^{25}\) + +La section suit le même format que les paquets (D_k) : construction déterministe d’un paquet fini de clauses, audit exhaustif, puis mesure d’impact sur les 60 états (projection modulo 4096). Sur le noyau résiduel au palier (2^{25}) (après (D_{10})–(D_{15})), aucune clause de fusion « courte » à (t=6) ou (t=7) n’est contractive avec le schéma de préimage minimal (a\in{1,2}), en raison d’une contrainte modulo 3 corrélée aux valeurs maximales de (A_t). Les premières profondeurs applicables sont (t=11), (t=12) et (t=14), avec audits exhaustifs. + +## Résultat principal sur l’introduction des clauses de fusion + +Au palier (2^{25}), sur le noyau résiduel après (D_{15}) (518772 classes), les audits montrent : + +* aucune clause de fusion valide pour (t=6) et (t=7) (avec (a\in{1,2})) +* premières profondeurs utiles : + + * (t=11) : 11514 classes couvertes + * (t=12) : 7688 classes couvertes + * (t=14) : 11392 classes couvertes +* couverture combinée (F(11)\cup F(12)\cup F(14)) : + + * classes couvertes : 29988 + * fraction du noyau : 0.0578088975496501 + * noyau restant (si l’on enlève directement ces classes au palier (2^{25})) : 488784 + +Un effet notable sur l’état dominant (mot (1\ 1\ 1\ 1\ 1\ 1\ 1)) est mesuré : + +* effectif avant : 73334 +* retirés par fusion : 2554 +* fraction : 0.0348271142451606 + +## Justification arithmétique de l’échec de F6/F7 sur ce noyau + +Le noyau résiduel au palier (2^{25}) présente : + +* (\max A_6 = 9), (\max A_7 = 11) + +Les cas où (A_6=9) ou (A_7=11) imposent systématiquement (y=U^t(n)\equiv 1\pmod 3). Dans le schéma minimal de préimage +[ +m=\frac{2^a y - 1}{3}, +] +cela force (a=2) (le plus petit exposant satisfaisant (2^a y\equiv 1\pmod 3) quand (y\equiv 1\pmod 3)). + +Or la condition structurelle de contraction de la fusion, +[ +\Delta_F = 3\cdot 2^{A_t} - 2^a\cdot 3^t > 0, +] +devient alors négative pour (t=6) (avec (A_t\le 9)) et pour (t=7) (avec (A_t\le 11)). C’est une obstruction congruentielle réelle, et non un manque d’exploration. + +## Audits fournis (exhaustifs) + +Synthèse globale (incluant la preuve d’obstruction F6/F7 et la table d’impact par état) +[ Télécharger la synthèse fusion au palier 2^25 ](sandbox:/mnt/data/fusion_synthese_palier2p25.md) + +Paquets exhaustifs (Markdown + CSV) + +[ Fusion t=11 (rapport) ](sandbox:/mnt/data/fusion_t11_palier2p25.md) +[ Fusion t=11 (CSV exhaustif) ](sandbox:/mnt/data/fusion_t11_palier2p25.csv) + +[ Fusion t=12 (rapport) ](sandbox:/mnt/data/fusion_t12_palier2p25.md) +[ Fusion t=12 (CSV exhaustif) ](sandbox:/mnt/data/fusion_t12_palier2p25.csv) + +[ Fusion t=14 (rapport) ](sandbox:/mnt/data/fusion_t14_palier2p25.md) +[ Fusion t=14 (CSV exhaustif) ](sandbox:/mnt/data/fusion_t14_palier2p25.csv) + +Fichier technique (pour réutilisation mécanique dans les étapes suivantes) +[ Noyau après D15 (binaire) ](sandbox:/mnt/data/R25_after.bin) + +## Ce qui reste à faire pour la suite immédiate (déjà préparé conceptuellement) + +La suite cohérente, dans la même logique que les paquets (D_k), consiste à : + +* intégrer (F(11)), (F(12)), (F(14)) dans le registre (K) comme clauses de réduction inductive (au même titre qu’une descente, car elles produisent un (m0) + +Le seuil (N_0) est cohérent avec la formule standard. + +Paramètres + +- (C_{37}=1100931843921811423) +- (\Delta = 2^{A_{37}}-3^{37}=126176846412426125) + +Calcul + +- division euclidienne : (C_{37} = 8\cdot \Delta + 91517072622402423) +- (\left\lfloor \dfrac{C_{37}}{\Delta}\right\rfloor = 8) +- (N_0=\left\lfloor \dfrac{C_{37}}{\Delta}\right\rfloor + 1 = 9) + +## Conclusion de la section précédente + +- pour tout (n) dans la classe visée, si (n\ge 9) alors (U^{(37)}(n)1.5850) » est correct conceptuellement (c’est (\log_2(3))), mais l’affichage doit être cohérent avec la définition de (A_k) et de (k) : + +- la condition de validité d’une clause D n’est pas “la moyenne dépasse (\log_2(3))” en tant que diagnostic visuel ; elle est exactement “(\Delta = 2^{A_k}-3^k>0)” au pas de clôture +- si la moyenne est affichée, elle doit correspondre au même (k) que celui utilisé dans (3^k) (ici (k=37) et (A_k=59), donc (59/37=1.594594...), cohérent avec (\Delta>0)) + +L’outil v2.3 est déjà correct sur ce point dans l’audit (il calcule (\Delta)), ce qui est la bonne condition. + +## Prochaine étape utile pour continuer + +La correction (2^{A_k+1}) est déterminante parce qu’elle conditionne la possibilité de “compresser” le registre (K). La suite logique, pour avancer vers un certificat exploitable, est de doter le générateur de deux opérations supplémentaires. + +Réduction du module + +- remplacer systématiquement (2^{A_k+k}) par (2^{A_k+1}) lors de la génération d’une clause D + +Minimisation optionnelle du module (compression expérimentale) + +- tester si un exposant encore plus petit que (A_k+1) conserve le même préfixe de valuations (par exemple en vérifiant le préfixe sur (n_0) et (n_0 + 2^{E-1})) +- dans le cas de 27, l’exposant minimal est bien (60) (un pas en dessous, (2^{59}), modifie la dernière valuation du bloc) + +Fusion (F) véritable, distincte de D + +- une fusion doit être une règle réutilisable “classe difficile ⇒ collision avec une classe déjà prouvée”, pas seulement l’observation “on finit par descendre” +- elle est indispensable pour éviter que (K) ne devienne un catalogue astronomique de résidus 2-adiques isolés + +## Conclusion de la validation v2.3 et du module minimal + +La v2.3 va dans la bonne direction : elle produit une clause D réellement auditable, fondée sur un résidu structurel positif et un seuil (N_0), sans saut de type “mesure ⇒ universel”. Pour continuer efficacement, il faut maintenant corriger la taille du module : la classe associée au bloc de valuations est déterminée modulo (2^{A_k+1}), pas modulo (2^{A_k+k}). Dans l’exemple (n_0=27), cela remplace (2^{96}) par (2^{60}), élargissant la portée de la clause d’un facteur (68719476736) sans modifier ni l’horizon (k=37) ni l’audit ((A_k,C_k,\Delta,N_0)). + +## Introduction à la reprise de la démonstration et au format des clauses + +La démonstration à reprendre peut être structurée comme une preuve conditionnelle standard : si un registre fini (K) de clauses arithmétiques universelles (descente, valuation, fusion) couvre tous les entiers impairs au-delà d’un seuil global, alors la conjecture de Collatz suit par descente bien fondée. Le travail déjà produit (v2.3) est précisément un générateur de clauses de descente universelles (D) à partir d’une trajectoire de la dynamique (U) (impairs (\to) impairs). La reprise de cette section formalise les lemmes nécessaires, puis réécrit la clause obtenue pour (n_0=27) dans un format mathématiquement correct et minimal (module réduit), avant de situer exactement ce qu’il reste à démontrer pour conclure. + +## Cadre et définitions + +### Dynamique compressée sur les impairs + +Pour (n) impair, définir la valuation 2-adique +[ +a(n)=v_2(3n+1)\quad(\text{donc }a(n)\ge 1), +] +et la dynamique sur les impairs +[ +U(n)=\frac{3n+1}{2^{a(n)}}. +] +Par construction, (U(n)) est impair. + +Une trajectoire est +[ +n_0=n,\qquad n_{i+1}=U(n_i),\qquad a_i=a(n_i)=v_2(3n_i+1). +] +On définit la somme partielle des valuations +[ +A_0=0,\qquad A_{i+1}=A_i+a_i,\qquad A_k=\sum_{i=0}^{k-1} a_i. +] + +### Registre de clauses + +Une clause de descente universelle (type D) a la forme : + +Il existe (k\ge 1), un module (2^m), un résidu (r), et un seuil (N_0) tels que +[ +\forall n\ (\text{impair}),\ n\equiv r\pmod{2^m}\ \wedge\ n\ge N_0\ \Longrightarrow\ U^{(k)}(n)0) et si +[ +n_0 > \frac{C_k}{2^{A_k}-3^k}, +] +alors +[ +n_k=U^{(k)}(n_0)0) + +Seuil suffisant + +- (n_0 > \dfrac{C_k}{2^{A_k}-3^k}) + +Seuil entier minimal +[ +N_0=\left\lfloor \frac{C_k}{2^{A_k}-3^k}\right\rfloor + 1. +] + +## Lemme central 3 : stabilité de la suite de valuations sur une classe 2-adique minimale + +Ce lemme est ce qui transforme une trajectoire particulière en clause universelle. + +### Énoncé (stabilité) + +Fixer un entier impair (n_0) et un horizon (k). Soit ((a_0,\dots,a_{k-1})) la suite des valuations rencontrées sur la trajectoire (n_{i+1}=U(n_i)). Alors, pour tout entier impair (n_0') vérifiant +[ +n_0' \equiv n_0 \pmod{2^{A_k+1}}, +] +la trajectoire issue de (n_0') possède la même suite de valuations ((a_0,\dots,a_{k-1})) jusqu’au pas (k). En particulier, (A_k) et (C_k) sont identiques, et la formule affine du lemme 1 s’applique avec les mêmes paramètres. + +### Preuve (invariant de congruence, par induction) + +On prouve par induction sur (i) l’invariant +[ +n_i' \equiv n_i \pmod{2^{A_k+1-A_i}}. +] + +Initialisation (i=0) + +- Par hypothèse, (n_0'\equiv n_0\pmod{2^{A_k+1}}), donc l’invariant est vrai pour (i=0) puisque (A_0=0). + +Hérédité +Supposer (n_i'\equiv n_i\pmod{2^{A_k+1-A_i}}). Alors +[ +3n_i'+1 \equiv 3n_i+1 \pmod{2^{A_k+1-A_i}}. +] +Or, par définition de (A_k), +[ +A_k-A_i = a_i + a_{i+1} + \cdots + a_{k-1} \ge a_i, +] +donc +[ +A_k+1-A_i \ge a_i+1. +] +Ainsi +[ +3n_i'+1 \equiv 3n_i+1 \pmod{2^{a_i+1}}, +] +ce qui force +[ +v_2(3n_i'+1)=v_2(3n_i+1)=a_i. +] +Les deux trajectoires divisent donc par la même puissance (2^{a_i}), et +[ +n_{i+1}'=\frac{3n_i'+1}{2^{a_i}} +\equiv \frac{3n_i+1}{2^{a_i}}=n_{i+1} +\pmod{2^{A_k+1-A_i-a_i}} +] +c’est-à-dire +[ +n_{i+1}' \equiv n_{i+1}\pmod{2^{A_k+1-A_{i+1}}}. +] +L’invariant est préservé, donc la suite des valuations est identique jusqu’au pas (k). + +## Conclusion de la section précédente + +La classe minimale garantissant le même bloc de valuations de longueur (k) est bien (n_0 \bmod 2^{A_k+1}). Un module plus grand reste valide mais réduit inutilement la portée de la clause. + +## Construction d’une clause D à partir d’un entier (n_0) + +On fixe un horizon (k) tel que la trajectoire issue de (n_0) vérifie (U^{(k)}(n_0)0) + +Paramètres + +- (A_{37}=59) +- (k=37) + +Calcul + +- (\Delta=2^{59}-3^{37}=126176846412426125) + +## Conclusion de la section précédente + +- (\Delta>0), condition structurelle satisfaite. + +### Calcul explicite du seuil (N_0) + +Paramètres + +- (C_{37}=1100931843921811423) +- (\Delta=126176846412426125) + +Division + +- (1100931843921811423 = 8\times 126176846412426125 + 91517072622402423) + +Donc + +- (\left\lfloor\dfrac{C_{37}}{\Delta}\right\rfloor = 8) + +Seuil + +- (N_0=8+1=9) + +### Module minimal de stabilité + +Paramètres + +- (A_{37}=59) + +Module minimal + +- (2^{A_{37}+1}=2^{60}) + +### Clause D finale (forme mathématique) + +[ +\boxed{ +\forall n\ \text{impair},\ n\equiv 27\pmod{2^{60}}\ \wedge\ n\ge 9\ \Longrightarrow\ U^{(37)}(n)N^\star), il existe une clause de (K) applicable à (n) qui fournit un horizon (k\ge 1) avec +[ +U^{(k)}(n)0, +\qquad +N_0=\left\lfloor\frac{C_k}{\Delta_k}\right\rfloor+1, +\qquad +n\ge N_0\Rightarrow U^{(k)}(n)0. +] +Donc (n_40, +] +donc descente stricte. + +Forme affine et audit +Ici (k=4), (A_4=8), (2^{A_4}=256), (3^4=81), (C_4=85). +[ +U^{(4)}(n)=\frac{81n+85}{256}. +] +Inégalité : + +- (\dfrac{81n+85}{256}0, +] +donc descente stricte. + +Forme affine et audit +Ici (k=5), (A_5=8), (2^{A_5}=256), (3^5=243), (C_5=211), (\Delta=2^8-3^5=256-243=13). +[ +U^{(5)}(n)=\frac{243n+211}{256}. +] +Inégalité : + +- (\dfrac{243n+211}{256}0. +] + +Audit +Ici (k=5), (A_5=8), (C_5=227), (\Delta=13). +Seuil : + +- (N_0=\left\lfloor \dfrac{227}{13}\right\rfloor+1) +- (227=17\cdot 13+6), donc (\left\lfloor \dfrac{227}{13}\right\rfloor=17) +- (N_0=18) + +Clause (D) : +[ +\forall n\ \text{impair},\ n\equiv 175\pmod{512},\ n\ge 18\Rightarrow U^{(5)}(n)0,\qquad N_0=\left\lfloor\frac{C_k}{\Delta_k}\right\rfloor+1. +] +La stabilité sur la classe congruentielle est assurée en imposant (n\equiv r\pmod{2^{A_k+1}}). + +Clause D : (n \equiv 7 \pmod{256}) +Paramètres + +- horizon (k=4) +- valuations ([1,1,2,3]) +- somme (A_4=7) +- terme additif (C_4=73) +- résidu structurel (\Delta=2^{7}-3^{4}=128-81=47) + Seuil +- (N_0=\left\lfloor 73/47\right\rfloor+1 = 2) + Formule +- (U^{(4)}(n)=(81n+73)/128) + Clause + [ + n\equiv 7\pmod{256},\ n\ge 2 \Longrightarrow U^{(4)}(n)0) + +Seuil + +- (N_0=\left\lfloor 251/269\right\rfloor+1 = 1) + +Forme affine + +- (U^{(5)}(n)=(243n+251)/512) + +Stabilité de la clause + +- module (2^{A_5+1}=2^{10}=1024) +- donc (n\equiv 39\pmod{1024}) fige ce bloc de valuations sur (5) pas + +Clause +[ +n\equiv 39\pmod{1024},\ n\ge 1 \Longrightarrow U^{(5)}(n)0) + +alors la clause universelle suivante est valide sur la classe (n\equiv r\pmod{2^{A_k+1}}) (donc a fortiori sur (n\equiv r\pmod{2048}), puisque (2^{A_k+1}\mid 2048)) : + +[ +\forall n\ \text{impair},\ n\equiv r\pmod{2^{A_k+1}},\ n\ge N_0 +\Longrightarrow +U^{(k)}(n)0. +] + +Seuil + +- (\left\lfloor 73/47\right\rfloor = 1) +- (N_0=1+1=2) + +Clause +[ +\forall n\ \text{impair},\ n\equiv 7\pmod{256},\ n\ge 2\Longrightarrow U^{(4)}(n)0. +] + +Seuil + +- (\left\lfloor 65/47\right\rfloor = 1) +- (N_0=2) + +Clause +[ +\forall n\ \text{impair},\ n\equiv 143\pmod{256},\ n\ge 2\Longrightarrow U^{(4)}(n)0. +] + +Seuil + +- (\left\lfloor 85/47\right\rfloor = 1) +- (N_0=2) + +Clause +[ +\forall n\ \text{impair},\ n\equiv 187\pmod{256},\ n\ge 2\Longrightarrow U^{(4)}(n)0. +] + +Seuil + +- (\left\lfloor 697/295\right\rfloor = 2) +- (N_0=3) + +Clause +[ +\forall n\ \text{impair},\ n\equiv 287\pmod{2048},\ n\ge 3\Longrightarrow U^{(6)}(n)0) +- seuil (N_0=\left\lfloor C_k/\Delta_k\right\rfloor+1) garantissant (U^{(k)}(n)0), seuil (N_0), stabilité congruentielle) qui sont du bon type pour une preuve académique. + +En revanche, la preuve standard complète n’est pas encore atteinte, parce que la clôture globale — finitude et complétude de (K), ou terminaison non circulaire du générateur de (K) — n’est pas démontrée. C’est précisément l’endroit où Collatz est encore ouvert dans les sources de référence et où les travaux connus se heurtent au passage de “presque tous” à “tous”. ([arXiv][2]) + +[1]: conjecture" +[2]: ] The 3x+1 Problem: An Overview - arXiv.org" + +## Introduction aux clauses de fusion (F) + +La suite de la démonstration consiste à ajouter, à côté des clauses de descente (D) déjà formalisées, une seconde famille de clauses universelles permettant de compresser le registre (K) : les clauses de fusion (F), fondées sur la non-injectivité de la dynamique (collisions) et sur la description explicite des préimages. Cette étape correspond, dans la théorie des futurs accessibles, au passage d’une simple observation de trajectoires à une **mémoire-structure transmissible** (un registre de contraintes (K)) opérant sur l’atteignabilité, et non à une mémoire-état cachée. + +Ce qui suit fixe un cadre formel standard pour (F), établit les lemmes arithmétiques nécessaires, puis montre comment (F) s’articule avec (D) dans un théorème-cadre de terminaison conditionnelle. + +## 1. Définition formelle des clauses de fusion + +On travaille sur l’ensemble des impairs (I={n\in\mathbb{N}\mid n\equiv 1\pmod 2}) et sur +[ +U(n)=\frac{3n+1}{2^{a(n)}},\qquad a(n)=v_2(3n+1)\ge 1. +] + +Une clause de fusion (F) a pour but de remplacer une descente directe par une réduction inductive basée sur une collision de futurs. + +### Définition (clause F) + +Une clause (F) est un quadruplet ((C,f,i,j)) où : + +- (C(n)) est une condition arithmétique finie (congruences modulo (2^u 3^v), contraintes de valuation exactes, etc.) ; +- (f) est une fonction explicite (f:I\to I) telle que (f(n)N^\star), au moins une clause de (K) s’applique à (n) (couverture) ; +- si une clause D s’applique, elle fournit une descente stricte (U^{(k)}(n)N^\star). +- Par couverture, une clause s’applique. +- Dans les deux cas (D ou F), on construit un impair strictement plus petit (n') tel que “atteindre 1 depuis (n')” implique “atteindre 1 depuis (n)”. +- On itère. La suite des entiers strictement décroissante dans (\mathbb{N}) est finie. +- On atteint donc un impair (\le N^\star), puis la vérification finie clôture. + +Ce théorème est entièrement standard : il ne requiert ni mesure, ni heuristique, mais uniquement une couverture finie par des implications universelles, ce qui correspond à une “mémoire-structure” stabilisée au sens du livre *Théorie des Futurs Accessibles*. + +## 6. Où la démonstration continue concrètement + +La suite immédiate (au sens “preuve en cours”) consiste à produire des clauses F effectives sur les poches où les clauses D deviennent trop fines (modules (2^{A_k+1}) énormes). + +Deux tâches sont alors formelles et séparables : + +Production de F sur une classe arithmétique donnée + +- choisir une classe (n\equiv r\pmod{2^m}) qui reste “dure” ; +- calculer un petit préfixe (y=U^{(t)}(n)) symboliquement sur cette classe ; +- imposer (y\not\equiv 0\pmod 3) (ou travailler sur deux sous-classes selon (y\bmod 3)) ; +- choisir (a) (pair/impair) pour rendre ((2^a y-1)/3) entier ; +- ajouter les congruences modulo (4) et modulo (2^{a+1}) assurant (m\equiv 1\pmod 4) et la valuation exacte (v_2(3m+1)=a). + +Compression et stabilisation du registre + +- une fois une clause F construite, elle réduit une famille entière de résidus “profonds” à un sous-problème plus petit ; +- l’objectif de stabilisation est d’éviter une explosion de feuilles en profondeur (2)-adique, en remplaçant une infinité de clauses D fines par un nombre fini de clauses F. + +Ce déplacement est cohérent avec le principe méthodologique “formuler sur un espace étendu minimal rendant la dynamique fermée” : ici, l’espace étendu est “état (n)” plus “registre (K) applicable”, et les collisions deviennent des règles transmissibles plutôt qu’un artefact d’exploration. + +## Conclusion de l'introduction des clauses de fusion (F) + +La démonstration continue sur une voie formelle standard en introduisant explicitement les clauses de fusion (F), fondées sur la description arithmétique des préimages de (U) et sur la logique de collision de futurs, puis en les intégrant dans un théorème-cadre combinant D et F. Cette construction permet, en principe, de transformer un empilement de clauses D très fines en un registre fini stabilisé, ce qui est l’obligation restante pour conclure Collatz dans ce cadre. + +Les clauses de fusion (F) exploitent la non-injectivité de $U$ pour relier des trajectoires ouvertes à des trajectoires déjà résolues. Avec les clauses (D), elles fournissent un cadre de réduction où la couverture complète des résidus implique la terminaison. + +## Introduction aux clauses de fusion (F) arithmétiques + +La démonstration peut maintenant être prolongée sur un point qui manquait aux étapes précédentes : la construction de clauses universelles de fusion (F) réellement arithmétiques, c’est-à-dire formulées comme des égalités d’itérés impliquant une réduction stricte (m 2C - 2^{A}. +] + +Définition +[ +\Delta_F = 3\cdot 2^{A} - 2\cdot 3^t. +] + +Condition structurelle +[ +\Delta_F>0 +\quad\Longleftrightarrow\quad +3\cdot 2^{A} > 2\cdot 3^t. +] + +Seuil explicite + +- si (2C-2^{A}\le 0), alors (m0), alors il suffit de prendre + [ + N_F=\left\lfloor \frac{2C-2^{A}}{\Delta_F}\right\rfloor + 1. + ] + +Clause (F) finale (forme standard) +[ +\forall n\ \text{impair},\ n\equiv r\pmod{2^{A+1}},\ n\ge N_F +\Longrightarrow +\exists m0. +] +Donc (m0) + +Clause (F) +[ +\forall n\ \text{impair},\ n\equiv 7\pmod{256},\ n\ge 1 +\Longrightarrow +\exists m0) + +Clause (F) +[ +\forall n\ \text{impair},\ n\equiv 187\pmod{256},\ n\ge 1 +\Longrightarrow +\exists m0) + Ici (2C-2^{A}=422-512<0), donc (N_F=1). + +Clause (F) +[ +\forall n\ \text{impair},\ n\equiv 351\pmod{1024},\ n\ge 1 +\Longrightarrow +\exists m0) +- clause de descente universelle avec seuil (N_0=\left\lfloor C_k/\Delta_k\right\rfloor+1) + +Règles F exactes au palier (2048) (préimage (a=1)) +Existence d’un bloc de valuations exactes de longueur (t) tel que : + +- (A\le 10) +- (y=U^{(t)}(n)\equiv 5\pmod 6) sur la classe +- (\Delta_F=3\cdot 2^{A}-2\cdot 3^t>0) et seuil (N_F) comme ci-dessus +- clause universelle (U^{(t)}(n)=U(m)) avec (m 0) + +Seuil + +- numérateur : (2C_7 - 2^{A_7} = 2\cdot 3031 - 2048 = 6062 - 2048 = 4014) +- (N_F = \left\lfloor \dfrac{4014}{1770}\right\rfloor + 1) +- (\left\lfloor \dfrac{4014}{1770}\right\rfloor = 2) +- (N_F=3) + +Conclusion (clause F) +[ +\forall n\ \text{impair},\ n\equiv 155\pmod{4096},\ n\ge 3 +\Longrightarrow +\exists m0) + +Seuil + +- numérateur : (2C_7 - 2^{12} = 5158 - 4096 = 1062) +- (N_F = \left\lfloor \dfrac{1062}{7914}\right\rfloor + 1 = 1) + +Clause F +[ +\forall n\ \text{impair},\ n\equiv 615\pmod{8192},\ n\ge 1 +\Longrightarrow +\exists m0) +- règles F exactes : préimage courte (a=1) appliquée à un itéré (y=U^{(t)}(n)) tel que (y\equiv 5\pmod 6), avec condition universelle (m0) + +Les listes exhaustives de résidus non couverts à chaque palier sont fournies dans un fichier téléchargeable (Markdown et JSON). + +Téléchargements : + +- [registreK_paliers_m11_m16.md](registreK_paliers_m11_m16.md) +- [registreK_paliers_m11_m16.json](registreK_paliers_m11_m16.json) + +## Résultats synthétiques sur les paliers (m=11) à (m=16) + +Pour un palier (m) : + +- nombre total de résidus impairs modulo (2^m) : (2^{m-1}) +- nombre couverts : (2^{m-1}-#(\text{non couverts})) +- taux de couverture : (\dfrac{#(\text{couverts})}{2^{m-1}}) + +Valeurs calculées : + +- (m=11), (2^{m-1}=1024), non couverts (=134), couverts (=890), couverture (=0.869140625000) +- (m=12), (2^{m-1}=2048), non couverts (=236), couverts (=1812), couverture (=0.884765625000) +- (m=13), (2^{m-1}=4096), non couverts (=428), couverts (=3668), couverture (=0.895507812500) +- (m=14), (2^{m-1}=8192), non couverts (=752), couverts (=7440), couverture (=0.908203125000) +- (m=15), (2^{m-1}=16384), non couverts (=1345), couverts (=15039), couverture (=0.917907714844) +- (m=16), (2^{m-1}=32768), non couverts (=2446), couverts (=30322), couverture (=0.925354003906) + +Interprétation formelle +À mesure que (m) augmente, la couverture augmente (la proportion non couverte décroît), mais aucune fermeture totale n’est démontrée : la démonstration complète exigerait de prouver que ce processus de stabilisation finit par couvrir toutes les classes, ou de produire une famille finie de fusions plus compressantes que la préimage courte (a=1). + +## Ce qui est effectivement “continué” dans la démonstration + +Il est à noter que l’on ne se contente pas d’énoncer “plus de classes se ferment”, on identifie précisément : + +- l’ensemble (R_m) des résidus impairs modulo (2^m) non couverts par le registre au palier (m) +- l’ensemble (\mathrm{New}*m) des “enfants” des résidus de (R*{m-1}) (au sens (r) et (r+2^{m-1})) qui deviennent couverts en passant à (m) +- pour chaque élément de (\mathrm{New}_m), le type de clause (D ou F), l’horizon (k ou t), la somme (A) et le seuil (N) + +Ces informations sont listées de façon exhaustive dans le fichier Markdown. + +## Conclusion des paliers m=11 à m=16 + +La démonstration est bien poursuivie au sens formel : pour une grammaire donnée (V, D grossières, D exactes, F exactes), chaque palier (2^m) produit un registre (K_m) effectif, avec une couverture mesurée et un résidu (R_m) explicitement listé. Les paliers (m=11) à (m=16) montrent une décroissance régulière de la proportion non couverte (de (0.130859375000) à (0.074645996094)). + +L'étape suivante, sans changer de cadre, consiste à poursuivre (m=17,18,\dots) et à observer la structure du résidu, puis à enrichir la grammaire des fusions (F) au-delà de la préimage courte (a=1) (ou à introduire des contraintes mixtes (\bmod 3^b)) afin de comprimer les branches qui résistent le plus (celles qui restent concentrées dans les classes (\equiv 7,15,27,31 \pmod{32}), phénomène également quantifié dans les données JSON). + +Cette continuation de la démonstration est cruciale car elle quantifie précisément l'efficacité de la méthode par paliers. La proportion de résidus non couverts diminue de manière monotone, passant d'environ 13 % à 7,5 % entre les paliers $2^{11}$ et $2^{16}$. + +## Introduction à la systématisation des clauses de fusion (F) + +La démonstration peut être continuée de façon strictement formelle en franchissant une étape structurante : passer d’un registre (K) composé principalement de clauses de descente (D) très fines à un registre (K) où les clauses de fusion (F) deviennent systématiques et compressantes. Le but reste inchangé et standard : produire un ensemble fini de règles universelles qui, pour tout impair au-delà d’une borne, garantit soit une descente stricte en un nombre borné de pas, soit une réduction inductive vers un impair strictement plus petit via collision de futurs. + +Il convient de noter que toutes les conclusions quantitatives “de couverture” dépendent de la grammaire de clauses adoptée. Les paliers calculés et exportés (m=11 à m=16) décrivent exactement ce que couvre la grammaire actuelle (V, D grossières, D exactes, F exactes à préimage courte) et ce qui n’est pas couvert dans ce cadre. Les fichiers livrés matérialisent cette partie de la démonstration. + +## Invariant formel : le résidu non couvert vit dans quatre classes modulo 32 + +Le travail est facilité par un invariant qui ne dépend d’aucun calcul. + +Les règles grossières (déjà démontrées) ferment toutes les classes impaires modulo 32 sauf : +[ +7,\ 15,\ 27,\ 31 \pmod{32}. +] +En conséquence, quel que soit le palier (2^m), tant que ces règles grossières font partie du registre, l’ensemble des résidus non couverts (R_m\subset (\mathbb{Z}/2^m\mathbb{Z})^\times) est contenu dans l’union de ces quatre classes. + +C’est exactement l’endroit où la démonstration doit se concentrer : tout le travail restant est, par construction, une analyse arithmétique des quatre branches “dures”. + +## Lemme de préimage générale de (U) et forme standard des clauses de fusion + +La dynamique sur les impairs est : +[ +a(n)=v_2(3n+1)\ge 1,\qquad U(n)=\frac{3n+1}{2^{a(n)}}. +] + +### Préimages explicites + +Soit (y) impair. Pour tout entier (a\ge 1) tel que (2^a y\equiv 1\pmod 3), définir : +[ +x=\frac{2^a y-1}{3}. +] + +Vérifications (ligne par ligne) + +Intégralité + +- Condition : (2^a y\equiv 1\pmod 3) +- Conclusion : (2^a y-1\equiv 0\pmod 3), donc (x\in\mathbb{N}) + +Équation exacte + +- (3x+1 = 2^a y) + +Valuation exacte + +- (y) impair (\Rightarrow v_2(2^a y)=a) +- donc (v_2(3x+1)=a) + +Collision + +- (U(x)=\dfrac{3x+1}{2^{v_2(3x+1)}}=\dfrac{2^a y}{2^a}=y) + +## Conclusion de la section précédente + +Chaque choix admissible de (a) construit une préimage impaire (x) telle que (U(x)=y), avec valuation exacte (a). Cette brique est entièrement formelle, et c’est la base de toutes les clauses (F). + +### Condition de réduction dans une clause (F) + +Une clause (F) doit produire un (mn) +- si (a=2), il faut (y < 0.75n), condition plus stricte +- plus (a) est grand, plus la condition devient stricte + +Ce point explique la stratégie de continuation : conserver (a=1) quand (y\equiv 2\pmod 3) (préimage contractante), et réserver (a=2) (ou plus) aux cas où l’itéré (y) est déjà suffisamment petit relativement à (n). + +## Schéma formel de construction d’une clause (F) stable sur une classe 2-adique + +On fixe un préfixe de valuations exactes ((a_0,\dots,a_{t-1})) sur (t) pas, de somme +[ +A=\sum_{i=0}^{t-1} a_i. +] +Sur la classe (n\equiv r\pmod{2^{A+1}}), ce préfixe est stable, et on a une forme affine exacte : +[ +y=U^{(t)}(n)=\frac{3^t n + C}{2^A}, +\qquad +C_0=0,\quad C_{i+1}=3C_i+2^{A_i}. +] + +Deux conséquences formelles utiles + +Résidu modulo 3 figé sur la classe + +- (3^t n \equiv 0\pmod 3) +- donc (y \equiv C\cdot 2^{-A}\pmod 3) +- ainsi (y\bmod 3) est une constante de la classe dès que le bloc est fixé + +Préimage admissible déterminée par (y\bmod 3) + +- si (y\equiv 2\pmod 3), prendre (a=1) donne une préimage entière +- si (y\equiv 1\pmod 3), prendre (a=2) donne une préimage entière + +Clause (F) stable +Une fois (a) fixé et (m=(2^a y-1)/3) défini, il reste à prouver (m0) et des seuils (N_0) +- construction de clauses universelles (D) et (F) avec audit arithmétique +- définition, pour chaque palier (2^m), d’un résidu non couvert (R_m) listé exhaustivement (dans les fichiers produits) + +Ce qui reste, et qui est de nature analytique + +- un énoncé global qui explique pourquoi (R_m) doit se contracter jusqu’à disparition, ou pourquoi l’arbre de raffinements finit toujours par rencontrer une clause +- ce n’est pas un calcul, mais un invariant ou une borne uniforme qui empêche l’existence d’une branche infinie “compatible avec l’intégralité” évitant indéfiniment D et F + +C’est exactement le passage “vérification (\to) analyse” : prouver une propriété de contraction, pas seulement constater une tendance. + +## Brique analytique centrale à introduire maintenant : contrôle modulo 3 par la parité des valuations + +Une avancée utile, très “analyse”, consiste à établir un pont simple et déterministe entre valuation 2-adique et congruence modulo 3, sans recourir à des mesures sur l’espace des suites. + +### Lemme (résidu modulo 3 d’un itéré sous (U)) + +Pour tout impair (n), poser (a=a(n)=v_2(3n+1)) et (U(n)=(3n+1)/2^a). Alors : +[ +U(n)\equiv (-1)^a \pmod 3. +] + +Calcul détaillé + +- (3n+1\equiv 1\pmod 3) +- (2\equiv -1\pmod 3), donc (2^a\equiv (-1)^a\pmod 3) +- l’inverse de (2^a) modulo 3 est ((2^a)^{-1}\equiv (-1)^a\pmod 3) +- donc (U(n)=(3n+1)\cdot (2^a)^{-1}\equiv 1\cdot (-1)^a\pmod 3) + +Conséquence immédiate + +- si (a) est pair, (U(n)\equiv 1\pmod 3) +- si (a) est impair, (U(n)\equiv 2\pmod 3) (donc (U(n)\equiv 5\pmod 6), puisque (U(n)) est impair) + +Cette brique est exactement un passage “arithmétique (\to) analyse” : elle permet de raisonner globalement sur des familles entières d’itérés en termes de parité de valuations, sans calculer explicitement (U(n)\bmod 3) trajectoire par trajectoire. + +## Comment ce lemme transforme les fusions (F) en mécanisme global + +La fusion “préimage courte” utilisée jusqu’ici (cas (a=1)) repose sur le fait suivant : + +Si (y\equiv 5\pmod 6), alors +[ +m=\frac{2y-1}{3}\in \mathbb{N}\ \text{impair},\quad U(m)=y,\quad m0) tels que, pour tout palier (m) assez grand et pour tout résidu (r\in R_m), parmi les (2^L) descendants de (r) au niveau (m+L), au moins une fraction (\theta) est fermée par une clause universelle (D ou F) de profondeur (\le L), stable à ce niveau. + +Une telle affirmation, combinée à la finitude du niveau (m+L), implique une contraction uniforme et donc une extinction en profondeur finie. + +La suite consiste donc à construire, pour chacune des quatre branches (\equiv 7,15,27,31\pmod{32}), une famille de clauses “grossières” (donc à module faible) qui ferme une fraction uniforme des descendants à profondeur bornée. + +## Première avancée analytique : une clause D plus grossière que les feuilles profondes, sur la branche (7 \pmod{32}) + +L’idée est de remplacer une fermeture ultra-fine (par exemple (n\equiv 7\pmod{256})) par une fermeture plus grossière (par exemple (n\equiv 7\pmod{128})), en utilisant des **bornes inférieures** sur des valuations plutôt que des valuations exactement figées. + +### Proposition (descente en 4 pas sur (n\equiv 7\pmod{128})) + +Énoncé +[ +\forall n\ \text{impair},\ n\equiv 7\pmod{128}\Longrightarrow U^{(4)}(n)0) + +## Conclusion de la section précédente + +[ +U^{(4)}(n)=n_40) +- donc (n_40) +- donc (U^{(4)}(n)0) +- donc (U^{(5)}(n)0) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +U^{(4)}(n)=n_40) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +n\equiv 799\pmod{1024}\Longrightarrow \exists m0) + +## Conclusion de la section précédente + +[ +U^{(5)}(n)=n_50) + +## Conclusion de la section précédente + +[ +U^{(6)}(n)=n_60. +] + +## Conclusion de la section précédente + +[ +n_5 \le 243u+91 < n +\quad\Rightarrow\quad +U^{(5)}(n)0. +] + +## Conclusion de la section précédente + +[ +U^{(6)}(n)=n_60. +] + +## Conclusion de la section précédente + +[ +U^{(6)}(n)0. +] + +## Conclusion de la section précédente + +[ +U^{(6)}(n)0. +] +De plus (U(m)=y) car (3m+1=2y) et (v_2(2y)=1). + +Cette clause couvre (2) résidus au palier (2048) (classes (799) et (1823)). + +## Couverture exhaustive au module (2048) pour la branche (31 \pmod{32}) + +### Liste exhaustive des 64 résidus (modulo 2048) + +[ +\begin{aligned} +&31,63,95,127,159,191,223,255,287,319,351,383,415,447,479,511,\ +&543,575,607,639,671,703,735,767,799,831,863,895,927,959,991,1023,\ +&1055,1087,1119,1151,1183,1215,1247,1279,1311,1343,1375,1407,\ +&1439,1471,1503,1535,1567,1599,1631,1663,1695,1727,1759,1791,\ +&1823,1855,1887,1919,1951,1983,2015,2047. +\end{aligned} +] + +### Résidus couverts par les propositions 31-A à 31-E + +Ensemble couvert (exhaustif) : +[ +{95,287,351,575,607,735,799,863,1119,1311,1375,1599,1631,1759,1823,1887}. +] + +Nombre de résidus couverts et fraction (calcul) + +- total : (16) +- total des résidus : (64) +- fraction : (16/64=0.2500000000000000) + +### Complément non couvert (exhaustif) + +Ensemble non couvert (48 résidus) : +[ +\begin{aligned} +&31,63,127,159,191,223,255,319,383,415,447,479,511,543,\ +&639,671,703,767,831,895,927,959,991,1023,1055,1087,\ +&1151,1183,1215,1247,1279,1343,1407,1439,1471,1503,\ +&1535,1567,1663,1695,1727,1791,1855,1919,1951,1983,2015,2047. +\end{aligned} +] + +## Étape analytique suivante + +L’analyse a maintenant une forme canonique : chaque étape produit une expression linéaire en (n) dont la valuation (2)-adique gouverne la suite, et chaque “gain” correspond à une congruence solution unique modulo une puissance de (2) (filtration de type Hensel sur des équations linéaires). Les trois congruences construites ci-dessus sont exactement de cette nature : + +- (243n+211\equiv 0\pmod{256}) (\Rightarrow) descente en 5 pas (classe (95\bmod 256)) +- (729n+665\equiv 0\pmod{1024}) sur la branche (a_4=1) (\Rightarrow) descente en 6 pas (classe (575\bmod 1024)) +- (729n+761\equiv 0\pmod{1024}) sur la branche (a_4=3) (\Rightarrow) descente en 6 pas (classe (735\bmod 1024)) +- (729n+697\equiv 0\pmod{2048}) sur la branche (a_4=2) (\Rightarrow) descente en 6 pas (classe (1311\bmod 2048)) + +Il convient d'appliquer exactement le même principe au résidu restant : écrire l’itéré pertinent sous la forme (\alpha n + \beta), étudier (v_2(\alpha n+\beta)) sur la sous-branche, et lever la congruence au module (2^k) requis pour forcer une valuation suffisante (donc une contraction). Les classes encore ouvertes se concentrent particulièrement dans la sous-branche (n\equiv 63\pmod{64}) (cas (a_4=1)), où le prochain objet linéaire à analyser est (729n+665), puis ses analogues aux étages suivants. + +## Conclusion de la section sur la couverture de la branche 31 au module 2048 + +La démonstration continue exactement dans le sens “analyse” : la branche (31\pmod{32}) est désormais traitée par une filtration (2)-adique explicite, où chaque valuation élevée correspond à une congruence linéaire unique modulo une puissance de (2). Cette approche produit des lemmes de descente uniformes sur des modules courts, et non des fermetures ponctuelles. + +Concrètement, au palier (2048), la branche (31\pmod{32}) comporte (64) résidus, dont (16) sont maintenant fermés par des règles analytiques (descente ou fusion), soit (0.2500000000000000), et le complément (48 résidus) est listé exhaustivement. L’étape suivante consiste à poursuivre la même analyse sur les résidus restants, en forçant des valuations suffisantes aux étages suivants via des congruences du type (\alpha n+\beta\equiv 0\pmod{2^k}), afin d’augmenter, de manière démontrée, la fraction fermée sur cette branche. + +L'analyse sur la branche (31\pmod{32}) repose sur la filtration (2)-adique et le calcul de l'inverse de (243) modulo (2^k), qui transforme l'exploration numérique en une mécanique de précision algébrique. Le passage par l'expression (243n+211) pour déterminer (a_4) permet de scinder les branches de l'arbre de Collatz de manière systématique. La suite de la démonstration consiste à poursuivre les lemmes de descente (31-A à 31-D) et la fusion (31-E), et à préciser l'état de la couverture exhaustive au module (2048). + +## Introduction de la section suivante + +L'analyse peut maintenant se faire avec un objectif analytique explicite sur la branche la plus résistante, (n\equiv 31\pmod{32}) : obtenir, à un palier (2^m) raisonnable, une fraction fermée (par descente en profondeur bornée, ou par fusion inductive) suffisamment grande pour que la contraction du résidu devienne une propriété démontrable et non une tendance observée. +La façon la plus “analyse” d’avancer consiste à : + +passer d’un palier (2048) (où certaines classes ne se ferment pas uniformément) à un palier (8192), où des bornes inférieures sur des valuations deviennent uniformes sur des congruences plus fines, +construire des lemmes uniformes de la forme +[ +n\equiv r\pmod{2^m}\ \Longrightarrow\ U^{(k)}(n)0. +] +Donc (n_80. +] +Donc (n_80. +] +Donc (n_60, +] +donc tout bloc de longueur (8) ayant somme (A=13) est structurellement contractif ((\Delta=2^{A}-3^{8}=1631)). + +### Exemple détaillé : clause (n\equiv 255\pmod{16384}) + +Données calculées (bloc de valuations exactes) + +- horizon : (k=8) +- valuations : ([1,1,1,1,1,1,1,6]) +- somme : (A=13) +- terme additif : (C_8=6305) +- (\Delta=2^{13}-3^{8}=8192-6561=1631>0) +- seuil : + [ + N_0=\left\lfloor\frac{6305}{1631}\right\rfloor+1. + ] + Calcul : +- (1631\cdot 3=4893) +- (6305-4893=1412) +- donc (\left\lfloor 6305/1631\right\rfloor=3) +- (N_0=4) + +Forme affine +[ +U^{(8)}(n)=\frac{6561n+6305}{8192}. +] + +Clause (D) universelle +[ +\forall n\ \text{impair},\ n\equiv 255\pmod{16384},\ n\ge 4 \Rightarrow U^{(8)}(n)3^8). + +## Conclusion de l'analyse du palier 16384 + +La démonstration continue bien “ainsi”, c’est-à-dire en remplaçant progressivement l’énumération de trajectoires par des lemmes universels fondés sur des bornes et des congruences. Deux points nouveaux ont été établis : + +- au palier (8192), la branche (31\pmod{32}) est désormais couverte à hauteur de (74/256=0.2890625000000000) par un ensemble fini de règles analytiques (modules 256, 1024, 2048, 4096) ; +- au palier (16384), l’autorisation de blocs contractifs (A=13) produit 28 nouvelles clauses universelles à horizon (k=8), ce qui porte la couverture de la branche à (176/512=0.3437500000000000). + +L'étape suivante, dans le même style, consiste à itérer cette démarche au palier (32768) (où (A=14) devient stabilisable), puis à formaliser un lemme de contraction uniforme du résidu (par exemple en montrant qu’à profondeur bornée, une fraction strictement positive des descendants de toute classe restante devient contractive). C’est cette borne uniforme qui constitue le passage final de “tendances mesurées” à “preuve complète”. + +Au palier $2^{14}=16384$, la condition $A=13$ sur des blocs de longueur $k=8$ donne une contraction par $2^{13}>3^8$. La clause de descente sur $1759 \pmod{2048}$ et le traitement de $255 \pmod{16384}$ confirment la stabilité de ce mécanisme sur la sous-branche $(31,63,127,255,\dots)$. + +## Introduction de l'analyse du palier 16384 + +La suite consiste à fixer, au niveau du registre (K), ce que change exactement le palier (2^{14}=16384) : il rend stables (au sens “classe congruentielle universelle”) des blocs de longueur (k=8) dont la somme des valuations atteint (A=13). À partir de là, deux prolongements deviennent naturels. + +- Formaliser le cas “sommet” (255), qui appartient à la chaîne (31,63,127,255,\dots) via les préfixes longs de valuations (a_i=1), et expliciter la clause (D) correspondante au palier (16384). +- Introduire une variante de clause de descente fondée sur une **minoration** des valuations (et non sur leur valeur exacte), afin de fermer plus tôt des classes qui n’étaient jusqu’ici certifiables qu’au palier suivant. + +## Bloc contractif au palier (2^{14}) + +Le critère structurel utilisé est le critère standard de contraction d’un bloc exact (ou minoré) : + +- longueur (k=8) +- somme des valuations (A) +- condition de contraction : (2^{A} > 3^{k}) + +Calculs (valeurs exactes) + +- (2^{13} = 8192) +- (3^{8} = 6561) +- (\Delta = 2^{13} - 3^{8} = 8192 - 6561 = 1631) +- conclusion : (\Delta > 0), donc tout bloc de longueur (8) dont la somme des valuations vaut (A=13) est contractif au sens “(U^{(8)}(n) < n)” pour (n) au-dessus d’un seuil explicite. + +Le point spécifique du palier (2^{14}) est la stabilité modulaire : pour un bloc exact de somme (A=13), un module de l’ordre de (2^{A+1}=2^{14}) suffit à figer le mot de valuations et à produire une clause universelle utilisable dans (K). + +## Sommet (255) au palier (2^{14}) : clause (D) explicite + +On travaille avec la dynamique impairs (\to) impairs : +[ +U(n)=\frac{3n+1}{2^{a(n)}},\qquad a(n)=v_2(3n+1). +] + +### Préfixe long (a_i=1) + +Pour toute classe (n\equiv -1\pmod{256}), soit (n\equiv 255\pmod{256}), on a un préfixe de (7) valuations égales à (1). Ceci est un fait 2-adique élémentaire : + +Si (n\equiv -1\pmod{2^{k}}) avec (k\ge 2), alors +[ +3n+1 = 2\cdot(\text{impair}),\quad \Rightarrow a(n)=1,\quad \text{et}\quad U(n)\equiv -1\pmod{2^{k-1}}. +] +En l’appliquant (7) fois à (k=8), on obtient (a_0=\cdots=a_6=1). + +### Numérateur linéaire contrôlant la valuation suivante + +Pour le mot (1^7), on dispose de la forme affine exacte : +[ +U^{(7)}(n)=\frac{3^{7}n + (3^{7}-2^{7})}{2^{7}}=\frac{2187n+2059}{128}. +] +Le pas suivant dépend de : +[ +3U^{(7)}(n)+1=\frac{3^{8}n + (3^{8}-2^{8})}{2^{7}}=\frac{6561n+6305}{128}. +] +Donc +[ +a_7 = v_2(3U^{(7)}(n)+1)=v_2(6561n+6305)-7. +] + +### Cas (n\equiv 255\pmod{16384}) : (a_7=6), donc (A=13) + +On vérifie la valuation du numérateur pour la classe (n\equiv 255\pmod{16384}). + +Calcul au représentant (n=255) + +- (6561\cdot 255 = 1673055) +- (1673055 + 6305 = 1679360) +- (1679360 = 8192\cdot 205), donc (v_2(1679360)=13) +- donc (a_7 = 13 - 7 = 6) + +Somme des valuations du bloc de longueur (8) + +- (a_0+\cdots+a_6 = 7) +- (a_7 = 6) +- (A = 7+6 = 13) + +Terme additif du bloc (récurrence standard) + +- pour le mot (1^7) puis (6), le terme additif en longueur (8) vaut (C_8=6305) + +Seuil de descente + +- (\Delta = 2^{13} - 3^8 = 1631) +- (N_0 = \left\lfloor \dfrac{C_8}{\Delta}\right\rfloor + 1) + +Calcul détaillé + +- (1631\cdot 3 = 4893) +- (6305 - 4893 = 1412) +- (\left\lfloor 6305/1631\right\rfloor = 3) +- (N_0 = 3+1 = 4) + +Clause (D) correspondante +[ +\forall n\equiv 255\pmod{16384},\quad n\ge 4 \Rightarrow U^{(8)}(n) < n. +] + +Dans le registre calculé au palier (m=14), cette clause apparaît bien sous la forme “horizon (8), (A=13), (N=4)” pour le résidu (255). + +## Dédoublement au palier (2^{14}) : (255) et (8447) + +Le mécanisme clé des “sommets” est le mécanisme de dédoublement : un résidu qui force une valuation donnée au palier (2^{m}) se scinde en deux résidus au palier (2^{m+1}), l’un conservant typiquement la valuation minimale, l’autre gagnant un bit de valuation (ou plus). + +Ici, la condition “numérateur divisible par (2^{13})” définit une classe modulo (2^{13}), qui se dédouble modulo (2^{14}) : + +- (n\equiv 255\pmod{8192}) a deux relevés modulo (16384) : (255) et (8447). + +Calcul des valuations du numérateur (6561n+6305) + +- pour (n=255) : (v_2(6561n+6305)=13) donc (a_7=6) +- pour (n=8447) : (6561\cdot 8447 + 6305 = 55427072), et (v_2(55427072)=14), donc (a_7=7) + +Conséquence arithmétique immédiate + +- sur la classe (n\equiv 8447\pmod{16384}), on a uniformément (v_2(6561n+6305)\ge 14), donc (a_7\ge 7) +- les sept premières valuations restent (a_0=\cdots=a_6=1) car (8447\equiv 255\pmod{256}) + +Ce point explique un fait observé dans les paliers : au module (2^{14}), (8447) n’est pas certifié par une clause (D) “exacte” de somme (A) figée, mais au module (2^{15}) l’un des deux enfants se ferme (ici (8447) est couvert au palier (m=15), tandis que (8447+16384=24831) reste non couvert). + +## Clause de descente par minoration : fermer (8447) dès (2^{14}) + +Le passage “arithmétique (\to) analyse” peut être rendu explicite ici : il n’est pas nécessaire de figer exactement (a_7) dès lors qu’une **borne inférieure** suffit à conclure (U^{(8)}(n)3^8) et que la valuation (a_7=6) est figée sur cette classe. +- Le dédoublement (255 \mapsto 255,8447) met en évidence une limite de la certification “exacte” : (8447\pmod{16384}) a une valuation (a_7\ge 7) mais pas figée au bit près, ce qui explique sa fermeture plus tardive dans le registre actuel. Une clause de descente par **minoration** permet de fermer (8447) dès (m=14) via une inégalité directe. + +Si la stratégie vise une extinction en profondeur finie par contraction de l’arbre, l’indicateur à suivre n’est pas la couverture globale mais le coefficient de survie (q_m=|R_{m+1}|/(2|R_m|)), dont le seuil structurant est (0.5). L’étape suivante consiste donc à enrichir le registre (K) par des clauses “(D) minorées” et à mesurer l’effet de ces clauses sur (q_m) dès les paliers (m=14) et (m=15). + +L’introduction des clauses de descente par minoration remplace l’exigence de valuation exacte par une borne inférieure suffisante pour conclure à la contraction. Cette extension de grammaire permet de fermer plus tôt des classes comme $8447 \pmod{16384}$ et fournit un cadre de suivi par le coefficient de survie $q_m$. + +## Introduction aux clauses de descente par minoration + +L’étape suivante consiste à formaliser un ajout au registre (K) : les clauses de descente fondées non plus sur un mot de valuations **exact**, mais sur un mot de valuations **minoré** (bornes inférieures). C’est le passage de l’arithmétique “calculatoire” vers l’analyse : une inégalité uniforme remplace une stabilisation fine, et des classes auparavant “bloquées” par l’exigence d’exactitude deviennent certifiables à un palier plus bas. + +Cette méthode s’applique aux “sommets” (31,63,127,255,\dots), où le préfixe (a_i=1) est long : l’exactitude de la valuation suivante est coûteuse à stabiliser, alors qu’une simple minoration suffit souvent à conclure (U^{(k)}(n)3^k), un seuil explicite est : +[ +N_0=\left\lfloor \frac{C_k}{2^{\underline A}-3^k}\right\rfloor +1, +] +et la clause universelle est : +[ +\forall n,\ C(n)\ \wedge\ n\ge N_0 \Rightarrow U^{(k)}(n)3^8) +- obtention d’une clause minorée stable au palier (2^s) + +La production de ces familles est finie à chaque palier (car l’espace des résidus modulo (2^m) est fini), et chaque clause obtenue est auditable par un calcul de seuil. + +Recalcul des paliers avec la grammaire enrichie +Les coefficients (q_m) actuels (autour de (0.88) à (0.91)) décrivent la grammaire sans clauses minorées. La mesure de l’effet réel exige un recalcul des ensembles (R_m) avec la grammaire enrichie (exact + minoré). Ce recalcul est mécanique : il ne change pas la structure mathématique, seulement l’ensemble des règles admissibles. + +## Conclusion sur les clauses de descente par minoration + +Les clauses de descente minorées ferment des classes non reconnues par la grammaire exacte lorsque la valuation augmente sur un enfant du raffinement. La chaîne henselienne associée au sommet 255 donne un exemple explicite de ce mécanisme. + +La prochaine étape, dans le même cadre, consiste à industrialiser ce schéma sur plusieurs familles de numérateurs linéaires (\alpha n+\beta) (toujours à longueur (k=8) au palier (2^{14})), puis à recalculer (q_m) avec la grammaire enrichie. L’objectif mathématique reste inchangé : obtenir, à partir d’un certain rang, une borne uniforme (q_m\le q<0.5), qui implique l’extinction finie du résidu et donc la fermeture complète de l’arbre. + +La distinction entre $A(n)$ (valeur observée) et $\underline{A}$ (minorant) formalise une condition suffisante de descente. L’analyse par branches confirme la concentration du résidu sur $31 \pmod{32}$ et fixe comme objectif la réduction de $q_m$ en dessous de $0.5$ par complétion systématique des cas « un seul enfant survivant ». + +## Introduction à la justification du seuil de survie 0.5 + +Non, (0.5) n’est pas une borne arbitraire dans le raisonnement tel qu’il a été formulé. Elle apparaît comme un seuil structurel dès qu’il est question de **contraction d’un arbre binaire** : à chaque palier (m\to m+1), chaque classe résiduelle a exactement **deux enfants**. La valeur (0.5) est le point où “en moyenne, au moins un enfant sur deux est éliminé” ; en-dessous, l’extinction en profondeur finie devient déductible par un argument purement combinatoire sur les cardinaux. + +En revanche, (0.5) n’est pas le seul seuil possible : c’est le seuil associé au cas le plus simple “on regarde un pas de raffinement à la fois”. En prenant des blocs de profondeur (L>1), le seuil se généralise en (2^{-L}) sur les (2^{L}) descendants. On peut donc obtenir un argument d’extinction avec une borne plus faible par niveau, à condition de raisonner sur plusieurs niveaux à la fois. + +## Pourquoi (0.5) apparaît naturellement + +On définit + +- (R_m) : ensemble des classes (résidus impairs modulo (2^m)) non couvertes par le registre (K), +- (S_m = 2|R_m|) : nombre total de “descendants immédiats” potentiels (deux enfants par classe) au niveau (m+1), +- coefficient de survie à un pas : + [ + q_m=\frac{|R_{m+1}|}{2|R_m|}. + ] + +Interprétation exacte + +- (q_m) est la fraction des enfants qui restent non couverts après raffinement d’un niveau. + +Argument combinatoire standard +Si, à partir d’un certain rang (m_0), on a une borne uniforme +[ +q_m \le q < 0.5\quad \text{pour tout } m\ge m_0, +] +alors +[ +|R_{m+1}| \le 2q,|R_m|. +] +En itérant (t) fois : +[ +|R_{m_0+t}| \le (2q)^t,|R_{m_0}|. +] +Or (2q<1), donc ((2q)^t \to 0). Comme (|R_{m_0+t}|) est un entier, il existe un (t) tel que (|R_{m_0+t}|<1), donc (|R_{m_0+t}|=0). Ainsi (R_{m_0+t}=\varnothing), et l’arbre est fermé. + +C’est là que (0.5) est non arbitraire : c’est exactement la condition (2q<1) imposée par le facteur “2 enfants”. + +## Généralisation non arbitraire : profondeur (L) + +Au lieu de regarder la survie sur un pas, on peut regrouper (L) pas. + +Chaque classe au niveau (m) a (2^L) descendants au niveau (m+L). On définit alors +[ +q_m^{(L)}=\frac{|R_{m+L}|}{2^L|R_m|}. +] +Si l’on prouve une borne uniforme +[ +q_m^{(L)} \le q^{(L)} < 2^{-L}, +] +alors +[ +|R_{m+L}| \le 2^L q^{(L)} |R_m| +] +et la condition d’extinction devient +[ +2^L q^{(L)} < 1. +] + +Donc le seuil (0.5) n’est que le cas particulier (L=1). Le “vrai” seuil structural est : +[ +q^{(L)} < 2^{-L}. +] + +Cela peut être plus réaliste : il est souvent plus facile de prouver qu’à profondeur (L), une fraction non négligeable des (2^L) descendants se ferme, même si à chaque pas isolé la contraction n’est pas forte. + +## Autre raffinement : extinction sans borne uniforme stricte + +Même sans un (q<0.5) uniforme, on peut obtenir extinction si l’on contrôle le produit des facteurs de survie : + +Si +[ +\prod_{i=0}^{t-1} (2q_{m_0+i}) \to 0, +] +alors (|R_{m_0+t}|\to 0) et donc extinction finie. Cela demande une analyse plus fine des (q_m) variables, mais le seuil (0.5) n’est alors plus le bon objet : c’est le produit des facteurs (2q_m) qui compte. + +## Conclusion sur le seuil de survie et l'extinction + +(0.5) n’est pas une borne arbitraire : c’est le seuil combinatoire naturel lorsque l’on raisonne niveau par niveau sur un arbre binaire, parce que chaque classe engendre deux enfants. En dessous de (0.5) de survie des enfants, on obtient mécaniquement une contraction exponentielle du résidu et donc l’extinction en profondeur finie. + +Ce seuil se généralise de manière non arbitraire à (2^{-L}) si l’on raisonne sur (L) niveaux à la fois, et il peut aussi être remplacé par une condition sur le produit des facteurs de survie si l’on accepte des bornes variables selon (m). + +Le seuil $0.5$ est la borne combinatoire naturelle pour un arbre binaire niveau par niveau. La généralisation à une profondeur $L$ conduit à une borne $2^{-L}$, et une variante par produit des facteurs $(2q_m)$ permet d’agréger des paliers hétérogènes sous une condition unique d’extinction. + +## Introduction aux critères de fusion contractante + +La recherche de la démonstration peut reprendre à partir d’un point précis : le seuil (0{,}5) concernait un argument combinatoire simple “niveau par niveau” sur un arbre binaire. Le travail actuel vise à rendre cet argument applicable en diminuant, de manière démontrée, la survie du résidu (R_m). Le moyen le plus direct n’est pas d’augmenter indéfiniment (m), mais d’élargir la grammaire de clauses pour que beaucoup plus de descendants deviennent fermables à profondeur bornée. + +L’étape la plus prometteuse, dans la logique “arithmétique (\to) analyse”, est l’introduction systématique de **clauses de fusion contractantes** (F) fondées sur une inégalité globale, qui demande moins de valuation cumulée qu’une clause de descente (D) pure. C’est une amélioration structurale : elle transforme des blocs “presque contractifs” (insuffisants pour (U^{(k)}(n) 2C_t - 2^A. +] + +Définir le “résidu structurel de fusion” +[ +\Delta_F = 3\cdot 2^A - 2\cdot 3^t. +] + +Si (\Delta_F>0), un seuil explicite est : + +- si (2C_t-2^A\le 0), alors (m3^t) (descente D). Il suffit d’être “assez bon” pour que (\Delta_F>0), c’est-à-dire : +[ +3\cdot 2^A > 2\cdot 3^t. +] +C’est strictement plus faible que (2^A>3^t), donc cela ouvre des fermetures nouvelles. + +## Comparaison des seuils D et F sur les longueurs utiles + +Les seuils suivants sont des conséquences purement arithmétiques, calculées en comparant des puissances de 2 et de 3. + +Clause D (descente) à longueur (t) +Condition structurelle : (2^A>3^t). + +Clause F (fusion contractante avec (a=1)) à longueur (t) +Condition structurelle : (3\cdot 2^A>2\cdot 3^t). + +### Cas (t=6) + +- (3^6=729) +- D : (2^A>729) implique (A\ge 10) car (2^9=512) et (2^{10}=1024) +- F : (3\cdot 2^A>1458) équivaut à (2^A>486), donc (A\ge 9) car (2^8=256) et (2^9=512) + +Gain structurel +Une fusion contractante peut réussir avec une somme (A=9) là où une descente exige (A\ge 10). + +### Cas (t=7) + +- (3^7=2187) +- D : (2^A>2187) implique (A\ge 12) car (2^{11}=2048) et (2^{12}=4096) +- F : (3\cdot 2^A>4374) équivaut à (2^A>1458), donc (A\ge 11) car (2^{10}=1024) et (2^{11}=2048) + +Gain structurel +Une fusion contractante peut réussir avec (A=11) là où la descente exige (A\ge 12). + +### Cas (t=8) + +- (3^8=6561) +- D : (2^A>6561) implique (A\ge 13) car (2^{12}=4096) et (2^{13}=8192) +- F : (3\cdot 2^A>13122) équivaut à (2^A>4374), donc (A\ge 13) car (2^{12}=4096) et (2^{13}=8192) + +## Conclusion de l'étape + +À longueur (8), la fusion (a=1) ne relâche pas le seuil. L’intérêt analytique de F se concentre donc naturellement sur les longueurs (t=6) et (t=7), où un gain net d’une unité de somme (A) est obtenu. + +C’est un point stratégique fort : à paliers fixes, beaucoup de classes qui ne satisfont pas une clause D à (t=6) ou (t=7) peuvent satisfaire une clause F contractante, ce qui augmente la fermeture sans augmenter le module. + +## Condition (y\equiv 2\pmod 3) sans heuristique + +Une condition clé de la fusion (a=1) est (y\equiv 2\pmod 3). Elle peut être obtenue de façon déterministe à partir de la parité de la valuation précédente : + +Pour tout impair (x), +[ +U(x)=\frac{3x+1}{2^{a(x)}}\equiv (2^{a(x)})^{-1}\pmod 3. +] +Comme (2\equiv -1\pmod 3), on a ((2^{a})^{-1}\equiv (-1)^a\pmod 3). Donc +[ +U(x)\equiv (-1)^{a(x)}\pmod 3. +] + +Conséquence immédiate + +- si (a(x)) est impair, (U(x)\equiv 2\pmod 3) +- si (a(x)) est pair, (U(x)\equiv 1\pmod 3) + +Ainsi, dans un bloc de longueur (t), la condition (y=n_t\equiv 2\pmod 3) est assurée dès que la dernière valuation (a_{t-1}) est impaire. Dans les branches difficiles, les valuations impaires (1,3,5,…) sont fréquentes, et ce critère est purement arithmétique, sans hypothèse statistique. + +## Reprise du programme de preuve à partir de cette brique + +Le programme analytique se reformule en deux obligations, chacune standard. + +### Obligation locale + +Pour tout résidu dur (dans ({7,15,27,31}\pmod{32})), montrer qu’à profondeur bornée, il existe un bloc de longueur (t\in{6,7}) tel que : + +- la somme des valuations satisfait (A\ge 9) si (t=6) ou (A\ge 11) si (t=7), +- la dernière valuation du bloc est impaire (garantissant (y\equiv 2\pmod 3)), + +ce qui permet d’appliquer une clause F contractante avec un seuil explicite via (\Delta_F>0). + +### Obligation globale + +Transformer cette fermeture locale en contraction uniforme du résidu : autrement dit, prouver qu’un pourcentage uniformément minoré de descendants à profondeur (L) devient fermable par D ou par F. C’est l’endroit où l’analyse se distingue nettement de la vérification : il ne s’agit plus de lister des résidus, mais de prouver une borne de survie. + +## Prochaine étape concrète sur la branche (31\pmod{32}) + +La branche (31\pmod{32}) possède un préfixe universel (1^4). À partir de ce préfixe, les objets linéaires qui gouvernent les valuations suivantes ont déjà été identifiés (exemple (243n+211)). La suite “recherche” consiste à : + +- classifier, sur (n\equiv 31\pmod{32}), les possibilités de (a_4) selon (n\bmod 2^u) pour un (u) modéré, +- en déduire des minorations systématiques sur (A) à longueur (t=6) et (t=7), +- isoler les sous-classes où la dernière valuation est impaire (condition (y\equiv 2\pmod 3)), +- appliquer la clause F contractante dès que (\Delta_F>0), c’est-à-dire dès que (A\ge 9) (pour (t=6)) ou (A\ge 11) (pour (t=7)). + +Ce point est notable : l’analyse n’exige pas d’atteindre (A=13) à longueur (8) pour fermer. Elle peut fermer plus tôt par fusion, avec des exigences plus faibles sur (A). + +## Conclusion sur la fusion contractante + +La recherche de la démonstration peut reprendre avec un levier analytique net et non arbitraire : la fusion contractante (a=1) introduit un seuil structurel (\Delta_F=3\cdot 2^A-2\cdot 3^t), qui est plus faible que le seuil de descente (\Delta_D=2^A-3^t) pour (t=6) et (t=7). Cela ouvre une zone nouvelle de fermetures universelles à paliers constants, et c’est précisément ce qui permet d’espérer une baisse réelle du coefficient de survie (q_m) sans augmenter indéfiniment le module. + +L'étape suivante consiste donc à reconstruire, sur les branches dures (en priorité (31\pmod{32})), des familles de clauses F contractantes à (t=6) et (t=7) en exploitant le critère déterministe (U(x)\equiv (-1)^{a(x)}\pmod 3), puis à mesurer l’effet sur (q_m) au palier (2^{14}) et (2^{15}) une fois la grammaire enrichie. + +Les clauses de fusion contractante (F) abaissent le seuil de valuations requis par rapport aux clauses (D) pures (par exemple $A\ge 9$ au lieu de $A\ge 10$ à $t=6$), ce qui élargit l’ensemble des classes fermables à palier fixé et accélère la décroissance de $q_m$. + +## Introduction à l'analyse des sous-branches dominantes + +La recherche de la démonstration peut reprendre au point où la grammaire des règles devient réellement “analytique” : au lieu d’exiger systématiquement une contraction directe (U^{(k)}(n) 2C_7-2^A. +] + +Définition du résidu structurel de fusion +[ +\Delta_F = 3\cdot 2^A - 2\cdot 3^7. +] + +Dans le cas minimal recherché (A=11) (celui où la fusion devient possible alors que la descente (D) à (t=7) échoue encore), on a : + +Calculs exacts + +- (2^{11}=2048) +- (3^7=2187) +- (2\cdot 3^7=4374) +- (3\cdot 2^{11}=6144) +- (\Delta_F = 6144-4374 = 1770) + +## Conclusion de l'étape + +- (\Delta_F>0), donc un seuil explicite existe : + [ + N_F=\left\lfloor\frac{2C_7-2^{11}}{1770}\right\rfloor+1\quad \text{si }2C_7-2^{11}>0,\quad \text{sinon }N_F=1. + ] + +Ce point est central : pour (t=7), la fusion devient structurellement disponible dès (A=11), tandis que la descente directe exige (A\ge 12) (car (2^{11}=2048<2187<4096=2^{12})). Le cas (A=11) est donc exactement la zone “analyse” ajoutée par (F). + +## Ensemble complet des fusions minimales (t=7, A=11) sur la branche (31 \pmod{32}) + +Sur le palier modulo (2^{A+1}=2^{12}=4096), les mots de valuations de somme (A=11) sont stables au sens standard, car toutes les congruences nécessaires à déterminer les valuations jusqu’au 7e pas ne dépassent pas (2^{12}). Dans la branche (n\equiv 31\pmod{32}), la recherche exhaustive à ce module donne exactement quatre classes congruentielles où : + +- les sept valuations somment à (A=11) +- la dernière valuation (a_6) est impaire et (\ge 3) +- la fusion courte (a=1) produit un (m0). + +## Fusion contractante à longueur 6 : le cas minimal (A=9) sur (31\pmod{32}) + +À (t=6), la fusion courte (a=1) devient possible dès (A=9), alors que la descente (D) exige (A\ge 10). + +Calculs exacts + +- (3^6=729) +- (2\cdot 3^6=1458) +- condition de fusion : (\Delta_F = 3\cdot 2^A - 2\cdot 3^6>0) +- pour (A=9) : + + - (2^9=512) + - (3\cdot 2^9=1536) + - (\Delta_F=1536-1458=78>0) + +Sur la branche (31\pmod{32}) au module (1024) (stabilité (2^{A+1}=2^{10})), il existe une classe congruentielle minimale réalisant (A=9) avec dernière valuation impaire (\ge 3), ce qui donne une fusion non triviale (la préimage courte n’est pas simplement l’état précédent). + +### Clause F6-799 + +Données + +- congruence : (n\equiv 799\pmod{1024}) +- valuations : ((1,1,1,1,2,3)) +- somme : (A=9) +- terme additif : (C_6=697) + +Itéré +[ +y=U^{(6)}(n)=\frac{729n+697}{512}. +] + +Préimage courte +[ +m=\frac{2y-1}{3} +=\frac{2(729n+697)-512}{3\cdot 512} +=\frac{1458n+882}{1536}. +] + +Simplification (division par 6) + +- (1458/6=243) +- (882/6=147) +- (1536/6=256) + +Donc +[ +m=\frac{243n+147}{256}. +] + +Seuil contractant + +- (2C_6-2^9=2\cdot 697-512=1394-512=882) +- (N_F=\left\lfloor 882/78\right\rfloor+1) + +Calcul + +- (78\cdot 11=858) +- (882-858=24) +- (\left\lfloor 882/78\right\rfloor=11) +- (N_F=12) + +## Conclusion de l'étape + +[ +\forall n\equiv 799\pmod{1024},\ n\ge 12 +\Longrightarrow +\exists m3^k) devient vrai à un palier donné +- des classes “fusionnantes” au moment où (3\cdot 2^A>2\cdot 3^k) devient vrai, avec une valuation finale impaire + +Les quatre clauses F7 minimales au module (4096) sont un exemple particulièrement propre : elles correspondent à la frontière exacte (A=11) où la descente échoue encore à (t=7) mais la fusion réussit déjà. + +## Conclusion sur l'analyse des sous-branches dominantes + +La recherche progresse sur un axe désormais net et auditable. + +- À longueur (t=7), l’ensemble complet des fusions minimales (A=11) sur la branche (31\pmod{32}) est explicité : il s’agit exactement des quatre classes + [ + n\equiv 543,\ 2015,\ 2431,\ 3903\pmod{4096}, + ] + chacune donnant une réduction universelle + [ + U^{(7)}(n)=U(m),\quad m0) + +Définition +[ +y=U^{(7)}(n). +] +Préimage courte +[ +m=\frac{2y-1}{3}. +] +La condition (m0. +] +La stabilité modulaire requise est (2^{A+1}=2^{13}=8192), exactement ce palier. + +Il existe alors des classes modulo (8192) où la descente directe en 7 pas est universelle. L’ensemble des classes où la somme vaut exactement (A=12) (cas minimal de descente à longueur 7) est fini, explicite, et constitue un nouveau réservoir de fermeture sur la branche (31\pmod{32}). + +Liste exhaustive des 21 résidus (n\bmod 8192) de la branche (31\pmod{32}) ayant (A=12) sur les 7 premiers pas + +[ +\begin{aligned} +&383,\ 607,\ 1087,\ 1311,\ 1855,\ 2143,\ 2783,\ 2975,\ 3423,\ 4383,\ 4671,\ +&5727,\ 5855,\ 5919,\ 6335,\ 6495,\ 6687,\ 7007,\ 7391,\ 7743,\ 8159. +\end{aligned} +] + +Sur chacune, il existe un seuil (N_0) très faible (entre (2) et (4) dans ces cas minimaux) tel que : +[ +\forall n\equiv r\pmod{8192},\ n\ge N_0 \Rightarrow U^{(7)}(n)N^*) satisfait au moins une condition (C(n)) d’une clause de (K), +- réduction : chaque clause applicable produit un entier strictement plus petit (descente directe ou fusion vers (f(n)3^6=729), donc (A\ge 10) (car (2^9=512<729<1024=2^{10})) +- fusion (F) exige (3\cdot 2^A>2\cdot 3^6=1458), donc (2^A>486), donc (A\ge 9) + +Longueur (t=7) + +- descente (D) exige (2^A>3^7=2187), donc (A\ge 12) (car (2^{11}=2048<2187<4096=2^{12})) +- fusion (F) exige (3\cdot 2^A>2\cdot 3^7=4374), donc (2^A>1458), donc (A\ge 11) + +Cette dissymétrie est le “gain analytique” : elle autorise des règles universelles sur des classes où la somme des valuations n’atteint pas encore le seuil de descente, mais atteint le seuil de fusion. Cela comble exactement les zones de résidu qui survivent aux règles (D) seules. + +## Fin de preuve par certificat fini au palier (2^M) + +L’option la plus standard dans ce cadre est de viser un palier (M) où la couverture devient totale. + +Objectif +Trouver un (M) et un ensemble fini de clauses (D exactes, D minorées, F à (t=6) et (t=7), éventuellement F à (a=2) pour le cas (y\equiv 1\pmod 3)) tels que : + +- pour tout résidu impair (r\bmod 2^M), la classe (n\equiv r\pmod{2^M}) est couverte par au moins une clause, +- chaque clause fournit une réduction stricte (descente ou fusion vers plus petit), +- un seuil global (N^*=\max N) est calculable. + +Schéma complet + +Définition de l’espace fini à couvrir + +- ensemble (S_M) des résidus impairs modulo (2^M), cardinal (2^{M-1}). + +Définition du test de fermeture d’une classe +Une classe (r\bmod 2^M) est déclarée fermée si l’une des assertions suivantes est démontrée : + +- D exacte : existence d’un bloc de valuations exactes stable sur (r) donnant (\Delta=2^{A}-3^k>0) et un seuil (N_0) explicite +- D minorée : existence d’un bloc avec minorations (\underline A) tel que ((3^k n+C_k)/2^{\underline A}N^*), l’appartenance à un résidu (r\bmod 2^M) déclenche une clause, donc une réduction stricte, donc descente bien fondée +- la vérification finie jusqu’à (N^*) conclut. + +Ce schéma est strictement standard : la partie “infinie” est traitée par couverture congruentielle, la partie “finie” par vérification bornée. + +## Tâches restantes, formulées comme lemmes à écrire + +La recherche est suffisamment avancée pour que les tâches finales soient formulables en une liste de lemmes précis. + +Lemme de complétude des fusions minimales au module (4096) + +- classification exhaustive des classes (31\pmod{32}) où (t=7) et (A=11) avec fusion contractante, dérivée systématiquement par les formes linéaires en (t) et l’unicité modulo (2^s) +- preuve que ces classes sont bien stables au module (2^{A+1}=4096) + +Lemme de complétude des descentes minimales au module (8192) + +- classification exhaustive des classes (31\pmod{32}) où (t=7) et (A=12) (descente), stable au module (8192) + +Lemme de fermeture par minorations au module (16384) + +- systématisation de la fermeture des “frères” des classes exactes, par le principe : si la valuation du numérateur linéaire est plus grande (donc (\underline A) plus grand), alors la descente minorée devient immédiate +- cas exemplaire : la chaîne henselienne associée à (255) (et plus généralement aux sommets) + +Lemme de couverture totale à un palier (M) + +- prouver que l’union des familles précédentes (et de leurs analogues sur (7,15,27\pmod{32})) ferme l’ensemble (S_M) + +C’est ce dernier lemme qui transforme la stratégie en preuve : il ne s’agit plus d’une tendance sur des paliers, mais d’une égalité “ensemble couvert = ensemble total” à un module fini. + +## Conclusion sur l'analyse de la dissymétrie des seuils + +La recherche peut reprendre avec une cible mathématique entièrement claire : construire un certificat fini (K) à un palier (2^M) (naturellement (M\ge 14), puisque (k=8,A=13) devient stable à (2^{14})), en combinant quatre familles de règles déjà identifiées comme décisives : + +- D exactes là où (2^A>3^k) est rapidement atteint +- D minorées pour fermer les classes où la valuation augmente mais n’est pas figée exactement +- F contractantes à (t=6) et (t=7) pour exploiter le seuil plus faible (A\ge 9) et (A\ge 11) +- éventuellement F avec (a=2) pour les cas (y\equiv 1\pmod 3) + +Le chaînon manquant est identifié (fusion), et l’étape restante est de prouver que la toile de règles recouvre tout (S_M) pour un (M) fini, puis de conclure par descente bien fondée et vérification finie sous (N^*). + +Le registre $(K)$ est formulé comme un ensemble fini de clauses universelles sur classes congruentielles. La dissymétrie des seuils ($A\ge 12$ pour (D), $A\ge 11$ pour (F) à $t=7$) fournit le mécanisme central de réduction sur les classes résistantes et motive le lemme de fermeture par minorations. + +## Introduction de la section sur la couverture universelle + +Une preuve complète, dans la logique analytique déjà mise en place, consiste à établir un énoncé de couverture universelle : pour tout impair assez grand, au moins une règle du registre (K) s’applique et produit une réduction stricte (descente) ou une réduction inductive stricte (fusion vers un entier plus petit). À partir de là, la terminaison suit par descente bien fondée. + +Avant d’entrer dans la partie formelle, un point de rigueur sur le contexte : dans les sources de référence grand public et dans les synthèses académiques de référence, la conjecture de Collatz reste présentée comme non résolue à ce jour, malgré de nombreuses prépublications revendiquant une preuve. ([Wikipédia][1]) +Le travail de cette section se place explicitement dans une démarche de preuve : poser les lemmes standard, exhiber des familles de clauses (D) et (F) démontrées, puis isoler l’ultime lemme de couverture à établir pour clôturer. + +## Cadre formel de preuve + +On travaille sur la version “impairs (\to) impairs” (Syracuse accélérée). Pour (n) impair positif : + +Paramètres + +- (a(n)=v_2(3n+1)\ge 1) +- (U(n)=\dfrac{3n+1}{2^{a(n)}}), qui est encore impair. + +Conjecture (équivalente) +[ +\forall n\in 2\mathbb{N}+1,\ \exists k\ge 0,\ U^{(k)}(n)=1. +] + +## Lemme 1 : forme affine de (U^{(k)}) le long d’un mot de valuations + +Soit (n) impair et (a_0,\dots,a_{k-1}) la suite des valuations rencontrées le long de la trajectoire (n_0=n), (n_{i+1}=U(n_i)). Poser +[ +A_0=0,\qquad A_{i+1}=A_i+a_i,\qquad A=A_k=\sum_{i=0}^{k-1}a_i. +] +Définir (C_k) par la récurrence +[ +C_0=0,\qquad C_{i+1}=3C_i+2^{A_i}. +] +Alors on a l’identité exacte +[ +U^{(k)}(n)=\frac{3^k n + C_k}{2^A}. +] + +Preuve (induction, avec calculs explicites) + +- Initialisation (k=0) : (U^{(0)}(n)=n=\dfrac{1\cdot n+0}{1}). +- Hérédité : supposer (n_k=\dfrac{3^k n + C_k}{2^{A_k}}). + Alors + [ + 3n_k+1=\frac{3^{k+1}n+3C_k+2^{A_k}}{2^{A_k}}. + ] + En divisant par (2^{a_k}) (où (a_k=v_2(3n_k+1))) on obtient + [ + n_{k+1}=U(n_k)=\frac{3^{k+1}n+(3C_k+2^{A_k})}{2^{A_k+a_k}} + =\frac{3^{k+1}n+C_{k+1}}{2^{A_{k+1}}}. + ] + Ce qui achève. + +## Lemme 2 : clause de descente (D) et seuil explicite + +On veut (U^{(k)}(n)0), alors un seuil suffisant est + [ + N_0=\left\lfloor\frac{C_k}{\Delta_D}\right\rfloor+1, + ] + et l’on a + [ + \forall n\ge N_0,\ U^{(k)}(n) 2C_k-2^A. +] + +Paramètres + +- (\Delta_F = 3\cdot 2^A-2\cdot 3^k) + +Seuil + +- si (\Delta_F\le 0), pas de garantie universelle de réduction. +- si (\Delta_F>0), poser + [ + N_F= + \begin{cases} + 1 & \text{si }2C_k-2^A\le 0,[4pt] + \left\lfloor\dfrac{2C_k-2^A}{\Delta_F}\right\rfloor+1 & \text{sinon.} + \end{cases} + ] + Alors + [ + \forall n\ge N_F,\ \exists m0. +] + +On peut donc fermer des classes où la somme des valuations vaut exactement (11), même si aucune clause (D) n’est possible à cette longueur. + +Énoncé (classification finie) +Sur les résidus impairs (r) modulo (4096) tels que (r\equiv 31\pmod{32}), les classes qui satisfont simultanément : + +- longueur (k=7), +- somme (A=11), +- dernière valuation impaire (condition suffisante pour (U^{(7)}(n)\equiv 2\pmod 3), donc fusion courte possible), + +sont exactement les neuf résidus suivants : +[ +351,\ 543,\ 1599,\ 2015,\ 2335,\ 2431,\ 2655,\ 3807,\ 3903\pmod{4096}. +] + +Pour chacun, on obtient une réduction explicite +[ +\forall n\equiv r\pmod{4096},\ n\ge N_F(r)\ \Rightarrow\ \exists m0. +] + +Énoncé (classification finie) +Sur les résidus (r) modulo (8192) tels que (r\equiv 31\pmod{32}), les classes qui satisfont (A=12) sur les 7 premiers pas (donc clause (D) minimale à longueur 7) sont exactement les 21 résidus : +[ +\begin{aligned} +&383,\ 607,\ 1087,\ 1311,\ 1855,\ 2143,\ 2783,\ 2975,\ 3423,\ 4383,\ 4671,\ +&5727,\ 5855,\ 5919,\ 6335,\ 6495,\ 6687,\ 7007,\ 7391,\ 7743,\ 8159 \pmod{8192}. +\end{aligned} +] + +Pour chacun, le seuil (N_0=\left\lfloor C_7/1909\right\rfloor+1) est compris entre (2) et (4) (maximum (4)). La descente est donc universelle sur toute la classe (les représentants minimaux sont déjà bien au-dessus de (4)). + +## Où en est exactement la preuve globale après ces deux blocs + +À ce stade, une partie du registre (K) est déjà démontrée de façon entièrement standard, et surtout sous une forme finie et auditable : + +- une famille finie de fusions minimales ((k=7,A=11)) au module (4096) sur la branche (31\pmod{32}) (les 9 classes ci-dessus) ; +- une famille finie de descentes minimales ((k=7,A=12)) au module (8192) sur la branche (31\pmod{32}) (les 21 classes ci-dessus) ; +- des descentes plus courtes déjà établies dans les échanges précédents (par exemple (n\equiv 95\pmod{256}\Rightarrow U^{(5)}(n)0. +] + +Seuil : +[ +C_3 = 3(3\cdot 0+2^0)+2^1 = 3(1)+2 = 5 \quad\text{(calcul direct sur }[1,1,12]\text{)} +] +[ +N_0=\left\lfloor\frac{C_3}{\Delta_D}\right\rfloor+1=1. +] + +Conclusion : +[ +\forall n\equiv 4247\pmod{2^{15}},\ U^{(3)}(n) 3^k +\quad\text{et}\quad +\frac{3^k n + C_k}{2^{\underline A}}3^k), un seuil suffisant est +[ +N_0=\left\lfloor\frac{C_k}{2^{\underline A}-3^k}\right\rfloor+1. +] + +### Application aux cas « one » au palier (2^{15}) + +Un parent « one » signifie : deux enfants au palier (2^{15}), l’un est fermé par une clause exacte au palier (2^{15}), l’autre ne l’est pas. + +Le fait crucial est que, dans tous les cas « one », les deux enfants partagent un préfixe de valuations, et la **première divergence** apparaît à un rang (j) (entre 3 et 8), où l’enfant survivant a une valuation plus grande. Cela implique : + +- les constantes (C_k) associées à l’itéré (U^{(k)}) sont les mêmes sur les deux enfants tant que la divergence n’a pas encore été atteinte (propriété de la récurrence (C_{i+1}=3C_i+2^{A_i}), qui dépend des sommes précédentes), +- l’enfant survivant possède alors une valuation (2)-adique plus élevée du numérateur affine (3^k n + C_k), donc une somme (A(n)) plus grande, +- en particulier, pour le palier (2^{15}), on obtient uniformément (\underline A=15) sur chaque enfant « one » (c’est exactement la propriété “numérateur divisible par (2^{15})” qui définit la classe congruentielle correspondante). + +Il reste à vérifier que, pour chaque (k) rencontré, (2^{15}>3^k) et que le seuil (N_0) est petit. + +Calculs (tous exacts, sans notation scientifique) + +- (2^{15}=32768) +- (3^4=81) donc (32768-81=32687>0) +- (3^5=243) donc (32768-243=32525>0) +- (3^6=729) donc (32768-729=32039>0) +- (3^7=2187) donc (32768-2187=30581>0) +- (3^8=6561) donc (32768-6561=26207>0) +- (3^9=19683) donc (32768-19683=13085>0) + +Donc, pour tout (k\in{4,5,6,7,8,9}), la descente minorée avec (\underline A=15) est structurellement disponible. + +Dans les 159 cas « one », les seuils calculés valent toujours (N_0\in{1,2,3}). Le maximum est (3). Ainsi, un seuil global (N^*=3) suffit à rendre la fermeture effective pour tous les entiers de ces classes. + +### Conséquence structurelle immédiate + +Après ajout des 159 clauses minorées, les seuls résidus non couverts au palier (2^{15}) sont exactement les enfants des parents « both » : + +- parents « both » au palier (2^{14}) : (593) +- leurs deux enfants au palier (2^{15}) : (2\times 593=1186) + +Le résidu restant a donc taille (1186) et possède une description combinatoire très forte : il est *exactement* la pleine expansion binaire des (593) parents « both ». + +## Ce que cela apporte à la preuve globale + +Ce lemme enlève une catégorie entière de survie du résidu : toute “survie par frère” (un enfant fermé, un enfant non fermé) est désormais éliminée par une règle minorée au même palier. Le problème se réduit alors à traiter uniquement les parents « both », qui sont les nœuds réellement durs (les deux enfants échappent aux règles exactes). + +Cela fournit un nouveau point d’appui pour l’étape suivante de la démonstration : attaquer les (593) parents « both » au palier (2^{14}) par de nouvelles familles de clauses (principalement fusion (F) sur d’autres horizons, ou descente (D) sur d’autres blocs stabilisés), de manière à faire apparaître, à un palier ultérieur, une contraction uniforme sur des blocs de profondeur (L). + +## Audit exhaustif + +Le document joint contient, de manière exhaustive : + +- la liste des (159) enfants « one » (modulo (32768)), groupés par horizon (k) +- la table d’audit complète (159 lignes) donnant, pour chaque résidu : (k), (N_0), (\Delta = 2^{15}-3^k), (C_k), préfixe de valuations partagé, justification +- la liste exhaustive des (593) parents « both » (modulo (16384)) +- la liste exhaustive des (1186) résidus restants au palier (2^{15}) après complétion + +[Document d’audit](complétion_minorée_m14_vers_m15.md) + +## Conclusion de la section sur la complétion au palier 32768 + +La démonstration avance par un verrou formel : au palier (2^{15}), toutes les branches où un seul enfant survit se ferment par descente minorée, avec un seuil global (N^*=3). Le résidu restant est exactement la double descendance des parents « both », ce qui réduit le problème à un noyau structurellement plus dur mais nettement mieux défini. + +La suite logique consiste à appliquer la même stratégie au noyau « both » : soit en trouvant des familles de fusion (F) supplémentaires qui s’appliquent directement à ces (593) parents, soit en prouvant qu’à profondeur bornée (L), une fraction strictement minorée de leurs descendants tombe dans l’union des clauses (D) et (F), ce qui fera décroître de manière démontrable le coefficient de survie. + +Le lemme de complétion par frères établit qu’au palier $2^{15}$ les 159 cas « one » sont absorbés par des clauses de descente minorée. Le noyau résiduel se réduit ainsi aux parents « both », avec un sous-problème mieux caractérisé pour la suite de l’analyse. + +## Introduction de la section sur le lemme de frère + +La preuve peut désormais progresser par un lemme général qui transforme la “complétion par frères” en un argument universel, indépendant des listes numériques : dès qu’une règle exacte distingue deux enfants d’un même parent au passage (2^{m}\to 2^{m+1}), l’enfant non couvert devient automatiquement fermable par une clause **minorée** au même horizon, parce que son numérateur affine gagne au moins un facteur (2). Ce lemme formalise exactement le mécanisme observé sur la chaîne des “sommets” (préfixes longs (a_i=1)) et, plus largement, sur toutes les bifurcations « one ». + +L'enchaînement logique est le suivant : + +- prouver le lemme de frère en toute généralité, +- en déduire une réduction canonique : après complétion minorée, il ne reste à traiter que le noyau « both », +- exprimer ce noyau comme une intersection de contraintes congruentielles (donc comme un objet d’analyse 2-adique), +- isoler l’ultime lemme restant pour conclure : montrer que ce noyau devient vide à un palier fini (2^M) lorsque la toile de clauses (D), (F) et (D minorées) est suffisamment dense. + +## Lemme de frère pour les clauses exactes + +On fixe un palier (m\ge 1). Un “parent” est une classe modulo (2^m). Ses deux “enfants” au palier (m+1) sont : +[ +r \pmod{2^{m+1}} +\qquad\text{et}\qquad +r+2^m \pmod{2^{m+1}}. +] + +On considère une clause exacte (D) à horizon (k) stabilisée au module (2^{A+1}), c’est-à-dire une clause dont l’application dépend uniquement de la congruence modulo (2^{A+1}), avec (A+1\le m+1). Elle fournit une identité affine exacte sur la classe : +[ +U^{(k)}(n)=\frac{3^k n + C_k}{2^{A}}, +] +et une condition de descente (ou de validité) exprimable par des congruences modulo (2^{A+1}). + +### Étape 1 : pourquoi une clause « one » impose nécessairement (A+1=m+1) + +Supposons qu’une clause exacte stabilisée modulo (2^{A+1}) s’applique à un enfant (n\equiv r\pmod{2^{m+1}}) mais pas à son frère (n\equiv r+2^m\pmod{2^{m+1}}). + +Si (A+1\le m), alors les deux enfants sont congrus modulo (2^{A+1}), car +[ +(r+2^m)-r = 2^m \equiv 0 \pmod{2^{A+1}} \quad\text{dès que}\quad A+1\le m. +] +Donc la clause, qui ne dépend que de la congruence modulo (2^{A+1}), s’appliquerait aux deux enfants, contradiction. + +Conclusion : +[ +\text{si une clause exacte distingue deux frères au palier }m+1,\ \text{alors nécessairement }A+1=m+1. +] + +C’est le point charnière : tout cas « one » est forcément une clause exacte dont la stabilité atteint exactement le bit nouveau du palier. + +### Étape 2 : relation d’augmentation de valuation sur le numérateur affine + +Sur une classe où l’identité affine est valable, poser le numérateur : +[ +N(n)=3^k n + C_k. +] +Pour deux frères (n) et (n+2^m), +[ +N(n+2^m)=3^k(n+2^m)+C_k = N(n) + 3^k\cdot 2^m. +] +Comme (3^k) est impair, on peut écrire : +[ +N(n)=2^m u,\quad N(n+2^m)=2^m(u+3^k), +] +pour un certain entier (u). + +Si (v_2(N(n))=m), alors (u) est impair. Comme (3^k) est impair, (u+3^k) est pair, donc +[ +v_2(N(n+2^m))\ge m+1. +] + +Conclusion : +[ +v_2(N(n))=m \ \Longrightarrow\ v_2(N(n+2^m))\ge m+1. +] + +De manière symétrique, si le frère a valuation exactement (m), l’autre gagne au moins un facteur (2). Cette propriété est exactement la mécanique henselienne “un relèvement gagne une valuation”. + +### Étape 3 : fermeture minorée du frère + +On suppose maintenant qu’une clause exacte de descente (D) est stabilisée au palier (m+1), donc (A=m), et qu’elle s’applique à un enfant (n\equiv r\pmod{2^{m+1}}). Cela signifie, par définition de la clause exacte, que sur cette classe : +[ +U^{(k)}(n)=\frac{N(n)}{2^m} +\quad\text{avec}\quad +v_2(N(n))=m. +] + +Par l’étape précédente, sur le frère (n\equiv r+2^m\pmod{2^{m+1}}), on a : +[ +v_2(N(n))\ge m+1. +] +Donc, sans connaître la valuation exacte, on obtient une **minoration** uniforme : +[ +A(n)\ge m+1. +] +Ainsi, +[ +U^{(k)}(n)=\frac{N(n)}{2^{A(n)}}\le \frac{N(n)}{2^{m+1}}=\frac{3^k n + C_k}{2^{m+1}}. +] + +La descente minorée est alors garantie dès que +[ +\frac{3^k n + C_k}{2^{m+1}}3^k), un seuil explicite est +[ +N_0=\left\lfloor\frac{C_k}{2^{m+1}-3^k}\right\rfloor+1. +] + +Conclusion (lemme de frère, formulation finale) +Si un enfant est couvert par une clause exacte (D) stabilisée au palier (2^{m+1}) (donc (A=m)) et que son frère ne l’est pas, alors le frère est couvert par une clause (D) **minorée** au même horizon (k), avec (\underline A=m+1), et un seuil (N_0) explicite. + +Ce lemme justifie rigoureusement, sans inspection individuelle, la complétion « one » : les “frères survivants” sont fermables au même palier dès que (2^{m+1}>3^k), condition satisfaite dès que (m) est modérément grand pour les horizons (k) effectivement utilisés (les horizons courts et moyens de la toile). + +## Réduction canonique au noyau « both » + +On définit maintenant une opération de fermeture à palier (m+1). + +- on part d’un registre (K) de clauses exactes (D) et (F), +- on ajoute automatiquement toutes les clauses (D) minorées fournies par le lemme de frère pour les cas « one ». + +Appelons (R_{m+1}^{\mathrm{comp}}) le résidu non couvert après cette complétion. + +Propriété immédiate +Un parent (r\in R_m) ne contribue à (R_{m+1}^{\mathrm{comp}}) que s’il est de type « both », c’est-à-dire si **les deux enfants** échappent aux clauses exactes stabilisées au palier (m+1). + +Donc, après complétion : +[ +R_{m+1}^{\mathrm{comp}} = { \text{enfants des parents both de }R_m}. +] + +Ce point réduit la preuve globale à une question structurale : montrer que la suite des noyaux « both » s’éteint à profondeur finie. + +## Reformulation analytique du noyau « both » comme intersection de contraintes + +Un parent « both » à un palier fixé est caractérisé par une suite de négations : + +- pour toute clause exacte (D) disponible au palier, ni l’enfant gauche ni l’enfant droit ne satisfait la congruence d’application de la clause, +- pour toute clause exacte (F) disponible au palier, même négation. + +Or chaque clause exacte d’horizon borné correspond à une condition congruentielle modulo (2^{A+1}) (et parfois aussi modulo (3) via la condition de fusion). Comme (A+1\le m+1), ces conditions se lisent sur une quantité finie de bits. + +Ainsi, le noyau « both » est l’ensemble des résidus qui évitent une famille finie de congruences. À palier fixé, c’est un objet fini. Le passage à l’analyse consiste à comprendre comment cette famille d’évitements se renforce en augmentant (m). + +Deux mécanismes sont alors disponibles, déjà rencontrés dans la construction des fusions minimales (t=6,7) et des descentes minimales : + +- unicité des solutions de congruences linéaires (\alpha t+\beta\equiv 0\pmod{2^s}) avec (\alpha) impair, +- relèvements henseliens : une contrainte “valuation élevée” force une progression sur une chaîne (2)-adique de plus en plus fine, ce qui rend la classe très rare, puis fermable par minorations à un palier où un bloc contractif devient stable (comme au palier (2^{14}) avec (k=8,A=13)). + +Le noyau « both » est donc attendu comme l’intersection de quelques chaînes henseliennes et de contraintes de parité de valuations ; ce sont exactement les objets sur lesquels la toile de règles doit “se refermer”. + +## Lemme final à établir pour conclure + +Tout est maintenant ramené à un énoncé unique, qui est la version “preuve” de la phrase « la toile finit par recouvrir tous les nombres possibles ». + +Énoncé de clôture +Il existe un palier (M) tel que, après complétion par le lemme de frère à chaque niveau (\le M), on obtient +[ +R_M^{\mathrm{comp}}=\varnothing. +] + +Cela implique immédiatement l’existence d’un registre fini (K) couvrant toutes les classes impaires modulo (2^M), donc une réduction stricte pour tout entier impair au-delà d’un seuil global (N^*), donc Collatz par descente bien fondée et vérification finie sous (N^*). + +Ce lemme de clôture peut être prouvé de deux manières, toutes deux compatibles avec la méthodologie développée : + +Voie “certificat fini” +Montrer directement, par une identité d’ensembles finie, que l’union des classes couvertes par (D), (F), et les (D minorées) engendrées par le lemme de frère, est égale à l’ensemble des impairs modulo (2^M). Cette voie demande un audit computationnel, mais l’argument mathématique reste une égalité d’ensembles finie. + +Voie “contraction uniforme” +Montrer qu’il existe une profondeur (L) et une constante (\theta>0) tels que tout parent « both » engendre, à profondeur (L), au moins une fraction (\theta) de descendants qui tombent dans la toile (D) ou (F), ce qui force une extinction en profondeur finie. Cette voie demande un lemme d’analyse sur les contraintes linéaires qui gouvernent les valuations. + +## Étape suivante immédiate + +L'étape suivante consiste à traiter le noyau « both » restant par une couche supplémentaire de fusions (F) à horizons (t=6) et (t=7), précisément parce que ces fusions ont des seuils structurels plus faibles que la descente (gain d’une unité sur (A) pour (t=6) et (t=7)). L’objectif est que les parents « both » soient forcés, après un raffinement borné, d’entrer dans l’une des classes de fusion minimales déjà classifiées (modulo (1024) et (4096)), ou dans les classes de descente minimales (modulo (8192)), ou dans les blocs contractifs stabilisés (modulo (16384)). + +Cette étape est désormais mécanique : elle consiste à prendre une description congruentielle des parents « both » (au palier (2^{14}) par exemple), à propager deux pas dans l’arbre, et à prouver qu’au moins un des quatre petits-enfants satisfait une congruence de fusion ou de descente. C’est exactement le même type de raisonnement que celui déjà effectué sur la sous-branche (n\equiv 63\pmod{64}) menant à (2431\pmod{4096}), mais appliqué systématiquement à toutes les sous-branches du noyau. + +## Conclusion de la section sur le lemme de frère + +La démonstration continue par un verrou formel : le lemme de frère montre, sans inspection individuelle, que toute bifurcation « one » est fermable au même palier par une clause (D) minorée, dès lors que la clause exacte qui couvre l’autre enfant est stabilisée précisément au bit nouveau. Cela justifie rigoureusement la stratégie de complétion et réduit la preuve au noyau « both ». + +La suite de la preuve est maintenant concentrée sur un unique objectif : montrer que ce noyau « both » s’éteint à palier fini, soit par un certificat de couverture totale modulo (2^M), soit par un lemme de contraction uniforme à profondeur bornée exploitant les congruences linéaires qui gouvernent les valuations et les classes de fusion. La prochaine étape technique consiste à dériver, sur le noyau « both » au palier (2^{14}) ou (2^{15}), une contrainte congruentielle explicite qui force l’entrée dans les classes de fusion minimales (t=6,7) ou dans les descentes minimales (t=7), puis à itérer jusqu’à extinction. + +Le lemme de frère convertit la fermeture observée des classes « one » en un énoncé structurel : la complétion minorée ferme ces classes au même palier, et la preuve se concentre ensuite sur les 593 parents « both ». La clôture finale reste conditionnée à l’extinction de ce noyau par entrée forcée dans une clause de fusion ou de descente à profondeur bornée. + +La formalisation du lemme de frère transforme la fermeture observée des classes « one » en énoncé structurel : la complétion minorée ferme ces classes au même palier, et l’analyse se concentre ensuite sur le noyau « both » (593 parents). La clôture finale reste conditionnée à l’extinction de ce noyau par entrée forcée dans une clause de fusion ou de descente à profondeur bornée. + +## Introduction de la section sur la transition m15 vers m16 + +La démonstration peut maintenant progresser d’un cran en appliquant, de façon rigoureuse et générale, le **lemme de frère** au palier suivant. L’étape précédente a montré (et documenté) la complétion « one » au passage (m=14\to 15). La suite naturelle est de faire la même chose au passage (m=15\to 16), puis de constater que l’algorithme de preuve se réduit de plus en plus à un noyau « both » (les seuls parents dont les deux enfants résistent simultanément aux règles exactes). + +Cette continuation est formelle : elle ne procède pas par vérification nombre par nombre, elle établit une transformation structurelle de l’ensemble résiduel et quantifie l’évolution du coefficient de survie. + +Le document d’audit exhaustif pour la transition (m=15\to 16) est référencé en fin de section. + +[Audit m=15 vers m=16](complétion_minorée_m15_vers_m16.md) + +## Étape 1 : décomposition exacte des parents au palier (2^{15}) + +Données (registre exact, sans complétion minorée) : + +- (|R_{15}|=1345) résidus non couverts modulo (2^{15}=32768) +- (|R_{16}|=2446) résidus non couverts modulo (2^{16}=65536) + +Chaque parent (r\in R_{15}) a deux enfants au palier suivant : +[ +r\quad\text{et}\quad r+2^{15}=r+32768. +] + +Décomposition calculée (exhaustive) : + +- parents « zero » (0 enfant non couvert) : (0) +- parents « one » (1 enfant non couvert) : (244) +- parents « both » (2 enfants non couverts) : (1101) + +Vérification de cohérence (identité finie) : +[ +|R_{16}| = 2\cdot|{\rm both}| + |{\rm one}| +=2\cdot 1101 + 244 = 2446. +] + +Interprétation +La transition (m=15\to 16) est entièrement portée par deux phénomènes : + +- une majorité de parents « both » (1101), qui reproduisent deux enfants résistants, +- une minorité de parents « one » (244), où un seul enfant résiste. + +## Étape 2 : complétion systématique des cas « one » au palier (2^{16}) + +Le **lemme de frère** établi précédemment s’applique ici tel quel : un cas « one » signifie qu’un enfant a été fermé par une clause exacte stabilisée au bit nouveau, et que l’autre enfant hérite d’une valuation du numérateur affine au moins (1) unité plus grande ; cela donne une minoration (\underline A=m+1) et permet une **descente minorée** au même horizon. + +Condition technique à vérifier +Le lemme de frère ferme l’enfant « one » par une clause minorée de même horizon (k), dès que +[ +2^{m+1} > 3^k, +] +ici (2^{16}=65536). Cette inégalité est vraie pour (k\le 10) car : + +- (3^{10}=59049 < 65536) +- (3^{11}=177147 > 65536) + +Dans la grammaire utilisée sur les paliers (m=11) à (m=16), les clauses exactes responsables des cas « one » sont à horizon court (dans les transitions auditées, (k\le 9)), ce qui rend la complétion effective au palier (2^{16}). + +Conséquence immédiate +Après ajout des 244 clauses minorées correspondantes, tous les enfants « one » disparaissent du résidu. Il ne reste que les descendants des parents « both » : +[ +|R_{16}^{\mathrm{comp}}| = 2\cdot 1101 = 2202. +] + +## Étape 3 : amélioration quantitative du coefficient de survie + +Sans complétion (registre exact) : +[ +q_{15}=\frac{|R_{16}|}{2|R_{15}|} +=\frac{2446}{2\cdot 1345} +=\frac{2446}{2690} +=0.9092936802973978. +] + +Avec complétion minorée (« one » fermé au même palier) : +[ +q_{15}^{\mathrm{comp}}=\frac{|R_{16}^{\mathrm{comp}}|}{2|R_{15}|} +=\frac{2202}{2690} +=0.8182156133828996. +] + +Lecture +Cette baisse de (q) s’explique par un mécanisme général (frère → valuation plus haute → descente minorée) et non par une tendance empirique. + +## Étape 4 : structure du noyau « both » au palier (2^{15}) + +Répartition des parents « both » modulo (32) : + +- (31) : 507 +- (27) : 213 +- (7) : 213 +- (15) : 168 + +Répartition des parents « one » modulo (32) : + +- (31) : 89 +- (27) : 57 +- (7) : 57 +- (15) : 41 + +Conclusion structurale +La branche (31\pmod{32}) demeure dominante dans le noyau dur, ce qui est cohérent avec sa géométrie (2)-adique (préfixes longs de valuations (=1), donc retard de contraction). + +## Prochaine étape de preuve + +À partir d’ici, la preuve se concentre sur un unique objet : + +- (B_{15}), l’ensemble des (1101) parents « both » au palier (2^{15}), +- et ses descendants complets au palier (2^{16}), de taille (2202). + +Deux voies strictement formelles sont alors possibles, et compatibles. + +Voie certificat fini +Pousser la complétion (one) à chaque palier, et enrichir le registre de nouvelles familles de clauses exactes (surtout fusions (t=6) et (t=7), plus permissives que la descente) jusqu’à obtenir un palier (2^M) où le noyau « both » devient vide. + +Voie contraction à profondeur (L) +Montrer qu’il existe une profondeur bornée (L) telle que, pour tout parent « both », parmi ses (2^L) descendants, une fraction strictement minorée tombe dans l’union des clauses (D) ou (F). La complétion « one » sert alors de mécanisme automatique pour éliminer les demi-branches au fil de la contraction. + +L’étape suivante consiste à caractériser les (1101) parents « both » par des contraintes congruentielles (en pratique : contraintes sur les valuations linéarisées (\alpha t+\beta)), et à démontrer qu’un raffinement borné force l’entrée dans les classes de fusion minimales déjà classifiées (par exemple (t=6,A=9) et (t=7,A=11)) ou dans les classes de descente stabilisées à (k=8,A=13) au palier (2^{14}). + +## Audit exhaustif + +Le document joint contient : + +- la décomposition complète (R_{15}\to R_{16}) (cas « one » et « both »), +- la liste exhaustive des 244 parents « one » (modulo 32768), +- la liste exhaustive des 244 enfants « one » (modulo 65536), +- la liste exhaustive des 1101 parents « both » (modulo 32768), +- les coefficients de survie avec et sans complétion. + +[Audit m=15 vers m=16](complétion_minorée_m15_vers_m16.md) + +## Conclusion de la section sur la transition m15 vers m16 + +La démonstration continue en consolidant la partie “toile” : à chaque palier, la complétion par clauses minorées élimine les bifurcations « one ». Au palier (2^{16}), le résidu passe de (2446) à (2202) et le coefficient de survie passe de (0.9092936802973978) à (0.8182156133828996). + +La suite est maintenant entièrement concentrée sur le noyau « both » : montrer qu’il ne peut pas persister indéfiniment lorsque les familles de fusions (t=6,7) et les descentes stabilisées aux paliers (2^{14}) et (2^{15}) sont combinées avec la complétion systématique. + +## Introduction de la section sur la base projective du noyau both + +L'enchaînement logique est de quitter la simple mécanique « one ⇒ fermeture minorée » pour entrer dans le cœur : caractériser et attaquer le noyau « both ». D’après les paliers déjà audités, il existe une réduction structurale : dès (m=12), tous les noyaux « both » se projettent sur une base fixe modulo (4096). Cela transforme le problème d’un résidu de taille croissante en un problème de fermeture d’un **ensemble fini de 192 classes**. + +Le document joint formalise cette réduction avec listes exhaustives et comptages. + +[Base projective du noyau both](noyau_both_base_4096.md) + +## Étape A : un fait structurel à utiliser comme lemme + +On note (R_m) l’ensemble des résidus impairs non couverts modulo (2^m) par le registre exact actuel (D exactes + F exactes). On note (B_m\subset R_m) l’ensemble des parents « both » au passage (m\to m+1), c’est-à-dire les résidus (r\in R_m) dont les deux enfants (r) et (r+2^m) appartiennent à (R_{m+1}). + +La complétion par frères (lemme de frère) ferme systématiquement tous les cas « one ». Après complétion, le résidu au niveau (m+1) est exactement la double descendance de (B_m). + +Ce point étant acquis, l’énoncé utile est : + +Proposition (base projective) +À partir de (m=12), la projection modulo (4096) des noyaux « both » est constante : +[ +B_{13}\bmod 4096 = B_{12},\qquad +B_{14}\bmod 4096 = B_{12},\qquad +B_{15}\bmod 4096 = B_{12}. +] +Autrement dit, toute persistance du noyau « both » à des paliers plus fins correspond à des relèvements (lifts) d’un ensemble fixe de 192 résidus modulo (4096), noté (B_{12}). + +Preuve +Elle est finie et auditable : elle consiste à prendre les ensembles (B_{13},B_{14},B_{15}) définis à partir des ensembles (R_{13},R_{14},R_{15},R_{16}) (eux-mêmes fournis par les paliers (m=11) à (m=16)), puis à vérifier l’égalité des ensembles projetés modulo (4096). Cette vérification est exécutée et documentée dans le fichier joint. + +## Étape B : quantification exacte des noyaux « both » déjà observés + +Les cardinaux (registre exact) sont les suivants : + +- (m=11) : (|R_{11}|=134), (|B_{11}|=102) + [ + q_{11}^{\mathrm{comp}}=\frac{|B_{11}|}{|R_{11}|} + =\frac{102}{134} + =0.7611940298507462 + ] + +- (m=12) : (|R_{12}|=236), (|B_{12}|=192) + [ + q_{12}^{\mathrm{comp}}=\frac{192}{236} + =0.8135593220338984 + ] + +- (m=13) : (|R_{13}|=428), (|B_{13}|=324) + [ + q_{13}^{\mathrm{comp}}=\frac{324}{428} + =0.7570093457943925 + ] + +- (m=14) : (|R_{14}|=752), (|B_{14}|=593) + [ + q_{14}^{\mathrm{comp}}=\frac{593}{752} + =0.7885638297872340 + ] + +- (m=15) : (|R_{15}|=1345), (|B_{15}|=1101) + [ + q_{15}^{\mathrm{comp}}=\frac{1101}{1345} + =0.8185873605947955 + ] + +Remarque de cohérence +Une valeur (0.8182156133) a été mentionnée dans une version antérieure pour (q_{15}^{\mathrm{comp}}). Elle est arithmétiquement incompatible avec les cardinaux (|B_{15}|=1101) et (|R_{15}|=1345). La valeur correcte est : +[ +\frac{1101}{1345} +================= + +# \frac{2202}{2690} + +0.8185873605947955. +] + +## Étape C : relèvements et “épaisseur” du noyau + +Le passage (B_{12}\to B_{13}\to B_{14}\to B_{15}) peut être vu comme une croissance par relèvements : + +Chaque résidu (r) modulo (2^m) a deux relèvements modulo (2^{m+1}) : (r) et (r+2^m). On peut compter, pour chaque élément de la base, combien de relèvements restent dans le noyau au niveau supérieur. + +Comptes exacts (issus du document joint) : + +Relèvement (B_{12}\to B_{13}) (mod (4096\to 8192)) + +- 2 relèvements : 132 résidus +- 1 relèvement : 60 résidus + +Relèvement (B_{13}\to B_{14}) (mod (8192\to 16384)) + +- 2 relèvements : 269 résidus +- 1 relèvement : 55 résidus + +Relèvement (B_{14}\to B_{15}) (mod (16384\to 32768)) + +- 2 relèvements : 508 résidus +- 1 relèvement : 85 résidus + +Lecture +Le noyau « both » ne “s’amincit” pas spontanément avec la seule complétion par frères ; au contraire, une part croissante des classes admet ses deux relèvements dans le noyau. Cela justifie le point stratégique déjà identifié : la complétion supprime une catégorie de survie (« one »), mais ne suffit pas à elle seule à faire chuter (q_m^{\mathrm{comp}}) sous (0.5). Il faut donc ajouter des règles exactes (D, F) qui attaquent directement (B_m). + +## Étape D : ce que cette réduction change pour la preuve + +À partir d’ici, l’objectif n’est plus “tuer (B_{15})” à (32768) en l’état, mais prouver une fermeture au niveau de la base (B_{12}) : + +Objectif de clôture reformulé +Montrer qu’il existe un ensemble fini de clauses supplémentaires (D exactes, F exactes, et leurs complétions minorées) telles que, pour tout résidu (r\in B_{12}), aucun relèvement à partir d’un certain palier ne peut rester dans le noyau « both ». Formellement : +[ +\exists M\ge 12,\ \forall r\in B_{12},\ \text{tous les relèvements de }r\text{ modulo }2^M\text{ sont couverts}. +] + +Une fois cet énoncé prouvé, la toile est fermée : la persistance d’un noyau « both » à tous les paliers devient impossible, donc le résidu s’éteint à un palier fini, donc le registre fini couvre tout au-delà d’un seuil global (N^*), donc Collatz suit par descente bien fondée et vérification finie. + +## Étape E : la phase technique immédiate Le travail suivant se décompose en deux sous-preuves finies, alignées avec la méthode.