🔢 mathematics

Ljunggren--Jacobsthal and Bailey-Type Congruences for Rectangular Gaussian Binomial Coefficients

यह शोधपत्र गॉसियन पूर्णांकों पर आयताकार गॉसियन द्विपद गुणांकों के लिए $p$ -पूर्णांकता स्थापित करता है और लंगग्रिन-जैकोबस्टाल-प्रकार की सुपर-योग्रूपता (supercongruences) तथा बेली-प्रकार की योग्रूपता (congruences) को सिद्ध करता है, जिससे कलिनिन के अनुमान के एक इनर्ट-प्राइम (inert-prime) मामले की पुष्टि होती है और इस द्वि-आयामी सेटिंग में लुकास-प्रकार के परिणामों का विस्तार होता है।

मूल लेखक: Kevin Calderon

प्रकाशित 2026-08-04

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

CC BY 4.0

मूल लेखक: Kevin Calderon

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

कल्पना कीजिए एक ऐसी दुनिया की जहाँ संख्याएँ केवल शून्य से अनंत तक फैलने वाली एक सीधी रेखा नहीं हैं, बल्कि एक विशाल, दो-आयामी ग्रिड है, जैसे कि एक शतरंज का बोर्ड जो अनंत तक जाता है। इस दुनिया में, जिसे "गौसियन इंटीजर्स" (Gaussian integers) कहा जाता है, हर बिंदु एक संख्या है जिसके दो भाग हैं: एक वास्तविक भाग और एक काल्पनिक भाग (इसे एक मानचित्र पर निर्देशांक की तरह समझें, जैसे "3 कदम पूर्व और 4 कदम उत्तर")। गणितज्ञ लंबे समय से इस बात से मंत्रमुग्ध रहे हैं कि जब इन ग्रिड-संख्याओं को आपस में गुणा किया जाता है या विभाजित किया जाता है, तो वे कैसे व्यवहार करती हैं, ठीक वैसे ही जैसे हम स्कूल में नियमित संख्याओं का अध्ययन करते हैं। नियमित संख्या सिद्धांत में सबसे प्रसिद्ध पहेलियों में से एक "द्विपद गुणांक" (binomial coefficients) के बारे में है—वे बड़ी संख्याएँ जो आपको तब मिलती हैं जब आप पूछते हैं, "20 लोगों के समूह में से 5 लोगों की एक टीम चुनने के कितने तरीके हैं?" इन संख्याओं में छिपे हुए पैटर्न होते हैं, विशेष रूप से जब आप उन्हें "मॉड्यूलर अंकगणित" (modular arithmetic) नामक गणित के एक विशिष्ट प्रकार के माध्यम से देखते हैं, जो अनिवार्य रूप से एक घड़ी की तरह है जहाँ संख्याएँ एक निश्चित सीमा तक पहुँचने के बाद वापस घूम जाती हैं।

