数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 5207|回复: 0

2020年阿贝尔奖揭晓:用随机阐释确定

[复制链接]
发表于 2020-3-22 22:33 | 显示全部楼层 |阅读模式
2020年阿贝尔奖揭晓:用随机阐释确定

数学的花园里还隐藏着了许多秘密,今年阿贝尔奖得主的工作表明,随机游走或许会是揭示其中一些秘密的很好的策略。

撰文|原原

1

3月18日,希勒尔·弗斯滕伯格(Hillel Furstenberg)和格雷戈里·马古利斯(Gregory Margulis)荣获了2020年度阿贝尔奖——数学界的最高荣誉之一,以表彰他们在群论、数论和组合数学中开创性地使用概率与动力学方法。

他们利用随机游走技术(random walk techniques)来研究线性群的结构,通过取随机选择的矩阵的乘积,来描述结果会如何增长,以及这种增长对群的结构意味着什么。他们二人弥合了不同数学领域间的差异,解决了那些看似遥不可及的问题。


弗斯滕贝格(左)和马古利斯(右)都曾因犹太人身份而遭受不公待遇。弗斯滕贝格1935年出生在柏林,4岁时和家人逃避纳粹而定居纽约;后来他移居以色列,在耶路撒冷希伯来大学任教,直到2003年退休。1946年,马古利斯生于莫斯科,是反犹太主义体制下的受害者,犹太人的身份使他无法在1978年出国去领取菲尔兹奖;后来他移民美国,现在仍然在耶鲁大学从事数学研究。| 图片来源:Yosef Adest / Dan Renzetti

2

如果你在花园里藏了些点心让你的狗去找,它一定会立刻用它灵敏的鼻子展开搜寻。它的嗅探轨迹看起来是相当随机的,显然,这只狗不喜欢系统化的搜寻方式。但无论如何,过了一小段时间,它找到了“战利品”。狗的本能使它天生就懂得如何以随机的方式不断变化方向来进行搜索。

在数学中,狗的这种搜索行为就可被总结归类在随机游走的概念中。随机游走是概率论的一个核心分支,它描述的是在数学空间中由一系列随机步骤构成的路径。

在我们的生活中,有许多物理系统都是由这种随机游走描述的,比如气体分子的行为、股票市场的涨落、遗传漂变的统计特性以及大脑中神经元的放电等等。但随机游走也可被看作是一种用来探索数学对象的工具,就像狗试图理解花园一样。

只不过,弗斯滕伯格和马古利斯的随机游走不是用来寻找埋藏在花园里的奖品,而是随机游走在图或群上,他们试图用随机游走来揭示这些数学对象的秘密。

3

以挪威数学家索菲斯·李(Sophus Lie)命名的李群,就是一类颇受欢迎的数学对象。李群是描述几何对象的对称性(如三维空间中的旋转对称)的数学对象。李的灵感来自于阿贝尔(Abel)和伽罗瓦(Galois)早期关于代数方程的解的研究。无论是阿贝尔对五次方程的不可解性的证明,还是伽罗瓦将多项式方程的解与域扩张的某些自同构群相联系在一起,都是通过扩展视野来理解细节的绝妙例子。李的想法是引入一种类似的方法来研究微分方程的对称性。从那时起,了解这些群的结构来求解基本的微分方程,便成了数学家的一项重要任务。

弗斯滕伯格和马古利斯通过提出概念和证明定理,为我们理解李群做出了巨大贡献。通常来说,李群是无限的,也是非紧的,例如,无论我们如何考虑群,它都具有一些无界性。随机游走技术非常适合捕捉无界的本质。

如果狗的搜寻轨迹是遍历的,那么它终究能接近目标物。事实上,如果我们在目标物周围画一个小圈,这个圈可以有任意半径,那么在一段时间后,它将能嗅闻到圆圈的范围里,并可能找到目标。这是一个递归的例子。动态系统的递归能追溯到19世纪末亨利·庞加莱(Henri Poincarè)的工作。他证明,在某些条件下,一个动态系统(也就是一个随时间发展的系统)将回归到,或者至少几乎回归到环绕空间中的任意一点。利用随机游走技术,我们能将群的大小和递归问题联系起来。如果群“太大”,在随机游走的过程中递归可能不会发生,反之亦然。

4

弗斯滕伯格和马古利斯的数学贡献包含许多基于遍历理论、递归、李群和随机游走所提出的概念。弗斯滕伯格引入了弗斯滕伯格边界和不相交性,马古利斯提出了超刚性的概念和正规子群定理。马古利斯还证明了奥本海姆猜想,关于三元二次方程的积分殆解,而弗斯滕伯格利用遍历理论证明了安德烈·塞迈雷迪(Endre Szemerédi)关于任意长度的算术级数的存在的定理。正如阿贝尔奖委员会颁奖词所说,最后两个例子很好地说明了两位获奖者是如何证明了概率方法的普遍性,以及跨越不同数学领域的界限的意义。

在数学的花园里还隐藏着了许多秘密,今年阿贝尔奖得主的工作表明,随机游走或许会是揭示其中一些秘密的很好的策略。

\ 图灵奖 /

在同一天,ACM公布了有“计算机界诺贝尔奖”之称图灵奖获奖者,他们分别是Edwin Catmull和Patrick Hanrahan,以表彰他们对3D计算机图形学的奠定性贡献,以及这些技术对计算机成像在电影制作和其他方面应用的革命性影响。他们的工作从根本上影响了计算机图形学领域,并对电影制作产生了革命性的影响。


Deborah Coleman / Pixar; Andrew Brodhead / Stanford University

参考资料

[1] https://www.abelprize.no

[2] https://amturing.acm.org

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-7 00:28 , Processed in 0.075843 second(s), 17 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: