“你把提升算子的阶数估计放在这上面反向校准一下。”
“每一层不用再逐项构造，直接整体校验就行。”
杨胜果拿著表看了两分钟。
然后抬起头。
“小子。”
“你早点把这个给我不行吗？”
李东眨了眨眼睛。
“我也是才整理出来的呀。”
“再早，表里的格子都是空的。”
杨胜果叹了口气，又忍不住笑了一下。
原本估计要花两个月的递推链条。
五天，写完了。
……
但真正难的那一步，还是李东自己那边。
零点判据里，必要性那一边还好。
难的是充分性。
“f_π(a)在|a|∈[0，2\/n]上收敛到gue预测值n|a|”，要直接推出“π满足局部-整体相容性”，中间隔著一道很厚的墙。
这道墙，他和彭罗斯前前后后讨论了十几次，绕了好几圈，都没走通。
直到杨胜果那条线推到后半段。
他把自己递归提升算子在第k层和第k+1层之间的那个相容性差，写成了一个特别干净的形式。
李东路过他那块白板时，不小心看到了。
然后突然抬起头。
“杨老师。”
杨胜果正在擦另一块白板，听见他叫，回过头。
“嗯？”
“你这一行。”李东指了指白板，“恰好就是我充分性证明里要消掉的那一项的对偶。”
杨胜果愣了一下。
“不能这么巧吧？”
李东没答话。
他把笔从杨胜果手里抢了过来，在白板空白处画了一个对偶图。
一条线是杨胜果的递归提升算子在层间的相容性差。
一条线是他自己充分性证明里那个迟迟消不掉的余项。
两条线画完，接了起来。
两个人对视了一眼。
彭罗斯站在旁边没说话，只是嘴角动了动。
这就是科研合作里最玄的那一下东西。
三条线本来是平行的。
如果三个人真合得来。
不用刻意去拚。
它们会自己找到彼此。
……
这一下出来之后，课题的骨架就清楚了。