🔢 mathematics

Galois Groups of Apéry-like Series Modulo Primes

यह शोध पत्र अपेरी (Apéry), डॉम्ब (Domb), और अल्मक्विस्ट-ज़ुडिलिन (Almkvist–Zudilin) संख्याओं के जनरेटिंग सीरीज़ के अभाज्य (primes) के अंतर्गत मॉड्यूलो रिडक्शन के गालोइस समूहों (Galois groups) की गणना करता है, यह प्रदर्शित करते हुए कि उनका व्यवहार अभाज्य $p$ पर विशिष्ट सर्वांगसमता स्थितियों (congruence conditions) द्वारा निर्धारित होता है।

मूल लेखक: Xavier Caruso, Florian Fürnsinn, Daniel Vargas-Montoya, Wadim Zudilin

प्रकाशित 2026-02-18

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

CC BY 4.0

मूल लेखक: Xavier Caruso, Florian Fürnsinn, Daniel Vargas-Montoya, Wadim Zudilin

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

कल्पना कीजिए कि आपके पास एक विशाल, अनंत रेसिपी बुक है। प्रत्येक पृष्ठ पर एक विशिष्ट संख्या है, और यदि आप अगली संख्या उत्पन्न करने के लिए नियमों का पालन करते हैं, तो आपको एक अनुक्रम (sequence) प्राप्त होता है जो बहुत ही अनुमानित, फिर भी रहस्यमय तरीके से बढ़ता है। गणितज्ञ इन्हें एपरी-जैसे अंक (Apéry-like numbers) कहते हैं। ये इसलिए प्रसिद्ध हैं क्योंकि इनमें से एक ने यह सिद्ध करने में मदद की थी कि एक विशिष्ट गणितीय स्थिरांक (जो उच्च आयामों में एक गोले के आयतन से संबंधित है) को एक सरल भिन्न (fraction) के रूप में नहीं लिखा जा सकता।

अब, कल्पना कीजिए कि आप इन संख्याओं का अध्ययन करना चाहते हैं, लेकिन पूरे अनंत संग्रह को देखने के बजाय, आप "मॉड्यूलो अंकगणित" (modulo arithmetic) का खेल खेलने का निर्णय लेते हैं। इसे एक विशेष प्रकार के चश्मे से देखने जैसा समझें जो केवल एक विशिष्ट अभाज्य संख्या (prime number) (जैसे 3, 5, 7, 11, आदि) से विभाजित करने पर मिलने वाले शेषफल (remainder) को दिखाता है।

यह शोध पत्र इस बारे में है कि जब आप इन अनंत अनुक्रमों को विभिन्न अभाज्य संख्याओं के "मॉड्यूलो चश्मे" से देखते हैं, तो क्या होता है। लेखकों ने पाया कि इन अनुक्रमों का व्यवहार यादृच्छिक (random) नहीं है; यह आपके द्वारा चुने गए अभाज्य संख्या के आधार पर एक सख्त, छिपे हुए कोड का पालन करता है।

यहाँ उनके निष्कर्षों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. अनुक्रम की "परछाई" (The "Shadow" of the Sequence)

जब आप इन अनंत अनुक्रमों को एक अभाज्य संख्या $p$ के मॉड्यूलो में देखते हैं, तो एक जादुई चीज़ होती है: अनंत श्रृंखला अचानक अनंत होने के बजाय एक सीमित बहुपद (finite polynomial) (एक छोटा बीजगणितीय व्यंजक) बन जाती है।

अनंत अनुक्रम को एक लंबी, घुमावदार नदी के रूप में सोचें। जब आप इसे "मॉड्यूलो $p$ " के चश्मे से देखते हैं, तो नदी एक छोटे, सीमित तालाब में बहती हुई प्रतीत होती है। इस तालाब का आकार एक विशिष्ट बहुपद द्वारा निर्धारित होता है, जिसे हम $A_p$ कह सकते हैं।

2. वर्ग मूल का रहस्य (The Square Root Mystery)

