🔢 mathematics

Periodic vanishings of the Legendre-17 signed partition numbers

यह शोध पत्र लेजेंड्रे-चिह्नित विभाजन संख्याओं (Legendre-signed partition numbers) के लिए रेडमेकर-शैली के श्रेणी सूत्र (Rademacher-style series formulae) व्युत्पन्न करता है और इन सूत्रों का डेडेकिंड योगों (Dedekind sums) के गुणों के साथ उपयोग करते हुए यह सिद्ध करता है कि लेजेंड्रे-17 चिह्नित विभाजन संख्याएँ 34 के विशिष्ट अंकगणितीय प्रगतियों (arithmetic progressions) पर आवधिक रूप से शून्य होती हैं।

मूल लेखक: Taylor Daniels

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

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

CC BY 4.0

मूल लेखक: Taylor Daniels

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

कल्पना कीजिए कि आपके पास लेगो ब्रिक्स (Lego bricks) का एक विशाल थैला है। आपका काम इन ब्रिक्स का उपयोग करके टावर बनाना है, लेकिन इसमें एक शर्त है: आप केवल उन्हीं ब्रिक्स का उपयोग कर सकते हैं जिनका कुल वजन एक विशिष्ट योग तक पहुँचता है, मान लीजिए 100 ग्राम। आप एक बड़ा ब्रिक इस्तेमाल कर सकते हैं, या दस छोटे ब्रिक्स, या कोई भी संयोजन, जब तक कि कुल वजन ठीक 100 हो।

गणित में, इसे संख्या का विभाजन (partitioning a number) कहा जाता है। उस टावर को बनाने के कितने तरीके हैं, यह एक प्रसिद्ध अनुक्रम (sequence) है जिसे पार्टिशन नंबर्स (partition numbers) कहा जाता है।

अब, कल्पना कीजिए कि हम इस खेल में एक मोड़ देते हैं। हमारे कुछ लेगो ब्रिक्स "अच्छे" हैं (वे आपके स्कोर में +1 जोड़ते हैं), कुछ "बुरे" हैं (वे -1 जोड़ते हैं), और कुछ "तटस्थ" (neutral) हैं (वे 0 जोड़ते हैं)। हम जानना चाहते हैं कि: यदि हम वजन 100 के प्रत्येक संभावित टावर का निर्माण करते हैं, तो उनका अंतिम कुल योग क्या होगा?

यह शोध पत्र 17 नामक संख्या से संबंधित इस खेल के एक बहुत ही विशिष्ट और जटिल संस्करण के बारे में है।

पात्रों की सूची

संख्या 17: यह शोध पत्र अभाज्य संख्या (prime number) 17 पर केंद्रित है। संख्याओं की दुनिया में, 17 के पास "वर्गों" (जैसे 1, 4, 9, 16, जो $1^2, 2^2, 3^2, 4^2$ हैं) से संबंधित एक विशेष गुण है।
लेजेंड्रे सिंबल (न्यायाधीश): यह एक गणितीय उपकरण है जो न्यायाधीश की तरह कार्य करता है। किसी भी संख्या के लिए, यह पूछता है: "क्या यह 17 के मॉड्युलो (modulo) में एक पूर्ण वर्ग है?"
- यदि हाँ, तो न्यायाधीश +1 देता है।
- यदि नहीं, तो न्यायाधीश -1 देता है।
- यदि संख्या 17 का गुणज है, तो न्यायाधीश 0 देता है।
साइन वाले विभाजन संख्या (The Signed Partition Numbers): यह हमारे लेगो खेल का अंतिम स्कोर है। हम वजन $n$ के प्रत्येक संभावित टावर को लेते हैं, उपयोग किए गए ब्रिक्स के "न्यायाधीशों के स्कोर" को गुणा करते हैं, और उन सभी का योग करते हैं।

बड़ी खोज: जादुई गायब होने की क्रिया (The Magic Vanishing Act)

