学霸的模拟器系统 第107节

　　里希特教授表示，他刚刚读完了林允宁发表在PRL上的文章，对他提出的贝叶斯反演框架非常感兴趣，认为这为处理复杂的实验光谱数据提供了一个极具潜力的新方法。

　　但在客套的赞美之后，他紧接著提出了三个尖锐、精准的技术问题，每一个都直指算法最核心、也最容易被攻击的薄弱环节：

　　“您的模型在应用克莱默-克若尼关系（K-K relations）时，不可避免地需要对有限频率范围外的光谱进行外推。请问您如何量化并控制这种外推所带来的系统性误差边界？”

　　“在高维参数空间中，尤其是面对信噪比不高的数据时，不同物理参数之间可能存在强烈的耦合，导致‘参数可辨识性’（Identifiability）问题。您的MCMC采样器，如何有效诊断并处理这种情况？”

　　“贝叶斯推断的结论，在多大程度上依赖于先验概率分布的选择？您的鲁棒性分析是否足以证明，您的物理结论并非特定‘无信息先验’选择下的人为产物？”

　　林允宁一字一句地读完，非但没有感到被冒犯，眼中反而亮了起来。

　　这已经不是前辈对晚辈的考校了。

　　这是一封来自顶尖同行的战书。

　　对方显然是认真研究了他的方法论，并且找到了最关键的三个“命门”。

　　就在他思索如何回复时，手机响了，是韩至渊打来的。

　　“邮件看到了？”

　　韩至渊的声音沉稳，听不出情绪。

　　“看到了。”

　　“里希特这个人我见过，是凝聚态物理的权威，在欧洲学界也是老派学者的代表人物，有点顽固，而且出了名的难缠，眼光毒辣，专挑软肋下手。”

　　韩至渊的语气变得严肃起来，“现在，我就是里希特，你来回答我。第一个问题，K-K关系外推，这是所有光谱分析的都避不开的问题，你怎么解决？”

　　“我无法‘解决’掉这个问题，因为误差客观存在。”

　　林允宁的指尖在桌上有节奏地敲击着，回答得毫不迟疑，“我的思路，不是去‘消除’误差，而是用物理模型去‘约束’它。

　　“我会考虑用一个符合物理规律的渐进行为模型，比如德鲁德模型，来对高频部分进行建模，并通过改变模型的截止参数，来量化这种外推对最终结果不确定性的贡献。

　　“我们不隐藏误差，我们量化它。”

　　电话那头的韩至渊“嗯”了一声，问题却愈发犀利：

　　“那么第二个问题呢？参数可辨识性！

　　“你的算法在数据质量差的时候，根本分不清峰A的展宽和峰B的强度，最后给出的不过是一堆无意义的相关性，你怎么保证你所谓的‘解’不是一个数学游戏？”

　　“因为它本来就不是一个‘解’。”

　　林允宁的声音依旧平静，“这恰恰是贝叶斯框架的优点。

　　“当后验分布里两个参数呈现出极强的负相关性，这本身就是一个最有价值的结论——它告诉我们，当前的数据无法将它们独立区分开。

　　“我们要做的，不是强行给出一个误导性的‘最优解’，而是在报告中诚实地展示它们的联合概率分布图，并明确指出它们的耦合关系。”

　　“很好，”韩至渊的语气里，终于带上了一丝赞许，但他没有因此放松，“最后一个问题呢？

　　“先验依赖性，这是最致命的，这是贝叶斯方法最常被攻击的一点。

　　“你怎么证明你的结论，不是你拍脑袋选的某个‘无信息先验’的人为产物？你怎么说服我，你的结果不是你主观臆断的结果？”

　　“我用数据说服您。”

　　林允宁笑了笑，“首先，进行全面的敏感性分析，展示在不同类型的无信息先验下，关键物理结论的稳定性。

　　“其次，也是最重要的一点，用模拟数据进行交叉校准。

　　“我们可以生成一万组已知‘真实答案’的模拟光谱，用我们的算法去反演，并检查我们给出的95%置信区间，是否真的在9500次左右覆盖了真实值。

　　“用统计事实，来校准我们的模型，证明先验的合理性。”

　　电话那头沉默了片刻，随即传来韩至渊发自内心的笑声。

　　“好，非常好。你的思路比我想的还要成熟和完备。”

　　他停顿了一下，说道，“就按照你刚才说的这个思路，条理清晰地回复他。不用谦卑，也不用傲慢，像一个平等的合作者一样去交流。”

　　“记住，允宁，学术界没有前辈晚辈，只有问题和答案。你的答案足够有力，你的地位就足够平等。”

