用29种数学方法研究柯拉茨猜想，发现其难证的本质原因。
Exploring Collatz Dynamics with Human-LLM Collaboration
- 通过29种数学框架系统分析柯拉茨动力学，揭示其结构障碍。
- 证明所有非平凡循环长度均大于2的幂次，且发散点密度为0。
- 适合对数论难题和人机协作研究感兴趣的学者阅读。
我们通过约10^14次计算实验，系统分析柯拉茨猜想，获得630个形式化结果。运用29种数学范式——包括转移算子谱理论、S-单位方程、p进插值、鞅方法、模筛法、形式语言理论、级联代数、离散对数障碍和丢番图逼近——提出范式穷尽定理：所有已知促进分布收敛（“几乎所有轨道下降”）向点态收敛（“所有轨道下降”）的框架，在萨里斯堡映射上均遇不可消除的结构性障碍。无条件证明包括：(i) 萨里斯堡转移算子对所有M具有均匀谱隙，意味着模任意2的幂等分布；(ii) 任意长度L≥3的非平凡循环满足D > 2^F，且ord_D(2) > F，模D有F+1个不同剩余类；(iii) 发散起点的自然密度为0，豪斯多夫维数约0.68；(iv) 发散兼容的v-序列构成的形式语言非上下文无关；(v) 通过不变核心I_2上的谱收缩，无条件证明柱平均密度1收敛；(vi) 离散对数三重滤波在所有测试长度下实现100%循环阻断。识别出分布到点态的间隙为不可约核心，并证明其等价于发散分量。模筛法通过梅森绕行永久非空。本文未证明柯拉茨猜想，但刻画了其难证的结构性根源。29范式穷尽构成迄今最全面的柯拉茨攻击面结构调查。成果由人类与大模型协作完成，详见第12节。
原文摘要 · Abstract (English)
We present a comprehensive structural analysis of the Collatz conjecture through ~1014 computational experiments yielding 630 formal results. By systematically deploying 29 distinct mathematical paradigms--including transfer operator spectral theory, S-unit equations, p-adic interpolation, martingale methods, modular sieving, formal language theory, cascade algebra, discrete logarithm obstruction, and Diophantine approximation--we establish a Paradigm Exhaustion Theorem: every known framework for promoting distributional convergence ("almost all orbits descend") to pointwise convergence ("all orbits descend") encounters an irreducible structural obstruction when applied to the Syracuse map. On the unconditional side, we prove: (i) the Syracuse transfer operator has a uniform spectral gap for all M, implying equidistribution modulo any power of 2; (ii) any nontrivial cycle of length L satisfies D > 2^F for all L >= 3, giving ord_D(2) > F and F+1 distinct residues mod D; (iii) divergent starting points have natural density 0 and Hausdorff dimension ~0.68; (iv) the formal language of divergent-compatible v-sequences is not context-free; (v) cylinder-averaged density-1 convergence is proved unconditionally via spectral contraction on the invariant core I_2; (vi) a discrete logarithm triple filter achieves 100% cycle blockage for all L tested. We identify the Distributional-to-Pointwise Gap as the irreducible core and prove it equivalent to the divergence component. The modular sieve is permanently nonempty via the Mersenne Bypass. The present work is not a proof of the Collatz conjecture; it characterizes why the conjecture resists proof. The 29-paradigm exhaustion constitutes the most comprehensive structural survey of Collatz attack surfaces to date. Produced through human-LLM collaboration; see Section 12.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。