اک ملائم گیند جو صرف اک نقطے اُتے گول اے
اک گیند ہر پاسے اکو طرحاں مُڑدی اے۔ رگبی دی گیند دا پاسا انج نہیں کردا: ایہہ اپنی گولائی دوالے تِکھی مُڑدی اے تے اپنی لمبائی دے نال صرف ہولی جیہی۔ کسے سطح دے ہر نقطے اُتے، جیومیٹری دے ماہر سب توں ودھ تے سب توں گھٹ مُڑن نوں نوٹ کردے نیں، جیہناں دیاں سمتاں ہمیشہ اک دوجے نال 90 درجے دا کون بناؤندیاں نیں؛ ایہہ دو مُکھ خم (principal curvatures) نیں۔ جس نقطے اُتے ایہہ برابر ہون، جتھے سطح ہر پاسے اکو طرحاں مُڑدی اے، اوہنوں امبلک (umbilic) آکھدے نیں۔ اک مکمل گیند اُتے ہر نقطہ امبلک اے۔
اک امبلک دوالے گیڑے گِننا
امبلکاں توں ہٹ کے، سب توں ودھ تے سب توں گھٹ مُڑن دیاں سمتاں سطح اُتے لکیراں دے دو ٹبر (families) واہندیاں نیں، جو ہر تھاں اک دوجے نوں 90 درجے اُتے کٹدیاں نیں۔ کسے وکھرے (isolated) امبلک دوالے اک نکے چکر اُتے اک وار ٹُرو تے ایہناں وچوں اک لکیر دے پِچھے چلو: ایہہ گھمدی اے۔ ایہہ جِنے گیڑے کھاندی اے، اوہ امبلک دا اشاریہ (index) اے۔ کیونکہ لکیر دا کوئی تیر نہیں ہوندا، ایہہ اَدھے گیڑے مگروں اپنے آپ اُتے مُڑ آ سکدی اے، ایس لئی اشاریہ 3/2 ورگا اَدھ عدد (half-integer) وی ہو سکدا اے۔
دو قیاس، جیویں مقالہ ایہناں نوں بیان کردا اے:
- لوئنر دا قیاس (Loewner’s conjecture): کسے وکھرے امبلک دا اشاریہ ودھ توں ودھ 1 اے۔
- کاراتھیودوری دا قیاس (Carathéodory’s conjecture): عام تِن-ابعادی خلا وچ ہر بند، محدب، باقاعدہ (regular) سطح (اک ملائم سطح جیہدی کوئی دھار نہیں تے جو ہر تھاں باہر ول اُبھری ہوئی اے، انڈے وانگ) اُتے گھٹو گھٹ دو امبلک ہوندے نیں۔
دوویں آپس وچ جُڑے ہوئے نیں۔ جس بند محدب سطح دے امبلک وکھرے وکھرے ہون، اوہدے اُتے اشاریے ہمیشہ جوڑ کے 2 بندے نیں۔ جے کوئی وی 1 توں ودھ نہ ہو سکدا، تے گھٹو گھٹ دو امبلکاں دی لوڑ پیندی: لوئنر دا قیاس کاراتھیودوری دے قیاس نوں اپنے آپ سچا کر دیندا۔ اک اکلے امبلک نوں پورا 2 کلّیاں چُکنا پیندا، تے اوہ دوہاں نوں توڑ دیندا۔
اگست وچ اعلان، سائناں توں مُڑ اُساری
پہلیاں اُلٹ مثالاں ایس مقالے توں نہیں آئیاں۔ ایہدے تعارف مطابق، L. Alpöge نے ملائم سطحاں لئی دوہاں قیاساں دیاں اُلٹ مثالاں دا اعلان، جو “مصنوعی ذہانت (AI) دی مدد نال بنائیاں گئیاں”، 19 اگست 2026 دی X اُتے اک پوسٹ وچ کیتا۔ Alpöge دی مقامی (local) اُساری پہلاں ای ہر مثبت پورے عدد k لئی 1 + k/2 دا اشاریہ اپڑ لیندی اے، تے Alpöge اک بند، سختی نال محدب سطح دی خبر دیندا اے جیہدے اُتے ٹھیک اک امبلک اے، جیہدا اشاریہ 2 اے۔
Naoya Ando، کوماموتو یونیورسٹی (Kumamoto University) توں، تے Masaaki Umehara، Institute of Science Tokyo توں، نے “Alpöge دی اُساری دی اک بدلی ہوئی شکل راہیں اک ودھ سوکھی اُساری” دین دا بیڑا چُکیا۔ Alpöge دا شروعاتی فنکشن تِن کوسائناں (cosines) نوں −1/4، 3/10 تے −1/32 دیاں ضریباں (coefficients) نال جوڑدا اے، اجیہے فنکشناں دے اندر جیہناں وچ 10¹⁰ تے 100 ورگے مستقل (constants) نیں۔ اوہناں دا “بیج” (seed) ایہہ اے:
F(x, y) = a(x) − a(y) + sin x sin y، جتھے a(t) = sin⁴t + 3 sin²t
دو متغیراں (variables) والے فنکشن نوں اُبھاراں تے ٹوئیاں والے اک نظارے (landscape) وانگ سوچو۔ بیج نوں اک خوبی چاہیدی اے: ایہہ نظارہ کتے وی ہر پاسے اکو طرحاں نہ مُڑے۔ تکنیکی لفظاں وچ، ایہدا ٹریس توں خالی ہیسیئن (trace-free Hessian)، یعنی دُوجے ماخوذاں (second derivatives) دی اوہ جدول جیہدے وچوں “ہر پاسے اکو جیہا” حصہ کڈھ دتا گیا ہووے، کدے صفر نہیں ہوندا۔ ایس بیج لئی، جانچ تِن سطراں لیندی اے۔ ایہہ خوبی اک مخلوط عدد (complex number) وچ بند اے — عام عدداں دا اک جوڑا، اک “حقیقی” (real) تے اک “خیالی” (imaginary) حصہ، جو صرف تد صفر اے جدوں دوویں صفر ہون: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y۔ ایہدا خیالی حصہ صرف اوتھے صفر ہوندا اے جتھے کوئی کوسائن صفر ہووے؛ اوتھے اک سائن ±1 دے برابر ہوندا اے، ایس لئی ایہدا حقیقی حصہ ودھ توں ودھ −4 اے۔ سو ایہہ کدے صفر نہیں ہوندا۔
لکھاری دسدے نیں کہ اوہناں نے امیدوار فنکشن لبھن تے لکھت دی نظرثانی لئی ChatGPT دی مدد لئی، تے ہر دلیل آپ جانچی۔
اک نہ مُکن والے نمونے نوں اک نقطے وچ تہہ کرنا
بیج پورے سطح مستوی (plane) اُتے ہمیشہ لئی دہرایا جاندا اے۔ لکھاری ایہہ سارا اک ننھی ٹِکی (disc) وچ نپیڑ دیندے نیں: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2))، جتھے z سطح مستوی دا اک نقطہ اے جو اک اکلے مخلوط عدد وانگ لکھیا گیا اے تے k اک مثبت پورا عدد اے جو لکھاری اپنی مرضی نال چُن سکدے نیں۔ ایہہ بدلی سطح مستوی دے دُور دراڈے حصیاں نوں وچکار ول گھل دیندی اے، ایس لئی سائن دا نمونہ ایہدے دوالے ہور ہور تنگ چھلیاں وچ ڈھیر ہوندا جاندا اے۔ قوت نمائی (exponential) جزو ہر شے نوں کچل دیندا اے: وچکار، فنکشن تے ایہدے سارے ماخوذ صفر نیں۔ ریاضی دان اجیہے فنکشن نوں چپٹا (flat) آکھدے نیں۔
ایس وچکار دے دوالے، ایس نظارے دے سب توں تِکھے مُڑن دیاں سمتاں 1 + k/2 گیڑے کھاندیاں نیں: k = 1 لئی 3/2، k = 2 لئی 2، k = 3 لئی 5/2، کسے اُتلی حد توں بغیر (مسئلہ 1.3، Theorem 1.3)۔ Fujiyama نال رل کے، ایہناں ای دو لکھاریاں نے پہلاں وی من چاہے وڈے اشاریے اپڑے سن، اجیہیاں مثالاں نال جو امبلک اُتے صرف C¹ نیں، یعنی اک وار ماخوذ لین جوگ (differentiable)؛ ایہہ نویاں ملائم نیں۔
کسے نظارے نوں سطح وچ بدلن لئی، لکھاری اک سہارا فنکشن (support function) ورتدے نیں: ہر سمت لئی، ایہہ اک وچکار توں اوس پدّھرے سطح مستوی تیکر دی دُوری دیندا اے جو اوس پاسے سطح نوں چھوہندا اے، جیویں کسے روڑے نال دبایا فُٹا۔ اک مستقل سہارا فنکشن اک کُرّہ (sphere) بیان کردا اے۔ ایس مستقل وچ نظارے دا اک نکا جیہا گُنا (multiple) جوڑن نال اک اجیہی سطح ملدی اے جیہدے امبلک تے اشاریے نظارے نال رلدے نیں۔ ایہہ اک کلاسیکی مطابقت (correspondence) اے؛ مقالہ صرف اوہ حصہ ثابت کردا اے جیہدی ایہنوں بند سطح لئی لوڑ اے تے باقی دا حوالہ دیندا اے۔ نتیجہ: ملائم سطح دے نکے ٹکڑے جیہناں اُتے ہر k لئی 1 + k/2 اشاریے والے امبلک نیں، ایس لئی اشاریے دی کوئی چھت نہیں۔ ایہی گل لورینٹز–منکوسکی خلا (Lorentz–Minkowski space) وچ سطحاں دی اک قسم لئی وی سچ اے، جتھے دُوری لئی فیثاغورث دے فارمولے وچ، تِن کوآرڈینیٹاں دے فرقاں وچوں اک دا مربع جوڑن دی تھاں منفی کیتا جاندا اے۔
اکلا امبلک اُتلے قطب اُتے بیٹھا اے
بند سطح لئی، بیج دا نہ مُکن والا سطح مستوی اک کُرّے دوالے لپیٹیا جاندا اے، جیویں نقشے دا پروجیکشن (map projection) اُلٹا چلایا جاوے: ایہہ اُتلے قطب (north pole) توں سوا ہر نقطے نوں ڈھکدا اے، جتھے ایہدے سارے دُور دراڈے حصے آ کے ملدے نیں۔ بیج نوں اک ہور طریقے نال دبایا جاندا اے، تاں جو ایہہ اوس سطح مستوی دے وچکار توں دُوری دی کسے وی طاقت (power) نالوں تیز مُک جاوے، تے ایہدا اک نکا گُنا ε کُرّے دے سہارا فنکشن وچ جوڑیا جاندا اے۔ جے ε کافی نکا ہووے، تے نتیجہ اک بند، لگ بھگ گول، سختی نال محدب (strictly convex) سطح اے: ایہہ ہر تھاں باہر ول اُبھری ہوئی اے۔ اک نوں چھڈ کے ہر نقطے اُتے، بیج دی خوبی امبلک ہون نہیں دیندی۔ واحد چھوٹ اُتلا قطب اے، N = (0, 0, 1): اوتھے سہارا فنکشن ہر ماخوذ وچ کُرّے دے سہارا فنکشن نال رلدا اے، ایس لئی N اک امبلک اے، تے واحد امبلک (مسئلہ 2.2)۔ کیونکہ اشارییاں نوں جوڑ کے 2 بننا لازمی اے، ایہدا اشاریہ 2 اے۔ اک امبلک: کاراتھیودوری دا قیاس ڈِگ پیندا اے۔ اشاریہ 2، یعنی 1 توں ودھ: لوئنر دا وی۔
ملائم، پر تحلیلی نہیں
مقالے دی ہر سطح لامحدود وار ماخوذ لین جوگ اے، یعنی “ملائم” (smooth)۔ لکھاری واضح کردے نیں کہ عام خلا وچ اوہناں دیاں سطحاں حقیقی تحلیلی (real analytic) نہیں، جو ملائمت دی اک ودھ سخت قسم اے جیہدے وچ، ہر نقطے دے نیڑے، شکل طاقتاں دے اک لامحدود جوڑ نال ٹھیک ٹھیک دتی جاندی اے۔ مقالہ ایس بارے کجھ نہیں آکھدا کہ کیہ تحلیلی سطحاں اُتے اک اکلا امبلک ہو سکدا اے۔ ایہہ اپنے آپ نوں اشاریہ-2 والے امبلک تے کاراتھیودوری دے قیاس دی اُلٹ مثال لئی آپ وچ مکمل (self-contained) دسدا اے۔ تے ایہدے وچ سطح دی کوئی تصویر نہیں: ایہنوں شکل دین والے دو مستقل، δ تے ε، توں صرف ایہہ منگیا جاندا اے کہ اوہ “کافی نکے” ہون، تے کوئی قدر نہیں دتی گئی۔