设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 视  频 博  客 论  坛 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
     
  慕容青草的博客
  哲学与信仰
网络日志正文
进一步分析考拉兹猜想 2026-10-15 13:38:24

戴榕菁

1. 引言

在“关于考拉兹猜想的哲学分析”一文中我们已经提到本博目前关于考拉兹猜想的任何讨论和论证的基本步骤都是将一个正整数进行二进制展开为如下的级数:

 X=∑ai2i, i=0,…,n, 单调上升,  ai ∈ {0, 1}                   (1)

显然,我们可以把每个∑ai2i按照其中的ai的特点分成若干段(若干个子级数):

X=∑∑atj2Etj, t=0,…,m; j=0,…,Jt                                               (2)

我们可以称每个∑atj2Etj称为一个项段(Sections of terms)或子级数(subseries),其中t是每个项段(子级数)的序号,共m个项段(子级数),j是每一项在各自的项段(子级数)中的位置,tj即第t个项段(子级数)中的第j个位置,Jt是第t个项段(子级数)内的最大下标,每个tj在X=∑ai2i中所对应的i=tj+∑ Jt-1,该项段(子级数)的长度λt=Jt+1, Etj是在第t个项段(子级数)中的第j个位置上的指数的幂次,Etj=∑Δtj + Et0, t=0,…,m; j=1,…,Jt. Δtj为即第t个项段(子级数)中的第j个位置上的幂次差,Δtj=Δt[j-1]

每个tj在X=∑ai2i中所对应的i=tj+∑ Jt-1

2.项段的三种类型

由之前的两篇博文【[1],[2]】我们已经看到有两种二进制展开对于论证考拉兹猜想有特殊的意义:a)幂次差恒等于1;b)幂次差恒等于2。

所以,我们将所有的项段(子级数)分为三种类型:

类型I:项段t中的所有Δtj=1, 标记为∑I

类型II:项段t中的所有Δtj=2, 标记为∑II

类型III:项段t中的所有Δtj>2, 标记为∑III

3. 各种单一项段的收敛性

1)类型II

由“ 再给AI添点料”的最快收敛定理我们知道,仅含有单一的类型II项段的考拉兹数只需要一个循环周期就收敛于1,更进一步地,我们不难推论出所有考拉兹数在收敛于1之前最终都要先变为单一的类型II项段,这是一个充要条件。与之相应地,凡是等于(∑II-1)/3的奇数或在考拉兹变换的路径中与之接近的奇数都有很快的收敛速度。。。。这就是为什么我这里把类型II放在类型I之前介绍。

2)类型I

由“关于考拉兹猜想的哲学分析”一文我们提到单一的类型I的二进制展开一定能表达为2n-1的形式,而它在最初的n个考拉兹变换(周期)中都是以大约3/2的比例单调上升的。但是,我们不难证明,第k<n次考拉兹变换时,它尾部的类型I的二进制已经缩小到2n-k-1。这时即便该2n-k-1项段前面的最小项为2n-k+1,一个幂次跳跃已经产生,这是因为2n-k-1=2n-k-1 +2n-k-2+…+2+1,所以在2n-k+1与2n-k-1之间有个跳跃。也就是说,考拉兹变换一定会打破单一的类型I的二进制展开分布。

比如X=2n-1的第9(<n)步变换:

X9l= X9u/2=2n+5+2n+2+2n+1+2n-2 +2n-3+2n-4+2n-8+2n-9-1

当变换步数k ≥n之后,它的混合类型的二进制展开中已经具有一些幂次差大于2的项段,这些幂次不但会通过除以2m使得变换迅速下降,而且会导致变换结果趋于类型II。

但是,即便当k ≥n之后,仍然可能会经历一个非常漫长的路径才会收敛于,其速度主要取决于X与(∑II-1)/3之间的距离。。。。这期间仍然可能会有新的尾部类型I出现,但是这种状况一定是由某次考拉兹变换的结果Xk除以2m造成的,也就是说会伴随着考拉兹变换的下降的。不难证明,尾部类型I的长度λt越大,那么当缩为零时所积累出的下降因子2u就越大。

3)类型III

类型III中最典型的是X=2n+1因为它的幂次差最大。不难发现,考拉兹变换的作用是一方面降低X的考拉兹变换数的最高幂次,一方面在其最高幂次与1之间增加项数,以减小各项之间的幂次跳跃,从而向(∑II-1)/3的方向发展。

比如:

第5个变换周期的结果为:

X5l=X5u/22=2n-3+2n-4+2n-5+2n-6+2n-9+2n-10+1      