अधिकांश संख्याओं के लिए, यदि आप यह खेल खेलते हैं, तो अंतिम स्कोर जैसे-जैसे वजन ( $n$ ) बढ़ता है, बढ़ता जाता है। यह एक ढलान से लुढ़कते हुए हिमखंड (snowball) की तरह होता है, जो विशाल होता जाता है।

हालाँकि, टेलर डेनियल्स (Taylor Daniels) ने संख्या 17 के बारे में कुछ जादुई और आश्चर्यजनक खोजा।

उन्होंने पाया कि कुछ विशिष्ट भारों के लिए, अंतिम स्कोर केवल छोटा ही नहीं होता; बल्कि वह बिल्कुल शून्य हो जाता है। ऐसा लगता है जैसे "अच्छे" टावर और "बुरे" टावर एक-दूसरे को पूरी तरह से काट देते हैं, जिससे पीछे कुछ भी नहीं बचता।

यह एक तराजू को संतुलित करने जैसा है। यदि आपके पास बाईं ओर 1,000,000 भारी वजन हैं और दाईं ओर 1,000,000 भारी वजन हैं, तो तराजू झुकेगा नहीं; यह बिल्कुल स्थिर रहेगा।

गायब होने के विशिष्ट नियम:
शोध पत्र सिद्ध करता है कि स्कोर शून्य होता है यदि वजन $n$ इन पैटर्नों का पालन करता है:

परिदृश्य A: यदि $n$ $n$ एक विषम संख्या है, और जब आप एक विशिष्ट गणितीय ट्रिक ( $1 - 24n$ $1 - 24 n$ ) करते हैं, तो परिणाम 17 के मॉड्युलो में एक "चौथी-घात का वर्ग" (fourth-power square) होता है।
- परिणाम: 17, 19, 25, 27, 51, 53, आदि जैसे भारों के लिए स्कोर 0 है।
परिदृश्य B: यदि $n$ $n$ एक विषम संख्या है, और गणितीय ट्रिक का परिणाम 17 के मॉड्युलो में एक "गैर-वर्ग" (non-square) है।
- परिणाम: 11, 15, 29, 33, 45, 49, आदि जैसे भारों के लिए स्कोर 0 है।

उन्होंने इसे कैसे सिद्ध किया? (जासूसी कार्य)

आप अनंत तक प्रत्येक संख्या की जांच नहीं कर सकते; बहुत अधिक संख्याएँ हैं। इसलिए, लेखक ने यह सिद्ध करने के लिए कि यह हमेशा होता है, एक परिष्कृत गणितीय टूलकिट का उपयोग किया।

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

"केवल हम" क्लब

लेखक ने यह देखने के लिए भी कुछ जासूसी कार्य किया कि क्या यह अन्य संख्याओं के साथ भी होता है।

उन्होंने संख्या 5 की जाँच की। इसमें भी यह "गायब होने" वाला जादू (यह पहले से ज्ञात था) मौजूद है।
उन्होंने 2,000 तक हजारों अन्य संख्याओं की जाँच की।
निष्कर्ष: ऐसा प्रतीत होता है कि केवल 5 और 17 के पास ही यह विशेष "पूर्ण प्रतिस्थापन" (perfect cancellation) वाला गुण है। ब्रह्मांड की अभाज्य संख्याओं (primes) में केवल यही दो ऐसी संख्याएँ हैं जो विशिष्ट पैटर्न पर लेगो टावर के स्कोर को पूरी तरह से गायब कर देती हैं।

यह क्यों मायने रखता है?

गणित की दुनिया में, एक पैटर्न खोजना जहाँ चीजें शून्य होकर कट जाती हैं, एक भूलभुलैया में छिपे दरवाजे को खोजने जैसा है। यह सुझाव देता है कि संख्याओं के बीच परस्पर क्रिया में एक गहरा, अंतर्निहित सामंजस्य (symmetry) है।

