而且这些产出多少带点水到渠成顺其自然的意味,并非他刻意强求。
只能说,还是人优秀,坐在家中各种荣誉就会自己找上门来。
不过这种略显凡尔赛的念头,李傲也只在心里想想罢了。
为了照顾其他人的情绪,他面上依旧保持着平静。
趁大家收拾材料时,卢迪想起了什么,转头嘱咐李傲:“Leo,边界权重这块基本已经算阶段性结题了,你接下来不用每天往这边跑,免得来回折腾。等下周在阿贡国家实验室的报告开始,你再和我们一起去吧。”
“好的,卢迪教授。”李傲点头应下。
阿贡国家实验室就在芝加哥西南郊,距离不算远。
但能以高中生身份跟着教授团队去参加官方项目的阶段性结题报告,对他来说确实是一次难得的体验。
……
暂时告一段落物理系的项目后,距离温德姆高中正式开学还剩几天。
李傲的日程依旧规律,除了去训练馆和校队合练,他基本都泡在芝大数学系的办公室或图书馆,翻查文献,补足前几天落下的学习进度。
因为本杰明最近也住在海德公园附近的短租房,李傲每次去约翰逊教授那边,几乎都能在办公室碰见他。
多数时候,本杰明会带着厚厚一摞教材过来,两人便各自埋头苦读。
某种程度上,学习的氛围跟在数竞夏令营时没什么区别,只是他们研究的内容,已经不再是高中竞赛的初等数学了。
这天上午,李傲带着笔记本电脑来到埃克哈特楼的办公室。
插好电源后,他打开阿琼发来的论文初稿,准备先把自己负责的局部边界权重部分写完,以便尽早交给卢迪教授修改并投递给《物理评论快报》。
旁边的本杰明正埋头做着习题,时不时皱眉沉思。
突然,本杰明往椅背上一仰,把笔扔在桌面上,生无可恋地盯着天花板看了一会儿,终于忍不住吐槽起来:
“这道常微分方程题难度简直离谱,估计是教授从研究生课上改出来的变种题。”
“条件同时涉及基本矩阵、非齐次项和初值扰动三种东西,我暂时真没什么清晰思路。”
本杰明无奈地抱怨着,“高等数学和初等数学思维方式都不一样,我常微分方程看了一周多,就看了这么点儿。本来例题都会做了,结果遇到这种综合性强的题,还是两眼一抹黑。
“看来我的基础还是不够牢。”
听到这话,李傲将双手从键盘上移开,略微迟疑了一下,试探着问道:“那个……要不让我看看?”
……
第113章 又出问题了(求订阅)
此话一出,本杰明直勾勾地看了过来,神色有些复杂。
唉,该来的还是来了……
自从见识过李傲惊人的天赋和学习效率后,他就知道迟早会有这么一天——李傲可能会反过来给他讲题。
只是没想到,这一天来得这么快。
不过转念一想,把知识学到手才是硬道理。
短暂的错愕后,本杰明果断把习题本递了过去:“多谢,那你帮我看看。”
递本子的同时,他没忍住好奇问了一句:
“你的常微分方程已经学完了?”
本杰明早就知道李傲被卢迪教授借去帮忙的事,当初刚听说时,他心里的羡慕几乎掩饰不住。
没想到,学习也没落下。
“前阵子集训的时候就学完了,最近在学泛函分析。”李傲如实回答了一句,接过习题本扫了一眼。
看清题目和条件后,顿时明白这是一道关于线性微分方程组、变参数公式与连续依赖性的综合题,难度确实不低。
他在脑海中快速解构推导,理清思路后,便拿过笔,边写公式边讲解:
“这道题比较复杂,你可以尝试先把非齐次方程,转化为基本矩阵下的变参数公式。也就是:
“y(t)=Φ(t)y(0)+∫_0^tΦ(t)Φ(s)^{-1}g(s)ds。”
李傲在纸上列出核心步骤,接着说道:“然后对两组解作差,用矩阵范数和Gronwall不等式控制误差。最后把初值项和非齐次项分开估计,就能推出连续依赖的结论了。”
本杰明毕竟是IMO金牌得主,经过李傲稍一点拨,立刻恍然大悟。
接过习题本时,他仍对李傲敏捷的思维感到震惊,忍不住竖起大拇指赞叹:
“我真服了。你这哪里像暑假刚学完的样子,大卫给我讲题的时候,思路都没你这么清楚。
“以你现在的进度,等真正进了大学,恐怕很多研究生都要有压力了。”
感慨完,本杰明正准备继续做题,眼角余光却瞥见李傲屏幕上的文档界面。他微微一愣,诧异地问:
“你这是……又在写论文?”
“是物理系那边一个项目的论文,我只是其中一个合作者。”李傲面色平静地解释,“我推导了一个候选局部边界权重,卢迪教授让我和安珀把这块内容加进去,好尽快完成阶段性汇报。”
这话听在本杰明耳朵里,分量却截然不同。
一个还在攻克难点的项目,因为李傲提供的新权重就能准备阶段性收口,这堪称关键贡献了。
本杰明满眼羡慕:“那你对这个项目的贡献应该很大吧?”
“只是提供了一个局部权重而已,算不上很大。”李傲轻描淡写地回道。
他心里也确实是这么想的。
本杰明却听得直想翻白眼,内心疯狂吐槽:
这都作为核心内容写进论文了,贡献到底要多大才算大啊!
……
时间在规律的日程中飞逝,转眼便到了正式参加美国能源部阶段性报告的前一天。
此时。
阿贡国家实验室的一间项目会议室内,卢迪正带着项目组众人为明天的报告做最后准备。
透过玻璃隔断,能看到其他小会议室和访客工作区里,几个来自其他学校的竞争团队同样在忙碌地整理幻灯片、调试脚本。
“明天各项目团队会在这里依次进行阶段性汇报,由能源部和阿贡共同评估。”卢迪敲了敲桌子,拉回大家的注意力,“我们先把基准算例最后复现一遍,顺便优化一下参数。”
李傲低头扫过胸前的临时通行证,又看了看会议桌上的高配工作站终端。
即便来之前做足了心理准备,真正踏入国家实验室的项目现场,直面核心科研的运转,他依然感到充满了新鲜感,心里免不了一阵起伏。
另一边,阿琼和卡特动作迅速。
没过多久,他们就在阿贡本地环境里拉起了验证分支,导入几组非规则边界和强边界耦合参数,准备收集稳定性余量数据来完善报告。
就在大家信心满满,热火朝天地准备报告时,坐在电脑前的妮可却突然出声。
“怎么会这样?”她皱紧眉头盯着屏幕,“最坏组又回到1.2以上,超过了安全线了。”
会议室里立刻安静了下来,所有人立刻围到电脑前查看情况。
“这不应该啊。”阿琼快速滑动鼠标,检视着屏幕上的反馈日志,“我们用了新的局部权重,R_boundary / E_bulk的最差数据之前一直没超过0.94。”
在一旁查看日志的李傲则还算平静。
他注意到了那几组出现异常的边界块编号,随手在纸上按顺序排开。
“13,21,42,53……”
看着纸上的数字,李傲察觉出了规律,说道:“这些相邻异常编号之间的间隔,刚好对应基准算例里那条非规则边界的分段长度。”
这些异常并非随机分布在整条边界上,而是每一个都精准地卡在相邻两段的衔接处,且无一例外全落在法向跳变最剧烈的凹角上,平滑的凸角则完全正常。
听完李傲的分析,卢迪给出了判断:
“应该是数据集的问题。
“这是阿贡前天才开放的鲁棒性测试集。他们在基准算例里加了非规则边界,导致角点附近的局部模式被强化了。并且,这组极端数据极有可能会纳入明天的评估。”
“因为边界的法向不连续,局部迹估计的常数直接被放大了。”李傲顺着卢迪的思路补充道。
项目组之前的测试多集中在规则边界和较平滑的扰动边界,属于标准场景。
在那种情况下,现有的候选权重足以保证下界稳定。
可一旦引入极端的非规则边界,角点处的局部能量就会绕开原先的跳跃指标,导致R_boundary / E_bulk的数值被重新抬高。
问题的根源找到了,但摆在眼前的挑战也变得棘手起来:
该如何解决?
“明天上午就要正式汇报了,现在只剩不到一天的时间,咱们肯定来不及重新做一套完整方案了。”阿琼语气有些凝重。
“如果是因为测试集变了,那应该不止我们一家碰到这问题。”卡特在一旁补充道。
李傲短暂思考后,提出了自己的应对策略:“既然异常集中在角点附近,我们可以尝试给局部权重加入离散曲率修正,针对法向跳变大的边界块进行单独补偿。这样应该能解决非规则边界下的稳定性松弛问题。”
他对自己的候选局部边界权重很有信心,外加角点修正项,理论上足够应对这类非平滑边界。
安珀听完点了点头:“嗯,我觉得Leo的方案可行。”
卢迪看向李傲,目光中闪过一丝惊喜,但还是提醒道:
“但留给我们的时间不多了。”
……
第114章 我有把握(求订阅)
在理论层面,使用离散曲率指标建立角点修正对这个团队并不难,难的是实现。
要想在明天的汇报中甩开竞争对手,他们不仅要在一夜之间拿出可复现的数据,还要将新代码与现有的边界权重扫描脚本完全融合。
“我有把握明天报告之前做完。”李傲毫不迟疑地回答。
话音刚落,阿琼和卡特几人都有些诧异。
他们承认李傲的数学天赋,毕竟他之前能在极短时间内推导出候选局部权重。
但把修正项接入验证代码,那是纯正的工程开发,涉及到项目组内部的代码库。
“要建一个角点修正分支,工作量真不算小,光是跑测试脚本就要花不少时间。”阿琼有些担忧。
卡特也附和道:“而且边界权重模块不仅是验证分支,它还跟绘图、参数扫描、结果汇总连在一块儿。Leo刚接触代码库不久,未必熟悉里面的底层逻辑,要不还是我和妮可先试着改?”
卢迪听着团队的讨论,目光依然停留在李傲身上。
其他人或许不清楚,但他可是见识过李傲的数值分析和代码能力,知道绝不亚于其数学水平。
早在之前的数值模拟研讨会上,李傲就证明过自己将数学估计转化为模型验证的实力。
更重要的是,这次要改的并非整套核心代码,而是一个隔离出来的验证分支。
既然角点修正项是李傲提出来的,那必然只有他最清楚该如何将其接入模块。
其他人的能力他都很了解,一天之内肯定没法保质保量地完成。
与其提前放弃,还不如相信一下这个自信的小家伙。
于是卢迪不再犹豫,当即拍板:“接下来所有人配合Leo,建立角点修正分支。我们要尽可能把非规则边界下的稳定性余量拉回来。”