说了什麽？”
小黑在屏幕上抠出一个问号，然後又重新说了一遍。
“我说主人，你现在缺了一种能级位置能被全局锁死，相邻能级相互排斥，间隙大小还可以严格证明的数学结构。”
李东看着这段话，他好像在哪里见过。
“能级位置，相邻能级，间隙有可证下界。”
这三个东西凑在一起，李东一下子就坐直了，他想起了黎曼手稿里那个神秘的符号。
在这几个月的时间里李东也知道了那个神秘的符号，其实代表的就是希尔伯特波利亚猜想。
1914年的时候，希尔伯特提出了一个想法。
如果黎曼ζ函数非平凡零点全部落在临界线上，那是否有这麽一个自伴算子，它谱恰好就是这些零点呢？
後来波利亚也提出了类似的想法，认为零点就应该是某个物理算子本征值。
随後，这个猜想就被众人视为证明黎曼猜最有希望的路线之一。
原因也很简单，因为自伴算子有一条铁律，就是它谱必须是实数。
而黎曼猜想说的，恰恰就是ζ函数全体非平凡零点实部都等於1/2。
也就是说，它们在临界线上位置全都是实数。
所以只要有人走完这条路，黎曼猜想也就被证明。
但这条路不是一步就能跨过去，它其实是要有两步。
而且一步比一步难。
第一步是要把这个算子构造出来，让它谱和零点对得上。
第二步呢，要严格的证明它谱不多不少，刚好就是全体非平凡零点。
这个谱里不能多一个零点，也不能少一个零点，相差一个，整个证明就全部作废。
第一步已经难住整个数学界100多年了。
至於第二步嘛。
整个数学界还没有人有资格谈论它。
从那以後，几乎每一代数学家都在找这个算子。
塞尔伯格是走得最远的一个。
他用迹公式在另一类曲面上证明了谱和几何之间存在精确的对偶关系。
这等於是在一个简化版模型里，把这条路走通了。
虽然不能直接照搬到黎曼zeta函数上，但他至少证明了这条路的方向没有错。
蒙哥马利也在70年代从另一个角度提供了证据。
他算出零点之间的统计间距规律，发现和物理学里一类随机矩阵特征值间距一模一样。
如果说零点背後真的没有算子，那这种巧合是无法解释的。
不过蒙哥马利当年只是证明了一个有限区间内情况。
而李东当年的论文则把这个结论推到了完整区间，这就更加坐实这件事并不是巧合。
零点间距分布和特征值间距分布，背後必然有一个算子。
100多年，一代又一代人接力地往前推着。
但到现在为止，也没有人真正构造出过这个算子。
李东当然也没有，他自己试过七套候选定义去破解那个符号。
结果全都失败了。
可现在小黑刚才说的那3个条件，突然给了他一个完全不同角度。
小黑并没有从空间出发，而是从需求出发的。
它告诉李东，这个算子谱必须满足什麽样的性质？
能级位置被显式公式锁定。
相邻能级相互排斥。
间隙有可证下界。
如果把黎曼zeta函数全体非平凡零点视为这个算子谱。
那麽零点位置就被黎曼，冯曼戈尔特显式公式全部锁死。
零点之间的统计间距也服从gue排斥。
-->>(第6/10页)（本章未完，请点击下一页继续阅读）