数论重大突破:120年后,希尔伯特的第12个数学难题借助计算机获得解决

来源:机器之心

编辑:nhyilin

德国数学家大卫 · 希尔伯特(David Hilbert)是二十世纪最伟大的数学家之一,被后人称为「数学世界的亚历山大」。他对数学领域做出了广泛和重大的贡献,研究领域涉及代数不变式、代数数域、几何基础、变分法、积分方程、无穷维空间以及物理学和数学基础等。1899 年出版的《几何基础》成为近代公理化方法的代表作,且由此推动形成了「数学公理化学派」。

David Hilbert。

1900 年 8 月 8 日,在法国巴黎举办的第二届国际数学家大会上,大卫 · 希尔伯特提出了新世纪数学家应当努力解决的 23 个问题。这 23 个问题统称「希尔伯特问题」,共分属四大块:1 至 6 属于基础数学问题,7 至 12 属于数论问题,13 至 18 属于代数和几何问题,19 至 23 属于数学分析问题。这些问题成为了后世数学家们努力攻克的难关,并对现代数学的研究和发展产生了积极和深刻的影响。

一个多世纪过去了,这些问题中的大多数得到了圆满解决或部分解决,但有些依然未能解决,其中包括第十二个问题「一般代数数域的阿贝尔扩张(Abelian extension)」。就其定义而言,阿贝尔扩张是一类重要的域扩张,设 K 是域 F 的伽罗瓦扩域,若其伽罗瓦群 G(K/F) 为一阿贝尔群,则称此扩张为阿贝尔扩张,此时,K 称为 F 上阿贝尔扩域。

1912 年,德国数学家埃里希 · 赫克使用希尔伯特模形式研究了实二次域的情形,虚二次域的情形用复乘理论已基本解决。一般情况下的阿贝尔扩张则尚未解决。

图源:wikipedia。

其实,在希尔伯特提出他的 23 个问题清单前不久,数学家们就发现了一些与有理数相关的特定数字的构建块,其中这些有理数可以使用整数比例来表示。巧合的是,这一发现是解决第 12 个问题的基础,要求寻找与有理数以外的数字系统相关的构建块。

经过数学家们数十年不断的研究探索,今年 3 月初发表在 arXiv 上的论文《Brumer–Stark Units and Hilbert’s 12th Problem 》终于描述出了希尔伯特 100 多年前寻找的用于广泛数字系统的构建块,但是得出的答案依赖一些非常现代的观点。

论文地址:https://arxiv.org/pdf/2103.02516.pdf

论文作者分别是杜克大学数学系教授 Samit Dasgupta(左)和印度科学研究院数学系教授 Mahesh Kakde(右)。

对于这项研究,美国数学家、加州大学圣地亚哥分校和哈佛大学名誉教授 Benedict Gross 表示:「这是我们期待已久的事情,他们确实取得了一项重大突破。虽然与希尔伯特的想法完全不同,但这就是数学的魅力。你永远无法预测以何种方式解决问题。」

在解读这两位数学家的研究成果和方法前,我们首先来了解下希尔伯特第 12 个问题的数论基础以及百年来数学家们在此问题上做出的种种努力和尝试。

数论基础:表达式的根

希尔伯特第 12 个问题是建立在数论基础上,是研究数字的基本算术性质,包括多项式表达式的解,比如 x^3 + 2x − 3。特别地,数学家经常研究这些表达式的根,使多项式等于零的 x 的值。

数论家经常根据多项式的系数类型来分类多项式。以有理数为系数的系数相对简单,是研究的共同目标。

「我们从有理数开始,」杜克大学的数学家 Samit Dasgupta 说,他是这项最新研究的作者之一,还有一位合作者是来自印度科学研究院数学系教授 Mahesh Kakde。并表示道:「这是数论的基本系统。」

有时有理系数多项式的根本身就是有理数,但情况并非总是如此。这意味着数学家想要找到所有有理数多项式的根,需要在一个展开的数系统中寻找:复数,包括所有有理数和实数,加上虚数 i。