लेखकों द्वारा पूछा गया मुख्य प्रश्न यह था: "क्या यह तालाब एक पूर्ण वर्ग (perfect square) है?"

गणित में, यदि आप एक बहुपद को किसी चीज़ के वर्ग के रूप में लिख सकते हैं (जैसे $(x+1)^2$ ), तो उसे "वर्ग" कहा जाता है। यदि आप नहीं लिख सकते, तो वह वर्ग नहीं है।

खोज: लेखकों ने पाया कि क्या तालाब एक पूर्ण वर्ग है या नहीं, यह पूरी तरह से अभाज्य संख्या $p$ और एक विशिष्ट "योगसंगत स्थिति" (congruence condition) (मूल रूप से वह शेषफल जो $p$ किसी विशिष्ट संख्या जैसे 24 या 8 से विभाजित होने पर छोड़ता है) पर निर्भर करता है।

उपमा: कल्पना कीजिए कि आपके पास एक जादुई ताला है।

यदि चाबी (अभाज्य संख्या) एक निश्चित प्रकार की है (उदाहरण के लिए, 24 से विभाजित होने पर 1, 5, 7, या 11 का शेषफल छोड़ती है), तो ताला पूरी तरह से खुल जाता है, और आकार एक पूर्ण वर्ग होता है।
यदि चाबी दूसरे प्रकार की है (उदाहरण के लिए, 13, 17, 19, या 23 का शेषफल छोड़ती है), तो ताला थोड़ा टूटा हुआ है। आकार लगभग एक वर्ग जैसा है, लेकिन इसमें एक "मोड़" या "गाँठ" है (जिसे $t^2 - 34t + 1$ जैसे एक विशिष्ट अतिरिक्त कारक द्वारा दर्शाया गया है)।

3. "गैलोइस समूह" (द सुरक्षा गार्ड - The "Galois Group")

यह शोध पत्र गैलोइस समूहों (Galois Groups) के बारे में बहुत बात करता है। सरल शब्दों में, गैलोइस समूह को एक क्लब के सुरक्षा गार्ड या बाउंसर के रूप में सोचें।

"क्लब" वह गणितीय दुनिया है जो अनुक्रम द्वारा बनाई गई है।
"बाउंसर" यह तय करता है कि कौन अंदर आएगा और वे कैसे घूम सकते हैं।
लेखकों ने गणना की कि विभिन्न अभाज्य संख्याओं के लिए यह बाउंसर कितना सख्त है।

उन्होंने पाया कि बाउंसर का व्यवहार एकसमान है।

परिदृश्य A: कुछ अभाज्य संख्याओं के लिए, बाउंसर बहुत सख्त है। वह केवल उन्हीं को अंदर आने देता है जो "वर्ग" हैं। अनुमति प्राप्त लोगों का समूह छोटा है।
परिदृश्य B: अन्य अभाज्य संख्याओं के लिए, बाउंसर अधिक उदार है। वह बिना किसी भेदभाव के सबको अंदर आने देता है। समूह बड़ा है।

लेखों ने सिद्ध किया कि आप केवल अभाज्य संख्या के "शेषफल हस्ताक्षर" (remainder signature) को देखकर ठीक-ठीक अनुमान लगा सकते हैं कि आपको कौन सा बाउंसर (सख्त या उदार) मिलेगा।

4. तीन मुख्य पात्र (The Three Main Characters)

यह शोध पत्र इन संख्या अनुक्रमों के तीन विशिष्ट "परिवारों" पर ध्यान केंद्रित करता है:

एपरी संख्याएँ (Apéry Numbers): प्रसिद्ध संख्याएँ।
डोम्ब संख्याएँ (Domb Numbers): इनके "वैकल्पिक" (alternating) संबंधी।
अल्मक्विस्ट-ज़ुडिलिन संख्याएँ (Almkvist–Zudilin Numbers): इनके "चिह्नित" (signed) संबंधी।

