深度学习准备「爆破」著名的欧拉方程

2022-04-19 10:00:05   来源:商业新知网

来源:ScienceAI

编辑:绿萝

250 多年来,数学家一直试图「爆破」物理学中一些最重要的方程:那些描述流体如何流动的方程。如果他们成功了,那么他们将会发现一种情况,在这种情况下,这些方程会被打破——可能是一个无限快旋转的漩涡,或者是一个突然停止和开始的电流,或者是一个粒子以无限快的速度掠过它的邻居。超出那个爆炸点——「奇点」——方程将不再有解。它们甚至无法描述我们生活的世界的理想化版本,数学家将有理由怀疑它们作为流体行为模型的普遍可靠性。

但是奇点可能和它们要描述的流体一样滑。为了找到一个,数学家经常采用控制流体流动的方程,将它们输入计算机,然后运行数字模拟。他们从一组初始条件开始,然后观察直到某个量的值——例如速度,或者涡度(一种旋转的度量)——开始疯狂增长,似乎正处于爆炸的轨道上。

然而,计算机不能明确地发现一个奇点,原因很简单,它们不能处理无限值。如果存在奇点,计算机模型可能会接近方程爆炸的点,但他们永远无法直接看到它。事实上,当使用更强大的计算方法进行探测时,明显的奇点已经消失。

然而,这种近似仍然很重要。有了它,数学家可以使用一种称为计算机辅助证明的技术来证明真正的奇点存在于附近。他们已经为问题的简化的一维版本做到了。

在今年早些时候在线发布的预印本中,一个由数学家和地球科学家组成的团队发现了一种近似奇点的全新方法——一种利用最近开发的深度学习形式的方法。使用这种方法,他们能够直接观察奇点。他们还用它来寻找传统方法无法解决的奇点,希望证明这些方程并不像看起来那样可靠。

论文地址:https://arxiv.org/abs/2201.06780

这项工作发起了一场破坏流体方程的竞赛:一方面是深度学习团队;另一方面,多年来一直在使用更成熟的技术的数学家。无论谁可能赢得比赛——如果有人确实能够到达终点线——结果都表明,神经网络可以如何帮助人们为许多不同的问题寻找新的解决方案。

消失的「爆破」

1757 年,Leonhard Euler 写下了这项新工作核心的方程式,用于描述理想的不可压缩流体的运动——一种没有粘性或内摩擦的流体,并且不能被压缩到更小的体积中。(像自然界中发现的许多流体一样,确实具有粘性的流体是由纳维-斯托克斯方程建模的;炸毁它们将获得克雷数学研究所 100 万美元的千禧年大奖难题。)流体在某个起点,欧拉方程应该一直预测流体的流动。

但是数学家想知道在某些情况下——即使起初似乎没有什么不对——方程最终会遇到麻烦。

2013 年,两位数学家提出了这样一个场景。由于全三维流体流动的动力学可能变得异常复杂,加州理工学院的数学家 Thomas Hou 和现就职于香港恒生大学的 Guo Luo,认为流动服从某种对称性。

在他们的模拟中,流体在圆柱形杯内旋转。杯子上半部的流体顺时针旋转,而下半部逆时针旋转。相反的流动导致形成其他复杂的上下循环的电流。很快,在相反流动相交的边界上的一点,流体的涡度就会爆炸。

虽然这个证明提供了令人信服的奇点证据,但没有证据就不可能确定它是一个奇点。在 Hou 和 Luo 工作之前,许多模拟都提出了潜在的奇点,但后来在更强大的计算机上进行测试时,大部分都消失了。「你认为有一个,」明尼苏达大学的数学家 Vladimir Sverak 说。「然后你把它放在一台分辨率更高的更大的计算机上,不知何故,原本你以为存在的奇点却不见了。」

那是因为这些解决方案可能很挑剔。它们很容易受到小的、看似微不足道的错误的影响,这些错误会随着模拟的每个时间步而累积。普林斯顿大学的数学家 Charlie Fefferman 说:「尝试在计算机上对欧拉方程进行良好的模拟是一门微妙的艺术。这个方程对解的小数点后 38 位的微小错误非常敏感。」

尽管如此,Hou 和 Luo 对奇点的近似解仍然经受住了迄今为止对其进行的所有测试,并且它激发了许多相关工作,包括对该问题较弱版本的爆炸的完整证明。「这是迄今为止奇点形成的最佳方案,」Sverak 说。「很多人,包括我自己,都相信这一次是真正的奇点。」

