Binomial coefficients coprime to 6

एक विशाल, अनंत संख्या ग्रिड की कल्पना करें, एक छिपा हुआ परिदृश्य जहाँ प्रत्येक बिंदु इस बारे में एक रहस्य रखता है कि चीजें कैसे जुड़ती हैं। यह द्विपद गुणांकों (binomial coefficients) की दुनिया है, वे संख्याएँ जो आप पास्कल के त्रिकोण (Pascal's Triangle) में पाते हैं, जो हमें बताती हैं कि वस्तुओं के एक बड़े ढेर में से एक समूह को चुनने के कितने तरीके हैं। दशकों से, गणितज्ञ एक सरल प्रश्न से मंत्रमुग्ध रहे हैं: यदि आप एक संख्या चुनते हैं, मान लीजिए 6, तो वह इन संयोजनों को कितनी बार विभाजित करती है? 1974 में सिंगमस्टर द्वारा दिए गए एक प्रसिद्ध परिणाम ने एक आश्चर्यजनक सत्य प्रकट किया: लगभग हर एक द्विपद गुणांक किसी भी दी गई संख्या से विभाज्य है। यह ऐसा है जैसे, एक विशाल लॉटरी में, लगभग हर टिकट संख्या 6 के लिए एक विजेता है। लेकिन गणितज्ञ स्वाभाविक रूप से हारने वालों के प्रति जिज्ञासु होते हैं—वे नगण्य, दुर्लभ अपवाद जो विभाज्य नहीं हैं। जबकि हम जानते हैं कि जब विभाजक एक एकल अभाज्य संख्या (जैसे 2 या 3) होती है, तो ये अपवाद कैसे व्यवहार करते हैं, लेकिन जब विभाजक अभाज्य संख्याओं का मिश्रण होता है, जैसे कि 6, तो तस्वीर धुंधली और रहस्यमय हो जाती है। इन दुर्लभ, जिद्दी संख्याओं को समझना रेत के उन कुछ कणों को खोजने जैसा है जो समुद्र में घुलने से इनकार कर देते; यह हमें संख्याओं की गहरी, छिपी हुई संरचना को समझने में मदद करता है।

इस शोध पत्र में, पास्कल जेलीनेक संख्या 6 के रहस्य को सुलझाते हैं। विशेष रूप से, वे उन द्विपद गुणांकों को देखते हैं जो 6 के "सह-अभाज्य" (coprime) हैं, जिसका अर्थ है कि वे 6 के साथ कोई सामान्य गुणनखंड साझा नहीं करते हैं। चूंकि 6, अभाज्य संख्या 2 और 3 से बना है, इसलिए एक संख्या 6 के सह-अभाज्य तभी होगी जब वह 2 से विभाज्य न हो (अर्थात विषम हो) और 3 से भी विभाज्य न हो। लेखक एक "तुच्छ" अनुमान (trivial estimate) के साथ शुरुआत करते हैं, जो कि त्रिकोण में सभी विषम संख्याओं की गणना करने पर आधारित एक मोटा अनुमान है। हालाँकि, यह अनुमान बहुत उदार है; यह मान लेता है कि विषम होना और 3 से बचना पूरी तरह से स्वतंत्र घटनाएँ हैं, जैसे दो अलग-अलग सिक्कों को उछालना। जेलीनेक सिद्ध करते हैं कि यह पूरी तरह सच नहीं है। विभिन्न आधारों (विशेष रूप से आधार 2 और आधार 3) में संख्याओं के "अंकों" (digits) का उपयोग करते हुए एक चतुर गणितीय युक्ति लागू करके, और स्टाइन के एक प्रमेय का उपयोग करके कि ये अंक कैसे परस्पर क्रिया करते हैं, वह दिखाते हैं कि ये दोनों स्थितियाँ वास्तव में एक-दूसरे को प्रतिबंधित करती हैं।

परिणाम एक महत्वपूर्ण सुधार है। जेलीनेक प्रदर्शित करते हैं कि इन विशेष गुणांकों की संख्या वास्तव में उस मोटे अनुमान से कम है जो पहले दिया गया था। वह एक नया, अधिक सटीक ऊपरी आबंध (upper bound) प्रदान करते हैं, यह दिखाते हुए कि इन संख्याओं की संख्या लगभग विषम संख्याओं के आकार के बराबर है, जिसे कुल आकार के लघुगणक (logarithm) के वर्ग के साथ बढ़ते एक कारक द्वारा विभाजित किया गया है। सरल शब्दों में, वह सिद्ध करते हैं कि ये "6 के सह-अभाज्य" संख्याएँ हमारी पिछली धारणा से भी अधिक दुर्लभ हैं, जिससे अनुमानित गणना का एक महत्वपूर्ण हिस्सा कम हो जाता है। यह इस विशिष्ट मामले के लिए पहली बार स्थापित किया गया एक गैर-तुच्छ, कठोर आबंध है, जो इस क्षेत्र को एक अस्पष्ट अनुमान से एक अधिक सटीक गणितीय वास्तविकता की ओर ले जाता है। यह शोध पत्र केवल यह नहीं कहता कि "यह छोटा है"; बल्कि यह एक विशिष्ट सूत्र प्रदान करता है जो दिखाता है कि यह कितना छोटा है, जो संख्या प्रणाली में विभाज्यता के जटिल नृत्य को समझने के लिए एक नया उपकरण प्रदान करता है।