20 साल बाद गणितज्ञ दंपति ने group theory की McKay conjecture हल की

 (quantamagazine.org)
3 पॉइंट द्वारा GN⁺ 2025-02-21 | 1 टिप्पणियां | WhatsApp पर शेयर करें
  • Britta Späth और Marc Cabanes ने group theory की बड़ी अनसुलझी समस्या McKay conjecture का प्रमाण पूरा कर लिया, जिससे जटिल finite groups को बहुत छोटे subgroups के माध्यम से समझने का रास्ता और खुल गया
  • यह conjecture finite group और उसके Sylow normalizer के बीच एक चौंकाने वाली समानता से शुरू होती है: दोनों में कुछ खास representations की संख्या बिल्कुल समान होती है
  • 2004 में finite groups के classification के पूरा होने के बाद Isaacs, Navarro और Malle ने समस्या को groups के एक अधिक संकरे वर्ग पर एक मजबूत कथन तक घटा दिया, और आखिरी बाधा Lie type groups थे
  • Späth और Cabanes ने Lie type groups की चारों श्रेणियों को क्रमशः संभाला, और 2018 में केवल आखिरी एक श्रेणी बचने के बाद आवश्यक representation correspondence rules की पुष्टि करने में 6 साल और लगाए
  • अब गणितज्ञ groups के महत्वपूर्ण गुणों का अध्ययन अधिक संभालने योग्य Sylow normalizer के जरिए कर सकते हैं, लेकिन यह अभी भी स्पष्ट नहीं है कि इतना छोटा subset बड़े group की इतनी अधिक जानकारी कैसे समेटे रहता है

McKay conjecture क्या कहती है

  • McKay conjecture की शुरुआत 1970 के दशक में John McKay द्वारा देखी गई एक संख्यात्मक समानता से हुई
  • इसका विषय finite group है, यानी ऐसा group जिसमें तत्वों की संख्या सीमित हो
    • group गणितीय systems की symmetry को दर्शाने वाली एक abstract वस्तु है
    • जैसे-जैसे तत्वों की संख्या बढ़ती है और संरचना जटिल होती है, पूरे group का सीधे अध्ययन करना कठिन हो जाता है
  • McKay का विचार था कि मूल group के केवल एक छोटे हिस्से को देखकर भी महत्वपूर्ण जानकारी मिल सकती है
    • खास तौर पर उन्होंने मूल group के भीतर मौजूद एक विशेष छोटे group, Sylow normalizer, पर ध्यान दिया
    • Sylow normalizer में मूल group के तत्वों का बहुत छोटा अंश ही हो सकता है, और उसकी संरचना भी मूल group से काफी अलग हो सकती है
  • conjecture का सार यह है कि एक खास प्रकार की representation की संख्या मूल finite group और उसके Sylow normalizer में बिल्कुल समान होती है
    • representation वह तरीका है जिसमें group के तत्वों को matrices के रूप में फिर से लिखा जाता है
    • इस संख्या का उपयोग यह समझने में होता है कि group के तत्व आपस में कैसे जुड़े हैं, और अन्य महत्वपूर्ण गुणों की गणना में भी

यह समानता चौंकाने वाली क्यों है

  • McKay ने जो समानता देखी, वह कोई साधारण approximation या trend नहीं, बल्कि सटीक समानता है
  • उदाहरण के लिए, 72 तत्वों वाले group को 2³ × 3² में factor किया जा सकता है
    • इसमें 8 तत्वों वाला subgroup या 9 तत्वों वाला subgroup देखा जा सकता है
    • इनमें कुछ विशेष तत्व जोड़कर 2-Sylow normalizer और 3-Sylow normalizer बनाए जा सकते हैं
  • ऐसी छोटी संरचनाओं में मूल पूरे group के बराबर representation count होना किसी स्पष्ट कारण से समझ में नहीं आता था
  • Gabriel Navarro ने इसकी तुलना इस स्थिति से की कि पूरे अमेरिकी चुनाव का वोट प्रतिशत और Montana के एक छोटे कस्बे का वोट प्रतिशत सिर्फ “मिलता-जुलता” नहीं बल्कि बिल्कुल समान हो
  • अगर conjecture सही है, तो गणितज्ञ बड़े finite groups की जगह अधिक आसान Sylow normalizer के जरिए group के गुणों का अध्ययन कर सकते हैं