भले ही वे सतह पर अलग दिखते हों, लेखकों ने पाया कि वे सभी एक ही लय पर नृत्य करते हैं। जब आप "मॉड्यूलो चश्मे" का उपयोग करते हैं, तो वे सभी एक ही पैटर्न प्रकट करते हैं: उनका आकार (बहुपद) या तो पूर्ण वर्ग होता है या एक विशिष्ट मोड़ वाला वर्ग, जो अभाज्य संख्या पर निर्भर करता है।

5. "छिपा हुआ मानचित्र" (Modular Parameterization)

उन्होंने इसे कैसे हल किया? उन्होंने एक "गुप्त मानचित्र" का उपयोग किया।
उन्होंने महसूस किया कि ये जटिल संख्या अनुक्रम वास्तव में एक बहुत ही सरल, अंतर्निहित फलन (function $h$ से संबंधित) की छाया मात्र हैं।

कल्पना कीजिए कि जटिल अनुक्रम एक जटिल 3D मूर्ति है।
लेखकों ने उस 3D मूर्ति को एक 2D दीवार (चर $x$ का उपयोग करके) पर प्रोजेक्ट करने का तरीका खोजा।
इस 2D दीवार पर, मूर्ति एक साधारण वर्ग ( $h^2$ ) की तरह दिखती है।
बहुपदों में जो "मोड़" या "अतिरिक्त कारक" उन्होंने पाया, वह इस बात से आता है कि 2D दीवार पर प्रक्षेपित (project) होने पर 3D मूर्ति को कैसे घुमाया या खींचा गया है।

यह क्यों महत्वपूर्ण है?

आप पूछ सकते हैं, "इससे क्या फर्क पड़ता है कि एक बहुपद 7 के मॉड्यूलो में एक वर्ग है या नहीं?"

यह महत्वपूर्ण है क्योंकि यह गणित की दो बहुत अलग दुनियाओं को जोड़ता है:

संख्या सिद्धांत (Number Theory): पूर्णांकों और अभाज्य संख्याओं का अध्ययन।
अवकल समीकरण (Differential Equations): परिवर्तन और प्रवाह के अध्ययन (कैलकुलस)।

यह शोध पत्र एक गहरा, छिपा हुआ नियम सुझाता है: अभाज्य संख्याओं के मॉड्यूलो में इन संख्याओं का व्यवहार, निरंतर कैलकुलस (continuous calculus) में उनके व्यवहार की एक "परछाई" है।

यह ऐसा है जैसे यह देखना कि एक पोखर पर गिरने वाली बारिश की बूंदों का पैटर्न (डिस्क्रीट मैथ) झील में फेंके गए पत्थर द्वारा उत्पन्न लहरों (कंटीन्यूअस मैथ) से बिल्कुल मेल खाता है। लेखकों ने सिद्ध किया कि यह कोई संयोग नहीं है; यह इन विशिष्ट संख्या अनुक्रमों का एक मौलिक नियम है।

सारांश

संक्षेप में, यह शोध पत्र एक जासूसी कहानी है। लेखों ने संख्याओं के तीन प्रसिद्ध परिवारों की जांच की, उन्हें विभिन्न अभाज्य संख्याओं के लेंस से देखा, और पाया कि उनके "आकार" (गैलोइस समूह) एक सख्त, अनुमानित कोड का पालन करते हैं। आकार एक पूर्ण वर्ग है या एक मुड़ा हुआ वर्ग, यह पूरी तरह से 24 (या 8, या 6) से विभाजित होने पर अभाज्य संख्या के शेषफल पर निर्भर करता है। उन्होंने एक चतुर गणितीय "प्रोजेक्शन" का उपयोग करके इसे सिद्ध किया जिसने जटिल को समझने योग्य बना दिया।

यहाँ कारूसो, फर्नसिन, वर्गास-मोंटोया और ज़ुडिलिन के शोध पत्र "Galois Groups of Apéry-like Series Modulo Primes" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र विशिष्ट पूर्णांक अनुक्रमों (विशेष रूप से एपेरी संख्याएँ, डोम्ब संख्याएँ और अल्खमइस्ट-ज़ुडिलिन संख्याएँ) से जुड़े विशिष्ट 'जेनरेटिंग सीरीज़' के अंकगणितीय गुणों की जांच करता है, जब उन्हें एक अभाज्य संख्या $p$ के मॉड्युलो (modulo) में कम किया जाता है।

