On the Frobenius Number of Quotients of Numerical Semigroups

तकनीकी सारांश: संख्यात्मक अर्धसमूहों (Numerical Semigroups) के भागफल के फ्रोबियस संख्या (Frobenius Number) पर

समस्या विवरण
यह शोध पत्र संख्यात्मक अर्धसमूहों के भागफल के फ्रोबियस संख्या के लिए स्पष्ट सूत्र निर्धारित करने के विषय को संबोधित करता है। यदि एक संख्यात्मक अर्धसमूह $S$ और एक धनात्मक पूर्णांक $p$ दिया गया है, तो भागफल $S/p = \{n \in \mathbb{N} \mid pn \in S\}$ भी एक संख्यात्मक अर्धसमूह होता है। एक केंद्रीय खुला प्रश्न (open problem), जिसे पूर्ववर्ती साहित्य (जैसे, [24, 8, 4]) में नोट किया गया है, यह है कि $\gcd(a, b) = 1$ होने पर $g(\langle a, b \rangle / p)$ के लिए एक बंद-रूप सूत्र (closed-form formula) ज्ञात करना। एक विशिष्ट उप-मामला जो विशेष रुचि का है, वह तब है जब जनरेटर (generators) क्रमागत पूर्णांक हों, अर्थात $S = \langle a, a+1 \rangle$। जबकि विशिष्ट मामलों के लिए सूत्र मौजूद हैं (जैसे, $p=2, p=5,$ या जब $p, a$ को विभाजित करता है), एक सामान्य बंद-रूप अभिव्यक्ति अभी भी अप्राप्य बनी हुई है।

कार्यप्रणाली (Methodology)
लेखक बहुपद सूत्रों (polynomial formulas) के अस्तित्व की जांच करने के लिए अर्धसमूह सिद्धांत (semigroup theory), बीजगणितीय ज्यामिति (algebraic geometry), और विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) के संयोजन का उपयोग करते हैं।