当在复平面上绘制多项式的根时,实数沿着 x 轴,纯虚数沿着 y 轴,某些对称性就会出现。这些对称性可以用来重新排列这些点,排列它们的位置。如果你能以任何顺序应用对称性得到相同的结果,那么多项式是阿贝尔式的。但是如果你应用对称性的顺序改变了结果,那么这个多项式是非阿贝尔式的。数论家对阿贝尔多项式最感兴趣,同样是因为它们的简单性,但它们很难区分。例如,x^2− 2 是阿贝尔式的, x^3 − 2 则不是。

来自俄勒冈大学的 Ellen Eischen 说:「要想得到非阿贝尔式,你不必走得很远。」

除了这些对称性之外,阿贝尔多项式还有一个显著的特点,那就是试图用简单而准确的术语来描述多项式的根。例如,很容易准确地描述多项式 x^2−3 的根:多项式的根是正负根 3。但是对于指数较大的复杂多项式来说,要写出它的根是很困难的。

当然,也有变通的办法,「你可以用数字来近似『多项式的根』,」Eischen 说。但如果你想用一种明确的方式写下来,只能用有限的方式来写。

然而,具有有理系数的阿贝尔多项式是特殊的:总是可以从固定的构建块集合中精确地计算它们的根。这个发现被证明是如此的强大,它启发了希尔伯特提出了他的第 12 个问题,而这一切都归功于一组被称为单位根的数字。

单位根

单位根是一个看似简单却非常重要的概念。数值上,它们是多项式的解,其中,变量的幂被设为 1。比如, x^5 = 1 或者 x^8 = 1。这些解是复数,它们由指数中的数字表示。例如,5 次单位根就是 x^5 = 1 的五个解。

但是单位根也可以用几何来描述,而不用方程。如果把它们画在复平面上,这些点都在一个半径为 1 的圆上。如果你把圆看作一个时钟,那么在 3 点钟指向,你总会有一个单位根,其中 x=1,因为 1 对任何幂仍然是 1。剩下的单位根在圆的周围等间距分布。

19 世纪,在希尔伯特提出数学问题清单之前,数学家们发现,单位根可以作为他们想要研究的特定数字集合的「构建块」:具有有理系数的阿贝尔多项式的根。如果你把单位根简单地组合(用有理数加、减、乘)起来,你就能描述出所有这些期望的根。例如,5 的平方根是阿贝尔多项式 x^2-5 的根,并且可以表示为不同五次单位根的和。这与素数构建整数块的方式类似。

因此,单位根需要精确的构造块,你需要用有理系数完美地描述阿贝尔多项式的根。另一方面,任何单位根的组合都会产生一个数,这个数是某个有理系数阿贝尔多项式的根。这两者有着千丝万缕的联系。

希尔伯特在提出他的第 12 个问题时,想要让数学家们找到阿贝尔多项式根的构造块,它的系数来自有理数以外的数系统。换言之,对于其他数系统单位根有什么相似之处?

几十年未解决的难题

这是一个雄心勃勃的问题,这也是它出现在希尔伯特清单上的原因。他猜想这个问题是可以回答的,因为他在提出这个问题时,就对另一种数字系统(称为虚二次域)组成构建块的描述方式有一个构想——大体上,该系统仅包含有理数和负数的平方根。几十年后,他的猜测被证明是正确的。

伦敦帝国理工学院的 Alice Pozzi 说:「该问题有两种情况:『有理』情况和虚二次域情况。」希尔伯特希望以与这两种已知情况相似的方式描述其他数字系统的基本组成。这意味着要使用复分析(一种研究复函数的数学理论)。

但是在 20 世纪 70 年代,希尔伯特的第 12 个问题已经提出几十年之后,数学家 Harold Stark 猜想可以借助 L 函数破解这个问题。

L 函数是一类重要的复变数函数,通常以无穷级数表示,它是黎曼ζ函数的推广,黎曼ζ函数如下:

几个世纪以来,数学家都知道 L 函数是神秘并且极有意义的,它们给出了π等重要常数的无穷级数表示法。