यह शोध पत्र केवल यह नहीं कहता कि "यह होता है"; यह विभाजन (partitions) की गणना करने की अव्यवस्थित, अराजक दुनिया से सामंजस्य और बीजगणित (algebra) की स्वच्छ, व्यवस्थित दुनिया तक एक पुल बनाता है। यह हमें बताता है कि संख्याओं को जोड़ने की प्रतीत होने वाली यादृच्छिक (random) दुनिया में भी, छिपे हुए नियम हैं जो चीजों को हवा में गायब कर देते हैं, और संख्या 17 के लिए, वे नियम अविश्वसनीय रूप से सटीक हैं।

संक्षेप में: यह शोध पत्र सिद्ध करता है कि संख्या 17 के लिए, कुछ "जादुई संख्याएँ" हैं जहाँ सभी संभावित भारित संयोजनों का योग बिल्कुल शून्य होता है, और यह सुंदर, जटिल गणितीय सूत्रों के नृत्य का उपयोग करके समझाता है कि ऐसा क्यों होता है।

यहाँ टेलर डेनियल्स के शोध पत्र "Periodic Vanishings of the Legendre-17 Signed Partition Numbers" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र हस्ताक्षरित विभाजन संख्याओं (signed partition numbers) के व्यवहार की जांच करता, जिन्हें $p(n, f)$ द्वारा दर्शाया गया है, जहाँ $f: \mathbb{N} \to \{0, \pm 1\}$ एक वेटिंग फंक्शन (weighting function) है। विशेष रूप से, लेखक उस मामले पर ध्यान केंद्रित करते हैं जहाँ $f$ एक अभाज्य संख्या $p$ के लिए लेजेंड्रे प्रतीक (Legendre symbol) $\chi = \left(\frac{\cdot}{p}\right)$ है।
इसे इस प्रकार परिभाषित किया गया है:
$p(n, \chi) = \sum_{\substack{x_1 + \dots + x_k = n \\ x_1 \ge \dots \ge x_k > 0}} \chi(x_1)\chi(x_2)\dots\chi(x_k)$
जबकि यह ज्ञात है कि अधिकांश अभाजों $p$ के लिए, $p(n, \chi)$ स्पर्शोन्मुखी रूप से (asymptotically) बढ़ता है (साधारण विभाजन फलन $p(n)$ के समान), पिछले कार्यों ने स्थापित किया था कि $p=5$ के लिए, हस्ताक्षरित विभाजन संख्याएँ आवधिक रूप से शून्य होती हैं (उदाहरण के लिए, $n \equiv 2 \pmod{10}$ के लिए $p(n, (\frac{\cdot}{5})) = 0$ )।

मुख्य प्रश्न: क्या अन्य अभाज्य संख्याएँ $p$ (विशेष रूप से वे जहाँ $p \equiv 1 \pmod 8$ है, एक ऐसी स्थिति जहाँ वृद्धि की अपेक्षा की जाती है) मौजूद हैं जिनके लिए $p(n, \pm \chi)$ विशिष्ट अंकगणितीय प्रगतियों (arithmetic progressions) पर शून्य हो जाता है?

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

यह शोध पत्र शास्त्रीय विभाजन सिद्धांत (classical partition theory) को मॉड्यूलर फॉर्म्स और डेडेकंड सम (Dedekind sums) के उन्नत गुणों के साथ जोड़कर एक कठोर विश्लेषणात्मक संख्या सिद्धांत दृष्टिकोण अपनाता है।

A. रेडमेकर-शैली का श्रेणी विस्तार (Rademacher-Style Series Expansion)

लेखक रेडमेकर सर्कल मेथड (Rademacher circle method) और लेहनर (Lehner) एवं हागिस जूनियर (Hagis Jr.) की तकनीकों को अनुकूलित करके $p(n, \chi)$ और $p(n, -\chi)$ के लिए सटीक अनंत श्रेणी सूत्र व्युत्पन्न करते हैं।

