学霸的黑科技系统

    没什么，弗兰克老先生摇了摇头，关上了笔记本的盖子，笑着说，我和你说的那个华国小伙子还挺幽默。

    虽然最后开了个玩笑，但陆舟的心情却并不算好。

    盯着电脑中的文件看了好久，又看了眼旁边那叠几乎写满的a4纸，他双手抓着头发，满脸都是浮躁。

    两线作战似乎是个错误的选择，一边是数论，一边是泛函分析和群论，每一个问题都让人头大

    而且这还不是最难受的，最难受的是弗兰克先生在对称场外引入额外维的操作，实在是缺乏数学上的美感，明明按照他的那套观点，从暗物质的角度来解决这个问题，很多在数学上解释不通的问题都可以避免。

    如果从暗物质的角度出发，每一个z/pz的生成元都能被映射到exp（2pi·i/p）这样的函数上，庞特里亚金对偶问题也可以得到妥善的解决大概？

    总之在数学上的直觉告诉他，这种可能性很大，和完善这套理论的工程量一样大！

    靠在了椅子上，陆舟望着天花板，大脑里不断徘徊着那些符号，连马上要去吃饭的事儿都忘了。

    群论

    群论

    要是这群论的问题和数论一样简单就好了虽然数论也不算简单。

    等等，群论？！

    陆舟眼睛一亮，忽然脑中灵光一闪。

    这一闪而逝的灵光并没有照亮750gev特征峰下的阴影，而是意外地亮在了波利尼亚克猜想的头顶上。

    从椅子上一把坐了起来，陆舟手中转着笔，大脑转得飞快。

    群论是个很强大的工具，不但和泛函分析中的希尔伯特空间并列为量子力学的两大理论神器，在数论中尤其是针对无限的素数问题进行研究时，更是往往能发挥奇效。

    比如，任何基础数论的老师，在第一或者第二堂课上都会提到的一个很经典的范例费马小定理。

    这条定理有很多中证明方法，其中公认最简洁证明方法，便是用群论证明的。

    至于有多简洁，标准字体甚至只需要三行就能做到。

    即，若a和p互素，由euler定理有a（p）≡1（odp），但（p）p1，故a（p1）≡1（odp），两边乘以a即可得结论：当a是自然数，p是素数时，有ap≡a（odp）。

    是不是很简单？

    事实上，费马小定理只是欧拉定理中的一个特例。

    不过用欧拉定理，依旧可以用群论的方法解决，而且全部证明过程用不了半页纸。

    这段时间里，陆舟在思考波利尼亚克猜想证明的时候，思路一直在如何对筛法的拓扑学原理进行补充上，如何将k1形式推广到无穷大的自然数上，却没有考虑过运用其他的数学方法

    事实上，arxiv网站上的很多论文，这大半年来也是在干同样的事情，尝试改进他的方法，然后在此基础上解决波利尼亚克猜想。

    然而，连陆舟自己都没有想到，自己竟然从一个毫不相干的物理课题中得到了启发。

    救出这位被巨龙困在城堡里的公主方法，并不是给这把曾经斩过一头小龙的宝剑附魔，而是应该取下背在他背上的那柄长弓。

    指间的圆珠笔转得越来越快，最终嗖的一声飞了出去，啪的打在了台灯上。

    没有去捡，陆舟忽然长叹一声，趴在了桌子上，有些懊恼地感慨道。

    疏忽了这条思路，说不准还真行得通！

    灵感一来，思路如尿崩，挡都挡不住！

    将750gev的事情暂时放在了一边，陆舟二话不说从抽屉里扯出来一张崭新的a4纸，顺着这条新思路，开始认真钻研了起来