classification theorem और समस्या का reduction

  • finite groups के सभी building blocks को classify करने वाला विशाल project 100 साल से अधिक चला और 2004 में पूरा हुआ
    • सभी building blocks या तो तीन श्रेणियों में से किसी एक में आते हैं, या 26 exceptional cases की सूची में
  • गणितज्ञों को लंबे समय से उम्मीद थी कि यह classification McKay conjecture जैसी समस्याओं को सरल बना सकता है
  • 2004 में Marty Isaacs, Gabriel Navarro और Gunter Malle ने McKay conjecture को groups के एक अधिक संकरे वर्ग पर एक मजबूत कथन में बदलने का तरीका खोजा
    • इसमें केवल representation counts का समान होना काफी नहीं था, बल्कि representations को कुछ विशेष नियमों के अनुसार एक-दूसरे से correspond भी करना था
    • अगर यह मजबूत कथन उन groups के लिए सही हो, तो सभी finite groups के लिए McKay conjecture अपने-आप निकल आती है
  • इस reduction का उपयोग अगले कुछ वर्षों में McKay conjecture के अधिकांश cases को हल करने में हुआ
  • यही तरीका उन अन्य संबंधित conjectures के लिए भी blueprint बना, जिनमें पूरे object की जगह उसके किसी हिस्से के जरिए पूरे object का अध्ययन किया जाता है

आखिरी कठिनाई: Lie type groups

  • reduction के बाद भी Lie type groups का एक वर्ग खुली समस्या बना रहा
  • Lie type groups अन्य groups के सबसे सामान्य building blocks हैं, इसलिए वे गणितीय रूप से महत्वपूर्ण हैं, लेकिन उनकी representations का अध्ययन बहुत कठिन है
  • Späth ने 2003 में University of Kassel में Malle की PhD student के रूप में McKay conjecture पर काम शुरू किया
    • इसके बाद उन्होंने group representations का गहरा अध्ययन करते हुए इस conjecture को लगातार आगे बढ़ाया
  • 2010 में Späth की मुलाकात Paris Cité University में Cabanes से हुई
    • Cabanes उस संकरे group class के विशेषज्ञ थे जो reduced McKay conjecture के केंद्र में था
    • दोनों ने मिलकर इस समस्या पर गहराई से काम किया, और Cabanes ने इसे “हमारा जुनून” कहा
  • Lie type groups की चार श्रेणियां हैं, और Späth व Cabanes ने 10 साल से अधिक समय तक एक-एक करके हर श्रेणी को सिद्ध किया
    • इस दौरान उन्होंने कई महत्वपूर्ण परिणाम प्रकाशित किए
    • उन्होंने गणित के अलग-अलग क्षेत्रों की कठिन theories को जोड़कर Lie type groups की गहरी समझ विकसित की

अंतिम प्रमाण और बचे हुए सवाल

  • 2018 तक Lie type groups की चार श्रेणियों में से केवल आखिरी एक श्रेणी बची थी, और इस अंतिम case को हल करने में 6 साल और लगे
  • Späth और Cabanes ने दिखाया कि अंतिम श्रेणी में भी representation counts Sylow normalizer से मेल खाते हैं, और आवश्यक representation correspondence rules भी पूरे होते हैं
  • अंतिम case पूरा होते ही पूरी McKay conjecture स्वतः सत्य हो गई
  • दोनों ने अक्टूबर 2023 में 100 से अधिक गणितज्ञों की सभा में यह प्रमाण प्रस्तुत किया, और एक साल बाद इसे ऑनलाइन प्रकाशित किया
  • Radha Kessar ने इसे “बिल्कुल चकाचौंध कर देने वाली उपलब्धि” कहा
  • अब गणितज्ञ group के महत्वपूर्ण गुणों का अध्ययन सिर्फ Sylow normalizer को देखकर कर सकते हैं
    • यह मूल group की तुलना में अधिक आसान तरीका है
    • इसके practical applications भी हो सकते हैं
  • हालांकि, यह अब भी रहस्य है कि इतना छोटा subset अपने बड़े parent group के बारे में इतनी जानकारी क्यों देता है
    • Kessar ने कहा, “इन संख्याओं के समान होने के पीछे कोई structural कारण होना चाहिए”
    • कुछ शुरुआती शोध मौजूद हैं, लेकिन यह संबंध अभी समझा नहीं गया है
  • Späth और Cabanes अब अगली ऐसी समस्या की तलाश में हैं जिस पर वे पूरी तरह डूब सकें
    • Späth का कहना है कि McKay conjecture जितना उन्हें किसी और चीज़ ने अब तक आकर्षित नहीं किया

संबंधित पढ़ाई

