关注风云之声
提升头脑 条理
导读
虽然迩来 陶哲轩和三位物理学家发现了一个新公式的事情终究是一场乌龙（陶哲轩的线性代数的“新”公式并没倾覆 任何工具 | 哆嗒数学网），但这场小波涛仍然 引发了数学家的探索。与对这一公式惯有的解读和诠释差异，文本纪录的数学家发现的履历 是我们很少能读到的。作者其间所履历 的挣扎、喜悦，可能许多人也都体会过（好比思索 一个难题 的数学题乐成之后的喜悦），但旁观者细细读来，仍不失兴味和启发。
注：风云之声内容可以通过语音播放啦！读者们可下载讯飞有声APP，听民众号，查找“风云之声”，即可在线收听~
今年11月15日，应我的师兄李弘九 (Noah Rhee) 教授的约请 ，我从美国东南部的海滨小城飞到中西部的第七大城，在他任教的密苏里大学堪萨斯城校区数学与统计系做了一个有关遍历理论的数学演讲。我乘坐早晨六点的飞机，经停亚特兰大机场，再飞到那里。没有想到的是，在堪萨斯城渡过的周末值得写这篇感想之作。
早晨5点，我已在起点机场候机，便习惯性地打开了微信，朋侪 圈里有人转发的一篇名为《3个搞物理的倾覆 了数学知识，数学天才陶哲轩：我最先 压根不信托 》的文章跳进了我的眼框。文章讲的是今年夏日 发生的一件事。
8月的一天，一直在加州大学洛杉矶校区教书的这名天才数学家收到三位生疏 物理学家的一封电邮，称：
“我们无意 发现了一个公式，若是 这个公式是准确 的，那么它就会在线性代数中一些最基本且主要 的工具之间建设一种意想不到的关系。”
陶哲轩教授很纳闷：这么短、这么简朴的工具，早就应该泛起在教科书里了。这不行能是真的。可是 他却信托 了这个公式是新的，于是便把它证实 晰 ，这对不知证实 晰 几多深邃数学定理，被以为 是当今全天下 最智慧的他，是手到擒拿的小事一桩。十天后，他们四人就合写了一篇不到三页的论文，问题 是Eigenvectors from Eigenvalues（来自特征值的特征向量），其中的主要效果 就是这三位物理学家发现的谁人 公式，还用了两种要领证实 之。
这个公式将埃尔米特矩阵的长度为1的特征向量的每一个分量的模平方，即它与其共轭复数之积，用矩阵所有的特征值以及与这个分量的位置指标相对应的主子矩阵的所有特征值的某个简朴代数关系表达出来，效果 简直漂亮，属于“美的数学”。然而一样平常 的线性代数教科书中却没有它的踪影，以是 四名作者都以为前人把发现这个漂亮 公式的声誉 留给了他们。
陶哲轩是数学界的超级巨星，他关于数学的一举一动都市引起媒体的骚动，就像他的数学博客那么引人一样。以是 众人也以为他们发现了一个新的公式，有人甚至宣称“这一公式的理论价值在克莱姆规则之上。”克莱姆规则将非奇异线性代数方程组的解的各分量用一个商来体现，商的分母总是方程组的系数行列式，而分子则是用方程组的右端向量取代解分量位置指标所确定的系数矩阵谁人 列所获得的新矩阵的行列式。
读完这篇报道，我随手将它转发到我的南大同砚 群。当我飞到亚特兰大机场后，又在朋侪 圈里读到了引起惊动的这篇数学文章。但让我一眼看到的是，文章的第一句竟然有个小小的英文笔误。
当天下战书 ，我的一位大学同砚 就在群里转发了新新闻 ：这个效果 不是新的，北大数学教授徐树方在他90年月 出书的一本关于矩阵盘算的书中，关于实对称三对角矩阵，就给出了同样的效果 。很快，其他关于统一 公式的史实纪录络绎不绝，一直追溯到1968年美国加州大学的一位线性代数教授汤姆生 (R. C. Thompson) 及其学生 ，以及其他人揭晓 的与之相同或等价的等式。到了第二天，陶哲轩等作者的说明也飘然而至，提供了有关这个效果 的部门历史事实。在被发现的文章中，证实 公式建设的基本假设似乎都没有超出埃尔米特矩阵的领域。埃尔米特矩阵是其共轭转置即是它自己的一类矩阵。
一个小小的数学浪花，由于冲浪者的鼎鼎台甫，通过快速的网络撒播 ，汇成了一股股滔滔巨浪。这就是现代通讯手艺 的实力 。
下战书 做完了学术陈诉，与对我演讲论题颇感兴趣的系主任交流片晌 后，我待在师兄的办公室期待尚有 运动的他，于是在手机上最先 阅读陶哲轩他们的文章，很快就读懂了漂亮而精炼的证实 。突然一个念头冒出我的脑海：这个让媒体活跃的公式对比埃尔米特矩阵更为普遍 的正规则阵是否也对？一个矩阵A若是 其共轭转置与它可交流，即AHA = AAH，则被称为是正规则阵 (normal matrix) 。对于埃尔米特矩阵A，由于AHA = A2 = AAH，它也是一个正规则阵。对于酉矩阵U，由于UHU = I = UUH，它同样也是一个正规则阵，然而许多酉矩阵并非是埃尔米特矩阵，如平面上的旋转矩阵。可见，正规则阵类比埃尔米特矩阵类大得多。
我很快发现，陶哲轩关于埃尔米特矩阵所证实 的公式，可以一字不漏地证实 对正规则阵也建设，由于 它们具有公式证实 所需的一个配合性子 ，那就是埃尔米特矩阵及更一样平常 的正规则阵A都是可酉对角化的，即存在一个酉矩阵U，使得UHAU是一个对角矩阵。
这个发现让我的情绪最先 高涨，并激起了强烈的好奇心，想知道对比正规则阵更一样平常 的矩阵，“陶氏公式”是否依然有用 。由于 可酉对角化这个性子 是正规则阵的一个特征，我推测对于非正规则阵，这个公式不再为真。可是 这时我的师兄回到了办公室，我们需要出去吃晚饭了，然后去他家——以往我每次来访，都住他家，就像他每次应邀来访我系做陈诉时住我家一样。
1986年1月3日是我到达密歇根州立大学念书的第二天，那天上午当我第一次去我未来的博士论文导师李天岩教授的办公室见他时，在门口先遇到 了他来自韩国的博士生李弘九，以后 我就和这位师兄建设了恒久的友谊。他的名字中有“九”，而我的名“玖”则是大写的“九”，以是 我们生来就有亲如弟兄的缘分。他和他的四兄弟中的三个，都是汉城大学（现叫首尔大学）的结业生。除他之外，他的二哥也在美国拿到博士学位，厥后成为总统李明博的科学照料。在他于1987年拿到博士学位脱离 密歇根前，谁人 炎天 我们两人专门组成了一个讨论班，轮流陈诉著名数值代数学家豪斯霍尔德 (Alston S. Householder) 所作的一本矩阵论名著。三十多年来，我们不仅一直保持亲密的朋侪 关系，而且在已往的十多年中合写了不少论文。
这次会见堪萨斯城的周五，饭馆晚饭谈天 讨论数学后，回到他家已经9点半，他建议我早点洗漱休息，事实 那天早晨我3点多就离家开车90分钟去的机场。在楼上的客房准备睡眠 前，我却不想睡了，由于 我急于想用自己的语言写下对正规则阵公式的证实 。于是我伏案事情了一个小时，写下了这个证实 。
第二天早晨我起得较迟，由于 前一天着实 累了。我们决议 早饭后去他的办公室继续讨论数学，包罗我已做好的关于正规则阵的公式证实 。我的师兄有很强的数学根底，李天岩教授也曾在我眼前 夸奖过他的数学。只管 他和他当护士的太太将人生的一大块用于宗教运动，希望拯救一些人类分子的心灵，但他同样一直保持着对数学的热爱和对未知天下 的探索激情。这一点他和我的大师兄、北卡州立大学的朱天照教授完全一样；朱教授在他的小我私人 网页上这样讲：Teaching is my love, Research is my hobby, and Preaching is my calling.（教书是我的所爱，研究是我的嗜好，布道是我的使命。）我对他们两人的人生取向十分钦佩 ，惋惜 我却做不到所有这些。
我们两人周六的办公室讨论、思索 及数值试验，富有成效。在多年的相助中，我更多地继续着头脑 者的角色，常有新颖 的想法从脑子里冒出，而他常以实践者的面目 泛起，在盘算中时有出乎意料的视察与发现。好比在快要十年前，我们在研究用最大熵要领盘算稳固 密度函数时，正由于 他在盘算的实验中发现了要害矩阵的奇异性，促使我想出了将有限元的头脑 与最大熵原则相团结 的现代最大熵要领，一举扫除了经典最大熵要领的病态问题，导致了第一个样条函数最大熵算法的降生。我的师爷约克 (James Yorke) 曾经说过：“盘算可能导致伟大发现。”此话不假。这一次，师兄的盘算验证也加速了我刷新 埃尔米特矩阵特征向量盘算公式的法式。
一到办公室，李弘九就用他熟练掌握的MATLAB随机地取了一个正规则阵，一验算就发现我所证实 的公式准确 。这里尚有 一个插曲。当我从洗手间回到他的办公室，刚刚完成盘算的他对我说：“Jiu，your formula is wrong！(玖，你的公式差池！) ”我一听大吃一惊，但我不信托 这个断言，于是请他给我再现盘算历程。到了最后一步的磨练 阶段，终于发现了一个下标错误，纠正后电脑的屏幕上连忙 泛起了令人兴奋的等号。
接着，他又随机地算了一个矩阵，果真如我意料之中，公式差池。这样我们对公式的本质有了进一步的熟悉 。下面的事就是寻找公式的进一步的推广。
陶哲轩证实 公式建设的要害假设是可酉对角化矩阵A具有相互正交的特征向量基底。比可酉对角化矩阵更一样平常 的矩阵是可对角化矩阵。对于矩阵A，若是 存在一个非奇异矩阵S，使得S-1AS是一个对角矩阵，那么A被称为是可对角化的。这时S的所有列均为A的特征向量，而且组成酉空间的一个基底。然而这些特征向量一样平常 不知足 所希望的正交性条件。缺乏特征向量两两正交的有用性子 ，我同样能获得谁人 漂亮的等式吗？整个周六，我都在思索 这个问题。
当我陶醉于求解一个问题时，我的注重 力都市高度集中，这是我在几十年的学习和研究生涯中养成的习惯。在我以前所写的文章《数学应该怎么学》中，我强调了“专注”对于研习高等数学的极端主要 性，把它列为念书乐成的须要因素。这时，我再一次获得了专注的眷顾。
我敏锐地注重 到，陶哲轩对公式给出的第二个证实 的思绪 可以继续向前推进，可是 它的叙述方式却不易找到推广的新偏向。于是，我将矩阵视为有限维线性变换，接纳了线性代数的“函数论”剖析 法：两个线性变换若是 在界说域空间的基底上给出同样的效果 ，那么它们相等。正如林开亮博士在刊登于《数学文化》杂志上的一篇书评中所述，这种线性代数中的几何论证法，在哈尔莫斯 (Paul Halmos，1916-2006) 的名著《有限维线性空间》及他的徒孙、我的先生 阿克斯拉 (Sheldon Axler) 教授的教科书《线性代数应该这样学》中随处可见。
于是，将陶哲轩的原始证实 头脑 稍加变形，我找到了将正规则阵推广到一类可对角化矩阵的要害想法。借助于正交投影之力，我终于开发 出到达目的 的一条通道。我觅得的宝藏是：设v1，v2，…，vn为矩阵A的线性无关的特征向量，若第i个特征向量vi长度为1，而且与其他n-1个特征向量都正交，则陶哲轩的公式依然为真。
着实 上述的推广公式仅仅是我对恣意 可对角化矩阵获得的一个等式的推论！它的另一个推论则给出了n乘n阶可对角化矩阵的所有特征值与它的n个(n-1)乘(n-1)阶主子矩阵的所有特征值的一个等式关系。虽然我从未见到过这个看上去也长得不错的公式，但经常眼光 如豆的我不敢信托 我是这个关系的第一个发现者，或许顶多只是一个自力 的发现者，就像这一波数学新闻的主角那三个物理学家和陶哲轩一样。
当我完全写满五页纸的数学手稿，其中两页竟然是我出发前打印出的两张登机牌的空缺 反面，并留下更多页数的演算草稿时，我也快要竣事 我的堪萨斯城之旅了。这是一次收获满满的旅行，不仅仅是由于 我们师兄弟俩在两年不见后再次相遇，也不仅仅听我讲座的研究生事后告诉他怎样 从我的演讲中爱上了遍历理论这门学科，更令我愉悦的是现代通讯支持 、中国腾讯发现的微信给了我再次被数学所激励的动力和劲头，让我过足了充实知足 好奇心的瘾！
手稿的其中一页 | 丁玖拍摄
周日下战书 ，当和我一样因与陶哲轩“共舞”一场而同样兴致勃勃 的李弘九教授把我送到归途的机场后，我候机时突然想起了三十年前的一次数学之旅，不外它与旅行无关，更没有微信的资助。那年夏日 ，李天岩教授在教了我们几个学生 一门一学年新课《[0, 1]上的遍历理论》后，给了我一次练笔的时机，资助他在其于日本京都大学所作的一系列演讲稿的基础上写出一本妄想 出书的书稿。当我写到著名的“乌拉姆要领”以及他对一类区间映射的“乌拉姆意料 ”证实 这书中最后一章时，突然好奇心大发：乌拉姆要领用的是“逐片常数函数迫近”，作为盘算数学专业的本科结业生和硕士，为什么不试试逐片线性函数或更高阶的迫近法？于是我拿起纸笔，劲头十足地演算起来，很快就大功告成，设计出两类新的数值要领，并证实 晰 收敛性。这项没有“妄想 经济”指导的“市场经济”产物，马上成就了我的博士论文，只管 之前我已经写出两篇差异领域的文章。我在南京大学受过训练的最优化理论身世，却终于让位于“盘算遍历理论”这一新兴学科，让我厥后为此忙碌了三十年。
坐在机场的候机厅，我也想起另一次数学之旅。快要十年前，我读到一篇杨振宁先生的采访记，其中有他关于杨-巴克斯特方程的历史描绘和“辫子诠释 ”，很是生动。读后我想，若是 将这个方程的每个因子视为矩阵，则可界说一类二阶矩阵方程，不妨称之为“杨-巴克斯特矩阵方程”，以示对这两位老先生的尊重 ，就像解非线性代数方程组的牛顿要领一样。于是我拉上了我的李师兄，一起踏上好奇这个非线性矩阵方程解结构的挖掘之旅。我的大学同砚 魏木生率领他的学生 对一样平常 的矩阵找到了这个方程的所有可交流解。
带着对中西部平原有点依依不舍的离别心情，带着对师兄太太为我准备细腻 康健早餐的优美 回忆，我登上了飞向亚特兰大的飞机。在万米的高空，窗外是一片蓝天，心中是一片阳光。是啊，若是 时光回流，我再年轻三十岁，我还会有许多可能不让时机流逝，探索数学之美，知足 好奇之心，享受发现之乐。年轻的学子，你们生涯 在知识信息大爆炸的时代，你们有数不清的机缘，捉住 它们，与之共舞，你的缔造之源就会汹涌喷薄而出，你的智慧之光就会照亮前方。不管你的发现是大是小，不管你的效果 是重是轻，最值得你自豪的，最值得你回味的，最值得你陶醉之中而遗忘 一切的，最值得你孜孜以求渡过时光的，就是你“吾将上下而求索”的整个历程。这就是我渡过11月15日到17日这个周末的所有 感想。
写于2019年11月29日星期五
扩展阅读：
陶哲轩的线性代数的“新”公式并没倾覆 任何工具 | 哆嗒数学网
配景简介：本文作者丁玖，美国南密西西比大学数学系教授。文章2019年12月3日揭晓 于微信民众号 返朴（与陶哲轩“共舞”的一个周末 | 数学家发现纪实），风云之声获授权转载。
责任编辑：孙远