当然,与2n-1一样从2n+1到最后收敛为1可以是一个漫长的过程,取决于X与(∑II-1)/3之间的距离有多大。

3. 混合项段收敛

3.1. 2n-II-I-II:

令正奇数X=2n+2n-2+…+∑II +∑I +∑II, 其中2E[t-2]0=1:

X =2n+2n-2+…++2EtJt+2EtJt - 2+…+ 2Etj+…2Et0 +2+2Et0+2E[t-1]J[t-1]+2E[t-1]J[t-1]-1+2E[t-1]J[t-1]-2 +…+ 2E[t-1]j+…+2E[t-1]0+2+2E[t-1]0+1+2E[t-1]0+2E[t-2]J[t-1]+2E[t-2]J[t-1]-2+2E[t-2]J[t-1]-4 +…+ 2E[t-2]j+…+2E[t-2]0+2+2E[t-2]0=2n+2n-2+…++2EtJt+2EtJt - 2+…+ 2Etj+…2Et0 +2+2Et0+2E[t-1]J[t-1]+2E[t-1]J[t-1]-1+2E[t-1]J[t-1]-2 +…+ 2E[t-1]j+…+2E[t-1]0+2+2E[t-1]0+1+2E[t-1]0+2E[t-2]J[t-1]+2E[t-2]J[t-1]-2+2E[t-2]J[t-1]-4 +…+ 2E[t-2]j+…+22+1

我们可以在不失一般性的前提下考察一个更为具体的实例,我将用黄色标识类型II,蓝色标识类型I,灰色标识类型III让读者感受一下在变换的过程中幂次差的动态变化。在不同类型的过渡处的项会同时属于不同的类型,那么我就将其前面或后面的加号标识为与该项不同的颜色以示区别:

X=2n+2n-2+2n-4+…+227+225+223+221+219+217+215+214+213+212+211+210+28+26+24+22+1

X1=3X+1=211(2n-9+24+23+22+2+1)

X2=X1/2=2n-9+24+23+22+2+1

X3=3X2+1=2(2n-9+2n-10+25+23+22+2+1)

X4= X3/2=2n-9+2n-10+25+23+22+2+1

X5=3X4+1=2(2n-8+2n-11+26+22+2+1)

X6=X5/2=2n-8+2n-11+26+22+2+1

X7=3X6+1=2(2n-8+2n-9+2n-11+2n-12+26+25+23+2+1)

X8=X7/2=2n-8+2n-9+2n-11+2n-12+26+25+23+2+1

X9=3X8+1=2(2n-7+2n-9+2n-13+27+25+1)

X10=X9/2=2n-7+2n-9+2n-13+27+25+1

……

上面所有这些步子里的最重要的一步是第一步从X到X1,在这一步里,那个…被去掉了。这一点很重要。。。。虽然在上面的X16中我们仍然看到含有n的项与不含n的项共存,但是只要n足够大,再过97步,X的考拉兹变换数的二项式展开中的不含n的项会先消失,那时我们可以将n也除去,然后,整个考拉兹变换数中就不再含有n,就成为一个很容易确定其收敛性的具体的数值。。。。这就是因为在最初的X的表达式中的最高幂次项为类型II。

这是一个对于证明考拉兹猜想非常重要的现象。

3.2. 2n-I-II-I:

令正奇数X=2n+2n-1+…+∑I+∑II +∑I, 其中2E[t-2]0=1:

X =2n+2n-1+…++2EtJt+2EtJt - 1+…+ 2Etj+…2Et0 +1+2Et0+2E[t-1]J[t-1]+2E[t-1]J[t-1]-2+2E[t-1]J[t-1]-4 +…+ 2E[t-1]j+…+2E[t-1]0+2+2E[t-1]0+2E[t-2]J[t-1]+2E[t-2]J[t-1]-1+…+ 2E[t-2]j+…+2E[t-2]0+1+2E[t-2]0=2n+2n-1+…++2EtJt+2EtJt - 1+…+ 2Etj+…2Et0 +1+2Et0+2E[t-1]J[t-1]+2E[t-1]J[t-1]-2+2E[t-1]J[t-1]-4 +…+ 2E[t-1]j+…+2E[t-1]0+1+2E[t-1]0+2E[t-2]J[t-1]+2E[t-2]J[t-1]-1+2E[t-2]J[t-1]-2 +…+ 2E[t-2]j+…+2+1

我们可以在不失一般性的前提下考察一个更为具体的实例:

