தனிமை ஓட்டக்காரருக்கு இறுதியாகக் கொஞ்சம் இடம் கிடைக்கிறது

ஒரு சுற்று நீளமுள்ள வட்ட ஓடுதளத்தைக் கற்பனை செய்யுங்கள். பல ஓட்டக்காரர்கள் ஒரே புள்ளியிலிருந்து ஒரே கணத்தில் புறப்படுகிறார்கள்; ஒவ்வொருவருக்கும் தனக்கே உரிய மாறாத வேகம், எல்லா வேகங்களும் வெவ்வேறு. தனிமை ஓட்டக்காரர் அனுமானம் சொல்வது: மொத்தம் n + 1 ஓட்டக்காரர்கள் இருக்கும்போது, ஒவ்வொரு ஓட்டக்காரரும் ஏதோ ஒரு கட்டத்தில் தனியாக இருப்பார் — மற்ற அனைவரிடமிருந்தும் குறைந்தது ஒரு சுற்றின் 1/(n + 1) தொலைவில்.

இந்தப் பிரச்சினை அதன் பெயரை விடப் பழமையானது. ஷியு ஹூ (Xiyu Hu, சீன அறிவியல் கழகப் பல்கலைக்கழகம்), யிஃபான் ஜிங் (Yifan Jing, ஓஹையோ ஸ்டேட் பல்கலைக்கழகம்) ஆகியோரின் கூற்றுப்படி, இது எண்களைப் பின்னங்களால் தோராயப்படுத்துவது பற்றி யோர்க் வில்ஸ் (Jörg Wills) 1965-இல் எழுதிய முனைவர் பட்ட ஆய்வேட்டுக்குச் செல்கிறது. தடைகளால் மறைக்கப்படும் பார்வைக் கோடுகளின் அடிப்படையில் குசிக் (Cusick) ஒரு சமமான வடிவத்தைத் தந்தார்; ஓட்டக்காரர்கள் பின்னர், காடின் (Goddyn) மறுவடிவமைப்புடன் வந்தார்கள். அதன் பிறகு இது பில்லியர்ட்ஸ் பாதைகள், வரைபடங்களுக்கு (graphs) வண்ணமிடுதல், மேட்ராய்டுகள் (matroids) எனப்படும் கருத்தியல் கட்டமைப்புகளில் ஓட்டங்கள் ஆகியவற்றுடன் இணைக்கப்பட்டுள்ளது.

தனிமையை அளத்தல்

கணிதவியலாளர்கள் வழக்கமாக ஒரு ஓட்டக்காரரை நிலைநிறுத்தி, மற்றவர்களின் வேகங்களை அவரைப் பொறுத்துப் பார்க்கிறார்கள்: 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δ என்பது 1-ஐ விடக் குறைவாக இருந்தால், இந்த நேரச் சாளரங்கள் எல்லாவற்றையும் மூட முடியாது; எனவே அவை அனைத்திலிருந்தும் விடுபட்ட ஒரு கணம் இருக்கிறது. δ-ஐ அதன் வரம்பு வரை வளரவிட்டால் கிடைப்பது:

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) ஆகியோரின் பெரிய பொது வகுஎண்கள் பற்றிய ஒரு வாதத்தை ஆசிரியர்கள் செம்மைப்படுத்துகிறார்கள். இரண்டாவதற்கு, ஒரு புதிய வடிவியல் சமனின்மையை நிரூபிக்கிறார்கள்: சாளரங்கள் அவற்றின் மையங்களைச் சுற்றி அகலப்படுத்தப்படும்போது, அவற்றின் மேற்பொருந்தல்கள் விகிதசமத்தை விட வேகமாக வளர வேண்டும். எந்த வழியிலும், மூடப்படாத நேரம் ஒன்றுமில்லாமல் சுருங்க முடியாது.

கூடுதல் பலனாக, இந்த முடிவு “பைஜாமா பிரச்சினைக்கான” ஒரு கீழ் வரம்பை மேம்படுத்துகிறது: தளத்தை மூட, ஒரு கோடிட்ட வடிவத்தின் சுழற்றப்பட்ட, நீட்டப்பட்ட எத்தனை நகல்கள் தேவை.

யார் என்ன செய்தார்கள்

கட்டுரையில் AI பயன்பாடு பற்றிய வெளிப்படையான அறிக்கை உள்ளது. உத்தியும் கட்டமைப்பும் ஆசிரியர்களுடையவை. ChatGPT 6 Pro, ChatGPT 6 Astra ஆகியவை முக்கியமாக வாதங்களைச் சரிபார்க்கவும், முறைசாரா நிரூபணங்களைக் கண்டிப்பானவையாக மாற்றவும், செம்மைப்படுத்தல்களை ஆராயவும் பயன்படுத்தப்பட்டன. பொது வகுஎண்கள் மீதான கூட்டுத்தொகைகளைக் கொண்டுவருமாறு Pro பரிந்துரைத்தது, பின்னர் முக்கியச் சமனின்மையின் நிரூபணத்தின் முதல் பதிப்பில் இருந்த “சில சிறிய இடைவெளிகளைச்” சரிசெய்தது. இறுதி நிரூபணங்களை ஆசிரியர்களே எழுதினார்கள். கருவிகள் பற்றிய அவர்களின் தீர்ப்பு துல்லியமானது: “மாதிரிகளால் தாமாகத் தனிமை ஓட்டக்காரர் வரம்பை மேம்படுத்த முடியவில்லை.”

வில்ஸுக்கு அறுபது ஆண்டுகளுக்குப் பிறகு, ஒவ்வொரு ஓட்டக்காரருக்கும் உறுதிசெய்யப்பட்ட தனிமைக்கு, முதல் முறையாக, இடம்பெயராமல் நிலைத்திருக்கும் ஒரு விளிம்பு கிடைத்துள்ளது.