Christoph Thiele: Sesin gizli düzenini çözmek

Bir fonksiyon dalgaların toplamına ayrıştırılabilir; Fourier'in bu tek içgörüsü iki yüzyıllık matematiği başlattı ve 1960'larda Lennart Carleson tarafından çok az matematikçinin tam olarak kavrayabileceği kadar yoğun bir kanıtla kapatılan en inatçı açık problemlerinden birini çözdü. Christoph Thiele kariyerini Carleson neslinin yapamadığını yapmaya adadı: harmonik analizin derin gerçeklerini okunabilir, öğretilebilir ve en yeni projesinde makine tarafından doğrulanabilir hale getirmek.

Darmstadt'tan Yale'e

Thiele, 10 Eylül 1968'de Batı Almanya'nın Darmstadt kentinde doğdu. Darmstadt Teknik Üniversitesi ve Bielefeld Üniversitesi'nde matematik okudu, ardından doktora çalışması için Atlantik'i geçerek Yale'e gitti ve 1995 yılında modern harmonik analizin mimarlarından Ronald Coifman'ın danışmanlığında doktorasını tamamladı. Coifman'ın okulu, analizi kapalı, antik bir konu olarak değil, klasik Fourier teorisinin ulaşamadığı problemler için canlı bir araç seti — dalgacıklar, tekil integraller, zaman-frekans yöntemleri — olarak ele alıyordu. Thiele bu duyarlılığı özümsedi, Kiel Üniversitesi'nde habilitasyonunu tamamladı ve bu yaklaşımı 1998'den 2012'ye kadar kariyerini inşa ettiği ve tam profesörlüğe yükseldiği UCLA'ya taşıdı.

İki doğrusal Hilbert dönüşümü

Thiele'nin adını duyuran sonuç bu dönemin başlarında geldi. Michael Lacey ile çalışarak, iki sinyalin frekanslarının etkileşimi gibi davranan bir operatör olan iki doğrusal Hilbert dönüşümü ile ilgili Alberto Calderón'un bir sanısını çözdü. Calderón sınırlılık sorusunu on yıllar önce ortaya atmıştı; Lacey ve Thiele'nin Fourier serilerinin noktasal yakınsaklığına ilişkin Carleson'un kendi kanıtından türetilen zaman-frekans tekniklerine dayanan çözümü, bir nesil harmonik analistin o zamandan beri ilgili tekil ve çok doğrusal operatörlere uyguladığı araçları sağladı. Fourier analizine yapılan üstün katkılardan dolayı verilen 1996 Salem Ödülü doğrudan bu çalışmadan geldi ve 2002'de Thiele, Pekin'deki Uluslararası Matematikçiler Kongresi'nde konuşma yapmaya davet edildi; bu davet matematikte kabaca sinemadaki bir adaylık gibi işler ve dört yıllık bir döngü içinde alanlarını yeniden şekillendiren küçük bir grubu işaret eder.

Bonn ve Hausdorff Kürsüsü

2012'de Thiele, UCLA'dan ayrılarak Bonn Üniversitesi'ne geçti; burada Hausdorff Kürsüsü'nü tutuyor ve Matematik Enstitüsü'ndeki Analiz ve Kısmi Diferansiyel Denklemler araştırma grubunu yönetiyor. Bu hamle onu Almanya'nın önde gelen Mükemmeliyet Kümelerinden biri olan Hausdorff Matematik Merkezi'nin içine ve hızlı yayından ziyade uzun, sabırlı iş birliğine değer veren bir araştırma kültürünün içine yerleştirdi. Orada, Yale'den beri onu meşgul eden zaman-frekans programını sürdürdü; operatörleri belirli frekanslara ve konumlara ayarlanmış dalga paketlerine ayırmak ve ardından ne klasik Fourier analizinin ne de saf tahminlerin görebildiği davranışları kontrol etmek için parçaları yeniden birleştirmek. Sonraki Humboldt Araştırma Ödülü, artımlı iyileştirmelerden ziyade gerçekten yeni kanıt tekniklerinin nadir olduğu bir alanda bu sürekli çalışma bütününe verildi.

Bir disipline düşünmeyi öğretmek