दशकों से, गणितज्ञों ने आश्चर्य किया है कि क्या नियमित संख्या जगत के इन छिपे हुए पैटर्न का इस दो-आयामी ग्रिड दुनिया में कोई जुड़वां मौजूद है। कुछ साल पहले, कलिनिन नामक एक शोधकर्ता ने एक साहसी विचार प्रस्तावित किया: कि यदि आप इन ग्रिड-संख्याओं को एक विशिष्ट आयताकार पैटर्न में व्यवस्थित करते हैं, तो वे नियमित संख्या जगत के प्रसिद्ध "वोल्स्टीनहोम प्रमेय" (Wolstenholme's theorem) के समान नियमों का पालन करेंगे। यह प्रमेय एक जादू के खेल की तरह है जहाँ कुछ विशेष परिस्थितियों के तहत, एक विशाल गणना एक बहुत ही छोटे, अनुमानित शेषफल (remainder) में सरल हो जाती है। कलिनिन ने अनुमान लगाया कि यह जादू ग्रिड दुनिया में भी काम करेगा, लेकिन केवल एक विशिष्ट प्रकार की "अभाज्य संख्या" (prime number) के लिए—एक ऐसी संख्या जो जिद्दी है और जब आप इसे इस ग्रिड में तोड़ने की कोशिश करते हैं तो यह अलग नहीं होती। बड़ा सवाल यह था: क्या कलिनिन का अनुमान सही है, और यदि ऐसा है, तो ये नियम कितने मजबूत हैं?

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

यह शोध पत्र एक दूसरा, थोड़ा अलग पैटर्न भी खोजता है। कल्पना कीजिए कि आपके पास एक विशाल ग्रिड है जो संख्याओं के एक बहुत बड़े ब्लॉक और एक बहुत छोटे बचे हुए हिस्से से बना है (जैसे एक बड़ी दीवार जिसमें एक छोटी खिड़की हो)। लेखक दिखाता है कि आप इस विशाल ग्रिड की गणना को तीन भागों के सरल गुणन में तोड़ सकते हैं: बड़े ब्लॉक के लिए परिणाम, छोटी खिड़की के लिए परिणाम, और दो अतिरिक्त "सुधार कारक" (correction factors) जो खिड़की के आकार पर निर्भर करते हैं। यह नियमित गणित के एक प्रसिद्ध नियम "लुकास प्रमेय" (Lucas's Theorem) के समान है, लेकिन एक मोड़ के साथ: क्योंकि हम दो आयामों में हैं, इसलिए एक के बजाय दो अतिरिक्त सुधार कारक हैं, जो इस बात को दर्शाते हैं कि आपकी खिड़की में ऊपर/नीचे का किनारा और बाएँ/दाएँ का किनारा दोनों हैं।

लेखक बहुत सावधानी से यह भी बताते हैं कि यह जादू कहाँ काम नहीं करता है। ये नियम केवल उन जिद्दी अभाज्य संख्याओं के लिए लागू होते हैं जो 4 से विभाजित होने पर 3 का शेषफल छोड़ती हैं। यदि आप एक ऐसी अभाज्य संख्या का उपयोग करने का प्रयास करते जो 1 का शेषफल छोड़ती है (जो इस ग्रिड दुनिया में दो छोटे टुकड़ों में टूट जाती है), तो पैटर्न पूरी तरह से टूट जाता है। शोध पत्र एक विशिष्ट प्रति-उदाहरण (counter-example) दिखाकर इसे सिद्ध करता है जहाँ गणित विफल हो जाता है। यह यह भी नोट करता है कि नियम सबसे छोटी अभाज्य संख्याओं, 2 और 3 के लिए काम नहीं करते हैं, जो इस जटिल संरचना को सहारा देने के लिए बहुत छोटी हैं।

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

तकनीकी सारांश: आयताकार गॉसियन द्विपद गुणांकों के लिए लंगग्रेन-जैकोबस्टहल और बेली-प्रकार के सर्वांगसमता (Congruences)

समस्या और प्रेरणा
यह शोध पत्र गॉसियन पूर्णांकों $\mathbb{Z}[i]$ पर एक द्वि-आयामी फॅक्टोरियल अनुपात (factorial ratio) की जांच करता है, जिसे आयताकार गॉसियन द्विपद गुणांक कहा जाता है, जिसे $R(A, B; C, D)$ द्वारा सूचित किया गया है। इस वस्तु को एक अनुवादित (translated) $C \times D$ जालक (lattice) आयत के गुणनफल और मूल $C \times D$ आयत के गुणनफल के भागफल के रूप में परिभाषित किया गया है:
$R(A, B; C, D) := \frac{\prod_{x=A-C+1}^{A} \prod_{y=B-D+1}^{B} (x + iy)}{\prod_{x=1}^{C} \prod_{y=1}^{D} (x + iy)}.$
यह कार्य कलिनिन के वोलस्टेनहोल (Wolstenholme) के प्रमेय के गॉसियन अनुरूप से प्रेरित है, जो $\mathbb{Z}[i]$ में व्युत्क्रम मूलों (reciprocal roots) के सममित फलनों को उच्च-घात सर्वांगसमता से जोड़ता है। लेखक शास्त्रीय द्विपद सर्वांगसमताओं—विशेष रूप से लंगग्रेन-जैकोबस्टहल सर्वांगसमता (अभाज्य घातों द्वारा मापदंडों के विवर्धन से संबंधित) और लुकास प्रमेय के बेली परिशोधन (बड़े ब्लॉकों और अंकों में अपघटन से संबंधित)—को इस द्वि-आयामी गॉसियन परिवेश में विस्तारित करने का प्रयास करते हैं।

कार्यप्रणाली
प्रमाण $\mathbb{Z}_p[i]$ के पूर्णांक रिंग $\mathcal{O}_p$ में $p$ -एडिक विश्लेषण और संयोजन संबंधी ब्लॉक अपघटन के संयोजन पर आधारित हैं। विश्लेषण को उन परिमेय अभाज्य संख्याओं $p \equiv 3 \pmod 4$ तक सीमित रखा गया है जो $\mathbb{Z}[i]$ में इनर्ट (inert) हैं। यह स्थिति सुनिश्चित करती है कि $p$ , $\mathbb{Z}[i]$ में अभाज्य बना रहे, अवशेष क्षेत्र (residue field) $\mathbb{F}_{p^2}$ हो, और $\mathbb{Z}[i]$ में $p$ द्वारा विभाज्यता वास्तविक और काल्पनिक दोनों भागों की एक साथ विभाज्यता के अनुरूप हो।

मुख्य कार्यप्रणालीगत चरण निम्नलिखित हैं:

व्युत्क्रम घात योग (Reciprocal Power Sums): लेखक $p^k$ मोड्यूलो पूर्ण इकाइयों के सेट $U_k$ पर $H_j(k) = \sum_{z \in U_k} z^{-j}$ को परिभाषित करते हैं। कलिनिन के परिणामों और न्यूटन के सर्वसमिकाओं (Newton's identities) वाले आगमन (inductive) तर्कों का उपयोग करते हुए, यह शोध पत्र स्थापित करता है कि $p > 5$ के लिए $H_1(k) \equiv 0 \pmod{p^{2k}}$ और $H_2(k) \equiv 0 \pmod{p^k}$ है।
ब्लॉक अपघटन (Block Decomposition): बड़े आयताकार गुणनफलों को इकाइयों के पूर्ण $p^k \times p^k$ ब्लॉकों और सीमा पट्टियों (boundary strips) में विभाजित किया जाता है। एक अनुवादित ब्लॉक पर गुणनफल की अपरिवर्तनीयता व्युत्क्रम घात योगों के शून्य होने पर निर्भर करती है।
समावेशन-अपवर्जन (Inclusion-Exclusion): आयताकार गुणांक को आयताकार फॅक्टोरियल्स $P(X, Y)$ के गुणात्मक समावेशन-अपवर्जन के माध्यम से व्यक्त किया जाता है। यह $p$ से विभाज्य कारकों (जो निम्न-स्तर के गुणांकों में परिवर्तित होते हैं) को इकाई कारकों (जो पूर्ण ब्लॉकों का निर्माण करते हैं) से अलग करने की अनुमति देता है।

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

$p$ -पूर्णांकता ( $p$ -Integrality): शोध पत्र पहले यह सिद्ध करता है कि $R(A, B; C, D)$ सभी $p \equiv 3 \pmod 4$ के लिए $p$ -पूर्णांक (अर्थात $\mathcal{O}_p$ में) है, जिससे सर्वांगसमताओं की सुपरिभाषित प्रकृति स्थापित होती है।
लंगग्रेन-जैकोबस्टहल-प्रकार की सुपरकंग्रुएंस (प्रमेय 1.2):
एक अभाज्य $p > 5$ के लिए जहाँ $p \equiv 3 \pmod 4$ है, और किसी भी पूर्णांक $k \ge 1$ के लिए, सभी मापदंडों का $p$ द्वारा एक साथ विवर्धन निम्नलिखित परिणाम देता है:
$R(p^k A, p^k B; p^k C, p^k D) \equiv R(p^{k-1} A, p^{k-1} B; p^{k-1} C, p^{k-1} D) \pmod{p^{3k}}.$
यह परिणाम कलिनिन के एक अनुमान के इनर्ट-प्राइम मामले को सिद्ध करता है और शास्त्रीय लंगग्रेन-जैकोबस्टहल सर्वांगसमता को गॉसियन आयताकार परिवेश में विस्तारित करता है।
बेली-प्रकार की सर्वांगसमता (प्रमेय 1.3):
मापदंडों के अपघटन के लिए (जहाँ $A = pA' + \alpha$ , आदि), यह शोध पत्र $p$ मोड्यूलो एक सर्वांगसमता स्थापित करता है:
$R(pA + \alpha, pB + \beta; pC + \gamma, pD + \delta) \equiv R(A, B; C, D) R(\alpha, \beta; \gamma, \delta) \binom{\alpha}{\gamma}^D \binom{\beta}{\delta}^C \pmod p.$
एक-आयामी बेली सर्वांगसमता के विपरीत, इस परिणाम में दो अतिरिक्त साधारण द्विपद कारक, $\binom{\alpha}{\gamma}^D$ और $\binom{\beta}{\delta}^C$ शामिल हैं, जो आयताकार अपघटन की ऊर्ध्वाधर और क्षैतिज सीमा पट्टियों से उत्पन्न होते हैं।
वैचारिक ढांचा (Conceptual Framework):
यह शोध पत्र अपने परिणामों को एक "शास्त्रीय-गॉसियन शब्दकोश" (classical–Gaussian dictionary) के भीतर स्थापित करता है, जो पूर्णांक जालक $\mathbb{Z}$ और चक्रीय फलनों को वर्ग जालक $\mathbb{Z}[i]$ और लेम्निस्केटिक फलनों (जो CM दीर्घवृत्त वक्र $y^2 = x^3 - x$ से जुड़े हैं) के साथ मानचित्रित करता है। जालक की समरूपता समूह ( $\mathbb{Z}[i]$ के लिए चौथाई-परिवर्तन समरूपता बनाम $\mathbb{Z}$ के लिए परावर्तन) यह निर्धारित करती है कि कौन से व्युत्क्रम क्षण (moments) शून्य होते हैं, जो सर्वांगसमता में $p$ की विशिष्ट घातों की व्याख्या करती है।

महत्व और विस्तार
शोध पत्र दावा करता है कि यह वोलस्टेनहाले-प्रकार की सर्वांगसमताओं के गॉसियन अनुरूप के संबंध में कलिनिन के अनुमान के इनर्ट-प्राइम मामले को हल करता है। यह प्रदर्शित करता है कि आयताकार गॉसियन द्विपद गुणांकों का अंकगणित उन्हीं तंत्रों द्वारा शासित होता है जिनसे शास्त्रीय द्विपद गुणांक संचालित होते हैं (व्युत्क्रम घात योग और ब्लॉक अपरिवर्तनीयता), यद्यपि द्वि-आयामी जालक और $\mathbb{Z}[i]$ की विशिष्ट समरूपता के कारण इसमें संरचनात्मक संशोधन होते हैं।

लेखक स्पष्ट रूप से सीमाओं और भविष्य की दिशाओं का उल्लेख करते हैं:

वर्तमान परिणाम इनर्ट प्राइम्स ( $p \equiv 3 \pmod 4$ ) तक सीमित हैं। स्प्लिट केस ( $p \equiv 1 \pmod 4$ ) के लिए अवशेष रिंग में शून्य विभाजकों (zero divisors) के कारण अलग उपचार की आवश्यकता है।
बेली-प्रकार की सर्वांगसमता केवल $p$ मोड्यूलो सिद्ध की गई है; उच्च-घात लिफ्ट (higher-power lifts) को एक स्वाभाविक निरंतरता के रूप में सुझाया गया है लेकिन सिद्ध नहीं किया गया है।
यह शोध पत्र सामान्य काल्पनिक द्वि-वर्ग क्रमों (imaginary quadratic orders) के लिए विस्तार प्रस्तावित करता है और वैश्विक पूर्णांकता (global integrality) तथा बार्न्स डबल-गामा निरूपणों के बारे में प्रश्न उठाता है।

यह कार्य यह दावा नहीं करता कि इसके प्रायोगिक अनुप्रयोग हैं, बल्कि यह गॉसियन फॅक्टोरियल अनुपातों के अंकगणित के लिए एक सैद्धांतिक आधार स्थापित करता है, जो उन्हें CM दीर्घवृत्त वक्रों और औपचारिक समूहों (formal groups) के सिद्धांत से जोड़ता है।

इसी तरह के और पेपर