{"id":56534,"date":"2025-10-13T08:37:12","date_gmt":"2025-10-13T07:37:12","guid":{"rendered":"https:\/\/4.exstyle.fr\/le-blog-photo\/?p=56534"},"modified":"2025-10-13T08:37:22","modified_gmt":"2025-10-13T07:37:22","slug":"fr-pont-conjoncture-%e2%88%921-4-1-%e2%86%94-collatz-compresse-distance-d","status":"publish","type":"post","link":"https:\/\/4.exstyle.fr\/le-blog-photo\/fr-pont-conjoncture-%e2%88%921-4-1-%e2%86%94-collatz-compresse-distance-d\/","title":{"rendered":"FR – PONT CONJONCTURE (\u22121\/4 \/ +1) \u2194 COLLatz compress\u00e9, DISTANCE D"},"content":{"rendered":"\n\n\n\n\n\n\n\n\n\n\n\n

Conjoncture \u201c\u22121\/4 si possible, sinon +1\u201d \u2014 Lien complet avec Collatz compress\u00e9 et la distance D<\/em><\/h2>\n\n\n

R\u00e8gle (sur les entiers)<\/strong> :\n\\[\nf(n)=\n\\begin{cases}\n\\frac{n-1}{4}, & \\text{si } n\\equiv 1\\pmod 4,\\\\[4pt]\nn+1, & \\text{sinon.}\n\\end{cases}\n\\]\nOn montre : (i) pas de cycle non trivial (tout converge vers \\(0\\leftrightarrow 1\\)) ; (ii) traduction exacte dans le tableau compress\u00e9 (colonnes\/diagonales) ; (iii) granularit\u00e9 de la distance D<\/em> en \u201cpas de 2<\/strong>\u201d (au sens : plus petit saut non nul).<\/p>\n\n

\n\n\n\n\n\n\n\n\n\n
\n

1) Preuve courte : aucun cycle non trivial<\/h3>\n\n

Macro-pas.<\/strong> Depuis tout \\(n\\in\\mathbb Z\\), on fait \\(+1\\) jusqu\u2019\u00e0 tomber sur un entier \\( \\equiv 1\\pmod 4\\) (au plus 3 fois), puis on applique \\((\\cdot-1)\/4\\).\n D\u00e9finissons\n \\[\n k(n)\\in\\{0,1,2,3\\}\\ \\text{ min tel que }\\ n+k(n)\\equiv 1\\pmod 4,\\qquad\n A(n):=\\frac{n+k(n)-1}{4}.\n \\]\n Alors \\(f^{\\,k(n)+1}(n)=A(n)\\).<\/p>\n\n

Contraction.<\/strong> Pour tout \\(n\\),\n \\[\n |A(n)|\\le \\frac{|n|+2}{4},\n \\]\n donc si \\(|n|\\ge 2\\), on a strictement \\(|A(n)|<|n|\\). En it\u00e9rant, on atteint \\(0\\) en \\(O(\\log_4 |n|)\\) macro-pas, puis\n \\[\n 0 \\to 1 \\to 0 \\to \\dots\n \\]\n Conclusion.<\/strong> Toute orbite finit dans \\(0\\leftrightarrow 1\\), il n\u2019existe aucun<\/em> cycle non trivial.<\/p>\n<\/div>\n\n\n\n\n\n\n\n

2) Dictionnaire avec le tableau compress\u00e9 (colonnes\/diagonales)<\/h3>\n\n

