சூரியகாந்தி அனுமானம் நிரூபிக்கப்பட்டது

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

சூரியகாந்திகள் சேர்வியலின் (combinatorics) அடிப்படைக் கருவிகளில் ஒன்று. சில தர்க்கச் சுற்றுகளின் வரம்புகள், “cap set” சிக்கல், வேகமான அணிப் பெருக்கல், தகவல் கோட்பாடு ஆகியவற்றுடன் அவற்றுக்குள்ள தொடர்புகளை ஆய்வுக்கட்டுரை பட்டியலிடுகிறது.

1970-இலிருந்து ஒரு கேள்வி

ஆசிரியர்களின் கூற்றுப்படி, அவற்றைப் பற்றிய மிக இயல்பான கேள்வி பால் எர்டோஷின் 1970 ஆய்வுக்கட்டுரைக்குச் செல்கிறது. {1, …, n}-இன் உட்கணங்களின் ஒரு தொகுப்பில் அதன் எந்த k கணங்களும் ஒரு சூரியகாந்தியை உருவாக்கவில்லை என்றால், அந்தத் தொகுப்பு எவ்வளவு பெரியதாக இருக்க முடியும்?

1970-களில் எர்டோஷும் எண்ட்ரே செமரேடியும், அத்தகைய தொகுப்பு சாத்தியமான 2ⁿ உட்கணங்களை விட அடுக்குக்குறி அளவில் சிறியதாக இருக்க வேண்டும் என்று அனுமானித்தனர்: 2-ஐ விடக் கண்டிப்பாகக் குறைவான ஏதோ ஒரு c எண்ணுக்கு, அதிகபட்சம் cⁿ.

பல பத்தாண்டுகளாக, சிறந்த வரம்புகள் சிறிதளவு மட்டுமே குறைத்தன; அடிமானத்தை 2-க்குக் கீழே கொண்டுவர அவை ஒருபோதும் போதவில்லை. மூன்று இதழ் நிலை (k = 3) மட்டுமே 2016-இல், cap set சிக்கலில் ஏற்பட்ட திருப்புமுனை மற்றும் அலோன், ஷ்பில்கா, உமான்ஸ் அளித்த ஒரு குறைப்பு (reduction) மூலம் தீர்க்கப்பட்டது.

வரம்பு

மாதியா புசிச், ஃபான்காங் ஹே (வியன்னா பல்கலைக்கழகம்), ஹ்யுன்வூ லீ (KAIST மற்றும் தென் கொரியாவின் அடிப்படை அறிவியல் நிறுவனம்) ஆகியோர் இந்த அனுமானத்தை ஒவ்வொரு k ≥ 3-க்கும் நிரூபிக்கின்றனர். அவர்களின் முதன்மைத் தேற்றம்: k இதழ் சூரியகாந்தி இல்லாத ஒரு தொகுப்பில் அதிகபட்சம்

3 · (2 − 1/(16k³))ⁿ

உறுப்புகள் உள்ளன. அடிமானம் 2-க்குச் சற்றுக் கீழே உள்ளது, ஆனால் அது 2-க்குக் கீழான ஒரு நிலையான எண்; எர்டோஷும் செமரேடியும் கேட்டது சரியாக இதுதான். பெரிய k-க்கு, உண்மை மதிப்பு இதைவிட மிகவும் குறைவாக இருக்க முடியாது என்பதை 1997-ஆம் ஆண்டின் ஒரு கட்டமைப்பு காட்டுகிறது.

கணங்களிலிருந்து திசையன்களுக்கு

நிரூபணம், சிக்கலின் திசையன் (vector) வடிவத்தின் வழியாகச் செல்கிறது. எண்களை D உறுப்புகள் கொண்ட n தொகுதிகளாகப் பிரித்து, ஒவ்வொரு தொகுதியிலிருந்தும் ஒரு உறுப்பைத் தேர்ந்தெடுங்கள்: ஒவ்வொரு தேர்வும் ஒரு திசையன். ஒவ்வொரு நிலையிலும் அவற்றின் உறுப்புகள் அனைத்தும் சமமாகவோ அல்லது அனைத்தும் வேறுபட்டவையாகவோ இருக்கும்போது, பல திசையன்கள் ஒரு சூரியகாந்தியை உருவாக்குகின்றன.

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

ஓர் இயந்திரம் கண்டுபிடித்தது, இன்னொன்று சரிபார்த்தது

செயற்கை நுண்ணறிவு பற்றிய ஆய்வுக்கட்டுரையின் அறிக்கை வழக்கத்துக்கு மாறாக நேரடியானது. தேற்றம் 2-இன் நிரூபணத்தை ChatGPT 6 Astra Pro கண்டுபிடித்தது; அறியப்பட்ட மூன்று இதழ் வாதத்தைப் பொதுமைப்படுத்துமாறு கேட்டுத் தொடங்கிய ஒரு சுருக்கமான உரையாடலுக்குப் பின் இது நடந்தது. ஆசிரியர்களுக்கு அந்தப் படி இன்னொரு நோக்கத்துக்காகத் தேவைப்பட்டது: செமரேடி முன்வைத்த ஒரு வரைபடச் சிக்கலின் தூண்டப்பட்ட (induced) வடிவம்; அதைப் பிந்தைய ஒரு குறிப்பில் வெளியிடுவதாக அவர்கள் அறிவிக்கின்றனர்.

மாதிரி தனது நிரூபணத்தை “slice rank” (துண்டுத் தரம்) மொழியில் எழுதியது. வாசகர்களுக்கு எளிதானது என அவர்கள் கருதும் பல்லுறுப்புக்கோவை முறையின் மொழியில் ஆசிரியர்கள் அதை மீண்டும் எழுதினர். ஒவ்வொரு முடிவையும் தாங்கள் சரிபார்த்ததாகவும், முழுப் பொறுப்பையும் ஏற்பதாகவும், நிரூபணங்களைச் சரிபார்க்கும் மென்பொருளான Lean 4.35-இல் நிரூபணம் சரிபார்க்கப்பட்டுள்ளது என்றும், அந்தச் சரிபார்ப்பு Palomar களஞ்சியத்தில் வெளியிடப்படும் என்றும் அவர்கள் தெரிவிக்கின்றனர்.

இது தீர்க்காதவை

ஆசிரியர்கள் அடிமானத்தை உகப்பாக்க முயலவில்லை. மூன்று இதழ்களுக்கு, இது நாஸ்லண்ட், சாவின் ஆகியோரின் சுமார் 1.89 என்ற 2017 வரம்பை முறியடிக்கவில்லை. மேலும் வலுவான சகோதரச் சிக்கலான எர்டோஷ்–ராடோ சூரியகாந்தி அனுமானம் இன்னும் திறந்தே உள்ளது: அவர்களின் வரம்புகள் இன்னும் தொகுதி அளவு D-ஐப் பெரிதும் சார்ந்துள்ளன, அந்தச் சிக்கல் தடைசெய்வது சரியாக இதைத்தான்.