Higher-Order Congruence for Reciprocal Power Sums and Generalized Lehmer-Type Products

तकनीकी सारांश: व्युत्क्रम घात योगों के लिए उच्च-क्रम सर्वांगसमता और सामान्यीकृत लेहमर-प्रकार के गुणनफल

समस्या विवरण
यह शोध पत्र पूर्णांकों की उच्च घातों के अंतर्गत व्युत्क्रम योगों (reciprocal sums) और संयोजन गुणनफलों (combinatorial products) के अंकगणित में दो प्राथमिक प्रश्नों का समाधान करता है। प्रथम, यह जांच करता है कि क्या मौजूदा द्विघात व्युत्क्रम योग सर्वांगसमताओं (विशेष रूप से $1/r^2$ से संबंधित) को विषम क्रम के व्युत्क्रम योगों ($1/r^m$ के लिए विषम $m$) तक विस्तारित किया जा सकता है और उन्हें संयुक्त संशोधक (composite moduli) के लिए बर्नौली बहुपदों (Bernoulli polynomials) के रूप में समान रूप से व्यक्त किया जा सकता है। द्वितीय, यह $n^{K+1}$ के अंतर्गत सामान्यीकृत लेहमर-प्रकार के गुणनफलों को $n^3$ (क्यूबिक मोडुलस) के ज्ञात परिणामों से आगे बढ़ाते हुए, उच्च-क्रम विस्तार प्राप्त करने का प्रयास करता है जहाँ गुणांकों को बेल बहुपदों (Bell polynomials) द्वारा समान रूप से निरूपित किया जाता है।

कार्यप्रणाली
लेखक स्थानीय विश्लेषण (local analysis) और वैश्विक पुनर्निर्माण (global reconstruction) को संयोजित करते हुए एक संरचित दृष्टिकोण अपनाते हैं:

