Cover Image

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Fujimoto, Nobuki, Claude, Anthropic AI, Gemini, Google AI
Format:	Recurso digital
Published:	Zenodo 2026
Subjects:	Collatz conjecture carry propagation spectral gap Fibonacci Lean4 formal verification Perelman correspondence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the non-existence of non-trivial Collatz cycles: a conditional formal proof in Lean 4 with documented structural obstructions
by: Merle, Eric
Published: (2026)

Fake Cycles, Spectral Gap, and the BIP Property in Collatz Dynamics
by: okabe, arata
Published: (2026)

Collatz Conjecture: Universal Cycle Descent (27n+19)/32 < n ? Lean4 Verified for All n>=4
by: Fujimoto, Nobuki, et al.
Published: (2026)

A Lean 4 Proof Architecture for a Normalized 4D Mass Gap Theorem Phase 3 Spectral Gap Formalization and External-Audit Boundary
by: Itakura, Hidetoshi
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Representational Incompleteness (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Closure (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Aps Recursion Uniformization (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Observer Non Exhaustability (Lean formalization)
by: Spivack, Nova
Published: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
by: Spivack, Nova
Published: (2026)

UGP/GTE Lean formalization
by: Spivack, Nova
Published: (2026)

UCT: Number Theory in E₈ Geometric Space
by: Novgorodtsev, Aleksei
Published: (2026)

Lean Nems (Lean formalization)
by: Spivack, Nova
Published: (2026)

Collatz Conjecture: 100% Universal Coverage ? All 10 Mod Cases Proven forall-n, Zero Sorry, Lean4 Verified
by: Fujimoto, Nobuki, et al.
Published: (2026)

Proof of the Collatz Conjecture through the Inverse Expansion Graph
by: Olgac, Enis
Published: (2025)

Sequence of Syracuse : Extensions of types 3n+b and 5n+1
by: BALLASI, Jacques
Published: (2025)

Sequence of Syracuse : Extensions of types 3n+b and 5n+1
by: BALLASI, Jacques
Published: (2025)

Methodological Generalization of the Collatz Sequences to (1 + 2^k )n + S_k(n) with Computational Verification for k = 1 up to k = 42
by: Ammar, HAMDOUS
Published: (2025)

Collatz Topology and Modular Backwash: A Structural Framework for Residue Recurrence and Folding
by: Moon, KyungUp
Published: (2025)

Collatz‑12: Python Implementation and Sanctuary Dynamics Exploration Tools
by: Harada, HIroshi
Published: (2026)

The Infinium (△₁ₓ₁): The Geometric Quantum that Generates Mathematics A Unified Review Article: From Measure and Smoothness to a Universal Categorical Scheme, Motivic Foundation, and Formal Logic (2)
by: Petrov, Alexey (KAMAZ)
Published: (2026)

Prime Density in Permutation Families with Fixed Digital Root Across Numeral Bases: An Empirical Study with a Conditional Hardy–Littlewood Framework and Machine-Verified Algebraic Results
by: Ferraiuolo, Giovanni
Published: (2026)

Foundations of the Meikyo–Shisui Theory
by: Ueoka, Yoshiki
Published: (2026)

Machine-Checkable Weak Covering for the Collatz (3x+1) Problem
by: Kawanishi, Yoshihito
Published: (2025)

A Delta-State Finite Automaton Framework for High-Energy Collatz Corridors: Exhaustive Symbolic Enumeration and Profinite State Compression
by: Moon, Kyung-Up
Published: (2026)

Considerations on the Collatz Conjecture
by: Loris, Audemir
Published: (2024)

Collatz Dynamics I: Skeleton Bound and the Elimination of Non-Trivial Cycles
by: Moon, KyungUp
Published: (2025)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
by: Matsuua, Yoshihito
Published: (2025)

The Source Code: The Golden Divisor — Every Prime Has a Fibonacci Address
by: BERTRAND, Miguel
Published: (2026)

A Universal Drift Invariant and the Resolution of the Collatz Conjecture
by: Thaler, Mario Heinrich
Published: (2025)

A Proof of the Collatz Conjecture
by: Uchikawa, Kkiyoshi
Published: (2025)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
by: Spivack, Nova
Published: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
by: Spivack, Nova
Published: (2026)

Collatz Normal Form: Time as Degree-of-Freedom Elimination and the Trace-Compressed Engine
by: Moon, KyungUp
Published: (2026)

Three Axioms for the Motive: Constructive Reverse Mathematics Meets Grothendieck's Universal Cohomology (Paper 50, Lean 4 Formalization)
by: Lee, Paul Chun-Kit
Published: (2026)

The $\Lambda$VSC One-Parameter Cosmological Model: A Unified Analysis of the Cosmological Constant, Singularities, Ultraviolet Divergence, and Hubble Tension with Lean 4 Verification
by: Huang, Tongbing
Published: (2026)

Abstract Zeta–Möbius Inversion: A Minimal Monoid-Based Schema for Formal Verification
by: Jefferson, Bob
Published: (2026)

The Shadow Collatz Conjecture: The Journey of All Integers Toward −1
by: Miyazawa, Ryosuke
Published: (2025)

V. The function φ and the extension of the 2-adic budget argument to arbitrary k_0 in the Collatz dynamics
by: Miguel Cerdá Bennassar
Published: (2026)