संदर्भ: ये अनुक्रम अपरिमेयता प्रमाणों (जैसे $\zeta(3)$ की अपरिमेयता के लिए एपेरी का प्रमाण) और मॉड्यूलर फॉर्म के साथ उनके संबंध में प्रसिद्ध हैं। इनके जेनरेटिंग फंक्शन $f(t)$ , D-finite होते हैं (जो बहुपद गुणांकों वाले रैखिक अवकल समीकरणों को संतुष्ट करते हैं)।
घटना: इन अनुक्रमों के लिए, गुणांक $p$ -Lucas property का पालन करते हैं: $\alpha_{np+\ell} \equiv \alpha_n \alpha_\ell \pmod p$ । यह जेनरेटिंग सीरीज़ के लिए एक कार्यात्मक सर्वांगतता (functional congruence) को दर्शाता है:
$f(t) \equiv A_p(t) \cdot f(t)^p \pmod p$
जहाँ $A_p(t)$ , $f(t)$ का डिग्री $p-1$ तक का $\pmod p$ ट्रंकेशन (truncation) है।
मुख्य प्रश्न: चूंकि $A_p(t)$ , $\mathbb{F}_p(t)$ पर बीजगणितीय (algebraic) है, इसलिए विस्तार $\mathbb{F}_p(t, f) / \mathbb{F}_p(t)$ एक कुमर विस्तार (Kummer extension) है। लेखक विभिन्न अभाज्य संख्याओं $p$ के लिए इस विस्तार के गैलोआ समूह (Galois group) को निर्धारित करने का लक्ष्य रखते हैं। विशेष रूप से, वे यह वर्गीकृत करने का प्रयास करते हैं कि गैलोआ समूह पूर्ण गुणात्मक समूह $\mathbb{F}_p^\times$ है या इसका अद्वितीय सूचकांक 2 वाला उपसमूह (वर्गों को $S$ द्वारा दर्शाया गया है), और यह वर्गीकरण $p$ पर आधारित सर्वांगतता शर्तों पर कैसे निर्भर करता है।

2. कार्यप्रणाली (Methodology)

लेखक बीजगणितीय ज्यामिति (algebraic geometry), कुमर सिद्धांत (Kummer theory), और हाइपरजियोमेट्रिक फंक्शन सिद्धांत के संयोजन का उपयोग करते हैं।