जेनरेटिंग फंक्शन्स (Generating Functions): $\Phi(x) = \prod_{n \ge 1} (1 - \chi(n)x^n)^{-1}$ के जेनरेटिंग फंक्शन का विश्लेषण किया जाता है।
फंक्शनल इक्वेशंस (Functional Equations): यूनिट सर्कल के पास $\Phi(x)$ के लिए कार्यात्मक समीकरण व्युत्पन्न किए जाते हैं, जिन्हें फारे (Farey) आर्क विस्तार में हर $k$ के $\gcd(k, 2p)$ के आधार पर वर्गीकृत किया गया है।
श्रेणी अपघटन (Series Decomposition): विभाजन फलन को $\gcd(k, 2p) \in \{1, 2, p, 2p\}$ के आधार पर चार घटकों में विभाजित किया गया है। यह दिखाया गया है कि $\gcd(k, 2p) = 2p$ वाले पद पूर्णतः शून्य होते हैं।
बेसेल फंक्शन्स (Bessel Functions): शेष पदों को क्लोस्टर्मन-प्रकार के sums $L_k(n)$ और $L^+_k(n, m)$ द्वारा भारित, प्रथम प्रकार के मॉडिफाइड बेसेल फंक्शन्स $I_1(z)$ के योगों के रूप में व्यक्त किया गया है।

B. गुणांकों का विश्लेषण (Analysis of Coefficients - Kloosterman Sums)

प्रमाण का मुख्य केंद्र $L_k(n)$ और $L^+_k(n, m)$ के विश्लेषण में निहित है, जो कि $\phi_{h,k} = \exp(\pi i \Lambda(h, k))$ वाले एक्सपोनेंशियल sums हैं।

डेडेकंड सम (Dedekind Sums): एक्सपोनेंट $\Lambda(h, k)$ को मानक डेडेकंड सम $s(h, k)$ और "कैरेक्टर-ट्विस्टेड" डेडेकंड सम $s_\chi(h, k)$ के संदर्भ में व्यक्त किया गया है।
समरूपता विश्लेषण (Congruence Analysis): लेखक इन sums के लिए 16 और $3K$ $3 K$ (जहाँ $K=kp$) के मॉड्यूल पर गहरे समरूपता (congruences) स्थापित करते हैं।
- मुख्य उपकरण $s_\chi$ के लिए पारस्परिकता नियम (reciprocity laws), आवधिक बर्नुली संख्या $B_2(\chi)$ के गुण, और अवशेषों की कॉम्बिनेटरियल गिनती (परिमाण जिन्हें $\tau_{es}$ और $\tau_{er}$ कहा जाता है) हैं।
निरसन तंत्र (Cancellation Mechanism): प्रमाण यह प्रदर्शित करता है कि $n$ के विशिष्ट अवशेष वर्गों (residue classes) के लिए, एक्सपोनेंशियल sums में समरूपताओं के कारण श्रेणी के पद एक-दूसरे को पूरी तरह से निरस्त कर देते हैं। विशेष रूप से, प्रत्येक "क्वार्टिक" (quartic) अवशेष $h_1$ वाले पद के लिए, एक संगत "क्वाड्रेटिक-नॉन-क्वार्टिक" (quadratic-nonquartic) अवशेष $h_2$ मौजूद है जिसके योगदान का योग शून्य होता है।

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

A. मुख्य प्रमेय (Main Theorems)

यह शोध पत्र कठोरता से सिद्ध करता है कि अभाज्य संख्या $p=17$ के लिए, हस्ताक्षरित विभाजन संख्याएँ 34 के मॉड्यूल पर विशिष्ट अंकगणितीय प्रगतियों पर शून्य होती हैं।

प्रमेय 1.1:
$p\left(n, \left(\frac{\cdot}{17}\right)\right) = 0 \quad \text{सभी } n \equiv 17, 19, 25, 27 \pmod{34} \text{ के लिए।}$
तुल्य रूप से, $p(n, \chi) = 0$ यदि $n$ विषम है और $1-24n$ , 17 के मॉड्यूल पर एक क्वार्टिक अवशेष (quartic residue) है।
प्रमेय 1.2:
$p\left(n, -\left(\frac{\cdot}{17}\right)\right) = 0 \quad \text{सभी } n \equiv 11, 15, 29, 33 \pmod{34} \text{ के लिए।}$
तुल्य रूप से, $p(n, -\chi) = 0$ यदि $n$ विषम है और $1-24n$ , 17 के मॉड्यूल पर एक क्वाड्रेटिक-नॉन-क्वार्टिक अवशेष (quadratic-nonquartic residue) है।

