我的学习群里全是真大佬 第266节

　　可把它们串起来。

　　周启峰这一辈子搞的是规范场和路径积分量子化，眼睛里看到的世界天然就是连续的、对称的、可微的。

　　要让他突然把视野切到“离散的拓扑量怎么在连续的几何场上留下印记“这条线上去，并且把它当成贯穿分子、凝聚态、格点的总主线……

　　他做不到。

　　不是技术不够，是直觉的刀口没在那个方向上磨过。

　　更别说李东还按他自己那个跳步习惯，把中间至少三四步过渡全省了。

　　其中有一部分没听懂，太正常了。

　　高元林沉默了几秒，叹了口气。

　　“老周啊。“

　　“要是这小子最开始搞的不是数学，是物理……“

　　“以他的天赋，物理界顶尖的那些刊物，上面早就有他的名字了。“

　　周启峰没反驳，只是缓缓点了点头。

　　“那现在怎么办？“

　　“他数学也搞出名堂了，总不可能强行拉他过来吧？“

　　高元林却笑了。

　　“现在不用。“

　　周启峰愣了一下，随即明白了过来。

　　以李东的物理直觉，总有一天他会接触到物理的，而且这一天不会太远。

　　所以他在哪个院都行，你数学再牛逼，也只是工具而已，最后还不是要来给物理打工。

　　而高元林心里还有个小九九。

　　李东是田钢的学生，至少田钢是这么说的。

　　他抢不过呀！

　　不过要是李东自己愿意搞物理，他田钢敢拦，他高元林也不是软柿子。

　　“老子有个同事姓杨！”

第224章 剩下的交给我了

　　李东自然不知道周启峰家书房里发生的事。

　　他这个寒假过得简单到不能再简单。

　　吃饭，睡觉，去研讨室。

　　唯一的变化是研讨室里的白板越来越多。

　　后来工作人员干脆从其他教室推了十几块进来，沿墙一字排开。

　　他们三个人，三条线。

　　彭罗斯负责把零点对关联的普适性从|a|1往|a|∈[0，4]扩。

　　杨胜果负责把阳光厅那天的递归滤过嵌入从GL?分歧≤2推广到GL(n)分歧≤n。

　　李东自己负责最关键的一步，把零点对关联的统计性质和局部分歧指数挂钩，做出那个全新的“零点判据”。

　　三条线最终要交汇在一个共同的节点上。

　　原本预计要耗掉大半年的普适性扩展，被这套方法压到了不到三周。

　　简直像开了火箭一样。

　　……

　　一个下午。

　　彭罗斯在白板前写了半天，把马克笔一撂，转过头来。

　　“东。”

　　“二阶滤过权重的跨层耦合项，我处理好了。”

　　李东抬起头问道。

　　“嗯。”

　　“用你上次给我的那个标准套件。”

　　李东凑过去看了一眼，点了点头。

　　“教授，干净。”

　　彭罗斯笑了。

　　那个问题原本是他自己挣扎了大半个月的东西。

　　现在用上他自己提的新方法，一下子推平了。

　　老爷子端起咖啡杯抿了一口，心情好得不行。

　　另一个白板前。

　　杨胜果盯著白板皱眉头皱了快一个小时了。

　　“卡哪儿了杨老师？”李东走过去。

　　杨胜果叹了口气。

　　“推到第n?1层了。”

　　“按老办法，每一层都要重新构造一次提升算子的相容性条件。”

　　“工作量往上指数涨。”

　　“我前两天算到第五层就开始吃力了。”

　　李东想了想，从自己那迭东西里翻出一张表，丢给他。

　　“这个你先拿著用。”

　　杨胜果低头看了一眼。

　　“……这是？”

　　“我那1023量级零点样本跑出来的东西。”李东说。

　　“把分歧指数和对关联收敛区间的对应关系整理成了一张数值表。”

　　“你把提升算子的阶数估计放在这上面反向校准一下。”

　　“每一层不用再逐项构造，直接整体校验就行。”

　　杨胜果拿著表看了两分钟。

　　然后抬起头。

　　“小子。”

　　“你早点把这个给我不行吗？”

　　李东眨了眨眼睛。

　　“我也是才整理出来的呀。”

　　“再早，表里的格子都是空的。”

　　杨胜果叹了口气，又忍不住笑了一下。

　　原本估计要花两个月的递推链条。

　　五天，写完了。

　　……

　　但真正难的那一步，还是李东自己那边。

　　零点判据里，必要性那一边还好。

　　难的是充分性。

　　“F_π(a)在|a|∈[0，2/n]上收敛到GUE预测值n|a|”，要直接推出“π满足局部-整体相容性”，中间隔著一道很厚的墙。

　　这道墙，他和彭罗斯前前后后讨论了十几次，绕了好几圈，都没走通。

　　直到杨胜果那条线推到后半段。

　　他把自己递归提升算子在第k层和第k+1层之间的那个相容性差，写成了一个特别干净的形式。

　　李东路过他那块白板时，不小心看到了。

　　然后突然抬起头。

　　“杨老师。”

　　杨胜果正在擦另一块白板，听见他叫，回过头。

　　“嗯？”

　　“你这一行。”李东指了指白板，“恰好就是我充分性证明里要消掉的那一项的对偶。”

　　杨胜果愣了一下。

　　“不能这么巧吧？”

　　李东没答话。

　　他把笔从杨胜果手里抢了过来，在白板空白处画了一个对偶图。

　　一条线是杨胜果的递归提升算子在层间的相容性差。

　　一条线是他自己充分性证明里那个迟迟消不掉的余项。

　　两条线画完，接了起来。

　　两个人对视了一眼。