کلّے دوڑاک نوں آخر کجھ کھلی تھاں لبھ گئی

اک گیڑے لمے گول ٹریک نوں سوچو۔ کئی دوڑاک اکو تھاں توں اکو ویلے ٹردے نیں، ہر اک اپݨی پکی رفتار نال، تے ساریاں رفتاراں وکھریاں۔ کلّے دوڑاک دا اندازہ کہندا اے پئی ہر دوڑاک کسے نہ کسے ویلے آپ نوں کلّا پاوے گا: جدوں کُل n + 1 دوڑاک ہوݨ، باقی ساریاں توں گیڑے دے گھٹو گھٹ 1/(n + 1) دی دوری اُتے۔

مسئلہ اپݨے ناں توں پرانا اے۔ شی یو ہو (Xiyu Hu، یونیورسٹی آف چائنیز اکیڈمی آف سائنسز) تے ییفان جنگ (Yifan Jing، اوہائیو سٹیٹ یونیورسٹی) دے مطابق، ایہدی جڑ یورگ ولز (Jörg Wills) دے 1965 دے پی ایچ ڈی مقالے وچ اے جیہڑا عدداں نوں کسراں نال نیڑے لیاؤݨ بارے سی۔ کیوزک (Cusick) نے رکاوٹاں نال بند ہوݨ والیاں نظر دیاں لکیراں دے لحاظ نال اک برابر روپ دتا؛ دوڑاک بعد وچ، گوڈن (Goddyn) دے اک نویں بیان نال آئے۔ اوس ویلے توں ایہنوں بلیئرڈ دے رستیاں، گرافاں نوں رنگن تے میٹرائیڈ (matroid) کہلاؤݨ والیاں تجریدی بݨتراں وچ وہاؤ نال جوڑیا گیا اے۔

کلّے پن نوں ناپنا

ریاضی دان عام طور اُتے اک دوڑاک نوں ٹک کے باقیاں دیاں رفتاراں اوہدے لحاظ نال ویکھدے نیں: n وکھرے مثبت پورے عدداں دا اک سیٹ V۔ ویلے t اُتے، v رفتار والا دوڑاک ٹریک دے دوالے vt تھاں اُتے ہوندا اے، تے شروع توں اوہدی دوری ∥vt∥ لکھی جاندی اے — vt توں سب توں نیڑے پورے عدد تیک دی دوری۔ V دا سب توں ودھ کلّا پن اے

ML(V) = t اُتے سب توں ودھ، V وچ v اُتے ∥vt∥ دا سب توں گھٹ

سب توں چنگا پل، سب توں نیڑے والے دوڑاک دے حساب نال۔ اندازہ دعویٰ کردا اے پئی ML(V) ≥ 1/(n + 1)، تے ایہہ حد تکھی (sharp) ہووے گی: رفتاراں 1، 2، …، n لئی، سب توں ودھ کلّا پن ٹھیک 1/(n + 1) اے۔ مثال دے طور اُتے، رفتار 1 تے 2 والے دو ہلدے دوڑاکاں نال، ٹکیا ہویا دوڑاک دوواں توں ودھ توں ودھ گیڑے دا تیجا حصہ دور ہو سکدا اے — ویلے 1/3 اُتے۔

سوکھا ادھ

جواب دا ادھا سستا ملدا اے۔ جنہاں پلاں وچ کوئی اک دوڑاک شروع توں δ دے اندر ہوندا اے، اوہ گھڑی دا 2δ حصہ بھردے نیں۔ n دوڑاکاں نال، جے 2nδ اک توں گھٹ ہووے، تے ایہہ ویلے دیاں باریاں سب کجھ نئیں ڈھک سکدیاں، ایس لئی کوئی اجیہا پل ہوندا اے جیہڑا اوہناں ساریاں توں خالی ہووے۔ δ نوں اوہدی حد تیک ودھاؤݨ نال ملدا اے

ML(V) ≥ 1/(2n)

