1961-இல் எர்டோஷ் கேட்டார். பாதி, ஏறக்குறைய உறுதியாக

ஒரு பல்லுறுப்புக்கோவையின் ஒவ்வொரு கெழுவுக்கும் நாணயம் சுண்டுங்கள்: தலை +1, பூ −1. விளைவு ஒரு சமவாய்ப்பு லிட்டில்வுட் பல்லுறுப்புக்கோவை (random Littlewood polynomial): 1 ± z ± z² ± … ± zⁿ. n படி கொண்ட எந்தப் பல்லுறுப்புக்கோவையையும் போல, இதற்கும் n மூலங்கள் உண்டு — அது பூச்சியத்துக்குச் சமமாகும் சிக்கலெண் தளத்தின் (complex plane) புள்ளிகள்.

1961-இல், கணிதவியலாளர் எர்டோஷ் அந்த மூலங்கள் எங்கே செல்கின்றன என்று கேட்டார். துல்லியமாகச் சொன்னால்: படி அதிகரிக்கும்போது, மூடிய அலகு வட்டுக்குள் — ஆரம் 1 கொண்ட வட்டமும் அதன் உள்ளே உள்ள அனைத்தும் — இருக்கும் மூலங்களின் விகிதம், நிகழ்தகவு ஒன்றுடன், சரியாக பாதியை நெருங்குமா? இந்தக் கேள்வி எர்டோஷ் கணக்குகளின் பட்டியலில் கணக்கு #522 ஆனது. “ஏறக்குறைய உறுதியாக” என்பதற்குப் பதிலாக “உயர் நிகழ்தகவுடன்” உண்மையாகும் ஒரு பலவீனமான வடிவத்தை யாகிர் முன்பே நிறுவியிருந்தார்.

MIT-ஐச் சேர்ந்த செபாஸ்டியன் கவாடா இப்போது எர்டோஷின் கேள்விக்கு விடையளிக்கிறார்: ஆம்.

வட்டத்தை ஒட்டியபடி

ஆய்வுக்கட்டுரை பாதியை விட அதிகமானதை நிறுவுகிறது. ஏறக்குறைய எல்லா மூலங்களும் அலகு வட்டத்தைச் சுற்றி, 1/n வரிசையிலான தொலைவில், ஒரு மெல்லிய பட்டைக்குள் நெருக்கியடிக்கின்றன. x = n(|z| − 1) என்ற மாறியைக் கொண்டு அந்தப் பட்டையை உருப்பெருக்கிப் பார்த்தால், ஆரம் 1 + x/n கொண்ட வட்டத்துக்குள் இருக்கும் மூலங்களின் பங்கு ஒரே வளைவில் நிலைகொள்கிறது:

Φ(x) = ½ (1 + coth x − 1/x)

x = 0-இல் இந்த வளைவு சரியாக ½ தருகிறது: எர்டோஷின் விடை. இதே வளைவு சமவாய்ப்புக் கெழுக்களின் ஒரு முழுக் குடும்பத்துக்கும் பொருந்துகிறது — நாணயச் சுண்டல்கள், வட்டத்தின் மீதான சமவாய்ப்புப் புள்ளிகள், காஸியன் எண்கள். தலைப்பில் உள்ள பொதுமை (universal) என்ற பகுதி இதுவே.

வெவ்வேறு படிகளின் பல்லுறுப்புக்கோவைகள் எந்த விதத்தில் இணைக்கப்பட்டிருந்தாலும் இந்த முடிவு பொருந்துகிறது: ஒவ்வொரு முறையும் ஒரு நாணயச் சுண்டலைச் சேர்த்து உருவாக்கப்பட்டாலும் சரி, ஒவ்வொரு படியிலும் முற்றிலும் புதிதாக எடுக்கப்பட்டாலும் சரி. நாணயச் சுண்டல்களுக்கு, வட்டுக்குள் இருக்கும் மூலங்கள் n/2-ஐ விட அதிகமாக இருக்கும் அளவு, தோராயமாக n^(3/4)-க்குக் கீழேயே இருக்கிறது.

பொதுமை நிற்கும் இடம்

