当今最复杂的椭圆曲线找到了!29个独立有理点打破18年记录
csdh11 2024-11-30 14:01 5 浏览
选自quantamagazine
作者:Joseph Howlett
机器之心编译
机器之心编辑部
又是计算机帮了忙。
对现代密码学稍有了解的人都必定听过椭圆曲线的赫赫威名,但椭圆曲线本身依然还存在很多悬而未决的问题。今天,量子杂志作者 Joseph Howlett 介绍了这方面的一项打破 18 年记录的新突破:找到了一条迄今为止有理点模式最复杂的椭圆曲线。
宣布发现这条突破性曲线的邮件截图
今年 8 月,两位数学家发现了一条打破记录的怪异曲线。在此过程中,他们触及了一个仍待解决的重大难题 —— 其涉及到数学领域一类最古老、最基础的方程。
椭圆曲线至少可以追溯到古希腊,是许多研究领域的核心。它们具有丰富的底层结构,数学家们用它开发了许多强大的技术和理论。在 1994 年 Andrew Wiles 著名的费马大定理(是当时数论领域最重要的未解问题之一)证明中,椭圆曲线就发挥了重要作用。椭圆曲线对现代密码学也至关重要。
即便如此,对于椭圆曲线的某些最基本的问题,数学家们仍在寻找答案。举个例子,他们常通过研究椭圆曲线上的特殊「有理点(rational point)」来描述其特征。在一条给定的曲线上,这些点会形成清晰且有意义的模式。但我们目前尚不清楚这些模式的多样性和复杂程度是否有极限。
通过解答这个问题,可让数学家们理解数量巨大且种类繁多的椭圆曲线世界 —— 这个世界中的许多曲线都仍未得到探索。因此,数学家们开始探索这个世界的外围,寻找模式越来越奇怪的异常曲线。这个过程很艰辛,并且既需要创造力,也需要复杂的计算机程序。
现在,哈佛大学的 Noam Elkies 和加利福尼亚州拉霍亚通信研究中心的 Zev Klagsbrun 这两位数学家发现了一条至今为止有理点模式最复杂的椭圆曲线,打破了 18 年前的记录。
「这个阻碍能否打破是一个重大问题。」克罗地亚萨格勒布大学的 Andrej Dujella 说,「对于我们所有研究和关注椭圆曲线的人来说,这是一个非常令人兴奋的结果。」
寻找有理性
椭圆曲线的形式为 y2 = x3 + Ax + B,其中, A 和 B 是有理数,它们看起来是这样的:
在椭圆曲线的研究中,数学家们特别关注其有理解 —— 即曲线上 x 值和 y 值都是有理数的点。俄亥俄州立大学的 Jennifer Park 表示:这实际上是人类数学历史上最古老的问题之一。
虽然找到简单类型方程的有理解相对直接,但椭圆曲线是真正存在许多未解问题的第一类方程,布朗大学的 Joseph Silverman 说道。「这仅仅是一个三次方程的两个变量,就已经足够复杂了。」
为了掌握椭圆曲线的有理解,数学家们常常依赖于曲线的秩,这是一个衡量曲线上有理点密集程度的数字。秩为 0 的椭圆曲线只有有限数量的有理点。秩为 1 的椭圆曲线拥有无限多的有理点,但所有这些点都按照一种简单的模式排列,这意味着如果你知道其中一个点,就可以遵循一个众所周知的程序来找到其余的点。
高秩的椭圆曲线同样拥有无限多的有理点,但这些点之间的关系更加复杂。例如,如果你知道一个秩为 2 的椭圆曲线的有理解,你可以使用在秩为 1 情况下相同的程序来找到一整个家族的有理点。但是,这条曲线还有第二个家族的有理点。这意味着这些有理点分布在曲线上以更复杂的方式,形成多个线性独立的族群。
椭圆曲线的秩告诉数学家们需要多少个独立的点,即来自不同家族的点 —— 以定义其有理解的集合。秩越高,曲线上的有理点就越丰富。秩为 2 和秩为 3 的曲线都有无限多的有理解,但秩为 3 的曲线包含来自额外家族的有理点,这意味着在平均情况下,一定长度的曲线将包含更多这样的点。
几乎所有的椭圆曲线都已知是秩为 0 或秩为 1。但仍然有无限多的异常情况具有更高的秩 —— 并且这些曲线极其难以找到。
因此,数学家们不确定秩是否有限制。在相当长的一段时间里,大多数专家认为理论上可以构造任何秩的曲线。最近的证据表明情况并非如此。由于没有确凿的证明,数学家们只能就椭圆曲线的真实本质进行辩论,这正说明了这些方程还有很多未知之处。
更大的一盘棋
Elkies,一位杰出的数论学家。在 2000 年代中期,他正在专注于看似无关的研究,称为 K3 曲面。为了理解它们,Elkies 将它们切割并观察各个部分。
想象一开始有一个简单的表面,一个平面。你可以将其切割成无限多的直线,这些直线并排放置。根据你切割的方式,最终得到的线条将由不同的方程定义。
同样地,有更复杂的、曲线的表面,当切割时,会产生无限多的椭圆曲线。自 1950 年代以来,数学家们一直在使用这些表面来找寻高秩椭圆曲线。
Noam Elkies
Elkies 意识到 K3 曲面足够奇特,可以让他接触到更奇特的曲线。2006 年,他以正确的方式对一个特定的 K3 曲面进行了切片,并在切片中发现了一条椭圆曲线,他可以证明该曲线的秩至少为 28,打破了之前 24 的记录。这对椭圆曲线专家来说是一个激动人心的时刻,他们相信接下来可能会出现一大批打破纪录的人。
然而,之后并无大的突破。Elkies 的记录保持了将近二十年 —— 这与自 1970 年代以来数学家们相对稳定的刷新记录的速度形成了明显的背离。
这或许是一种迹象,表明秩毕竟可能是有限的,或者,这仅仅反映了这一研究确实很难?
在 2006 年 Elkies 公布他的发现之际,Zev Klagsbrun 正就读于纽约皇后学院本科。他的一位教授,曾在 80 年代和 Elkies 比过同一场高中数学竞赛。在办公时间,Zev 被告知了这个破纪录的曲线的新消息。
这是 Zev 首次对寻找有理点产生兴趣。
Zev Klagsbrun
Zev 对此很感兴趣。多年后,他重新审视了 Elkies 的结果,证明了一个猜想是正确的 ——Elkies 的曲线的秩恰好是 28。
因此,当 Zev 在 2019 年的一个会议上遇到 Elkies 时,他说服了 Elkies 重新开始寻找新的曲线。
「我当时说,嘿,我愿意写代码,和我一起继续破解椭圆曲线的秘密吧!」Zev 说。
在 Elkies 同意之后,他们重新审视了十八年前 Elkies 研究过的 K3 曲面。当时,Elkies 通过切片,得到了结论:这些曲线的秩至少为 17,但他的目标是超越 24 的记录。
由于无法直接计算每一条曲线的秩,Elkies 筛选出在数百万条曲线中最可能具有异常高秩的候选,再手动计算这些曲线的秩,直到最终找到了那条秩为 28 的曲线。
Klagsbrun 提供了一个更快的计算方法,把 Elkies 能处理的数百万条,扩展到了数十万亿条。
这次更广泛的搜索,从旧的曲线堆中发现了许多不寻常特性的曲线,但它们都没有打破 28 秩的记录。两人决定继续前进。
四年过去了。然后就到了几个月前,Elkies 和 Klagsbrun 在一次会议上再次相遇,并开始交谈。
他们开始以不同的方式对 K3 曲面进行切片,得到了一个可以研究的新曲线堆。但是,切片方法有好几百种,而大多数切片方法似乎都不太可能得到他们想要的曲线。
然后,他们完全偶然地发现了一种切片方法,就像 Elkies 之前的那种方法一样,可以得到一个曲线堆,并且保证其中所有曲线的秩都至少为 17。与其他方法相比,这种方法似乎更可能挖到宝。果然,使用 Klagsbrun 更强大的计算技术,他们在这个曲线堆中发现了一条秩至少为 29 的椭圆曲线。这条椭圆曲线具有迄今为止发现过的最复杂的有理解集:需要至少 29 个独立点才能描述其特征。
这条曲线的方程如果写成 y2 = x3 + Ax + B 的形式,则 A 和 B 的值都有 60 个数字那么长。Elkies 和 Klagsbrun 找到的 29 个独立的有理解涉及的数同样巨大。
29 个独立点的 x 轴坐标
抓住极限
对于椭圆曲线的秩是否有上限的问题,这个结果并未将其彻底解决。「现在我们已经找到了这一条秩更高的曲线,那就有理由去希望」存在具有任意高的秩的曲线,Klagsbrun 说,「另一方面,老天,找到这一条就耗费了大量功夫。很显然想要找到更高秩的样本,还需要一些新思路。」
不过如果能将他和 Elkies 的努力推进得足够远,也许能够扭转局面。他们需要找到一个无限的曲线堆,保证其秩至少为 22(而不是 17,这是他们迄今为止所能做到的最好结果)。如果存在这样一个堆,那就会与「秩存在有限上限」的已有最有力证据相矛盾。
不管怎样,这条秩 29 曲线的发现都拓展了这个未知领域的边界。正如生物学家试图通过研究生活在极端环境中的生物来了解生命一样,通过绘制椭圆曲线世界的极端边缘,数学家也可以获得很大收获。
原文链接:
https://www.quantamagazine.org/new-elliptic-curve-breaks-18-year-old-record-20241111/
https://listserv.nodak.edu/cgi-bin/wa.exe?A2=NMBRTHRY;b9d018b1.2409&FT=&P=&H=&S=b
- 上一篇:干货|常见端口渗透总结
- 下一篇:IDC机房服务器托管或租用可提供的一系列服务
相关推荐
- Micheal Nielsen's神经网络学习之二
-
依然是跟着MichaelNielsen的神经网络学习,基于前一篇的学习,已经大概明白了神经网络的基本结构和BP算法,也能通过神经网络训练数字识别功能,之后我试验了一下使用神经网络训练之前的文本分类,...
- CocoaPods + XCTest进行单元测试 c单元测试工具
-
在使用XCTest进行单元测试时,我们经常会遇到一些CocoaPods中的开源框架的调用,比如“Realm”或“Alamofire”在测试的时候,如果配置不当,会导致“frameworknotfo...
- Java基础知识回顾第四篇 java基础讲解
-
1、&和&&的区别作为逻辑运算符:&(不管左边是什么,右边都参与运算),&&(如果左边为false,右边则不参与运算,短路)另外&可作为位运算符...
- 项目中的流程及类似业务的设计模式总结
-
说到业务流程,可能是我做过的项目中涉及业务最多的一个方面了。除了在流程设计之外,在一些考核系统、产业审批、还有很多地方,都用到相似的设计思路,在此一并总结一下。再说到模式,并不是因为流行才用这个词,而...
- 联想三款显示器首批获得 Eyesafe Certified 2.0 认证
-
IT之家7月31日消息,据外媒报道,三款全新联想显示器是全球首批满足EyesafeCertified2.0的设备。据报道,联想获得EyesafeCertified2.0认证的显...
- maven的生命周期,插件介绍(二) 一个典型的maven构建生命周期
-
1.maven生命周期一个完整的项目构建过程通常包括清理、编译、测试、打包、集成测试、验证、部署等步骤,Maven从中抽取了一套完善的、易扩展的生命周期。Maven的生命周期是抽象的,其中的具体任务都...
- 多线程(3)-基于Object的线程等待与唤醒
-
概述在使用synchronized进行线程同步中介绍了依赖对象锁定线程,本篇文章介绍如何依赖对象协调线程。同synchronized悲观锁一样,线程本身不能等待与唤醒,也是需要对象才能完成等待与唤醒的...
- jquery mobile + 百度地图 + phonegap 写的一个"校园助手"的app
-
1jquerymobile+百度地图+phonegap写的一个"校园助手"的app,使用的是基于Flat-UI的jQueryMobile,请参考:https://github.com/...
- Apache 服务启动不了 apache系统服务启动不了
-
{我是新手,从未遇到此问题,请各位大大勿喷}事由:今天早上上班突然发现公司网站出现问题。经过排查,发现是Apache出现问题。首先检查配置文件没有出问题后,启动服务发现Apache服务能启动,但是没法...
- 健康债和技术债都不能欠 公众号: 我是攻城师(woshigcs)
-
在Solr4.4之后,Solr提供了SolrCloud分布式集群的模式,它带来的主要好处是:(1)大数据量下更高的性能(2)更好扩展性(3)更高的可靠性(4)更简单易用什么时候应该使用Sol...
- Eye Experience怎么用?HTC告诉你 eyebeam怎么用
-
IT之家(www.ithome.com):EyeExperience怎么用?HTC告诉你HTC上周除了发布HTCDesireEYE自拍机和HTCRE管状运动相机之外,还发布了一系列新的智能手机...
- Android系统应用隐藏和应用禁止卸载
-
1、应用隐藏与禁用Android设置中的应用管理器提供了一个功能,就是【应用停用】功能,这是针对某些系统应用的。当应用停用之后,应用的图标会被隐藏,但apk还是存在,不会删除,核心接口就是Packag...
- 计算机软件技术分享--赠人玫瑰,手遗余香
-
一、Netty介绍Netty是由JBOSS提供的一个java开源框架。Netty提供异步的、事件驱动的网络应用程序框架和工具,用以快速开发高性能、高可靠性的网络服务器和客户端程序。也就是说,Netty...
- Gecco爬虫框架的线程和队列模型 爬虫通用框架
-
简述爬虫在抓取一个页面后一般有两个任务,一个是解析页面内容,一个是将需要继续抓取的url放入队列继续抓取。因此,当爬取的网页很多的情况下,待抓取url的管理也是爬虫框架需要解决的问题。本文主要说的是g...
- 一点感悟(一) 初识 初读感知的意思
-
时间过得很快,在IT业已从业了两年多。人这一辈子到底需要什么,在路边看着人来人往,大部分人脸上都是很匆忙。上海真是一个魔都,它有魅力,有底蕴,但是一个外地人在这里扎根置业,真的是举全家之力,还贷3...
- 一周热门
-
-
Boston Dynamics Founder to Attend the 2024 T-EDGE Conference
-
IDC机房服务器托管可提供的服务
-
详解PostgreSQL 如何获取当前日期时间
-
新版腾讯QQ更新Windows 9.9.7、Mac 6.9.25、Linux 3.2.5版本
-
一文看懂mysql时间函数now()、current_timestamp() 和sysdate()
-
流星蝴蝶剑:76邵氏精华版,强化了流星,消失了蝴蝶
-
PhotoShop通道
-
查看 CAD文件,电脑上又没装AutoCAD?这款CAD快速看图工具能帮你
-
WildBit Viewer 6.13 快速的图像查看器,具有幻灯片播放和编辑功能
-
3nm以后的晶体管选择
-
- 最近发表
-
- Micheal Nielsen's神经网络学习之二
- CocoaPods + XCTest进行单元测试 c单元测试工具
- Java基础知识回顾第四篇 java基础讲解
- 项目中的流程及类似业务的设计模式总结
- 联想三款显示器首批获得 Eyesafe Certified 2.0 认证
- maven的生命周期,插件介绍(二) 一个典型的maven构建生命周期
- 多线程(3)-基于Object的线程等待与唤醒
- jquery mobile + 百度地图 + phonegap 写的一个"校园助手"的app
- Apache 服务启动不了 apache系统服务启动不了
- 健康债和技术债都不能欠 公众号: 我是攻城师(woshigcs)
- 标签列表
-
- serv-u 破解版 (19)
- huaweiupdateextractor (27)
- thinkphp6下载 (25)
- mysql 时间索引 (31)
- mydisktest_v298 (34)
- sql 日期比较 (26)
- document.appendchild (35)
- 头像打包下载 (61)
- oppoa5专用解锁工具包 (23)
- acmecadconverter_8.52绿色版 (39)
- oracle timestamp比较大小 (28)
- f12019破解 (20)
- np++ (18)
- 魔兽模型 (18)
- java面试宝典2019pdf (17)
- beamoff下载 (17)
- unity shader入门精要pdf (22)
- word文档批量处理大师破解版 (36)
- pk10牛牛 (22)
- server2016安装密钥 (33)
- mysql 昨天的日期 (37)
- 加密与解密第四版pdf (30)
- pcm文件下载 (23)
- jemeter官网 (31)
- iteye (18)