நான்கு பரிமாணங்களில், ஏழு துண்டுகள் எப்போதும் போதும்

ஒரு வடிவத்தை — எல்லைக்குட்பட்ட எந்தப் புள்ளிகளின் கணத்தையும் — எடுத்துக்கொள்ளுங்கள்; அதன் இரண்டு புள்ளிகளுக்கு இடையிலான மிகப்பெரிய தொலைவை அதன் விட்டம் (diameter) என்று அழையுங்கள். இப்போது, ஒவ்வொரு துண்டும் முழு வடிவத்தை விடக் கண்டிப்பாகக் குறுகலாக இருக்குமாறு அதைத் துண்டுகளாக வெட்டுங்கள். வடிவம் எதுவாக இருந்தாலும், எப்போதும் வேலை செய்யும் மிகச் சிறிய துண்டுகளின் எண்ணிக்கை என்ன?

n பரிமாணங்களில் அந்த எண் Borsuk எண் (Borsuk number) b_n என்று அழைக்கப்படுகிறது. 1933-இல், அது எப்போதும் n + 1-க்குச் சமமா என்று Borsuk கேட்டார். அது இதை விடச் சிறியதாக இருக்க முடியாது: ஓர் ஒழுங்கு எளிமுகியின் (regular simplex) மூலைகளுக்கு — தளத்தில் ஒரு சமபக்க முக்கோணம், வெளியில் ஓர் ஒழுங்கு நான்முகி — n + 1 துண்டுகள் தேவை, ஏனெனில் எந்த இரண்டு மூலைகளும் ஒரு முழு விட்டத் தொலைவில் உள்ளன. மேலும் ஒன்று, இரண்டு, மூன்று பரிமாணங்களில் n + 1 போதுமானது. 1993-இல், போதுமான அளவு உயர்ந்த பரிமாணங்களில் இந்த ஊகம் தோற்றுப்போகிறது என்று Kahn, Kalai ஆகியோர் காட்டினர்.

முதல் திறந்த நிலை

விடை யாருக்கும் தெரியாத முதல் இடம் நான்கு பரிமாணங்கள். Lassak-இன் ஒரு பழைய பொது வரம்பான 2ⁿ⁻¹ + 1, அங்கே அதிகபட்சம் ஒன்பது துண்டுகளைத் தருகிறது. 2026-இன் தொடக்கத்தில், Tolmachev, Voronov ஆகியோர் கணினி உதவியுடனான ஒரு கட்டமைப்பைக் கொண்டு அதை எட்டாகக் குறைத்தனர்.

University of Manitoba-வைச் சேர்ந்த A. Arman, A. Prymak, Norwegian University of Science and Technology-ஐச் சேர்ந்த A. Bondarenko, Institut des Hautes Études Scientifiques-ஐச் சேர்ந்த D. Radchenko ஆகியோர் இப்போது இதை விட வலுவான ஒரு கூற்றை நிரூபிக்கின்றனர். நான்கு பரிமாணங்களில் விட்டம் 1 கொண்ட ஒவ்வொரு கணத்தையும், அனைத்தும் 0.9999-ஐ விடக் கண்டிப்பாகக் குறைவான ஒரே விட்டம் கொண்ட ஏழு பந்துகளால் மூட முடியும். ஒவ்வொரு பந்தும் கணத்தை விடக் குறுகலானது; எனவே ஒவ்வொரு புள்ளியையும் ஒரு பந்துக்கு ஒதுக்குவது, கணத்தை ஏழு குறுகலான துண்டுகளாக வெட்டுகிறது: b₄ ≤ 7. விடை இப்போது ஐந்துக்கும் ஏழுக்கும் இடையில் எங்கோ உள்ளது.

மிகச் சிறிய சூழ் பந்திலிருந்து தொடங்குதல்

நிரூபணம் சுற்றுப்பந்திலிருந்து (circumball) தொடங்குகிறது: கணத்தைக் கொண்டிருக்கும் மிகச் சிறிய பந்து. Jung-இன் ஒரு மரபுவழித் தேற்றம் அது எவ்வளவு பெரிதாக இருக்க முடியும் என்பதை வரம்பிடுகிறது — விட்டம் 1 கொண்ட ஒரு கணத்துக்கு, அதன் ஆரம் அதிகபட்சம் ஏறக்குறைய 0.63 (அதன் வர்க்கம் அதிகபட்சம் 2/5). கணம் சுற்றுப்பந்தின் மேற்பரப்பைத் தொடுகிறது. அப்படித் தொடும் புள்ளிகளில் அதிகபட்சம் ஐந்தே, பந்தை அதன் இடத்தில் நிலைநிறுத்தப் போதுமானவை; ஆசிரியர்கள் அவற்றைத் தொடுபுள்ளிகள் (contact points) என்கின்றனர். அந்தப் புள்ளிகள், கணத்தின் மீதி எங்கே இருக்க முடியும் என்பதைக் கட்டுப்படுத்துகின்றன, ஏனெனில் எதுவும் அவற்றில் எதிலிருந்தும் 1-க்கு மேல் தொலைவில் இல்லை.

பிறகு ஆசிரியர்கள், சுற்றுப்பந்தின் அளவைப் பொறுத்து, சிக்கலை மூன்று நிலைகளாகப் பிரிக்கின்றனர்:

