Identities involving the number of missing integers in partitions - combinatorial proofs

संख्या पहेलियों में छिपी रिक्तियां

कल्पना कीजिए कि आप एक रहस्य सुलझाने की कोशिश कर रहे एक जासूस हैं, लेकिन आपके सुराग उंगलियों के निशान या पैरों के निशान नहीं, बल्कि संख्याएं हैं। यह कंबिनेटरिक्स (combinatorics) की दुनिया है, जो गणित की एक शाखा है जो इस बात का अध्ययन करती है कि चीजों को कैसे व्यवस्थित, गिना और संयोजित किया जा सकता है। इस विशिष्ट गणितीय ब्रह्मांड में, मुख्य पात्र पार्टिशन्स (partitions) हैं। एक 'पार्टिशन' को एक पूर्ण संख्या (जैसे 10) को छोटे, धनात्मक टुकड़ों में तोड़ने के तरीके के रूप में सोचें जो मूल संख्या के बराबर हों। उदाहरण के लिए, आप 10 को 5+5, या 3+3+2+2, या यहाँ तक कि 1+1+1+1+1+1+1+1+1+1 में भी तोड़ सकते हैं। यह एक विशाल लेगो टावर को लेने और यह पता लगाने जैसा है कि आप उसी ऊंचाई तक पहुँचने के लिए ईंटों को कितने अलग-अलग तरीकों से स्टैक कर सकते हैं।

गणितज्ञ इन व्यवस्थाओं में "लापता टुकड़ों" को लेकर लंबे समय से मंत्रमुग्ध रहे हैं। यदि आप 5, 3 और 1 आकार की ईंटों का उपयोग करके एक टावर बनाते हैं, तो आप ध्यान देंगे कि आपने 2 या 4 का उपयोग नहीं किया। इन्हें लुप्त पूर्णांक (missing integers) कहा जाता है। आमतौर पर, गणितज्ञ केवल सबसे छोटी लुप्त संख्या की परवाह करते थे, लेकिन हाल ही में, शोधकर्ताओं के एक समूह ने तय किया कि वे ढेर में सबसे बड़ी ईंट से छोटी हर लुप्त संख्या को गिनेंगे। उन्होंने इन लुप्त संख्याओं को अन्य प्रकार की संख्या पहेलियों से जोड़ने वाले कुछ अद्भुत पैटर्न और सूत्र पाए, लेकिन उन्होंने उन्हें भारी बीजगणित (algebra) का उपयोग करके हल किया—जैसे अखरोट तोड़ने के लिए हथौड़े का उपयोग करना। उन्होंने पूछा, "क्या हम इन पैटर्नों को वास्तवв रूप से ब्लॉकों को इधर-उधर हिलाकर या देखकर सिद्ध कर सकते हैं?" यहीं से हमारे शोध पत्र की कहानी शुरू होती है।

शोध पत्र का मिशन: संख्याओं को गणना करने के बजाय ब्लॉकों को हिलाना

इस शोध पत्र में, लेखक जोसेलीन एनिसेटो और क्रिस्टीना बैलेन्टाइन उस चुनौती को स्वीकार करते हैं जो पिछले शोधकर्ताओं द्वारा छोड़ी गई थी: संयोजन संबंधी प्रमाण (combinatorial proofs) प्रदान करना। केवल समीकरण लिखने और उन्हें जटिल बीजगणित के साथ हल करने के बजाय, वे यह दिखाना चाहते हैं कि सूत्र क्यों काम करते हैं, एक भौतिक, दृश्य कहानी बनाकर। वे संख्याओं को खिलौनों की तरह मानते हैं, आकृतियों (जिन्हें फेरेस डायग्राम कहा जाता है) का उपयोग करते हैं जो विभाजनों (partitions) को दर्शाने के लिए बक्सों के ढेर की तरह दिखते हैं।

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

वे सफलतापूर्वक कई पहचानों (identities) को सिद्ध करते हैं जो पहले केवल बीजगणित के माध्यम से ज्ञात थीं। उदाहरण के लिए, वे दिखाते हैं कि एक संख्या को ठीक m लुप्त पूर्णांकों के साथ विभाजित करने के तरीके बिल्कुल उसी के बराबर हैं जैसे कि एक "विशिष्ट" विभाजन (जहाँ संख्याएँ दोहराई नहीं जातीं) को एक नियमित विभाजन के साथ जोड़ना, उन जोड़ों को रद्द करने के बाद जो फिट नहीं बैठते। वे इसे ओवरपार्टिशन्स (overpartitions) तक भी विस्तारित करते हैं, जो नियमित विभाजनों की तरह ही हैं लेकिन एक ट्विस्ट के साथ: जब कोई संख्या पहली बार आती है, तो उसे "ओवरलाइन" (जैसे टोपी पहनना) किया जा सकता है। वे सिद्ध करते हैं कि वही "रद्दीकरण खेल" (cancellation game) यहाँ भी काम करता है, बस टोपी के नियमों के साथ थोड़ा अलग सेट है।

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

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