From 2f80151ee359782a24922f3dfee5e3096a9b7d5c Mon Sep 17 00:00:00 2001 From: Nicolas Cantu Date: Wed, 25 Feb 2026 23:22:18 +0100 Subject: [PATCH] =?UTF-8?q?Appliquer=20la=20r=C3=A9daction=20scientifique?= =?UTF-8?q?=20et=20aligner=20les=20manuscrits=20Collatz?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit **Motivations:** - Intégrer les mises à jour en cours sur les manuscrits de démonstration. - Mettre `v0/conjoncture_collatz.md` en conformité avec le guide de rédaction scientifique demandé. **Root causes:** - Des sections récentes contenaient des titres génériques et des formulations non neutres. - Le fil de formalisation nécessitait une normalisation explicite des introductions/conclusions. **Correctifs:** - Remplacement des titres `Introduction` / `Conclusion` par des titres explicites au format attendu. - Suppression des formulations évaluatives et des passages conversationnels. - Conservation des éléments démonstratifs (lemmes, seuils, hypothèses, dépendances, objectifs de clôture). **Evolutions:** - Intégration structurée de la formalisation du lemme de scission des sœurs dans le manuscrit principal. - Mise à jour du manuscrit de démonstration pour cohérence avec les lemmes et les paliers traités. **Pages affectées:** - v0/conjoncture_collatz.md - v0/démonstration collatz.md --- v0/conjoncture_collatz.md | 252 ++++++++++++++++++++++++++++++++++++ v0/démonstration collatz.md | 245 ++++++++++++++++++++++++++++++----- 2 files changed, 464 insertions(+), 33 deletions(-) diff --git a/v0/conjoncture_collatz.md b/v0/conjoncture_collatz.md index 3c838f4..a745a35 100644 --- a/v0/conjoncture_collatz.md +++ b/v0/conjoncture_collatz.md @@ -12181,3 +12181,255 @@ Formaliser un « lemme de scission des sœurs » est pertinent, parce que c’es Une formulation standard, courte et entièrement rigoureuse repose sur la valuation de (N(n)=\alpha n+\beta) avec (\alpha) impair, et montre que si une sœur porte (v_2(N)=m), l’autre a (v_2(N)\ge m+1). Dans la preuve globale, ce lemme devient le moteur formel qui transforme l’ajout de clauses exactes (D) à un palier en élimination automatique d’une moitié des survivants par (D minorée), laissant à traiter uniquement le noyau « both ». +## Introduction de la formalisation structurée + +La formalisation peut être reprise proprement en séparant ce qui relève déjà d’un cadre mathématique standard (définitions, lemmes de correction des clauses, descente bien fondée) de ce qui reste à établir pour obtenir une preuve complète (un lemme de couverture totale à un palier fini, ou un lemme de contraction uniforme du noyau « both »). Cette séparation est indispensable, car la conjecture de Collatz est toujours considérée comme ouverte dans la littérature de synthèse récente, malgré de nombreuses revendications de preuve. ([Wikipédia][1]) + +Ce qui suit reprend la démonstration comme un texte formel, en précisant les objets, les énoncés, les hypothèses exactes et les points encore à verrouiller. + +## Contexte de référence et niveau de certitude + +La communauté dispose de résultats très solides de type « presque tous » (densité naturelle/logarithmique), mais qui ne concluent pas l’énoncé universel (\forall n). C’est un point de consensus dans les exposés de référence (Lagarias, Tao). ([arXiv][2]) +La démarche présente est d’un autre type : elle vise une preuve universelle via un certificat fini (registre (K)) et des lemmes de couverture congruentielle. + +## Définitions de base + +Soit (C:\mathbb{N}*{\ge 1}\to\mathbb{N}*{\ge 1}) la fonction de Collatz : +[ +C(n)= +\begin{cases} +3n+1 & \text{si }n\text{ est impair},\ +n/2 & \text{si }n\text{ est pair}. +\end{cases} +] + +On utilise la dynamique accélérée « impairs (\to) impairs » : +[ +a(n)=v_2(3n+1)\ge 1,\qquad U(n)=\frac{3n+1}{2^{a(n)}}\in 2\mathbb{N}+1. +] +La conjecture de Collatz est équivalente à : +[ +\forall n\in\mathbb{N}_{\ge 1},\ \exists k,\ C^{(k)}(n)=1, +] +et, sur les impairs, à : +[ +\forall n\in 2\mathbb{N}+1,\ \exists k,\ U^{(k)}(n)=1. +] + +## Forme affine le long d’un mot de valuations + +Soit (n_0=n) impair et (n_{i+1}=U(n_i)). Poser (a_i=v_2(3n_i+1)) et +[ +A_0=0,\quad A_{i+1}=A_i+a_i,\quad A=A_k=\sum_{i=0}^{k-1} a_i. +] + +Définir (C_k) par récurrence : +[ +C_0=0,\qquad C_{i+1}=3C_i+2^{A_i}. +] + +Lemme (forme affine exacte) +Pour tout (k\ge 0), +[ +U^{(k)}(n)=\frac{3^k n + C_k}{2^{A}}. +] + +Preuve +Induction standard : la récurrence sur (C_{i+1}) est exactement celle obtenue en développant (3n_i+1) puis en divisant par (2^{a_i}). + +Ce lemme est la base unique de toutes les clauses (D) et (F). + +## Clauses de descente (D) : condition structurelle et seuil + +À partir de la forme affine : +[ +U^{(k)}(n)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]: https://en.wikipedia.org/wiki/Collatz_conjecture?utm_source=chatgpt.com "Collatz conjecture" +[2]: https://arxiv.org/abs/1909.03562?utm_source=chatgpt.com "Almost all orbits of the Collatz map attain almost bounded values" + diff --git a/v0/démonstration collatz.md b/v0/démonstration collatz.md index 6d7e03d..1ce8de5 100644 --- a/v0/démonstration collatz.md +++ b/v0/démonstration collatz.md @@ -1,72 +1,251 @@ -Sur la Convergence Globale de l'Opérateur de Syracuse +## Introduction -Auteur : Équipe 4NK +La formalisation peut être reprise proprement en séparant ce qui relève déjà d’un cadre mathématique standard (définitions, lemmes de correction des clauses, descente bien fondée) de ce qui reste à établir pour obtenir une preuve complète (un lemme de couverture totale à un palier fini, ou un lemme de contraction uniforme du noyau « both »). Cette séparation est indispensable, car la conjecture de Collatz est toujours considérée comme ouverte dans la littérature de synthèse récente, malgré de nombreuses revendications de preuve. ([Wikipédia][1]) -Cadre Mathématique : Dynamique des systèmes p-adiques et partitionnement de l'unité sur $\mathbb{Z}_2$. +Ce qui suit reprend la démonstration comme un texte formel, en précisant les objets, les énoncés, les hypothèses exactes et les points encore à verrouiller. -1. Introduction et Définitions +## Contexte de référence et niveau de certitude -1.1. L'Espace d'Étude +La communauté dispose de résultats très solides de type « presque tous » (densité naturelle/logarithmique), mais qui ne concluent pas l’énoncé universel (\forall n). C’est un point de consensus dans les exposés de référence (Lagarias, Tao). ([arXiv][2]) +La démarche présente est d’un autre type : elle vise une preuve universelle via un certificat fini (registre (K)) et des lemmes de couverture congruentielle. -Soit $\mathbb{I} = \{2n+1 \mid n \in \mathbb{N}\}$ l'ensemble des entiers naturels impairs. Nous étudions l'opérateur $U : \mathbb{I} \to \mathbb{I}$ défini par : +## Définitions de base +Soit (C:\mathbb{N}*{\ge 1}\to\mathbb{N}*{\ge 1}) la fonction de Collatz : +[ +C(n)= +\begin{cases} +3n+1 & \text{si }n\text{ est impair},\ +n/2 & \text{si }n\text{ est pair}. +\end{cases} +] -$$U(n) = \frac{3n+1}{2^{v_2(3n+1)}}$$ +On utilise la dynamique accélérée « impairs (\to) impairs » : +[ +a(n)=v_2(3n+1)\ge 1,\qquad U(n)=\frac{3n+1}{2^{a(n)}}\in 2\mathbb{N}+1. +] +La conjecture de Collatz est équivalente à : +[ +\forall n\in\mathbb{N}_{\ge 1},\ \exists k,\ C^{(k)}(n)=1, +] +et, sur les impairs, à : +[ +\forall n\in 2\mathbb{N}+1,\ \exists k,\ U^{(k)}(n)=1. +] +## Forme affine le long d’un mot de valuations -La conjecture est démontrée si l'on prouve l'existence d'un certificat de fermeture fini $(K)$ couvrant la mesure de l'espace $\mathbb{Z}_2$. +Soit (n_0=n) impair et (n_{i+1}=U(n_i)). Poser (a_i=v_2(3n_i+1)) et +[ +A_0=0,\quad A_{i+1}=A_i+a_i,\quad A=A_k=\sum_{i=0}^{k-1} a_i. +] -2. Principes de Réduction et de Contractivité +Définir (C_k) par récurrence : +[ +C_0=0,\qquad C_{i+1}=3C_i+2^{A_i}. +] -Lemme 1 : Condition de Descente (D) +Lemme (forme affine exacte) +Pour tout (k\ge 0), +[ +U^{(k)}(n)=\frac{3^k n + C_k}{2^{A}}. +] -Une trajectoire est contractive au pas $k$ si $\Delta_D = 2^A - 3^k > 0$. Le seuil de validité est donné par $n > N_0 = \lfloor C_k / \Delta_D \rfloor + 1$. +Preuve +Induction standard : la récurrence sur (C_{i+1}) est exactement celle obtenue en développant (3n_i+1) puis en divisant par (2^{a_i}). -Lemme 2 : Lemme de Scission des Sœurs +Ce lemme est la base unique de toutes les clauses (D) et (F). -Soit $N(n) = \alpha n + \beta$ avec $\alpha$ impair. Pour toute paire de sœurs $(n, n+2^m) \pmod{2^{m+1}}$ : +## Clauses de descente (D) : condition structurelle et seuil +À partir de la forme affine : +[ +U^{(k)}(n)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$$ +Longueur (k=10) : +* (3^{10}=59049) +* (2^{16}=65536) +* (\Delta_D=2^{16}-3^{10}=65536-59049=6487) -Pour $k=7$, la fusion est possible dès $A=11$ (alors que la descente exige $A=12$). +Donc un bloc exact longueur 10 avec (A_{10}\ge 16) est contractif. -3. Analyse du Noyau et Mécanisme de Fermeture +## Clauses de descente minorées (D⋆) : fermeture sans exactitude de valuation -3.1. Analyse de l'Horizon 10 (Palier $2^{17}$) +Si une condition congruentielle assure seulement une minoration (A(n)\ge \underline A), on a : +[ +U^{(k)}(n)=\frac{3^k n + C_k}{2^{A(n)}} \le \frac{3^k n + C_k}{2^{\underline A}}. +] +Donc une condition suffisante est : +[ +\frac{3^k n + C_k}{2^{\underline A}}0), +[ +N_0=\left\lfloor\frac{C_k}{\underline\Delta_D}\right\rfloor+1. +] -L'analyse à l'horizon $k=10$ ($2^{16} > 3^{10}$) utilise le lemme de scission pour réduire le noyau « both » : +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}). -Identification : 175 classes critiques au palier $2^{16}$ avec $A_{10}=16$. +## Clauses de fusion (F1) : réduction inductive stricte -Scission : Chaque classe se scinde au palier $2^{17}$ en une sœur contractive ($A=16$) et une sœur super-contractive ($A \ge 17$). +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. -Fermeture : La paire bascule en configuration « one », traitée par le registre des clauses de descente. +La condition clé est (m 2C_t-2^A. +] -3.2. Rôle des Clauses de Fusion dans la Branche $31 \pmod{32}$ +Paramètres -Les clauses de fusion comblent les lacunes du noyau dur. Au palier 4096, des résidus comme $543, 2431$ ou $3903$ sont fermés par fusion ($k=7, A=11$), réduisant drastiquement le taux de survie là où les puissances de 2 et de 3 sont en compétition étroite. +* (\Delta_F=3\cdot 2^A-2\cdot 3^t) -4. Preuve de Complétude et Clôture +Cette condition est plus permissive que la descente directe pour (t=6) et (t=7) (seuils déjà exploités dans la construction). -4.1. Mesure de Haar et Saturation +## Lemme de scission des sœurs -La preuve est achevée par la saturation de la mesure sur l'anneau $\mathbb{Z}_2$. Le registre $K$, alimenté par les clauses $D$, $F$, et le lemme de scission, doit satisfaire : +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. +] -$$\sum_{c \in K} \frac{1}{2^{m_c}} = 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). -4.2. Conclusion +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). -La dynamique de Syracuse est une descente bien fondée. Chaque palier de résolution $2^M$ supplémentaire révèle des points de scission (Lemme 2) ou des confluences (Lemme 3). Par induction, tout entier $n$ est ultimement capturé par le certificat de fermeture et ramené vers l'attracteur $\{1\}$. +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 + +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]: https://en.wikipedia.org/wiki/Collatz_conjecture?utm_source=chatgpt.com "Collatz conjecture" +[2]: https://arxiv.org/abs/1909.03562?utm_source=chatgpt.com "Almost all orbits of the Collatz map attain almost bounded values"