在这种直觉的基础上,Stark 能够使用 L 函数来模拟其他数字系统的单位根。然而,尽管数学家认为 Stark 的猜想是正确的,并且已经使用计算机分析法对其进行了广泛的测试,但他们并没有获得任何成功的证明。

Darmon 说:「据我们所知,要证明 Stark 的猜想真的很困难,五十年来几乎没有任何进展。」因此,Stark 的猜想只是提供了一个简单的思路,他猜想可以使用 L 函数从其他数字系统找出含系数阿贝尔多项式的根的构建块,但是没人知道如何证明这一点。

更糟糕的是,Stark 的方案只提供了实际描述组成构件块所需要的一半信息。就像要在地图上寻找一个位置,只提供了经度,还需要纬度才能找到特定的地点。

20 世纪 80 年代,Benedict Gross 发表了 Stark 方案的修改版本来继续这项数学研究。希尔伯特和 Stark 都曾考虑使用复数,而 Gross 使用了 p 进数(p-adic numbers)。

这两种方法都是标准数字的替代方案,标准数字使用不同的方法来确定两个数字是否接近。

Benedict Gross。

利用 p 进数可以重写数学中的许多概念,其中包括 L 函数。实际上在现代数论中,p - 进 L 函数与复 L 函数的关系非常密切。

即便如此,起初 Gross 将复数转换为 p 进数似乎却没有让 Stark 猜想的证明问题更进一步。在随后的几十年中,随着数字理论领域 p 进数数论的发展,Gross 的 p 进数猜想变得容易了一些。

Darmon 说:「借助 p 进数分析能够得到许多有趣的结果。」事实证明,相比于复数,使用 p 进数更容易解决数学中一些重要的问题,希尔伯特的第 12 个问题恰恰如此。

另辟蹊径:计算机程序找到数字系统的构建块

今年 3 月,杜克大学教授 Samit Dasgupta 和印度科学研究院教授 Mahesh Kakde 发表的这篇论文首次使用 p - 进数 L 函数回答了希尔伯特关于独立大型数字系统的问题。这些数字系统被称为「全实域(totally real field)」,是有理数的延伸,并包含给定多项式的一个根。

p - 进数 L 函数。两位教授通过 Deligne–Ribet 和 Cassou-Nogues 构造了一个 p 进数亚纯函数,并满足插值性。

2004 年,Dasgupta 在其博士论文中首次提出了所需要的最终公式——对 Gross 的猜想进行了改进。此后的十年里,利用 p 进数数字理论的发展,他又先后发表两篇论文并最终证明了 Gross 的猜想。但这还不足以解决希尔伯特的第 12 个问题,因为与 Stark 猜想一样,Gross 的猜想只提供了精确描述构建块所需的两个数字之一。

在过去的三年里,Dasgupta 和 Kakde 合作想要证明能够提供构建块所需的两个数字的 Gross 猜想,尽管看起来可能无法实现。

Kakde 曾说道:「我们两人都非常乐观。有时会遇到难以解决的障碍,但幸运的是,我们一直在取得进展。」

直到 2020 年,他们终于有了突破,证明了与全实域相关的精确构建块的确存在。换言之,他们知道自己想要实现的东西就在某个地方,并指引他们朝着正确的方向前进。他们得到了用以证明完整描述构建块的精确公式存在的关键方程式。

格罗斯猜想的部分证明步骤。

为了验证正确性,Dasgupta 的两名学生编写了一个计算机程序,由此生成了用于给定数字系统的构建块,并展示了工作原理。除了理论证明之外,这个计算机程序还帮助证明了 Dasgupta 和 Kakde 提出的公式的正确性,这是解决此类抽象问题的一个重要因素。

此外,这个计算机程序在 GitHub 上有一个项目,名为「Computation-of-Elliptic-Units」,主要计算「生成实二次域希尔伯特类域所需的椭圆形单位和多项式」。下表 1 为一部分计算结果:

项目地址:https://github.com/liuyj8526/Computation-of-Elliptic-Units

