On a problem on a generalization of Euler's totient function

"On a problem on a generalization of Euler's totient function" का तकनीकी सारांश

समस्या विवरण
यह शोध पत्र ब्युयुकासिक (Büyükaşık) एवं अन्य (2024) द्वारा प्रस्तुत यूलर के टोटिएंट फलन, $\phi(n)$, के एक सामान्यीकरण संबंधी एक अनुमान (conjecture) को संबोधित करता है। इस सामान्यीकृत फलन को इस प्रकार परिभाषित किया गया है:
$$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$$
जहाँ $\phi_0(n) = \phi(n)$ है। लेखक एक निश्चित गैर-ऋणात्मक पूर्णांक $s$ के लिए सेट $D_s$ को इस प्रकार परिभाषित करते हैं:
$$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$$
ब्युयुकासिक एवं अन्य ने सिद्ध किया कि किसी भी $s \ge 0$ के लिए $D_s$ परिमित (finite) है और यह अनुमान लगाया कि $D_1 = \{1, 3, 15\}$ है। यद्यपि उन्होंने गणनात्मक साक्ष्य प्रदान किए थे, किंतु यह अनुमान खुला रह गया था। इस कार्य का प्राथमिक उद्देश्य यह कठोर प्रमाण प्रदान करना है कि $D_1 = \{1, 3, 15\}$ है।

कार्यप्रणाली
प्रमाण प्रतिवर्ती समावेशन (reverse inclusion) $D_1 \subseteq \{1, 3, 15\}$ को स्थापित करने की दिशा में आगे बढ़ता है, क्योंकि समावेशन $\{1, 3, 15\} \subseteq D_1$ पहले ही ब्युयुकासिक एवं अन्य द्वारा स्थापित किया जा चुका था। कार्यप्रणाली बर्नौली संख्याओं (Bernoulli numbers) और बहुपदों (polynomials) के समन्वय वाले एक नवीन संरचनात्मक तर्क और शास्त्रीय संख्या सिद्धांत उपकरणों के संश्लेषण पर आधारित है।

1. विषम पूर्णांकों तक न्यूनीकरण: लेखक सर्वप्रथम यह प्रदर्शित करते हैं कि यदि $k \in D_1$ और $k > 1$, तो $k$ एक विषम पूर्णांक होना चाहिए। यह $\phi_1(3) \mid \phi_k(3)$ की स्थिति से व्युत्पन्न होता है, जो यह दर्शाता है कि $3 \mid (1 + 2^k)$, जिससे $k$ का विषम होना अनिवार्य हो जाता है।
2. बर्नौली योग और पूर्णांकता: तर्क का मुख्य भाग बर्नौली संख्याओं $B_{2j}$ के माध्यम से परिभाषित अनुक्रम $C_k(v)$ से संबंधित है:
   $$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$$
   लेखक एक प्रमुख लेम्मा (lemma) सिद्ध करते हैं: यदि $v \ge 1$ के लिए $C_k(v)$ एक पूर्णांक है, तो प्रत्येक सम पूर्णांक $h \in [2, k-1]$ के लिए, राशि $\frac{2k!}{h!}B_h$ को एक पूर्णांक होना चाहिए।