तर्कसंगत पैरामीट्रिकरण (Rational Parameterization): केंद्रीय तकनीक फ्रैनल संख्याओं (Franel numbers), $h(x) = \sum (\binom{n}{k})^3 x^n$ $h (x) = \sum ((k n))^{3} x^{n}$ के जेनरेटिंग फंक्शन से $f(t)$ $f (t)$ को जोड़ने की प्रक्रिया है।
- एपेरी संख्याओं के लिए: $f_\alpha = (1+x)h(x)^2$ जहाँ $t = \frac{x(1-8x)}{1+x}$ ।
- डोम्ब और अल्खमइस्ट-ज़ुडिलिन संख्याओं के लिए इसी तरह के तर्कसंगत प्रतिस्थापन मौजूद हैं।
क्षेत्र विस्तार और टावर (Field Extensions and Towers): समस्या का विश्लेषण क्षेत्र विस्तारों के एक टावर के माध्यम से किया जाता है:
$\mathbb{F}_p(t) \subset \mathbb{F}_p(x) \subset \mathbb{F}_p(x, h^2)$
- $\mathbb{F}_p(x)/\mathbb{F}_p(t)$ विस्तार द्विघाती (quadratic) है, जो $x$ के लिए परिभाषित द्विघाती समीकरण के विविक्तकर (discriminant) के वर्गमूल द्वारा जनित है।
- $\mathbb{F}_p(x, h^2)/\mathbb{F}_p(x)$ विस्तार डिग्री $(p-1)/2$ का एक एबेलियन विस्तार है (वर्गों के उपसमूह $S$ से संबंधित), जो कुमर सिद्धांत के माध्यम से $h^2$ से प्राप्त होता है।
गैलोआ समूह विश्लेषण:
- लेखक $\mathbb{F}_p(t)$ के द्विघाती विस्तार $\mathbb{F}_p(x)$ के गैर-तुच्छ ऑटोमोर्फिज्म (automorphism) $\sigma$ द्वारा $H$ (अर्थात $h$ का ट्रंकेशन) पर किए गए प्रभाव का विश्लेषण करते हैं।
- वे निर्धारित करते हैं कि क्या $\sigma$ को कुल विस्तार $\mathbb{F}_p(x, h^2)$ पर एक इनवोल्यूशन (एक क्रम 2 का ऑटोमोर्फिज्म) के रूप में विस्तारित किया जा सकता है।
- इस इनवोल्यूशन का अस्तित्व यह निर्धारित करता है कि कुल गैलोआ समूह चक्रीय (cyclic) है या चक्रीय समूहों का उत्पाद, जो बदले में यह तय करता है कि $f(t)$ द्वारा जनित उपक्षेत्र का $\mathbb{F}_p(t)$ पर डिग्री $p-1$ है या $(p-1)/2$ है।
सर्वांगतता शर्तें (Congruence Conditions): इनवोल्यूशन की समाधान क्षमता इस बात पर निर्भर करती है कि विशिष्ट स्थिरांक (तर्कसंगत पैरामीट्रिकरण से प्राप्त) $p \pmod p$ के सापेक्ष द्विघाती अवशेष (quadratic residues) हैं या नहीं। यह गैलोआ समूह की संरचना को सीधे $p$ की सर्वांगतता श्रेणियों (जैसे, 24, 12, या 8 modulo) से जोड़ता है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. एपेरी संख्याएँ ( $f_\alpha$ )

लेखक पिछले कार्यों (जैसे [CFV25]) में कम्प्यूटेशनल रूप से देखे गए पैटर्न के लिए एक कठोर प्रमाण प्रदान करते हैं।

प्रमेय 1: गैलोआ समूह $\text{Gal}(\mathbb{F}_p(t, f_\alpha)/\mathbb{F}_p(t))$ $Gal (F_{p} (t, f_{α}) / F_{p} (t))$ है:
- उपसमूह $S$ (सूचकांक 2), यदि $p \equiv 1, 5, 7, 11 \pmod{24}$ ।
- पूर्ण समूह $\mathbb{F}_p^\times$ , यदि $p \equiv 13, 17, 19, 23 \pmod{24}$ ।
प्रमेय 2: यह ट्रंकेशन बहुपद $A_p(t)$ $A_{p} (t)$ के गुणनखंडन के अनुरूप है:
- यदि $p \equiv 1, 5, 7, 11 \pmod{24}$ , तो $A_p(t)$ $\mathbb{F}_p[t]$ में एक पूर्ण वर्ग है।
- यदि $p \equiv 13, 17, 19, 23 \pmod{24}$ , तो $A_p(t) = (t^2 - 34t + 1) \cdot B_p(t)^2$ ।

B. डोम्ब संख्याएँ ( $f_\delta$ ) और अल्खमइस्ट-ज़ुडिलिन संख्याएँ ( $f_\xi$ )

इस कार्यप्रणाली को इन सहयोगी अनुक्रमों के लिए सफलतापूर्वक अनुकूलित किया गया है।

