كريستوف ثيلي: فك شفرة النظام الخفي للصوت

يمكن تفكيك الدالة إلى مجموع من الموجات - هذا الإدراك الفردي، الذي يعود لفورييه، أطلق قرنين من الرياضيات، وأحد أكثر مشاكلها استعصاءً، والتي أغلقها في الستينيات لينارت كارلسون ببرهان كثيف لدرجة أن قلة من علماء الرياضيات استطاعوا استيعابه بالكامل. قضى كريستوف ثيلي حياته المهنية في فعل ما لم تستطع جيل كارلسون فعله: جعل الحقائق العميقة للتحليل التوافقي مقروءة، وقابلة للتدريس، وفي مشروعه الأحدث، قابلة للتحقق بواسطة آلة.

من دارمشتات إلى ييل

ولد ثيلي في 10 سبتمبر 1968 في دارمشتات، ألمانيا الغربية. درس الرياضيات في جامعة دارمشتات التقنية وجامعة بيليفيلد قبل أن يعبر المحيط الأطلسي لإكمال دراسة الدكتوراه في ييل، حيث حصل على شهادته في عام 1995 تحت إشراف رونالد كويفمان، أحد مهندسي التحليل التوافقي الحديث. تعاملت مدرسة كويفمان مع التحليل ليس كموضوع مغلق وقديم، بل كمجموعة أدوات حية - المويجات، التكاملات المفردة، طرق الزمن والتردد - لمشاكل لم تستطع نظرية فورييه الكلاسيكية الوصول إليها. استوعب ثيلي هذه الحساسية، وأكمل تأهيله في جامعة كيل، ونقل هذا النهج إلى جامعة كاليفورنيا في لوس أنجلوس، حيث بنى مسيرته المهنية من 1998 إلى 2012، وصولاً إلى منصب أستاذ كامل.

تحويل هيلبرت الثنائي

النتيجة التي جعلت اسم ثيلي معروفاً جاءت في وقت مبكر من تلك الفترة. بالعمل مع مايكل لاسي، حل حدسية لألبرتو كالديرون تتعلق بتحويل هيلبرت الثنائي، وهو مؤثر يتصرف، بشكل تقريبي، مثل تفاعل ترددات إشارتين بدلاً من واحدة. كان كالديرون قد طرح مسألة التقييد قبل عقود؛ قدم حل لاسي وثيلي، المبني على تقنيات الزمن والتردد المشتقة من برهان كارلسون الخاص بالتقارب النقطي لسلاسل فورييه، أدوات طبقتها أجيال من محللي التوافقيات منذ ذلك الحين على مؤثرات مفردة ومتعددة الخطية ذات صلة. جاءت جائزة سالم لعام 1996، التي مُنحت للمساهمات المتميزة في تحليل فورييه، مباشرة من هذا العمل، وفي عام 2002 دُعي ثيلي للتحدث في المؤتمر الدولي لعلماء الرياضيات في بكين - وهي دعوة تعمل في الرياضيات تقريباً كما يعمل الترشيح في السينما، مما يميز مجموعة صغيرة أعادت تشكيل مجالها في غضون دورة مدتها أربع سنوات.

بون وكرسي هاوسدورف

في عام 2012، غادر ثيلي جامعة كاليفورنيا في لوس أنجلوس إلى جامعة بون، حيث يشغل كرسي هاوسدورف ويقود مجموعة أبحاث التحليل والمعادلات التفاضلية الجزئية في المعهد الرياضي. وضعه الانتقال داخل مركز هاوسدورف للرياضيات، أحد تجمعات التميز الرائدة في ألمانيا، وداخل ثقافة بحثية تقدر التعاون الطويل والصابر على النشر السريع. هناك واصل برنامج الزمن والتردد الذي شغله منذ ييل - تفكيك المؤثرات إلى حزم موجية مضبوطة على ترددات ومواقع محددة، ثم إعادة تجميع القطع للتحكم في سلوك لا يمكن لتحليل فورييه الكلاسيكي ولا التقديرات الساذجة رؤيته. اعترفت جائزة همبولت للأبحاث اللاحقة بهذا العمل المستمر في مجال تكون فيه تقنيات البرهان الجديدة حقاً، بدلاً من التحسينات التدريجية، نادرة.

تعليم الانضباط كيفية التفكير

