「听说很多大佬，包括有些专攻偏微分方程的菲尔兹奖大佬，私底下都在琢磨这道题。」
说到这里，刘洋的眼中闪过一丝年轻学者特有的野心：「所以大家就想着，咱们这些年轻人能不能争口气？虽然单打独斗比不上那些菲尔兹奖得主，但咱们人多啊！这里汇聚了全世界各种顶尖大学的年轻人，咱们要是能赶在那些老一辈大佬之前，把这道题解出来————」
「那咱们这群人的名声也在圈子里打响了不是？」
周围几个华国博士生也纷纷点头，眼中仿佛都燃烧著名为「屠龙」的火焰。
林叶瞅了一眼，有哈佛，有普林斯顿，还有牛津、剑桥什么的，还真是群英荟萃。
「没错，而且咱们现在分工了。」旁边来自剑桥大学的博士生插话道，「那边的法国人负责李群结构的几何约束，那边的美国人负责误差分析。我们这个组，主要负责构造离散算子的核心格式。小兄弟，你是哪个方向的？要不要也来帮帮忙？」
林叶眨了眨眼，露出一个腼腆的笑容：「我是做————应用数学方向的，对数值算法稍微懂一点。我就不添乱了，我在旁边帮各位师兄师姐打打下手，查查资料，验算一下步骤就行。」
「行，那你就在旁边看着，有想法随时说。」刘洋也没指望这个看起来像本科生的小师弟能当主力，前两天的时候他们这边还来了几个本科生和硕士生，结果听了没多久就跑了，之后也不来了。
对于眼前这个更年轻的林叶————只能说能坚持到他们今天沙龙结束就算胜利。
于是刘洋随手递给他几张草稿纸，就继续跟旁边的其他人讨论了起来。
林叶在旁边听着他们时不时的讨论，忽然感觉有点意思。
他并没有忘记自己将这个问题公布出去的目的，那就是听听其他人的思路，从而扩展自己的思维。
特别是这个问题本身就非常值得讨论—它不像是那些未解的猜想那样本身就难到爆炸，同时也不像写在课本上的习题那样套路化。
这是一道能够帮助做题人加深思考的问题，不然的话也不会吸引那么多大佬的研究了0
而现在，能够亲身参与到这些顶尖名校学生的思考过程中，就更加符合林叶的需求了。
于是乎，他就在旁边安心听了起来，一会儿听听他们这边的，一会听听其他讨论组的。
没有哪个小组不让他听，甚至还会主动给他介绍讨论情况。
毕竟讨论本身也是这场沙龙的意义。
大概过了一个小时左右，林叶听了一圈，回到了他们华国讨论组这边，而此时，刘洋他们已经陷入了僵局。
「卡住了，还是卡在变分导数这儿。」
负责推导核心方程的那个剑桥博士生一大家叫他老陈，此时正烦躁地把笔摔在桌子上，指着草稿纸中间的一坨乱麻般的公式抱怨道：「我们试图利用离散拉格朗日量L—d（gk，g—（k+1）来进行变分，以导出保辛的动量更新公式。但是，在计算李群上的变分δg时，这个雅可比矩阵的逆总是消不掉。如果硬算的话，不仅计算量爆炸，而且这一项会破坏李代数的反对称结构，导致算法不稳定。」
刘洋也凑过去看了半天，眉头紧锁：「确实麻烦。这里涉及到指数映射的导数，通常需要引入无穷级数——要是能有一个简单的恒等式把这个逆算子给化简掉就好了。」
周围几个博士生都陷入了沉默。
这是李群数值积分里最恶心的一步，教科书上往往一笔带过，真要自己推导时才发现处处是坑。
一直安静坐在角落里，手里拿着笔假装验算的林叶，此时微微擡起了眼皮。
他看了一眼草稿纸上的那个阻碍项：dep—u^（—1）（δu）。
「这是想求指数映射导数的逆————」林叶心中暗道，「如果用常规的泰勒展开肯定死循环，但如果在李代数上，利用伯努利数的生成函数性质，不就行了么？」
他看了看这些师兄们，觉得他们不至于在这里被难住吧。