　　“明白了。”

　　“对了，”

　　韩至渊补充道，“后天就是集训队开营的日子，别迟到。我在金陵等你。”

　　挂掉电话，林允宁打开一个新的邮件窗口。他没有立刻下笔，而是在脑中将刚才的思路重新梳理，组织成最精准、最严谨的学术语言。

　　十分钟后，他敲下了邮件的第一个单词。

　　他的回复，冷静、专业，条理清晰。

　　对每一个问题，他都先承认其合理性，然后提出自己的解决方案，并恰到好处地引用了自己论文补充材料中的相关章节作为支撑。

　　邮件的结尾，他写道：

　　“……再次感谢您提出的深刻问题，这对于我们进一步完善算法框架至关重要。

　　“另外，我注意到您在2003年《自然-物理》上的经典工作中，对Hohenberg-Kohn定理的应用是一个非常巧妙的近似。

　　“如果将这个近似替换为我方开发的Aether框架进行非微扰处理，也许能够解释您在论文图3中提到的，模型与低温区实验数据存在的那个系统性偏差。期待未来能有更深入的交流。”

　　点击发送。

　　他起身从冰箱里拿出一罐冰可乐，拉开拉环，“嗤”的一声在安静的房间里格外清晰。

　　窗外夜色正浓，一个新的学术战场，已然开启。

　　……

第91章 热河狠人杜德彪（求收藏求追读求月票）

　　时间过得飞快，转眼就到了十一月的最后一天。

　　国家集训队的报到日。

　　金陵大学，南苑宿舍区。

　　冬日的阳光没什么温度，懒洋洋地铺在汉口路古朴的牌坊上。

　　校园里，银杏叶落了满地，踩上去发出“沙沙”的轻响。

　　林允宁背着那个塞满了大部头英文书的单肩包，在接待老师的带领下，找到了301宿舍。

　　宿舍是标准的上床下桌四人间，米黄色的墙壁，浅木色的家具，还有一个带着独立卫浴的阳台，比他之前在金大住的临时宿舍好了不少。

　　此时宿舍里其他人还没有来，林允宁随便挑了个靠窗的空位，把包往桌上一扔，便迫不及待地拿出那台IBM X40。

　　他给苏黎世联邦理工的回信，并非只是为了赢得一场学术辩论。

　　里希特教授提出的那三个问题，为他打开了一个新的思路——

　　让Aether从一个“数据净化器”，进化成一个能够主动诊断“模型缺陷”的工具。

　　K-K关系的外推误差、参数耦合导致的可辨识性问题、贝叶斯框架对先验的依赖……

　　这些看似是“缺陷”的地方，反过来，也正是最容易隐藏新物理的地方。

　　他要做的，就是将这些“缺陷”，转化为Aether的诊断能力。

　　在耗费了150小时的模拟时长后，林允宁已经有了比较完善的解决方案。

　　接下来的工作，就是将这些算法用C++实现。

　　开机，戴上耳机，继续完善着Aether的新版本。

　　他刚进入状态没多久，宿舍门“吱呀”一声被推开，两个熟悉的身影出现在门口。

　　“林神仙！真的是你！”

　　一个熟悉的声音伴随着“咚咚咚”的脚步声，从门口传来。

　　许嘉诚拖着一个硕大的新秀丽行李箱走到门口。

　　他看到林允宁，眼睛瞬间就亮了，三两步冲了过来。

　　“我靠，你这速度也太快了，什么时候到的？”

　　他身后的周衍则依旧是那副温文尔雅的样子，推了推眼镜，笑着打了声招呼。

　　“你们俩也分这儿了？”

　　林允宁摘下一只耳机，抬头看了看许嘉诚，有些意外，但也很满意。

　　跟熟人当舍友，总比四个陌生人凑在一堆儿强。

　　“是啊，呃，对了，我们看了省台播的节目了，你上电视帅呆了！”

　　许嘉诚一屁股坐在他对面，挤眉弄眼地调侃：“还‘苯环为什么是六边形’，林神仙，你老实交代，这段是不是你故意摆拍的？演技有点浮夸啊。”

　　“滚蛋。”

　　林允宁笑骂了一句，心情也跟着放松下来。

　　“切，”

　　许嘉诚撇撇嘴，随即好奇地凑到他电脑前，“又在搞什么神仙玩意儿呢？我靠，这……这是你自己写的软件？还有图形界面？”

　　“一个开源项目，叫做Aether，是分析光谱数据用的，”

　　林允宁轻描淡写地解释，“我用C++重构一下底层，优化性能。”