第192章 目标，数学年刊！
    这灵感一来，笔就停不下来了，甚至连肚子都不饿了。

    全身已经被精神食粮充满的陆舟，只觉得浑身都是干劲，拿着那支笔，开始在纸上洋洋洒洒地写下了一行行算式。

    【设有限群g且gp1a1p2a2···piai，其中pi为素数，ai是正整数。令pπ（g），定义deg（p）{qπ（g）p~q)

    称deg为p的次数。再定义c

    】

    时间一分一秒过去，文思泉涌的感觉却一刻也没有停下。

    这种感觉和上次有所不同。

    上次的灵感是借来的，但这次的灵感，却是他自己孕育的。

    笔尖在纸上游走。

    不知不觉中，已经写满了五张草稿纸。

    将步骤和思路整理了下，陆舟揉了揉肚子，靠在椅子上，掏出了手机。

    本以为没过多久，结果一看时间顿时惊了。

    握草，都五点了？！

    人是铁，饭是钢，一顿不吃饿得慌，更不要说他还没吃早饭了。

    陆舟最终还是撑不下去了，趁着食堂还没有被清一色绿军装的学弟学妹们占领，赶紧去食堂吃了顿晚饭，回来继续埋头苦干。

    时间到了六点半。

    从外面上完课回来，史尚提着盒饭推门走进来，看见趴在桌子上奋笔疾书的陆舟，好奇地嚷嚷了声。

    肘子，你在干啥呢？研究生还有作业？

    正算到关键的地方，陆舟也不抬头，随口回道。

    写论文。

    这时候，黄光明和刘瑞两个也提着盒饭跟着进了门。

    将书包扔在了桌子上，刘瑞拿出了专业课作业，黄光明则是好奇地走到了陆舟背后，往纸上看了两眼。

    这一看不要紧。

    看了之后，顿时懵逼了。

    握草，肘子，你写的东西，我怎么一个字都看不懂。

    听到小贱的声音，史尚也不吃饭了，好奇地走了过来。

    捧逼捧的夸张了啊小贱，咱现在又不是大一，都大三了，你看不懂过程，符号总能看懂吧握草，我没认错，这玩意儿是群论吧超纲了啊！

    正在写专业课作业的刘瑞，转着手中的笔，面对肘子的各种骚操作，他已经越来越淡定了：也不算超纲吧，在专选课的跨学科选修里面，是有李群李代数不过和我们应数没什么关系，除非你们打算转理论物理。

    理科转理科，那得多想不开。

    为了兴趣没什么好说的，不是实在感兴趣，大家都是老老实实往钱途广大的工科转。

    惹不起惹不起。黄光明摇着头撤退了。

    必须惹不起，要不搞个大新闻的就是你了。拍着小贱的肩膀叹着气，史尚也一脸放弃治疗的表情撤退了。

    陆舟：？

    罗马不是一天建成的，一套完善的理论不但需要灵感的迸发，更需要时间的积累。

    连续几天，陆舟几乎都是白天泡在图书馆里，晚上回到寝室后继续钻研。

    偶尔，他还要抽空回复下弗兰克教授的邮件，虽然cern那边暂时没有新的数据传来，但完善理论的工作同样需要计算。

    每一天，陆舟都过得相当充实。

    虽然在旁人看来无法理解，但他自己倒是乐在其中。

    9月份的第二周，一个风和日丽的上午，坐在图书馆里的陆舟伸了个懒腰，看着面前洋洋洒洒的十多页纸，心中感慨一声。

    终于特么的搞定了！

    敏感枯竭的时候，所有一切的工作都是为灵感来时的那一瞬间做铺垫。而当他真正想通这个问题解法的时候，找到迷宫的出口，似乎就在他的眼前。

    一切都是水到渠成。

    此时此刻，陆舟的心情说不出的愉悦。

    不只是因为解决了又一个数学难题，正是因为在解决这个数学难题时，让他对群论有了更为深刻的理解，并且在此基础上研究出了一套全新的数学方法。

    而这一发现，甚至比解决数学猜想本身，更让他心情激动。

    希尔伯特曾评价费马大定理是一只会下金蛋的鸡，并不是因为这只母鸡养活了一大批数学家，也不是因为这只母鸡给很多期刊提供了水论文的机会，而是因为很多新颖的数学方法，都是在对数论问题的研究中得出的。

    比如受费马问题的启发，库默引入了理想数的概念，并发现了把一个循环域的数分解为理想素因子的唯一分解定理，这一定理今天已被狄德金和克朗奈克推广到任意代数域，在近代数论中占据中心地位，而且其意义已远远超出数论的范围而深入到代数的函数论的领域。

    而陆舟在普林斯顿学术会议上的工作也是一样，应用拓扑学对筛法理论进行了补充，巧妙地解决了孪生素数猜想。

    而原本筛法理论已经被陈老先生运用到了极致，数论界普遍认为想要解决哥德巴赫猜想的1 1形式，必须得寻求新的方法。

    但现在看来，似乎出现了一些转机，筛法理论还有值得继续深挖的价值。

    而这一点，就连曾经于95年，最先将拓扑学原理引入筛法理论的泽而贝克教授，都是没有预料到的。

    这就是数论的价值。

    陆舟在解决波利尼亚克猜想的时候，同样完成了这一工作，为这个猜想找到了一条独特的解决路径。

    这种新的方法，被他成为群论的整体结构研究法，简称群构法。

    利用群论的方法，从整体上出发研究无限性的问题，并将k1形式推广到k为无穷大自然数，彻底证明对所有自然数k，存在无穷多个素数对（p，p 2k）这一命题。

    描述起来可能就一两句，但想要将这个解法详细讲明白，可能得要几块大黑板。

    花了整整一天的时间，将所有过程全部整理到了电脑上，转成了pdf格式之后。

    看着屏幕中的完成品，陆舟最后检查了两遍，满意地点了点头。

    就写到这里吧。

    关于群构法的详细理论，其实还有很多东西可以写，甚至于全部总结出来，比他这篇证明过程本身还要长。

    但那部分已经不是这篇论文的重点了。

    到此为止，波利尼亚克猜想已经证明。

    虽然看上去只是将孪生素数猜想推广到素数对间距无穷大的形式，但其中的困难，只有他这个证明者才知道了。

    陆舟想了想，在论文的最后，补充了一行。

    【碍于篇幅原因，关于群构法的详细理论，我会在下一篇论文中做详细说明。】

    重新转格式，压缩上传。

    目标，《数学年刊！



