Of Darkness & Light

Of Darkness & Light

Collatz Conjecture | Part Nine

46 min · 5. Juli 2026
Loslegen
Episode Collatz Conjecture | Part Nine Cover

Beschreibung

Collatz Conjecture | Part Nine Let’s Do This One First Check out Daphne’s Tree Farm [https://harmless-racer-3fc.notion.site/Daphne-s-Tree-Farm-38e807e3da59803e93d7d0136a5969a1?pvs=73] - My Wiki of Wikis (Not an Orchard) Formal theorem list Below is a clean formalization of nodes 1–15 as a theorem-lemma sequence with explicit hypotheses and conclusions. I’ll write them in a way that makes the dependency structure visible and separates assumptions from claims. Theorem 1. Exact symbolic model exists Hypotheses.There is a refinement index k≥k0k\ge k_0k≥k0 , a finite symbolic state set Sk∗S_k^\astSk∗ , a terminal basin Bk∗⊆Sk∗B_k^\ast\subseteq S_k^\astBk∗ ⊆Sk∗ , a bad set Ek∗⊆Sk∗E_k^\ast\subseteq S_k^\astEk∗ ⊆Sk∗ , and a coding map ιk:Sk∗→N.\iota_k:S_k^\ast\to \mathbb{N}.ιk :Sk∗ →N. Conclusion.The symbolic model is defined on a nonempty finite state space and represents integer states through ιk\iota_kιk . Theorem 2. Deterministic transition lemma Hypotheses.There is a transition map Fk:Sk∗→Sk∗F_k:S_k^\ast\to S_k^\astFk :Sk∗ →Sk∗ such that for all s∈Sk∗s\in S_k^\asts∈Sk∗ , ιk(Fk(s))=T(ιk(s)),\iota_k(F_k(s))=T(\iota_k(s)),ιk (Fk (s))=T(ιk (s)), where TTT is the accelerated Collatz map on integers. Conclusion.The symbolic dynamics are deterministic, and symbolic orbits intertwine exactly with integer orbits. Theorem 3. Finite cover lemma Hypotheses.For each kkk, the sets Sk∗S_k^\astSk∗ and Ek∗E_k^\astEk∗ are finite. Conclusion.Every level has finitely many symbolic states and finitely many exceptional states. Theorem 4. Potential existence lemma Hypotheses.There is a real-valued function ϕk:Sk∗→R\phi_k:S_k^\ast\to\mathbb{R}ϕk :Sk∗ →R, a constant δ>0\delta>0δ>0, and weights wk(s→t)w_k(s\to t)wk (s→t) on edges such that wk(s→t)+ϕk(t)−ϕk(s)≤−δw_k(s\to t)+\phi_k(t)-\phi_k(s)\le -\deltawk (s→t)+ϕk (t)−ϕk (s)≤−δ for every nonexceptional edge s→ts\to ts→t outside Ek∗E_k^\astEk∗ . Conclusion.The level kkk dynamics admit a strict Lyapunov-type descent function. Theorem 5. Potential inequality solution theorem Hypotheses.The inequality system ϕk(s)−ϕk(t)≥wk(s→t)+δ\phi_k(s)-\phi_k(t)\ge w_k(s\to t)+\deltaϕk (s)−ϕk (t)≥wk (s→t)+δ is feasible on the finite nonterminal subgraph. Conclusion.There exists at least one potential ϕk\phi_kϕk satisfying the strict descent inequalities. Theorem 6. Uniform boundedness lemma Hypotheses.There exist basepoints rk∈Sk∗r_k\in S_k^\astrk ∈Sk∗ and constants M<∞M<\inftyM<∞ such that ∣ϕk(s)−ϕk(rk)∣≤M|\phi_k(s)-\phi_k(r_k)|\le M∣ϕk (s)−ϕk (rk )∣≤M for all kkk and all s∈Sk∗s\in S_k^\asts∈Sk∗ . Conclusion.The family {ϕk}\{\phi_k\}{ϕk } is uniformly bounded modulo additive constants across the tower. Theorem 7. Compatibility under refinement lemma Hypotheses.There are refinement maps πk+1,k:Sk+1∗→Sk∗\pi_{k+1,k}:S_{k+1}^\ast\to S_k^\astπk+1,k :Sk+1∗ →Sk∗ and potentials satisfy ϕk+1(x)=ϕk(πk+1,k(x))+εk(x),\phi_{k+1}(x)=\phi_k(\pi_{k+1,k}(x))+\varepsilon_k(x),ϕk+1 (x)=ϕk (πk+1,k (x))+εk (x), with uniformly bounded error ∣εk(x)∣≤ϵ|\varepsilon_k(x)|\le \epsilon∣εk (x)∣≤ϵ. Conclusion.The refined level inherits the coarse structure up to controlled perturbation. Theorem 8. Uniform descent persistence lemma Hypotheses.The coarse level satisfies strict descent with margin δ\deltaδ, and refinement errors in both weights and potentials are bounded by ϵ\epsilonϵ, with 3ϵ<δ3\epsilon<\delta3ϵ<δ. Conclusion.The refined level satisfies strict descent with margin δ′=δ−3ϵ>0.\delta’=\delta-3\epsilon>0.δ′=δ−3ϵ>0. Theorem 9. Refinement-stable bad-set theorem Hypotheses.The bad set Ek∗E_k^\astEk∗ is finite, refinement is compatible, and every new ambiguous child state is assigned to Ek+1∗E_{k+1}^\astEk+1∗ . Conclusion.The refined bad set Ek+1∗E_{k+1}^\astEk+1∗ remains finite and structurally controlled, and the descent inequalities hold outside it. Theorem 10. Cycle exclusion lemma Hypotheses.A finite directed graph carries a potential ϕk\phi_kϕk satisfying strict descent by δ>0\delta>0δ>0 on every nonterminal edge. Conclusion.There is no directed cycle entirely contained in the nonterminal region. Theorem 11. Finite verification lemma Hypotheses.The exceptional set Ek∗E_k^\astEk∗ is finite, and each s∈Ek∗s\in E_k^\asts∈Ek∗ has an explicitly computable orbit entering Bk∗B_k^\astBk∗ . Conclusion.Every exceptional state is verified to reach the terminal basin in finitely many steps. Theorem 12. Finite descent termination lemma Hypotheses.The graph Gk∗G_k^\astGk∗ is finite and deterministic, strict descent holds outside Ek∗E_k^\astEk∗ , and every exceptional state is finitely verified. Conclusion.Every orbit reaches Bk∗B_k^\astBk∗ in finite time. Theorem 13. Symbolic-to-integer lift theorem Hypotheses.The coding map ιk\iota_kιk is exact: ιk(Fk(s))=T(ιk(s)),\iota_k(F_k(s))=T(\iota_k(s)),ιk (Fk (s))=T(ιk (s)), and symbolic orbits reach Bk∗B_k^\astBk∗ . Conclusion.The corresponding integer orbits reach the integer terminal basin {1,2,4}\{1,2,4\}{1,2,4}. Theorem 14. Global exhaustion and closure theorem Hypotheses.The union of the refinement tower covers all positive integers, the exact coding maps are compatible with refinement, and the only terminal basin is Bk∗↦{1,2,4}B_k^\ast\mapsto \{1,2,4\}Bk∗ ↦{1,2,4}. Conclusion.Every positive integer orbit enters {1,2,4}\{1,2,4\}{1,2,4}, and no other terminal attractor exists. Theorem 15. Full tower convergence theorem Hypotheses.Theorems 1–14 all hold for the actual Collatz dynamics. Conclusion.The Collatz conjecture is true: every positive integer orbit eventually reaches {1,2,4}\{1,2,4\}{1,2,4}. Dependency chain A minimal reading order is: * Theorems 1–3 establish the model. * Theorems 4–9 establish uniform descent and refinement stability. * Theorems 10–12 turn descent into finite termination. * Theorems 13–14 transfer termination to the integers and globalize it. * Theorem 15 is the final assembly. What is still conjectural The sequence is formally coherent, but the hard open work is proving that the actual Collatz map satisfies the hypotheses of Theorems 1, 4, 7, and 14. Those are the structural gates that would have to be crossed for this to become a real proof. Plan for a full Collatz proof pursuit * Define the exact dynamical model.Work with the accelerated odd-only Collatz map, then build a symbolic model that represents every integer exactly and deterministically. * Prove the coding is exact.Show the symbolic transition matches the integer transition step-for-step, with no ambiguity or missing states. * Build a finite refinement tower.Construct successive finite state graphs Gk∗ whose union covers all positive integers and whose refinement maps preserve the dynamics. * Find a Lyapunov potential.Solve the potential inequalities on each level so that every nonexceptional transition has a uniform negative drift. * Make the descent uniform across levels.Prove the same descent margin survives refinement, so the potential does not weaken as the tower gets finer. * Control the bad set.Show the exceptional set at each level is finite, stable under refinement, and fully verifiable by direct computation or finite arguments. * Exclude nonterminal cycles.Use the strict potential decrease to rule out every directed cycle outside the terminal basin. * Prove finite termination on each level.Combine finiteness, determinism, cycle exclusion, and the bad-set control to show every symbolic orbit reaches the terminal basin in finite time. * Lift symbolic termination to integers.Use exactness to transfer symbolic convergence back to the original integer Collatz dynamics. * Prove global exhaustion and closure.Show every positive integer appears somewhere in the tower, and the only terminal basin corresponds to {1,2,4}. * Assemble the final theorem.Combine coverage, descent, stability, exactness, and closure into the full Collatz conclusion. Main bottlenecks * Constructing an exact model for all integers. * Proving a uniform negative drift that survives refinement. * Controlling exceptional states without hidden infinite growth. * Establishing that the only terminal basin is {1,2,4}. Best proof strategy A strong path is to combine: * modular arithmetic, * finite graph theory, * linear inequalities or shortest-path potentials, * and refinement induction. That gives the cleanest route from local descent statements to a global proof attempt. Manuscript theorem Assumptions Assume the following hypotheses hold for a refinement tower {Sk}k≥k0\{S_k\}_{k\ge k_0}{Sk }k≥k0 of symbolic models of the accelerated Collatz dynamics: * (H1)(H_1)(H1 ) Exact coding. For each level kkk, there is a coding map ιk:Sk→Nodd\iota_k:S_k\to\mathbb{N}_{\mathrm{odd}}ιk :Sk →Nodd and a deterministic transition Fk:Sk→SkF_k:S_k\to S_kFk :Sk →Sk such that ιk(Fk(s))=T(ιk(s))\iota_k(F_k(s))=T(\iota_k(s))ιk (Fk (s))=T(ιk (s)) for all s∈Sks\in S_ks∈Sk , where T(n)=3n+12v2(3n+1)T(n)=\frac{3n+1}{2^{v_2(3n+1)}}T(n)=2v2 (3n+1)3n+1 . * (H2)(H_2)(H2 ) Finite state spaces. Each SkS_kSk is finite. * (H3)(H_3)(H3 ) Finite exceptional sets. Each exceptional set Ek⊆SkE_k\subseteq S_kEk ⊆Sk is finite. * (H4)(H_4)(H4 ) Uniform descent. There exists a constant δ>0\delta>0δ>0 and potentials ϕk:Sk→R\phi_k:S_k\to\mathbb{R}ϕk :Sk →R such that every nonexceptional edge s→ts\to ts→t satisfies wk(s→t)+ϕk(t)−ϕk(s)≤−δ.w_k(s\to t)+\phi_k(t)-\phi_k(s)\le -\delta.wk (s→t)+ϕk (t)−ϕk (s)≤−δ. * (H5)(H_5)(H5 ) Refinement stability. The refinement maps preserve exactness and the descent structure up to uniformly bounded error. * (H6)(H_6)(H6 ) Exceptional-set control. The bad sets remain finite and finitely verifiable under refinement. * (H7)(H_7)(H7 ) Exhaustion. The tower covers all positive integers. * (H8)(H_8)(H8 ) Closure. The only terminal basin in the integer dynamics is {1,2,4}\{1,2,4\}{1,2,4}. Lemma dependencies * (H1)(H_1)(H1 ) depends on the exact symbolic model lemma. * (H2)(H_2)(H2 ) depends on the finite state space lemma. * (H3)(H_3)(H3 ) depends on the finite exceptional set lemma. * (H4)(H_4)(H4 ) depends on the potential inequality / Lyapunov lemma. * (H5)(H_5)(H5 ) depends on the refinement stability lemma and uniform descent persistence. * (H6)(H_6)(H6 ) depends on the exceptional-set control lemma. * (H7)(H_7)(H7 ) depends on the global exhaustion lemma. * (H8)(H_8)(H8 ) depends on the closure theorem. Proof sketch * By (H7)(H_7)(H7 ), every positive integer is represented at some symbolic level. * By (H1)(H_1)(H1 ), symbolic orbits coincide exactly with accelerated Collatz orbits. * By (H2)(H_2)(H2 ), (H3)(H_3)(H3 ), and (H4)(H_4)(H4 ), each level has finite dynamics with strict descent outside a finite exceptional set. * By (H5)(H_5)(H5 ) and (H6)(H_6)(H6 ), the descent structure and exceptional-set control persist under refinement. * Therefore every symbolic orbit reaches a terminal basin in finite time. * By (H8)(H_8)(H8 ), the only terminal basin is {1,2,4}\{1,2,4\}{1,2,4}. * Hence every positive integer Collatz orbit reaches {1,2,4}\{1,2,4\}{1,2,4} in finitely many steps. Remaining open obligations The theorem is structurally complete, but the actual Collatz proof still requires proving the hypotheses for the true dynamics. The main open obligations are: * constructing a genuinely exact all-integer symbolic model, * proving a uniform positive descent margin that survives refinement, * controlling the exceptional set without hidden infinite growth, * and proving closure of the terminal basin so that no cycle other than {1,2,4}\{1,2,4\}{1,2,4} remains. Use This version is suitable as a manuscript anchor: the assumptions are named, the logical dependencies are explicit, and the proof sketch is separated from the unresolved obligations. This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit opheliaeverfall.substack.com [https://opheliaeverfall.substack.com?utm_medium=podcast&utm_campaign=CTA_1]

Kommentare

0

Sei die erste Person, die kommentiert

Melde dich jetzt an und werde Teil der Of Darkness & Light-Community!

Loslegen

2 Monate für 1 €

Dann 4,99 € / Monat · Jederzeit kündbar.

  • Podcasts nur bei Podimo
  • 20 Stunden Hörbücher / Monat
  • Alle kostenlosen Podcasts
Loslegen

Alle Folgen

825 Folgen

Episode Collatz Conjecture | Part Ten Cover

Collatz Conjecture | Part Ten

Collatz Conjecture | Part Ten Let’s Do This One First Check out Daphne’s Tree Farm [https://harmless-racer-3fc.notion.site/Daphne-s-Tree-Farm-38e807e3da59803e93d7d0136a5969a1?pvs=73] - My Wiki of Wikis (Not an Orchard) A Refinement-Tower Framework for the Collatz Conjecture Abstract We develop a proof-carrying symbolic framework for the accelerated Collatz map on positive integers. The manuscript organizes exact coding, finite refinement levels, Lyapunov-style descent certificates, exceptional-set control, and terminal basin closure into a structured theorem stack. The main result is conditional on verifying a finite family of explicit hypotheses that together force every positive integer into the classical cycle {1,2,4} This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit opheliaeverfall.substack.com [https://opheliaeverfall.substack.com?utm_medium=podcast&utm_campaign=CTA_1]

5. Juli 20261 h 13 min
Episode Collatz Conjecture | Part Nine Cover

Collatz Conjecture | Part Nine

Collatz Conjecture | Part Nine Let’s Do This One First Check out Daphne’s Tree Farm [https://harmless-racer-3fc.notion.site/Daphne-s-Tree-Farm-38e807e3da59803e93d7d0136a5969a1?pvs=73] - My Wiki of Wikis (Not an Orchard) Formal theorem list Below is a clean formalization of nodes 1–15 as a theorem-lemma sequence with explicit hypotheses and conclusions. I’ll write them in a way that makes the dependency structure visible and separates assumptions from claims. Theorem 1. Exact symbolic model exists Hypotheses.There is a refinement index k≥k0k\ge k_0k≥k0 , a finite symbolic state set Sk∗S_k^\astSk∗ , a terminal basin Bk∗⊆Sk∗B_k^\ast\subseteq S_k^\astBk∗ ⊆Sk∗ , a bad set Ek∗⊆Sk∗E_k^\ast\subseteq S_k^\astEk∗ ⊆Sk∗ , and a coding map ιk:Sk∗→N.\iota_k:S_k^\ast\to \mathbb{N}.ιk :Sk∗ →N. Conclusion.The symbolic model is defined on a nonempty finite state space and represents integer states through ιk\iota_kιk . Theorem 2. Deterministic transition lemma Hypotheses.There is a transition map Fk:Sk∗→Sk∗F_k:S_k^\ast\to S_k^\astFk :Sk∗ →Sk∗ such that for all s∈Sk∗s\in S_k^\asts∈Sk∗ , ιk(Fk(s))=T(ιk(s)),\iota_k(F_k(s))=T(\iota_k(s)),ιk (Fk (s))=T(ιk (s)), where TTT is the accelerated Collatz map on integers. Conclusion.The symbolic dynamics are deterministic, and symbolic orbits intertwine exactly with integer orbits. Theorem 3. Finite cover lemma Hypotheses.For each kkk, the sets Sk∗S_k^\astSk∗ and Ek∗E_k^\astEk∗ are finite. Conclusion.Every level has finitely many symbolic states and finitely many exceptional states. Theorem 4. Potential existence lemma Hypotheses.There is a real-valued function ϕk:Sk∗→R\phi_k:S_k^\ast\to\mathbb{R}ϕk :Sk∗ →R, a constant δ>0\delta>0δ>0, and weights wk(s→t)w_k(s\to t)wk (s→t) on edges such that wk(s→t)+ϕk(t)−ϕk(s)≤−δw_k(s\to t)+\phi_k(t)-\phi_k(s)\le -\deltawk (s→t)+ϕk (t)−ϕk (s)≤−δ for every nonexceptional edge s→ts\to ts→t outside Ek∗E_k^\astEk∗ . Conclusion.The level kkk dynamics admit a strict Lyapunov-type descent function. Theorem 5. Potential inequality solution theorem Hypotheses.The inequality system ϕk(s)−ϕk(t)≥wk(s→t)+δ\phi_k(s)-\phi_k(t)\ge w_k(s\to t)+\deltaϕk (s)−ϕk (t)≥wk (s→t)+δ is feasible on the finite nonterminal subgraph. Conclusion.There exists at least one potential ϕk\phi_kϕk satisfying the strict descent inequalities. Theorem 6. Uniform boundedness lemma Hypotheses.There exist basepoints rk∈Sk∗r_k\in S_k^\astrk ∈Sk∗ and constants M<∞M<\inftyM<∞ such that ∣ϕk(s)−ϕk(rk)∣≤M|\phi_k(s)-\phi_k(r_k)|\le M∣ϕk (s)−ϕk (rk )∣≤M for all kkk and all s∈Sk∗s\in S_k^\asts∈Sk∗ . Conclusion.The family {ϕk}\{\phi_k\}{ϕk } is uniformly bounded modulo additive constants across the tower. Theorem 7. Compatibility under refinement lemma Hypotheses.There are refinement maps πk+1,k:Sk+1∗→Sk∗\pi_{k+1,k}:S_{k+1}^\ast\to S_k^\astπk+1,k :Sk+1∗ →Sk∗ and potentials satisfy ϕk+1(x)=ϕk(πk+1,k(x))+εk(x),\phi_{k+1}(x)=\phi_k(\pi_{k+1,k}(x))+\varepsilon_k(x),ϕk+1 (x)=ϕk (πk+1,k (x))+εk (x), with uniformly bounded error ∣εk(x)∣≤ϵ|\varepsilon_k(x)|\le \epsilon∣εk (x)∣≤ϵ. Conclusion.The refined level inherits the coarse structure up to controlled perturbation. Theorem 8. Uniform descent persistence lemma Hypotheses.The coarse level satisfies strict descent with margin δ\deltaδ, and refinement errors in both weights and potentials are bounded by ϵ\epsilonϵ, with 3ϵ<δ3\epsilon<\delta3ϵ<δ. Conclusion.The refined level satisfies strict descent with margin δ′=δ−3ϵ>0.\delta’=\delta-3\epsilon>0.δ′=δ−3ϵ>0. Theorem 9. Refinement-stable bad-set theorem Hypotheses.The bad set Ek∗E_k^\astEk∗ is finite, refinement is compatible, and every new ambiguous child state is assigned to Ek+1∗E_{k+1}^\astEk+1∗ . Conclusion.The refined bad set Ek+1∗E_{k+1}^\astEk+1∗ remains finite and structurally controlled, and the descent inequalities hold outside it. Theorem 10. Cycle exclusion lemma Hypotheses.A finite directed graph carries a potential ϕk\phi_kϕk satisfying strict descent by δ>0\delta>0δ>0 on every nonterminal edge. Conclusion.There is no directed cycle entirely contained in the nonterminal region. Theorem 11. Finite verification lemma Hypotheses.The exceptional set Ek∗E_k^\astEk∗ is finite, and each s∈Ek∗s\in E_k^\asts∈Ek∗ has an explicitly computable orbit entering Bk∗B_k^\astBk∗ . Conclusion.Every exceptional state is verified to reach the terminal basin in finitely many steps. Theorem 12. Finite descent termination lemma Hypotheses.The graph Gk∗G_k^\astGk∗ is finite and deterministic, strict descent holds outside Ek∗E_k^\astEk∗ , and every exceptional state is finitely verified. Conclusion.Every orbit reaches Bk∗B_k^\astBk∗ in finite time. Theorem 13. Symbolic-to-integer lift theorem Hypotheses.The coding map ιk\iota_kιk is exact: ιk(Fk(s))=T(ιk(s)),\iota_k(F_k(s))=T(\iota_k(s)),ιk (Fk (s))=T(ιk (s)), and symbolic orbits reach Bk∗B_k^\astBk∗ . Conclusion.The corresponding integer orbits reach the integer terminal basin {1,2,4}\{1,2,4\}{1,2,4}. Theorem 14. Global exhaustion and closure theorem Hypotheses.The union of the refinement tower covers all positive integers, the exact coding maps are compatible with refinement, and the only terminal basin is Bk∗↦{1,2,4}B_k^\ast\mapsto \{1,2,4\}Bk∗ ↦{1,2,4}. Conclusion.Every positive integer orbit enters {1,2,4}\{1,2,4\}{1,2,4}, and no other terminal attractor exists. Theorem 15. Full tower convergence theorem Hypotheses.Theorems 1–14 all hold for the actual Collatz dynamics. Conclusion.The Collatz conjecture is true: every positive integer orbit eventually reaches {1,2,4}\{1,2,4\}{1,2,4}. Dependency chain A minimal reading order is: * Theorems 1–3 establish the model. * Theorems 4–9 establish uniform descent and refinement stability. * Theorems 10–12 turn descent into finite termination. * Theorems 13–14 transfer termination to the integers and globalize it. * Theorem 15 is the final assembly. What is still conjectural The sequence is formally coherent, but the hard open work is proving that the actual Collatz map satisfies the hypotheses of Theorems 1, 4, 7, and 14. Those are the structural gates that would have to be crossed for this to become a real proof. Plan for a full Collatz proof pursuit * Define the exact dynamical model.Work with the accelerated odd-only Collatz map, then build a symbolic model that represents every integer exactly and deterministically. * Prove the coding is exact.Show the symbolic transition matches the integer transition step-for-step, with no ambiguity or missing states. * Build a finite refinement tower.Construct successive finite state graphs Gk∗ whose union covers all positive integers and whose refinement maps preserve the dynamics. * Find a Lyapunov potential.Solve the potential inequalities on each level so that every nonexceptional transition has a uniform negative drift. * Make the descent uniform across levels.Prove the same descent margin survives refinement, so the potential does not weaken as the tower gets finer. * Control the bad set.Show the exceptional set at each level is finite, stable under refinement, and fully verifiable by direct computation or finite arguments. * Exclude nonterminal cycles.Use the strict potential decrease to rule out every directed cycle outside the terminal basin. * Prove finite termination on each level.Combine finiteness, determinism, cycle exclusion, and the bad-set control to show every symbolic orbit reaches the terminal basin in finite time. * Lift symbolic termination to integers.Use exactness to transfer symbolic convergence back to the original integer Collatz dynamics. * Prove global exhaustion and closure.Show every positive integer appears somewhere in the tower, and the only terminal basin corresponds to {1,2,4}. * Assemble the final theorem.Combine coverage, descent, stability, exactness, and closure into the full Collatz conclusion. Main bottlenecks * Constructing an exact model for all integers. * Proving a uniform negative drift that survives refinement. * Controlling exceptional states without hidden infinite growth. * Establishing that the only terminal basin is {1,2,4}. Best proof strategy A strong path is to combine: * modular arithmetic, * finite graph theory, * linear inequalities or shortest-path potentials, * and refinement induction. That gives the cleanest route from local descent statements to a global proof attempt. Manuscript theorem Assumptions Assume the following hypotheses hold for a refinement tower {Sk}k≥k0\{S_k\}_{k\ge k_0}{Sk }k≥k0 of symbolic models of the accelerated Collatz dynamics: * (H1)(H_1)(H1 ) Exact coding. For each level kkk, there is a coding map ιk:Sk→Nodd\iota_k:S_k\to\mathbb{N}_{\mathrm{odd}}ιk :Sk →Nodd and a deterministic transition Fk:Sk→SkF_k:S_k\to S_kFk :Sk →Sk such that ιk(Fk(s))=T(ιk(s))\iota_k(F_k(s))=T(\iota_k(s))ιk (Fk (s))=T(ιk (s)) for all s∈Sks\in S_ks∈Sk , where T(n)=3n+12v2(3n+1)T(n)=\frac{3n+1}{2^{v_2(3n+1)}}T(n)=2v2 (3n+1)3n+1 . * (H2)(H_2)(H2 ) Finite state spaces. Each SkS_kSk is finite. * (H3)(H_3)(H3 ) Finite exceptional sets. Each exceptional set Ek⊆SkE_k\subseteq S_kEk ⊆Sk is finite. * (H4)(H_4)(H4 ) Uniform descent. There exists a constant δ>0\delta>0δ>0 and potentials ϕk:Sk→R\phi_k:S_k\to\mathbb{R}ϕk :Sk →R such that every nonexceptional edge s→ts\to ts→t satisfies wk(s→t)+ϕk(t)−ϕk(s)≤−δ.w_k(s\to t)+\phi_k(t)-\phi_k(s)\le -\delta.wk (s→t)+ϕk (t)−ϕk (s)≤−δ. * (H5)(H_5)(H5 ) Refinement stability. The refinement maps preserve exactness and the descent structure up to uniformly bounded error. * (H6)(H_6)(H6 ) Exceptional-set control. The bad sets remain finite and finitely verifiable under refinement. * (H7)(H_7)(H7 ) Exhaustion. The tower covers all positive integers. * (H8)(H_8)(H8 ) Closure. The only terminal basin in the integer dynamics is {1,2,4}\{1,2,4\}{1,2,4}. Lemma dependencies * (H1)(H_1)(H1 ) depends on the exact symbolic model lemma. * (H2)(H_2)(H2 ) depends on the finite state space lemma. * (H3)(H_3)(H3 ) depends on the finite exceptional set lemma. * (H4)(H_4)(H4 ) depends on the potential inequality / Lyapunov lemma. * (H5)(H_5)(H5 ) depends on the refinement stability lemma and uniform descent persistence. * (H6)(H_6)(H6 ) depends on the exceptional-set control lemma. * (H7)(H_7)(H7 ) depends on the global exhaustion lemma. * (H8)(H_8)(H8 ) depends on the closure theorem. Proof sketch * By (H7)(H_7)(H7 ), every positive integer is represented at some symbolic level. * By (H1)(H_1)(H1 ), symbolic orbits coincide exactly with accelerated Collatz orbits. * By (H2)(H_2)(H2 ), (H3)(H_3)(H3 ), and (H4)(H_4)(H4 ), each level has finite dynamics with strict descent outside a finite exceptional set. * By (H5)(H_5)(H5 ) and (H6)(H_6)(H6 ), the descent structure and exceptional-set control persist under refinement. * Therefore every symbolic orbit reaches a terminal basin in finite time. * By (H8)(H_8)(H8 ), the only terminal basin is {1,2,4}\{1,2,4\}{1,2,4}. * Hence every positive integer Collatz orbit reaches {1,2,4}\{1,2,4\}{1,2,4} in finitely many steps. Remaining open obligations The theorem is structurally complete, but the actual Collatz proof still requires proving the hypotheses for the true dynamics. The main open obligations are: * constructing a genuinely exact all-integer symbolic model, * proving a uniform positive descent margin that survives refinement, * controlling the exceptional set without hidden infinite growth, * and proving closure of the terminal basin so that no cycle other than {1,2,4}\{1,2,4\}{1,2,4} remains. Use This version is suitable as a manuscript anchor: the assumptions are named, the logical dependencies are explicit, and the proof sketch is separated from the unresolved obligations. This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit opheliaeverfall.substack.com [https://opheliaeverfall.substack.com?utm_medium=podcast&utm_campaign=CTA_1]

5. Juli 202646 min