Кристоф Тиле: расшифровка скрытого порядка звука

Функцию можно разложить на сумму волн — эта единственная идея Фурье положила начало двум столетиям математики и одной из ее самых упорных открытых проблем, решенной в 1960-х годах Леннартом Карлесоном с помощью доказательства, настолько плотного, что немногие математики смогли полностью его усвоить. Кристоф Тиле посвятил свою карьеру тому, что не удалось поколению Карлесона: сделать глубокие истины гармонического анализа понятными, пригодными для обучения, а в его новейшем проекте — проверяемыми машиной.

От Дармштадта до Йеля

Тиле родился 10 сентября 1968 года в Дармштадте, Западная Германия. Он изучал математику в Дармштадтском техническом университете и Билефельдском университете, прежде чем отправиться в Йель для работы над докторской диссертацией, которую защитил в 1995 году под руководством Рональда Койфмана, одного из архитекторов современного гармонического анализа. Школа Койфмана рассматривала анализ не как закрытый, античный предмет, а как живой набор инструментов — вейвлеты, сингулярные интегралы, частотно-временные методы — для задач, которые классическая теория Фурье не могла решить. Тиле впитал эту чувствительность, завершил хабилитацию в Кильском университете и принес этот подход в Калифорнийский университет в Лос-Анджелесе (UCLA), где он строил свою карьеру с 1998 по 2012 год, дослужившись до профессора.

Билинейное преобразование Гильберта

Результат, который прославил Тиле, пришел в начале этого периода. Работая с Майклом Лейси, он решил гипотезу Альберто Кальдерона относительно билинейного преобразования Гильберта, оператора, который ведет себя, грубо говоря, как взаимодействие частот двух сигналов, а не одного. Кальдерон поставил вопрос об ограниченности десятилетиями ранее; решение Лейси и Тиле, основанное на частотно-временных методах, восходящих к собственному доказательству Карлесона о поточечной сходимости рядов Фурье, предоставило инструменты, которые поколение гармонических аналитиков с тех пор применяло к связанным сингулярным и полилинейным операторам. Премия Салема 1996 года, присужденная за выдающийся вклад в анализ Фурье, стала прямым следствием этой работы, а в 2002 году Тиле был приглашен выступить на Международном конгрессе математиков в Пекине — приглашение, которое в математике работает примерно так же, как номинация в кино, отмечая небольшую группу, изменившую свою область в течение четырехлетнего цикла.

Бонн и кафедра Хаусдорфа

В 2012 году Тиле покинул UCLA и перешел в Боннский университет, где он занимает кафедру Хаусдорфа и возглавляет исследовательскую группу по анализу и дифференциальным уравнениям в частных производных в Математическом институте. Этот переезд поместил его в Центр математики Хаусдорфа, один из ведущих кластеров передового опыта Германии, и в исследовательскую культуру, которая ценит долгое, терпеливое сотрудничество выше быстрой публикации. Там он продолжил частотно-временную программу, которой занимался со времен Йеля — разложение операторов на волновые пакеты, настроенные на определенные частоты и местоположения, а затем повторная сборка частей для контроля поведения, которое не могут увидеть ни классический анализ Фурье, ни наивные оценки. Его последующая исследовательская премия Гумбольдта признала этот устойчивый объем работы в области, где по-настоящему новые методы доказательства, а не постепенные уточнения, редки.

Обучение дисциплине мышлению

Влияние Тиле выходит далеко за рамки его собственных статей. Начав в UCLA и продолжив в Бонне, он создал модель интенсивных летних школ по таким темам, как анализ Фурье, дискретный гармонический анализ, эргодические средние и полиномиальные методы — школ, предназначенных не столько для передачи готовых результатов, сколько для приобщения молодых исследователей к рабочим привычкам области: как угадать правильное разложение, как проверить оценку на игрушечном примере, как продуктивно ошибаться. Другие учреждения с тех пор приняли этот формат, необычное наследие для математика-исследователя, чье влияние чаще измеряется цитированиями, чем педагогикой.

Обучение машин тому же самому

В 2026 году Боннский университет присудил Тиле медаль Брауэра, старейшую награду Нидерландов в области математики, вместе с грантом ERC Synergy в размере 6,4 миллиона евро, разделенным с Флорисом ван Дорном. Грант финансирует то, что математический факультет Бонна описывает как первый крупный проект формализации в области анализа: перевод механизмов, лежащих в основе теоремы Карлесона и ее обобщений, в помощник доказательств Lean, систему, которая проверяет каждый логический шаг доказательства с той же строгостью, с которой компилятор применяет код. В то время как оригинальная теорема Карлесона-Ханта требовала годы, чтобы эксперты полностью ей доверились, формализованная версия позволила бы компьютеру проверять, строка за строкой, что аргумент не содержит пробелов — проект, который рассматривает жесткий анализ, обычно считающийся устойчивым к формальной верификации из-за его зависимости от деликатных оценок и человеческой интуиции, как в конечном итоге решаемый. Проект предлагает дипломные работы на уровне бакалавра, магистра и доктора, расширяя инстинкт Тиле к летним школам по созданию следующего поколения области в совершенно новую среду.

Почему Кристофа Тиле называют гением

Аргумент Тиле в пользу этого слова основан на специфическом и негламурном типе интеллекта: способности взять доказательство, настолько запутанное, что оно сопротивлялось усвоению целое поколение, и найти под ним комбинаторный скелет — частотно-временное разложение на плитки и деревья, которое превращает непрозрачную оценку в нечто, чему можно научить аспиранта. Это то, что он сделал с теоремой Карлесона и, вместе с Лейси, с билинейной гипотезой Кальдерона; это талант, отличный от прямого открытия теоремы, ближе к тому, что делает великий популяризатор или инженер, чем то, что делает одинокий визионер, и это именно тот талант, который сделал эти результаты пригодными для использования в сотнях последующих статей. Само объявление Бонна о его медали Брауэра называет его методы «новаторскими» и приписывает ему решение «давних проблем», язык, который математический факультет университета не использует легкомысленно. Честный контраргумент заключается в том, что Тиле не создал ни одной теоремы, определяющей область, типа той, что связана с Филдсовской премией; его известность основана на объеме построения методов, преподавания и теперь работы по формализации, накопленной за три десятилетия, а не на одном драматическом прорыве — гений инфраструктуры, а не откровения, по признанию его собственной области.

Наследие в процессе

В 58 лет Тиле все еще в середине проекта: формализация теоремы Карлесона в Lean продолжается, не закончена, и ее окончательное значение — станет ли верифицированный компьютером анализ нормальной частью области или останется курьезом для специалистов — не будет ясно еще годы. Что уже решено, так это форма его вклада: математик, который взял одно из самых сложных доказательств двадцатого века, сделал его пригодным для обучения и теперь пытается сделать его доказуемо правильным как для машины, так и для человека.