蒙哥马利对关联猜想?
作为纯数领域的大牛,刘若传当然知道这个公式意味著什么。
1973年,数学家休;蒙哥马利提出了一个极具颠覆性的猜想。
黎曼zeta函数非平凡零点之间的间距分布,在经过标准化处理后,其统计规律竟然与量子力学中随机厄米矩阵(gue)特征值的对关联分布完全一致!
这个猜想之所以恐怖,是因为它在数论和最前沿的量子混沌物理之间,架起了一座桥梁。
但要验证或者推进这个猜想,必须要以海量的非平凡零点数据作为底层支撑。
寝室里的其他人多多少少也是听过这个猜想的。
王浩此时嘴唇都有些发抖了,他结结巴巴的问道。
“刘刘院长,他他证明了这个猜想?”
刘若传看著草稿纸摇了摇头。
“证明?怎么可能!”刘若传深吸了一口气。
“蒙哥马利对关联猜想的完整证明,其难度几乎等同于黎曼猜想本身。”
“不过”刘若传看著草稿纸上那些复杂的泛函分析和围道积分变形,他没有继续说,但心里却在继续分析。
结合纸上那些关于检验函数和傅里叶变换的放缩估计
“这小子他是想把蒙哥马利当年卡死的|a|1的理论边界,再往后推一推?”
刘若传都被李东现在的大气魄震惊到了。
“不对呀!”他眉头紧锁。
“要想把现在的理论边界往后推的话”
“这需要极其庞大的非平凡零点数据来做支撑啊。”
“以李东之前发表在期刊上的那个最新算法来说。”
“老江在京师大动用了整个超算集群,满负荷跑了那么久,也就堪堪跑到了1017次方的级别。”
“这对于他现在所需的样本精度来说,根本不够,远远不够!”
带著疑惑,刘若传下意识的看了一眼李东桌上那台还没有息屏的移动工作站。
只看了一眼,这位燕大数院的院长,整个人就彻彻底底的呆在了原地。
控制台窗口上,绿色的数字还在刷新著
【verifiedzeros:98,765,432,100,000,000,000】
【verifiedzeros:98,765,432,456,678,222,000】
“这这怎么可能?”刘若传心里此时早已掀起了惊涛骇浪。
就算燕大超算中心的节点硬件配置要比京师大好一些。
但这可是指数级的跨越!
那唯一的解释就是
“他把算法优化了?”
刘若传是数学界的顶级大牛,他比任何人都清楚这意味著什么。
这绝对不只是简单的代码优化,就目前这个运算量级和推进速度来说。
要么李东搞出了一套全新的神级算法,要么就是他之前发在顶刊上的那个算法压根就不是完整版,是他在核心的收敛加速部分故意留了一手!
李东:??我留一手了?放屁!我也是最近才吃透黎曼的手稿的呃应该是吃透了吧
想到这里,刘若传不仅没有生气,反而激动得双手都有些发抖。
他想到了前段时间,外网上那些铺天盖地带著傲慢的评论。
那些西方学者高高在上的宣称李东的算法“只是在已有框架下的微调”、“在数学上没有根本意义”。
他突然笑了
这是打脸吗?
不过不重要了,在李东现在做的事的面前,这些声音算啥呀?他们连被打脸的资格都没有。
李东这次的推演到底能不能成功,刘若传并不知道。
因为学术研究这种东西,本来就是在黑暗中摸索。
但是,既然自己的学生正在推进如此重大的一个历史性命题,那他作为老师的,自然要为他保驾护航。
刘若传没有出声打扰李东。
他转过身,冲著寝室里的周教授和三个室友招了招手,示意大家全部出去。
等寝室门轻轻关上后,刘若传转头看向周启峰。
“老周,李东这边的假,你给他批了吧!时间的话先空著。”
“在此期间,如果遇到院系里不好解决的行政问题,你直接告诉我,我去跟校领导沟通。”
周教授苦笑的点了点头。
这假能不批吗?你个院长都这么重视,我就是普普通通的燕大资深教授而已,还能说啥
和周教授沟通完后,刘若传又看向了