# Collatz Final Gate v4. 4a — Main Proof Only ## OverviewThis preprint develops a **gate-based, audit-friendly proof program** for the Collatz conjecture by separating: - **Unconditional (annealed / kernel-level) results**: spectral gap and absorption/escape estimates for a reversible “entropic Laplacian” model on the Collatz 2-adic space. - **Conditional (quenched / deterministic transfer) steps**: an explicit certification pipeline (Gate B) that would transfer the annealed gap to **pathwise, deterministic absorption**. - **Not claimed**: this version **does not claim an unconditional proof** of the Collatz conjecture for all integers. The paper is written as a “**Main Proof Only**” document: it aims to expose the logical dependencies, constants, and certification interfaces so that the remaining bottlenecks are stated in a **single pinned target**. ## Closed results (unconditional blocks) The unconditional part establishes (at the level of the entropic kernel model): - A **uniform conductance lower bound** and a **Cheeger-type Dirichlet spectral gap** in the absorbing-exterior setting, yielding an explicit gap scale of the form \ ₂₇₄₄₆ ₀², ₀>0 depending only on the even-branch weight pₑ. \- A global **Poincaré/Dirichlet gap mechanism** for the reversible contraction \ (K\) (the “entropic Laplacian” \ (C^ (): = I-K\) ), providing the annealed exponential absorption template that the deterministic proof would inherit once the activation gate is certified. These blocks are designed to be **resolution-independent** (independent of the 2-adic truncation level \ (k\) ) once the base constants are fixed. ## Gate B (remaining bottleneck; conditional) The remaining obstacle is an **arithmetic mixing / AP-dispersion certificate** (“Gate B”) that controls carry-mixing and residue dispersion at a fixed base scale \ (k_\). Informally: - If Gate B is established, then one obtains a **positive-density supply of “effective refresh” indices** (activation), enabling a **quenched transfer** from the annealed Dirichlet gap to a deterministic exponential absorption bound. This version pins the bottleneck as a **minimal target theorem** (Desired Theorem Q), a carry-buffered AP-dispersion statement on controlled modulus and window scales. The goal is to replace overly-strong “global equidistribution” demands with the **exact quantitative cancellation** needed by the Gate B pipeline. ## What is new in v4. 4a- **Sharper logical separation** of: 1) unconditional annealed gap / conductance / Cheeger infrastructure, and 2) conditional deterministic closure via Gate B. - **Pinned bottleneck formulation**: a minimal, auditable AP-dispersion target (Desired Theorem Q) intended to be the only genuinely nontrivial analytic obstruction. - **Certification interfaces**: the document emphasizes constant dashboards and explicit activation-rate formulas so that future progress on Gate B can be plugged in without restructuring the rest of the proof. ## Scope - base-scale parameters (\ (k_\), block length \ (L\), window size \ (K\), modulus cutoff \ (Q\), carry-buffer depth \ (r\) ) are explicitly named as certification knobs. (If you upload code/data in the same Zenodo record, list repository / archive DOI / checksums here. ) ## CitationIf you use or discuss this work, please cite the Zenodo record for this version. ## KeywordsCollatz conjecture; arithmetic dynamics; 2-adic dynamics; conductance; Cheeger inequality; spectral gap; Dirichlet form; small-bias; Walsh analysis; AP-dispersion; carry-mixing; annealed-to-quenched transfer.
Byoungwoo Lee (Mon,) studied this question.