🔢 mathematics

A formula of counting divisors in integers rings: a generalization of the divisor function $d_0(n)$

यह शोध पत्र सीमित क्लास समूहों वाले अनिश्चित डेडेकिंड डोमेन (Dedekind domains) के लिए मुख्य आदर्श विभाजकों (principal ideal divisors) और शून्य-योग उप-अनुक्रमों (zero-sum subsequences) के बीच एक पत्राचार स्थापित करके शास्त्रीय विभाजक फलन का सामान्यीकरण करता है, जिससे कैरेक्टर थ्योरी (character theory) का उपयोग करके आदर्श जनरेटरों के उभयनिष्ठ विभाजकों को गिनने के लिए एक बंद सूत्र (closed formula) प्राप्त होता है।

मूल लेखक: Ángel Martínez-Avelar, Mario Pineda-Ruelas

प्रकाशित 2026-05-20

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Ángel Martínez-Avelar, Mario Pineda-Ruelas

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक मास्टर बिल्डर हैं जो इंटीजर रिंग्स (Integer Rings) नामक एक विशेष प्रकार के शहर में काम करते हैं। एक सामान्य शहर में (जैसे मानक पूर्ण संख्याओं की दुनिया में), यदि आप एक दीवार बनाना चाहते हैं, तो आप हमेशा उसे अद्वितीय, मानक ईंटों में तोड़ सकते हैं। यदि आपके पास 12 ईंटों की एक दीवार है, तो आप जानते हैं कि आप इसे छोटे हिस्सों में विभाजित करने के कितने तरीके हैं क्योंकि 12 केवल $2 \times 2 \times 3$ है। यह वह "यूनिक फैक्टराइजेशन" (अद्वितीय गुणनखंडन) है जिसे आप स्कूल में सीखते हैं।

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

यह शोध पत्र एक नया निर्देश मैनुअल (instruction manual) है जो इन वैध विभाजनों को गिनने के लिए है।

समस्या: "टूटी हुई" ईंटें

इस शहर में, "ईंटें" उनके व्यवहार के आधार पर समूहों में व्यवस्थित हैं। लेखक इसे क्लास ग्रुप (Class Group) कहते हैं। क्लास ग्रुप को "संगतता टैग" (compatibility tags) के एक सेट के रूप में समझें।

कुछ ईंटों पर एक टैग है जो कहता है "मैं अपने आप में पूरी तरह फिट बैठती हूँ" (प्रिंसिपल)।
अन्य पर टैग है जो कहता है "मुझे काम करने के लिए एक साथी की आवश्यकता है" (नॉन-प्रिंसिपल)।

यदि आपके पास इन ईंटों से बनी एक बड़ी दीवार (एक आइडियल) है, तो आप जानना चाहते हैं: मैं इन ईंटों के एक उपसमुच्चय (subset) से कितनी छोटी, वैध दीवारें बना सकता हूँ? सामान्य गणित में, आप गणनाओं को बस गुणा करते हैं। यहाँ, आपको यह जांचना होगा कि क्या इन ईंटों के "टैग" शून्य में जुड़ते हैं (एक "जीरो-सम")। यदि वे शून्य में नहीं जुड़ते हैं, तो इन ईंटों का वह संयोजन एक वैध, स्वतंत्र दीवार नहीं बनाता है।

समाधान: एक जादुई फ़िल्टर

लेखक एंजेल मार्टिनेज़-एवेलर और मारियो पिनाडा-रुएलस ने एक चतुर फॉर्मूला विकसित किया है जो एक-एक करके हर संभावना को आज़माने के बजाय इन वैध संयोजनों को गिनता है।

वे करैक्टर थ्योरी (character theory) से एक उपकरण का उपयोग करते हैं, जिसे वे एक "जादुई फ़िल्टर" (Magic Filter) के रूप में वर्णित करते हैं।

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

अपने संभावनाओं के ढेर को इस फ़िल्टर से गुजारकर, वे वैध विभाजनों की एक सटीक संख्या प्राप्त करते हैं।

बड़ी खोज: एक नया "डिवाइज़र काउंट"

मानक गणित में, एक प्रसिद्ध फॉर्मूला है जिसे $d_0(n)$ कहा जाता है जो बताता है कि एक संख्या के कितने भाजक (divisors) हैं। उदाहरण के लिए, संख्या 6 के भाजक 1, 2, 3 और 6 हैं, इसलिए उत्तर 4 है।

यह शोध पत्र कहता है: "हमने इस अस्त-व्यस्त शहर के लिए भी यह करने का एक तरीका खोज लिया है!"

उनका फॉर्मूला उस पुराने $d_0(n)$ नियम का एक सामान्यीकरण (generalization) है।

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

"डेवनपोर्ट" सुरक्षा जाल

शोध पत्र में एक अवधारणा का भी उल्लेख है जिसे डेवनपोर्ट कॉन्स्टेंट (Davenport Constant) कहा जाता है। इसे ईंटों के ढेर के लिए एक "अधिकतम आकार सीमा" के रूप में समझें, इससे पहले कि आप इसके अंदर एक वैध संयोजन खोजने के लिए गारंटीकृत हों।

लेखक सिद्ध करते हैं कि इस शहर की किसी भी दीवार को एक "परफेक्ट" मुख्य भाग और एक "मेसी" (अस्त-व्यस्त) बचे हुए भाग में तोड़ा जा सकता है।
वे दिखाते हैं कि यह "मेसी" बचा हुआ भाग छोटा है। यह बहुत बड़ा नहीं हो सकता; इसका आकार डेवनपोर्ट कॉन्स्टेंट द्वारा सख्ती से सीमित है। यह सुनिश्चित करता है कि गिनती की समस्या हमेशा प्रबंधनीय रहती है और कभी भी नियंत्रण से बाहर नहीं जाती।

पेपर में वास्तविक दुनिया के उदाहरण

लेखकों ने अपने "जादुई फ़िल्टर" का परीक्षण विशिष्ट, वास्तविक गणितीय शहरों (जैसे $\sqrt{219}$ के लिए इंटीजर रिंग) पर किया।

उन्होंने गैर-मानक ईंटों से बनी एक जटिल दीवार ली।
उन्होंने वैध उप-दीवारों को गिनने के लिए अपने फॉर्मूले का उपयोग किया।
उन्होंने पाया कि उनके फॉर्मूले ने सही ढंग से पहचान की कि ईंटों के कौन से संयोजन ठोस दीवार बनाते हैं और कौन से नहीं, जो उनके मैनुअल गणनाओं से पूरी तरह मेल खाता है।

सारांश

संक्षेप में, यह शोध पत्र एक जटिल गणितीय दुनिया के लिए एक गिनती की पहेली को हल करता है जहाँ चीजें हमेशा सफाई से अलग नहीं होती हैं।

समस्या: एक ऐसी दुनिया में वैध उप-संरचनाओं को गिनना जहाँ "ईंटें" हमेशा अकेले फिट नहीं बैठती हैं।
उपकरण: एक गणितीय "जादुic फ़िल्टर" (करैक्टर थ्योरी) जो तुरंत वैध संयोजनों को गिनता है।
परिणाम: एक नया, सार्वभौमिक फॉर्मूला जो सरल दुनिया (जहाँ यह पुराने स्कूल के नियमों की तरह कार्य करता है) और जटिल दुनिया (जहाँ यह छिपे हुए पैटर्न को प्रकट करता है) दोनों के लिए काम करता है।

यह एक मैनुअल कैलकुलेटर को एक सुपर-कंप्यूटर में अपग्रेड करने जैसा है जो गणित की उन वास्तविक दुनिया की समस्याओं को संभाल सकता है जो पहले हल करने के लिए बहुत भ्रमित करने वाली थीं।

