克里斯托弗·蒂勒：解码声音的隐藏秩序

一个函数可以分解为波的和——傅里叶的这一单一洞察开启了两个世纪的数学研究，并解决了其中最顽固的开放性问题之一。1960年代，伦纳特·卡尔森（Lennart Carleson）以一种极其密集的证明结束了这一问题，以至于很少有数学家能完全吸收它。克里斯托弗·蒂勒（Christoph Thiele）的职业生涯一直在做卡尔森那一代人无法做到的事：让调和分析的深刻真理变得可读、可教，并在他最新的项目中，使其能够被机器验证。

从达姆施塔特到耶鲁

蒂勒于1968年9月10日出生在西德达姆施塔特。他在达姆施塔特工业大学和比勒费尔德大学学习数学，随后跨越大西洋前往耶鲁大学攻读博士学位，并于1995年在现代调和分析的奠基人之一罗纳德·科夫曼（Ronald Coifman）的指导下获得博士学位。科夫曼的学派不将分析视为一门封闭、古老的学科，而是将其视为一套活生生的工具箱——小波、奇异积分、时频方法——用于解决经典傅里叶理论无法触及的问题。蒂勒吸收了这种敏感性，在基尔大学完成了教授资格论文，并将这种方法带到了加州大学洛杉矶分校（UCLA），在那里他从1998年到2012年建立了职业生涯，并晋升为正教授。

双线性希尔伯特变换

让蒂勒成名的成果出现在这一时期的早期。他与迈克尔·莱西（Michael Lacey）合作，解决了阿尔贝托·卡尔德隆（Alberto Calderón）关于双线性希尔伯特变换的猜想，该算子的行为大致类似于两个信号频率的相互作用，而非一个。卡尔德隆早在几十年前就提出了有界性问题；莱西和蒂勒的解决方案基于源自卡尔森关于傅里叶级数点态收敛证明的时频技术，提供了后来一代调和分析学家应用于相关奇异和多线性算子的工具。1996年因对傅里叶分析的杰出贡献而获得的塞勒姆奖直接源于这项工作，2002年，蒂勒受邀在北京举行的国际数学家大会上发言——这一邀请在数学界大致相当于电影界的提名，标志着一小群在四年周期内重塑了其领域的人。

波恩与豪斯多夫教席

2012年，蒂勒离开UCLA前往波恩大学，担任豪斯多夫教席，并领导数学研究所的分析与偏微分方程研究小组。这次调动使他进入了德国领先的卓越集群之一——豪斯多夫数学中心，并置身于一种重视长期、耐心合作而非快速发表的研究文化中。在那里，他继续了自耶鲁以来一直从事的时频项目——将算子分解为针对特定频率和位置调整的波包，然后重新组装这些部分，以控制经典傅里叶分析和简单估计都无法看到的行为。他随后获得的洪堡研究奖认可了他在一个真正新的证明技术（而非渐进式改进）稀缺的领域中持续的工作。

教导一门学科如何思考

蒂勒的影响力远不止于他自己的论文。从UCLA开始并在波恩延续，他建立了一个关于傅里叶分析、离散调和分析、遍历平均和多项式方法等主题的密集暑期学校模式——这些学校的设计目的不是为了传授现成的结果，而是为了引导年轻研究人员进入该领域的工作习惯：如何猜测正确的分解，如何用玩具示例测试估计，如何富有成效地失败。其他机构此后也采用了这种模式，对于一位研究数学家来说，这是一种不同寻常的遗产，其影响力更多地以引用而非教学法来衡量。

教导机器同样的事情

2026年，波恩大学授予蒂勒布劳威尔奖章（荷兰数学界最高荣誉），并与弗洛里斯·范·多恩（Floris van Doorn）共同获得了640万欧元的ERC协同补助金。该补助金资助了波恩数学系所描述的分析领域第一个重大形式化项目：将卡尔森定理及其推广背后的机制翻译成Lean证明助手，这是一个以编译器应用于代码的严谨性来检查证明中每个逻辑步骤的系统。原先的卡尔森-亨特定理专家们花了多年时间才完全信任，而形式化版本将允许计算机逐行验证论证中没有漏洞——该项目将通常因依赖微妙估计和人类直觉而被认为难以进行形式验证的硬分析，视为最终可处理的。该项目提供学士、硕士和博士级别的论文工作，将蒂勒建立该领域下一代的暑期学校本能扩展到了一种全新的媒介中。

为什么克里斯托弗·蒂勒被称为天才

蒂勒被称为天才的理由基于一种特定且不引人注目的智慧：将一个复杂到让一代人难以消化的证明拆解，并找到其下的组合骨架——一种将不透明估计转化为研究生可以学习复制的瓷砖和树的时频分解。这就是他在卡尔森定理上所做的事情，以及与莱西在卡尔德隆双线性猜想上所做的事情；这与直接发现一个定理的才能不同，更接近于伟大的阐释者或工程师所做的事情，而不是孤独的远见者所做的事情，这正是使这些结果被数百篇后续论文所使用的才能。波恩大学在宣布他获得布劳威尔奖章时称他的技术为“开创性”，并归功于他解决了“长期存在的问题”，这是该大学数学系不会轻易使用的语言。诚实的反对意见是，蒂勒没有产生任何一个像菲尔兹奖那样定义领域的单一定理；他的名声建立在三十年来积累的技术构建、教学和现在的形式化工作之上，而不是一次戏剧性的突破——按照他自己领域的承认，他是基础设施的天才，而非启示的天才。

进行中的遗产

58岁的蒂勒仍处于项目中期：卡尔森定理的Lean形式化正在进行中，尚未完成，其最终意义——计算机验证的分析是成为该领域的正常组成部分，还是仅仅保持为专家好奇心——在未来几年内都不会明朗。已经确定的是他贡献的形状：一位数学家拿走了二十世纪最困难的证明之一，使其变得可教，现在正试图使其对机器和人类而言都可证明是正确的。