ایہہ اندازے دی پیش گوئی دا لگ بھگ ادھا اے۔ ایہدے توں اگے لنگھنا ضدی کم ثابت ہویا اے۔ لکھاری تریخ گندے نیں: دہاکیاں تیک صرف 1/n² درجے دے وادھے؛ فیر پیرارناؤ تے سیرا (Perarnau تے Serra)، 2018 وچ ٹیرنس تاؤ، تے 2025 وچ بینجمن بیڈرٹ (Benjamin Bedert) دیاں بہتریاں۔ پر ساریاں وچ اک سانجھی کمزوری اے: دوڑاکاں دی گنتی ودھن نال 1/(2n) دے لحاظ نال بہتری صفر ول جاندی اے۔

اک وادھا جیہڑا مدھم نئیں پیندا

نواں تھیورم ایہنوں بدل دیندا اے:

ML(V) > (1 + c)/(2n)

اک پکے مستقل c > 0 لئی تے n ≥ 2 رفتاراں دے ہر سیٹ لئی۔ وادھو گنجائش ہُݨ سوکھی حد دا اک پکا حصہ اے، دوڑاک جنے وی ہوݨ۔ مستقل صاف لکھیا جا سکدا اے پر مقالے وچ کڈھیا نئیں گیا، تے لکھاری ایہنوں بہتر بݨاؤݨ دی کوشش نئیں کردے۔ ایہہ اندازے والے 1/(n + 1) تیک نئیں اپڑدا؛ ایہہ پہلا وادھا اے جیہڑا گھُل نئیں جاندا۔

ثبوت ایہہ ویکھدا اے پئی وکھرے دوڑاکاں دیاں “خطرے دیاں باریاں” اک دوجے نوں کیویں ڈھکدیاں نیں۔ کجھ ایس لئی ڈھکدیاں نیں پئی اوہناں دا مرکز سانجھا اے — جنہاں دوڑاکاں دیاں رفتاراں دے سانجھے بھاجک نیں اوہ اکٹھے شروع اُتے اپڑدے نیں۔ کجھ ہور وکھرے مرکزاں اُتے ڈھکدیاں نیں۔ پہلی قسم لئی، لکھاری گرین تے واکر (Green تے Walker) دی وڈے سانجھے بھاجکاں بارے اک دلیل نوں ہور باریک کردے نیں۔ دوجی لئی، اوہ اک نویں جیومیٹری دی نابرابری ثابت کردے نیں: جدوں باریاں نوں اوہناں دے مرکزاں دے دوالے چوڑا کیتا جاوے، اوہناں دا ڈھکاؤ تناسب توں تیز ودھنا لازمی اے۔ دوواں صورتاں وچ، اݨڈھکیا ویلا گھٹ کے صفر نئیں ہو سکدا۔

وادھو فائدے دے طور اُتے، ایہہ نتیجہ “پجامے والے مسئلے” لئی اک تھلویں حد بہتر کردا اے: اک دھاری دار نمونے دیاں کنیاں گھمائیاں تے کھچیاں نقلاں پدھر (plane) نوں ڈھکن لئی چاہیدیاں نیں۔

کیہنے کیہ کیتا

مقالے وچ AI دی ورتوں بارے اک صاف بیان اے۔ حکمت عملی تے ڈھانچہ لکھاریاں دا اپݨا سی۔ ChatGPT 6 Pro تے ChatGPT 6 Astra بہتا کر کے دلیلاں پرکھن، غیر رسمی ثبوتاں نوں سخت ثبوتاں وچ بدلن تے باریکیاں کھوجن لئی ورتے گئے۔ Pro نے سانجھے بھاجکاں اُتے جوڑاں نوں لیاؤݨ دی صلاح دتی، تے بعد وچ مُکھ نابرابری دے ثبوت دے پہلے روپ وچ “کجھ نِکے پاڑ” ٹھیک کیتے۔ اخیرلے ثبوت لکھاریاں نے لکھے۔ اوزاراں بارے اوہناں دا فیصلہ ٹھیک ٹھیک اے: “ماڈل آپ اپݨے آپ کلّے دوڑاک دی حد نوں بہتر نئیں کر سکے۔”

ولز توں سٹھ سال مگروں، ہر دوڑاک نوں پکے کیتے گئے کلّے پن کول، پہلی واری، اک اجیہی گنجائش اے جیہڑی اپݨی تھاں ٹکی رہندی اے۔