নিঃসঙ্গ দৌড়বিদ অবশেষে একটু জায়গা পেল

এক পাক দৈর্ঘ্যের একটি বৃত্তাকার ট্র্যাকের কথা ভাবুন। কয়েকজন দৌড়বিদ একই মুহূর্তে একই বিন্দু থেকে শুরু করে, প্রত্যেকে নিজের স্থির গতিতে, সবার গতি আলাদা। নিঃসঙ্গ দৌড়বিদ অনুমান (lonely runner conjecture) বলে, মোট n + 1 জন দৌড়বিদ থাকলে প্রত্যেক দৌড়বিদ কোনো এক মুহূর্তে নিজেকে একা পাবে: বাকি সবার থেকে অন্তত 1/(n + 1) পাক দূরে।

সমস্যাটি তার নামের চেয়ে পুরোনো। Xiyu Hu (চাইনিজ অ্যাকাডেমি অব সায়েন্সেস বিশ্ববিদ্যালয়) ও Yifan Jing (ওহাইও স্টেট বিশ্ববিদ্যালয়)-এর মতে, এর শিকড় Jörg Wills-এর 1965 সালের ডক্টরাল থিসিসে, যা ছিল ভগ্নাংশ দিয়ে সংখ্যার আসন্নীকরণ নিয়ে। Cusick বাধায় আটকে যাওয়া দৃষ্টিরেখার ভাষায় এর একটি সমতুল্য রূপ দিয়েছিলেন; দৌড়বিদেরা এসেছে পরে, Goddyn-এর একটি পুনর্বিন্যাসে। তারপর থেকে একে যুক্ত করা হয়েছে বিলিয়ার্ডের গতিপথ, গ্রাফ রঙ করা এবং ম্যাট্রয়েড নামের বিমূর্ত কাঠামোয় প্রবাহের সঙ্গে।

নিঃসঙ্গতা মাপা

গণিতবিদেরা সাধারণত একজন দৌড়বিদকে স্থির ধরে বাকিদের গতি তার সাপেক্ষে দেখেন: n টি ভিন্ন ধনাত্মক পূর্ণসংখ্যার একটি সেট V। সময় t-তে, v গতির একজন দৌড়বিদ ট্র্যাকের vt অবস্থানে থাকে, আর শুরুর বিন্দু থেকে তার দূরত্ব লেখা হয় ∥vt∥ — vt থেকে নিকটতম পূর্ণসংখ্যার দূরত্ব। V-এর সর্বোচ্চ নিঃসঙ্গতা হলো

ML(V) = t-এর ওপর সর্বোচ্চ, V-এর v-এর ওপর ∥vt∥-এর সর্বনিম্নের

অর্থাৎ সবচেয়ে ভালো মুহূর্ত, নিকটতম দৌড়বিদের বিচারে। অনুমানটি দাবি করে ML(V) ≥ 1/(n + 1), এবং এটি হবে সবচেয়ে আঁটসাঁট সীমা: 1, 2, …, n গতির জন্য সর্বোচ্চ নিঃসঙ্গতা ঠিক 1/(n + 1)। যেমন, 1 ও 2 গতির দুজন চলমান দৌড়বিদের সঙ্গে স্থির দৌড়বিদ দুজনের থেকেই বড়জোর এক-তৃতীয়াংশ পাক দূরে থাকতে পারে — সময় 1/3-এ।

সহজ অর্ধেক

উত্তরের অর্ধেক সস্তায় মেলে। যে মুহূর্তগুলোতে কোনো দৌড়বিদ শুরুর বিন্দু থেকে δ-এর মধ্যে থাকে, সেগুলো ঘড়ির 2δ ভগ্নাংশ জুড়ে থাকে। n জন দৌড়বিদের ক্ষেত্রে, যদি 2nδ, 1-এর চেয়ে কম হয়, তবে এই সময়-জানালাগুলো সবকিছু ঢাকতে পারে না, তাই কোনো এক মুহূর্ত সবগুলো থেকে মুক্ত থাকে। δ-কে তার সীমা পর্যন্ত বাড়ালে পাওয়া যায়

ML(V) ≥ 1/(2n)