第193章 论老板坑徒弟的正确姿势
    普林斯顿大学，校园一角的咖啡厅。

    脑门儿光亮的老头坐在角落，一边喝着咖啡，一边看着手中的论文。

    坐在他对面的，是同样在享受着下午茶的爱德华·威滕。

    看着老友手中的论文，老先生笑着问道。

    你在看什么？

    一篇有趣的论文投稿，德利涅教授翻了一页，随口说道，关于波利尼亚克猜想。

    停顿了片刻，他又忍不住用赞许的语气补充了一句，很有趣的证明方法。

    爱德华·威滕：陆舟？

    是的，拿着圆珠笔在论文上做了几个记号，德利涅用闲聊的口吻继续说道，错过了那场学术报告，绝对是你今年最大的损失。

    威滕笑了笑，说道：哈哈，我认同你的观点，尤其是在见过了本人之后，我心中的遗憾倒是更强烈了。

    德利涅意外地抬头看了他一眼：哦？什么时候你还去了一趟太平洋对岸？

    威滕：是大西洋对岸，你忘了我刚从那边回来？

    德利涅眉毛抬了抬，问：你在ern碰到了那小子？

    威滕笑着说：你最近都没有看新闻吗？

    德利涅不假思索地摇头道：没有关注过，又有什么新鲜事儿吗？

    威滕：lhb国际合作组公布了五块克态粒子发现的消息，并且在750gev处发现了疑似超对称粒子信号的特征峰。

    哦，那恭喜你了，你离诺贝尔奖又近了一步。德利涅随口说道。

    简单的来讲，超对称论讨论的是费米子和玻色子之间的一种对称性，在某种程度上可以看成是超弦理论的低能标推论。

    如果超弦理论成立，那么超对称粒子就必须存在。

    所以反过来就是，如果超对称粒子发现，就能为超弦理论提供有力的实验证据（并非证明！）。

    但如果找不到，发展了将近30年的超弦理论，将陷入僵局。

    不过，德利涅对于物理学界并不是特别关心，虽然他和他已故的老师不少研究成果在物理学界都大放异彩，但他所专注的领域还是在纯粹数学上。

    尤其是数论，以及代数几何。

    现在恭喜我还太早了，威滕笑了笑，用开玩笑的语气说道，我觉得我的诺贝尔奖，怎么也得排在斯蒂芬·霍金的后面这辈子大概是没什么机会了。

    想要获得火药奖，必须是被实验证明的理论，而寻找构成宇宙的那根琴弦，可比制造一个黑洞去证明黑洞蒸发理论困难得多了。

    后者在理论上是可以做到的，只需要足够大的对撞能量，制造一个微小尺度上的黑洞，以及改进观测设备，将这个以光速蒸发的黑洞观测到。