20 साल बाद गणितज्ञ दंपति ने group theory की एक बड़ी समस्या हल की

• 2003 में, जर्मनी की ग्रेजुएट छात्रा Britta Späth ने group theory के एक बड़े अनसुलझे प्रश्न, McKay conjecture, के बारे में जाना।
• Späth इस समस्या से इतनी प्रभावित हुईं कि उन्होंने अपने करियर को दांव पर लगाकर इस पर शोध जारी रखा।
• Marc Cabanes के साथ शोध करते हुए वे प्रेम में पड़े और उन्होंने परिवार भी बसाया।

McKay conjecture

• McKay conjecture यह सिद्धांत प्रस्तुत करती है कि group जैसे जटिल गणितीय ऑब्जेक्ट को समझने के लिए उसके केवल छोटे हिस्सों को देखना पर्याप्त हो सकता है।
• यह conjecture finite groups की संरचना को समझने में महत्वपूर्ण भूमिका निभाती है।
• इसका आशय यह है कि finite group के एक विशेष subset, Sylow normalizer, के माध्यम से पूरे group की महत्वपूर्ण जानकारी प्राप्त की जा सकती है।

प्रमुख प्रगति

• 1970 के दशक में प्रस्तावित होने के बाद से कई गणितज्ञों ने McKay conjecture को सिद्ध करने की कोशिश की, लेकिन पूर्ण प्रमाण कठिन रहा।
• Späth और Cabanes ने 20 वर्षों के शोध के बाद अंततः इस conjecture को सिद्ध करने में सफलता पाई।
• उनके परिणाम ने गणित जगत को गहराई से प्रभावित किया, और सहकर्मियों ने उनकी उपलब्धि को सम्मान दिया।

अभाज्य संख्याओं की शक्ति

• McKay का तर्क था कि finite groups की संरचना समझने के लिए primes से बने छोटे subsets को देखना महत्वपूर्ण है।
• Sylow normalizer finite groups की संरचना समझने में महत्वपूर्ण भूमिका निभाता है, और McKay ने अनुमान लगाया था कि वे group की महत्वपूर्ण मात्राओं की गणना में समान भूमिका निभाते हैं।

group theory में बड़ी छलांग

• finite groups के सभी building blocks को वर्गीकृत करने की परियोजना में 100 से अधिक वर्ष लगे और यह 2004 में पूरी हुई।
• इस classification ने McKay conjecture को सिद्ध करने में महत्वपूर्ण भूमिका निभाई।
• Isaacs, Navarro, Malle ने McKay conjecture को एक नए रूप में पुनर्गठित किया, जिससे समस्या के समाधान का रास्ता खुला।

Späth और Cabanes का शोध

• Späth ने Malle के मार्गदर्शन में McKay conjecture का अध्ययन शुरू किया।
• उन्होंने Cabanes के साथ Lie type groups पर शोध किया, और अंततः दोनों ने McKay conjecture को सिद्ध कर दिया।
• इस प्रक्रिया में उन्होंने Lie type groups की गहरी समझ विकसित की।

'शानदार उपलब्धि'

• Späth और Cabanes ने 2023 में McKay conjecture का प्रमाण प्रकाशित किया।
• उनके शोध ने गणितज्ञों को केवल Sylow normalizers के माध्यम से group के महत्वपूर्ण गुणों का अध्ययन करने में सक्षम बनाया।
• फिर भी McKay द्वारा खोजे गए इस अजीब संयोग का कारण अब भी एक रहस्य बना हुआ है।

निष्कर्ष

• Späth और Cabanes अब नए शोध विषयों की तलाश में हैं, लेकिन उन्हें McKay conjecture जितना आकर्षक प्रश्न मिलना कठिन लग रहा है।

[GN⁺]

Hacker News राय

• Patrick और Radhia Cousot दंपति द्वारा साथ मिलकर बनाए गए Abstract Interpretation की याद आ गई। यह तकनीक उपयोगी है, और मैंने इसे formal verification की कक्षा में सीखा था
• "इतनी कठिन समस्या में डूब जाना उसके अकादमिक करियर के लिए नुकसानदेह हो सकता था, लेकिन Späth ने अपना सारा समय उसी पर लगा दिया" — यह वाक्य शायद किसी वजह से हर लेख में है। अच्छा है कि ऐसे जुनूनी लोग होते हैं, और उन अनकहे प्रतिविकल्पों के नाम जाम
• जब दंपति ने अपना परिणाम घोषित किया, तो सहकर्मी विस्मित रह गए। Stanford University के Persi Diaconis ने कहा, "काश इसके लिए एक parade निकाली जाती।" "सालों की कठिन मेहनत के बाद उसने कर दिखाया, उन्होंने कर दिखाया" जैसी सकारात्मक हौसलाअफ़ज़ाई combinatorics की समस्याओं पर काम करते समय उन चीज़ों में से एक थी जो मुझे सच में पसंद आई। Persi Diaconis और D.J.A. Welsh जैसे लोग बहुत दयालु हैं और इस क्षेत्र को अधिक आकर्षक बनाते हैं
• McKay conjecture मोटे तौर पर यह कहती है। मान लीजिए कि आपको किसी group को complex numbers पर matrices के रूप में represent करने में रुचि है। ऐसा करने के कई तरीके होते हैं, और हर एक के साथ एक character जुड़ा होता है जो उस representation की उंगलीछाप जैसा है। दूसरी ओर, यह ज्ञात है कि हर group के भीतर एक बड़ा subgroup होता है जिसका order किसी prime की power होता है। इसे P कहते हैं। इस group का एक normalizer होता है जिसमें P normal होता है। चौंकाने वाली बात यह है कि G के characters की संख्या और N(P) के characters की संख्या समान होती है, जबकि N(P), G का एक छोटा हिस्सा है
  • तकनीकी ध्यान: दोनों ही मामलों में उन representations को बाहर रखा जाता है जिनकी degree, p की multiple हो
• कल रात Apple TV पर "Prime Target" शुरू किया, और इस कहानी का आधार जाना-पहचाना लगा। उसमें नायक primes की समस्या के प्रति आसक्त है। असंबंधित बात है, लेकिन मैं सोच रहा हूँ कि यह दंपति formal mathematics की समस्याओं पर AI tools के इस्तेमाल के बारे में क्या सोचता होगा। यह भी जिज्ञासा है कि क्या उन्होंने पिछले 2 वर्षों में इस समस्या को हल करने के लिए AI tools का उपयोग किया था
• पेपर: लिंक
• संयोग से, मैं हाल ही में HN पर पोस्ट होने के बाद Infinite Napkin का group वाला भाग पढ़ रहा था। परिभाषाएँ वगैरह समझ में आती हैं, लेकिन अभी भी group की केंद्रीय महत्ता समझ नहीं आई। उदाहरण के लिए, लेख कहता है कि order 72 वाले groups की संख्या 50 है (chatGPT कहता है कि 50 non-abelian groups और 5 abelian groups हैं)। यह किसी महत्वपूर्ण insight जैसा लगता है, लेकिन किस बारे में, यह समझ नहीं आता
• यह अद्भुत समर्पण है। मुझे इसकी व्यक्तिगत कहानी बहुत पसंद आई। STEM में ऐसी कहानियाँ हमेशा देखने को नहीं मिलतीं। अब जब उनका मुख्य लक्ष्य हासिल हो गया है, आशा है कि उनका संबंध इस नई वास्तविकता को अच्छे से संभालेगा
• उनका प्रमाण: लिंक (2024)
• जो दंपति साथ में गणित करते हैं, वे साथ ही रहते हैं