خمسة أجرام، وعدد محدود من الرقصات المثالية
تخيّل بضعة نجوم أو كواكب مرتبة بدقة تجعل المجموعة كلها قادرة على الدوران كجسم صلب، دون أن يتغير شكلها. ولكي يحدث ذلك، يجب أن يتجه شدّ الجاذبية على كل جرم نحو مركز كتلة المجموعة تمامًا، بشدة تتناسب مع بعده عنه. تُسمّى هذه الترتيبات التشكيلات المركزية (central configurations). وهي أشكال الحلول الخاصة لـمسألة الأجرام n التي تحافظ فيها الأجرام على النمط النسبي نفسه، ومنها حالات الاتزان النسبي التي تدور بصلابة.
وإذا صلح نمطٌ ما، صلحت أيضًا أي نسخة منه مُدارة أو مُكبَّرة أو مُزاحة، لذا يعدّها الرياضيون «بمعزل عن التشابه».
مسألة سميل السادسة
السؤال بسيط في صياغته: مهما اخترنا من كتل موجبة، هل عدد التشكيلات المركزية محدود؟ إنها المسألة السادسة في قائمة من المسائل المفتوحة وضعها الرياضي سميل (Smale).
وإليك ما وصلت إليه الأمور، بحسب الورقة:
- ثلاثة أجرام: خمسة بالضبط — مثلثا لاغرانج متساويا الأضلاع وخطوط أويلر المستقيمة الثلاثة.
- أربعة أجرام: أثبت هامبتون وموكل المحدودية لجميع الكتل الموجبة.
- خمسة أجرام في مستوٍ: أثبت ألبوي وكالوشين المحدودية عام 2012، ولكن فقط للكتل خارج مجموعة استثنائية — وهي عائلة رقيقة من تركيبات الكتل تحدّدها معادلات متعددة الحدود، وفيها انهارت حجتهما.
إغلاق المجموعة الاستثنائية
يزيل تيجاسفي سينغ تومار تلك المجموعة الاستثنائية. والمبرهنة الرئيسية: لكل اختيار لخمس كتل موجبة، لمسألة الأجرام الخمسة المستوية عدد محدود من التشكيلات المركزية بمعزل عن التشابه.
تتبع الاستراتيجية نهج ألبوي وكالوشين. فلو كانت التشكيلات لا نهائية العدد، لشكّلت منحنى متصلًا من الحلول عند توسيع المعادلات إلى الأعداد المركّبة. وبتتبّع هذا المنحنى «إلى اللانهاية»، يجب أن تتصرف المسافات بين الأجرام بطرق تتلاشى فيها الحدود في توازن دقيق. وتقترب الأجرام من أحد ستة عشر مخططًا حدّيًا حدّدها ألبوي وكالوشين، يفرض كلٌّ منها شروطًا على الكتل.
يجعل العمل الجديد هذه الشروط دقيقة لكل كتلة موجبة، ويستبعد الحالات المزعجة واحدة تلو الأخرى:
- التشكيلات التي تشكّل فيها أربعة أجرام عنقودًا متراصًّا يقترب منه الخامس تُستبعد بنشر طاقة الوضع — التي تبقى ثابتة على طول المنحنى — إلى رتب أعلى فأعلى؛ وبالنسبة للكتل الموجبة، تتناقض الشروط الناتجة فيما بينها؛
- ويُبيَّن أن مخططين آخرين لا يحدثان أبدًا؛
- وفي كل ما تبقى، يصف المؤلف جميع شروط الكتل المتوافقة بالجبر الحاسوبي الدقيق — 2,206 أنظمة جبرية — ويقدّم لكلٍّ منها شهادة عددية: قائمة من الأعداد النسبية تُثبت خصائصُها، المتحقَّق منها بالحساب الدقيق، أن التوازن مستحيل.
فخٌّ نصبته الكتل السالبة
ثمة عقبة لا يستطيع الجبر الخالص الالتفاف عليها. فقد وجد رياضي آخر، هو روبرتس، عددًا لا نهائيًا من التشكيلات المركزية للكتل (1, 1, 1, 1, −¼) — أي مع كتلة سالبة. وبقلب بعض الإشارات، يتحول ذلك إلى عدد لا نهائي من حلول المعادلات المُعقَّدة (المركّبة) للكتل (4, 4, 4, 4, 1). وهي ليست تشكيلات حقيقية، لكن الحجة التي لا ترى إلا المعادلات المركّبة لا تستطيع التمييز بينها.
لذا، عند تلك الكتل وعند النسبة المرتبطة بها (1, 1, 4, 4, 4)، يُحصي المؤلف التشكيلات الحقيقية مباشرة، ببحث حاسوبي يستخدم حساب الفترات المضمون:
- للكتل (1, 4, 4, 4, 4): 306 تشكيلات بمعزل عن الدوران وتغيير المقياس — 60 على خط مستقيم، و24 تشكّل خماسيًا محدّبًا، والبقية فيها جرم أو جرمان في الداخل؛
- وللكتل (1, 1, 4, 4, 4): 294.
وتتطابق التشكيلات المستقيمة الستون مع إحصاء سابق أجراه مولتون.
تحقُّقٌ بالآلة
البرهان الذي يقوم على هذا القدر من الحسابات يحتاج إلى تحقّق متين. فقد أُعيد فحص كل شهادة ببرنامج مستقل كُتب انطلاقًا من تعريفات الورقة. والأهم أن المبرهنة مُبرهَنة في مساعد البراهين Lean 4، وهو برنامج يتحقق من كل خطوة منطقية. ولا يفترض البرهان الصوري حتى نتائج ألبوي وكالوشين: بل يعيد استنباط ما يحتاجه، ويعثر بالبحث على 1,376 مخططًا موسومًا تستوفي قواعدهما. وقد قبله مدقّقان مستقلان آخران لبراهين Lean. ويستغرق بناؤه من الصفر نحو 860 ساعة معالج.
وتنتهي الورقة بتصريح قصير: استُخدمت أدوات ذكاء اصطناعي توليدي لإيجاد النتائج وبرهنتها، ولكتابة البرامج والصياغة الصورية في Lean، ولصياغة مسودة النص. ولم تُذكر أسماء هذه الأدوات.
ما الذي تقوله وما الذي لا تقوله
تخصّ النتيجة خمسة أجرام في مستوٍ. وهي تثبت أن عدد التشكيلات محدود لكل مجموعة من الكتل الموجبة، لكنها لا تعطي أعدادًا دقيقة إلا عند النسب القليلة المدروسة بين الكتل.