“这是一个非常完美的证明...根本不可能有漏洞...”
帕克森对自己的论证过程很自信。
深吸了口气,他继续埋首,写了半小时之后,他才又起身,为自己泡了一杯美味的咖啡。
刚坐下,他的学生埃雷拉就走进来,表情...似乎有些复杂。
第867章 帕克森教授有点绝望
欧洲,办公室内。
帕克森放下咖啡杯子,瞧着自己的学生奇怪的表情,他心里“格登”一下,突然有种不好的预感。
“我在夏国的朋友,给我发来了许青舟刚刚才在夏国的社交平台发布的消息。”
埃雷拉顿了顿,把手中的平板递给帕克森教授,“比较幸运的是,他公布了中文和英文两个版本,您...或许可以看看。”
帕克森表情凝固,飞速接过平板,一点点读起来。
【帕克森教授的工作引起了广泛关注,但其中包含一个关键性的缺陷,本人认为有必要提请学术共同体注意。】
“简直是胡言乱语!”
看到这第一句,帕克森脸色已经开始臭起来,说道:“我们的论文根本不存在问题!他这是赤裸裸的污蔑,是嫉妒!”
虽然骂着,但他还是耐着性子继续读下去。
就是一篇学术评论文章,正文用1-2段话,非常精炼地总结他的“非局域流形”和“范畴化重正化群(RG)”框架,明确指出,在他的RG变换 RG_Λ中,定义了一个关键的数学对象——依赖于能标Λ的非定域拟映射 Q_Λ。
看到这里,帕克森教授刚才那种不妙的预感顿时消散了。
越发认为许青舟是在胡说。
这个部分虽然不是核心,可他们同样验算过无数遍,而且有着无数的经验,根本不可能出问题。
“维克旋转和OS定理...原本以为他会有什么出彩的建议,没想到就这?”
帕克森教授心里冷笑,在自由场论和微扰论中,维克旋转和OS定理的应用是一个已经被彻底解决、教科书式的步骤。
【范畴化重正化群流中,为了处理紫外发散,他引入了一个依赖于能标Λ的、非定域的拟映射来定义您的‘粗粒化’函子。具体来说,在他的公式(4.11)中,这个拟映射的核函数在复平面上具有一个与Λ相关的、非平凡的解析结构。】
【这里需要展示一个估计或渐近分析。例如:考虑测试函数序列{f_k}逼近光锥(x^0)^2 -|x|^2 = 0。可以证明,关联函数 S_2(f_k)在 k ->∞时的渐近行为受 Q_Λ的奇异点支配,导致其无法解析延拓...】
时间一分一秒地过去。
随着阅读的深入,帕克森教授表情逐渐凝重,最后陷入沉思。
许青舟指出的点,他们确实其实没有深入验算,因为这和整个庞大的证明过程相比显得有点无关紧要。
在证明的过程中,他将主要精力放在了新框架,例如非局域流形、范畴化RG等等的创建和解决存在性问题上,而将在维克旋转这种经典问题直接带过。
“不,这很可笑,这是不可能存在的问题...”
帕克森教授心里很肯定地说,但很快的,抽出一张稿纸,开始进行验算。
一旁,埃雷拉悄然退出去,他知道帕克森教授的验算需要时间。
1小时过后,埃雷拉再次走进来,手里端了杯咖啡。
地上多了些被撕碎的手稿。
帕克森教授此时已经显得有些暴躁,双眼有些红,紧紧盯着手稿,根本没理会进来的埃雷拉。
“看来情况不妙啊。”埃雷拉心里叹息一声,再度退出去,他也在根据许青舟的方式进行验算,发现了些问题。
他们一众人束手无策,原本以为帕克森教授能够解决,但现在看来...
【帕克森教授所构造的、在红外极限 T_*处的关联函数,由于其构造过程中依赖了那个Λ相关的拟映射,其解析性在维克旋转的关键路径上,恰好留下了奇点。】
【帕克森教授从欧几里得空间的面积律到闵可夫斯基空间的线性势的推导,在数学上是不完备的。这个解析性上的微小瑕疵,使得整个质量间隙的证明——这个宏伟架构的最终目标——失去了关键的支持。】
【基于上述理由,我认为帕克森教授关于解决杨-米尔斯存在性与质量间隙问题的宣称目前是无法成立的。】
又是1个小时过去。
埃雷拉敲了敲门,走进办公室,又给帕克森教授端进来一杯咖啡。
不过,却发现帕克森教授怅然若失地坐在椅子上,仿佛失了魂一样,这次连他进来都没发现。
埃雷拉还是出声:“教授...”
帕克森教授回神了,望着走进来的埃雷拉,说话时才发现自己喉咙有些干涩:“你们那边情况怎么样...”
“很遗憾。”
埃雷拉无奈地摇了摇头,他们对照着许青舟给出的方法进行反推,事实证明,许青舟是对的,帕克森教授的证明有漏洞。
整篇文章逻辑清晰,事实清楚,根本就没有反驳的余地。
光是从这篇学术评论里边,就能感受到许青舟可怕的数学造诣。
听到这个,帕克森教授目光又是一沉,突然有些无力,望着稿纸上密密麻麻的公式。
在他的学术生涯中,他无数次成功地使用过维克旋转。在处理更简单的模型时,他构造的理论通常都“足够好”,天然地满足OS定理的解析性条件。
因此,在整个证明的过程中,直接忽视了维克旋转方面的东西。
这是很简单的道理,好比一个熟练的司机,从A点到B点,踩油门、打方向盘、看后视镜已经成为肌肉记忆。他不需要在每次出行前都重新推导一遍牛顿力学和交通规则。
但...居然真的会产生兼容性冲突。
埃雷拉缓缓道:“夏国准备建设地外生物圈,许青舟担任负责人,除了这个,他现在还在负责小型堆的研发,我实在想不通他为什么还有时间研究数学...除非他一天有48小时。”
“现在关键的是,我们需要解决这个问题。”
见埃雷拉如丧考妣,帕克森教授沉声说:“别这幅表情,范畴化重正化群和非局域流形是为了解决前所未有的难题——四维非阿贝尔规范理论的存在性,而设计的超级工具。中间即使出现某些细微的瑕疵,那也是很正常的事情...我们只用花一点点时间把它修正就好了。”
“通知大家开会。”
“好的。”
...
第868章 我们必须证明自己
许青舟的微博可是有两千多万的粉丝,尤其是,前段时间被外网的那些嚣张评论气到了,见到许青舟拿出证据,现在更加兴奋。
“我去,真的有问题啊。”
“对不起,我是颜粉,看不懂,谁能解释一下。”
“大致就是说帕克森教授用的维克旋转有问题。”
“不应该啊,在标量场论中,维克旋转确实直接可行啊,这种经典问题不可能会出错。”
“我瞄了一眼,有点拙见,说得不对大家可以指正,许青舟的意思,维克旋转的经验无法自由迁移到复杂的非阿贝尔规范场,忽略了新理论独有的复杂性,比如非定域拟映射带来的解析性问题。”
“兄弟,牛啊,一下子就总结出来了。”
“不是,谁能告诉我到底是啥意思,文科生一脸懵逼。”
“文科生来排队。跟着喊‘666’就完事了。”
“外网那些傻逼,不是说许青舟见不得他们有数学突破,打压老学者吗?”
“帕克森教授不会犯这么低级的错误吧。”
吃瓜群众在感慨帕克森教授要锤得锤,而关注这个事情的学者们则是第一时间就开始进行验算。
数学界更加热闹。
京大数院。
孟斌一进办公室,就兴奋地问:“教授,您看师弟的微博了吗?”
他早已经博士毕业,现在跟着顾志钟搞项目。
“看完了,这小子厉害啊,我还真没有注意到这一点,光忙着验证非局域流形的数学正当性,却忽视了维克旋转和OS定理的问题。”
顾志钟有些感慨。
“是啊,直击痛点。”
孟斌咂舌:“师弟一如既往的厉害,居然能在这么短时间能找到这种细微的漏洞。”
顿了顿,他唏嘘说:“帕克森教授也是,栽在这种微不足道的小细节上面。”
“他恰恰是陷入了天才常有的陷阱,对自身开创性工作的过度专注,导致了对经典基础设施的想当然。”
顾志钟淡淡笑着,又冷哼一声,“这老家伙也该受点教训了,本来就是学术讨论,偏偏要搞得人尽皆知,我看他怎么收场。”
“他们现在估计正在头疼师弟提出的这个漏洞...”孟斌现在一副看热闹的心态。
“这个漏洞...可不好补。”
外行看热闹,内行看门道。
印度帝国理工大学高等数学研究所。
阿米尔的书桌上,摆放着一张张验算手稿,他刚才也把许青舟发的证明拉了一遍。
“这家伙,还是那么厉害。”
阿米尔感叹。
许青舟这些年并没有专注于数学领域的研究,但天赋仍然很恐怖。
“教授,英国那边,能填补这个漏洞吗?”
这么多年过去,许青舟曾经在剑桥报告会上第一次见到的印度小哥,现在已经是帝国理工大学的教授了。
“很难,最起码...”
阿米尔无奈地耸耸肩,“我现在是没有任何的思路。只能祝他们好运了,许青舟是个很可怕的对手。”
帕克森教授使用了一个在更简单的场论中成立的论证,但忽略了他的新构造引入的复杂解析结构所带来的新风险。
“对了,你们组的非线性项处理如何?”
“一周时间可以出结果。”
“太慢了,5天,下周二之前我需要看到结果。”
“我们尽力。”
阿米尔的团队目前正在研究纳维-斯托克斯方程解的存在性与光滑性问题。
“我是发现了,不管研究什么,都得和许青舟这家伙避开。”
阿米尔在心中说。
...
周五。
和夏国数学界的热闹相比,英国,剑桥大学旁的一间房子内,气氛就显得有些凝重。
“该死...”
帕克森低声咒骂了一句。