• சிறிய சுற்றுப்பந்து: நிலையான, வெளிப்படையான ஓர் அமைப்பில் உள்ள ஏழு பந்துகள், உள்ளே எந்தக் கணம் இருந்தாலும், சுற்றுப்பந்து முழுவதையும் மூடுகின்றன. இது கையால் நிரூபிக்கப்படுகிறது.
• பெரிய சுற்றுப்பந்து: ஐந்து தொடுபுள்ளிகள் உள்ளன. ஒவ்வொன்றும் மையத்திலிருந்து ஒரு தொடுபுள்ளிக்குச் செல்லும் வழியின் 9/20 பங்கு தொலைவில் மையம் கொண்ட ஐந்து பந்துகள், ஏறக்குறைய அனைத்தையும் மூடுகின்றன; எஞ்சியிருக்கும் இரண்டு கூம்பு வடிவப் பகுதிகளை மேலும் இரண்டு பந்துகள் மூடுகின்றன. இதுவும் கையால் நிரூபிக்கப்படுகிறது.
• இடைப்பட்ட நிலை: ஒரு குறுங்கோண முக்கோணத்தை உருவாக்கும் மூன்று தொடுபுள்ளிகள், சாத்தியமான ஒவ்வொரு கணத்தையும் வெறும் நான்கு எண்களால் விவரிக்கப்படும் வடிவங்களின் ஒரு குடும்பமாகச் சுருக்குகின்றன. கணினி இங்கேதான் களத்துக்கு வருகிறது.

23,494 பெட்டிகள், முழுமையாக்கல் இல்லை

அந்த நான்கு எண்கள், சாத்தியக்கூறுகளின் நான்கு பரிமாணக் கனசதுரம் ஒன்றை நிரப்புகின்றன. அந்தக் கனசதுரத்தின் ஒவ்வொரு சிறிய பெட்டிக்கும், ஓர் எண்ணியல் தேடல் ஏழு மையங்களை முன்மொழிகிறது. பிறகு ஒரு துல்லியமான சோதனை, அதே ஏழு பந்துகள் பெட்டியிலுள்ள ஒவ்வொரு வடிவத்தையும் மூடுகின்றனவா என்று சரிபார்க்கிறது.

இந்த உத்தி கணினிசார் வடிவியலின் ஒரு மரபுவழி உத்தி: ஆதியிலிருந்தான தொலைவின் வர்க்கத்துக்குச் சமமான ஐந்தாவது ஆயத்தொலைவைச் சேர்ப்பது, “இந்தப் பந்துக்குள்ளே”, “அந்தப் பந்துக்கு வெளியே” ஆகியவற்றை தட்டையான (நேரியல்) சமனிலிகளாக மாற்றுகிறது. அத்தகைய பன்னிரண்டு சமனிலிகளால் வெட்டியெடுக்கப்படும் ஒரு பல்முகி (polytope) — தட்டையான முகங்கள் கொண்ட ஒரு வடிவம் — வளைந்த ஒரு கிண்ணத்துக்கு முழுமையாக மேலே அமர்ந்திருக்கிறதா என்பதே கேள்வியாகிறது — அதற்கு, அதன் மூலைகளைச் சரிபார்த்தாலே போதும். நிரல், சாத்தியமான 792 மூலைகள் அனைத்தையும், முழு எண்களையும் துல்லியமான பின்னங்களையும் மட்டுமே பயன்படுத்தி, எந்த எண்ணியல் சகிப்பு வரம்பும் இல்லாமல் ஆராய்கிறது.

ஒரு பெட்டி தோற்றால், அது இரண்டாக வெட்டப்பட்டு, இரண்டு பாதிகளும் மீண்டும் சோதிக்கப்படுகின்றன. இறுதியில், கனசதுரம் 23,494 பெட்டிகளாக வெட்டப்பட்டது — 29 நிலைப் பாதியாக்கல் வரை — ஒவ்வொன்றும் தேறியது. அவற்றின் கனஅளவுகளின் கூட்டுத்தொகை சரியாக 1: எதுவும் விடுபடவில்லை. தரவுகளும் சரிபார்ப்பு நிரலும் பொதுவில் கிடைக்கின்றன. நிரல் துல்லியமான எண்கணிதத்தைப் பயன்படுத்துகிறது, ஆனால் அது ஒரு நிரூபண உதவிக் கருவியால் (proof assistant) சரிபார்க்கப்பட்ட முறைசார் நிரூபணம் அல்ல என்று ஆசிரியர்கள் குறிப்பிடுகின்றனர்.

யோசனை எப்படி வந்தது

தாங்கள் அங்கே எப்படி வந்தடைந்தார்கள் என்பது பற்றி ஆசிரியர்கள் வெளிப்படையாக இருக்கின்றனர். அவர்களின் படைப்பின் முந்தைய பதிப்பு எட்டை மட்டுமே எட்டியது, மேலும் மிக அதிகமான கணக்கீடு தேவைப்பட்டது; அப்போது மொழி மாதிரிகள் நிரலாக்கத்தில் மட்டுமே உதவின. பின்னர் அவர்கள் ChatGPT Astra-வுடன் சிக்கலை ஆராய்ந்தனர்; முதலில் முற்றிலும் பகுப்பாய்வு சார்ந்த வாதங்களைத் தேடினர். அந்த ஆய்வு, சுற்றுப்பந்தின் மீது கட்டமைக்கப்பட்ட அணுகுமுறைக்கு இட்டுச் சென்றது; அது கணினித் தேடலைக் கணிசமாகச் சுருக்கியது. நிரலாக்கத்துக்கும் திருத்துவதற்கும் அவர்கள் ChatGPT-ஐப் பயன்படுத்தினர்; ஒவ்வொரு கணித வாதத்தையும் சரிபார்ப்பு நிரலையும் அவர்களே சரிபார்த்தனர்.

நான்கு பரிமாணங்களுக்கான Borsuk-இன் சொந்த ஊகமான ஐந்து துண்டுகள், நிரூபிக்கப்படவும் இல்லை, மறுக்கப்படவும் இல்லை. புதிய வரம்பை அதிலிருந்து இரண்டு படிகள் பிரிக்கின்றன.