X=2n+2n-1+…+215+214+212+210+28+26+24+22+2+1

X1=3X+1=2(2n+1+2n-1+2n-2+…+215+214+2+1)

X2=X1/2=2n+1+2n-1+2n-2+…+215+214+2+1

X3=3X2+1= 2(2n+2+2n-2+2n-3+…+216+215+213+22+1)

X4=X3/2=2n+2+2n-2+2n-3+…+216+215+213+22+1

X5=3X4+1=24(2n-1+2n-2+2n-4+2n-6+213+211+210+29+1)

X6=X5/24 =2n-1+2n-2+2n-4+2n-6+213+211+210+29+1

因为在2n-I-II-I的分布中最高幂次项为类型I,所以没有出现如2n-II-I-II分布中的那种消除…的状况。尽管如此,类型II的存在仍然加速了收敛的速度。

4. 讨论

本文上面的讨论其实已经不失一般性地涵盖了任意正整数的二进制展开式中可能出现的模式之基本特征。一般而言一个正整数的二进制展开式不过是上述模式的复杂的组合而已,其变化模式不会超过上述模式表现出的范围。

形象地说,一个考拉兹数的收敛速度主要在于类型I与类型II之间的较量,类型III通常很快就会诱发出类型I与类型II以起到减小原类型XIII中的幂次跳跃。

由文章【1】中定理3.1和定理3.2可知,只有当二进制展开的尾部为类型I的时候考拉兹变换才会出现上升的状况,这是考拉兹猜想之所以正确的关键因素。。。。当尾部为类型II与III时都导致考拉兹变换下降直到出现类型I的尾部为止。。。。而这里有两个要点要注意:1)如本博对2n-1的分析所表明的,当考拉兹变换的连续次数k等于尾部类型I的最高幂次n时,尾部的类型就不复存在。在下一个尾部类型I出现之前,考拉兹变换一定会下降;2)新的尾部类型I出现一定是由某次考拉兹变换的结果Xk除以2m造成的,而考拉兹变换本身不会产生无限长的尾部类型I----这点对于考拉兹猜想的正确性非常重要,这一点决定了尽管考拉兹变换的初始值的尾部类型I可以很长,可以有亿万位数,但是当变换次数k等于该尾部类型I的长度后,考拉兹变换本身不会产生极长的尾部类型I----这一点是可以证明的。

除非能指出本文上述分析中的错误,否则以上的这些论述可以说已经相对严格地论证了考拉兹猜想之正确性。

5. 结束语

数学界以往在证明考拉兹猜想的过程中把注意力主要集中在证明考拉兹变换最终会下降收敛,但是他们忽略了一点,那就是这种下降不一定是如他们划出的曲线那样光滑的,而可能是断崖式的跌落,这是因为决定考拉兹数收敛的是它与(∑II-1)/3之间的距离,而(∑II-1)/3可以是一个非常大的数。而他们之所以没想到这一点是因为他们没有象我这样进行二进制展开分析。

本文的论证基本上可以说是对于考拉兹猜想的准严格证明,唯一的缺憾是我这里无法给出新的尾部类型I出现的具体条件和特征的形式表达,但从我的分析中已经可以看出那不是不可做到。。。。如果我目前有一台可以用来运行程序的电脑,那么以我过去曾经的20来年的软件工程的经历,我对考拉兹猜想的论证会容易很多。。。。这并不需要用到AI。主要是需要算力,思路对了,能有算力就行了。。。。

本博可能是在过去相当长的一段时间里第一个试图用哲学论证数学猜想之正确性的人。。。。而AI之所以至今没能破解考拉兹猜想的主要原因恐怕也正是因为对考拉兹猜想的证明需要用到类似本文这样的哲学分析与判断。



【[1]】戴榕菁(2026)关于考拉兹猜想的哲学分析

【[2]】戴榕菁(2026)再给AI添点料


