ایک ہموار گیند جو صرف ایک نقطے پر گول ہے
ایک گیند ہر سمت میں یکساں خم کھاتی ہے۔ رگبی کی گیند کا پہلو ایسا نہیں کرتا: وہ اپنے گھیر کے گرد تیزی سے مڑتا ہے اور اپنی لمبائی کے ساتھ صرف ہلکا سا۔ کسی سطح کے ہر نقطے پر جیومیٹری دان سب سے زیادہ اور سب سے کم خم نوٹ کرتے ہیں، جن کی سمتیں ہمیشہ ایک دوسرے سے قائمہ زاویے پر ہوتی ہیں؛ یہ دو اصلی خمیدگیاں (principal curvatures) ہیں۔ جس نقطے پر یہ برابر ہوں، جہاں سطح ہر سمت میں یکساں خم کھائے، اسے نافی نقطہ (umbilic) کہا جاتا ہے۔ ایک مکمل گیند پر ہر نقطہ ایسا ہی ہے۔
نافی نقطے کے گرد چکر گننا
نافی نقطوں سے ہٹ کر، سب سے زیادہ اور سب سے کم خم کی سمتیں سطح پر لکیروں کے دو خاندان کھینچتی ہیں، جو ہر جگہ ایک دوسرے کو قائمہ زاویے پر کاٹتے ہیں۔ کسی الگ تھلگ نافی نقطے کے گرد ایک چھوٹے سے حلقے پر ایک بار چلیں اور ان میں سے کسی ایک لکیر کا پیچھا کریں: وہ گھومتی ہے۔ وہ جتنے چکر لگاتی ہے وہ نافی نقطے کا اشاریہ (index) ہے۔ چونکہ لکیر پر کوئی تیر کا نشان نہیں ہوتا، وہ آدھے چکر کے بعد ہی اپنے اوپر واپس آ سکتی ہے، اس لیے اشاریہ 3/2 جیسا آدھا عدد بھی ہو سکتا ہے۔
دو قیاس، جیسا کہ مقالہ انہیں بیان کرتا ہے:
- لوئنر کا قیاس (Loewner’s conjecture): کسی الگ تھلگ نافی نقطے کا اشاریہ زیادہ سے زیادہ 1 ہوتا ہے۔
- کاراتھیوڈوری کا قیاس (Carathéodory’s conjecture): عام سہ بُعدی فضا میں ایک بند، محدب، باقاعدہ سطح (ایک ہموار سطح جس کا کوئی کنارہ نہ ہو اور جو ہر جگہ باہر کی طرف ابھری ہوئی ہو، جیسے انڈا) پر کم از کم دو نافی نقطے ہوتے ہیں۔
دونوں آپس میں جڑے ہیں۔ کسی بند محدب سطح پر، جس کے نافی نقطے الگ تھلگ ہوں، اشاریے ہمیشہ مل کر 2 بنتے ہیں۔ اگر کوئی بھی 1 سے زیادہ نہ ہو سکے تو کم از کم دو نافی نقطے درکار ہوں گے: لوئنر کا قیاس کاراتھیوڈوری کے قیاس کو لازم کر دے گا۔ ایک اکیلے نافی نقطے کو پورا 2 خود اٹھانا ہوگا، اور یوں دونوں قیاس ٹوٹ جائیں گے۔
اگست میں اعلان، سائن سے نئی تعمیر
پہلی جوابی مثالیں اس مقالے سے نہیں آئیں۔ اس کے تعارف کے مطابق، L. Alpöge نے ہموار سطحوں کے لیے دونوں قیاسوں کی جوابی مثالوں کا اعلان کیا، جو “AI کی مدد سے تیار کی گئیں”، X پر ایک پوسٹ میں جس کی تاریخ 19 اگست 2026 ہے۔ Alpöge کی مقامی تعمیر ہر مثبت پورے عدد k کے لیے پہلے ہی 1 + k/2 کے اشاریے تک پہنچ جاتی ہے، اور Alpöge ایک بند، سختی سے محدب سطح کی بھی اطلاع دیتے ہیں جس پر ٹھیک ایک نافی نقطہ ہے، جس کا اشاریہ 2 ہے۔
کوماموتو یونیورسٹی کے ناؤیا آندو (Naoya Ando) اور انسٹی ٹیوٹ آف سائنس ٹوکیو کے ماساآکی اومیہارا (Masaaki Umehara) نے “Alpöge کی تعمیر کی ایک بدلی ہوئی شکل کے ذریعے ایک سادہ تر تعمیر” پیش کرنے کا بیڑا اٹھایا۔ Alpöge کا ابتدائی فنکشن تین کوسائن (cosine) کو −1/4، 3/10 اور −1/32 کے عددی سروں (coefficients) کے ساتھ ملاتا ہے، ایسے فنکشنز کے اندر جن میں 10¹⁰ اور 100 جیسے مستقل شامل ہیں۔ ان کا “بیج” یہ ہے:
F(x, y) = a(x) − a(y) + sin x sin y، جہاں a(t) = sin⁴t + 3 sin²t
دو متغیروں کے کسی فنکشن کو ابھاروں اور گڑھوں کے ایک منظر کی طرح تصور کریں۔ بیج کو ایک خاصیت درکار ہے: یہ منظر کہیں بھی ہر سمت میں یکساں خم نہ کھائے۔ تکنیکی زبان میں، اس کا اثر سے خالی ہیسیئن (trace-free Hessian)، یعنی دوسرے مشتقات کا وہ جدول جس سے اس کا “ہر سمت میں یکساں” حصہ نکال دیا گیا ہو، کبھی صفر نہیں ہوتا۔ اس بیج کے لیے یہ جانچ تین سطروں میں ہو جاتی ہے۔ یہ خاصیت ایک مختلط عدد (complex number) میں سمو دی جاتی ہے — یعنی عام اعداد کا ایک جوڑا، ایک “حقیقی” اور ایک “خیالی” حصہ، جو صرف اسی وقت صفر ہوتا ہے جب دونوں صفر ہوں: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y۔ اس کا خیالی حصہ صرف وہیں صفر ہوتا ہے جہاں کوئی کوسائن صفر ہو؛ وہاں کوئی سائن ±1 کے برابر ہوتا ہے، اس لیے اس کا حقیقی حصہ زیادہ سے زیادہ −4 ہوتا ہے۔ لہٰذا یہ کبھی صفر نہیں ہوتا۔
مصنفین بتاتے ہیں کہ انہوں نے امیدوار فنکشنز تلاش کرنے اور متن پر نظرِ ثانی میں مدد کے لیے ChatGPT استعمال کیا، اور یہ کہ انہوں نے ہر دلیل کی تصدیق خود کی۔
ایک لامتناہی نمونے کو ایک نقطے میں تہہ کرنا
بیج پورے مستوی (plane) پر ہمیشہ دہرایا جاتا ہے۔ مصنفین اس سب کو ایک ننھی سی قرص میں سمیٹ دیتے ہیں: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2))، جہاں z مستوی کا ایک نقطہ ہے جسے ایک واحد مختلط عدد (complex number) کے طور پر لکھا گیا ہے، اور k ایک مثبت صحیح عدد ہے جسے مصنفین اپنی مرضی سے چن سکتے ہیں۔ یہ متبادل مستوی کے دور دراز حصوں کو مرکز کی طرف بھیجتا ہے، اس لیے سائن کا نمونہ اس کے گرد تنگ سے تنگ تر حلقوں میں جمع ہو جاتا ہے۔ قوت نمائی (exponential) جزو ہر چیز کو کچل دیتا ہے: مرکز پر فنکشن اور اس کے تمام مشتقات صفر ہیں۔ ریاضی دان ایسے فنکشن کو چپٹا (flat) کہتے ہیں۔
اس مرکز کے گرد اس منظر کے سب سے زیادہ خم کی سمتیں 1 + k/2 بار گھومتی ہیں: k = 1 کے لیے 3/2، k = 2 کے لیے 2، k = 3 کے لیے 5/2، بغیر کسی بالائی حد کے (مسئلہ 1.3)۔ Fujiyama کے ساتھ مل کر، انہی دو مصنفین نے پہلے بھی من چاہے بڑے اشاریے حاصل کیے تھے، ایسی مثالوں سے جو نافی نقطے پر صرف C¹، یعنی ایک بار تفرق پذیر، ہیں؛ یہ نئی مثالیں ہموار ہیں۔
منظر کو سطح میں بدلنے کے لیے مصنفین ایک سہارا فنکشن (support function) استعمال کرتے ہیں: ہر سمت کے لیے یہ مرکز سے اس سپاٹ مستوی تک کا فاصلہ دیتا ہے جو اس طرف سطح کو چھوتا ہے، جیسے کسی کنکر سے لگائی گئی ایک پٹری۔ ایک مستقل سہارا فنکشن کرہ بیان کرتا ہے۔ اس مستقل میں منظر کا ایک چھوٹا سا مضرب جمع کرنے سے ایسی سطح ملتی ہے جس کے نافی نقطے اور اشاریے منظر کے نافی نقطوں اور اشاریوں سے مطابقت رکھتے ہیں۔ یہ ایک کلاسیکی مطابقت ہے؛ مقالہ صرف وہ حصہ ثابت کرتا ہے جو اسے بند سطح کے لیے درکار ہے اور باقی کا حوالہ دیتا ہے۔ نتیجہ: ہموار سطح کے چھوٹے ٹکڑے جن پر ہر k کے لیے 1 + k/2 اشاریے والے نافی نقطے ہیں، اس لیے اشاریے کی کوئی چھت نہیں۔ یہی بات لورینٹز–منکوفسکی فضا (Lorentz–Minkowski space) کی سطحوں کی ایک قسم پر بھی صادق آتی ہے، جہاں، فاصلے کے لیے فیثاغورث (Pythagoras) کے فارمولے میں، تین محددی فرقوں میں سے ایک کا مربع جمع کرنے کے بجائے گھٹایا جاتا ہے۔
واحد نافی نقطہ قطبِ شمالی پر ہے
بند سطح کے لیے بیج کے لامتناہی مستوی کو ایک کرے کے گرد لپیٹ دیا جاتا ہے، جیسے نقشہ کشی کا کوئی ظل (map projection) الٹا چلایا جائے: یہ قطبِ شمالی کے سوا ہر نقطے کو ڈھانپ لیتا ہے، جہاں اس کے تمام دور دراز حصے آ ملتے ہیں۔ بیج کو ایک اور طریقے سے مدھم کیا جاتا ہے، تاکہ وہ اس مستوی کے مرکز سے فاصلے کی کسی بھی قوت سے زیادہ تیزی سے ماند پڑے، اور اس کا ایک چھوٹا سا مضرب ε اسی کرے کے سہارا فنکشن میں جمع کیا جاتا ہے۔ کافی چھوٹے ε کے لیے نتیجہ ایک بند، تقریباً گول، سختی سے محدب (strictly convex) سطح ہے: یہ ہر جگہ باہر کی طرف ابھری ہوئی ہے۔ ایک کے سوا ہر نقطے پر بیج کی خاصیت نافی نقطے کو خارج کر دیتی ہے۔ استثنا قطبِ شمالی N = (0, 0, 1) ہے: وہاں سہارا فنکشن ہر مشتق میں کرے کے سہارا فنکشن سے میل کھاتا ہے، اس لیے N ایک نافی نقطہ ہے، اور واحد نافی نقطہ (مسئلہ 2.2)۔ چونکہ اشاریوں کا مجموعہ 2 ہونا لازم ہے، اس کا اشاریہ 2 ہے۔ ایک نافی نقطہ: کاراتھیوڈوری کا قیاس ناکام۔ اشاریہ 2، یعنی 1 سے زیادہ: لوئنر کا قیاس بھی ناکام۔
ہموار، مگر تحلیلی نہیں
مقالے کی ہر سطح لامتناہی حد تک تفرق پذیر، یعنی “ہموار”، ہے۔ مصنفین واضح کرتے ہیں کہ عام فضا میں ان کی سطحیں حقیقی تحلیلی (real analytic) نہیں ہیں، جو ہمواری کی ایک زیادہ سخت قسم ہے جس میں ہر نقطے کے قریب شکل ٹھیک ٹھیک قوتوں کے ایک لامتناہی مجموعے سے دی جاتی ہے۔ مقالہ اس بارے میں کچھ نہیں کہتا کہ آیا تحلیلی سطحوں پر ایک واحد نافی نقطہ ہو سکتا ہے۔ وہ اپنے آپ کو اشاریہ 2 والے نافی نقطے اور کاراتھیوڈوری کے قیاس کی جوابی مثال کے لیے خود کفیل بیان کرتا ہے۔ اور اس میں سطح کی کوئی تصویر نہیں: اسے شکل دینے والے دو مستقلوں، δ اور ε، سے صرف “کافی چھوٹا” ہونے کا تقاضا کیا گیا ہے، اور کوئی قدر نہیں دی گئی۔