A new antisymmetrizer-to-determinant formula and a conjecture of Colomo and Pronko

गणित के विशाल परिदृश्य में, एक ऐसी शाखा है जो उन चीजों को गिनने के लिए समर्पित है जिन्हें गिनना असंभव सा लगता है। एक वर्गाकार ग्रिड की कल्पना करें, जैसे कि शतरंज का बोर्ड, जहाँ आप खानों में संख्याएँ रखने की अनुमति रखते हैं। इसके नियम सख्त हैं: प्रत्येक पंक्ति और प्रत्येक स्तंभ का योग ठीक एक होना चाहिए, और गैर-शून्य संख्याएँ धनात्मक और ऋणात्मक के बीच बदलती रहनी चाहिए। इन्हें 'अल्टरनेटिंग साइन मैट्रिसेस' (alternating sign matrices) कहा जाता है। दशकों से, गणितज्ञ इस बात से मंत्रमुग्ध रहे हैं कि इन ग्रिडों को भरने के कितने अलग-अलग तरीके हो सकते हैं जबकि वे नियमों का पालन करते हैं। उत्तर अक्सर आश्चर्यजनक रूप से सुंदर होते हैं, लेकिन उन्हें खोजने के लिए जटिल पैटर्न की भूलभुलैया से गुजरना पड़ता है। इन पहेलियों को हल करने के लिए, शोधकर्ता अक्सर एक शक्तिशाली उपकरण पर भरोसा करते हैं जिसे 'एंटीसिमेट्राइज़र' (antisymmetrizer) कहा जाता है। इस उपकरण को एक मशीन के रूप में सोचें जो एक अव्यवस्थित, जटिल अभिव्यक्ति को लेती है और उसे अपने हिस्सों को हर संभव क्रम में बदलकर, शोर को रद्द करने के लिए परिणामों को जोड़ती और घटाती है। जब यह मशीन पूरी तरह से काम करती है, तो वह अराजक अव्यवस्था एक एकल, स्वच्छ संरचना में सिमट जाती है जिसे 'डिटरमिनेंट' (determinant) कहा जाता है, जो एक विशिष्ट प्रकार की गणितीय गणना है जिसे हल करना बहुत आसान है।

हाथ में मौजूद यह शोध पत्र, इल्से फिशर और मार्कस रीबनेगर द्वारा लिखा गया है, जो इस प्रकार के 'कोलैप्सिंग मशीन' (collapsing machine) का एक नया और शक्तिशाली संस्करण पेश करता है। लेखकों ने एक नया सूत्र खोजा है जो कुछ जटिल अभिव्यक्तियों को डिटरमिनेंट के रूप में फिर से लिखने की अनुमति देता है, जो कि एक ऐसी उपलब्धि है जो पहले अज्ञात थी। यह खोज केवल एक सैद्धांतिक जिज्ञासा नहीं है; यह इन ग्रिडों के एक विशिष्ट प्रकार को गिनने के संबंध में अन्य गणितज्ञों द्वारा किए गए एक लंबे समय से चले आ रहे अनुमान को सुलझाती है। इस नए सूत्र को सिद्ध करके, लेखकों ने इन पैटर्नों को गिनने के एक सटीक तरीके की पुष्टि करते हुए एक दरवाजा खोल दिया है, विशेष रूप से वे जो ऊर्ध्धर दिशा में सममित (symmetric) हैं। इसके अलावा, शोधकर्ता कोलोमो और प्रोंको द्वारा प्रस्तावित एक संबंधित, और भी अधिक कठिन पहेली की ओर संकेत करते हैं। हालांकि उन्होंने अभी तक उस दूसरे पहेली को हल नहीं किया है, लेकिन उन्होंने इसे उसी प्रकार की गणितीय मशीनरी से जोड़ने वाला एक नया मार्ग तैयार किया है, जिससे पता चलता है कि समाधान पहुंच के भीतर हो सकता है यदि कोई बस सही कुंजी ढूंढ ले।

