第495章 他已经找到方向了(2 / 2)
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
天枢工程的研究基地远离城市,四周数百公里内没有任何人口密集区,夜晚安静得能听到远处超算机房冷却系统传来的低沉嗡鸣。
肖宿没有思路,不得不将黎曼猜想先放到一边。
他白天先去钱敛那边看了新一批信号发射原型的测试数据,又帮唐森解决了分布式整流天线阵列在低空飞行器蒙皮上集成的几个机械结构问题,傍晚和顾清尘一起吃了个晚饭,聊了一会儿《数学原理》最后一章的架构,回到宿舍之后不久就洗漱睡下了。
他睡觉一直很轻,能清晰的感觉到自已的潜意识还在运转,这一天和往常一样,他躺在床上,白天那些反复出现过的数学工具、那些零散的逻辑碎片,开始一个一个轮番上场、反复变换拼接。
半梦半醒之间,一个念头毫无征兆地浮上了水面。
既然扰动展开在零点间距极小时发散,那为什么还要坚持用扰动展开呢?
蒙哥马利用随机矩阵理论导出对关联函数时,他的前提假设是零点分布满足高斯辛系综的特征值统计规律,这个假设对于全局统计是对的,但是它本质上是把零点当作随机矩阵的特征值来处理,随机矩阵的特征值是离散的、有限维的,而泽塔函数的零点有无穷多个。
一旦离开有限维假设,正交多项式展开就失去了收敛性。
那如果反过来,不把零点当作随机矩阵的特征值,而是把随机矩阵的特征值分布当作一个连续谱测度在高维流形上的投影呢?
塞尔伯格迹公式给出的是这个连续谱测度在低维截面上的全局平均,蒙哥马利对关联函数给出的是同一谱测度在另一个方向上的局部涨落。
它们并不是两个互相独立的东西,而是同一个几何体在两个不同维度投影的两种不同测量结果。
想要把它们统一起来,其实根本不需要扰动展开,也不需要进行拉普拉斯变换,更不需要正交多项式,只要把两个不同维度的投影映射回同一个高维几何体框架中不就行了?
这个方法肖宿之前在处理NS方程涡量场时其实早就用过了。
一个看似在高维空间中随机分布的涨落模式,通过和乐群的约束被锁定在一个低维叶状结构上,那个叶状结构上每一条轨道的几何形态都对应着涡量场的一个稳定模态。
同样的,泽塔函数的零点分布应该也是如此,它全局均匀,局部精细,如果把这种涨落看作某个高维流形上谱测度在不同截面上的投影,那么塞尔伯格迹公式和蒙哥马利对关联函数就是同一个谱测度在全局和局部两个不同维度投影的测量结果了。
“唰”的一声,肖宿瞬间从床上坐起身来,双眼亮如晨星。
他翻身下床,拧开了台灯。
桌上还铺着前几天没推完的草稿纸,上面密密麻麻全是各种被划掉的尝试路径。
他把草稿纸推到一边,翻开一页新的坐标纸。
或许,他已经找到方向了。