तकनीकी सारांश: पूर्णांकों के रिंग्स में विभाजकों की गणना का एक सूत्र

समस्या विवरण
यह शोध पत्र डेडकिंड डोमेन (Dedekind domains), विशेष रूप से एक नंबर फील्ड $K$ के पूर्णांकों के रिंग $O_K$ के भीतर मुख्य आदर्श विभाजकों (principal ideal divisors) की गणना करने की चुनौती को संबोधित करता है। यूनीक फैक्टराइजेशन डोमेन (UFDs) में, विभाजकों की संख्या शास्त्रीय विभाजक फलन $d_0(n)$ द्वारा निर्धारित होती है, जो किसी तत्व के अद्वितीय अभाज्य गुणनखंडन पर आधारित है। हालांकि, सामान्य डेडकिंड डोमेन में जहाँ तत्वों का अद्वितीय गुणनखंडन विफल हो जाता है (यद्यपि आदर्शों का अद्वितीय गुणनखंडन बना रहता है), एक आदर्श $I = (\alpha, \beta)$ के मुख्य विभाजकों की संख्या निर्धारित करना गैर-तुच्छ (non-trivial) है। लेखक इन रिंग्स में आदर्शों की संरचना और योगात्मक संयोजन (additive combinatorics) के बीच एक औपचारिक संबंध स्थापित करने का प्रयास करते हैं ताकि इन विभाजकों की गणना के लिए एक बंद सूत्र (closed formula) प्राप्त किया जा सके।

कार्यप्रणाली
लेखक बीजगणितीय संख्या सिद्धांत (algebraic number theory) और योगात्मक संयोजन का संश्लेषण उपयोग करते हैं, विशेष रूप से परिमित एबेलियन समूहों (finite abelian groups) पर चरित्र सिद्धांत (character theory) का उपयोग करते हुए। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

संरचनात्मक अपघटन (Structural Decomposition): चक्रीय वर्ग समूहों (cyclic class groups) वाले रिंग्स के लिए, लेखक सिद्ध करते हैं कि कोई भी गैर-शून्य आदर्श $I$ एक अधिकतम मुख्य भाग $(\gamma)$ और एक "अवशेष" उत्पाद $T_1^{c_1} \cdots T_m^{c_m}$ में विघटित किया जा सकता है। इस अवशेष की कुल लंबाई वर्ग समूह $G = Cl(K)$ के डावेनपोर्ट स्थिरांक (Davenport constant) $D(G)$ द्वारा कड़ाई से सीमित है। यह अपघटन गैर-मुख्य घटकों को अलग करता है।
शून्य-योग पत्राचार (Zero-Sum Correspondence): मुख्य विभाजकों को खोजने की समस्या को वर्ग समूह में शून्य-योग उप-अनुक्रमों (zero-sum subsequences) की समस्या में मैप किया जाता है। एक आदर्श तब मुख्य होता है जब उसके अभाज्य आदर्शों के वर्गों का योग वर्ग समूह में तत्समक तत्व (identity element) $0_G$ के बराबर होता है।
चरित्र-सैद्धांतिक फ़िल्टरिंग (Character-Theoretic Filtering): लेखक परिमित एबेलियन वर्ग समूह के पात्रों (characters) के द्वैत समूह $\hat{G}$ का उपयोग करते हैं। पात्रों के ऑर्थोगोनैलिटी संबंध (लेम्मा 1) को लागू करके, वे दिए गए आदर्श वर्गों के अनुक्रम के सभी संभावित अनुक्रमों से शून्य-योग उप-अनुक्रमों को अलग करने के लिए एक "फ़िल्टर" का निर्माण करते हैं।
सूत्र का व्युत्पन्न (Derivation of the Formula): पात्रों के गुणात्मक गुण और ज्यामितीय श्रेणी योग का उपयोग करते हुए, लेखक शून्य-योग उप-अनुक्रमों की संख्या के लिए एक बंद-रूप अभिव्यक्ति (closed-form expression) व्युत्पन्न करते हैं।

