크리스토프 틸레: 소리의 숨겨진 질서를 해독하다

함수는 파동의 합으로 분해될 수 있다는 푸리에의 단일한 통찰은 2세기 동안의 수학을 이끌었으며, 1960년대 레나르트 칼레손(Lennart Carleson)이 소수의 수학자만이 완전히 이해할 수 있을 정도로 밀도 높은 증명으로 해결한 가장 난해한 미해결 문제 중 하나를 탄생시켰다. 크리스토프 틸레(Christoph Thiele)는 칼레손 세대가 할 수 없었던 일, 즉 조화 해석학의 깊은 진리를 읽기 쉽고 가르치기 쉽게 만들고, 최신 프로젝트에서는 기계가 검증할 수 있도록 만드는 데 경력을 바쳐왔다.

다름슈타트에서 예일로

틸레는 1968년 9월 10일 서독 다름슈타트에서 태어났다. 그는 다름슈타트 공과대학교와 빌레펠트 대학교에서 수학을 공부한 뒤 대서양을 건너 예일 대학교에서 박사 과정을 밟았으며, 1995년 현대 조화 해석학의 설계자 중 한 명인 로널드 코이프만(Ronald Coifman)의 지도하에 박사 학위를 받았다. 코이프만 학파는 해석학을 닫힌 고전적 주제가 아니라 웨이블릿, 특이 적분, 시간-주파수 방법 등 고전적인 푸리에 이론으로는 도달할 수 없는 문제를 위한 살아있는 도구 상자로 다루었다. 틸레는 이러한 감각을 흡수하여 킬 대학교에서 교수 자격을 취득했고, 이 접근 방식을 UCLA로 가져와 1998년부터 2012년까지 경력을 쌓으며 정교수로 승진했다.

쌍선형 힐베르트 변환

틸레의 이름을 알린 성과는 그 기간 초기에 나왔다. 그는 마이클 레이시(Michael Lacey)와 함께 쌍선형 힐베르트 변환에 관한 알베르토 칼데론(Alberto Calderón)의 추측을 해결했다. 이는 대략적으로 말해 하나의 신호가 아닌 두 신호의 주파수 상호작용처럼 작동하는 연산자이다. 칼데론은 수십 년 전에 유계성 문제를 제기했었다. 레이시와 틸레의 해결책은 푸리에 급수의 점별 수렴에 관한 칼레손 자신의 증명에서 파생된 시간-주파수 기술을 기반으로 했으며, 이후 조화 해석학자들이 관련 특이 및 다중선형 연산자에 적용해 온 도구를 제공했다. 푸리에 해석에 대한 뛰어난 공로로 수여된 1996년 세일럼 상은 이 연구에서 직접 비롯되었으며, 2002년 틸레는 베이징에서 열린 국제수학자대회에서 강연하도록 초청받았다. 이는 수학계에서 영화계의 노미네이트와 비슷하게 작동하며, 4년 주기로 해당 분야를 재편한 소수의 그룹을 표시하는 것이다.

본과 하우스도르프 석좌

2012년 틸레는 UCLA를 떠나 본 대학교로 옮겨 하우스도르프 석좌를 맡고 수학 연구소의 해석학 및 편미분 방정식 연구 그룹을 이끌고 있다. 이 이직으로 그는 독일의 주요 우수 클러스터 중 하나인 하우스도르프 수학 센터 내에 자리 잡게 되었으며, 빠른 출판보다 길고 인내심 있는 협력을 중시하는 연구 문화 속에 있게 되었다. 그곳에서 그는 예일 시절부터 그를 사로잡았던 시간-주파수 프로그램을 계속했다. 연산자를 특정 주파수와 위치에 맞춰진 웨이브 패킷으로 분해한 다음, 조각들을 다시 조립하여 고전적인 푸리에 해석이나 단순한 추정으로는 볼 수 없는 행동을 제어하는 것이다. 이후 받은 훔볼트 연구상은 점진적인 개선이 아닌 진정으로 새로운 증명 기술이 드문 이 분야에서 이러한 지속적인 연구 업적을 인정받은 것이다.

학문에 사고하는 법을 가르치다