1 टिप्पणियां

 
GN⁺ 2025-02-21
Hacker News टिप्पणियाँ

  • “इतनी कठिन समस्या का एक ही धुन में पीछा करना अकादमिक करियर के लिए नुकसानदेह हो सकता था, फिर भी Späth ने अपना सारा समय इसी पर लगा दिया” — यह पंक्ति लगभग हर लेख में आने की शायद यही वजह है
    अच्छा है कि ऐसे जुनूनी लोग मौजूद हैं, और उन वैकल्पिक संभावनाओं के नाम भी जाम उठाना चाहिए जिनका ज़िक्र तक नहीं होता

    • ब्रेकथ्रू परिभाषा के अनुसार उन्हीं लोगों से आते हैं जो मुख्यधारा के खिलाफ जाते हैं, और ब्रेकथ्रू ही paradigm shift लाते हैं
      paradigm का पालन करते हुए paradigm को बदला नहीं जा सकता। dark horse की भूमिका को कम करके आंकना बहुत नुकसानदेह हो सकता है। अक्सर ऐसे प्रयास असफल होते हैं, शायद ज़्यादातर असफल ही होते हैं, लेकिन उनके संभावित प्रभाव को देखते हुए अगर बहुत कम हिस्से में भी सफलता मिले तो उन्हें प्रोत्साहित करना पूरी तरह उचित है
      लेकिन व्यवहार में, असफलता के डर जैसी वजहों से मुख्यधारा के खिलाफ जाने से अक्सर रोका जाता है। रिसर्च में ज़्यादातर चीजें असफल होती हैं, पर जो असफलता कुछ सिखाए नहीं वही असली असफलता है। अभी negative results प्रकाशित करना बहुत कठिन है, इसलिए ऐसे प्रयास ही कम हो जाते हैं, और सिस्टम स्वभावतः केवल incremental और “safe” रिसर्च को बढ़ावा देता है। फिर भी “नवीनता की कमी” कहकर बहुत से papers खारिज कर दिए जाते हैं — यह विडंबना है
    • financial independence चाहने की मेरी एकमात्र वजह यही है कि ऐसे दिलचस्प सवालों पर बाहर की दखलअंदाजी या funding की चिंता के बिना काम किया जा सके
      लोगों की परखती नज़रें बनी रहेंगी, लेकिन उन्हें नज़रअंदाज़ किया जा सकता है। व्यक्तिगत रूप से मेरा मानना है कि सरकार को high-risk, high-reward moonshot-style individual/small-team research को और ज़्यादा समर्थन देना चाहिए। जब इसे बहुत से लोगों में बाँटा जाता है, तो variability कम होती है और परिणाम मिलने की संभावना बनती है। लेकिन अभी अमेरिका में research funding का रुख ठीक उल्टा जाता दिख रहा है, इसलिए ज़्यादा आशावादी नहीं हूँ
    • जब मैं एक pro audio कंपनी में काम करता था, तब एक व्यक्ति ने सिर्फ एक power supply पर 5 साल लगाए थे
      आखिरकार वह सफल हुआ, और उसे समर्थन देने वाले management के बारे में मेरी हमेशा बहुत ऊँची राय रही
    • दुनिया में करोड़ों लोग हर दिन दोहराए जाने वाले काम करते हैं, और हर किसी को entrepreneur बनने की ज़रूरत नहीं है
      हर व्यक्ति को अपने अस्तित्व को career opportunities को maximize करने में झोंक देना चाहिए, ऐसा नहीं है; इसलिए लोगों को वैसे ही रहने देना चाहिए
    • इस LED के लिए हम इस व्यक्ति के भी आभारी हो सकते हैं, जिसकी वजह से आप इसे स्क्रीन पर पढ़ पा रहे हैं https://youtu.be/AF8d72mA41M

  • “जब उस दंपति ने परिणाम की घोषणा की, तो उनके सहकर्मी विस्मय से भर गए। Stanford University के Persi Diaconis ने कहा, ‘काश एक parade निकाली जाती। कई वर्षों की सचमुच, सचमुच, सचमुच कठिन मेहनत के बाद उसने यह कर दिखाया, उन्होंने यह कर दिखाया।’” — यह हिस्सा बहुत अच्छा लगा
    combinatorics की समस्याओं पर काम करते समय मुझे जो चीज़ें पसंद थीं, उनमें ऐसी सकारात्मक हौसलाअफ़ज़ाई भी थी। Persi Diaconis और D.J.A. Welsh जैसे लोग इतने दयालु थे कि पूरा क्षेत्र ज़्यादा स्वागतपूर्ण लगता था

    • हमारे हर काम का, अच्छा हो या बुरा, उन लोगों पर असर पड़ता है जिनसे हम संपर्क में आते हैं — जैसे तितली के पंखों की फड़फड़ाहट
      और उसकी तरंगें, इरादों और कर्मों के अनुसार, हमारे भीतर सुख या उसके उलट रूप में गूँजती हैं
      “Positive vibration, yeah.” --Bob Marley

  • मेरी समझ से McKay conjecture मोटे तौर पर यह कहती है
    मान लीजिए आप किसी group को complex matrices के रूप में represent करना चाहते हैं। आम तौर पर ऐसा करने के कई तरीके होते हैं, और हर representation के साथ उसका एक तरह का fingerprint जैसा character जुड़ा होता है
    दूसरी ओर, यह ज्ञात है कि हर group में किसी prime की power के आकार वाला एक बड़ा subgroup होता है। उसे P कहें। इस group का एक normalizer होता है जिसमें P एक normal subgroup बनता है, और उसे N(P) कहा जाता है
    चौंकाने वाली बात यह है कि पूरे G के characters की संख्या, G के सिर्फ एक छोटे से हिस्से N(P) के characters की संख्या के बराबर होती है
    तकनीकी रूप से, दोनों ही मामलों में उन representations को बाहर रखा जाता है जिनकी degree p की multiple हो

    • पता नहीं G की परिभाषा छूट गई है, या फिर मैंने caffeine कम पी है

  • यह दिलचस्प है कि conjecture का प्रमाण case-by-case analysis से मिला, और हर case में अलग तकनीक की ज़रूरत पड़ी
    यह लगभग संयोग जैसा लगता है कि सभी finite groups में यह गुण मौजूद है। क्योंकि हर group में यह गुण अलग-अलग “कारणों” से मौजूद है
    लेकिन लेख के अनुसार, गणितज्ञ अब उस गहरे structural reason की तलाश में हैं जिसकी वजह से यह conjecture सही है। अब जबकि यह ज्ञात हो चुका है कि परिणाम सही है, और अधिक गणितज्ञ इसे गंभीरता से ले सकते हैं

    • group theory के प्रमाणों में यह तरीका मुझे इतना असामान्य नहीं लगता
      चीज़ों को संबंधित हिस्सों में बाँटकर फिर हर समूह के लिए अलग प्रमाण देना आम बात है। कुछ proofs सरल होते हैं, लेकिन कुछ में कहीं अधिक उन्नत तकनीकों की ज़रूरत पड़ती है और वे वर्षों तक खुले प्रश्न बने रहते हैं

  • शोधपत्र: https://arxiv.org/abs/2410.20392

  • संयोग से, यह हाल ही में HN पर आने के बाद मैं Infinite Napkin का group वाला हिस्सा पढ़ रहा था
    परिभाषाएँ वगैरह समझ आती हैं, लेकिन अभी भी यह सहज समझ नहीं बन रही कि group आखिर इतना बुनियादी रूप से महत्वपूर्ण क्यों है
    उदाहरण के लिए लेख में कहा गया है कि order 72 के 50 group हैं, और ChatGPT कहता है 50 non-abelian और 5 abelian, लेकिन मुझे समझ नहीं आता कि यह किस बारे में कोई महत्वपूर्ण insight है

    • ChatGPT की बात नहीं सुननी चाहिए
      order 72 के group 44 non-abelian और 6 abelian हैं। ये खास संख्याएँ अपने-आप में बहुत महत्वपूर्ण हैं, ऐसा मैं नहीं कहूँगा, लेकिन संख्या के हिसाब से यही सही है
    • group महत्वपूर्ण हैं क्योंकि वे symmetry को algebraic रूप में व्यक्त करने का तरीका हैं
      अगर किसी वस्तु पर ऐसे operations हों जो उसे अपरिवर्तित रखें, तो, उदाहरण के लिए, समभुज त्रिभुज को इस तरह घुमाना कि एक vertex दूसरे vertex की जगह आ जाए, reversible होता है, और उसका inverse operation भी वस्तु को अपरिवर्तित रखता है। ऐसे operations को compose करने पर भी invariance बनी रहती है, और identity function हमेशा हर चीज़ को अपरिवर्तित रखता है। इसलिए symmetry operations मिलकर एक group बनाते हैं
      थोड़ा अधिक सूक्ष्म बिंदु यह है कि हर group वास्तव में किसी-न-किसी चीज़ की symmetry operations का समुच्चय होता है। इसलिए group symmetry की धारणा को ठीक-ठीक पकड़ते हैं। गणितज्ञों के लिए “group” और “symmetry” लगभग पर्याय हैं
      finite groups दिलचस्प हैं क्योंकि वे, जैसे किसी molecule में atoms को एक-दूसरे की जगह पर घुमाने वाली symmetries, molecular structure, energy levels, spectrum, bonding possibilities आदि के बारे में बता सकते हैं; और infinite groups physics में इस रूप में दिखते हैं कि coordinate system को मनमाने ढंग से rotate या translate करने पर भी भौतिक नियम वही रहते हैं। symmetry अन्य गणितीय objects का अध्ययन करने के तरीके के रूप में भी सामने आती है, और गणितज्ञ यह भी जानना चाहते हैं कि सभी संभव group कैसे दिखते हैं
    • मैंने group theory की undergraduate classes बस तीन ली हैं, इसलिए मैं विशेषज्ञ नहीं हूँ, लेकिन उसकी आधारभूत संरचना मुझे कुछ हद तक prime numbers जैसी लगती है
      कोई यह समझाने की ज़रूरत महसूस नहीं करता कि prime numbers उन अंतरालों पर ही क्यों पड़े हैं; बल्कि किसी phenomenon को समझाते समय यह देखा जाता है कि कोई चीज़ prime है या नहीं
      उदाहरण के लिए, quadratic polynomial को factor करने का एक साफ-सुथरा formula है, यानी quadratic formula, और cubic व quartic के लिए भी formulas हैं, हालाँकि आम तौर पर उन्हें रटवाया नहीं जाता। लेकिन quintic के लिए ऐसा कोई formula नहीं है। गणितज्ञों को यह साबित करने में समय लगा कि ऐसा formula अस्तित्व में नहीं है, लेकिन ऐसे formulas के पीछे एक निश्चित आकार से छोटे finite groups होने चाहिए, और जब हमने उन groups को सूचीबद्ध किया, तो quintic formula से मेल खाने वाला कोई group नहीं मिला, इसलिए quintic formula भी नहीं हो सकता—प्रमाण मोटे तौर पर ऐसा है
      इसलिए group एक तरह की आदिम जटिलता की तरह उपयोगी हैं, जिसका बिना हर बार विस्तार में जाए संदर्भ लिया जा सकता है। छोटे groups के गुण हाथ से जाँचे जा सकते हैं, और ध्यान से देखने पर काफी चीज़ें group बन जाती हैं
    • बहुत-सी गणितीय संरचनाएँ group होती हैं, इसलिए group को समझने से जिस ठोस स्थिति को आप हल करना चाहते हैं, उसके बारे में insight मिल सकती है
      उदाहरण के लिए, क्या अभी देखी जा रही समस्या abelian है? अगर हाँ, तो उसका रूप अनिवार्य रूप से X या Y जैसा होना चाहिए

  • उनका proof: https://arxiv.org/abs/2410.20392 (2024)

  • यह सचमुच अद्भुत समर्पण है। लेख में दी गई उनकी निजी कहानी मुझे खास तौर पर पसंद आई, और STEM लेखन में ऐसा हमेशा नहीं दिखता
    अब जब मुख्य लक्ष्य पूरा हो चुका है, तो आशा है कि दोनों का संबंध इस नई वास्तविकता में भी अच्छी तरह ढल जाएगा

    • मेरा मानना है कि अलग-अलग क्षेत्रों के experts को अपनी thought process के बारे में अधिक लिखना चाहिए
      जब वे सिर्फ अंतिम परिणाम दिखाते हैं, तो ऐसा लग सकता है मानो वह उनके लिए आसान था, और इससे दूसरे लोग उसे समझने या उसमें योगदान देने की कोशिश तक छोड़ सकते हैं। खासकर गणित में, ideas अपने-आप में सरल होने चाहिए। हम Ramanujan की तरह मन-ही-मन infinite series नहीं जोड़ते। बस वे ideas ढेर सारी symbolic jargon के पीछे छिपे रहते हैं

  • इससे Patrick Cousot और Radhia Cousot दंपति द्वारा मिलकर विकसित की गई abstract interpretation याद आती है [1]
    यह एक उपयोगी technique है, और मैंने इसे formal verification की class में पढ़ा था
    [1] https://en.wikipedia.org/wiki/Abstract_interpretation

  • वाकई शानदार लेख है
    इसने मुझे कई घंटों तक संबंधित काम खोजने पर मजबूर कर दिया, जिनमें John Conway का काम भी शामिल था
    संदर्भ के लिए, मेरी गणितीय क्षमता BSEE स्तर की है। फिर भी मेरे पास The Algebraic Eigenvalue Problem की एक प्रति है, जो उन कार्यपुस्तिकाओं में से एक है जिन्हें विश्वविद्यालय के प्रोफेसर अक्सर पसंद करते थे, और मैं कभी-कभी उसे थोड़ी देर के लिए देख लेता हूँ