प्रमुख योगदान और परिणाम

संरचनात्मक प्रमेय (प्रमेय 1): यह शोध पत्र स्थापित करता है कि चक्रीय वर्ग समूह वाले डेडकिंड डोमेन में, प्रत्येक आदर्श $I$ को $I = (\gamma)T_1^{c_1} \cdots T_m^{c_m}$ के रूप में लिखा जा सकता है, जहाँ $(\gamma)$ एक अधिकतम मुख्य विभाजक है और घातांकों का योग $\sum c_i \leq h-1$ है (जहाँ $h$ वर्ग समूह का क्रम है)। यह सुनिश्चित करता है कि अवशेष में कोई उचित मुख्य विभाजक नहीं है।
उप-अनुक्रम गणना सूत्र (प्रमेय 2): केंद्रीय परिणाम एक परिमित एबेलियन समूह $G$ में एक अनुक्रम $S = (r_1^{e_1}, \dots, r_g^{e_g})$ के शून्य-योग उप-अनुक्रमों $n(S)$ के लिए एक बंद सूत्र है:
$n(S) = \frac{1}{h} \sum_{\chi \in \hat{G}} \prod_{i=1}^{g} \left( \sum_{k=0}^{e_i} \chi(r_i)^k \right)$
जहाँ $h = |G|$ और $\hat{G}$ पात्रों का द्वैत समूह है।
विभाजक फलन का सामान्यीकरण (उपपत्ति 2): ऊपर दिए गए सूत्र को किसी तत्व $\alpha$ के अभाज्य आदर्श वर्गों के अनुक्रम पर लागू करके, लेखक मुख्य आदर्श विभाजकों की संख्या $n(\alpha)$ के लिए एक सूत्र व्युत्पन्न करते हैं। वे प्रदर्शित करते हैं कि यदि वर्ग समूह त्रिविद (trivial) है (अर्थात, $O_K$ एक प्रिंसिपल आइडियल डोमेन है), तो यह सूत्र ठीक से शास्त्रीय विभाजक फलन $d_0(n) = \prod (e_i + 1)$ में बदल जाता है।
अविभाज्यता का अभिलक्षण (लेम्मा 2): यह शोध पत्र मुख्य विभाजकों की गणना के आधार पर अविभाज्यता (irreducibility) के लिए एक मानदंड प्रदान करता है। यदि किसी तत्व $\alpha$ के ठीक दो मुख्य आदर्श विभाजक हैं (इकाई आदर्श और स्वयं $\alpha$ ), तो $\alpha$ अविभाज्य है। यह इसके अभाज्य आदर्श वर्गों के अनुक्रम में उचित शून्य-योग उप-अनुक्रमों की अनुपस्थिति से जुड़ा है।

महत्व और दावे
लेखकों का दावा है कि यह कार्य $d_0(n)$ के शास्त्रीय विभाजक फलन का किसी भी परिमित वर्ग समूह वाले डेडकिंड डोमेन में एक स्वाभाविक सामान्यीकरण है। इसका महत्व निम्नलिखित में निहित है:

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

शोध पत्र अविभाज्य तत्वों को इन गणनाओं के आधार पर अभिलक्षित करने और सूत्र के अनुप्रयोग तथा अधिकतम मुख्य विभाजकों के व्यवहार को दर्शाने के लिए विशिष्ट द्विघाती क्षेत्रों ( $Q(\sqrt{10})$ , $Q(\sqrt{195})$ , $Q(\sqrt{219})$ , $Q(\sqrt{399})$ ) में कम्प्यूटेशनल उदाहरण (SageMath का उपयोग करके) प्रदान करने के साथ समाप्त होता है।