1. स्थानीय सर्वांगसमता (Local Congruences): अध्ययन $p^l$ (अभाज्य घातों) के लिए सर्वांगसमता स्थापित करने से शुरू होता है। लेखक $\sum (p^l - tr)^M$ के रूप में योगों के संबंध में काई एट अल. (Cai et al.) के मौजूदा परिणामों को परिष्कृत करते हैं। यूलर प्रमेय, फौल्डहाबर सूत्र (Faulhaber's formula) और बर्नौली बहुपदों के गुणों का उपयोग करके, वे $p^l$ और $p^{2l}$ के लिए घातों के योगों के लिए स्पष्ट सर्वांगसमताएँ व्युत्पन्न करते हैं, जिसमें $M$ के सम या विषम होने के मामलों के बीच अंतर किया गया है।
2. लिफ्टिंग और व्युत्क्रमण (Lifting and Inversion): इन परिणामों को संयुक्त संशोधकों तक विस्तारित करने के लिए, शोध पत्र एक "लिफ्टिंग संबंध" का उपयोग करता है। इसमें यह सिद्ध करना शामिल है कि $\lfloor c p^l / e \rfloor$ पर योगों को जैकोबी प्रतीकों (Jacobi symbols) के माध्यम से $\lfloor p^l / e \rfloor$ पर योगों से जोड़ा जा सकता है। लेखक सामान्य संयुक्त $n$ में अभाज्य-घात परिणामों से संक्रमण करने के लिए मोबियस व्युत्क्रमण (Möbius inversion) और चीनी शेष प्रमेय (Chinese Remainder Theorem) का भी उपयोग करते हैं।
3. बेल बहुपद विस्तार (Bell Polynomial Expansion): गुणनफल सर्वांगसमताओं के लिए, लेखक $\mathbb{Z}/n^{K+1}\mathbb{Z}$ में एक खंडित वलय (truncated ring) के भीतर गुणनफल के लघुगणक (logarithm) का विश्लेषण करते हैं। व्युत्क्रम घात योगों $S_m(n)$ को शामिल करते हुए एक घात श्रेणी के रूप में गुणनफल के लघुगणक का विस्तार करके और फिर घातांक (exponentiation) का उपयोग करके, वे परिणामी गुणांकों को पूर्ण घातांकीय बेल बहुपदों (complete exponential Bell polynomials) के रूप में पहचानते हैं। यह इन बहुपदों का उपयोग करके गुणनफल को एक परिमित योग के रूप में व्यक्त करने की अनुमति देता है।

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

• विषम-क्रम व्युत्क्रम योगों का विस्तार (प्रमेय 1.3):
  यह शोध पत्र पूर्ववर्ती द्विघात परिणामों को विषम क्रम के व्युत्क्रम योगों के लिए सामान्यीकृत करता है। एक धनात्मक पूर्णांक $n$ के लिए जहाँ $(n, 6)=1$, $e \in \{2, 3, 4, 6\}$, और एक विषम पूर्णांक $m$ जो $n$ के अभाज्य कारकों के सापेक्ष विशिष्ट सीमाओं को संतुष्ट करता है, लेखक निम्नलिखित सर्वांगसमता स्थापित करते हैं:
  $$\sum_{\substack{r=1 \\ (r,n)=1}}^{\lfloor n/e \rfloor} \frac{1}{r^m} \equiv n^{\phi(n)-m} \phi_{m-\phi(n)}(n) \left( \frac{B_{\phi(n)-m+1}(1/e)}{\phi(n)-m+1} - \frac{B_{\phi(n)-m+1}}{\phi(n)-m+1} \right) \pmod n$$
  यहाँ, $B_k(x)$ $k$-वाँ बर्नौली बहुपद है, और $\phi_f(n)$ एक सामान्यीकृत यूलर टोटिएंट फलन है। यह परिणाम बर्नौली बहुपदों का उपयोग करके इन योगों की गणना को एकीकृत करता है।

• उच्च-क्रम गुणनफल विस्तार (प्रमेय 1.4):
  यह शोध पत्र सामान्यीकृत लेहमर-प्रकार के गुणनफलों के लिए एक उच्च-क्रम विस्तार प्रदान करता है। धनात्मक पूर्णांकों $k, e, n, K$ के लिए जहाँ $(n, K!) = 1$, गुणनफल
  $$\prod_{d|n} \binom{kd-1}{\lfloor d/e \rfloor}^{\mu(n/d)}$$
  इस प्रकार संतुष्ट करता है:
  $$\equiv (-1)^{\phi_e(n)} \sum_{m=0}^{K} \frac{\bar{B}_m(-kS_1(n), \dots, -(m-1)!k^m S_m(n))}{m!} n^m \pmod{n^{K+1}}$$
  जहाँ $\bar{B}_m$ $m$-वाँ पूर्ण घातांकीय बेल बहुपद है और $S_m(n)$ व्युत्क्रम घात योग हैं।

• स्पष्ट निम्न-क्रम मामले (Explicit Low-Order Cases):
  लेखक $K=2$ (पूर्ववर्ती $n^3$ परिणामों को पुनः प्राप्त करते हुए) और $K=3$ (एक नया $n^4$ विस्तार प्रदान करते हुए) के लिए इन परिणामों की गणना क्षमता को प्रदर्शित करते हैं। वे विस्तार के गुणांकों $C_t$ की गणना के लिए एक पुनरावर्ती एल्गोरिदम (समीकरण 53) भी प्रस्तुत करते हैं, जो एल्गोरिथम सत्यापन की सुविधा प्रदान करता है।

महत्व
यह शोध पत्र उच्च-क्रम सर्वांगसमताओं के स्पष्ट अनुक्रमिक और एल्गोरिथम सत्यापन के लिए एक एकीकृत ढांचे (unified framework) का दावा करता है। केवल विशिष्ट मामलों के लिए संशोधक क्रम बढ़ाने के बजाय, यह कार्य एक संरचित प्रमाण ढांचा निर्मित करता है जो है:

• स्थानांतरणीय (Transferable): व्युत्क्रम योगों और गुणनफल अभिव्यक्तियों दोनों के लिए लागू।
• पुनरावर्ती (Recursive): व्यवस्थित रूप से उच्च-क्रम पदों को उत्पन्न करने के लिए बेल बहुपदों का उपयोग करना।
• संगणकीय रूप से प्रभावी (Computationally Effective): स्पष्ट सूत्र और पुनरावर्ती संबंध प्रदान करना जो प्रत्येक क्रम के लिए अलग-अलग (ad-hoc) व्युत्पत्ति के बिना $n^{K+1}$ के अंतर्गत सर्वांगसमताओं की गणना करने की अनुमति देते हैं।

ये परिणाम शास्त्रीय सर्वांगसमताओं (जैसे मोरले की सर्वांगसमता) और बर्नौली एवं बेल संरचनाओं से जुड़े आधुनिक संरचनात्मक दृष्टिकोणों के बीच के अंतर को पाटते हैं, जो यह सुझाव देते हैं कि इस क्षेत्र में केंद्रीय कार्य अब पृथक सुधारों से हटकर ऐसे व्यवस्थित ढांचों के विकास की ओर बढ़ रहा है।