डोम्ब संख्याएँ: गैलोआ समूह $p \pmod 6$ $p (mod 6)$ पर निर्भर करता है।
- $p \equiv 1 \pmod 6 \implies$ समूह $S$ है; $A_{\delta, p}$ एक वर्ग है।
- $p \equiv 5 \pmod 6 \implies$ समूह $\mathbb{F}_p^\times$ है; $A_{\delta, p}$ में एक गैर-वर्ग कारक $(64t^2 - 20t + 1)$ है।
अल्खमइस्ट-ज़ुडिलिन संख्याएँ: गैलोआ समूह $p \pmod 8$ $p (mod 8)$ पर निर्भर करता है।
- $p \equiv 1, 3 \pmod 8 \implies$ समूह $S$ है; $A_{\xi, p}$ एक वर्ग है।
- $p \equiv 5, 7 \pmod 8 \implies$ समूह $\mathbb{F}_p^\times$ है; $A_{\xi, p}$ में एक गैर-वर्ग कारक $(81t^2 + 14t + 1)$ है।

C. सामान्यीकरण और "चिड़ियाघर" (Zoo) के उदाहरण

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

अवलोकन: व्यापक श्रेणी के अनुक्रमों के लिए, ट्रंकेशन $A_p(t)$ एक $P(t) \cdot B_p(t)^2$ के रूप में गुणनखंडित होता है, जहाँ $P(t)$ एक बहुपद है जो $p$ पर द्विघाती अवशेष स्थितियों (विशेष रूप से अंतर्निहित मॉड्यूलर फॉर्म के स्तर से संबंधित) द्वारा निर्धारित होता है।
तालिका 1 और 2: लेखक कई अनुक्रमों (OEIS A229111, A290575, A274786, आदि) के लिए कम्प्यूटेशनल साक्ष्य प्रदान करते हैं, जो दिखाते हैं कि गुणनखंडन पैटर्न लेजेंड्रे प्रतीक (Legendre symbols) (जैसे, $\left(\frac{-5}{p}\right)$ , $\left(\frac{-7}{p}\right)$ ) द्वारा नियंत्रित होता है।

4. महत्व (Significance)

कथनों का कठोर प्रमाण: यह शोध पत्र एपेरी-जैसे अनुक्रमों के गैलोआ समूहों के संबंध में देखे गए पैटर्न के लिए पहले कठोर प्रमाण प्रदान करता है, जो पहले केवल कम्प्यूटेशनल रूप से देखे गए थे (जैसे, [CFV25])।
गैलोआ समूहों की एकरूपता: यह इस विचार का समर्थन करता है कि D-finite सीरीज़ के न्यूनीकरण (reductions) के गैलोआ समूह अपने डिफरेंशियल गैलोआ समूहों से संबंधित एकरूपता गुण प्रदर्शित करते हैं। यह व्यवहार यादृच्छिक नहीं है बल्कि अभाज्य $p$ की सर्वांगतता स्थितियों द्वारा कड़ाई से नियंत्रित है।
अंकगणितीय ज्यामिति से जुड़ाव: यह कार्य पूर्णांक अनुक्रमों के संयोजन गुणों (Lucas properties), हाइपरजियोमेट्रिक फंक्शन के विश्लेषणात्मक गुणों, और क्षेत्र विस्तारों (field extensions) के अंकगणित के बीच के अंतर को पाटता है।
कार्यप्रणाली ढांचा: यह शोध पत्र एक मजबूत ढांचा स्थापित करता है जिसका उपयोग अन्य D-finite सीरीज़ के लिए किया जा सकता है जो मॉड्यूलर फॉर्म के स्तर से उत्पन्न होते हैं, जो कि संबद्ध जेनरेटिंग सीरीज़ के विभाजन व्यवहार (splitting behavior) और मॉड्यूलर फॉर्म के स्तर के बीच एक गहरे संरचनात्मक संबंध का सुझाव देता है।

संक्षेप में, यह शोध पत्र प्रदर्शित करता है कि विभेदक गैलोआ समूह (differential Galois group) का "छाया" (shadow) परिमित क्षेत्र स्तर पर सरल द्विघाती अवशेष स्थितियों द्वारा निर्धारित होती है, जो सबसे प्रमुख एपेरी-जैसे अनुक्रमों के लिए एक पूर्ण वर्गीकरण प्रदान करती है।