On code les impairs sous la forme standard (MCC\/MRC) :\n\\[\nL_{r,n} \\;=\\; 4^{\\,n}\\,r \\;+\\; \\frac{4^{\\,n}-1}{3}\n\\quad (r \\text{ impair},\\ n\\ge 0).\n\\]\nIci, \\(n\\) est la colonne (profondeur 2-adique) et \\(r\\) la ligne (racine minimale \/ pivot).<\/p>\n\n

    \n
  • Passage \u201c\u22121\/4\u201d.<\/strong> Si \\(y\\equiv 1\\pmod 4\\), on a\n \\[\n \\frac{y-1}{4}=L_{r,n-1}\\quad\\Rightarrow\\quad \\text{colonne } n\\mapsto n-1 \\text{ (m\u00eame ligne \\(r\\))}.\n \\]\n C\u00f4t\u00e9 valuation Collatz,\n \\[\n 3y+1 = 4^{\\,n}(3r+1)\n \\;\\Rightarrow\\;\n k=\\nu_2(3y+1)=2n+\\nu_2(3r+1)\n \\;\\Rightarrow\\;\n k \\mapsto k-2 \\text{ (exact).}\n \\]<\/li>\n\n
  • Passage \u201c+1\u201d.<\/strong> Entre deux reculs horizontaux, \u201c+1\u201d se lit comme un glissement vertical<\/em> (NE\/SE) sur une diagonale<\/strong>\n \\[\n D_d=\\Bigl\\{x:\\;x\\equiv \\frac{4^{\\,d}-1}{3}\\ (\\bmod\\ 4^{\\,d})\\Bigr\\},\n \\]\n c\u2019est-\u00e0-dire la colonne \\(d\\) simultan\u00e9ment pour toutes les lignes. Ce glissement change la ligne \\(r\\) mais pas la r\u00e9solution \\(4^{\\,d}\\).<\/li>\n<\/ul>\n\n\n\n\n\n\n\n

    3) Distance D<\/em> : pourquoi le \u201cpas minimal\u201d est \u00b12<\/h3>\n\n

    Les lignes lien<\/em> sont les cellules \\(Y\\) telles que \\(Y\\equiv \\pm 1 \\pmod 3\\), que l\u2019on \u00e9crit\n\\[\nY=3D\\pm 1.\n\\]\nAlors \\(Y\\) est impair \\(\\Rightarrow\\ 3D\\pm 1\\) impair \\(\\Rightarrow D\\) est pair<\/strong>.\nDonc toute variation de distance v\u00e9rifie \\(\\Delta D\\in 2\\mathbb Z\\) : le plus petit saut non nul est bien \\(|\\Delta D|=2\\)<\/strong>.<\/p>\n\n\n\n

    \n

    Version g\u00e9om\u00e9trique (par colonnes)<\/h4>\n

    Sur la colonne \\(d\\), on a \\(L_{r,d}=4^{\\,d}r+\\frac{4^{\\,d}-1}{3}\\).\n En faisant varier la m\u00eame classe<\/em> \\(r\\) modulo 3 (pour rester sur des liens<\/em>: \\(L_{r,d}\\equiv \\pm1\\pmod 3\\)), deux lignes lien cons\u00e9cutives ont\n \\[\n \\Delta r=\\pm 6 \\quad (\\text{parit\u00e9 impos\u00e9e + congruence mod }3),\n \\]\n d\u2019o\u00f9\n \\[\n \\Delta Y = 4^{\\,d}\\,\\Delta r = \\pm 6\\,4^{\\,d}\n \\quad\\Rightarrow\\quad\n \\Delta D = \\frac{\\Delta Y}{3} = \\pm 2\\,4^{\\,d}.\n \\]\n Le quantum minimal<\/em> (sur toutes les colonnes) est donc \\(\\boxed{2}\\) (cas \\(d=0\\)).<\/p>\n<\/div>\n\n\n\n\n\n\n\n

    4) Mini-table : exemples de pas de D<\/em> par colonne<\/h3>\n\n

    Pour illustrer \\(\\Delta D=\\pm 2\\cdot 4^d\\), on choisit, pour chaque \\(d\\), une congruence de \\(r\\) qui donne des liens \\(Y=3D\\pm 1\\), et on avance d\u2019un cran dans la m\u00eame<\/em> classe (donc \\(\\Delta r=+6\\)).<\/p>\n\n\n \n \n \n \n \n \n \n
    Colonne \\(d\\)<\/th>\n Choix de \\(r\\) (classe mod 3)<\/th>\n Cellule \\(Y=L_{r,d}\\)<\/th>\n Distance \\(D\\) (avec \\(Y=3D\\pm1\\))<\/th>\n \\(\\Delta D\\) observ\u00e9<\/th>\n <\/tr>\n <\/thead>\n
    0<\/strong><\/td>\n \\(r\\equiv 1 \\pmod 3\\) (odd) : \\(r=1,7,13\\)<\/td>\n \\(Y=r=1,7,13\\)<\/td>\n \\((D=0,2,4)\\) car \\(Y=3D+1\\)<\/td>\n +2<\/strong> \u00e0 chaque pas<\/td>\n <\/tr>\n \n
    1<\/strong><\/td>\n \\(r\\equiv 0 \\pmod 3\\) (odd) : \\(r=3,9,15\\)<\/td>\n \\(Y=4r+1=13,37,61\\)<\/td>\n \\((D=4,12,20)\\) car \\(Y=3D+1\\)<\/td>\n +8<\/strong> (= \\(2\\cdot 4^1\\))<\/td>\n <\/tr>\n \n
    2<\/strong><\/td>\n \\(r\\equiv 2 \\pmod 3\\) (odd) : \\(r=5,11,17\\)<\/td>\n \\(Y=16r+5=85,181,277\\)<\/td>\n \\((D=28,60,92)\\) car \\(Y=3D+1\\)<\/td>\n +32<\/strong> (= \\(2\\cdot 4^2\\))<\/td>\n <\/tr>\n <\/tbody>\n<\/table>\n\n

    Remarque : la classe de \\(r\\) d\u00e9pend de \\(d\\) via le cycle modulo 3 de \\( \\frac{4^d-1}{3}\\) (p\u00e9riode 3). Ici, on choisit toujours une classe qui donne \\(Y\\equiv 1\\pmod 3\\) (branche \\(+\\)); la branche \\(\u2212\\) se traite de la m\u00eame fa\u00e7on.<\/p>\n\n\n\n\n\n\n\n

    5) \u201cBudget de distance\u201d : pourquoi un cycle ne peut pas se refermer<\/h3>\n\n

    Sur une boucle hypoth\u00e9tique de longueur \\(L\\), soit \\(q\\ge 1\\) le nombre de reculs \u201c\\(-\\frac14\\)\u201d.<\/p>\n

      \n
    • Chaque recul \u201c\\(-\\frac14\\)\u201d divise<\/strong> la partie distance<\/em> (li\u00e9e au lien \\(Y=3D\\pm1\\)) par \\(\\approx 4\\) (exactement \\(D\\mapsto \\frac{D}{4}\\) sur \\(+\\) quand \\(4\\mid D\\), et \\(D\\mapsto \\frac{D-2}{4}\\) sur \\(\u2212\\)).<\/li>\n
    • Entre deux reculs, les pas \u201c\\(+1\\)\u201d ne peuvent modifier \\(D\\) que par le quantum<\/strong> \\(\\pm 2\\cdot 4^{\\,d}\\) correspondant \u00e0 la colonne courante \\(d\\). En particulier, ils ne permettent que des micro-ajustements<\/em>, et jamais<\/u> des variations unitaires.<\/li>\n<\/ul>\n\n

      Heuristique de fermeture impossible : apr\u00e8s \\(q\\) contractions, l\u2019\u00e9chelle de \\(D\\) a \u00e9t\u00e9 r\u00e9duite d\u2019un facteur \\(\\sim 4^{\\,q}\\). M\u00eame en \u201cempilant\u201d les \\(L-q\\) pas \\(+1\\), on ne peut pas reconstituer exactement l\u2019\u00e9tat initial, car les ajustements disponibles sont discr\u00e9tis\u00e9s par le quantum \\(\\pm 2\\cdot 4^{\\,d}\\) et l\u2019horizontale a recul\u00e9 (colonne \\(n\\mapsto n-q\\)). En formalisant avec un potentiel \\(\\Psi = a\\cdot n + b\\cdot |D|\\), chaque bloc \u201cquelques \\(+1\\) puis un \\(-\\frac14\\)\u201d donne \\(\\Delta \\Psi<0\\), interdisant tout cycle non trivial.<\/p>\n\n\n\n\n\n\n\n

      6) Exemples de trajectoires (conjoncture seule)<\/h3>\n\n
      \n
      \n

      D\u00e9part 19<\/h4>\n

      \\(19\\equiv 3\\) \u2192 \\(+1\\) \u2192 \\(20\\equiv 0\\) \u2192 \\(+1\\) \u2192 \\(21\\equiv 1\\) \u2192 \\((21-1)\/4=5\\) \u2192 \\((5-1)\/4=1\\) \u2192 \\((1-1)\/4=0\\) \u2192 \\(+1\\) \u2192 \\(1\\) \u2192 \\(0\\to1\\to\\cdots\\)<\/p>\n

      Cha\u00eene :<\/strong> 19 \u2192 20 \u2192 21 \u2192 5 \u2192 1 \u2192 0 \u2192 1 \u2192 0 \u2192 \u2026<\/p>\n <\/div>\n

      \n

      D\u00e9part 17<\/h4>\n

      \\(17\\equiv 1\\) \u2192 \\((17-1)\/4=4\\) \u2192 \\(+1\\) \u2192 \\(5\\) \u2192 \\((5-1)\/4=1\\) \u2192 \\((1-1)\/4=0\\) \u2192 \\(+1\\) \u2192 \\(1\\) \u2192 \\(0\\to1\\to\\cdots\\)<\/p>\n

      Cha\u00eene :<\/strong> 17 \u2192 4 \u2192 5 \u2192 1 \u2192 0 \u2192 1 \u2192 0 \u2192 \u2026<\/p>\n <\/div>\n<\/div>\n\n\n\n\n\n\n\n

      7) Cheat-sheet (dictionnaire rapide)<\/h3>\n
        \n
      • \u22121\/4<\/code> (quand \\( \\equiv 1\\pmod 4\\)) = colonne \u22121<\/strong> dans \\(L_{r,n}\\) ; c\u00f4t\u00e9 Collatz : \\(k=\\nu_2(3y+1)\\mapsto k-2\\).<\/li>\n
      • +1<\/code> = glissement vertical NE\/SE sur la m\u00eame diagonale<\/strong> (m\u00eame \\(d\\)), donc changements de ligne \\(r\\) contraints par la congruence mod 3.<\/li>\n
      • Distance<\/strong> \\(D\\) (lignes lien \\(Y=3D\\pm1\\)) : \\(D\\) est pair<\/strong> ; sur la colonne \\(d\\), sa granularit\u00e9 est \\(\\Delta D=\\pm 2\\cdot 4^{\\,d}\\) (quantum minimal global \\(=2\\)).<\/li>\n
      • Cycle-killer<\/strong> : contraction syst\u00e9matique au moindre recul \\(\\Rightarrow\\) impossibilit\u00e9 de compenser par des sauts discrets en \\(D\\) \\(\\Rightarrow\\) aucun cycle non trivial.<\/li>\n<\/ul>\n\n
        \n\n

        \n Astuce pratique.<\/em> Pour \u201clire\u201d un recul sur une cellule \\(y=L_{r,n}\\), on projette\n \\(y\\mapsto \\frac{y-1}{4}=L_{r,n-1}\\) ; pour \u201clire\u201d un glissement \\(+1\\), on reste \u00e0 r\u00e9solution \\(4^{\\,d}\\) et on passe \u00e0 la ligne admissible suivante dans la m\u00eame classe modulo 3, ce qui force \\(\\Delta r=\\pm6\\) et donc \\(\\Delta D=\\pm 2\\cdot 4^{\\,d}\\).\n<\/p>\n","protected":false},"excerpt":{"rendered":"

        Conjoncture \u201c\u22121\/4 si possible, sinon +1\u201d \u2014 Lien complet avec Collatz compress\u00e9 et la distance D R\u00e8gle (sur les entiers) : \\[ f(n)= \\begin{cases} \\frac{n-1}{4}, & \\text{si } n\\equiv 1\\pmod 4,\\\\[4pt] n+1, & \\text{sinon.} \\end{cases} \\] On montre : (i) pas de cycle non trivial (tout converge vers \\(0\\leftrightarrow 1\\)) ; (ii) traduction exacte dans […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"saved_in_kubio":false,"footnotes":""},"categories":[1],"tags":[436],"class_list":["post-56534","post","type-post","status-publish","format-standard","hentry","category-non-classe","tag-math"],"_links":{"self":[{"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/posts\/56534","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/comments?post=56534"}],"version-history":[{"count":1,"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/posts\/56534\/revisions"}],"predecessor-version":[{"id":56535,"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/posts\/56534\/revisions\/56535"}],"wp:attachment":[{"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/media?parent=56534"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/categories?post=56534"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/4.exstyle.fr\/le-blog-photo\/wp-json\/wp\/v2\/tags?post=56534"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}