Recovering Irreducible Three-Body Interactions with Lagrangian Neural Networks
تُثبت هذه الورقة أن الشبكات العصبية اللاغرانجية، عند دمجها مع أخذ العينات المدركة للإشارة والانحدار الرمزي، يمكنها بنجاح استعادة التعبير ذي الصيغة المغلقة لتفاعل "أكسيلرود-تيلر" غير القابل للاختزال لثلاثة أجسام مباشرة من بيانات المسار، حتى في ظل وجود قوى زوجية.
المؤلفون الأصليون:Sena Kalabalik, Sukru Caglar, Abdullah Umut Hamzaogullari, Arkadas Ozakin
في عالم الفيزياء، اعتمد العلماء لفترة طويلة على فكرة قوية لوصف كيفية تحرك الأشياء: وهي مبدأ أن الطبيعة تختار دائمًا المسار الأقل مقاومة. هذا المفهوم، المعروف باسم مبدأ الفعل الثابت، يسمح للباحثين بالتنبؤ بالحركة المستقبلية للأجسام من خلال فهم كمية رياضية واحدة تسمى "لاغرانج" (Lagrangian). لقرون، نجح هذا الإطار في تفسير كل شيء، من البندولات المتأرجحة إلى الكواكب التي تدور في مداراتها، لكنه افترض تقليديًا أن التفاعلات بين الأجسام بسيطة وتراكمية. في هذه الرؤية، تكون القوة بين ثلاثة أجسام هي مجرد مجموع القوى بين كل زوج منها. ومع ذلك، فإن العالم الحقيقي غالبًا ما يكون أكثر تعقيدًا؛ فأحيانًا تتفاعل ثلاثة أجسام بطريقة لا يمكن تفكيكها إلى أزواج؛ حيث يغير وجود جسم ثالث بشكل جوهري كيفية سلوك الجسمين الآخرين، مما يخلق علاقة فريدة وغير قابلة للاختزال تعتمد على الشكل المحدد الذي يشكلونه معًا.
وضع فريق من الباحثين في جامعة بوغازي في تركيا هدفًا متمثلًا في معرفة ما إذا كان الذكاء الاصطناعي الحديث يمكنه اكتشاف هذه التفاعلات المعقدة ثلاثية الأبعاد من تلقاء نفسه، ببساطة عن طريق مراقبة حركة الجسيمات. وقد لجأوا إلى نوع محدد من نماذج تعلم الآلة يسمى "الشبكة العصبية اللاغرانجية". وخلافًا لبرامج الكمبيوتر القياسية التي تحاول حفظ الأنماط، فقد بُنيت هذه الشبكات مع دمج قوانين الفيزياء في بنيتها الأساسية. لقد صُممت لتعلم قواعد الحركة الأساسية من خلال مراقبة المسارات — أي المسارات التي تسلكها الجسيمات بمرور الوقت — دون إخبارها بماهية القوى. أراد الباحثون معرفة ما إذا كان مثل هذا النظام يمكنه النظر إلى حركة ثلاثة جسيمات واستنتاج أنها تُدفع أو تُسحب بواسطة قوة لا توجد إلا عند وجود الثلاثة معًا، وهي قوة تتغير طبيعتها اعتمادًا على ما إذا كانت الجسيمات تشكل مثلثًا، أو خطًا، أو شكلًا آخر.
ولاختبار ذلك، أنشأ العلماء بيئة محاكاة تحتوي على ثلاثة جسيمات متطابقة. وقاموا ببرمجة الكمبيوتر لتوليد ملايين الحركات المختلفة لهذه الجسيمات بناءً على قوة معروفة ومعقدة تسمى "تفاعل أكسيلرود-تيلر" (Axilrod-Teller). هذه القوة هي ظاهرة فيزيائية حقيقية تحدث بين الذرات المتعادلة، حيث تعتمد الطاقة ليس فقط على مدى بعد الذرات عن بعضها البعض، بل أيضًا على الزوايا التي تشكلها مع بعضها البعض. فإذا شكلت الذرات مثلثًا متراصًا، فإن القوة تدفعها بعيدًا؛ وإذا تمددت لتشكل خطًا طويلًا ونحيفًا، فإن القوة تجذبها معًا. ثم قام الباحثون بتغذية الكمبيوتر فقط بالمسارات المسجلة لهذه الجسيمات المتحركة، مع إخفاء صيغة القوة تمامًا. كان على الشبكة العصبية أن تعمل بشكل عكسي من الحركة لاستنتاج القواعد الخفية التي تحكمها.
كانت النتائج مذهلة؛ فقد تعلم الذكاء الاصطناعي القوة الخفية بنجاح. لم يكتفِ النظام بحفظ المسارات فح، بل أعاد بناء القانون الرياضي الفعلي الذي ولدها. اكتشفت الشبكة أن القوة تتبع نمطًا محددًا: فقد كانت تزداد قوة بشكل هائل كلما اقتربت الجسيمات من بعضها البعض، وانقلبت من قوة تنافر إلى قوة تجاذب بناءً على الشكل الذي يشكله المثلث. وللتأكد من أن النظام لم يكن مجرد تخمين، تحقق الباحثون من تنبؤاته مقابل الفيزياء المعروفة. طابقت القوة التي تعلمتها الشبكة القوة الحقيقية بدقة عالية، حيث أعادت إنتاج الطريقة التي تتغير بها التفاعلات مع المسافة والزاوية. والأكثر إثارة للإعجاب هو أنه عندما طلب الباحثون من الكمبيوتر ترجمة فهمه الرياضي الداخلي المعقد إلى صيغة بسيطة يمكن للبشر قراءتها، فعل ذلك بدقة ملحوظة. لقد كتب الكمبيوتر التعبير الدقيق للتفاعل ثلاثي الأجسام، بما في ذلك الحدود المحددة التي تصف الاعتماد الزاوي وقوة الاقتران الصحيحة. ورغم أن الصيغة المستعادة لم تكن مثالية رياضيًا — حيث أظهرت خطأً متبقيًا ضئيلًا وحدًا ثانويًا يكسر التماثل المثالي للجسيمات قليلاً — إلا أنها التقطت الجوهر الفيزيائي بأمانة كبيرة بحيث كشفت فعليًا عن القاعدة الحقيقية.
ومع ذلك، كشفت الدراسة أيضًا عن حد حاسم لهذا النوع من الاكتشاف. ففي العالم الحقيقي، عادة ما تكون هذه القوة ثلاثية الأجسام عبارة عن تصحيح ضئيل جدًا للقوى الأقوى التي تؤثر بين أزواج من الذرات. واختبر الباحثون ما إذا كان نظامهم يمكنه العثور على هذه الإشارة الضئيلة عندما تكون مدفونة تحت ضجيج القوى الأكبر والأبسط. ووجدوا أنه إذا كانت القوة ثلاثية الأجسام ضعيفة جدًا مقارنة بالأخطاء المتأصلة في عملية تعلم الكمبيوتر، فإن النظام لا يمكنه اكتشافها؛ إذ تضيع الإشارة ببساطة في الخلفية. ولكن عندما قاموا بتضخيم قوة التفاعل ثلاثي الأجسام، بجعلها كبيرة بما يكفي لتبرز بوضوح فوق الضجيج، وجدها النظام على الفور. وهذا يشير إلى أنه بينما يمكن للذكاء الاصطناعي الكشف عن القوانين الفيزيائية المعقدة من خلال الحركة، فإنه يتطلب أن تكون الإشارة قوية بما يكفي لتمييزها عن القيود المفروضة على النموذج نفسه.
يبرهن هذا العمل على مسار جديد للاكتشاف العلمي. فمن خلال الجمع بين التعلم العميق والبنية الأساسية للفيزياء، يمكن للباحثين الآن الانتقال من مجرد التنبؤ بكيفية سلوك نظام ما إلى اكتشاف القوانين التي تحكمه بالفعل. وتظهر الدراسة أنه إذا قدمت النوع الصحيح من البيانات والنوع الصحيح من الإطار الرياضي، يمكن للآلة أن تنظر إلى الرقصة الفوضوية للجسيمات وتكتب كتاب القواعد الخاص بتفاعلها، حتى عندما يصف هذا الكتاب علاقة تتضمن ثلاثة أجسام تعمل كوحدة واحدة لا تتجزأ.
بيان المشكلة أظهرت الشبكات العصبية اللاغرانجية (LNNs) نجاحاً في تعلم الأنظمة الميكانيكية من بيانات المسارات عبر تمثيل "لاغرانجيان" (Lagrangian) عددي واستخلاص الديناميكيات عبر معادلات أويلر-لاغرانج. ومع ذلك، اقتصرت الأعمال السابقة إلى حد كبير على التفاعلات الجمعية الثنائية. وتظل هناك مسألة جوهرية مفتوحة وهي ما إذا كانت الشبكات العصبية اللاغرانجية قادرة على استعادة التفاعلات متعددة الأجسام "غير القابلة للاختزال" — وهي الجهود التي لا يمكن تفكيكها إلى مجموع دوال ثنائية — من بيانات الحركة وحدها. تعالج هذه الورقة هذه الفجوة من خلال استقصاء استعادة تفاعل "أكسيلرود-تيلر" (Axilrod-Teller) ثلاثي القطب، وهو المصطلح الرئيسي لتشتت الأجسام الثلاثة. يعتمد جهد "أكسيلرود-تيلر" على الهندسة الجماعية لثلاثة جسيمات (تحديداً زوايا المثلث الذي تشكله) بطريقة لا يمكن تمثيلها بأي مجموع لدوال ثنائية، مما يمثل تحدياً نوعياً للبنيات القياسية ذات التفكيك الثنائي.
المنهجية يقترح المؤلفون إطار عمل يجمع بين المعرفة الفيزيائية الخاصة بالمجال والتعلم العميق لعزل وتعلم جهد الأجسام الثلاثة.
بنية الطاقة الحركية الثابتة: بدلاً من تعلم "اللاغرانجيان" L(q,q˙) بالكامل، يحدد المؤلفون الطاقة الحركية T تحليلياً (بافتراض معرفة كتل الجسيمات والإحداثيات الكارتيزية) ويستخدمون شبكة عصبية Vθ لتعلم طاقة الوضع فقط. يقلل هذا من مهمة التعلم لتصبح استعادة دالة قياسية من مجال تدرجها، مما يلغي عبء استنتاج البنية التربيعية المعروفة للطاقة الحركية.
تمثيل مدخلات معزز: تتلقى شبكة طاقة الوضع متجه مدخلات x=(r12,r23,r31,cosθ1,cosθ2,cosθ3)، والذي يتكون من المسافات الثنائية وجيوب تمام الزوايا الداخلية. وبينما يتم تحديد الزوايا رياضياً عبر المسافات، فإن هذا التمثيل "المعزز هندسياً" يعمل كتحيز استقرائي، حيث يكشف صراحة عن البنية الشعاعية والزاوية المطلوبة لالتقاط تفاعل "أكسيلرود-تيلر".
أخذ عينات مدرك للإشارة: إدراكاً منهم بأن قوة "أكسيلرود-تيلر" تتناسب مع r−10، استخدم المؤلفون استراتيجية أخذ عينات متخصصة. فقد استخدموا مزيجاً كثيفاً/متفرقاً لتركيز بيانات التدريب في منطقة "التفاعل القوي" (المسافات الصغيرة) حيث تكون إشارة الأجسام الثلاثة أكثر إفادة، مع الحفاظ على تغطية واسعة لفضاء التشكيلات. وهذا يمنع فقدان دالة الخسارة بسبب الضجيج في المجال البعيد أو الفشل في ملاءمة المجال القريب شديد الانحدار.
هدف التدريب: يتم تدريب الشبكة عن طريق تقليل متوسط الخطأ المطلق بين التسارعات المتوقعة (المشتقة عبر التفاضل التلقائي لـ "اللاغرانجيان" المتعلم) والتسارعات المرجعية. لا يتم الإشراف على طاقة الوضع مباشرة، بل تُستنتج ضمنياً من خلال مطابقة التسارع.
الاسترجاع الرمزي: لاختبار ما إذا كان بالإمكان تحويل التمثيل العصبي المتعلم إلى قانون فيزيائي صريح، يطبق المؤلفون الاسترجاع الرمزي (باستخدام مكتبة PySR) على طاقة الوضع Vθ المدربة، بحثاً عن تعبير مغلق الشكل دون افتراض الشكل الدالي مسبقاً.
النتائج الرئيسية تقيم الدراسة النهج عبر ثلاثة مستويات: دقة مستوى المجال، البنية الهندسية الوظيفية، واستقرار المسارات.
نظام "أكسيلرود-تيلر" المعزول:
دقة مستوى المجال: يعيد الجهد المتعلم إنتاج مشهد الجهد التحليلي ومجال التسارع بدقة عالية (خطأ L1 النسبي ≈1.3% للجهد و 1.1% لمقدار التسارع).
الاعتماد الهندسي: يستعيد النموذج بنجباً المقياس الشعاعي r−9 والاعتماد الزاوي المميز، بما في ذلك انعكاس إشارة التفاعل (تنافر في المثلثات متساوية الأضلاع، وتجاذب في التشكيلات الخطية).
الضوابط: عندما تم تدريب النموذج على أنظمة ثنائية بحتة (مثل "لينارد-جونز" أو جاذبية نيوتونية) باستخدام نفس المدخلات المعززة بالزوايا، لم يتعلم النموذج أي اعتمادات زاوية زائفة، مما يؤكد أن التمثيل محايد تجاه التفاعلات الشعاعية الصرفة.
تشغيل المسارات: تولد الديناميكيات المتعلمة مسارات مستقرة. ورغم حدوث انحراف في الطاقة على المدى الطويل بسبب تراكم الأخطاء المحلية الصغيرة في مناطق الجهد الشديد، إلا أن النموذج يحافظ على الزخم وحفظ مركز الكتلة بدقة عالية.
نظام "لينارد-جونز + أكسيلرود-تيلر" المركب (قابلية التحديد):
يتقصى المؤلفون ما إذا كان حد الأجسام الثلاثة قابلاً للتحديد عند دمجه في خلفية "لينارد-جونز" ثنائية مهيمنة.
الاقتران الفيزيائي (ν~≈0.1): عند قوة الاقتران النموذجية للأرجون، تكون إشارة الأجسام الثلاثة أصغر بخمس مرات تقريباً من خطأ الملاءمة الثنائي (أرضية الضجيج) للنموذج الثنائي. وبناءً عليه، فإن حد الأجسام الثلاثة غير قابل للتحديد؛ حيث إن إضافة حد "أكسيلرود-تيلر" لا يحسن من ملاءمة النموذج للديناميكيات.
الاقتران المضخم (ν~=1.0): عندما يتم تضخيم الاقتران، تتجاوز إشارة "أكسرود-تيلر" أرضية الخطأ في النموذج. وفي هذا النظام، ينجح النموذج الكامل في حل مساهمة الأجسام الثلاثة، مما يقلل من الخطأ المتبقي بشكل كبير مقارنة بالنموذج الثنائي فقط.
الاسترجاع الرمزي:
نجح تطبيق الاسترجاع الرمزي على جهد "أكسرود-تيلر" المتعلم Vθ في استعادة التعبير المغلق لـ "أكسرود-تيلر": VSR∝(r12r23r31)31+3cosθ1cosθ2cosθ3.
استعاد الاسترجاع بدقة البسط الزاوي، والقانون الشعاعي r−9، وثابت الاقتران. ومن الأهمية بمكان أنه عندما تم حجب المدخلات الزاوية (cosθi) أثناء الاسترجاع الرمزي، فشلت الخوارزمية في إعادة بناء البنية الصحيحة، مما قدم دليلاً مستقلاً على أن الميزات الزاوية ضرورية لتمثيل التفاعل.
الأهمية والادعاءات تدعي الورقة أنها تثبت إمكانية استعادة تفاعل الأجسام الثلاثة غير القابل للاختزال من بيانات المسارات وحدها، وذلك عند دمج الشبكات العصبية اللاغرانجية مع أخذ عينات مدرك فيزيائياً وقيود هيكلية خاصة بالمجال.
الاستدلال العلمي: يرسخ هذا العمل إطاراً يعمل فيه التعلم العميق كأداة للاستدلال العلمي. فمن خلال ترميز الفيزياء المعروفة (الحدود الحركية) واستخدام تصميم مستهدف للبيانات، يمكن للنموذج عزل التفاعلات المعقدة.
من البيانات إلى القانون: إن التطبيق الناجح للاسترجاع الرمزي لاستعادة الصيغة التحليلية لجهد "أكسرود-تيلر" (بما في ذلك الاعتماد الهندسي والاقتران) من شبكة عصبية مدربة حصرياً على بيانات المسارات، يمثل خطوة نحو استخراج قوانين فيزيائية قابلة للتفسير من البيانات الديناميكية.
حدود قابلية التحديد: تقدم الدراسة مقياساً كمياً لحساسية الاسترجاء القائم على المسارات، حيث توضح أن التفاعلات ذات الرتب العليا لا يمكن استعادتها إلا عندما تتجاوز بصمتها الديناميكية خطأ النمذجة المتبقي للبنية الأساسية.
القابلية للتعميم: بينما تتعلق النتائج المحددة بتفاعل "أكسرود-تيلر"، فإن المنهجية (الحدود الحركية الثابتة، المدخلات المعززة، وأخذ العينات المدرك للإشارة) تُقدم كنهج قابل للنقل لدراسة أنظمة أخرى حيث يصعب صياغة التفاعلات ذات الرتب العليا أو حيث تكون بنيتها غير معروفة مسبقاً.