第112章 这就懂了(求订阅)
阿琼的担心是有道理的。
距离阶段性汇报只有不到半个月。
如果现在改用李傲的候选权重,整个团队就需要重新组织参数扫描并汇总报告数据,试错成本极高。
一旦最终结果依然无法收紧下界估计,整份汇报都会大受影响,甚至可能牵动能源部和阿贡国家实验室对该模型的整体评价。
在阿琼看来,如果这个方案是由经验丰富的安珀提出,他会放心得多。
但李傲毕竟初来乍到,在跨学科项目上的实操经验尚显不足。
卢迪听取了阿琼的顾虑,没有立刻表态,只是用食指轻轻敲击着桌面。
办公室内安静下来,等待着导师的决断。
十多秒后,敲击声停止。
卢迪坐直身体,做出了决定:「数学推导就像显微镜,能帮我们看清数值结果背后的本质结构。既然边界权重这一块交给了Leo和安珀负责,我们就应该给这个候选方案验证的机会。
「就算失败,风险也由整个团队来承担。尽快单开一条验证分支,用新的候选权重跑一遍参数扫描。」
「好的,卢迪教授。」阿琼立刻应声接下任务。
后续工作安排妥当后,卢迪没有再拖泥带水,直接宣布组会结束。
散会后,所有人各自回到工作状态。
参数扫描和结果绘图模块主要由卡特和妮可维护,接下来的几天里他们的工作量会急剧增加。
李傲其实也想参与编程,顺便测试一下「全神贯注」状态在编写科研代码时能发挥出多大效用。
但JFI的代码仓库有严格的权限限制,且团队分工已经明确,他暂时只能在一旁观摩。
之后的两天,李傲依旧按时前往研究所。
虽然不需要直接插手参数扫描,但他也没闲着,正好藉机学习泛函分析。
这几天的学习中,他反覆接触到HiIbert空间投影丶有界线性泛函丶算子范数丶弱收敛和紧性等数学工具。
——
此前在网上查阅资料时,他没少看到数学系学生对这门课的吐槽。
有人开玩笑说,函数进了空间就不再像函数。
收敛换成弱意义,证明立刻翻一倍。
不过,泛函分析就像是数学领域的力量训练,练的时候痛苦,但练完之后思维会变得异常扎实。
无论是研究离散能量空间,还是处理边界迹算子的有界性,这些工具都无法避开。
李傲藉助【模型分析】的词条能力,将复杂的概念拆解为空间丶范数丶算子和能量四个基本模块,理解起来便顺畅了许多。
这天上午,李傲坐在工位上,面前摊开着Rudin的《泛函分析》。
旁边的安珀也相对清闲,除了偶尔去确认卡特和妮可的进度,剩下的时间都在草稿纸上推导自己的博士课题。
「如果把离散能量空间看作有限维Hilbert空间,边界取值就可以先写成一个线性算子。」