浏览(101) (0) 评论(0)
发表评论
我的名片
慕容青草
来自: ny
注册日期: 2007-08-15
访问总量: 2,365,651 次
点击查看我的个人资料
Calendar
我的公告栏
错误 vs 犯错的原因
拆房
如何锁定人类科学
20世纪物理学
复杂情势下之最佳优先考虑
成功与别人的帮助
对抗真理的结果
旧房子的哲学
拔枯树
站与踩
哲学是公开的密码
普朗克论科学真理之传播
黑格尔论学习的过程
黑格尔论逻辑
自勉
欢迎交流
最新发布
· 进一步分析考拉兹猜想
· 小结
· 再给AI添点料
· 关于考拉兹猜想的哲学分析
· 还要看是什么样的假说叠假说。。
· 两个不同角度的哲学分析之意义
· 物理学最大危机之我见
存档目录
2026-10-03 - 2026-10-15
2026-09-02 - 2026-09-30
2026-08-10 - 2026-08-28
2026-07-05 - 2026-07-16
2026-06-03 - 2026-06-30
2026-05-07 - 2026-05-28
2026-04-06 - 2026-04-28
2026-03-09 - 2026-03-28
2026-02-03 - 2026-02-21
2026-01-04 - 2026-01-27
2025-12-05 - 2025-12-30
2025-11-04 - 2025-11-26
2025-10-01 - 2025-10-29
2025-09-30 - 2025-09-30
2025-06-01 - 2025-06-29
2025-05-03 - 2025-05-28
2025-04-04 - 2025-04-28
2025-03-03 - 2025-03-31
2025-02-05 - 2025-02-26
2025-01-05 - 2025-01-31
2024-12-02 - 2024-12-31
2024-11-05 - 2024-11-28
2024-10-02 - 2024-10-31
2024-09-01 - 2024-09-18
2024-08-01 - 2024-08-31
2024-07-02 - 2024-07-29
2024-06-01 - 2024-06-28
2024-05-02 - 2024-05-28
2024-04-01 - 2024-04-30
2024-03-02 - 2024-03-29
2024-02-03 - 2024-02-29
2024-01-01 - 2024-01-30
2023-12-05 - 2023-12-24
2023-11-06 - 2023-11-27
2023-10-02 - 2023-10-29
2023-09-01 - 2023-09-29
2023-08-01 - 2023-08-31
2023-07-01 - 2023-07-31
2023-06-01 - 2023-06-30
2023-05-02 - 2023-05-29
2023-04-04 - 2023-04-29
2023-03-03 - 2023-03-29
2023-02-01 - 2023-02-28
2023-01-01 - 2023-01-30
2022-12-02 - 2022-12-31
2022-11-02 - 2022-11-23
2022-10-09 - 2022-10-31
2022-09-01 - 2022-09-30
2022-08-01 - 2022-08-21
2022-07-02 - 2022-07-31
2022-06-15 - 2022-06-25
2022-05-06 - 2022-05-27
2022-04-07 - 2022-04-30
2022-03-03 - 2022-03-28
2022-02-01 - 2022-02-28
2022-01-01 - 2022-01-30
2021-12-01 - 2021-12-29
2021-11-02 - 2021-11-29
2021-10-02 - 2021-10-29
2021-09-08 - 2021-09-30
2021-08-08 - 2021-08-31
2021-07-18 - 2021-07-26
2021-06-03 - 2021-06-27
2021-05-04 - 2021-05-29
2021-04-04 - 2021-04-28
2021-03-08 - 2021-03-27
2021-02-12 - 2021-02-28
2021-01-04 - 2021-01-28
2020-12-02 - 2020-12-30
2020-11-01 - 2020-11-26
2020-10-06 - 2020-10-29
2020-09-01 - 2020-09-29
2020-08-06 - 2020-08-27
2020-07-02 - 2020-07-27
2020-06-07 - 2020-06-29
2020-05-01 - 2020-05-31
2020-04-17 - 2020-04-30
2020-03-08 - 2020-03-20
2020-02-20 - 2020-02-24
2020-01-10 - 2020-01-31
2019-12-02 - 2019-12-31
2019-11-07 - 2019-11-30
2019-10-07 - 2019-10-30
2019-09-14 - 2019-09-26
2019-08-13 - 2019-08-21
2019-07-23 - 2019-07-29
2019-06-06 - 2019-06-23
2019-05-05 - 2019-05-25
2019-04-01 - 2019-04-22
2019-03-07 - 2019-03-29
2019-02-09 - 2019-02-27
2019-01-01 - 2019-01-21
2018-12-01 - 2018-12-31
2018-11-04 - 2018-11-24
2018-10-01 - 2018-10-30
2018-09-01 - 2018-09-30
2018-08-01 - 2018-08-29
2018-07-02 - 2018-07-27
2018-06-02 - 2018-06-26
2018-05-13 - 2018-05-28
2018-04-03 - 2018-04-28
2018-03-02 - 2018-03-28
2018-02-10 - 2018-02-28
2018-01-08 - 2018-01-27
2017-12-06 - 2017-12-30
2017-11-09 - 2017-11-25
2017-10-15 - 2017-10-15
2017-09-05 - 2017-09-30
2017-08-05 - 2017-08-27
2017-07-14 - 2017-07-24
2017-06-09 - 2017-06-24
2017-05-02 - 2017-05-02
2017-04-04 - 2017-04-26
2017-03-02 - 2017-03-30
2017-02-02 - 2017-02-27
2017-01-25 - 2017-01-30
2016-12-04 - 2016-12-31
2016-11-16 - 2016-11-23
2016-10-04 - 2016-10-27
2016-09-08 - 2016-09-29
2016-08-02 - 2016-08-31
2016-07-02 - 2016-07-27
2016-06-08 - 2016-06-30
2016-05-02 - 2016-05-22
2016-04-01 - 2016-04-13
2016-03-06 - 2016-03-31
2016-02-07 - 2016-02-23
2016-01-18 - 2016-01-18
2015-12-04 - 2015-12-30
2015-11-02 - 2015-11-27
2015-10-25 - 2015-10-29
2015-09-06 - 2015-09-24
2015-07-11 - 2015-07-25
2015-06-22 - 2015-06-22
2015-05-01 - 2015-05-29
2015-04-14 - 2015-04-14
2015-03-07 - 2015-03-22
2015-02-02 - 2015-02-21
2015-01-20 - 2015-01-20
2014-12-06 - 2014-12-06
2014-11-08 - 2014-11-24
2014-10-03 - 2014-10-20
2014-09-09 - 2014-09-27
2014-08-16 - 2014-08-16
2014-07-12 - 2014-07-25
2014-06-08 - 2014-06-14
2014-05-09 - 2014-05-16
2014-04-02 - 2014-04-29
2014-03-01 - 2014-03-28
2014-02-03 - 2014-02-28
2014-01-02 - 2014-01-29
2013-12-02 - 2013-12-30
2013-11-02 - 2013-11-27
2013-10-02 - 2013-10-29
2013-09-02 - 2013-09-28
2013-08-02 - 2013-08-31
2013-07-01 - 2013-07-26
2013-06-05 - 2013-06-21
2013-05-06 - 2013-05-31
2013-04-08 - 2013-04-30
2013-03-01 - 2013-03-28
2013-02-07 - 2013-02-27
2013-01-11 - 2013-01-29
2012-12-01 - 2012-12-26
2012-11-15 - 2012-11-15
2012-10-07 - 2012-10-28
2012-09-05 - 2012-09-28
2012-08-24 - 2012-08-24
2012-07-03 - 2012-07-20
2012-06-02 - 2012-06-30
2012-05-01 - 2012-05-30
2012-04-03 - 2012-04-29
2012-03-01 - 2012-03-31
2012-02-03 - 2012-02-27
2012-01-29 - 2012-01-29
2011-12-02 - 2011-12-13
2011-11-06 - 2011-11-28
2011-10-12 - 2011-10-27
2011-09-24 - 2011-09-24
2011-08-04 - 2011-08-09
2011-07-02 - 2011-07-31
2011-06-06 - 2011-06-28
2011-05-09 - 2011-05-27
2011-04-18 - 2011-04-24
2011-03-10 - 2011-03-23
2011-02-10 - 2011-02-17
2011-01-14 - 2011-01-14
2010-11-26 - 2010-11-26
2010-10-13 - 2010-10-13
2010-09-12 - 2010-09-29
2010-08-22 - 2010-08-29
2010-07-05 - 2010-07-27
2010-06-12 - 2010-06-26
2010-05-09 - 2010-05-29
2010-04-11 - 2010-04-17
2010-03-10 - 2010-03-28
2010-02-16 - 2010-02-16
2010-01-04 - 2010-01-31
2009-12-04 - 2009-12-29
2009-11-22 - 2009-11-26
2009-06-03 - 2009-06-29
2009-05-13 - 2009-05-13
2009-02-13 - 2009-02-22
2009-01-14 - 2009-01-18
2008-12-08 - 2008-12-28
2008-11-01 - 2008-11-29
2008-10-04 - 2008-10-27
2008-09-12 - 2008-09-26
2008-08-01 - 2008-08-22
2008-07-15 - 2008-07-31
2008-06-07 - 2008-06-29
2008-05-01 - 2008-05-30
2008-04-19 - 2008-04-28
2008-02-02 - 2008-02-19
2008-01-08 - 2008-01-28
2007-11-01 - 2007-11-07
2007-10-02 - 2007-10-29
2007-09-04 - 2007-09-30
2007-08-15 - 2007-08-29
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2026. Creaders.NET. All Rights Reserved.