1. अर्धसमूह संरचना और समरूपता (Semigroup Structure and Symmetry): शोध पत्र इस गुण का उपयोग करता है कि $\langle a, b \rangle$ एक सममित (symmetric) संख्यात्मक अर्धसमूह है। [28] से प्राप्त परिणाम लागू करके, भागफल का फ्रोबियस संख्या $g(S/p)$ को $S$ के फ्रोबियस संख्या और $g(S) \pmod p$ के तुल्य $S$ में न्यूनतम तत्व $\omega_p(S)$ के पदों में व्यक्त किया जाता है। $S = \langle a, a+1 \rangle$ के मामले के लिए, यह समस्या को एक विशिष्ट सर्वांगसमता वर्ग (congruence class) पर एक रैखिक रूप (linear form) को न्यूनतम करने में बदल देता है।
2. अंकगणितीय सन्निकटन और डिरिचलेट का प्रमेय (Arithmetic Approximation and Dirichlet's Theorem): गैर-अस्तित्व प्रमेयों को सिद्ध करने के लिए, लेखक मापदंडों $(a, b, p)$ या $(a, p)$ के अनुक्रमों का निर्माण करते हैं जहाँ फ्रोबियस संख्या विशिष्ट रैखिक या द्विघात पैटर्न का अनुसरण करती है। लेम्मा 4.1 डिरिचलेट के अंकगणितीय प्रगति में अभाज्य संख्याओं के प्रमेय का उपयोग करता है ताकि निर्धारित मोडुलर गुणों और सीमित ढाल (limiting slopes) वाली अभाज्य संख्याओं $a$ और पूर्णांकों $b$ की अनंत अनुक्रमों को उत्पन्न किया जा सके।
3. बीजगणितीय ज्यामिति (ज़ारिस्की घनत्व - Zariski Density): गैर-अस्तित्व प्रमाणों का मुख्य आधार ज़ारिस्की घनत्व की अवधारणा पर निर्भर है। शोध पत्र तर्क देता है कि यदि कोई बहुपद संबंध $F(a, b, p, g) = 0$ मौजूद था, तो फ्रोबियस संख्या का ग्राफ ज़ारिस्की सघन (Zariski dense) नहीं होगा। यह दिखाकर कि ग्राफ सघन है (या कि किसी भी ऐसे बहुपद की आवश्यक डिग्री $p$ के साथ अनबाउंडेड रूप से बढ़ती है), ऐसे संबंध के अस्तित्व को खारिज कर दिया जाता है।
4. क्वासी-पॉलीनोमियल विश्लेषण (Quasi-polynomial Analysis): $S = \langle a, a+1 \rangle$ के मामले के लिए, लेखक एक सटीक अवशेष-वर्ग सूत्र (residue-class formula) व्युत्पन्न करते हैं। इसमें $a \pmod p$ के अवशेष के आधार पर विशिष्ट फलनों $I_p(r)$ और $J_p(r)$ को परिभाषित करना शामिल है, जो यह प्रदर्शित करता है कि एक निश्चित $p$ के लिए, फ्रोबियस संख्या एक द्विघात क्वासी-पॉलीनोमियल (quadratic quasi-polynomial) है।

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

शोध पत्र इन भागफलों के लिए फ्रोबियस संख्या की बीजगणितीय प्रकृति के संबंध में तीन मुख्य परिणाम स्थापित करता है:

1. समान बहुपद सूत्रों का गैर-अस्तित्व (सामान्य मामला):
   थ्योरम 1.2 सिद्ध करता है कि कोई गैर-शून्य बहुपद $F \in \mathbb{C}[X_1, X_2, X_3, Y]$ नहीं है जिससे सभी वैध त्रिकों $(a, b, p)$ के लिए $F(a, b, p, g(\langle a, b \rangle / p)) = 0$ हो। फलस्वरूप, फ्रोबियस संख्या को $a, b,$ और $p$ में समान (uniform) किसी भी परिमित बहुपद या परिमेय सूत्रों के संग्रह द्वारा निरूपित नहीं किया जा सकता है। यह परिणाम इस तथ्य को दर्शाकर प्राप्त किया गया है कि एक निश्चित अभाज्य $p$ के लिए, फ्रोबियस संख्या $b/a$ के अनुपात पर निर्भर करते हुए $(p-1)/2$ विशिष्ट रैखिक रूपों को लेती है, और ऐसे रूपों की संख्या $p$ के साथ बढ़ती है, जो किसी भी निश्चित बहुपद डिग्री से अधिक है।

2. क्रमागत जनरेटरों के लिए क्वासी-पॉलीनोमियल संरचना:
   विशिष्ट मामले $S = \langle a, a+1 \rangle$ के लिए, थ्योरम 1.4 $G(a, p) = g(\langle a, a+1 \rangle / p)$ के लिए एक सटीक सूत्र प्रदान करता है। सूत्र है:
   $$G(a, p) = \frac{a^2 - (I_p(r) + 1)a - (J_p(r) + 1)}{p}$$
   जहाँ $r = a \pmod p$, और $I_p(r), J_p(r)$ अवशेषों पर एक परिमित न्यूनीकरण प्रक्रिया (minimization procedure) द्वारा निर्धारित होते हैं। थ्योरम 1.4 निष्कर्ष निकालता है कि किसी भी निश्चित $p$ के लिए, फलन $a \mapsto G(a, p)$ एक द्विघात क्वासी-पॉलीनोमियल है जिसका आवर्त (period) $p$ को विभाजित करता है।

3. बहुपद सूत्रों का गैर-अस्तित्व (क्रमागत मामला):
   निश्चित $p$ के लिए क्वासी-पॉलीनोमियल संरचना के बावजूद, थ्योरम 1.5 सिद्ध करता है कि कोई भी एकल गैर-शून्य बहुपद $F \in \mathbb{C}[X_1, X_2, X_3]$ सभी युग्मों $(a, p)$ के लिए संतुष्ट नहीं करता है जहाँ $a$ और $p$ अभाज्य हैं (या कम से कम $p$ अभाज्य है और $a > p$ है)। प्रमाण यह दर्शाता है कि एक निश्चित $p$ के लिए बहुपद संबंध की न्यूनतम डिग्री $p$ के साथ रैखिक रूप से (विशेष रूप से कम से कम $\lceil p/2 \rceil$) बढ़ती है। चूंकि एक वैश्विक बहुपद की डिग्री निश्चित होती है, इसलिए यह जैसे-जैसे $p$ बदलता है, अनबाउंडेड डिग्री आवश्यकताओं को समायोजित नहीं कर सकता है।

महत्व और दावे

शोध पत्र अपने निष्कर्षों को फ्रोबियस संख्या के बंद-रूप सूत्र खोजने के खुले प्रश्न के एक नकारात्मक उत्तर के रूप में प्रस्तुत करता है, जो कर्टिस (Curtis) के $g(\langle a, b, c \rangle)$ के लिए सूत्रों के गैर-अस्तित्व पर उनके पूर्ववर्ती कार्य से प्रेरित है।

• बीजगणितीय जटिलता (Algebraic Complexity): प्राथमिक महत्व इस तथ्य का प्रदर्शन है कि इन भागफलों का फ्रोबियस संख्या एक ऐसी बीजगणितीय जटिलता रखता है जो मापदंडों से स्वतंत्र परिमित बहुपद या परिमेय अभिव्यक्तियों के वर्णन को असंभव बनाती है।
• स्थानीय बनाम वैश्विक का अंतर: शोध पत्र स्थानीय और वैश्विक व्यवहार के बीच एक विरोधाभास को रेखांकित करता है। स्थानीय स्तर पर (एक निश्चित $p$ के लिए), फलन सुव्यवस्थित (well-behaved) है (द्विघात क्वासी-पॉलीनोमियल)। वैश्विक स्तर पर (जैसे-जैसे $p$ बदलता है), फलन इतना जटिल है कि इसे एक एकल बीजगणितीय संबंध द्वारा कैप्चर नहीं किया जा सकता है।
• अभाज्य संख्याओं की भूमिका: परिणाम अभाज्य संख्याओं के प्रतिबंधात्मक मामले के तहत भी मान्य रहते हैं, जो डायरिचलेट के प्रमेय का उपयोग करके ऐसे मामलों के घनत्व (density) को सुनिश्चित करते हैं।
• "गैर-अस्तित्व" का स्पष्टीकरण: लेखक स्पष्ट रूप से नोट करते हैं कि ये परिणाम यह संकेत नहीं देते कि फ्रोबियस संख्या गणना योग्य (uncomputable) नहीं है। फ्लोर फंक्शन (floor functions), मॉड्यूलर अंकगणित, और परिमित न्यूनीकरण (जैसा कि थ्योरम 5.3 में देखा गया है) का उपयोग करने वाले स्पष्ट एल्गोरिदम और सूत्र मौजूद हैं। गैर-अस्तित्व प्रमेय विशेष रूप से मापदंड स्थान (parameter space) में समान रहने वाले सीमित डिग्री के बहुपद या परिमेय सूत्रों को खारिज करते हैं।

शोध पत्र यह निष्कर्ष निकालता है कि हालांकि विशिष्ट उप-वर्गों के लिए बंद-रूप सूत्र खोजना एक वैध अनुसंधान दिशा बनी हुई है, सामान्य मामला संख्यात्मक अर्धसमूहों के भागफलों के लिए सरल बीजगणितीय लक्षण वर्णन का विरोध करता है।