クリストフ・ティーレ：音の隠れた秩序を解読する

関数は波の和に分解できる。フーリエによるこの単一の洞察は、2世紀にわたる数学の歴史を切り開き、その最も難解な未解決問題の一つを、1960年代にレナート・カールソンが、少数の数学者しか完全に理解できないほど密度の高い証明によって解決した。クリストフ・ティーレは、カールソンの世代が成し得なかったこと、すなわち調和解析の深い真理を読みやすく、教えやすくし、最新のプロジェクトでは機械による検証を可能にすることにキャリアを捧げてきた。

ダルムシュタットからイェールへ

ティーレは1968年9月10日、西ドイツのダルムシュタットで生まれた。ダルムシュタット工科大学とビーレフェルト大学で数学を学び、その後大西洋を渡ってイェール大学で博士課程に進み、1995年に現代調和解析の設計者の一人であるロナルド・コイフマンの下で博士号を取得した。コイフマンの学派は、解析を閉じた古い主題としてではなく、ウェーブレット、特異積分、時間周波数法といった、古典的なフーリエ理論では到達できなかった問題のための生きたツールキットとして扱った。ティーレはその感性を吸収し、キール大学で教授資格を取得し、そのアプローチをUCLAに持ち込み、1998年から2012年までキャリアを築き、正教授に昇進した。

双線形ヒルベルト変換

ティーレの名を世に知らしめた成果は、その期間の初期にもたらされた。マイケル・レイシーと共に、彼は双線形ヒルベルト変換に関するアルベルト・カルデロンの予想を解決した。これは、大まかに言えば、1つの信号ではなく2つの信号の周波数の相互作用のように振る舞う演算子である。カルデロンは何十年も前に有界性の問題を提起していた。レイシーとティーレの解決策は、フーリエ級数の点収束に関するカールソン自身の証明から派生した時間周波数技術に基づいており、調和解析学者がその後、関連する特異演算子や多重線形演算子に応用してきたツールを提供した。フーリエ解析への傑出した貢献に対して授与された1996年のセーラム賞は、この研究から直接もたらされたものであり、2002年には北京で開催された国際数学者会議で講演するよう招待された。これは数学界では映画界のノミネートに相当し、4年周期でその分野を再形成した少数のグループをマークするものである。

ボンとハウスドルフ講座

2012年、ティーレはUCLAを離れてボン大学に移り、ハウスドルフ講座を担当し、数学研究所の解析・偏微分方程式研究グループを率いている。この移籍により、彼はドイツの主要な卓越クラスターの一つであるハウスドルフ数学センターに身を置き、迅速な出版よりも長く忍耐強い協力を重視する研究文化の中に身を置くことになった。そこで彼は、イェール時代から取り組んできた時間周波数プログラムを継続した。演算子を特定の周波数と場所に調整されたウェーブパケットに分解し、それらを再構成して、古典的なフーリエ解析や単純な推定では見えない挙動を制御するものである。その後のフンボルト研究賞は、漸進的な改良ではなく、真に新しい証明技術が稀であるこの分野において、この持続的な研究業績を評価したものである。

学問に思考法を教える

ティーレの影響力は自身の論文をはるかに超えている。UCLAで始まりボンで継続された彼の活動は、フーリエ解析、離散調和解析、エルゴード平均、多項式法といった主題に関する集中的なサマースクールのモデルを構築した。これらの学校は、完成した結果を伝えることよりも、正しい分解を推測する方法、おもちゃの例で推定をテストする方法、生産的に失敗する方法など、その分野の作業習慣を若い研究者に教え込むことを目的としている。他の機関もこの形式を採用しており、これは研究数学者としては珍しい遺産であり、その影響力は教育学よりも引用数で測定されることが多い。

機械に同じことを教える

2026年、ボン大学はティーレにオランダの数学界で最も権威あるブラウワー・メダルを授与し、フロリス・ファン・ドールンと共有する640万ユーロのERCシナジー助成金を提供した。この助成金は、ボン大学数学科が解析分野における最初の主要な形式化プロジェクトと説明するものに資金を提供している。それは、カールソンの定理とその一般化の背後にある機械を、Lean証明支援系に翻訳することである。これは、コンパイラがコードに適用するのと同じ厳密さで、証明の各論理ステップをチェックするシステムである。オリジナルのカールソン・ハントの定理が専門家に完全に信頼されるまでに何年もかかったのに対し、形式化されたバージョンでは、コンピュータが一行ずつ、議論に隙がないことを検証できる。これは、繊細な推定と人間の直感への依存のために形式検証には抵抗があると一般に考えられていたハード解析を、最終的には扱い可能なものとして扱うプロジェクトである。このプロジェクトは、学士、修士、博士レベルの論文研究を提供し、分野の次世代を育成するというティーレのサマースクールの本能を、全く新しい媒体へと拡張している。

クリストフ・ティーレが天才と呼ばれる理由

ティーレがこの言葉で呼ばれる理由は、特定の、そして地味な種類の知性に依存している。それは、一世代の間消化を拒んできたほど複雑な証明を取り上げ、その下にある組み合わせ論的な骨格を見つけ出す能力である。それは、不透明な推定を大学院生が再現できるように教えられるものに変える、タイルと木への時間周波数分解である。彼がカールソンの定理で行ったこと、そしてレイシーと共にカルデロンの双線形予想で行ったことはそれである。それは定理を直接発見するのとは異なる才能であり、孤独な先見者が行うことよりも、偉大な解説者やエンジニアが行うことに近く、それこそが、その後の何百もの論文でこれらの結果を利用可能にした才能である。ボン大学のブラウワー・メダル発表自体が、彼の技術を「画期的」と呼び、「長年の問題」を解決したと評価しているが、これは大学の数学部が軽々しく使う言葉ではない。正直な反論は、ティーレがフィールズ賞に関連するような分野を定義する単一の定理を生み出していないということである。彼の名声は、劇的なブレイクスルーではなく、30年間にわたって蓄積された技術構築、教育、そして現在の形式化作業という業績に基づいている。彼自身の分野の認めるところによれば、彼は啓示の天才ではなく、インフラストラクチャの天才である。

進行中の遺産

58歳のティーレはまだプロジェクトの途上にある。カールソンの定理のLean形式化は進行中であり、完了していない。そしてその最終的な意義、つまりコンピュータ検証された解析がその分野の通常の構成要素になるのか、それとも専門家の好奇心の対象にとどまるのかは、何年も経つまで明らかにならないだろう。すでに決まっているのは、彼の貢献の形である。20世紀の最も困難な証明の一つを取り上げ、それを教えられるものにし、そして今、機械にとっても人間にとっても証明可能に正しいものにしようとしている数学者である。