வெளியை வண்ணம் தீட்ட எத்தனை நிறங்கள்? வழக்கமான ஓர் அளவுகோலுக்கு 2d-க்கு மேல் இல்லை

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

இதுவே ஹாட்விகர்–நெல்சன் சிக்கல் (Hadwiger–Nelson problem). 1950-இல் தோன்றிய இது, ஆய்வாளர்களின் சொற்களில், தனிநிலை வடிவியலின் (discrete geometry) மிகப் புகழ்பெற்ற தீர்க்கப்படாத சிக்கல்களில் ஒன்று. நீண்ட காலமாக, விடை 4 முதல் 7 வரை இருப்பது அறியப்பட்டிருந்தது. அண்மைய ஒரு திருப்புமுனை கீழ்வரம்பை 5 ஆக உயர்த்தியது. துல்லியமான விடை இன்னும் தெரியவில்லை.

அளவுகோலை மாற்றுதல்

தூரத்தை ஒரு சாதாரண அளவுகோலால்தான் அளக்க வேண்டும் என்பதில்லை. கணிதவியலாளர்கள் பல்வேறு நெறிமங்களை (norms) — நீளத்தை அளக்கும் வழிகளை — வரையறுக்கின்றனர்; ஒவ்வொன்றும் அதன் “அலகுப் பந்தால்” (unit ball) விவரிக்கப்படுகிறது, அதாவது மையத்திலிருந்து அதிகபட்சம் 1 தொலைவில் உள்ள புள்ளிகளின் கணம். வழக்கமான தூரத்துக்கு அது ஒரு உருண்டையான பந்து; மற்ற நெறிமங்களுக்கு அது மையத்தைப் பொறுத்துச் சமச்சீரான எந்தக் குவிவு (convex) வடிவமாகவும் இருக்கலாம்.

தளத்தின் மீதான ஒவ்வொரு நெறிமத்துக்கும், வண்ணமிடும் புதிரின் விடை 4 முதல் 7 வரை இருக்கிறது. d பரிமாணங்களில், எந்த நெறிமத்துக்கும் அது d-இல் அதிகபட்சம் அடுக்குக்குறி (exponential) அளவில் இருக்கும்; வழக்கமான யூக்ளிடிய நெறிமம் உட்படப் பல இயல்பான நெறிமங்களுக்கு அது குறைந்தபட்சமும் அடுக்குக்குறி அளவில் இருக்கிறது: பரிமாணம் வளர வளர நிறங்களின் எண்ணிக்கை வெடித்துப் பெருகுகிறது.

அந்த வெடிப்புதான் விதியா? நோகா அலோன் (Noga Alon; பிரின்ஸ்டன் பல்கலைக்கழகம், டெல் அவீவ் பல்கலைக்கழகம்), மாதியா புசிச் (Matija Bucić; வியன்னா பல்கலைக்கழகம்), ஜேம்ஸ் டேவிஸ் (James Davies; லைப்சிக் பல்கலைக்கழகம்) ஆகியோர் ஒரு வழக்கமான (typical) நெறிமத்தை ஆராய்ந்தனர். ஒரு நெறிமத்தை “சமவாய்ப்பாக” தேர்ந்தெடுக்க இயல்பான வழி இல்லாததால், அவர்கள் ஒரு இடவியல் (topological) கருத்தைப் பயன்படுத்துகின்றனர்: விதிவிலக்குகள் புறக்கணிக்கத்தக்க (“meagre”) கணமாக அமைந்தால், ஒரு பண்பு வழக்கமான நெறிமத்துக்குப் பொருந்தும் எனப்படும். அலோன், புசிச், லிசா சாவர்மான் (Lisa Sauermann) ஆகியோரின் முந்தைய ஆய்வு, ஒரு வழக்கமான நெறிமத்துக்கு அதிகபட்சம் 2ᵈ நிறங்கள் தேவை என்று காட்டி, அது உண்மைக்கு எவ்வளவு நெருக்கமானது என்று கேட்டிருந்தது.

அடுக்குக்குறி அல்ல, நேரியல்

விடை: அதற்கு வெகு தொலைவில். புதிய ஆய்வுக் கட்டுரை நிரூபிப்பது:

• d-பரிமாண வெளியில் ஒரு வழக்கமான நெறிமத்துக்கு, 2d நிறங்கள் எப்போதும் போதும்;
• இதுவே சாத்தியமான மிகச் சிறந்தது: நெறிமங்களின் ஒரு திறந்த கணத்துக்குக் குறைந்தது 2d நிறங்கள் தேவை. எனவே சில நெறிமங்களுக்குச் சரியாக 2d தேவை.

பத்து பரிமாணங்களில், ஒரு வழக்கமான நெறிமத்துக்கு அதிகபட்சம் இருபது நிறங்கள் தேவை; வழக்கமான தூரத்துக்கோ அடுக்குக்குறி அளவில் வளரும் எண்ணிக்கை தேவை. ஆய்வாளர்களின் கூற்றுப்படி, எந்த d பரிமாணத்திலும் ஒரு “கண்டிப்பான குவிவு” (strictly convex) நெறிமத்துக்கு வண்ணமிடல் எண் துல்லியமாகக் கண்டறியப்படுவது இதுவே முதல் முறை.