希尔伯特的第 12 个问题要求精确描述阿贝尔多项式的根的构造块,类似于单位根,Dasgupta 和 Kakde 的研究给出了一系列数字系统的构造块,尽管是以 p - 进 L 函数的形式,具有明显的现代性。

但还有最后一个问题:既然希尔伯特明确地写道,构建块应该由复数组成,那么这个解偏离希尔伯特最初的指令,这显示了数学的通用性。使用 p 进数分析为希尔伯特的问题提供了答案,但使用复分析的原始问题仍需未来的数学家探索。可能有很多方法来描述构建块,未来也许能够使用复数来描述它们,从而满足希尔伯特的最初要求。

正如 Gross 所说:「这是一场接力赛,当你精疲力尽时把接力棒传给下一个人。」

参考链接:https://www.quantamagazine.org/mathematicians-find-polynomial-building-blocks-hilbert-sought-20210525/

未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)云脑研究计划,构建互联网(城市)云脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/484617.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Linux进程通信的四种方式——共享内存、信号量、无名管道、消息队列|实验、代码、分析、总结

Linux进程通信的四种方式——共享内存、信号量、无名管道、消息队列|实验、代码、分析、总结 每个进程各自有不同的用户地址空间,任何一个进程的全局变量在另一个进程中都看不到,所以进程之间要交换数据必须通过内核,在内核中开辟…

美国人测评马斯克的星链服务: 现实太骨感,梦想已破灭

来源: 风闻社区、3D实验室最近看到外国人测评马斯克的starlink服务,满篇吐槽,无数缺陷,而且都是原理上无法克服的那种缺陷,跟大家分享一下。首先星链服务不是你想像的那种一卡在手,天下我有的服务。用它之前…

编译过程中的链接地址对最终编译镜像文件的影响

MDK和交叉编译工具编译时都会指定程序的下载的地址(其实就是告诉程序它将在那个地址上开始执行),这有什么意义吗? 其实这么设计有原因的,因为这里涉及到全局变量和全局函数指针的地址问题,加入当你在编译时…

三维空间中曲线绕任意轴旋转所得的旋转曲面求法

三维空间中曲线绕任意轴旋转所得的旋转曲面求法 对2023汤家凤考研高等数学讲义225页2.三维空间直线旋转曲面的解释和推广 ©️ sylvanding

彩图完美解释:麦克斯韦方程组

来源:微波射频网麦克斯韦方程组麦克斯韦方程组(英语:Maxwells equations)是英国物理学家麦克斯韦在19世纪建立的描述电磁场的基本方程组。它含有四个方程,不仅分别描述了电场和磁场的行为,描述了它们之间的…

基于阿里云服务网格流量泳道的全链路流量管理(二):宽松模式流量泳道

作者:尹航 在前文基于阿里云服务网格流量泳道的全链路流量管理(一):严格模式流量泳道中,我们介绍了使用服务网格 ASM 的严格模式流量泳道进行全链路灰度管理的使用场景。该模式对于应用程序无任何要求,只需…

中国世界工厂地位为什么不会动摇

来源:工信头条文:赵一之在贸易保护主义和疫情的双重影响下,中国作为世界工厂是否会面临大规模制造业外迁,是时常引起关注的问题。复杂产品的供应链彼此环环相扣,缺失任何一环,都会影响到整个行业。疫情指出…

一文彻底解决YOLOv5训练找不到标签问题

YOLOv5 训练找不到标签, No labels found in /path/train.cache 问题的解决方法(亲测可用) ❤️ 网上绝大部分教程所述解决方法都不靠谱,也没有分析问题发生的原因,本文彻底解决了YOLOv5训练时找不到标签,出现 No labels found in /path/trai…

yolov5踩坑记录:标签错位(PIL读取图片方向异常)

PIL踩坑记录:读取图片方向异常(yolov5标签错位) 奇怪的现象 今天用 YOLOv5 做项目时,对数据集的标记出现了奇怪的现象,在下述测试用例中可明显看到,标记框偏离了物体,故发文阐述原因和解决方法…

