沈雨薇没坐。她从电脑包里抽出一沓打印纸,纸上密密麻麻全是手写公式的扫描件,她用红笔在几处画了圈。
“河图算法的原始推导手稿,我反复看了。”她声音平直,没什么起伏,把纸摊在桌上,手指点着第一个红圈,“林顾问,这几个变换步骤,我没完全看懂。”
林辰凑过来,鼻尖几乎贴到纸上。“哪?”
“这里。”沈雨薇的指尖很稳,“从非欧空间的测地线方程,直接过渡到闵可夫斯基时空的仿射映射。中间的数学桥梁,手稿上是空的。你跳过了至少三步常规推导。”
林辰抓了抓头发,转身在那堆草稿里翻,抽出一张边缘卷曲、沾着沙粒的活页纸。纸上的字更潦草,有些地方被水渍晕开了。
“这个啊。”他语速快起来,铅笔尖戳了戳一个模糊的符号,“你看,当时实验的时候,信号标传回来的实际坐标,跟理论预测差了两百多米。我往回倒推,发现如果在这里引入一个局域的时空挠率修正项,误差就能缩到十米以内。后来我试了几次,发现这个修正项,可以理解成两种几何结构之间一种……嗯,一种很自然的‘缝合’。”
他边说,边在空白处飞快地写了几行新式子。笔尖沙沙响。
沈雨薇盯着那几行式子,没说话。她指尖在桌面上虚划了几下,眉头慢慢皱起来。
苏晚晴靠在床边,手指无意识地绕着那缕垂下的碎发。
“所以,”沈雨薇抬起头,眼神专注,“你不是从数学公理出发,一步步推导出这个变换。你是从实验结果反推,拟合出了一个能解释数据的数学形式?”
“对。”林辰点头,眼睛在镜片后亮了一下,“但它后来被独立验证过,自洽,而且简洁。”
The content is not finished, continue reading on the next page