新闭合时,才会出现的那种近乎失控的神情。
“江临,如果这一步能做严,覆盖数就不会掉回指数级。”
韩砚山的声音沙哑得厉害。
江临点头。
韩砚山终于彻底失态。
“妈的。”
声音很轻,并无任何粗鲁的意思。
只有一种被十二年失败反复碾压之后,突然看见递推式重新闭合的巨大荒谬感。
“这不是一个局部引理能解释的东西,如果残余谱的账目归属真的能这么改,那么后面的覆盖估计、熵控制函数,甚至rton那边的入口条件,全部都要重新写。”
他抬起头,看向江临。
“所以,你补的不是一个引理,而是在改写整条损失递推。”
“只是改写递推还不够。”
江临看了一眼那张纸上已经拥挤到近乎凌乱的符号,摇摇头。
“真正麻烦的是,rton那边不能沿常见的有限域转译路径硬推。那条路为了保证熵结构不坍缩,通常要额外塞进很强的非退化条件,强到几乎无法承接弱倍增对象。”
韩砚山猛地抬头。
“所以你绕开了非退化假设?”
“不完全是绕开。”江临道,“更准确地说,是不把它作为入口条件。”
韩砚山的呼吸明显乱了一拍。
江临继续道:“我直接从弱倍增结构出发,构造一个熵控制函数。不是先假定对象足够非退化,再去做覆盖,而是先用第三层回收机制把覆盖递推压住,再让非退化性在有限域模型里作为结果退出来。”
“如果这样做成立,rton接桥部分就不再是pFR后面额外悬挂的一段证明,而是和弱倍增结构本身长在一起。”
韩砚山这一次,他没有立刻追问。
因为那条被改写后的递推式,已经不只是在处理pFR的覆盖数问题,而是在同时改变rton接桥部分的入口条件。
刚才那条递推一旦闭合,改变的就不只是pFR本身。
它会改变后续整个桥接路径的入口条件。
传统路线最痛苦的地方就在于,rton熵形式需要足够干净足够规整,足够非退化的对象。
可弱倍增对象偏偏不是这样的东西。
它粗糙,歪斜,带着大量局部残余结构。
你越要求它干净,它越接不进来。
但如果江临的第三层损失回收成立,那么弱倍增对象不需要一开始就满足那组苛刻条件。
它可以先在覆盖递推里被压住,再在熵控制函数中逐步显露出可用的近似结构。
也就是说,非退化性从前提变成了结果。
韩砚山的笔重新落到纸上,沿着刚才那条损失流向,往后画了三道箭头。
pFR。
rton熵形式。
Frein型结构压缩。
然后停在第三个词旁边,迟迟没有移动。
如果这条链真的成立,pFR就不是孤立结果。
rton覆盖就不是旁支问题。
Frein型结构定理的高维压缩,也不再只是靠旧工具硬推的延伸。
这里会出现一套全新的技术语言。
一套以残余谱摊还、熵控制函数和有限域模型压缩为核心的技术语言。
韩砚山重新戴上眼镜,郑重问道:“这件事,有几个人看过原稿?”
“林照野老师知道我已经闭合了这个事实。”江临答道。
韩砚山沉默了一下。
林照野不是这个方向的。
在现代数学这种恐怖的精度要求下,隔行,就是隔了几个宇宙。
“你刚才说,你那个第三层损失回收的构造,连你自己都需要复盘三个整天才能重新定位。”韩砚山看着江临。
“是的。”
“那你知不知道放眼整个国内数学界,有多少人,能在三个整天里,看懂你这个构造?”
江临摇摇头。
他对数学界的人并没有多少了解。
“目前国内在这个细分领域,能跟你在这个高精度层面上进行实质性对话的人,我说的不是那种泛泛而谈的讨论,也不是那种理解个大意的点头,而是真真正正一行一行地看完你的证明稿,找出所有隐藏在角落里的边界条件,确认你的每一步推导没有出现任何逻辑跳跃的人,不会超过五个。”
韩砚山竖起了五根手指,语气里带着一股当仁不让的傲气。
“能立刻坐下来和你逐行对证明的人,更少,我算一个。”
……
当林照野终于在空旷的主会场外围找到他们两个的时候,韩砚山的眼镜又被摘下来了。
他正坐在一张桌子旁,用手指压着那张已经快被写满的 A4 纸,另一只手握着签字笔,在纸张边缘继续补一条别人看不懂的损失流向。
江临则安静地站在旁边,时不时指点一句。
“你们俩原来在这儿。”
林照野快步走近,松了一口气。
“我刚才在里面找了半圈都没看见人。”
然后他就看到了桌面上韩砚山的推导。
“韩教授,看来你也知道了啊。”林照野笑着,试探了一句,“那么,韩教授,你准备怎么做?”
韩砚山低头看了一眼纸面,说:“江临说,他还需要时间把技术备忘录整理出来。那么到时候,主干结构的审查就需要两个截然不同方向的同行。”
他的脑子转得飞快。
“第一个,需要做离散组合和加性结构的人,能够把有限域上的傅里叶支集收缩部分,进行整体和细节的交叉校验。这部分,我来接。”
“另一个,必须能从熵和信息论的最底层逻辑出发,去检查他关于 rton 接桥部分的那套构造。这需要极其深厚的跨界功底。”
“你心里有人选了?”林照野问。
韩砚山的手指在那张 A4 纸上点了一下一个名字。
“赵宇飞。”
“t 数学系的那位最年轻的副教授?”林照野微微一惊。
“对。”
韩砚山语速极快。
“他个人主页上研究方向的第三行,就赫然写着加性组合学。我仔细读过他关于极值组合学和图正则性引理的所有核心论文。他很擅长使用概率方法,他的数学工具箱——图极限、正则性引理、概率放缩——和江临这次解决 pFR 的底层框架,在方法论上高度兼容。”
“rton 接桥部分的非退化构造极其反直觉。需要一个人既能从离散组合的角度理解那些变态的约束条件,又能从熵和信息论的宏观层面验证整个近似结构的稳定性。”
“赵宇飞不是传统信息论出身,但他对高维离散结构的概率化处理极强,恰好能看出这套熵形式是不是只是在符号上成立,还是确实承载了组合结构。”
“目前来看,他是全世界最合适的人选之一。”
韩砚山停顿了一下。
“可惜,我与他并无私交,或许可以请丘先生帮忙引荐。”
林照野皱眉想了想:“但他现在人不在国内。”
“不在国内没关系,我这就给他发一封邮件。”韩砚山是个典型的行动派,说着就要转身。
“其实要说国内,丁剑教授是做概率论和统计物理出身的。”林照野却忽然开口。
韩砚山脚步一顿。
林照野继续:“要说对熵形式的数学直觉,目前国内没人比他更强。如果他看了之后,愿意从统计物理的角度,帮江临把把关,就不需要等赵宇飞横跨太平洋的时差回复了。”
“行,那就先找丁教授。”韩砚山的话语中透着压抑不住的近乎荒唐的兴奋。
“江临,如果这一步能做严,覆盖数就不会掉回指数级。”
韩砚山的声音沙哑得厉害。
江临点头。
韩砚山终于彻底失态。
“妈的。”
声音很轻,并无任何粗鲁的意思。
只有一种被十二年失败反复碾压之后,突然看见递推式重新闭合的巨大荒谬感。
“这不是一个局部引理能解释的东西,如果残余谱的账目归属真的能这么改,那么后面的覆盖估计、熵控制函数,甚至rton那边的入口条件,全部都要重新写。”
他抬起头,看向江临。
“所以,你补的不是一个引理,而是在改写整条损失递推。”
“只是改写递推还不够。”
江临看了一眼那张纸上已经拥挤到近乎凌乱的符号,摇摇头。
“真正麻烦的是,rton那边不能沿常见的有限域转译路径硬推。那条路为了保证熵结构不坍缩,通常要额外塞进很强的非退化条件,强到几乎无法承接弱倍增对象。”
韩砚山猛地抬头。
“所以你绕开了非退化假设?”
“不完全是绕开。”江临道,“更准确地说,是不把它作为入口条件。”
韩砚山的呼吸明显乱了一拍。
江临继续道:“我直接从弱倍增结构出发,构造一个熵控制函数。不是先假定对象足够非退化,再去做覆盖,而是先用第三层回收机制把覆盖递推压住,再让非退化性在有限域模型里作为结果退出来。”
“如果这样做成立,rton接桥部分就不再是pFR后面额外悬挂的一段证明,而是和弱倍增结构本身长在一起。”
韩砚山这一次,他没有立刻追问。
因为那条被改写后的递推式,已经不只是在处理pFR的覆盖数问题,而是在同时改变rton接桥部分的入口条件。
刚才那条递推一旦闭合,改变的就不只是pFR本身。
它会改变后续整个桥接路径的入口条件。
传统路线最痛苦的地方就在于,rton熵形式需要足够干净足够规整,足够非退化的对象。
可弱倍增对象偏偏不是这样的东西。
它粗糙,歪斜,带着大量局部残余结构。
你越要求它干净,它越接不进来。
但如果江临的第三层损失回收成立,那么弱倍增对象不需要一开始就满足那组苛刻条件。
它可以先在覆盖递推里被压住,再在熵控制函数中逐步显露出可用的近似结构。
也就是说,非退化性从前提变成了结果。
韩砚山的笔重新落到纸上,沿着刚才那条损失流向,往后画了三道箭头。
pFR。
rton熵形式。
Frein型结构压缩。
然后停在第三个词旁边,迟迟没有移动。
如果这条链真的成立,pFR就不是孤立结果。
rton覆盖就不是旁支问题。
Frein型结构定理的高维压缩,也不再只是靠旧工具硬推的延伸。
这里会出现一套全新的技术语言。
一套以残余谱摊还、熵控制函数和有限域模型压缩为核心的技术语言。
韩砚山重新戴上眼镜,郑重问道:“这件事,有几个人看过原稿?”
“林照野老师知道我已经闭合了这个事实。”江临答道。
韩砚山沉默了一下。
林照野不是这个方向的。
在现代数学这种恐怖的精度要求下,隔行,就是隔了几个宇宙。
“你刚才说,你那个第三层损失回收的构造,连你自己都需要复盘三个整天才能重新定位。”韩砚山看着江临。
“是的。”
“那你知不知道放眼整个国内数学界,有多少人,能在三个整天里,看懂你这个构造?”
江临摇摇头。
他对数学界的人并没有多少了解。
“目前国内在这个细分领域,能跟你在这个高精度层面上进行实质性对话的人,我说的不是那种泛泛而谈的讨论,也不是那种理解个大意的点头,而是真真正正一行一行地看完你的证明稿,找出所有隐藏在角落里的边界条件,确认你的每一步推导没有出现任何逻辑跳跃的人,不会超过五个。”
韩砚山竖起了五根手指,语气里带着一股当仁不让的傲气。
“能立刻坐下来和你逐行对证明的人,更少,我算一个。”
……
当林照野终于在空旷的主会场外围找到他们两个的时候,韩砚山的眼镜又被摘下来了。
他正坐在一张桌子旁,用手指压着那张已经快被写满的 A4 纸,另一只手握着签字笔,在纸张边缘继续补一条别人看不懂的损失流向。
江临则安静地站在旁边,时不时指点一句。
“你们俩原来在这儿。”
林照野快步走近,松了一口气。
“我刚才在里面找了半圈都没看见人。”
然后他就看到了桌面上韩砚山的推导。
“韩教授,看来你也知道了啊。”林照野笑着,试探了一句,“那么,韩教授,你准备怎么做?”
韩砚山低头看了一眼纸面,说:“江临说,他还需要时间把技术备忘录整理出来。那么到时候,主干结构的审查就需要两个截然不同方向的同行。”
他的脑子转得飞快。
“第一个,需要做离散组合和加性结构的人,能够把有限域上的傅里叶支集收缩部分,进行整体和细节的交叉校验。这部分,我来接。”
“另一个,必须能从熵和信息论的最底层逻辑出发,去检查他关于 rton 接桥部分的那套构造。这需要极其深厚的跨界功底。”
“你心里有人选了?”林照野问。
韩砚山的手指在那张 A4 纸上点了一下一个名字。
“赵宇飞。”
“t 数学系的那位最年轻的副教授?”林照野微微一惊。
“对。”
韩砚山语速极快。
“他个人主页上研究方向的第三行,就赫然写着加性组合学。我仔细读过他关于极值组合学和图正则性引理的所有核心论文。他很擅长使用概率方法,他的数学工具箱——图极限、正则性引理、概率放缩——和江临这次解决 pFR 的底层框架,在方法论上高度兼容。”
“rton 接桥部分的非退化构造极其反直觉。需要一个人既能从离散组合的角度理解那些变态的约束条件,又能从熵和信息论的宏观层面验证整个近似结构的稳定性。”
“赵宇飞不是传统信息论出身,但他对高维离散结构的概率化处理极强,恰好能看出这套熵形式是不是只是在符号上成立,还是确实承载了组合结构。”
“目前来看,他是全世界最合适的人选之一。”
韩砚山停顿了一下。
“可惜,我与他并无私交,或许可以请丘先生帮忙引荐。”
林照野皱眉想了想:“但他现在人不在国内。”
“不在国内没关系,我这就给他发一封邮件。”韩砚山是个典型的行动派,说着就要转身。
“其实要说国内,丁剑教授是做概率论和统计物理出身的。”林照野却忽然开口。
韩砚山脚步一顿。
林照野继续:“要说对熵形式的数学直觉,目前国内没人比他更强。如果他看了之后,愿意从统计物理的角度,帮江临把把关,就不需要等赵宇飞横跨太平洋的时差回复了。”
“行,那就先找丁教授。”韩砚山的话语中透着压抑不住的近乎荒唐的兴奋。