பின்னர் ஆய்வுக்கட்டுரை பாதியைச் சுற்றிய சிறிய ஏற்ற இறக்கங்களை ஆராய்கிறது. இங்கே கெழுக்களின் பரவல் விதி முக்கியமாகத் தொடங்குகிறது. காஸியன் கெழுக்களுக்கு, மிகையின் மாறுபாடு (variance) 0.3059 × n போல வளர்கிறது. பிற சமச்சீர் பரவல்களுக்கு, அது நான்காம் கியூமுலன்ட் (fourth cumulant) எனப்படும் ஓர் அளவின் பன்னிரண்டில் ஒரு பங்கு அளவுக்கு நகர்கிறது; பரவலின் வால்கள் எவ்வளவு கனமானவை என்பதை இந்த அளவு காட்டுகிறது. நாணயச் சுண்டல்களுக்கு, மாறிலி 0.3059 − 1/6 ஆகிறது. பத்து லட்சம் வரையிலான படிகள் கொண்ட 16,384 சமவாய்ப்புப் பல்லுறுப்புக்கோவைகளின் மீது நடத்தப்பட்ட கணினிச் சோதனைகள் இந்தக் கணிப்புகளுடன் ஒத்துப்போகின்றன.

இது எவ்வாறு நிறுவப்படுகிறது

இரண்டு செவ்வியல் கருவிகள் பெரும் வேலையைச் செய்கின்றன. ஜென்சன் சூத்திரம் (Jensen’s formula) ஒரு வட்டுக்குள் உள்ள மூலங்களின் எண்ணிக்கையை, ஒரு வட்டத்தைச் சுற்றிப் பல்லுறுப்புக்கோவையின் மடக்கையின் சராசரியாக மாற்றுகிறது; அந்தச் சராசரி மிக இறுக்கமாகக் குவிகிறது என்று தெரியவருகிறது. கடினமான படி, படிகளின் ஒரு அரிதான வரிசையிலிருந்து ஒரே நேரத்தில் எல்லாப் படிகளுக்கும் செல்வதாகும். ஏற்ற இறக்கங்களுக்கு, கோணக் கொள்கை (argument principle) மூலங்களின் மிகையை ஒரு குறியிட்ட எண்ணிக்கையாக மாற்றுகிறது: அலகு வட்டத்தின் மீது பல்லுறுப்புக்கோவை வரையும் ஒரு வளைவு ஒரு கோட்டை எத்தனை முறை கடக்கிறது என்பதன் எண்ணிக்கை.

இயந்திரத்தால் சரிபார்க்கப்பட்டது

82 பக்க ஆய்வுக்கட்டுரையின் ஒவ்வொரு முக்கிய முடிவும் Lean 4 நிறுவல் உதவியில் முறைசார்ந்து சரிபார்க்கப்பட்டுள்ளது. கணக்கு #522-இன் நிறுவல், Google DeepMind-இன் Formal Conjectures திட்டத்தில் அதன் முறைசார் கூற்றுக்கான தீர்வாக ஏற்கப்பட்டது; ஒரே ஒரு கோப்பு யார் வேண்டுமானாலும் அதை ஓர் இணைய உலாவியில் மீண்டும் இயக்கிப் பார்க்க உதவுகிறது. MIT-இல் மனோலிஸ் கெல்லிஸின் ஆய்வகத்தைச் சேர்ந்த, மொழி மாதிரிகள் உள்ளிட்ட உள் AI மாதிரிகள் Lean முறைப்படுத்தலுக்கும் பல வருவிப்புகளைச் சரிபார்ப்பதற்கும் உதவியதாக ஆசிரியர் எழுதுகிறார்; கணித அணுகுமுறை தம்முடையதே என்றும் ஆசிரியர் கூறுகிறார்.

ஏப்ரல் 2026-இல், இதே கூற்றுக்கான இரண்டு முறைசாரா வாதங்கள் எர்டோஷ் கணக்குகள் மன்றத்தில் பதிவிடப்பட்டன. இந்த நிறுவலும் அதன் அணுகுமுறையும் அசலானவை என்றும், முறைசார்ந்து சரிபார்க்கப்பட்ட முதல் நிறுவல் இதுவே என்றும் கவாடா கூறுகிறார். கேள்வி கேட்கப்பட்டு அறுபத்தைந்து ஆண்டுகளுக்குப் பிறகு, இயந்திரத்தால் சரிபார்க்கப்பட்ட விடை இதுதான்: பாதி, ஏறக்குறைய உறுதியாக.