Thiele'nin etkisi kendi makalelerinin çok ötesine uzanıyor. UCLA'da başlayıp Bonn'da devam ederek, Fourier analizi, ayrık harmonik analiz, ergodik ortalamalar ve polinom yöntemleri gibi konularda yoğun yaz okulları modeli oluşturdu; bu okullar bitmiş sonuçları aktarmaktan ziyade genç araştırmacıları alanın çalışma alışkanlıklarına dahil etmek için tasarlandı: doğru ayrıştırmayı nasıl tahmin edeceğinizi, bir tahmini oyuncak bir örnekle nasıl test edeceğinizi, nasıl üretken bir şekilde başarısız olacağınızı. Diğer kurumlar o zamandan beri bu formatı benimsedi; etkisi genellikle pedagojiden ziyade atıflarla ölçülen bir araştırmacı matematikçi için alışılmadık bir miras türü.

Makinelere aynı şeyi öğretmek

2026'da Bonn Üniversitesi, Thiele'ye Hollanda'nın matematikteki en kıdemli onuru olan Brouwer Madalyası'nı ve Floris van Doorn ile paylaşılan 6,4 milyon Euro'luk bir ERC Sinerji Hibesi verdi. Hibe, Bonn'un matematik bölümünün analiz alanındaki ilk büyük biçimselleştirme projesi olarak tanımladığı şeyi finanse ediyor: Carleson teoremi ve genellemelerinin arkasındaki mekanizmayı, bir kanıtın her mantıksal adımını bir derleyicinin koda uyguladığı aynı titizlikle kontrol eden Lean kanıt asistanına çevirmek. Orijinal Carleson-Hunt teoreminin uzmanlar tarafından tam olarak güvenilmesi yıllar alırken, biçimselleştirilmiş bir sürüm bir bilgisayarın satır satır argümanın boşluk içermediğini doğrulamasına izin verecektir; bu, hassas tahminlere ve insan sezgisine olan bağımlılığı nedeniyle biçimsel doğrulamaya dirençli olduğu düşünülen zor analizi nihayetinde yönetilebilir olarak ele alan bir projedir. Proje, lisans, yüksek lisans ve doktora düzeyinde tez çalışması sunarak, Thiele'nin alanın gelecek neslini inşa etme konusundaki yaz okulu içgüdüsünü tamamen yeni bir ortama genişletiyor.

Christoph Thiele neden dahi olarak adlandırılıyor

Thiele'nin bu kelime için durumu, belirli ve gösterişsiz bir zeka türüne dayanıyor: bir nesil boyunca sindirime direnecek kadar karmaşık bir kanıtı alıp altındaki kombinatoryal iskeleti bulma yeteneği; opak bir tahmini bir lisansüstü öğrencinin yeniden üretmeyi öğrenebileceği bir şeye dönüştüren karolar ve ağaçlar halinde bir zaman-frekans ayrıştırması. Carleson teoremiyle ve Lacey ile birlikte Calderón'un iki doğrusal sanısıyla yaptığı şey budur; bu, bir teoremi doğrudan keşfetmekten farklı bir yetenektir, yalnız bir vizyonerin yaptığından çok büyük bir açıklayıcının veya mühendisin yaptığına yakındır ve bu sonuçları yüzlerce sonraki makale tarafından kullanılabilir kılan tam da bu yetenektir. Bonn'un Brouwer Madalyası duyurusu, tekniklerini "çığır açıcı" olarak nitelendiriyor ve ona "uzun süredir devam eden sorunları" çözdüğü için kredi veriyor; bu, üniversitenin matematik fakültesinin hafife almadığı bir dil. Dürüst karşı argüman, Thiele'nin Fields Madalyası ile ilişkili türden tek bir alan tanımlayıcı teorem üretmemiş olmasıdır; ünü, dramatik bir atılımdan ziyade üç yıla yayılan teknik oluşturma, öğretim ve şimdi biçimselleştirme çalışması bütününe dayanıyor; kendi alanının kabulüyle, vahiy değil altyapı dahisi.

Devam eden miras

58 yaşında, Thiele hala projenin ortasında: Carleson teoreminin Lean biçimselleştirmesi devam ediyor, bitmedi ve nihai önemi — bilgisayar tarafından doğrulanmış analizin alanın normal bir parçası haline gelip gelmeyeceği veya uzman merakı olarak kalıp kalmayacağı — yıllarca netleşmeyecek. Zaten çözülmüş olan şey katkısının şeklidir: yirminci yüzyılın en zor kanıtlarından birini alan, onu öğretilebilir kılan ve şimdi onu hem makine hem de insan için kanıtlanabilir şekilde doğru hale getirmeye çalışan bir matematikçi.