OpenAI-இன் ஓர் உள் மாதிரியிடமிருந்து பெறப்பட்ட கணித முடிவுகளின் தொகுப்பு, Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் அணுகுநிலை வலிமையைத் தீர்மானிக்கிறது. இது 1978-க்குப் பிறகு பொதுக் கோள அடுக்கல் அடுக்குக்குறியில் முதல் முன்னேற்றத்தைத் தருகிறது, அதனுடன் சரியாகப் பொருந்தும் ஒரு கீழ் வரம்பையும் தருகிறது.
தொகுப்பு என்ன, ஒரு முடிவு ஏன் தனித்து நிற்கிறது #
ஆவணம் அடக்கமாகத் தொடங்குகிறது. அது OpenAI-இன் ஓர் உள் மாதிரியிடமிருந்து பெறப்பட்ட முடிவுகளின் தொகுப்பை முன்வைக்கிறது, அவை கணிதம் மற்றும் கோட்பாட்டுக் கணினி அறிவியல் முழுவதும் பரவியுள்ளன என்கிறது. இது தோற்றம் மற்றும் பரப்பின் விவரணை, மாதிரி எவ்வாறு பயன்படுத்தப்பட்டது அல்லது அதன் வெளியீடு எவ்வாறு சரிபார்க்கப்பட்டது என்பதை அது சொல்லவில்லை. அந்தக் கேள்விகள் முக்கியமானவை, இங்கே சுருக்கப்பட்டுள்ள மூலம் அவற்றுக்குப் பதில் தரவில்லை, எனவே இந்தக் கட்டுரை வேறுவிதமாகப் பாசாங்கு செய்யாது. கூற்றுகள் ஆதரிப்பது கூறப்பட்ட முடிவுகளின் ஒரு பட்டியலை, அந்தப் பட்டியல் போதுமான அளவு நீளமானது, எனவே சுவாரசியமான கேள்வி ஏதேனும் ஒரு உருப்படி ஈர்க்கக்கூடியதா என்பதல்ல. அவற்றில் ஒன்று ஏன் பெரும்பாலான கவனத்திற்கு உரியது என்பதே கேள்வி.
காரணம், நீண்ட, பெயரிடப்பட்ட வரலாறு கொண்ட ஒரு திட்டத்தில் ஓர் அளவு சார்ந்த இடைவெளியை மூடும் ஒரே முடிவு தொகுப்பில் கோள அடுக்கல் முடிவுதான். மற்றவையும் தம்மளவில் குறிப்பிடத்தக்கவை. வெளிப்படையான ஒரு nonsofic குலம் நீண்டகாலக் கேள்வி ஒன்றுக்கு விடையளிக்கிறது. Connes-இன் ஊகத்தின் மறுப்பு, பெயர்பெற்ற ஒரு கணிதவியலாளர் முன்மொழிந்த ஒன்றைத் தீர்க்கிறது. ஆனால் கோள அடுக்கல் முடிவு ஒரு சங்கிலியின் முனையில் அமர்ந்துள்ளது: அது ஒரு Fourier-பகுப்பாய்வுக் கட்டமைப்பிலிருந்து தொடங்கி, தனித்தனிப் பரிமாணங்களில் இரண்டு புகழ்பெற்ற துல்லியத் தீர்வுகள் வழியாகச் சென்று, பல ஆண்டுகளாகத் திறந்திருந்த உயர் பரிமாணங்கள் பற்றிய ஒரு கேள்வியை அடைகிறது. அதைப் புரிந்துகொள்வது என்றால் அந்தச் சங்கிலியைப் புரிந்துகொள்வது.
எனவே தொடர்ந்து வருவதில் பெரும்பகுதி Cohn-Elkies நேரியல் நிரல் பற்றியது: அது என்ன, அதைப் பற்றி என்ன அறியப்பட்டிருந்தது, புதிய தேற்றம் என்ன சொல்கிறது, வாதத்தின் குறி-நிச்சயமின்மைப் பக்கம் எவ்வாறு அமைக்கப்பட்டுள்ளது. பின்னர் ஒரு சிறிய பகுதி தொகுப்பின் மீதமுள்ள முடிவுகளை மேலோட்டமாகப் பார்க்கிறது, ஒவ்வொன்றும் கூறப்பட்டபடியே, அதற்கு மேல் இல்லை.
Cohn-Elkies நிரலும் அது எதற்கு வரம்பிடுகிறது என்பதும் #
ஒன்றின் மேல் ஒன்று படியாத பந்துகள் வெளியை எவ்வளவு அடர்த்தியாக நிரப்ப முடியும் என்று கோள அடுக்கல் கேட்கிறது. இதற்கான குறியீட்டு முறையை ஆவணம் நிர்ணயிக்கிறது. குறைந்தது 1 தொலைவில் பிரிக்கப்பட்ட மையங்களுக்கு, ∆d என்பது Rd-இல் ஆரம்-1/2 கொண்ட பந்துகளின் மேல் அடர்த்திகளின் மேல் எல்லை. வேறுவிதமாகச் சொன்னால், ∆d என்பது Rd-இல் அதிகபட்ச கோள அடுக்கல் அடர்த்தியைக் குறிக்கிறது. தொகுப்பின் முதல் அத்தியாயத்தில் உள்ள அனைத்தும் இந்த அளவோடு ஒப்பிட்டே அளக்கப்படுகின்றன.
Cohn-Elkies நிரல் ∆d மீது ஒரு மேல் வரம்பைத் தருகிறது. அதன் உகந்த வெளியீடு LPd என எழுதப்படுகிறது, இது நிரல் வழங்கும் உகந்த அடர்த்தி வரம்பாக வரையறுக்கப்படுகிறது. அதன் இயக்கமுறை Gorbachev–Cohn-Elkies வரம்பு, இது Ad எனப்படும் ஒரு வகுப்பிலுள்ள ஒவ்வொரு f-க்கும் vd f(0)/(2d f̂(0)) என்ற அடர்த்தி மேல் வரம்பை ஒதுக்குகிறது. சொற்களில் சொன்னால், ஏற்கத்தக்க வகுப்பிலிருந்து ஒரு துணைச் சார்பு f-ஐத் தேர்ந்தெடுக்கிறீர்கள், தொடக்கப் புள்ளியில் அதன் மதிப்பையும் தொடக்கப் புள்ளியில் அதன் Fourier உருமாற்றத்தின் மதிப்பையும் கணக்கிடுகிறீர்கள், கன அளவு மற்றும் அளவுகோல் காரணிகளுடன் அந்த விகிதத்தை அமைக்கிறீர்கள், அதன் விளைவு அடுக்கல் அடர்த்தியை மேலிருந்து வரம்பிடுகிறது. இந்த வரம்பை இயன்றவரை சிறியதாக்கும் f-ஐ நேரியல் நிரல் தேடுகிறது.
இது முழுச் சிரமமும் f-ஐ நன்கு தேர்ந்தெடுப்பதில் இருக்கும் ஒரு கட்டமைப்பு. புத்திசாலித்தனமாகத் தேர்ந்தெடுக்கப்பட்ட சார்பு இறுக்கமான வரம்பைத் தருகிறது, மோசமாகத் தேர்ந்தெடுக்கப்பட்டது பலவீனமான ஆனால் இன்னும் செல்லுபடியான வரம்பைத் தருகிறது. அதனால்தான் புதிய முடிவிலுள்ள பொருந்தும் கீழ் வரம்பு அவ்வளவு முக்கியமானது. அது ஒரே நேரத்தில் ஏற்கத்தக்க ஒவ்வொரு சார்பைப் பற்றியும் பேசுகிறது, சிறந்த சார்புகளுக்கான தேடலை மூடிய கேள்வியாக மாற்றுகிறது.
கட்டமைப்பு ஏற்கெனவே சாதித்தவை #
புதிய தேற்றத்துக்குச் செல்லும் முன், Fourier-பகுப்பாய்வு நேரியல் நிரலாக்கக் கட்டமைப்பு ஏற்கெனவே என்ன வழங்கியிருந்தது என்பதைக் குறிப்பாகச் சொல்வது பயனுள்ளது, ஏனெனில் புதிய முடிவு, அது இன்னும் எவ்வளவு தூரம் செல்ல முடியும் என்பது பற்றிய கூற்றாகவும் ஓரளவு அமைகிறது.
எட்டுப் பரிமாணங்களில் E8 லேட்டிஸ் உகந்த அடுக்கலைத் தருகிறது என்று இந்தக் கட்டமைப்பைப் பயன்படுத்தி Viazovska நிறுவினார். பின்னர் Cohn, Kumar, Miller, Radchenko மற்றும் Viazovska இருபத்து நான்கு பரிமாணங்களில் Leech லேட்டிஸின் உகந்த தன்மையை நிறுவினர். இவை தனிப் பரிமாணங்களில் துல்லிய முடிவுகள், வரம்பிடும் கருவி என்ற அதன் பங்கைத் தாண்டி இந்தக் கட்டமைப்புக்கு நற்பெயர் இருப்பதற்கு இவையே காரணம். இரண்டு குறிப்பிட்ட பரிமாணங்களில் அது உண்மையான விடையைத் தொடுகிறது.
உயர் பரிமாணச் சித்திரம் தெளிவற்றதாக இருந்தது. நேரியல் நிரல் எப்போதும் குறைந்தது Kabatianskii–Levenshtein கோளக் குறியீட்டு வரம்பு அளவுக்கு வலிமையானது என்று Cohn மற்றும் Zhao நிறுவினர். இது பயனுள்ள உத்தரவாதம், ஏனெனில் Kabatianskii–Levenshtein வரம்புதான் அறியப்பட்ட சிறந்த பொது அடுக்குக்குறியாக இருந்தது. ஆனால் "குறைந்தது அதே அளவு வலிமை" என்பது இரண்டு சாத்தியங்களைத் திறந்து விடுகிறது: நிரல் அந்த அடுக்குக்குறியோடு சரியாகப் பொருந்தலாம், அல்லது அதை முறியடிக்கலாம். ஆவணம் அதன் விளைவை நேரடியாகக் கூறுகிறது. நேரியல் நிரல் மரபு உயர் பரிமாணக் கோள அடுக்கல் அடுக்குக்குறியை மேம்படுத்துகிறதா என்ற கேள்வி திறந்தே இருந்தது.
Afkhami-Jeddi, Cohn, Hartman, de Laat மற்றும் Tajdini நேரியல் நிரலின் உயர் பரிமாண வீதத்தை ஊகித்தனர். அந்த ஊகம் ஒரு எச்சரிக்கையான பொருள், மூலமும் அதை அவ்வாறே கையாள்கிறது. அது ஓர் ஊகம், ஆசிரியர்களிடம் இருந்த சான்றுகளின் ஆதரவுடன், யாரும் அதை நிறுவியிருக்கவில்லை. புதிய முடிவு அதன் நிலையை மாற்றுகிறது.
முதன்மைத் தேற்றம் #
ஆவணத்தின் முதன்மைத் தேற்றம், அந்த 2020 ஆய்வுக் கட்டுரையின் ஊகங்கள் 3.1 மற்றும் 3.2-இல் ஊகிக்கப்பட்ட அடுக்குக்குறி வீதத்தை நிறுவுகிறது. கூற்றுகள் ஆதரிக்கும் மட்டத்தில் சொன்னால்: ஆசிரியர்கள் Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியமான அடுக்குக்குறித் தேய்வு வீதத்தை நிர்ணயிக்கின்றனர். மூலத்தின் சொற்களில், நிரலின் அணுகுநிலை வலிமை துல்லியமாக நிர்ணயிக்கப்பட்டுள்ளது.
மூலத்திலிருந்து நேரடியாக இரண்டு விளைவுகள் பின்தொடர்கின்றன. முதலாவது, உயர் பரிமாணங்களில் மேம்பட்ட ஒரு பொது அடுக்கல் வரம்பு. இரண்டாவது, தொடர்புடைய Fourier குறி-நிச்சயமின்மைச் சிக்கல் அணுகுநிலையில் தீர்க்கப்படுகிறது. இவை வெவ்வேறு வகையான விளைவுகள். ஒன்று வடிவியல் பற்றியது, மற்றொன்று பகுப்பாய்வு பற்றியது, ஒரே தேற்றம் இரண்டையும் தருவது, கோள அடுக்கல் சிக்கலும் நிச்சயமின்மைச் சிக்கலும் ஒரே கட்டமைப்பின் இரு முகங்கள் என்பதற்கான முதல் குறிப்பு.
மூலம் இந்தச் சாதனையை வரலாற்றின் பின்னணியிலும் வைக்கிறது. பொதுக் கோள அடுக்கல் அடுக்குக்குறியில் 1978-க்குப் பிறகான முதல் முன்னேற்றம் என்று அது இந்த முடிவை விவரிக்கிறது. மரபான Kabatianskii–Levenshtein அடுக்குக்குறி 0.59905576... ஆக இருந்தது, அந்த எண்ணே அளவுகோலாக இருந்தது. பிந்தைய கோளக் குறியீட்டுச் செம்மைப்படுத்தல்கள் கீழ்நிலைக் காரணிகளை மட்டுமே மேம்படுத்தியிருந்தன என்று ஆவணம் பதிவு செய்கிறது. வேறுவிதமாகச் சொன்னால், முதன்மை வரிசை அளவான அடுக்குக்குறியைப் பொறுத்தவரை எதுவும் நகரவில்லை.
முடிவை மதிப்பிடுவதற்கு இந்தச் சட்டகமே சரியானது என்பது என் வாதம். கீழ்நிலை முன்னேற்றம் மாறிலிகளையும் பல்லுறுப்புக் காரணிகளையும் சீரமைக்கிறது, அடுக்குக்குறி வீதத்தை இருந்த இடத்திலேயே விட்டுவிடுகிறது. அடுக்குக்குறி முன்னேற்றம் வீதத்தையே மாற்றுகிறது. கூற்றுகள் சரியாக இந்த வேறுபாட்டை ஆதரிக்கின்றன, முந்தைய செம்மைப்படுத்தல்கள் அதன் கீழ்நிலைப் பக்கத்தில் விழுந்தன என்ற கூற்றையும் ஆதரிக்கின்றன.
| பரிமாணம் / கட்டமைப்பு | மரபு அடிப்படை (1978) | Cohn-Elkies நேரியல் நிரல் | புதிய மாதிரியின் நிரூபணம் |
|---|---|---|---|
| கோள அடுக்கல் அடுக்குக்குறி | Kabatianskii–Levenshtein வரம்பு: 0.59905576... | குறைந்தது கோளக் குறியீட்டு வரம்புகள் அளவு வலிமை (Cohn–Zhao) | Afkhami-Jeddi et al. (2020) ஊகித்த துல்லிய அணுகுநிலை வீதம் நிறுவப்பட்டது |
| வரம்பின் இறுதித்தன்மை | கீழ்நிலைக் காரணிச் செம்மைப்படுத்தல்கள் மட்டும் | அணுகுநிலை உயர் பரிமாண இடைவெளி பற்றிய திறந்த கேள்வி | துல்லியமாகப் பொருந்தும் கீழ் வரம்பு: எந்தத் துணைச் சார்பும் இந்த வீதத்தை முறியடிக்க முடியாது |
| Fourier குறி-நிச்சயமின்மை | தனித்தனிக் குறி வரம்புகள் ($A^+(d) < A^-(d)$) | anti-self-Fourier சோதனைச் சார்புகளுடன் இணைந்தது | அணுகுநிலையில் தீர்க்கப்பட்டது; குறி-நிச்சயமின்மை Mellin பிரதிபலிப்பால் கட்டுப்படுத்தப்படுகிறது |
| பிழை திருத்தும் குறியீடுகள் | மரபுக் கோள மற்றும் இரும குறியீட்டு வரம்புகள் | அடுக்கல் வரம்புகளுடன் அணுகுநிலையில் இணைந்தவை | எல்லா நிலைத் தொலைவு அளவுருக்களுக்கும் அடுக்குக்குறிக் காரணி முன்னேற்றம் |
| முறையியல் உச்சவரம்பு | பல்லுறுப்புக் காரணிகளின் எண்ணியல் உகப்பாக்கம் | துணைச் சோதனைச் சார்புகள் $f \in \mathcal{A}_d$-இன் திறந்த உகப்பாக்கம் | கணித உச்சவரம்பு நிறுவப்பட்டது: மேலும் ஆதாயங்களுக்கு Cohn-Elkies அல்லாத முறைகள் தேவை |
பொருந்தும் கீழ் வரம்பு ஏன் கேள்வியையே மாற்றுகிறது #
மேல் வரம்பு முன்னேற்றம் மட்டுமே நல்ல செய்தியாக இருந்திருக்கும். இந்த முடிவை வழக்கத்துக்கு மாறாக இறுதியானதாக்குவது அதன் இரண்டாம் பாதி. எந்த Cohn-Elkies துணைச் சார்பும் இந்த அடுக்குக்குறியை மேம்படுத்த முடியாது என்று பொருந்தும் கீழ் வரம்பு காட்டுகிறது.
இது ஆராய்ச்சித் திட்டத்துக்கு என்ன செய்கிறது என்று சிந்தியுங்கள். இந்த முடிவுக்கு முன், துணைச் சார்பை அமைப்பதற்குச் சிறந்த யோசனை கொண்ட ஓர் ஆய்வாளருக்கு, இன்னும் சிறந்த கோள அடுக்கல் அடுக்குக்குறிக்கு நம்பத்தகுந்த ஒரு வழி இருந்தது. இதற்குப் பின், அடுக்குக்குறிகளின் மட்டத்தில் அந்த வழி அடைக்கப்பட்டுவிட்டது. அடுக்குக்குறியில் மேலும் எந்த முன்னேற்றமும் Cohn-Elkies கட்டமைப்புக்கு வெளியிலிருந்தே வர வேண்டும், ஏனெனில் அதற்குள் வீதம் இப்போது துல்லியமானது.
இதை நான் மிகைப்படுத்த விரும்பவில்லை. புதிய அடுக்குக்குறிதான் உண்மையான கோள அடுக்கல் அடுக்குக்குறி என்று கூற்றுகள் சொல்லவில்லை, கோள அடுக்கலே இதைவிடச் சிறப்பாகச் செய்ய முடியாது என்றும் சொல்லவில்லை. கூற்று நேரியல் நிரல் பற்றியது: அதன் அடுக்குக்குறி உறுதியாக்கப்பட்டுவிட்டது, துணைச் சார்பை மாற்றுவதன் மூலம் அதை முறியடிக்க முடியாது. வேறொரு நுட்பம் அதை முறியடிக்க முடியுமா என்பது கூற்றுகள் தொடாத கேள்வி. இது தெளிவான ஓர் எல்லைக்கோடு, ஒரு துறைக்கு அடுத்து எங்கே பார்க்க வேண்டும் என்று சொல்லும் வகையான எல்லைக்கோடு.
முயற்சி எங்கே செல்கிறது என்பதில் அக்கறை கொண்ட வாசகர்களுக்கு, இதற்கு ஒரு வணிக நோக்கிலான வாசிப்பும் உண்டு. ஒரு முறையின் துல்லியமாக அறியப்பட்ட உச்சவரம்பு பயனுள்ள தகவல். அந்த முறைக்குள் உகப்பாக்குவதை நிறுத்துங்கள் என்று அது சொல்கிறது. ஆராய்ச்சி நேரத்தை ஒதுக்கும் எவருக்கும், "இது மேம்படலாம்" என்பதிலிருந்து "இது மேம்பட முடியாது" என்பதற்கான மாற்றம் ஒரு சாதாரண நேர்மறை முடிவுக்கு இணையான மதிப்புடையது.
கோளக் குறியீடுகளும் இரும குறியீடுகளும் #
தொகுப்பு அடுக்கலோடு நின்றுவிடவில்லை. நிலையான தொலைவு கொண்ட இரும மற்றும் கோளக் குறியீடுகளின் மரபு மேல் வரம்புகள் எல்லா அளவுருக்களுக்கும் அடுக்குக்குறிக் காரணிகளால் மேம்படுத்தப்பட்டுள்ளன. அந்த வாக்கியம் வலுவான ஓர் அளவுகாட்டியைச் சுமக்கிறது. முன்னேற்றம் அடுக்குக்குறிக் காரணிகளால் ஆனது, அது எல்லா அளவுருக்களுக்கும் பொருந்துகிறது, இது சாதகமான ஒரு வட்டாரத்தில் மட்டும் கிடைக்கும் முன்னேற்றத்தைவிட விரிவான கூற்று.
அத்தியாயம் 1-உடன் ஒரு தொடர்பும் உண்டு. கோளக் குறியீட்டு அமைப்பு அத்தியாயம் 1-இன் கோள அடுக்கல் அடுக்குக்குறியையும் மீட்டெடுக்கிறது. இவ்வாறு இரண்டு இழைகளும் இணைகின்றன: குறியீட்டுப் பக்க அமைப்பு அடுக்கல் பக்க அடுக்குக்குறியை மீண்டும் உருவாக்குகிறது. அந்த மீட்டெடுப்பின் இயக்கமுறையைக் கூற்றுகள் விவரிக்கவில்லை, நானும் ஒன்றைப் புனைய மாட்டேன். அவை நிறுவுவது, உறவு இந்தத் திசையில் செல்கிறது என்பதையும், கோள அமைப்பு அடுக்கல் அத்தியாயத்தின் அதே அடுக்குக்குறியைத் தருகிறது என்பதையும்தான்.
மேலே உள்ள வரலாற்றின் வெளிச்சத்தில் இந்தத் தொடர்பு ஏன் முக்கியம் என்பதை நினைவுகூர்வது பயனுள்ளது. Kabatianskii–Levenshtein கோளக் குறியீட்டு வரம்பு நேரியல் நிரலுக்கான ஒப்பீட்டுப் புள்ளியாக இருந்தது, நிரல் எப்போதும் குறைந்தது அதே அளவு வலிமையானது என்று Cohn மற்றும் Zhao-வின் தேற்றம் கூறியது. புதிய முடிவுகள் அடுக்கல் வரம்புகளோடு குறியீட்டு வரம்புகளையும் மேம்படுத்துகின்றன, அதுவும் மீண்டும் அடுக்கல் அடுக்குக்குறிக்கே வரும் ஓர் அமைப்பிலிருந்து. இரு பக்கங்களும் சேர்ந்தே நகர்த்தப்படுகின்றன.
குறி-நிச்சயமின்மைச் சிக்கல் #
முதன்மைத் தேற்றத்தின் இரண்டாவது விளைவு Fourier குறி-நிச்சயமின்மை பற்றியது, அதன் வடிவத்தை வரைவதற்குப் போதுமான வரையறைகளை ஆவணம் தருகிறது.
ஒரு சார்பு g-க்கு, |x| ≥ R ஆகும்போது g(x) ≥ 0 என்றவாறு அமையும் R ≥ 0-இன் கீழ் எல்லையாக r(g) வரையறுக்கப்படுகிறது. எளிய சொற்களில், r(g) என்பது அதற்கு அப்பால் g எல்லா இடங்களிலும் எதிர்மமற்றதாக இருக்கும் ஆரம். அப்படி ஓர் ஆரம் இல்லாதபோது, r(g) = ∞. தம் சொந்த Fourier உருமாற்றங்களுடன் ஒரு குறிப்பிட்ட உறவு கொண்ட சார்புகளுக்கு இந்த ஆரத்தை எவ்வளவு சிறியதாக்க முடியும் என்பதுதான் நிச்சயமின்மைச் சிக்கல்.
அந்த உறவு ஒரு குறி. ĝ = ςg என்ற நிபந்தனை ஒரு சார்பை, குறி வரை, அதன் Fourier உருமாற்றத்துடன் பிணைக்கிறது. +1 மற்றும் −1 என்ற குறிகள் முறையே மூல மற்றும் நிரப்பு நிச்சயமின்மைச் சிக்கல்களைத் தருகின்றன. Cohn மற்றும் Gonçalves anti-self-Fourier இணையான நிரப்புச் சிக்கலை அறிமுகப்படுத்தி, அதைக் கோள அடுக்கலுடன் இணைத்தனர். அந்த இணைப்புதான் கோள அடுக்கல் முடிவு நிச்சயமின்மைச் சிக்கலை அணுகுநிலையில் தீர்க்கும் பாலம்.
நிரப்புச் சிக்கல் தூய பகுப்பாய்வின் ஒரு வினோதம் அல்ல. spinless modular bootstrap-இல், modular S-எதிர்ச்சமச்சீர் anti-self-Fourier சோதனைச் சார்புகளை உருவாக்குகிறது, அவற்றின் இறுதிக் குறி spectral gap-ஐக் கட்டுப்படுத்துகிறது. இதற்கு மூலம் Hartman, Mazáč மற்றும் Rastelli-ஐயும் Afkhami-Jeddi et al. ஆய்வுக் கட்டுரையையும் மேற்கோள் காட்டுகிறது. இவ்வாறு சார்புகள் மற்றும் அவற்றின் உருமாற்றங்கள் பற்றிய கூற்றாகத் தொடங்கிய ஒரு கேள்வி, இயற்பியல் போல ஒலிக்கும் பெயர் கொண்ட ஒரு சூழலிலும், spectral gap-இல், தோன்றுகிறது. அந்த ஒற்றை வரி இயக்கமுறைக்கு அப்பால் கூற்றுகள் செல்லவில்லை, நானும் செல்ல மாட்டேன், ஆனால் நிச்சயமின்மைச் சிக்கலுக்குக் கோள அடுக்கலுக்கு வெளியேயும் துணை உண்டு என்பதை இது நினைவூட்டுகிறது.
பின்னிணைப்பு A இரண்டு சிக்கல்களுக்கும் இடையே ஓர் ஒப்பீட்டைச் சேர்க்கிறது. எல்லா d-க்கும் A+(d) < A−(d) என்று அது குறிப்பிடுகிறது. இரண்டு சிக்கல்களும் ஒவ்வொரு பரிமாணத்திலும் வேறுபடுகின்றன, முதல் அளவு இரண்டாவதைவிடக் கண்டிப்பாகச் சிறியது என்ற கூற்று இது. கூற்றுகள் இதற்கு மேலும் விளக்கம் தரவில்லை, இந்தச் சமனின்மை எந்த விதிவிலக்கும் இன்றி எல்லா d-க்கும் பொருந்துவதால் மட்டுமே கவனிக்கத்தக்கது.
வாதத்தின் உள்ளே: சராசரி, பூச்சியமாதல் மற்றும் ஒரு நிறை மதிப்பீடு #
நிச்சயமின்மைப் பகுப்பாய்வு எவ்வாறு கட்டப்பட்டுள்ளது என்ற உணர்வைத் தரும் பல தொழில்நுட்பக் கூற்றுகள் ஆவணத்தில் உள்ளன. அவை துண்டுகள், நான் அவற்றைத் துண்டுகளாகவே முன்வைப்பேன், ஆனால் ஒன்றாக அவை ஒரு முறையை வரைகின்றன.
சமச்சீரிலிருந்து தொடங்குங்கள். சுழற்சிச் சராசரி O(d) மீதான இயல்பாக்கப்பட்ட Haar அளவையைப் பயன்படுத்தி வரையறுக்கப்படுகிறது. ஒரு சார்பைச் சுழற்சிகள் மீது சராசரியாக்கினால் ஓர் ஆரைச் சார்பு கிடைக்கிறது, அவ்வாறு செய்வதன் நோக்கம், நிபந்தனைகளை உடைக்காமல் சிக்கலை எளிதாக்குவது. சுழற்சிச் சராசரி, (2) எனக் குறிக்கப்பட்ட சிக்கலின் நிபந்தனைப் பட்டியலிலுள்ள ஒவ்வொரு குறி நிபந்தனையையும் பாதுகாக்கிறது என்று மூலம் கூறுகிறது. ĝ = ςg எனில், r(Rg) ≤ r(g) என்றும் அது சேர்க்கிறது, இங்கு Rg என்பது g-இன் சுழற்சிச் சராசரி. எனவே சராசரியாக்கம் குறி ஆரத்தை ஒருபோதும் மோசமாக்குவதில்லை. மேலும், மூலத்தின் சொற்களில், g ≠ 0 இறுதியில் எதிர்மமற்றதாக இருக்கும்போதெல்லாம் Rg ≠ 0, எனவே பெரும் தொலைவில் சரியான குறி நடத்தை கொண்ட ஒரு சார்பைச் சராசரியாக்கம் அழிப்பதில்லை.
இந்த மூன்று உண்மைகளும் சேர்ந்து ஆரைச் சார்புகளுக்குக் குறைப்பதை நியாயப்படுத்துகின்றன. அந்தக் குறைப்பு ஆரத்தில் எந்த விலையும் கேட்பதில்லை, குறி நிபந்தனைகளைப் பாதுகாக்கிறது, சார்பைப் பூச்சியமாகச் சுருக்குவதில்லை. இது ஒரு நிலையான சமச்சீர் வாதத்தின் வடிவம், அதன் ஒவ்வொரு கூறையும் கூற்றுகள் உறுதிப்படுத்துகின்றன.
அடுத்து, தொடக்கப் புள்ளி. g = h − ĥ என்ற சார்பு தொடக்கப் புள்ளியில் பூச்சியமாகிறது. ஒரு நிரூபணத்தில் பெரிய வேலை செய்யும் சிறிய உண்மை இது, ஏனெனில் Cohn-Elkies வரம்பு தொடக்கப் புள்ளி மதிப்புகளை நேரடியாக உள்ளடக்குகிறது, அங்கு பூச்சியமாகும் ஒரு சார்பு அவ்வாறு ஆகாத சார்பிலிருந்து வேறுபட்டு நடந்துகொள்கிறது. தொடர்புடைய ஒரு திருத்தப் படியும் பதிவாகியுள்ளது: திருத்தப்பட்ட சார்பு gn, gn(0) = 0-ஐ நிறைவு செய்கிறது, L1-இல் gn → g. அதாவது, ஒவ்வொன்றும் தொடக்கப் புள்ளியில் பூச்சியமாகும் திருத்தப்பட்ட சார்புகளின் ஒரு தொடர், L1 பொருளில் g-ஐ நோக்கிக் குவிகிறது. இதனால் தொடக்கப் புள்ளி நிபந்தனையைச் சரியாக நிறைவு செய்தபடியே இலக்கை அண்ணளவாக்கும் சார்புகளுடன் வாதம் செயல்பட முடிகிறது.
அதன் பின் ஓர் அளவு சார்ந்த நிபந்தனை உள்ளது. நிறை மதிப்பீடு 1/a ≥ (1/π − o(1))√d-ஐக் கட்டாயமாக்குகிறது. கூற்றுகள் a-ஐ வரையறுக்கவில்லை, எனவே அது எதை அளக்கிறது என்று என்னால் சொல்ல முடியாது, நான் ஊகிக்கவும் மாட்டேன். சொல்லக்கூடியது முடிவின் வடிவம்: பரிமாணத்தின் வர்க்கமூலம் போல வளரும், மாறிலி 1/π மற்றும் மறையும் ஒரு திருத்தம் கொண்ட, 1/a மீதான ஒரு கீழ் வரம்பு. பரிமாணத்தின் வர்க்கமூல அளவுகோல் உயர் பரிமாண வடிவியலுக்கு இயல்பாகத் தோன்றும் அளவு, ஆனால் அது கோவையின் வடிவம் பற்றிய என் அவதானிப்பு, கூற்றுகள் அதை இயக்கமுறையாகக் கூறவில்லை.
Mellin சித்திரம் #
கருவித்தொகுப்பின் இன்னொரு துண்டு ஆவணத்தில் தோன்றுகிறது, ஆரை Fourier பகுப்பாய்வு இங்கே ஏன் கையாளக்கூடியதாக உள்ளது என்பதை மிகத் தெளிவாக விளக்குவது அதுவே. ஒரு Mellin உருமாற்றத்துக்குப் பிறகு, ஆரை Fourier உருமாற்றம் Mellin மாறியைப் பிரதிபலிக்கிறது. ஓர் உருமாற்றம் எவ்வாறு செயல்படுகிறது என்பது பற்றிய சுருக்கமான கூற்று இது. வழக்கமாக ஒரு தொகைச் செயலியாகவும் நேரடியாக வாதிடச் சிரமமானதாகவும் இருக்கும் ஓர் ஆரைச் சார்பின் Fourier உருமாற்றம், Mellin மாறியில் ஒரு பிரதிபலிப்பாக மாறுகிறது. செயலிகளில் பிரதிபலிப்புகள் ஏறக்குறைய மிக எளியவை.
அதே பகுதி மறுபக்கத்தில் ஒரு பகுப்பாய்வு நிபந்தனையையும் பதிவு செய்கிறது. g-இன் Schwartz தேய்வு, v → +∞ ஆகும்போது Φg-இன் விரைவான தேய்வைத் தருகிறது. இங்கு Φg என்பது Mellin பகுப்பாய்வில் பெறப்படும் பொருள், v அதன் மாறி. இந்த இணை போதனையானது: பிரதிபலிப்புப் பண்பு கட்டமைப்பைக் கையாள்கிறது, Schwartz தேய்வு முடிவிலியில் கட்டுப்பாட்டைக் கையாள்கிறது. இந்தப் பாணியிலான நிரூபணத்துக்கு இரண்டும் தேவை, ஏனெனில் தேய்வு இல்லாத கட்டமைப்பு குவியாமல் போகக்கூடிய தொகைகளை விட்டுச் செல்கிறது, கட்டமைப்பு இல்லாத தேய்வு கணக்கிட எதையும் விட்டுச் செல்வதில்லை.
Sd என்பது அலகுக் கோளத்தின் பரப்பளவு என்றும் ஆவணம் குறிப்பிடுகிறது, ஆரைத் தொகைகள் கோளத்துக்கும் கோட்டுக்கும் இடையே மாற்றப்படும்போது அது ஓர் இயல்பாக்கக் காரணியாக நுழைகிறது. இது வரையறை சார்ந்த ஒரு விஷயம், இறுதி வரம்பின் மாறிலிகள் சரியாக வருகின்றனவா என்பதைத் தீர்மானிக்கும் கணக்குவழக்கு வகையைச் சேர்ந்தது.
இந்தத் துண்டுகள் என்ன என்பதில் நான் தெளிவாக இருக்க விரும்புகிறேன். அவை நிரூபணம் அல்ல. கூற்றுகள் வருவிப்புகளை அல்ல, கூற்றுகளையே தருகின்றன, எந்த வாசகரும் அவற்றிலிருந்து முழு வாதத்தையும் மீட்டமைக்கக் கூடாது. அவை காட்டுவது, பகுப்பாய்வு சமச்சீர் வழிக் குறைப்பு, ஒரு தொடக்கப் புள்ளி நிபந்தனை, ஓர் அளவு சார்ந்த நிறை மதிப்பீடு, மாறி மாற்றத்துக்குப் பின் செயல் எளிதாகும் ஓர் உருமாற்றம் ஆகியவற்றை இணைக்கிறது என்பதைத்தான். Fourier-பகுப்பாய்வுத் தீவிரநிலைச் சிக்கல்களுக்கு இந்தக் கலவை வழக்கமானது, இது இறுதி முடிவின் துல்லியத்தைக் குறைவாக அல்ல, மேலும் குறிப்பிடத்தக்கதாகவே ஆக்குகிறது. நிலையானவை போலத் தோன்றும் கருவிகளே கூர்மையான விடையை அடையப் போதுமானவையாக இருந்தன.
தொகுப்பின் மீதி #
கோள அடுக்கல் அத்தியாயம் ஆவணத்தின் ஒரு பகுதி மட்டுமே, மீதமுள்ள முடிவுகள் நியாயமான கணக்கீட்டுக்கு உரியவை. ஒவ்வொன்றும் இங்கே கூற்றுகள் தருவது போலவே கூறப்பட்டுள்ளது.
குலக் கோட்பாட்டில், வெளிப்படையான ஒரு nonsofic குலம் அமைக்கப்பட்டுள்ளது, இது எண்ணத்தக்க ஒவ்வொரு குலமும் sofic ஆனதா என்ற நீண்டகாலக் கேள்விக்கு விடையளிக்கிறது. நிரூபணம் Kun மற்றும் Kun–Thom-இன் பணியை ஒரு சேர்வியல் expander-matching வாதத்துடன் இணைக்கிறது, இது இரும Leavitt இயற்கணிதம் மற்றும் Thompson-இன் குலம் V-ஐப் பயன்படுத்தி நிறைவேற்றப்படுகிறது. இங்கே "வெளிப்படையான" என்ற சொல் எடை சுமக்கிறது: முடிவு ஓர் அமைப்பு, இருப்பு வாதம் அல்ல.
செயலி இயற்கணிதத்தில், property (T) கொண்ட, ஜோடியாக ஒத்தமைவற்ற எண்ணற்ற குலங்கள் ஒரே குல von Neumann இயற்கணிதத்துடன் அமைக்கப்பட்டுள்ளன. இது Connes-இன் ஊகத்தை மறுக்கிறது, Popa-வின் தொடர்புடைய finite-to-one கேள்விக்கு விடையளிக்கிறது. ஒரே அமைப்பால் பெயரிடப்பட்ட இரண்டு கேள்விகள் வீழ்கின்றன.
எண்கணிதச் சிக்கலியலில், ஆவணம் permanent-க்குக் கீழ் வரம்புகளைத் தருகிறது. division-free சுற்றுகளுக்கு Ω(n² log log n) வாயில்கள் தேவை, சூத்திரங்களுக்கு Ω(n⁴ / log n) இலைகள் தேவை. இவை இரண்டு கணிப்பு மாதிரிகளுக்கான இரண்டு வரம்புகள், ஆவணம் இவற்றை அருகருகே கூறுகிறது.
குவாண்டம் தகவலில், ஒவ்வொரு முடிவுள்ள இரு-ஆட்டக்காரர் entangled விளையாட்டுக்கும் அடுக்குக்குறி இணை மீள்செய்கை நிறுவப்பட்டுள்ளது. இது மரபு மீள்செய்கைக் கோட்பாட்டை, முன்பு கையாளப்பட்ட குவாண்டம் விளையாட்டுகளின் சிறப்பு வகுப்புகளுக்கு அப்பால் நீட்டிக்கிறது என்று மூலம் கூறுகிறது. அளவுகாட்டி மீண்டும் தனித்து நிற்கிறது: ஒவ்வொரு முடிவுள்ள இரு-ஆட்டக்காரர் entangled விளையாட்டும், எந்தச் சிறப்பு வகுப்புக் கட்டுப்பாடும் இன்றி.
அண்ணளவாக்கலின் கடினத்தன்மையில், 3SAT-இலிருந்து ஒரு நேரடிக் குறைப்பு Euclidean closest vector problem-க்கு n^(1/400)-காரணிக் கடினத்தன்மையைத் தருகிறது, இரும குறிவிலக்கல் மற்றும் பிற லேட்டிஸ் நெறிமங்களுக்குத் தொடர்புடைய விளைவுகளுடன். 1/400 என்ற அடுக்குக்குறி சிறியது, அதை அலங்கரிப்பதைவிட எழுதியபடியே தெரிவிக்க விரும்புகிறேன். கூற்றுகள் இந்தக் குறைப்பை நேரடியானது என்கின்றன, இரும குறிவிலக்கல் மற்றும் பிற நெறிமங்களுக்கான விளைவுகளை இணைக்கின்றன.
குவிவு வடிவியலில், தம் ஈர்ப்பு மையமே தம் ஒரே உள் லேட்டிஸ் புள்ளியாக உள்ள குவிவு உடல்களுக்கு, (n + 1)^n / n! என்ற கூர்மையான கன அளவு மேல் வரம்பு ஒவ்வொரு பரிமாணத்திலும் நிறுவப்பட்டுள்ளது. கூர்மையும் எல்லாப் பரிமாணப் பொதுமையும் இரண்டுமே கூற்றின் பகுதி.
Ramsey கோட்பாட்டில், ஒரு புதிய superexponential கீழ் வரம்பு Rk(3) என்பது k^Θ(k) போல வளர்கிறது என்று காட்டுகிறது. தீவிரநிலை வரைபடக் கோட்பாட்டில், தனித்தனி இருகூறு வரைபட அமைப்புகள் இரண்டு ஊகங்களை மறுக்கின்றன: Erdős மற்றும் Simonovits-இன் compactness ஊகம், Erdős-இன் ஒரு degeneracy ஊகம்.
தொகுப்பை முழுமையாக வாசித்தல் #
இந்தப் பட்டியலைக் கோப்பை அலமாரி போலக் கையாள்வது எளிது, எனவே அதிலிருந்து எதை முடிவு செய்யலாம், எதை முடியாது என்று சொல்வது பயனுள்ளது.
சொல்லக்கூடியது: ஆவணம் குறைந்தது எட்டுத் துறைகளில் முடிவுகளைத் தெரிவிக்கிறது, அவற்றில் பல பெயரிடப்பட்ட ஊகங்களுக்கு விடையளிப்பவையாக அல்லது அவற்றை மறுப்பவையாக விவரிக்கப்படுகின்றன, கோள அடுக்கல் அத்தியாயம் ஒரு பொருந்தும் கீழ் வரம்புடன் வருகிறது, அது அதன் முடிவை அதன் கட்டமைப்புக்குள் இறுதியானதாக்குகிறது. தொடர்புடைய ஊகங்கள் Connes, Popa, Erdős மற்றும் Simonovits ஆகியோரின் பெயர்களைத் தாங்குகின்றன, கோள அடுக்கல் வீதத்தை Afkhami-Jeddi, Cohn, Hartman, de Laat மற்றும் Tajdini ஊகித்தனர். பெயரிடப்பட்ட கேள்விகளைத் தீர்க்கும் முடிவுகளை மதிப்பிடுவது எளிது, ஏனெனில் விடை இருப்பதற்கு முன்பே கேள்வி கேட்கப்பட்டிருந்தது.
இந்தக் கூற்றுகளை மட்டும் வைத்துச் சொல்ல முடியாதது: மாதிரி எவ்வாறு செயல்படுகிறது, அதற்கு எத்தனை முயற்சிகள் தேவைப்பட்டன, அதன் வெளியீடு எவ்வாறு சரிபார்க்கப்பட்டது, மனித முயற்சியுடன் அது எவ்வாறு ஒப்பிடப்படுகிறது என்பவை. முடிவுகள் OpenAI-இன் ஓர் உள் மாதிரியால் பெறப்பட்டவை என்று மூலம் கூறுகிறது, கூற்றுகள் அங்கேயே நிற்கின்றன. இயந்திரக் கணிதம் பற்றிய சான்றாக இந்தத் தொகுப்பின் முக்கியத்துவத்தை எடைபோட விரும்பும் வாசகருக்குக் கூற்றுகளில் இல்லாத தகவல் தேவை. அந்த இடைவெளியை நம்பத்தகுந்ததாக ஒலிக்கும் கதையால் நிரப்பும் ஆசையை நான் தவிர்ப்பேன்.
இருப்பினும் எடுக்கத்தக்க ஒரு நிலைப்பாடு உண்டு. முடிவுகள் நுட்பத்தில் பன்முகமானவை: nonsofic குலம் இரும Leavitt இயற்கணிதத்தையும் Thompson-இன் குலம் V-ஐயும் பயன்படுத்துகிறது, கோள அடுக்கல் முடிவு Fourier பகுப்பாய்வையும் Mellin உருமாற்றங்களையும் பயன்படுத்துகிறது, closest vector கடினத்தன்மை 3SAT-இலிருந்து ஒரு குறைப்பைப் பயன்படுத்துகிறது. இவ்வளவு தொழில்நுட்பப் பரப்பைத் தழுவும் தொகுப்பு, மீண்டும் மீண்டும் பயன்படுத்தப்பட்ட ஒரே தந்திரத்தின் விளைபொருள் அல்ல. இந்த முடிவுகளை உருவாக்கியது எதுவாயினும், அது பல கணித வட்டார மொழிகளில் இயங்கிக்கொண்டிருந்தது, கூற்றுகள் குறைந்தது அந்த அளவை ஆதரிக்கின்றன.
துறைவாரியாக இதன் பொருள் #
உயர் பரிமாண Cohn-Elkies தேய்வு வீதத்தின் துல்லிய நிர்ணயமும் உடன் வரும் கணித முடிவுகளும் பல கோட்பாட்டு மற்றும் பயன்பாட்டுக் கணிப்புத் துறைகளில் தாக்கம் செலுத்துகின்றன.
தூய கணிதமும் தனித்த வடிவியலும் #
உயர் பரிமாண வடிவியல் மற்றும் இசைப் பகுப்பாய்வில் பணியாற்றும் கணிதவியலாளர்களுக்கு, துல்லியமான Cohn-Elkies தேய்வு வீதத்தின் நிர்ணயம் ஆராய்ச்சி நிலப்பரப்பை மாற்றுகிறது. $\mathcal{A}_d$-இல் உள்ள எந்தத் துணைச் சார்பும் புதிய அடுக்குக்குறியை முறியடிக்க முடியாது என்று பொருந்தும் கீழ் வரம்பு நிறுவுவதால், மரபு நேரியல் நிரலாக்கக் கட்டமைப்புக்குள் சிறந்த ஆரைச் சோதனைச் சார்புகளைத் தேடுவதை ஆய்வாளர்கள் நிறுத்தலாம். அடர்த்தியான கோள அடுக்கல்கள் அல்லது இறுக்கமான பொது வரம்புகளை நோக்கிய முன்னேற்றம் இனி நேரியலல்லாத நிரலாக்க நுட்பங்கள், உயர்வரிசை semidefinite படிநிலைகள், அல்லது அடிப்படையிலேயே வேறுபட்ட வடிவியல் அமைப்புகளை ஆராய வேண்டும்.
மறையியலும் லேட்டிஸ் அடிப்படையிலான பாதுகாப்பும் #
ML-KEM மற்றும் ML-DSA போன்ற குவாண்டத்துக்குப் பிந்தைய தரநிலைகளின் மையமாக அமையும் லேட்டிஸ் அடிப்படையிலான மறையியல், உயர் பரிமாண Euclidean லேட்டிஸ்களில் மிகக் குறுகிய அல்லது மிக அருகிலுள்ள திசையன்களைக் கண்டறிவதன் ஊகிக்கப்பட்ட கடினத்தன்மையைப் பெரிதும் சார்ந்துள்ளது. Euclidean Closest Vector Problem (CVP)-க்கு $n^{1/400}$-காரணிக் கடினத்தன்மையை நிறுவும் 3SAT-இலிருந்தான நேரடிக் குறைப்பு, கோள அடுக்கல்கள் மற்றும் கோளக் குறியீடுகள் மீதான இறுக்கமான அடுக்குக்குறி உச்சவரம்புகளுடன் சேர்ந்து, உறுதியான பாதுகாப்பு அளவுருக்களைப் பலவீனப்படுத்தாமல், worst-case-to-average-case லேட்டிஸ் குறைப்புகளின் கோட்பாட்டு அடித்தளங்களை உறுதிப்படுத்துகிறது.
தானியங்கித் தேற்ற நிரூபணமும் அடிப்படை மாதிரிகளும் #
பகுத்தறிவு அமைப்புகளையும் தானியங்கித் தேற்ற நிரூபிகளையும் உருவாக்கும் ஆராய்ச்சிக் குழுக்களுக்கு, தொகுப்பின் பரப்பும் தொழில்நுட்ப ஆழமும் ஒரு குறிப்பிடத்தக்க அளவுகோலை வழங்குகின்றன. அறியப்பட்ட நிரூபணங்களின் செயற்கை மாறுபாடுகளை உருவாக்குவதற்குப் பதிலாக, உள் மாதிரி குலக் கோட்பாடு (Thompson-இன் குலம் V வழியாக வெளிப்படையான ஒரு nonsofic குலத்தை அமைத்தல்), செயலி இயற்கணிதம் (Connes-இன் ஊகத்தை மறுத்தல்), எண்கணிதச் சிக்கலியல் (permanent கீழ் வரம்புகள்) ஆகியவற்றில் பரவிய திறந்த சிக்கல்களை எதிர்கொண்டது. சரிபார்ப்பும் நிரூபணச் சோதனையும் கண்டிப்பாக இருக்கும் வரை, நரம்பியல் கட்டமைப்புகள் ஆழமான Fourier பகுப்பாய்வையும் சேர்வியல் matching-ஐயும் கையாள முடியும் என்பதை இது காட்டுகிறது.
முடிவுரை #
Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியத் தேய்வு வீதத்தின் நிர்ணயம், வடிவியல் பகுப்பாய்வில் ஒரு பெரிய அத்தியாயத்தை மூடுகிறது. Afkhami-Jeddi, Cohn, Hartman, de Laat மற்றும் Tajdini ஆகியோரின் 2020 ஊகத்தை நிறுவி, 1978-க்குப் பிறகு பொதுக் கோள அடுக்கல் அடுக்குக்குறியில் முதல் முன்னேற்றத்தை நிலைநாட்டுவதன் மூலம், இந்தப் பணி அசைக்க முடியாத ஒரு கணித அடிப்படையை நிறுவுகிறது. எந்த Cohn-Elkies துணைச் சார்பும் மேலும் அடுக்குக்குறி ஆதாயங்களைத் தர முடியாது என்பதைப் பொருந்தும் கீழ் வரம்பு உறுதிப்படுத்துவதால், இந்தத் தேற்றம் நேரியல் நிரலின் அணுகுநிலை வலிமையைத் தீர்க்கவும் செய்கிறது, உயர் பரிமாண வடிவியலின் எதிர்காலத்தை அடிப்படையிலேயே புதிய பகுப்பாய்வுத் தொடுவானங்களை நோக்கித் திருப்பவும் செய்கிறது.
அடிக்கடி கேட்கப்படும் கேள்விகள் #
Kabatianskii–Levenshtein வரம்பின் முக்கியத்துவம் என்ன?
1978-இல் நிறுவப்பட்ட Kabatianskii–Levenshtein வரம்பு, உயர் பரிமாணங்களில் கோள அடுக்கல் அடர்த்தி மீது 0.59905576... என்ற அணுகுநிலை மேல் வரம்பு அடுக்குக்குறியைத் தந்தது. நான்கு பத்தாண்டுகளுக்கும் மேலாக, பிந்தைய செம்மைப்படுத்தல்கள் கீழ்நிலை இயற்கணிதக் காரணிகளை மட்டுமே மேம்படுத்தின, முதன்மை அடுக்குக்குறி வீதம் இந்த முடிவு வரை தொடப்படாமல் இருந்தது.
பொருந்தும் கீழ் வரம்பு ஏன் அவ்வளவு முக்கியமானது?
மேல் வரம்பு மட்டும் நேரியல் நிரல் எதைச் சாதிக்கிறது என்பதைக் காட்டுகிறது, ஆனால் பொருந்தும் கீழ் வரம்பு, Cohn-Elkies ஏற்கத்தக்க வகுப்பு A(d)-இல் துணைச் சார்பு f-இன் எந்தத் தேர்வும் இதைவிடச் சிறிய அடுக்குக்குறியைத் தர முடியாது என்று நிறுவுகிறது. இது நேரியல் நிரலாக்கக் கட்டமைப்பின் மீதே ஒரு முழுமையான உச்சவரம்பை நிலைநாட்டுகிறது.
Fourier குறி-நிச்சயமின்மைச் சிக்கல் கோள அடுக்கலுடன் எவ்வாறு தொடர்புடையது?
நிரப்பு Fourier குறி-நிச்சயமின்மைச் சிக்கல் (இங்கு g_hat = -g) கோள அடுக்கல் வரம்புகளுடன் நெருக்கமாக இணைந்தது என்று Cohn மற்றும் Gonçalves நிறுவினர். சுழற்சிச் சராசரி மற்றும் Mellin-உருமாற்றப் பிரதிபலிப்புகள் வழியாக, Cohn-Elkies நிரலின் அணுகுநிலைத் தீர்வு Fourier குறி-நிச்சயமின்மைச் சிக்கலை நேரடியாகத் தீர்க்கிறது.
இந்த முடிவு லேட்டிஸ் அடிப்படையிலான மறையியலைப் பாதிக்கிறதா?
இல்லை. உயர் பரிமாணங்களில் கோளங்கள் எவ்வளவு அடர்த்தியாக அடுக்கப்படலாம் என்பதன் மேல் வரம்புகளை இந்தத் தேற்றம் கூர்மையாக்குகிறது, Closest Vector Problem-க்கு $n^{1/400}$-காரணிக் கடினத்தன்மையை நிறுவுகிறது, ஆனால் பல்லுறுப்பு-நேர லேட்டிஸ் குறைப்பு வழிமுறைகளை அது வழங்கவில்லை. நடைமுறை லேட்டிஸ் மறையமைப்புகள் அறியப்பட்ட குவாண்டம் மற்றும் மரபுத் தாக்குதல்களுக்கு எதிராகப் பாதுகாப்பாகவே உள்ளன.
துணைநூற்பட்டியல் #
- Nima Afkhami-Jeddi et al., (2020). உயர் பரிமாணக் கோள அடுக்கல்களும் modular bootstrap-உம் ⧉. Journal of High Energy Physics.
- Henry Cohn and Noam Elkies, (2003). கோள அடுக்கல்கள் மீதான புதிய மேல் வரம்புகள் I ⧉. Annals of Mathematics.
- Henry Cohn and Felipe Gonçalves, (2019). Fourier பகுப்பாய்வில் ஓர் உகந்த நிச்சயமின்மைக் கோட்பாடு ⧉. PNAS.
- Henry Cohn and Yufei Zhao, (2014). கோளக் குறியீடுகள் வழியாகக் கோள அடுக்கல் வரம்புகள் ⧉. Duke Mathematical Journal.
- G. A. Kabatianskii and V. I. Levenshtein, (1978). கோளத்தின் மீதும் வெளியிலும் அடுக்கல்களுக்கான வரம்புகள் ⧉. Problems of Information Transmission.
- Maryna S. Viazovska, (2017). பரிமாணம் 8-இல் கோள அடுக்கல் சிக்கல் ⧉. Annals of Mathematics.
கடைசியாக மதிப்பாய்வு செய்யப்பட்டது .
கடைசியாக மதிப்பாய்வு செய்யப்பட்டது .
இந்தக் கட்டுரையைக் குறுக்கு-பதிவிடுங்கள்
Medium-க்கு வடிவமைத்து நகலெடு
# Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau > Originally published at [https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/](https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/) OpenAI-இன் உள் மாதிரி Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியத் தேய்வு வீதத்தை நிர்ணயித்தது: 1978-க்குப் பின் பொது அடுக்குக்குறியில் முதல் முன்னேற்றம். Read the full article on sebastienrousseau.com: https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/
Mastodon-க்கு வடிவமைத்து நகலெடு
Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau OpenAI-இன் உள் மாதிரி Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியத் தேய்வு வீதத்தை நிர்ணயித்தது: 1978-க்குப் பின் பொது அடுக்குக்குறியில் முதல் முன்னேற்றம். https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/
LinkedIn-க்கு வடிவமைத்து நகலெடு
Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau OpenAI-இன் உள் மாதிரி Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியத் தேய்வு வீதத்தை நிர்ணயித்தது: 1978-க்குப் பின் பொது அடுக்குக்குறியில் முதல் முன்னேற்றம். முக்கிய மூலோபாயக் கருத்துகள் இங்கே: - தொகுப்பு என்ன, ஒரு முடிவு ஏன் தனித்து நிற்கிறது. ஆவணம் அடக்கமாகத் தொடங்குகிறது. - Cohn-Elkies நிரலும் அது எதற்கு வரம்பிடுகிறது என்பதும். ஒன்றின் மேல் ஒன்று படியாத பந்துகள் வெளியை எவ்வளவு அடர்த்தியாக நிரப்ப முடியும் என்று கோள அடுக்கல் கேட்கிறது. - கட்டமைப்பு ஏற்கெனவே சாதித்தவை. புதிய தேற்றத்துக்குச் செல்லும் முன், Fourier-பகுப்பாய்வு நேரியல் நிரலாக்கக் கட்டமைப்பு ஏற்கெனவே என்ன வழங்கியிருந்தது என்பதைக் குறிப்பாகச் சொல்வது பயனுள்ளது, ஏனெனில் புதிய முடிவு, அது இன்னும் எவ்வளவு தூரம் செல்ல… - முதன்மைத் தேற்றம். ஆவணத்தின் முதன்மைத் தேற்றம், அந்த 2020 ஆய்வுக் கட்டுரையின் ஊகங்கள் 3.1 மற்றும் 3.2-இல் ஊகிக்கப்பட்ட அடுக்குக்குறி வீதத்தை நிறுவுகிறது. இந்தக் கட்டுரையில் விவரிக்கப்பட்ட சவால்களுக்கு உங்கள் நிறுவனத்தின் அணுகுமுறை என்ன? → https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/ #Openaiஉள்மாதிரி #CohnElkies #கோளஅடுக்கல் #நேரியல்நிரல் #தேய்வுவீதம் Sebastien Rousseau | CC-BY-4.0
இந்தக் கட்டுரையை மேற்கோள் காட்டுங்கள்
Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau
OpenAI-இன் உள் மாதிரி Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியத் தேய்வு வீதத்தை நிர்ணயித்தது: 1978-க்குப் பின் பொது அடுக்குக்குறியில் முதல் முன்னேற்றம்.
BibTeX
@online{rousseau2026cohn,
author = {Rousseau, Sebastien},
title = {{Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau}},
year = {2026},
url = {https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/},
urldate = {2026}
}RIS
TY - GEN AU - Rousseau, Sebastien TI - Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau PY - 2026 UR - https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/ ER -
Vancouver
Rousseau S. Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau. sebastienrousseau.com. 2026 Oct 5. Available from: https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/
Chicago
Rousseau, Sebastien. "Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau." sebastienrousseau.com. October 5, 2026. https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/.
APA
Rousseau, S. (2026, October 5). Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau. sebastienrousseau.com. https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/
இந்தக் கட்டுரையை மறுபிரசுரம் செய்யுங்கள்
Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau
OpenAI-இன் உள் மாதிரி Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியத் தேய்வு வீதத்தை நிர்ணயித்தது: 1978-க்குப் பின் பொது அடுக்குக்குறியில் முதல் முன்னேற்றம்.
இந்தக் கட்டுரை பின்வரும் உரிமத்தின் கீழ் வழங்கப்படுகிறது Creative Commons Attribution 4.0 International. மறுபிரசுரத்திற்கு நியமன URL-க்கு காரணப்பொறுப்பு தேவை.
Cohn-Elkies கோள அடுக்கலின் துல்லியத் தேய்வு வீதம்: OpenAI உள் மாதிரி — Sebastien Rousseau OpenAI-இன் உள் மாதிரி Cohn-Elkies கோள அடுக்கல் நேரியல் நிரலின் துல்லியத் தேய்வு வீதத்தை நிர்ணயித்தது: 1978-க்குப் பின் பொது அடுக்குக்குறியில் முதல் முன்னேற்றம். Originally published at https://sebastienrousseau.com/ta/2026-10-05-cohn-elkies-kola-atukkalin-thulliyath-theyvu/ by Sebastien Rousseau. Licensed under CC-BY-4.0.