ஜீட்டாவின் பூஜ்ஜியங்களில் 83.9%க்கும் மேல் தனித்துவமானவை

ரீமான் ஜீட்டா சார்புக்கு முடிவிலா எண்ணிக்கையில் “அற்பமற்ற” பூஜ்ஜியங்கள் உள்ளன; அவை கலப்பெண் தளத்தில் சார்பு மறையும் புள்ளிகள். அவை குறித்த இரண்டு கேள்விகள் இன்னும் திறந்தே உள்ளன. அவை அனைத்தும், மெய்ப்பகுதி அரைக்குச் சமமாக இருக்கும் முக்கியக் கோட்டின் (critical line) மீது உள்ளனவா? அதுதான் ரீமான் கருதுகோள். அவை அனைத்தும் எளியவையா — ஒவ்வொரு பூஜ்ஜியமும் ஒரே புள்ளியில் அடுக்கப்பட்ட இரண்டு அல்லது அதற்கு மேற்பட்டவை அல்லாமல் ஒற்றைப் பூஜ்ஜியமா? அதுதான் எளிய பூஜ்ஜிய ஊகம். கட்டுரையின்படி, இவற்றில் ஒரு கூற்று மற்றதைக் குறிக்கிறதா என்று யாருக்கும் தெரியாது.

3 × 10¹² உயரம் வரை, பூஜ்ஜியங்கள் கோட்டின் மீது உள்ளன, எளியவை என்று கணினிகள் சரிபார்த்துள்ளன. அதற்கு அப்பால், கணிதவியலாளர்கள் விகிதங்களை நிரூபிக்கின்றனர்: அனைத்துப் பூஜ்ஜியங்களிலும் குறைந்தது இவ்வளவு பங்கு அந்தப் பண்பைக் கொண்டுள்ளது.

தசம இலக்கங்களில் அளக்கப்படும் போட்டி

நார்வேயின் கிறிஸ்டியான்சாண்டைச் சேர்ந்த கிறிஸ்டியான் முரி க்னாவுஸ்கார்ட், சமீபத்திய வரலாற்றை விரிவாக விவரிக்கிறார். தனித்துவமான பூஜ்ஜியங்களின் நிரூபிக்கப்பட்ட பங்குகள் 63.9%இலிருந்து 70%க்குச் சென்றன; பின்னர், Claude (Anthropic) கையொப்பமிட்ட ஒரு முன்பதிப்புக்குக் கட்டுரை காரணம் காட்டும், கணிதவியலாளர்கள் அல்போகே, ஃபர்மன் ஆகியோரால் சரிபார்க்கப்பட்ட, லாம்சூரியால் மீண்டும் நிரூபிக்கப்பட்ட ஒரு வாதத்துடன் 83.625% க்குத் தாவின. சிறு முன்னேற்றங்கள் தொடர்ந்தன; ஆசிரியரின் சொந்த முந்தைய கட்டுரையின் 83.6993% உட்பட.

எளியவையாகவும் முக்கியக் கோட்டின் மீதும் உள்ள பூஜ்ஜியங்களுக்கு, 0.67300 முதல் 0.673492 வரையிலான ஒரு டஜனுக்கும் மேற்பட்ட அறிவிக்கப்பட்ட மதிப்புகளைக் கட்டுரையின் அறிமுகம் பட்டியலிடுகிறது; அவற்றில் பல ஆகஸ்ட் முதல் அக்டோபர் 2026 வரை பொதுக் குறியீட்டுக் களஞ்சியங்களில் வெளியிடப்பட்டவை, மதிப்பாய்வு செய்யப்படாதவை. இந்த மதிப்புகள் கட்டுரைக்காகச் சரிபார்க்கப்படவில்லை என்றும், அதன் எந்த முடிவும் அவற்றைச் சார்ந்திருக்கவில்லை என்றும் ஆசிரியர் கூறுகிறார்.