এটি অনুমানের পূর্বাভাসের মোটামুটি অর্ধেক। এর বাইরে যাওয়া ভীষণ একগুঁয়ে প্রমাণিত হয়েছে। লেখকেরা ইতিহাস তুলে ধরেন: দশকের পর দশক কেবল 1/n² ক্রমের উন্নতি; তারপর Perarnau ও Serra, 2018 সালে Terence Tao, এবং 2025 সালে Benjamin Bedert-এর উন্নতি। কিন্তু সবগুলোর একটি অভিন্ন দুর্বলতা আছে: দৌড়বিদের সংখ্যা বাড়লে 1/(2n)-এর সাপেক্ষে উন্নতি শূন্যের দিকে যায়।

যে উন্নতি মিলিয়ে যায় না

নতুন উপপাদ্যটি এটা বদলে দেয়:

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

একটি নির্দিষ্ট ধ্রুবক c > 0-এর জন্য এবং n ≥ 2 গতির প্রতিটি সেটের জন্য। বাড়তি ব্যবধান এখন সহজ সীমার একটি স্থির ভগ্নাংশ, দৌড়বিদ যতজনই হোক। ধ্রুবকটি সুস্পষ্ট, তবে গবেষণাপত্রে এর মান গণনা করা হয়নি, আর লেখকেরা একে সর্বোত্তম করার কোনো চেষ্টা করেননি। এটি অনুমিত 1/(n + 1)-এ পৌঁছায় না; এটি প্রথম উন্নতি যা গলে মিলিয়ে যায় না।

প্রমাণটি দেখে বিভিন্ন দৌড়বিদের “বিপদের জানালা” কীভাবে একটির ওপর আরেকটি পড়ে। কিছু পড়ে কারণ তাদের কেন্দ্র অভিন্ন — যে দৌড়বিদদের গতির সাধারণ ভাজক আছে, তারা একসঙ্গে শুরুর বিন্দু পেরোয়। অন্যগুলো পড়ে ভিন্ন ভিন্ন কেন্দ্রে। প্রথম ধরনের জন্য লেখকেরা বড় সাধারণ ভাজক নিয়ে Green ও Walker-এর একটি যুক্তিকে পরিমার্জন করেন। দ্বিতীয়টির জন্য তাঁরা একটি নতুন জ্যামিতিক অসমতা প্রমাণ করেন: জানালাগুলোকে তাদের কেন্দ্রের চারপাশে চওড়া করলে তাদের উপরিপাতন সমানুপাতের চেয়ে দ্রুত বাড়তে বাধ্য। যেভাবেই হোক, না-ঢাকা সময় কমে শূন্য হতে পারে না।

বাড়তি পাওনা হিসেবে, ফলটি “পাজামা সমস্যা”-র একটি নিম্নসীমাও উন্নত করে: সমতল ঢাকতে একটি ডোরাকাটা নকশার কতগুলো ঘোরানো ও টানা কপি দরকার।

কে কী করেছেন

গবেষণাপত্রে AI ব্যবহারের ব্যাপারে একটি সুস্পষ্ট বিবৃতি আছে। কৌশল ও কাঠামো লেখকদের নিজেদের। ChatGPT 6 Pro ও ChatGPT 6 Astra মূলত ব্যবহার করা হয়েছে যুক্তি যাচাই করতে, অনানুষ্ঠানিক প্রমাণকে কঠোর প্রমাণে রূপ দিতে এবং পরিমার্জনের পথ খুঁজতে। Pro সাধারণ ভাজকের ওপর যোগফল আনার পরামর্শ দিয়েছিল, এবং পরে মূল অসমতার প্রমাণের প্রথম সংস্করণে “কিছু ছোট ফাঁক” মেরামত করেছিল। চূড়ান্ত প্রমাণগুলো লিখেছেন লেখকেরা। হাতিয়ারগুলো নিয়ে তাঁদের রায় নিখুঁত: “মডেলগুলো নিজে থেকে নিঃসঙ্গ দৌড়বিদের সীমা উন্নত করতে পারেনি।”

Wills-এর ষাট বছর পর, প্রত্যেক দৌড়বিদের নিশ্চিত নিঃসঙ্গতায় প্রথমবারের মতো এমন একটি ব্যবধান এসেছে যা টিকে থাকে।