然后他证明了一个定理:
定理3。1。设(m,w)为上述辛流形,?为描述电子相互作用的联络。
则?的曲率可以分解为:r=r_smooth+Σ_iδ_{x_i}·t_i
其中r_smooth是光滑部分,可以在计算中近似处理;δ_{x_i}是狄拉克δ函数,集中在某些特定的奇异点x_i上;t_i是某个拓扑荷,只依赖於分子对称群和电子组態,可以通过群表示论预先计算。
万匯杨盯著这个公式看了整整五分钟。
这就是他找了三个月的东西。
那个曲率集中在奇异点附近的构造,肖宿不仅做出来了,还给出了严格的数学证明。
而且他证明了这些奇异点处的曲率贡献,那些t_i是拓扑不变量,可以在计算之前就確定下来,不需要在每次叠代中重新计算。
这意味著如果把这个框架用到实际的计算软体里,那些原来需要反覆叠代、反覆修正的高阶项,现在只需要在程序开头算一次,后面直接调用就行了。
这计算量不是减少一点,是直接减少了一个数量级啊。
万匯杨继续往下翻。
第四章是数值实现。
肖宿给出了具体的算法流程,每一步都写清楚了输入输出和复杂度分析。
第五章肖宿竟然写了一个例子。
他计算了三个分子,也就是甲烷、苯、一个含过渡金属的配合物。
结果和实验值的偏差都在2%以內,比现有最好的方法还要好。
这个方法不仅可以直接用在化学反应路径的模擬、激发態动力学、催化剂设计等方面上,还可以推广到其他多体量子系统当中,比如量子点、超导材料、原子核结构等。
这个价值是难以估量的。
万匯杨靠在椅背上,长长地呼出一口气。
他看了一眼时间:凌晨两点十七分。
他看了將近四个小时。
只看了大概百分之六十的內容。
剩下的百分之四十,还需要更深的数学功底才能完全消化。
但这已经足够了。
足够让他知道,这个框架的价值,远超他最初的想像。
他拿起手机,想给肖宿发条消息,想了想,又放下了。
太晚了。
明天再说。
窗外的京城安静下来了,只有远处几栋大楼还亮著零星的灯光。
化学楼下面的路灯发出昏黄的光,照在空荡荡的停车场上。
万匯杨看著屏幕,忽然觉得眼眶有点热。
一种说不清楚的情绪在他胸中激盪,好像一团火在心中燃烧起来了……