புதிய வரம்புகள்

ரீமான் கருதுகோளையோ நிரூபிக்கப்படாத வேறு எந்தக் கூற்றையோ அனுமானிக்காமல், கட்டுரை பின்வருவனவற்றை நிரூபிக்கிறது:

• பூஜ்ஜியங்களில் **83.900%**க்கும் மேல் தனித்துவமானவை (சரியான வரம்பு 1645064/1960733);
• இதன் விளைவாக, **67.80%**க்கும் மேல் எளியவை;
• **67.353%**க்கும் மேல் எளியவையாகவும் மற்றும் முக்கியக் கோட்டின் மீதும் உள்ளன;
• குறைந்தது 88.93% எளியவை அல்லது கோட்டின் மீது உள்ளன; எனவே கோட்டுக்கு வெளியேயும் மீண்டும் வருபவையாகவும் உள்ள பூஜ்ஜியங்கள் அதிகபட்சம் 11.07% மட்டுமே.

மீண்டும் வரும் பூஜ்ஜியங்களுக்கு ஆற்றல் செலவாகிறது

கருத்து ஒரே படத்தில் அடங்குகிறது. நூலில் கோர்த்த மணிகள் போல, சராசரியாக ஓர் அலகு இடைவெளியில் இருக்கும்படி பூஜ்ஜியங்களை மறுஅளவிடுங்கள். பூஜ்ஜிய ஜோடிகள் எப்படிப் பரவியுள்ளன என்பது குறித்த மான்ட்கோமரியின் தேற்றம், எல்லா ஜோடிகளின் மீதும் கூட்டப்படும் மொத்த “ஆற்றலை” அணுகுமுறையாக நிர்ணயிக்கிறது. d முறை மீண்டும் வரும் ஒரு பூஜ்ஜியம் இந்த ஆற்றலுக்கு d² பங்களிக்கிறது. அண்டைப் பூஜ்ஜியங்களும் தங்கள் மேற்பொருந்தல்கள் மூலம் அதில் சிலவற்றைப் பயன்படுத்துகின்றன.

எனவே அண்டையவை கட்டாயம் நிறைய ஆற்றலைப் பயன்படுத்துகின்றன என்று நிரூபிக்க முடிந்தால், மீண்டும் வரும் பூஜ்ஜியங்களுக்குக் குறைவே மிஞ்சும். நிரூபணம் இதை மூன்று படிகளில் செய்கிறது:

1. ஒன்றுக்கொன்று குறைந்தபட்சத் தொலைவைக் கடைப்பிடிக்கும் பூஜ்ஜியங்கள், பெரும் சல்லடை (large sieve) எனப்படும் ஒரு சமனின்மையின் உதவியுடன் துல்லியமாகக் கையாளப்படுகின்றன.
2. கணினி உதவியுடன் நிரூபிக்கப்பட்ட, அடுத்தடுத்த ஏழு பூஜ்ஜியங்கள் மீதான ஒரு சமனின்மை, எளிய பூஜ்ஜியங்களை விட இரட்டைப் பூஜ்ஜியங்களுக்கு அதிக வெகுமதி அளிக்கிறது. கோட்டின் நெடுகிலும் கூட்டப்படும்போது அதன் திருத்த உறுப்புகள் ஒன்றையொன்று ரத்து செய்கின்றன.
3. கவனமாக வடிவமைக்கப்பட்ட ஒரு சோதனைச் சார்பு, “சாளரம்”, இந்த வெகுமதியை இயன்றவரை பெரிதாக்குகிறது.

இந்தச் சிக்கலை, எளிய, இரட்டைப் பூஜ்ஜியங்கள் என இரண்டு வகைத் துகள்கள் கொண்ட ஒருபரிமாண வாயுவின் மிகக் குறைந்த ஆற்றல் நிலையைக் கண்டுபிடிப்பதுடன் கட்டுரை ஒப்பிடுகிறது.