यह यात्रा 'अल्टरनेटिंग साइन मैट्रिक्स' की अवधारणा के साथ शुरू होती है, जो एक ऐसा ग्रिड है जहाँ प्रत्येक पंक्ति और स्तंभ का योग एक होता है, और गैर-शून्य प्रविष्टियाँ उनके माध्यम से चलते समय अपने चिह्न बदल देती हैं। ये ग्रिड केवल अमूर्त अभ्यास नहीं हैं; वे भौतिक प्रणालियों के अध्ययन में दिखाई देते हैं और आकृतियों के ज्यामिति के साथ गहरा संबंध रखते हैं। लंबे समय तक, गणितज्ञों को किसी भी दिए गए आकार के लिए इन ग्रंडों की कुल संख्या ज्ञात थी, लेकिन उस उत्तर का मार्ग कष्टसाध्य था। यह एक विशिष्ट पहचान (identity) पर निर्भर था, एक नियम जिसने दिखाया कि कैसे पुनर्व्यवस्थित पदों के एक जटिल योग को एक डिटरमिनेंट में सरल बनाया जा सकता है। यह नियम पहले सफल गणना सूत्रों के पीछे का इंजन था। हालाँकि, जैसे-जैसे गणितज्ञों ने अपने गणनाओं को परिष्कृत करने की कोशिश की, अतिरिक्त समरूपता या विशिष्ट बाधाओं वाले ग्रिडों को देखते हुए, पुराना इंजन लड़खड़ाने लगा। उन्हें नए ऐसे अभिव्यक्तियाँ मिलीं जो पुरानी वाली जैसी ही दिखती थीं लेकिन एक सरल डिटरमिनेंट में सिमटने से इनकार कर देती थीं। एक ऐसा ही जिद्दी अभिव्यक्ति लुकास रीगलर और इस शोध पत्र के एक लेखक द्वारा किया गया एक अनुमान था, जो वर्षों तक अप्रामाणित रहा।

फिशर और रीबनेगर ने एक नया इंजन बनाकर इस समस्या को हल किया। उन्होंने परिमेय फलनों (rational functions) से जुड़ी एक विशिष्ट प्रकार की अभिव्यक्ति पर ध्यान केंद्रित किया, जो अनिवार्य रूप से बहुपदों से बने अंश हैं। उनका लक्ष्य यह दिखाना था कि जब आप इन विशिष्ट फलनों पर एंटीसिमेट्राइज़र मशीन लागू करते हैं, तो परिणाम हमेशा एक डिटरमिनेंट होता है। उन्होंने केवल अनुमान नहीं लगाया; उन्होंने 'इंडक्शन' (induction) नामक एक विधि का उपयोग करके एक कठोर प्रमाण बनाया। यह दृष्टिकोण एक सीढ़ी चढ़ने जैसा है: उन्होंने पहले सबसे छोटे संभव मामले के लिए कथन को सत्य सिद्ध किया, और फिर यह दिखाया कि यदि यह एक निश्चित आकार के ग्रिड के लिए सत्य है, तो यह अगले आकार के लिए भी सत्य होगा। उनके कार्य का मुख्य हिस्सा अभिव्यक्ति के भीतर पदों का चतुर हेरफेर था, यह दिखाना कि उन्हें एक डिटरमिनेंट की संरचना से मेल खाने के लिए कैसे पुनर्व्यवस्थित किया जा सकता है। यह एक सूक्ष्म ऑपरेशन था, जिसमें उन्हें सूत्र के विभिन्न हिस्सों के बीच की अंतःक्रियाओं को अत्यंत सटीकता के साथ संभालना आवश्यक था।

उनके श्रम का परिणाम एक नया सूत्र है जो अव्यवस्थित एंटीसिमेट्राइज़रों और स्वच्छ डिटरमिनेंटों के बीच एक सेतु के रूप में कार्य करता है। यह सूत्र महत्वपूर्ण है क्योंकि यह सीधे उस अनुमान को सिद्ध करता है जो 2014 से खुला था। वह अनुमान इन ग्रिडों की गिनती में एक विशिष्ट समरूपता के बारे में था, जिसे 'वर्टिकली सिमेट्रिक अल्टरनेटिंग साइन मैट्रिसेस' (vertically symmetric alternating sign matrices) के रूप में जाना जाता है। ये वे ग्रिड हैं जो एक ही जैसे दिखते हैं यदि आप उन्हें बीच में एक ऊर्ध्धर रेखा के नीचे पलट दें। इस अनुमान ने दूसरी पंक्ति में संख्या एक कहाँ दिखाई देती है, इसके आधार पर इन ग्रिडों को गिनने के एक विशिष्ट, परिष्कृत तरीके की भविष्यवाणी की थी। अपने नए सूत्र को सिद्ध करके, लेखकों ने पुष्टि की कि यह भविष्यवाणी सही है। उन्होंने दिखाया कि इन ग्रिडों का वर्णन करने वाली जटिल अभिव्यक्ति वास्तव में एक डिटरमिनेंट में सरल हो जाती है, जिससे दूसरों द्वारा प्रस्तावित परिष्कृत गणना सूत्र की पुष्टि होती है।