틸레의 영향력은 자신의 논문을 훨씬 넘어선다. UCLA에서 시작하여 본에서 계속된 그의 활동은 푸리에 해석, 이산 조화 해석, 에르고딕 평균, 다항식 방법과 같은 주제에 대한 집중적인 여름 학교 모델을 구축했다. 이 학교들은 완성된 결과를 전달하기보다 올바른 분해를 추측하는 방법, 장난감 예제로 추정을 테스트하는 방법, 생산적으로 실패하는 방법 등 해당 분야의 작업 습관을 젊은 연구자들에게 가르치는 것을 목적으로 한다. 다른 기관들도 이후 이 형식을 채택했는데, 이는 연구 수학자로서는 드문 유산이며, 그 영향력은 교육학보다 인용 횟수로 측정되는 경우가 많다.

기계에게도 같은 것을 가르치다

2026년 본 대학교는 틸레에게 네덜란드 수학계 최고 권위의 브라우어 메달을 수여했으며, 플로리스 판 도른(Floris van Doorn)과 공유하는 640만 유로의 ERC 시너지 보조금을 지원했다. 이 보조금은 본 대학교 수학과가 해석학 분야 최초의 주요 형식화 프로젝트라고 설명하는 연구에 자금을 지원한다. 이는 칼레손 정리와 그 일반화의 이면을 Lean 증명 지원 시스템으로 번역하는 것으로, 컴파일러가 코드에 적용하는 것과 동일한 엄격함으로 증명의 각 논리 단계를 확인하는 시스템이다. 원래의 칼레손-헌트 정리가 전문가들에게 완전히 신뢰받기까지 수년이 걸렸던 반면, 형식화된 버전은 컴퓨터가 한 줄씩 논증에 빈틈이 없음을 검증할 수 있게 해준다. 이는 섬세한 추정과 인간의 직관에 대한 의존 때문에 형식 검증에 저항력이 있다고 여겨졌던 하드 해석학을 결국 다룰 수 있는 것으로 취급하는 프로젝트이다. 이 프로젝트는 학사, 석사, 박사 수준의 논문 연구를 제공하며, 분야의 차세대를 육성하려는 틸레의 여름 학교 본능을 완전히 새로운 매체로 확장하고 있다.

크리스토프 틸레가 천재라 불리는 이유

틸레가 이 단어로 불리는 이유는 특정하고 화려하지 않은 지능에 기반한다. 한 세대 동안 소화하기 어려웠던 복잡한 증명을 가져와 그 아래에 있는 조합론적 뼈대를 찾아내는 능력이다. 이는 불투명한 추정을 대학원생이 재현할 수 있도록 가르칠 수 있는 타일과 나무로의 시간-주파수 분해이다. 그가 칼레손 정리에서, 그리고 레이시와 함께 칼데론의 쌍선형 추측에서 한 일이 바로 이것이다. 이는 정리를 직접 발견하는 것과는 다른 재능이며, 고독한 선구자가 하는 일보다 위대한 해설자나 엔지니어가 하는 일에 가깝고, 바로 그 재능이 수백 편의 후속 논문에서 이러한 결과를 사용할 수 있게 만들었다. 본 대학교의 브라우어 메달 발표 자체도 그의 기술을 '획기적'이라고 부르며 '오랜 문제'를 해결했다고 평가하는데, 이는 대학 수학과가 가볍게 사용하는 언어가 아니다. 솔직한 반론은 틸레가 필즈상과 관련된 분야를 정의하는 단 하나의 정리를 만들어내지 못했다는 것이다. 그의 명성은 극적인 돌파구가 아니라 30년에 걸쳐 축적된 기술 구축, 교육, 그리고 현재의 형식화 작업이라는 업적에 기반한다. 그 자신의 분야가 인정하듯, 그는 계시의 천재가 아니라 인프라의 천재이다.

진행 중인 유산

58세의 틸레는 여전히 프로젝트 진행 중이다. 칼레손 정리의 Lean 형식화는 진행 중이며 완료되지 않았고, 그 최종적인 의미(컴퓨터 검증된 해석학이 해당 분야의 정상적인 구성 요소가 될지, 아니면 전문가들의 호기심 대상으로 남을지)는 수년이 지나야 명확해질 것이다. 이미 결정된 것은 그의 기여의 형태이다. 20세기 가장 어려운 증명 중 하나를 가져와 가르칠 수 있게 만들었고, 이제는 기계와 인간 모두에게 증명 가능하게 올바른 것으로 만들려고 노력하는 수학자이다.