为了充分证明欧拉方程已被爆破,数学家需要证明,给定近似的奇点,附近存在一个真正的奇点。他们可以用精确的数学术语重写那个陈述——一个真正的解决方案存在于一个足够接近近似的邻域中——然后证明如果某些属性可以得到验证,它是正确的。然而,验证这些属性需要再次使用计算机:这一次,执行一系列计算(包括近似解),并仔细控制过程中可能累积的错误。

Hou 和他的研究生 Jiajie Chen 多年来一直致力于计算机辅助证明。他们从 2013 年开始改进了近似解(他们尚未公开的中间结果),现在正在使用该近似作为他们新证明的基础。他们还表明,这种通用策略可以解决比欧拉方程更容易解决的问题。

现在另一群人也加入了狩猎。他们使用完全不同的方法找到了自己的近似值——与Hou 和 Luo 的结果非常相似。他们目前正在使用它来编写自己的计算机辅助证明。然而,为了获得近似值,他们首先需要转向一种新的深度学习形式。

冰川神经网络

普林斯顿大学数学家、高等研究院访问学者 Tristan Buckmaster 遇到这种新方法纯属偶然。去年,他所在系的本科生 Charlie Cowen-Breen 要求他签署一个项目。Cowen-Breen 一直在普林斯顿地球物理学家 Ching-Yao Lai 的监督下研究南极洲的冰盖动力学。利用卫星图像和其他观测,他们试图推断冰的粘度并预测其未来的流动。但要做到这一点,他们依赖于 Buckmaster 以前从未见过的深度学习方法。

与传统的神经网络不同,传统的神经网络需要对大量数据进行训练才能做出预测,「物理信息神经网络」(PINN)还必须满足一组潜在的物理约束。这些可能包括运动定律、能量守恒定律、热力学——科学家可能需要为他们试图解决的特定问题进行编码。

将物理学注入神经网络有几个目的。一方面,它允许网络在可用数据非常少的情况下回答问题。它还使 PINN 能够推断原始方程中的未知参数。在很多物理问题中,「我们大致知道方程应该是什么样子,但我们不知道 [某些] 项的系数应该是什么,」Lai 实验室的博士后研究员、新论文的合著者之一Yongji Wang 指出。Lai 和 Cowen-Breen 试图确定的参数就是这种情况。

「我们称之为隐藏流体力学,」布朗大学应用数学家 George Karniadakis 说,他在 2017 年开发了第一个 PINN。

Cowen-Breen 的请求引起了 Buckmaster 的思考。求解具有圆柱边界的欧拉方程的经典方法——正如Hou、Luo 和 Chen 所做的那样——涉及时间的艰苦进程。但是由于对时间的依赖,他们只能非常接近奇点而永远无法到达它:随着他们越来越接近可能看起来像无穷大的东西,计算机的计算将变得越来越不可靠,以至于他们无法真正看到爆破本身的点。

但是欧拉方程可以用另一组方程来表示,通过一个技术技巧,把时间抛到一边。Hou 和 Luo 在 2013 年的结果不仅以确定一个非常精确的近似解而著称。他们发现的解决方案似乎也具有一种特殊的「自相似」结构。这意味着随着模型的发展,它的解决方案遵循一定的模式:它后来的形状看起来很像它的原始形状,只是更大了。

这一特征意味着数学家可以专注于奇点发生之前的时间。如果他们以适当的速度放大那张快照——就好像他们在具有不断调整的放大倍率设置的显微镜下观察它一样——他们可以模拟稍后会发生的事情,直到奇点本身。同时,如果他们以这种方式重新调整事物,那么在这个新系统中实际上不会出现任何严重错误,并且他们可以消除处理无限值的任何需要。「它只是接近了一个很好的极限,」Fefferman 说,这个极限代表了方程的时间相关版本中爆发的发生。

「对这些 [re-scaled] 函数进行建模更容易,」Sverak 说。「因此,如果您可以使用 [自相似] 函数来描述奇点,那将是一个很大的优势。」

从左到右分别是:数学家 Tristan Buckmaster 和 Javier Gómez Serrano,地球物理学家 Cheng Yao Lai 和 Yongji Wang。他们合作使用基于物理的神经网络来研究欧拉方程的爆破。

问题在于,要实现这一点,数学家不仅仅需要求解通常参数(例如速度和涡度)的方程(现在用自相似坐标编写)。方程本身也有一个未知参数:控制放大率的变量。它的值必须恰到好处,以确保方程的解对应于问题的原始版本中的放大解。

数学家将不得不同时向前和向后求解方程——这是使用传统方法实现的一项困难甚至不可能的任务。

但找到这些解决方案正是 PINN 的设计目的。

「爆破」之路

回想起来, Buckmaster 说,「这似乎是一件显而易见的事情。」

