Aktuálny stav výskumu
Current research status
Opravené práce z augusta 2026 uvádzajú čiastkové výsledky o kandidátnych cykloch a presné identity pre konečné úseky trajektórií. Všeobecné vylúčenie netriviálnych cyklov aj neobmedzeného rastu zostáva otvorené. Predchádzajúci záver o úplnom vylúčení nekonečného rastu bol stiahnutý.
The revised August 2026 papers give partial results on candidate cycles and exact identities for finite orbit segments. The general exclusion of nontrivial cycles and unbounded growth remains open. The previous conclusion excluding all infinite growth has been withdrawn.
Úloha 3n+1
The 3n+1 problem
Z kladného celého čísla opakovane prechádzame na \(n/2\), ak je párne, a na \(3n+1\), ak je nepárne. Domnienka hovorí, že každá takáto postupnosť dosiahne 1. Zrýchlená nepárna mapa je \(T(n)=(3n+1)/2^{v_2(3n+1)}\).
Starting from a positive integer, repeatedly use \(n/2\) for an even value and \(3n+1\) for an odd value. The conjecture states that every such sequence reaches 1. The accelerated odd map is \(T(n)=(3n+1)/2^{v_2(3n+1)}\).
Presný diofantický most
The exact Diophantine bridge
Pre kladný celočíselný vektor exponentov \(p=(p_1,\ldots,p_a)\) položme \(b=\sum_i p_i\), \(s_0=0\) a \(s_k=\sum_{i=1}^{k}p_i\).
For a positive integer exponent vector \(p=(p_1,\ldots,p_a)\), put \(b=\sum_i p_i\), \(s_0=0\), and \(s_k=\sum_{i=1}^{k}p_i\).
Podľa opraveného diofantického mosta vektor uzatvára kladný prípustný cyklus práve vtedy, keď \(D>0\) a \(D\mid S(p)\); potom \(n_0=S(p)/D\). Dôkaz používa aj cyklické rotácie, ktoré zabezpečujú celočíselnosť a prípustnosť krokov. Samotné ľubovoľné formálne slovo v zobrazeniach \(3x+1\) a \(x/2\) nemusí byť Collatzovou trajektóriou.
The corrected Diophantine bridge states that the vector closes to a positive admissible cycle exactly when \(D>0\) and \(D\mid S(p)\); then \(n_0=S(p)/D\). Its proof also uses cyclic rotations to establish integrality and admissibility of the steps. An arbitrary formal word in the maps \(3x+1\) and \(x/2\) need not be a Collatz trajectory.
Čiastkové vylúčenia cyklov
Partial cycle exclusions
Časť I vylučuje netriviálne kandidátne cykly bez exponentu 1; výnimkou je triviálne slovo zložené iba z exponentov 2. V triede \(p_i\in\{1,2\}\) vylučuje prípady s presne jedným, dvoma alebo troma výskytmi exponentu 1. Ďalšie kongruenčné certifikáty riešia vybrané podtriedy.
Part I excludes nontrivial candidate cycles with no exponent equal to 1; the all-2 word gives the trivial exception. Within \(p_i\in\{1,2\}\), it excludes cases containing exactly one, two, or three entries equal to 1. Further congruence certificates address selected subclasses.
Tieto vylúčenia nepokrývajú všetky kladné exponentové vektory. Práca výslovne uvádza zostávajúce aritmetické problémy a netvrdí dôkaz celej Collatzovej domnienky.
These exclusions do not cover all positive exponent vectors. The paper explicitly identifies the remaining arithmetic problems and does not claim a proof of the full Collatz conjecture.
Obmedzenia nekonečného rastu
Constraints on infinite growth
Časť II zachováva modulárne obmedzenia a blokové identity. Kontrakcia v 3-adickej metrike platí pre pevne zvolenú vetvu či exponentové slovo. Prepínajúca Syracuseova mapa závislá od \(v_2(3n+1)\) z toho všeobecnú kontrakciu nezískava; opravený text dokazuje jej nespojitosť v indukovanej 3-adickej topológii.
Part II retains modular restrictions and block identities. Contraction in the 3-adic metric holds for a fixed branch or exponent word. The switching Syracuse map, which depends on \(v_2(3n+1)\), does not inherit a general contraction result; the revised text proves its discontinuity in the induced 3-adic topology.
Pre neuzavretý úsek platí táto koncová identita. Cyklovú rovnicu \(Dn_0=S(p)\) možno použiť až pri \(n_a=n_0\). Ľubovoľne presné kongruenčné návraty samy osebe nedávajú rovnosť celých čísel ani dôkaz zostupu každej trajektórie.
This endpoint identity applies to a nonclosed segment. The cycle equation \(Dn_0=S(p)\) is available only when \(n_a=n_0\). Arbitrarily deep congruent returns alone do not establish equality of integers or descent of every orbit.
Opravené publikácie
Revised publications
Obe uvedené verzie boli publikované 2. augusta 2026. Rozsah výsledkov sa riadi opraveným obsahom PDF; staršie názvy a popisy záznamov na Zenode ešte môžu používať pôvodné silnejšie formulácie.
Both versions below were published on 2 August 2026. The scope of the results follows the revised PDF content; older titles and descriptions on Zenodo may still use the original stronger wording.
Historické články a numerické pozorovania
Historical articles and numerical observations
Staršie články zachovávajú vývoj výskumu a numerické pozorovania. Pozorované vzory alebo konečné výpočty samy osebe neriešia univerzálny problém. Aktuálny rozsah analytických výsledkov je uvedený v opravených prácach vyššie.
Earlier articles preserve the research history and numerical observations. Observed patterns or finite computations alone do not settle the universal problem. The revised papers above state the current scope of the analytical results.