கீழ்வரம்பு ஒரு நேர்த்தியான பொறியைப் பயன்படுத்துகிறது. 2d புள்ளிகளைக் கண்டறியுங்கள்; அவை அனைத்தும் ஒன்றுக்கொன்று சரியாக ஓர் அலகு தொலைவில் இருக்க வேண்டும், இரண்டைத் தவிர — a, b — அவை அரை அலகு தொலைவில் உள்ளன. முழு அமைப்பின் ஆடிப் பிம்பத்தை a வழியாகச் சேருங்கள். 2d-க்குக் குறைவான நிறங்களுடன், b-யும் அதன் ஆடிப் பிம்பமும் a-வின் நிறத்தையே எடுக்க வேண்டிய கட்டாயம் ஏற்படும் — ஆனால் அவை சரியாக ஓர் அலகு தொலைவில் உள்ளன. முரண்பாடு. நெறிமத்தில் ஏற்படும் எந்தச் சிறிய மாற்றத்துக்குப் பிறகும் இந்த அமைப்பு நிலைத்திருக்கிறது என்பதை ஒரு நிலைப்புத் துணைத்தேற்றம் (stability lemma) காட்டுகிறது.

உயர் பரிமாணங்களில் ஒரு தனிமை ஓட்டக்காரர்

மேல்வரம்பு, நன்கு தேர்ந்தெடுக்கப்பட்ட ஒரு வீழ்ப்பு (projection) ஒவ்வொரு புள்ளியையும் எங்கே கொண்டுசேர்க்கிறது என்பதைப் பொறுத்து, 1/(2d) அகலமுள்ள துண்டுகளில், அதற்கு நிறம் தருகிறது. இது வேலை செய்ய, புகழ்பெற்ற தனிமை ஓட்டக்காரர் அனுமானத்தின் (lonely runner conjecture) உயர் பரிமாண, அணி (matrix) வடிவம் என்று ஆய்வாளர்கள் விவரிக்கும் ஒரு முக்கியக் கூறு தேவை:

sup over x of minᵢ ‖aᵢ · x − bᵢ‖ ≥ k / (2n)

இங்கு ‖t‖ என்பது t-இலிருந்து மிக அருகிலுள்ள முழு எண்ணுக்கான தூரம்; k பரிமாணங்களில் உள்ள, எந்த k-வும் சார்பற்றவையாக இருக்கும் எந்த n திசையன்கள் aᵢ-க்கும் இது பொருந்தும். இந்தக் கூற்று, “பார்வைத் தடை” (view obstruction) குறித்த ஐ. ஜே. ஷோன்பெர்கின் (I. J. Schoenberg) 1978-ஆம் ஆண்டு அனுமானத்தையும் தீர்க்கிறது — முடிவிலியை நோக்கிய ஒவ்வொரு பார்வையையும் தடுக்க, கால ஒழுங்குடைய அடுக்குகள் எவ்வளவு தடிமனாக இருக்க வேண்டும் என்ற கேள்வி அது; இத்துறையின் மிகப் பழமையான தீர்க்கப்படாத சிக்கல்களில் ஒன்று என்று ஆய்வாளர்கள் அதை அழைக்கின்றனர். ஹென்ஸே (Henze), மாலிகியோசிஸ் (Malikiosis) ஆகியோரின் தொடர்புடைய ஓர் அனுமானத்தையும் இது தீர்க்கிறது.

நன்றியுரையில் ஓர் இயந்திரம்

ஆய்வாளர்கள் வெளிப்படையாகச் சொல்கின்றனர்: “நீண்ட கலந்துரையாடலுக்குப் பிறகு, தேற்றம் 1-இன் நிரூபணத்துக்கு எங்களுக்குத் தேவைப்பட்ட கடைசிக் கூறான துணைத்தேற்றம் 7-இன் நிரூபணத்தை ChatGPT 6 Pro எங்களுக்கு வழங்கியது” — அந்தக் கலந்துரையாடலில் அவர்கள் தங்கள் சொந்த அவதானிப்புகளை, தொகுத்தறிதல் (induction) யோசனையும் பொது உத்தியும் உட்பட, பகிர்ந்திருந்தனர். “கீழ்வரம்பு வாதமும் ChatGPT 6 Pro-வின் உதவியுடன் கண்டறியப்பட்டது.”

கேள்விகள் எஞ்சியுள்ளன. 2d என்ற துல்லிய மதிப்பு நெறிமங்களின் ஒரு திறந்த கணத்தில் நிரூபிக்கப்பட்டுள்ளது, எல்லா வழக்கமான நெறிமங்களுக்கும் அல்ல. சாதாரண யூக்ளிடிய தூரத்துக்கு, ஒவ்வொரு பரிமாணத்திலும் 2d-க்குக் கண்டிப்பாக அதிகமான நிறங்கள் தேவைப்படும் என்று ஆய்வாளர்கள் எதிர்பார்க்கின்றனர் — இது 2, 4, 7, 8 பரிமாணங்களிலும் 9 மற்றும் அதற்கு மேற்பட்டவற்றிலும் ஏற்கெனவே அறியப்பட்டது, ஆனால் 3, 5, 6 பரிமாணங்களில் இன்னும் தீர்க்கப்படவில்லை.