B. $p=17$ के लिए विशिष्ट सूत्र (Specific Formulae for $p=17$ )

लेखक $p=17$ के लिए विशिष्ट रेडमेकर-शैली के श्रेणी सूत्र प्रदान करते हैं, जिसमें विशिष्ट स्थिरांकों की गणना की गई है जैसे:

$p=17$ के लिए $B_2(\chi) = 8$ ।
श्रेणी विस्तार में स्थिरांक $c_m$ , जो योग को $m \in \{0, 1, 2\}$ तक सीमित करते हैं।
सहायक जेनरेटिंग फंक्शन्स के लिए गुणांक $\sigma^+_m$ के स्पष्ट मान।

C. विशिष्टता पर अनुमान (Conjecture on Uniqueness)

$n \le 10,000$ और $p \le 2000$ के लिए संख्यात्मक प्रयोगों के आधार पर, लेखक यह अनुमान लगाते हैं कि $p=5$ और $p=17$ ही एकमात्र ऐसे अभाज्य हैं जिनके लिए $p(n, \pm \chi)$ , $2p$ के मॉड्यूल पर अंकगणितीय प्रगति पर आवधिक शून्य (periodic vanishing) प्रदर्शित करता है।

4. महत्व (Significance)

विभाजन सिद्धांत का विस्तार (Extension of Partition Theory): यह कार्य ज्ञात आवधिक शून्य घटना (जो पहले केवल $p=5$ के लिए देखी गई थी) को एक नए अभाज्य $p=17$ तक विस्तारित करता है। यह उस अंतर्ज्ञान को चुनौती देता है कि $p \equiv 1 \pmod 8$ के लिए लेजेंड्रे-साइंड विभाजन आमतौर पर तेजी से (exponentially) बढ़ते हैं।
विश्लेषणात्मक तकनीकें (Analytic Techniques): यह शोध पत्र हस्ताक्षरित विभाजनों के लिए रेडमेकर सर्कल मेथड के एक परिष्कृत अनुप्रयोग को प्रदान करता है, जो जटिल "कैरेक्टर-ट्विस्टेड" डेडेकंड सम को सफलतापूर्वक संभालता है जो लेजेंड्रे प्रतीक से उत्पन्न होते हैं।
क्वार्टिक अवशेषों के साथ संबंध (Connection to Quartic Residues): परिणाम विभाजन संख्याओं के शून्य होने और 17 के मॉड्यूल पर क्वार्टिक अवशेषों के अंकगणितीय गुणों के बीच एक गहरा संबंध प्रकट करते हैं। शून्य होने की स्थिति सीधे तौर पर इस बात से जुड़ी है कि $1-24n$ एक क्वार्टिक अवशेष है या नहीं।
भावी अनुसंधान का आधार (Foundation for Future Research): व्युत्पन्न श्रेणी सूत्र और गुणांकों $L_k$ और $L^+_k$ का विस्तृत विश्लेषण एक ढांचा प्रदान करता है जिसका उपयोग अन्य अभाजों या विभिन्न कैरेक्टर-सम (character sums) की जांच के लिए किया जा सकता है, हालांकि लेखक नोट करते हैं कि सामान्य $p$ के लिए नोटेशन (notation) अत्यधिक जटिल हो जाता है।

संक्षेप में, टेलर डेनियल्स कठोरता से सिद्ध करते हैं कि $p=17$ के लिए लेजेंड्रे-साइंड विभाजन संख्याएँ आवधिक रूप से शून्य होती हैं, जिसमें उन्होंने ट्विस्टेड डेडेकंड सम के नवीन समरूपता गुणों और शास्त्रीय संख्या सिद्धांत के मिश्रण का उपयोग किया है।