He、Lai、Wang 和 Javier Gómez-Serrano(他是布朗大学和巴塞罗那大学的数学家),建立了一套物理约束来帮助指导他们的 PINN:与对称性和其他属性相关的条件,以及他们想要求解的方程(他们使用了一组 2D 方程,使用自相似坐标重写,已知它们在接近圆柱边界的点处等效于 3D Euler 方程)。

然后,他们训练神经网络搜索满足这些约束的解决方案以及自相似参数。「这种方法非常灵活,」Lai 说。「只要施加正确的约束,您总能找到解决方案。」 (事实上,该小组通过在其他问题上测试该方法来展示这种灵活性。)

该团队的答案看起来很像 Hou 和 Luo 在 2013 年得出的解决方案。但数学家希望他们的近似能够更详细地描绘正在发生的事情,因为这是第一次直接计算出这个问题的自相似解。Sverak 表示 :「新的研究结果更精确地说明了奇点是如何形成的」,即某些值会如何达到爆破点,以及方程将如何崩溃。

Buckmaster 指出:「在没有神经网络的情况下,你很难证明你是真的在捕捉奇点的本质。很明显,这项研究所用的方法是比传统方法要容易得多。」

Gómez-Serrano 对此表示同意,他说:「这在未来将成为人们手边的一种标准工具」。

PINNs 再一次揭示了 Karniadakis 所说的「隐藏流体力学」,只是这一次,他们用 PINNs 在更具理论性的问题上取得了进展。Karniadakis 说:「我还没见过有人用 PINNs 来做这件事。」

这不是数学家兴奋的唯一原因。PINN 也可能非常适合寻找传统数值方法几乎不可见的另一种奇点。这些「不稳定」奇点可能是某些流体动力学模型中唯一存在的奇点,包括没有圆柱边界的欧拉方程(求解起来已经复杂得多)和纳维-斯托克斯方程。「不稳定的事情确实存在。那为什么不找他们呢?」普林斯顿大学的数学家 Peter Constantin 说。

但即使对于经典技术可以处理的稳定奇点,PINN 为具有圆柱边界的欧拉方程提供的解「是定量和精确的,并且更有可能变得严谨,」Fefferman 说。「现在有了一个通往证明的路线图。这将需要大量的工作。这将需要很多技巧。我想这需要一些独创性。但我不认为这需要天才。我认为这是可行的。」

Buckmaster 的团队现在正在与 Hou 和 Chen 争夺最先到达终点线。Hou 和 Chen 领先一步:据 Hou 说,他们在过去几年中在改进近似解和完成证明方面取得了实质性进展——他怀疑 Buckm aster 和他的同事必须先完善他们的近似解 得到他们自己的工作证明。「几乎没有出错的余地,」Hou 说。

也就是说,许多专 家希望 250 年来破解欧拉方程的努力即将结束。Sverak 说:「从概念上讲,我认为……所有重要的部分都已到位,只是很难确定细节。」

声明

来源:scienceAI , RAD极客会推荐阅读,不代表RAD极客会立场,转载请注明,如涉及作品版权问题,请联系我们删除或做相关处理!

关键词: 神经网络 解决方案

上一篇:
下一篇:
精彩阅读

深度学习准备「爆破」著名的欧拉方程

热点

250多年来,数学家一直试图「爆破」物理学中一些最重要的方程:那些描述流体如何流动的方程。

参数跑分真那么重要?大模型评价标准该变变了

热点

预训练大模型,自诞生以来不断刷新AI能力,成为业界竞争的焦点。

中国广电5G USIM卡开标!前3家企业现网测试

热点

近日,中国广电5G标准普通USIM卡采购项目如期完成开标。

中国广电可支持携号转网!?证据来了!

热点

近日,中国广电携号转网的消息不断涌入大众视线。

视觉 Transformer 研究的关键问题: 现状及展望

热点

视觉Transformer研究的关键问题:现状及展望。

短视频 马云和他的互联网宣传之道

热点

马云却没等到文章见报,因为,第二天上面就有文件下来,要求暂时不要宣传互联网。

5G变现,没那么容易

热点

从三大电信运营商的财报数据中可发现,5G在行业应用领域仍未发挥出期待中的效应。

这家公司数据被黑客盗了,想出钱自己买回来,结果黑客收了钱继续卖数据

热点

T-Mobile证实,黑客提出以6比特币的价格出售其3000万用户的个人数据,当时价值约27万美元。

微信农场开业!这个几个玩法让你成为最靓的仔,快玩起来

热点

自从微信推出状态功能后,各种状态玩法层出不穷,但不管怎么玩,也没能想到微信官方宣布的微信农场这个玩法。

