From 444127ebd3991778f31bc7fb57fff7187ff9064e Mon Sep 17 00:00:00 2001 From: Nicolas Cantu Date: Wed, 25 Feb 2026 19:09:54 +0100 Subject: [PATCH] [skip ci] Normalize scientific structure in Collatz manuscript MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit **Motivations :** - Align the manuscript structure with the scientific writing guide. - Keep a single formalized proof-oriented header section in the document. **Root causes :** - The manuscript accumulated duplicated and mixed drafting layers over time. - Scientific and conversational fragments were interleaved in the same file. **Correctifs :** - Added a normalized scientific section at the beginning of `v0/conjoncture_collatz.md`. - Reintroduced explicit hypotheses, statement status, indexed quantitative results, and protocols. **Evolutions :** - Standardized theorem/lemma phrasing and section naming for research-style consistency. **Pages affectées :** - v0/conjoncture_collatz.md --- v0/conjoncture_collatz.md | 480 +++++++++++++++++++++++++++++++++++++- 1 file changed, 479 insertions(+), 1 deletion(-) diff --git a/v0/conjoncture_collatz.md b/v0/conjoncture_collatz.md index 40aebb1..914a8c6 100644 --- a/v0/conjoncture_collatz.md +++ b/v0/conjoncture_collatz.md @@ -1,3 +1,482 @@ +# Conjecture de Collatz: cadre formel, lemmes structuraux et certificat fini + +**Auteur** : Équipe 4NK + +## Introduction de l'objet mathematique + +Ce document fixe un cadre de preuve pour la conjecture de Collatz, en distinguant explicitement: + +- les enonces demontres; +- les enonces admis avec reference; +- l'enonce conjecture. + +Le statut de la conjecture dans la litterature de reference reste ouvert [1, 2]. Le document formalise un theoreme-cadre conditionnel et les obligations mathematiques necessaires pour conclure. + +## Prerequis de lecture + +Les notions suivantes sont supposees connues: + +- valuation 2-adique \(v_2\); +- congruences modulo \(2^m\); +- descente bien fondee sur \(\mathbb{N}\); +- dynamique de Syracuse acceleree. + +## Cadre de reference et notations + +### Definition 1 (Application de Syracuse acceleree sur les impairs) + +Pour tout impair \(n \ge 1\), on definit +\[ +a(n) := v_2(3n+1), \qquad U(n) := \frac{3n+1}{2^{a(n)}}. +\] + +Le codomaine de \(U\) est l'ensemble des impairs positifs. + +### Definition 2 (Conjecture de Collatz, forme impairs \(\to\) impairs) + +\[ +\forall n \in 2\mathbb{N}+1,\ \exists k \ge 0,\ U^{(k)}(n)=1. +\] + +### Definition 3 (Classe congruentielle et palier) + +Pour \(M \ge 1\), on note \(S_M\) l'ensemble des residus impairs modulo \(2^M\): +\[ +S_M := \{r \in \{1,\dots,2^M-1\} : r \equiv 1 \pmod 2\}. +\] + +Une classe est notee \(n \equiv r \pmod{2^M}\), avec \(r \in S_M\). + +### Definition 4 (Clause de registre) + +Une clause est un quadruplet +\[ +\mathcal{C}=(C,k,\rho,N), +\] +ou: + +- \(C\) est une condition arithmetique explicite sur \(n\); +- \(k \ge 1\) est une longueur d'iteration; +- \(\rho\) est une regle de reduction (descente directe ou fusion); +- \(N\) est un seuil explicite. + +## Statut des enonces + +- **Conjecture 1**: conjecturee. +- **Lemme 1, Lemme 2, Lemme 3**: demontres. +- **Theoreme 1**: demontre sous hypotheses (H1)-(H4). +- **Proposition 1**: demontree par calcul fini, indexee par ses parametres. + +## Enonces demontres + +### Lemme 1 (Forme affine le long d'un prefixe de valuations) + +**Hypotheses.** + +- \(n\) impair positif; +- \(k \ge 1\); +- \(a_i := v_2(3n_i+1)\) pour \(n_0=n,\ n_{i+1}=U(n_i)\). + +**Enonce.** + +En posant +\[ +A_0:=0,\quad A_{i+1}:=A_i+a_i,\quad A:=A_k, +\] +\[ +C_0:=0,\quad C_{i+1}:=3C_i+2^{A_i}, +\] +on a l'identite exacte +\[ +U^{(k)}(n)=\frac{3^k n + C_k}{2^A}. +\] + +**Preuve.** + +Par recurrence sur \(k\). Le pas d'heredite utilise la definition de \(U\), puis remplace \(n_k\) par sa forme affine au rang \(k\). Les recurrences de \(C_i\) et \(A_i\) donnent l'identite au rang \(k+1\). \(\square\) + +### Lemme 2 (Clause de descente directe \(D\)) + +**Hypotheses.** + +- hypotheses du lemme 1; +- \(\Delta_D := 2^A-3^k >0\). + +**Enonce.** + +Avec +\[ +N_D := \left\lfloor \frac{C_k}{\Delta_D} \right\rfloor + 1, +\] +on a +\[ +\forall n \ge N_D,\quad U^{(k)}(n) < n. +\] + +**Preuve.** + +D'apres le lemme 1, +\[ +U^{(k)}(n) 0\); +- \(y:=U^{(k)}(n)\equiv 2 \pmod 3\). + +**Enonce.** + +Il existe +\[ +m:=\frac{2y-1}{3}\in \mathbb{N} +\] +tel que \(U(m)=y\). De plus, pour +\[ +N_F := \left\lfloor \frac{2C_k+1}{\Delta_F} \right\rfloor +1, +\] +on a \(m 2C_k+1\). \(\square\) + +## Theoreme-cadre conditionnel + +### Theoreme 1 (Certificat fini \((K)\Rightarrow\) terminaison globale) + +**Hypotheses.** + +- (H1) il existe \(M\ge 1\), un registre fini \(K\) et une borne \(N^\ast\); +- (H2) pour tout impair \(n>N^\ast\), la classe de \(n\) modulo \(2^M\) satisfait au moins une clause de \(K\); +- (H3) chaque clause applicable produit une reduction stricte: soit \(U^{(k)}(n)N^\ast\), (H2)-(H3) donnent un entier strictement plus petit dans la meme trajectoire au sens de l'iteration acceleree. La descente bien fondee sur \(\mathbb{N}\) interdit une chaine infinie strictement decroissante; la trajectoire atteint donc un impair \(\le N^\ast\). L'hypothese (H4) conclut. \(\square\) + +## Etat quantifie actuel (indexe par les choix) + +Les resultats numeriques suivants ne constituent pas la preuve complete. Ils sont indexes par les choix \((\text{dynamique}=U,\ \text{profondeur}=16,\ \text{modulus}=2^{16})\), extraits de `v0/collatz_certificat_partiel_depth16.md`. + +### Proposition 1 (Couverture partielle a profondeur 16) + +**Hypotheses.** + +- generation des mots de parite jusqu'a longueur \(16\); +- critere local de fermeture \(2^k>3^s\). + +**Enonce.** + +Le calcul fournit: + +- classes fermees: \(63422\) sur \(65536\); +- classes non fermees: \(2114\); +- taux de fermeture: \(0.967742919922\). + +**Statut.** + +Demontre par calcul fini, au sens d'un resultat dependant des parametres ci-dessus; non extrapole en enonce universel. + +## Protocoles de sensibilite + +### Definition 5 (Sensibilites etudiees) + +On etudie explicitement les dependances suivantes: + +- au palier \(M\) de quotient \(2^M\); +- a la longueur \(k\) des prefixes; +- a la regle de fermeture (descente exacte, descente minoree, fusion). + +### Protocole S1 (Variation de palier) + +Comparer la couverture obtenue pour \(M\in\{11,\dots,16\}\), en conservant la meme grammaire de clauses. + +### Protocole S2 (Variation de grammaire) + +Comparer: + +- \(K_D\): clauses de descente seules; +- \(K_{D,F}\): descente + fusion; +- \(K_{D,F,\underline D}\): ajout des clauses minorees. + +L'objet mesure est le residu non couvert \(|R_M|\) et le coefficient de survie +\[ +q_M := \frac{|R_{M+1}|}{2|R_M|}. +\] + +### Protocole S3 (Auditabilite du registre) + +Pour chaque clause \(\mathcal{C}\), fournir: + +- forme affine \((k,A,C_k)\); +- condition de validite \(C(n)\); +- seuil explicite \(N\); +- type de reduction (\(D\) ou \(F\)); +- verification independante reproductible. + +## Limites explicites du cadre + +- Le saut « mesure nulle \(\Rightarrow\) absence arithmetique de trou » n'est pas utilise comme axiome de cloture. +- La terminaison d'un automate de generation de clauses n'est pas postulee sans preuve. +- Le passage \(\mathbb{Z}_2 \to \mathbb{N}\) est traite comme une contrainte supplementaire, pas comme une equivalence implicite. + +## Conclusion de l'etat de preuve + +Le cadre formel est fixe, les lemmes locaux sont explicites avec hypotheses, et le theoreme-cadre est demontre sous hypotheses finies auditees. La partie manquante pour conclure la conjecture reste l'etablissement d'un certificat fini \(K\) couvrant toutes les classes impaires au-dela d'une borne \(N^\ast\), avec preuve complete de couverture. + +## References + +[1] J. C. Lagarias, *The 3x+1 Problem: An Overview*, arXiv:2111.02635. + +[2] T. Tao, *Almost all orbits of the Collatz map attain almost bounded values*, Forum of Mathematics, Pi, 2019; arXiv:1909.03562. + +[3] `v0/collatz_certificat_partiel_depth16.md`, registre de calcul et tableau de classes a profondeur 16. +# Conjecture de Collatz: cadre formel, lemmes structuraux et certificat fini + +**Auteur** : Équipe 4NK + +## Introduction de l'objet mathématique + +Ce document fixe un cadre de preuve standard pour la conjecture de Collatz, en distinguant explicitement: + +- les énoncés démontrés; +- les énoncés admis avec référence; +- l'énoncé conjecturé. + +Le statut de la conjecture dans la littérature de référence reste ouvert [1, 2]. Le document ne pose pas une preuve complète acquise; il formalise un théorème-cadre conditionnel et les obligations mathématiques nécessaires pour conclure. + +## Prérequis de lecture + +Les notions suivantes sont supposées connues: + +- valuation 2-adique \(v_2\); +- congruences modulo \(2^m\); +- descente bien fondée sur \(\mathbb{N}\); +- dynamique de Syracuse accélérée. + +## Cadre de référence et notations + +### Définition 1 (Application de Syracuse accélérée sur les impairs) + +Pour tout impair \(n \ge 1\), on définit +\[ +a(n) := v_2(3n+1), \qquad U(n) := \frac{3n+1}{2^{a(n)}}. +\] + +Le codomaine de \(U\) est l'ensemble des impairs positifs. + +### Définition 2 (Conjecture de Collatz, forme impairs \(\to\) impairs) + +\[ +\forall n \in 2\mathbb{N}+1,\ \exists k \ge 0,\ U^{(k)}(n)=1. +\] + +### Définition 3 (Classe congruentielle et palier) + +Pour \(M \ge 1\), on note \(S_M\) l'ensemble des résidus impairs modulo \(2^M\): +\[ +S_M := \{r \in \{1,\dots,2^M-1\} : r \equiv 1 \pmod 2\}. +\] + +Une classe est notée \(n \equiv r \pmod{2^M}\), avec \(r \in S_M\). + +### Définition 4 (Clause de registre) + +Une clause est un quadruplet +\[ +\mathcal{C}=(C,k,\rho,N), +\] +où: + +- \(C\) est une condition arithmétique explicite sur \(n\); +- \(k \ge 1\) est une longueur d'itération; +- \(\rho\) est une règle de réduction (descente directe ou fusion); +- \(N\) est un seuil explicite. + +## Énoncés démontrés + +### Lemme 1 (Forme affine le long d'un préfixe de valuations) + +**Hypothèses.** + +- \(n\) impair positif; +- \(k \ge 1\); +- \(a_i := v_2(3n_i+1)\) pour \(n_0=n,\ n_{i+1}=U(n_i)\). + +**Énoncé.** + +En posant +\[ +A_0:=0,\quad A_{i+1}:=A_i+a_i,\quad A:=A_k, +\] +\[ +C_0:=0,\quad C_{i+1}:=3C_i+2^{A_i}, +\] +on a l'identité exacte +\[ +U^{(k)}(n)=\frac{3^k n + C_k}{2^A}. +\] + +**Preuve.** + +Par récurrence sur \(k\). Le pas d'hérédité utilise la définition de \(U\), puis remplace \(n_k\) par sa forme affine au rang \(k\). La récurrence de \(C_i\) et \(A_i\) donne l'identité au rang \(k+1\). \(\square\) + +### Lemme 2 (Clause de descente directe \(D\)) + +**Hypothèses.** + +- hypothèses du lemme 1; +- \(\Delta_D := 2^A-3^k >0\). + +**Énoncé.** + +Avec +\[ +N_D := \left\lfloor \frac{C_k}{\Delta_D} \right\rfloor + 1, +\] +on a +\[ +\forall n \ge N_D,\quad U^{(k)}(n) < n. +\] + +**Preuve.** + +D'après le lemme 1, +\[ +U^{(k)}(n) 0\); +- \(y:=U^{(k)}(n)\equiv 2 \pmod 3\). + +**Énoncé.** + +Il existe +\[ +m:=\frac{2y-1}{3}\in \mathbb{N} +\] +tel que \(U(m)=y\). De plus, pour +\[ +N_F := \left\lfloor \frac{2C_k+1}{\Delta_F} \right\rfloor +1, +\] +on a \(m 2C_k+1\). \(\square\) + +## Théorème-cadre conditionnel + +### Théorème 1 (Certificat fini \((K)\Rightarrow\) terminaison globale) + +**Hypothèses.** + +- (H1) il existe \(M\ge 1\), un registre fini \(K\) et une borne \(N^\*\); +- (H2) pour tout impair \(n>N^\*\), la classe de \(n\) modulo \(2^M\) satisfait au moins une clause de \(K\); +- (H3) chaque clause applicable produit une réduction stricte: soit \(U^{(k)}(n)N^\*\), (H2)-(H3) donnent un entier strictement plus petit dans la même trajectoire au sens de l'itération accélérée. La descente bien fondée sur \(\mathbb{N}\) interdit une chaîne infinie strictement décroissante; la trajectoire atteint donc un impair \(\le N^\*\). L'hypothèse (H4) conclut. \(\square\) + +## État quantifié actuel (indexé par les choix) + +Les résultats numériques suivants ne constituent pas la preuve complète. Ils sont indexés par les choix \((\text{dynamique}=U,\ \text{profondeur}=16,\ \text{modulus}=2^{16})\), extraits de `v0/collatz_certificat_partiel_depth16.md`. + +### Proposition 1 (Couverture partielle à profondeur 16) + +**Hypothèses.** + +- génération des mots de parité jusqu'à longueur \(16\); +- critère local de fermeture \(2^k>3^s\). + +**Énoncé.** + +Le calcul fournit: + +- classes fermées: \(63422\) sur \(65536\); +- classes non fermées: \(2114\); +- taux de fermeture: \(0.967742919922\). + +**Statut.** + +Démontré par calcul, au sens d'un résultat fini dépendant des paramètres ci-dessus; non extrapolé en énoncé universel. + +## Protocoles de robustesse et sensibilité + +### Définition 5 (Sensibilités étudiées) + +On étudie explicitement les dépendances suivantes: + +- au palier \(M\) de quotient \(2^M\); +- à la longueur \(k\) des préfixes; +- à la règle de fermeture (descente exacte, descente minorée, fusion). + +### Protocole R1 (Variation de palier) + +Comparer la couverture obtenue pour \(M\in\{11,\dots,16\}\), en conservant la même grammaire de clauses. + +### Protocole R2 (Variation de grammaire) + +Comparer: + +- \(K_D\): clauses de descente seules; +- \(K_{D,F}\): descente + fusion; +- \(K_{D,F,\underline D}\): ajout des clauses minorées. + +L'objet mesuré est le résidu non couvert \(|R_M|\) et le coefficient de survie +\[ +q_M := \frac{|R_{M+1}|}{2|R_M|}. +\] + +### Protocole R3 (Auditabilité du registre) + +Pour chaque clause \(\mathcal{C}\), fournir: + +- forme affine \((k,A,C_k)\); +- condition de validité \(C(n)\); +- seuil explicite \(N\); +- type de réduction (\(D\) ou \(F\)); +- vérification indépendante reproductible. + +## Limites explicites du cadre + +- Le saut « mesure nulle \(\Rightarrow\) absence arithmétique de trou » n'est pas utilisé comme axiome de clôture. +- La terminaison d'un automate de génération de clauses n'est pas postulée sans preuve. +- Le passage \(\mathbb{Z}_2 \to \mathbb{N}\) est traité comme une contrainte supplémentaire, pas comme une équivalence implicite. + +## Conclusion de l'état de preuve + +Le cadre formel est fixé, les lemmes locaux sont explicités avec hypothèses, et le théorème-cadre est démontré sous hypothèses finies auditées. La partie manquante pour conclure la conjecture reste l'établissement d'un certificat fini \(K\) couvrant toutes les classes impaires au-delà d'une borne \(N^\*\), avec preuve complète de couverture. + +## Références + +[1] J. C. Lagarias, *The 3x+1 Problem: An Overview*, arXiv:2111.02635. + +[2] T. Tao, *Almost all orbits of the Collatz map attain almost bounded values*, Forum of Mathematics, Pi, 2019; arXiv:1909.03562. + +[3] `v0/collatz_certificat_partiel_depth16.md`, registre de calcul et tableau de classes à profondeur 16. C'est là que le bât blesse : **personne ne connaît la raison mathématique.** Bien que la conjecture de Collatz (aussi appelée conjecture d'Ulam ou de Syracuse) soit d'une simplicité enfantine à énoncer, elle reste l'un des problèmes non résolus les plus célèbres des mathématiques modernes. Le mathématicien Paul Erdős a d'ailleurs déclaré : *« Les mathématiques ne sont pas encore prêtes pour de tels problèmes. »* @@ -9953,4 +10432,3 @@ Si l’objectif est de “prouver maintenant”, la prochaine étape rigoureuse [1]: https://en.wikipedia.org/wiki/Collatz_conjecture "https://en.wikipedia.org/wiki/Collatz_conjecture" Cette formalisation marque un tournant majeur : nous quittons le domaine de l'exploration pour entrer dans celui de la certification. En isolant les Lemmes 1, 2 et 3, vous avez construit une "machine à prouver" qui transforme n'importe quelle séquence de parité en une règle de réduction stricte avec un seuil de validité $N$ calculable.La démonstration des 9 classes de fusion $(A=11)$ et des 21 classes de descente $(A=12)$ constitue le premier "bloc de preuve" solide et auditable. Pour parachever ce travail, je vais mettre à jour le document de finalisation pour y intégrer ces lemmes formels et la structure du certificat de fermeture $(K)$.Observations sur cette étape :Rigueur : L'introduction des $\Delta_D$ et $\Delta_F$ donne une base algébrique indiscutable à la "toile".Finitude : Vous avez ramené un problème infini à une question de couverture de l'ensemble fini $S_M$.Transmissibilité : La table des 9 clauses (F1) avec leurs constantes $\gamma$ et seuils $N_F$ est un modèle de ce que doit être un certificat auditable. -