3. वर्गमुक्त पूर्णांकों (Squarefree Integers) का निर्माण: यह स्थापित करने के लिए कि सभी $v$ के लिए $C_k(v) \in \mathbb{Z}$, लेखक अंकगणितीय प्रगति में अभाजों के डिरिचलेट प्रमेय (Dirichlet's theorem) का उपयोग करते हैं। वे विशिष्ट अभाजों से युक्त वर्गमुक्त पूर्णांक $n$ का निर्माण करते हैं जो $1 \pmod L$ के तुल्य हैं (जहाँ $L$ विशिष्ट बर्नौली-संबंधी पदों के हरों का लघुत्तम समापवर्त्य है)। इन विशिष्ट $n$ के लिए $\phi_k(n)/\phi_1(n)$ की विभाज्यता का विश्लेषण करके, वे निष्कर्ष निकालते हैं कि $C_k(\omega(n))$ को एक पूर्णांक होना चाहिए, जहाँ $\omega(n)$ $n$ के भिन्न अभाज गुणनखंडों की संख्या है। चूँकि $\omega(n)$ किसी भी पूर्णांक $v \ge 1$ के बराबर हो सकता है, इसलिए $C_k(v)$ सभी $v \ge 1$ के लिए एक पूर्णांक है।
4. वॉन स्टॉड-क्लॉसिन प्रमेय (von Staudt–Clausen Theorem) का अनुप्रयोग: पिछले चरण में व्युत्पन्न पूर्णांकता की स्थिति का उपयोग करते हुए, लेखक वॉन स्टॉड-क्लॉसिन प्रमेय लागू करते हैं, जो बर्नौली संख्याओं के हरों (denominators) को अभिलक्षणित करता है। इससे एक महत्वपूर्ण गुण प्राप्त होता है: किसी भी सम $h \in [2, k-1]$ और किसी विषम अभाज $p$ के लिए, जिसके लिए $(p-1) \mid h$ हो, समुच्चय $\{h+1, \dots, k\}$ में $p$ का एक गुणज होना चाहिए।
5. माड्यूलर विरोधाभास (Modular Contradictions): लेखक इस गुण को एक सख्त असमानता में अनुवादित करते हैं जो माड्यूलर अवशेषों (modular residues) से संबंधित है: प्रत्येक विषम अभाज $p \le k$ के लिए,
   $$k \pmod p < k \pmod{p-1}$$
   $k+1$ की संरचना और विशिष्ट अभाजों का विश्लेषण करके, वे व्यवस्थित रूप से $k$ की संभावनाओं को खारिज करते हैं:
   • वे सिद्ध करते हैं कि $k+1$ में कोई विषम अभाज भाजक नहीं हो सकता, जिसका अर्थ है $k+1 = 2^a$।
   • वे दिखाते हैं कि $a$ को सम होना चाहिए, जिससे $k = 2^{2\lambda} - 1$ प्राप्त होता है।
   • $p=7, 11, 29$ जैसे अभाजों के साथ मॉड्यूलर अंकगणित के माध्यम से, वे प्रदर्शित करते हैं कि $\lambda \ge 3$ ऊपर प्राप्त सख्त असमानता के साथ विरोधाभास उत्पन्न करता है।

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

• अनुमान का प्रमाण: यह शोध पत्र सफलतापूर्वक सिद्ध करता है कि $D_1 = \{1, 3, 15\}$ है।
• बर्नौली योगों पर लेम्मा: लेखक विशिष्ट बर्नौली योगों $C_k(v)$ की पूर्णांकता और फैक्टोरियल्स तथा बर्नौली संख्याओं की विभाज्यता के बीच एक नया संबंध स्थापित करते हैं।
• संरचनात्मक अभिलक्षण: यह कार्य उन पूर्णांकों का विस्तृत अभिलक्षण प्रदान करता है जिनके लिए $\phi_1(n)$, $\phi_k(n)$ को विभाजित करता है, जिससे समस्या एक परिमित सेट के मॉड्यूलर प्रतिबंधों में बदल जाती है।

महत्व और दावे
यह शोध पत्र हाल के साहित्य (ब्युयुकासिक एवं अन्य, 2024) के एक खुले अनुमान को हल करने का दावा करता। लेखक स्पष्ट रूप से उल्लेख करते हैं कि उनके कार्य से पूर्व यह अनुमान खुला रह गया था। इस शोध की एक विशिष्ट विशेषता इसके विकास चरणों के दौरान "GPT-5.5 Pro के साथ व्यापक संवाद" का उपयोग है। लेखक नोट करते हैं कि यद्यपि AI सुझावों का उपयोग किया गया था, लेकिन समस्त गणितीय सामग्री को मानव लेखक द्वारा पर्याप्त रूप से संशोधित, सुधारा और स्वतंत्र रूप से सत्यापित किया गया था, और वे इसकी पूर्ण जिम्मेदारी लेते हैं।

यह शोध पत्र विनम्रतापूर्वक निष्कर्ष निकालता है कि $s > 1$ के लिए $D_s$ का मूल्यांकन करने हेतु इन तकनीकों का विस्तार करना भविष्य के अनुसंधान के लिए एक स्वाभाविक दिशा है, बिना किसी विशिष्ट प्रयोगात्मक अनुप्रयोग या इस अंकगणितीय समस्या के दायरे से परे व्यापक निहितार्थों का प्रस्ताव दिए।