财富

美光宣布量产全新16Gb内存搭载3090显卡

资讯

4月18日消息,美光宣布量产全新的16Gb容量GDDR6X内存,并已搭载于NVIDIAGeForceRTX3090Ti显卡。据介绍,新款GDDR6X内存为美光独有产品,容

魏哲家:台积电2nm工艺芯片将在2025年投产

资讯

台积电在4月14日第一季度的电话会议上表示,正全力以赴地开发下一代芯片制造工艺。目前这个半导体巨头计划在下半年量产3nm工艺芯片。其2nm

微软更改Windows11版本默认浏览器比任何时候都更容易

资讯

在最新的Windows 11版本中,更改系统的默认浏览器比以往任何时候都更容易。2021年6月,微软随Windows 11推出了一项有争议的变更,强迫用

罗永浩:因为要烧投资人的钱,所以没这勇气了

资讯

4 月 16 日晚间,针对粉丝是否可以再做一款手机的提问,锤子手机创始人罗永浩回应称:因为要烧投资人的钱,所以没这勇气了,要不然你投

阿里云发布全球首个5nmARM架构服务器芯片,最高128核

资讯

在自研ARM处理器上,不只是苹果的M1系列取得了突破,中国厂商在这方面同样也有骄人的成绩,阿里云去年推出了倚天710处理器,这是全球首个5n

铭普光磁预计2021年净利亏损4500万元至6000万

资讯

铭普光磁昨日晚间发布业绩预告,预计2021年归属于上市公司股东的净利润亏损4500万元~6000万元,由盈转亏。基本每股收益亏损0 2143元~0 2857

研究显示:iOS系统中新的应用跟踪透明度会伤害广告市场

资讯

随 iOS 14 5 系统发布的 App Tracking Transparency 已上线将近 1 年时间了,这项功能可以让用户选择是否要被第三方应用跟踪。虽

打造新潮牌IP“小橙店”尚品宅配能否撬动家居时尚经济?

资讯

2022年4月15日,北京商报记者获悉,近日尚品宅配在线上发布轻时尚潮牌家居店小橙店,定位年轻化消费群体。打造新潮牌IP小橙店,尚品宅配能

主流空调品牌推出双向流新风空调,这是为什么呢?

资讯

在疫情背景下,人们对健康诉求日趋强烈,具备新风换气能力的空调产品由此也受到消费者越来越多的关注。从市场来看,空调整体市场持续下行,

深圳新设保险公司法人机构一次性奖励最高5000万

资讯

来深圳新设保险公司法人机构,一次性奖励最高5000万!近日,深圳市更新了支持金融企业发展的措施,该政策一经公布,便刷屏保险业朋友圈。而

参数跑分真那么重要?大模型评价标准该变变了

预训练大模型,自诞生以来不断刷新AI能力,成为业界竞争的焦点。

中国广电5G USIM卡开标!前3家企业现网测试

近日,中国广电5G标准普通USIM卡采购项目如期完成开标。

中国广电可支持携号转网!?证据来了!

近日,中国广电携号转网的消息不断涌入大众视线。

视觉 Transformer 研究的关键问题: 现状及展望

视觉Transformer研究的关键问题:现状及展望。

Eurocom推出15.6英寸笔记本电脑工作站

Eurocom 正推出 15 6 英寸的 Raptor X15 Mobile Supercomputer,该工作站采用 LGA1700 插槽的英特尔第 12 代桌面处理器。通过最

帅丰电器发布2021年年报,净利润同比增长26.95%

4月13日,帅丰电器(605336)发布2021年度报告,报告期内公司实现营业收入977,641,254 43元,同比增长36 93%;归属于上市公司股东的净利润246,

Stellantis集团与标致雪铁龙荷兰财务公司达成转让协议

4月13日,Stellantis集团宣布,神龙汽车有限公司(以下简称神龙公司)和Stellantis集团旗下Banque PSA Finance的全资子公司标致雪铁龙荷兰

时隔263天获批版号,中概股逆势上涨

这是自2021年7月22日以来,国家新闻出版署首次下发的游戏版号,总共时隔263天。在此次获批版号的游戏中,重点游戏包括百度的《进击的兔子》

中保研汽车技术研究试验中心发布7款车型测评结果

在中国保险行业协会的指导下,在中保研汽车技术研究院有限公司和通用技术中国汽车工程研究院股份有限公司的支持下,中保研汽车技术研究试验

机器人时代,座舱的人机交互将走向何方?

智能汽车是机器人的第一形态,对应的智能座舱也引领了机器人时代人机交互发展的新方向。历史上,每一次交互方式的改变,都重塑了智能设备的