理解与理论:人工智能基础问题的悲观与乐观

来源:筑土为坛梅剑华,男,1980年生,湖北秭归人,山西大学哲学社会学院教授,博士生导师,先后赴美国罗格斯大学、匹兹堡大学、奥地利萨尔茨堡大学等访学,研究方向是语言哲学与心灵哲学、…

设计模式系列 - 原型模式

所谓原型模式是指为创建重复对象提供一种新的可能。 介绍 当面对系统资源紧缺的情况下,如果我们在重新创建一个新的完全一样的对象从某种意义上来讲是资源的浪费,因为在新对象的创建过程中,是会有系统资源的消耗,而为了尽可能的节…

图像二值化(Image Binarization):平均值法、双峰法、大津算法(OTSU)

图像二值化(Image Binarization):平均值法、双峰法、大津算法(OTSU) 编程实现图像的二值化,分析不同的阈值对二值化图像的影响。 问题描述 传统的机器视觉通常包括两个步骤:预处理和物体检测…

全球最快AI超级计算机开动,每秒4百亿亿浮点运算!正拼接最大宇宙3D地图

来源:venturebeat宇宙是在不断膨胀的吗?是的!而令宇宙不断膨胀的「罪魁祸首」就是暗能量。作为是宇宙中最神秘的物质,它看不见摸不着,为了捕捉它,人类在地球上建立了许多相关实验,但都成效甚微。…

基于YOLOv5的中式快餐店菜品识别系统

基于YOLOv5的中式快餐店菜品识别系统[金鹰物联智慧食堂项目] 摘要 本文基于YOLOv5v6.1提出了一套适用于中式快餐店的菜品识别自助支付系统,综述了食品识别领域的发展现状,简要介绍了YOLOv5模型的历史背景、发展优势和网络结构。在数据集预处理过程中&am…

谋局科技创新:两院院士大会释放重要信号

来源:经济参考报作者:班娟娟、钟源从坚持把科技自立自强作为国家发展的战略支撑,到加快建设科技强国,实现高水平科技自立自强;从加强原创性、引领性科技攻关,坚决打赢关键核心技术攻坚战,到强化…

图像加减运算

图像的加减运算 原创文章:转载请注明出处 ©️ Sylvan Ding 图像相加 图像相加常常被用来进行图片降噪处理。令 g(x,y)g(x,y)g(x,y) 是无噪声理想图像 f(x,y)f(x,y)f(x,y) 被高斯加性噪声 η(x,y)\eta (x,y)η(x,y) 污染后的图像,即 g(x,y)f(x,y)η…

随机森林是我最喜欢的模型

来源:机器之心TensorFlow 决策森林 (TF-DF) 现已开源,该库集成了众多 SOTA 算法,不需要输入特征,可以处理数值和分类特征,为开发者节省了大量时间。在人工智能发展史上,各类算法可谓层出不穷。近十几年来&a…

拉普拉斯锐化[原理及Python实现](含拉氏标定、拉普拉斯标定)

拉普拉斯锐化 [原理及Python实现](含拉氏标定、拉普拉斯标定) 原创文章;转载请注明出处:©️ Sylvan Ding 锐化处理的主要目的是突出灰度的过度部分。图像锐化的用途多种多样,应用范围从电子印刷和医学成像到工业…

以太坊 方法签名

最近在工作中使用web3j调用合约,发现一个比较头疼的问题?复杂一点的合约参数多了,函数的方法签名老是出错。在这之前调用合约方法一直都是拼接合约的函数签名以及参数。为了能快速的获取每个合约的函数签名,我在思考是否便捷可行解…

训练 GPT-3,为什么原有的深度学习框架吃不消?

来源:AI前线作者:一流科技 CEO 袁进辉近年来,深度学习被广泛应用到各个领域,包括计算机视觉、语言理解、语音识别、广告推荐等。在这些不同领域中,一个共同的特点就是模型规模越来越大,比如 GPT-3 模型的参…