المخطط الاستوائي: شبكة عصبونية تتعلم على الهيكل الجبري ✛ ✦
العدد −0.000459 ليس ضيفاً عابراً في معادلة بلاسيوس. إنه معامل الحد η⁵، الذي يحدد الطبقة الحدية فوق صفيحة مستوية – همسةٌ رقيقة لاحتكاك الهواء بالمعدن. طرق المحاكاة العددية الاعتيادية، كطريقة رونج-كوتا، لا تعطي سوى منحنى تقريبي. وتحاول الشبكات العصبونية الواعية بالفيزياء (PINN) تخمين الحل كاملاً. وغالباً ما تفشل. فهي تقع في فخاخ التفردات (singularities)، كمعماريّ يبني برجاً بلا مخطط: تتراكب الطوابق فوق بعضها، وينهار البناء.
يستبدل الجبر الاستوائي (tropical algebra) عمليتي الجمع والضرب المألوفتين بالحد الأدنى والجمع. إنه أشبه بمعماري خبير: لا يبني، بل يرسم الهيكل. حول باحثون من جامعة إيبيروأميريكانا هذا إلى خوارزمية: يمرّ التوازن الاستوائي على أسُس الحدود، متفحصاً أي التراكيب لا يلغي بعضها بعضاً. وللحظة معادلة بلاسيوس \(y''' + y y'' = 0\) كان الحكم صارماً: لا تبنوا إلا الطوابق 2، 5، 8، 11... ولا شيء بينها. مثل هذا الهيكل وحده هو الذي يصمد.
يحدد المخطط بنية الشبكة – فتصبح متفرقة. تستقبل الشبكة العصبونية صيغة الأنزاتس \(y(\eta) = \frac{\alpha}{2}\eta^2 + \sum_{k \in S_{\text{trop}}} w_k \eta^k\)، حيث \(k\) ليست سوى الطوابق المسموح بها. يتقارب التدريب بطريقة L-BFGS بعد مئة حقبة. لا يجري البحث في فضاء فرضي (hypothesis space) فسيح (كل الأشكال المتخيلة)، بل على رف جبري ضيق، نحته الاستوائي.
إصابة في الصميم. في معادلة بلاسيوس، كان معامل η⁵ تماماً −0.000459، كما يقتضي التحليل: −α²/240 عند α≈0.33206. أما في تيار هيمنز، فلم تكن الأسس مقيدة، وأعطت الشبكة تلقائياً −1/6 عند η³ – قانون فيزيائي دون أي تلميح. وفي معادلة برغرز غير المستقرة، أشار الهيكل الاستوائي إلى أس سالب – نذير موجة صدمية. لم تحاول الشبكة العصبونية تلطيخها. الشبكات العصبونية الواعية بالفيزياء التقليدية، بلا مخطط، تنجرف إلى حلول خاطئة. أو تغرق في نقاط صغرى محلية.
وهكذا تخرج الشبكة العصبونية من الصندوق الأسود. يحصر المخطط الاستوائي البحث في فئة دقيقة من الدوال، قاطعاً الانزياح الطيفي – عادةَ الشبكة في تعلم المكونات الملساء البطيئة فقط، متجاهلة الانكسارات الحادة. والآن صارت السلاسل التحليلية تُستخرج تلقائياً، دون تخمينات حدسية عن توازن الحدود. حساب الانسياب حول جناح، ومراقبة خطوط الأنابيب آنياً – هناك حيث كان الحاسوب الفائق يقضي أياماً، يقدم المخطط الهجين الإجابة في دقائق. تحصل كل معادلة على جواز سفرها المعماري – وهذا يغير نظرتنا لماهية الحل التحليلي أصلاً.
−0.000459 ليس بصمة عشوائية، بل عقدة دقيقة في الهيكل، صممها مخطط جبري.
يعود تحليل الدوال الأسية، الذي تستند إليه الدراسة، إلى القرن التاسع عشر: استخدمه بول بانليفيه للبحث عن نقاط خاصة متحركة، حاملاً حلم تصنيف جميع المعادلات ذات الخصائص «الجيدة». واليوم تجد أفكاره تطبيقاً غير متوقع في الشبكات العصبونية.
في رواية «باكورة التأسيس» لإسحق عظيموف، يستخدم عالم الرياضيات غاري سيلدون العلم النفسي التاريخي – إطاراً رياضياً صارماً – للتنبؤ بمستقبل الحضارة. ويؤدي الهيكل الاستوائي دوراً مشابهاً: فهو يرسم ممراً لتطورات المعادلة الممكنة، تاركاً المعاملات فحسب طليقة.