پانچ اجسام، کامل رقص کی ایک محدود تعداد

تصور کریں کہ چند ستارے یا سیارے اتنی درستی سے ترتیب دیے گئے ہیں کہ پورا گروہ اپنی شکل بدلے بغیر ایک سخت جسم کی طرح گھوم سکتا ہے۔ اس کے لیے ضروری ہے کہ ہر جسم پر کششِ ثقل کا کھنچاؤ ٹھیک گروہ کے مرکزِ کمیت کی طرف ہو، اور اس کی شدت اس سے فاصلے کے متناسب ہو۔ ایسی ترتیبوں کو مرکزی ترتیبیں (central configurations) کہا جاتا ہے۔ یہ n-اجسام کے مسئلے کے ان خاص حلوں کی شکلیں ہیں جن میں اجسام اپنا باہمی نمونہ برقرار رکھتے ہیں، جن میں سختی سے گھومنے والے اضافی توازن (relative equilibria) بھی شامل ہیں۔

اگر کوئی نمونہ کام کرتا ہے تو اس کی گھمائی ہوئی، بڑی کی ہوئی یا سرکائی ہوئی ہر نقل بھی کام کرتی ہے، اس لیے ریاضی دان انہیں “مشابہت کی حد تک” گنتے ہیں۔

اسمیل کا چھٹا مسئلہ

سوال بیان کرنا آسان ہے: مثبت کمیتوں کے کسی بھی انتخاب کے لیے، کیا مرکزی ترتیبوں کی تعداد محدود ہے؟ یہ ریاضی دان اسمیل کی مرتب کردہ حل طلب مسائل کی فہرست کا چھٹا مسئلہ ہے۔

مقالے کے مطابق صورتِ حال یہ تھی:

تین اجسام: ٹھیک پانچ — لاگرانژ کے دو مساوی الاضلاع مثلث اور اولر کی تین سیدھی لکیریں۔
چار اجسام: ہیمپٹن اور موئکل نے تمام مثبت کمیتوں کے لیے محدودیت ثابت کی۔
ایک سطح میں پانچ اجسام: البوئی اور کالوشن نے 2012 میں محدودیت ثابت کی، مگر صرف ان کمیتوں کے لیے جو ایک استثنائی مجموعے سے باہر ہوں — کمیتوں کے امتزاج کا ایک باریک خاندان جو کثیر رقمی مساواتوں سے متعین ہوتا ہے، جہاں ان کا استدلال ناکام ہو جاتا تھا۔

استثنائی مجموعے کا خاتمہ

تیجسوی سنگھ تومر اس استثنائی مجموعے کو ختم کر دیتے ہیں۔ مرکزی قضیہ: پانچ مثبت کمیتوں کے ہر انتخاب کے لیے، ایک سطح پر پانچ اجسام کے مسئلے میں مشابہت کی حد تک مرکزی ترتیبوں کی تعداد محدود ہے۔

حکمتِ عملی البوئی اور کالوشن کی پیروی کرتی ہے۔ اگر ترتیبیں لامحدود ہوتیں تو مساواتوں کو مختلط اعداد تک وسعت دینے پر وہ حلوں کا ایک مسلسل خم بناتیں۔ اس خم کے پیچھے “لامتناہی تک” چلنے پر اجسام کے درمیان فاصلوں کو ایسے برتاؤ کرنا پڑتا ہے کہ وہ ایک عین توازن میں ایک دوسرے کو منسوخ کر دیں۔ اجسام البوئی اور کالوشن کے شناخت کردہ سولہ حدی خاکوں میں سے کسی ایک کے قریب پہنچتے ہیں، جن میں سے ہر ایک کمیتوں پر شرائط عائد کرتا ہے۔

نیا کام ان شرائط کو ہر مثبت کمیت کے لیے قطعی بناتا ہے، اور مشکل صورتوں کو ایک ایک کر کے خارج کرتا ہے:

ایسی ترتیبیں جن میں چار اجسام ایک گھنا جھرمٹ بناتے ہیں اور پانچواں اس کے قریب آتا ہے، مخفی توانائی کو — جو خم کے ساتھ ساتھ مستقل رہتی ہے — بلند سے بلند تر درجوں تک پھیلا کر خارج کی جاتی ہیں؛ مثبت کمیتوں کے لیے حاصل ہونے والی شرائط ایک دوسرے سے متصادم ہیں؛
یہ دکھایا گیا ہے کہ دو مزید خاکے کبھی واقع نہیں ہوتے؛
باقی سب کے لیے، مصنف قطعی کمپیوٹر الجبرا کے ذریعے کمیتوں کی تمام مطابقت رکھنے والی شرائط بیان کرتے ہیں — 2,206 الجبری نظام — اور ہر ایک کے لیے ایک عددی سند (certificate) تیار کرتے ہیں: ناطق اعداد کی ایک فہرست جس کی خصوصیات، قطعی حساب میں جانچے جانے پر، ثابت کرتی ہیں کہ وہ توازن ناممکن ہے۔

منفی کمیتوں کا بچھایا ہوا جال

ایک رکاوٹ ایسی ہے جسے خالص الجبرا عبور نہیں کر سکتا۔ ایک اور ریاضی دان، رابرٹس، نے کمیتوں (1, 1, 1, 1, −¼) کے لیے — جن میں ایک کمیت منفی ہے — لامحدود مرکزی ترتیبیں دریافت کی تھیں۔ کچھ علامتیں الٹنے سے یہ کمیتوں (4, 4, 4, 4, 1) کے لیے مختلط مساواتوں کے لامحدود حلوں میں بدل جاتی ہیں۔ یہ حقیقی ترتیبیں نہیں، لیکن جو استدلال صرف مختلط مساواتوں کو دیکھتا ہے وہ ان میں فرق نہیں کر سکتا۔

چنانچہ ان کمیتوں پر، اور متعلقہ نسبت (1, 1, 4, 4, 4) پر، مصنف حقیقی ترتیبوں کو براہِ راست گنتے ہیں، ایک ایسی کمپیوٹر تلاش کے ذریعے جو ضمانت شدہ وقفہ حساب (interval arithmetic) استعمال کرتی ہے:

کمیتوں (1, 4, 4, 4, 4) کے لیے: گردش اور پیمانے کی تبدیلی کی حد تک 306 ترتیبیں — 60 ایک سیدھی لکیر میں، 24 ایک محدب مخمس بناتی ہوئی، اور باقی جن میں ایک یا دو اجسام اندر ہیں؛
(1, 1, 4, 4, 4) کے لیے: 294۔

سیدھی لکیر والی 60 ترتیبیں مولٹن کی ایک سابقہ گنتی سے مطابقت رکھتی ہیں۔

مشین سے جانچا گیا

جو ثبوت اتنے زیادہ حسابات پر ٹکا ہو اسے مضبوط تصدیق درکار ہے۔ ہر سند کو مقالے کی تعریفوں سے لکھے گئے ایک الگ پروگرام نے دوبارہ جانچا۔ سب سے بڑھ کر، یہ قضیہ Lean 4 ثبوت معاون میں ثابت کیا گیا ہے، جو ایک ایسا پروگرام ہے جو ہر منطقی قدم کو جانچتا ہے۔ رسمی ثبوت البوئی اور کالوشن کے نتائج کو فرض بھی نہیں کرتا: وہ اپنی ضرورت کی ہر چیز خود دوبارہ اخذ کرتا ہے، اور تلاش کے ذریعے ایسے 1,376 نشان زدہ خاکے ڈھونڈتا ہے جو ان کے اصولوں پر پورا اترتے ہیں۔ اسے Lean ثبوتوں کے دو مزید آزاد جانچنے والے بھی قبول کرتے ہیں۔ اسے صفر سے تیار کرنے میں تقریباً 860 CPU گھنٹے لگتے ہیں۔

مقالہ ایک مختصر بیان پر ختم ہوتا ہے: نتائج کو ڈھونڈنے اور ثابت کرنے، پروگرام اور Lean میں رسمی صورت لکھنے، اور متن کا مسودہ تیار کرنے کے لیے تخلیقی مصنوعی ذہانت کے اوزار استعمال کیے گئے۔ ان اوزاروں کے نام نہیں بتائے گئے۔

یہ کیا کہتا ہے اور کیا نہیں کہتا

نتیجہ ایک سطح میں پانچ اجسام سے متعلق ہے۔ یہ ثابت کرتا ہے کہ مثبت کمیتوں کے ہر مجموعے کے لیے ترتیبوں کی تعداد محدود ہے، لیکن قطعی گنتی صرف ان چند نسبتوں پر دیتا ہے جن کا مطالعہ کیا گیا۔