تمتد تأثيرات ثيلي إلى ما هو أبعد من أوراقه البحثية. بدءاً من جامعة كاليفورنيا في لوس أنجلوس ومواصلة في بون، بنى نموذجاً للمدارس الصيفية المكثفة حول مواضيع مثل تحليل فورييه، التحليل التوافقي المتقطع، المتوسطات الإرجودية، والطرق متعددة الحدود - مدارس مصممة ليس لنقل نتائج جاهزة بل لتعريف الباحثين الشباب بعادات العمل في المجال: كيفية تخمين التفكيك الصحيح، كيفية اختبار تقدير مقابل مثال بسيط، كيفية الفشل بشكل مثمر. تبنت مؤسسات أخرى هذا التنسيق منذ ذلك الحين، وهو نوع غير عادي من الإرث لعالم رياضيات باحث، غالباً ما يُقاس تأثيره بالاقتباسات بدلاً من التربية.

تعليم الآلات نفس الشيء

في عام 2026، منحت جامعة بون ثيلي ميدالية بروير، وهي أقدم تكريم هولندي في الرياضيات، إلى جانب منحة ERC Synergy بقيمة 6.4 مليون يورو مشتركة مع فلوريس فان دورن. تمول المنحة ما يصفه قسم الرياضيات في بون بأنه أول مشروع رسمي كبير في مجال التحليل: ترجمة الآليات الكامنة وراء مبرهنة كارلسون وتعميماتها إلى مساعد البرهان Lean، وهو نظام يتحقق من كل خطوة منطقية في البرهان بنفس الدقة التي يطبقها المترجم على الكود. في حين استغرقت مبرهنة كارلسون-هانت الأصلية سنوات حتى يثق بها الخبراء تماماً، فإن نسخة رسمية ستسمح للكمبيوتر بالتحقق، سطراً بسطر، من أن الحجة لا تحتوي على ثغرات - وهو مشروع يعامل التحليل الصعب، الذي يُعتبر عادةً مقاوماً للتحقق الرسمي بسبب اعتماده على تقديرات دقيقة وحدس بشري، كأمر قابل للمعالجة في النهاية. يقدم المشروع عمل أطروحة على مستويات البكالوريوس والماجستير والدكتوراه، مما يوسع غريزة ثيلي للمدارس الصيفية لبناء الجيل القادم من المجال إلى وسيط جديد تماماً.

لماذا يُطلق على كريستوف ثيلي لقب عبقري

تستند حالة ثيلي لهذه الكلمة إلى نوع محدد وغير براق من الذكاء: القدرة على أخذ برهان معقد لدرجة أنه قاوم الهضم لجيل كامل، وإيجاد الهيكل التوافقي تحته - تفكيك زمني ترددي إلى بلاطات وأشجار يحول تقديرًا غامضًا إلى شيء يمكن تعليم طالب دراسات عليا تكراره. هذا ما فعله مع مبرهنة كارلسون، ومع لاسي، مع حدسية كالديرون الثنائية؛ إنها موهبة مختلفة عن اكتشاف مبرهنة مباشرة، أقرب إلى ما يفعله مفسر أو مهندس عظيم مما يفعله صاحب رؤية وحيد، وهي بالضبط الموهبة التي جعلت تلك النتائج قابلة للاستخدام من قبل مئات الأوراق اللاحقة. إعلان بون نفسه عن ميدالية بروير يصف تقنياته بـ "الرائدة" وينسب إليه حل "مشاكل طويلة الأمد"، وهي لغة لا تستخدمها كلية الرياضيات بالجامعة باستخفاف. الحجة المضادة الصادقة هي أن ثيلي لم ينتج مبرهنة واحدة محددة للمجال من النوع المرتبط بميدالية فيلدز؛ شهرته تعتمد على مجموعة من بناء التقنيات، والتدريس، والآن عمل الصياغة الرسمية المتراكم على مدى ثلاثة عقود بدلاً من اختراق درامي واحد - عبقري في البنية التحتية بدلاً من الوحي، باعتراف مجاله الخاص.

إرث قيد التقدم

في سن 58، لا يزال ثيلي في منتصف المشروع: الصياغة الرسمية Lean لمبرهنة كارلسون جارية، ولم تنته بعد، ولن تتضح أهميتها النهائية - سواء أصبح التحليل الذي تم التحقق منه بواسطة الكمبيوتر جزءًا طبيعيًا من المجال أو ظل فضولًا للمتخصصين - لسنوات. ما تم تسويته بالفعل هو شكل مساهمته: عالم رياضيات أخذ واحدة من أصعب براهين القرن العشرين، وجعلها قابلة للتدريس، ويحاول الآن جعلها صحيحة بشكل قابل للإثبات لكل من الآلة والإنسان.