इस विशिष्ट पहेली को हल करने के अलावा, लेखकों ने एक और भी अधिक महत्वाकांक्षी चुनौती की ओर अपना ध्यान केंद्रित किया। उन्होंने कोलोमो और प्रोंको के एक अनुमान पर चर्चा की जो उन ग्रिडों के बारे में है जिनमें निचले-बाएँ कोने में शून्य का एक ब्लॉक होता है। यह समस्या अत्यंत कठिन है क्योंकि शून्य का पैटर्न उस समरूपता को तोड़ देता है जो आमतौर पर इन समस्याओं को हल करने योग्य बनाती है। लेखकों ने इस समस्या को देखने का एक नया तरीका प्रस्तावित किया। उन्होंने सुझाव दिया कि यदि कोई एक अलग, संबंधित अभिव्यक्ति के लिए समान 'कोलैप्सिंग फॉर्मूला' पा सके, तो कोलोमो और प्रोंको का अनुमान स्वतः ही सिद्ध हो जाएगा। उन्होंने अभी तक यह सूत्र नहीं पाया है, लेकिन उन्होंने प्रदर्शित किया है कि विचाराधीन अभिव्यक्ति में उस अभिव्यक्ति के साथ गहरे संरचनात्मक समानताएं हैं जिसे उन्होंने अभी हल किया है। उन्होंने इस अनुमान को एक विशिष्ट प्रकार के अपघटन (decomposition) से उत्पन्न होने वाले मैट्रिसेस के संदर्भ में पुनर्गठित भी किया, जिससे भविष्य के शोधकर्ताओं के लिए एक ठोस रोडमैप मिला। यह पुनर्गठन एक महत्वपूर्ण कदम है, क्योंकि यह एक अस्पष्ट आशा को एक विशिष्ट गणितीय लक्ष्य में बदल देता है।

यह शोध पत्र गणित के एक व्यापक विषय को भी छूता है: सामान्यीकरण (generalizations) की खोज। लेखकों ने दिखाया कि उनका नया सूत्र उन पहचानों के एक बड़े परिवार का हिस्सा है जिसमें 'कॉची डिटरमिनेंट' (Cauchy determinant) के रूप में ज्ञात एक प्रसिद्ध परिणाम शामिल है। यह पुराना परिणाम इस क्षेत्र का एक आधार स्तंभ है, और लेखकों का कार्य इसे एक अधिक जटिल सेटिंग तक विस्तारित करता है। उन्होंने भविष्य के लिए एक प्रश्न रखा: क्या इस नए, अधिक जटिल सूत्र को उसी तरह से सामान्यीकृत किया जा सकता है? यह प्रश्न गणितीय खोज की निरंतर प्रकृति को उजागर करता है। जिस प्रकार एक पहेली को हल करना अक्सर एक बड़ी पहेली की रूपरेखा प्रकट करता है, उसी प्रकार इस नई पहचान को सिद्ध करना अन्वेषण के नए रास्ते खोलता है। लेखक स्वीकार करते हैं कि उनकी समझ अभी भी अपूर्ण है, यह नोट करते हुए कि जबकि उन्होंने एक दरवाजे के लिए कुंजी पा ली है, कई अन्य दरवाजे अभी भी बंद हैं।

अंत में, यह कार्य दृढ़ता की शक्ति और गणितीय संरचना की सुंदरता का प्रमाण है। लेखकों ने एक ऐसी समस्या को लिया जिसने एक दशक तक समाधान का विरोध किया, उस पर हमला करने के लिए एक नया उपकरण बनाया, और एक ऐसे अनुमान को सिद्ध करने में सफल रहे जो समुदाय से बचता रहा। उन्होंने केवल एक संख्या नहीं पाई; उन्होंने एक पैटर्न पाया, एक नियम जो नियंत्रित करता है कि ये जटिल ग्रिड कैसे व्यवहार करते हैं। एंटीसिमेट्राइज़रों, डिटरमिनेंट्स और समरूपता वर्गों के बीच के बिंदुओं को जोड़कर, उन्होंने अल्टरनेटिंग साइन मैट्रिसेस के परिदृश्य का एक स्पष्ट दृश्य प्रदान किया है। उनका कार्य एक अनुस्मारक के रूप में कार्य करता है कि गणित के सबसे अमूर्त कोनों में भी, छिपे हुए संबंध खोजे जाने की प्रतीक्षा कर रहे हैं, और कभी-कभी, किसी कठिन समस्या की कुंजी केवल टुकड़ों को पुनर्व्यवस्थित करने का सही तरीका ढूंढना ही होती है।