கணினி சரிபார்த்ததும், சரிபார்க்காததும்

ஏழு-புள்ளிச் சமனின்மைக்கு, சாத்தியங்களின் 60,467,309 பெட்டிகளை ஆராய வேண்டியிருந்தது; ஒரு தோல்வியும் இல்லை. முக்கியக் கோட்டு முடிவுக்கு 535 மில்லியனுக்கும் மேல் தேவைப்பட்டன. அனைத்து முதன்மைத் தேற்றங்களும் நிரூபணச் சரிபார்ப்பு மென்பொருளான Lean 4 இல், ஏற்கனவே உள்ள சுமார் 102,000 வரி நூலகத்தின் மேல் சுமார் 13,300, 10,000 வரிகளில் முறைப்படுத்தப்பட்டுள்ளன; ஜீட்டாவின் பூஜ்ஜியங்கள் குறித்த கூற்றுகள் Lean இன் கணித நூலகத்தில் வரையறுக்கப்பட்டபடி.

ஆசிரியர் ஓர் இடைவெளியை வெளிப்படையாகக் கூறுகிறார். ஒவ்வொரு தேற்றமும், ஒரு தேடல் நிரல் “உண்மை” (true) என்று திருப்பியதைப் பதிவுசெய்யும் ஒரு கூடுதல் அடிக்கோளின் மீது நிற்கிறது. Lean இன் கரு அந்தக் கணிப்பை மீண்டும் இயக்குவதில்லை; அதற்கு Lean இன் தொகுப்பி, இயக்கச் சூழலை நம்புகிறது. மூன்று சுயாதீனச் சரிபார்ப்புகள் அந்த ஓட்டத்தை ஆதரிக்கின்றன; தனித்தனி C++, Python நிரல்களின் ஒரே மாதிரியான எண்ணிக்கைகள் உட்பட.

முடிவை நெருங்கும் ஒரு முறை

தன் அணுகுமுறை எங்கே நிற்க வேண்டும் என்பதையும் கட்டுரை நிரூபிக்கிறது. அதன் முதன்மைச் சாளரத்துடன், அது ஒருபோதும் **84%**ஐ எட்ட முடியாது: உச்சவரம்பு 0.83998. நியாயமான அளவு ஒழுங்கான எந்தச் சாளரத்துக்கும், உச்சவரம்பு 0.84093 — புதிய முடிவை விட 0.002க்கும் குறைவே அதிகம். மேலும் முன்னேற வேறொரு கருத்து தேவைப்படும்.

நலன் முரண். ஆசிரியர் இந்த ஆய்வை “செயற்கை நுண்ணறிவு உதவியுடனான கணித ஆராய்ச்சியில் ஒரு சோதனை” என்று விவரிக்கிறார். வாதங்கள், கணிப்புகள், Lean முறைப்படுத்தல், படங்கள், உரையின் பெரும்பகுதி ஆகியவை ஆசிரியரின் வழிகாட்டுதலின் கீழ், OpenAI Codex, Anthropic Claude ஆகியவற்றின் கணிசமான உதவியுடன் உருவாக்கப்பட்டன என்று ஆசிரியர் கூறுகிறார்; Claude முறைப்படுத்தலையும், முறையின் வரம்புகள் குறித்த பகுப்பாய்வையும், முக்கியக் கோட்டுத் தேற்றத்தின் சாளரத்தையும் சான்றிதழையும், படங்களையும், உரையின் பெரும்பகுதியையும் உருவாக்கியது; இரு அமைப்புகளும் வரைவுகளை “மதிப்பாய்வாளர்களின் பாத்திரத்தில்” மதிப்பாய்வு செய்தன. தொடக்க வாதம் Claude கையொப்பமிட்ட ஒரு முன்பதிப்புக்குக் காரணம் காட்டப்படுகிறது. இந்தக் கட்டுரையையும் Claude எழுதியது.