🔢 mathematics

Sign changes of the Liouville function in arithmetic progressions

यह शोध पत्र सिद्ध करता है कि किसी भी पर्याप्त बड़े अभाज्य संख्या $q$ और $q$ के सह-अभाज्य अवशेष वर्ग $a$ के लिए, लियुविल फलन (Liouville function) $\lambda$ , $q^{5/2 + \varepsilon}$ तक के पूर्णांकों के लिए अंकगणितीय प्रगति $a \pmod{q}$ के भीतर $+1$ और $-1$ दोनों मान लेता है।

मूल लेखक: Kevin Ford, Maksym Radziwiłł

प्रकाशित 2026-05-06

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

CC BY 4.0

मूल लेखक: Kevin Ford, Maksym Radziwiłł

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

कल्पना कीजिए कि आप नंबर वाले लॉकरों की एक विशाल, अनंत पंक्ति को व्यवस्थित कर रहे हैं, जो 1 से शुरू होकर अनंत तक जाती है। प्रत्येक लॉकर में एक गुप्त कोड है: या तो +1 या -1। यह कोड एक विशेष नियम द्वारा निर्धारित होता है जिसे 'लिविल फंक्शन' (Liouville function) कहा जाता है (आइए इसे "द स्विच" कहें)।

"द स्विच" के लिए नियम सरल लेकिन पेचीदा है:

यदि कोई संख्या सम (even) संख्या में अभाज्य निर्माण खंडों (prime building blocks) से बनी है (जैसे $6 = 2 \times 3$ , जिसमें 2 ब्लॉक हैं), तो कोड +1 है।
यदि कोई संख्या विषम (odd) संख्या में अभाज्य निर्माण खंडों से बनी है (जैसे $12 = 2 \times 2 \times 3$ , जिसमें 3 ब्लॉक हैं), तो कोड -1 है।

आमतौर पर, ये कोड इस पंक्ति में चलते समय बेतरतीब ढंग से बदलते रहते हैं। कभी आप +1 देखते हैं, फिर -1, फिर +1। यह एक सिक्का उछालने जैसा है।

मुख्य प्रश्न

गणितज्ञों ने इन लॉकरों को देखने के एक विशिष्ट तरीके में लंबे समय से रुचि ली है: अंकगणितीय प्रगति (Arithmetic Progressions)।

कल्पना कीजिए कि आप केवल एक विशिष्ट दूरी पर रखे गए लॉकरों को देखते हैं, जैसे कि हर 7वाँ लॉकर (7, 14, 21, 28...), या हर 100वाँ। प्रश्न यह है: आपको इस विशिष्ट रेखा में दोनों (+1 और -1) को देखने के लिए कितनी दूर तक चलना होगा?

यदि आप बहुत जल्दी रुक जाते हैं, तो आप संयोग से केवल +1 (या केवल -1) पाकर भाग्यशाली हो सकते हैं। वे सवाल यह है कि वह "सुरक्षित दूरी" क्या है—वह बिंदु जहाँ केवल एक ही चिह्न (sign) देखते रहना गणितीय रूप से असंभव हो जाता है।

पिछले प्रयास

प्राइम नंबर समस्या: एक प्रसिद्ध गणितज्ञ, डिरिचलेट (Dirichlet) ने सिद्ध किया कि यदि आप एक विशिष्ट रेखा (जैसे हर 7वाँ नंबर) देखते हैं, तो आपको अंततः एक अभाज्य संख्या (prime number) मिल जाएगी। लेकिन वह पहला अभाज्य नंबर कितना बड़ा है?
"स्क्वायर रूट" बाधा: लंबे समय तक, गणितज्ञों ने सोचा कि उत्तर उनके अंतराल के वर्ग से संबंधित होगा। यदि आप $q$ के अंतराल पर कूदते हैं, तो आपको वह खोजने के लिए $q^2$ तक जाना पड़ सकता है।
रिकॉर्ड धारक: लिनिक (Linnik) नामक एक गणितज्ञ ने सिद्ध किया कि आपको इतना दूर जाने की आवश्यकता नहीं है। उन्होंने दिखाया कि एक स्थिरांक $L$ मौजूद है, जिससे आपको केवल $q^L$ तक जाना होगा। वर्षों से, लोगों ने $L$ को छोटा करने का प्रयास किया। वर्तमान सर्वश्रेष्ठ रिकॉर्ड $L=5$ है, जिसका अर्थ है कि आपको $q^5$ तक जाना होगा।

यह शोध पत्र क्या करता है

केविन फोर्ड और मैक्सिम रेडज़िविल (Kevin Ford and Maksym Radziwiłł) ने इस समस्या के थोड़े अलग संस्करण पर काम किया। प्राइम्स (primes) खोजने के बजाय, वे "द स्विच" (लिविल फंक्शन) में चिह्न परिवर्तन (sign changes) की तलाश कर रहे हैं।

उन्होंने एक नया, अधिक मजबूत परिणाम सिद्ध किया:
यदि आप किसी भी अंतराल $q$ (एक अभाज्य संख्या) को चुनते हैं, और आप लगभग $q^{2.5}$ की दूरी तक लॉकरों को देखते हैं (अर्थात, $q$ की घात 2.5), तो आप गारंटी के साथ +1 और -1 दोनों पा लेंगे।

यह पिछले "प्राइम नंबर" रिकॉर्ड $q^5$ की तुलना में एक बड़ी उपलब्धि है। उन्होंने आवश्यक दूरी को काफी कम कर दिया है।

उन्होंने यह कैसे किया (एक जासूसी कहानी)

लेखकों ने एक चतुर "विरोधाभास द्वारा प्रमाण" (proof by contradiction) रणनीति का उपयोग किया। यहाँ उनके तर्क का सादृश्य (analogy) दिया गया है:

एक काल्पनिक दुःस्वप्न (The Hypothetical Nightmare): उन्होंने उस चीज़ के विपरीत मानकर शुरुआत की जिसे वे सिद्ध करना चाहते थे। उन्होंने कहा: "एक ऐसी दुनिया की कल्पना करें जहाँ, एक बहुत लंबी दूरी तक (लगभग $q^{2.5}$ तक), हमारी विशिष्ट रेखा (जैसे कि 7 mod 3 वाले नंबर) का प्रत्येक नंबर एक ही चिह्न रखता है। मान लीजिए कि वे सभी +1 हैं।"
लहर का प्रभाव (The Ripple Effect): उन्होंने दिखाया कि यदि यह "सभी +1" वाला दुःस्वप्न सच होता, तो यह संख्याओं के पूरे ब्रह्मांड को एक बहुत ही कठोर, अप्राकृतिक तरीके से व्यवहार करने के लिए मजबूर करता।
- इसका मतलब यह होता कि 'द स्विच' बिल्कुल भी रैंडम नहीं है; इसे एक विशिष्ट गणितीय आकार जिसे "लेजेंड्रे सिंबल" (Legendre symbol) कहा जाता है, की नकल करने वाले एक सख्त, आवर्ती पैटर्न (periodicity) का पालन करना होगा।
- मूल रूप से, संख्याओं की यादृच्छिकता (randomness) गायब हो जाती और एक पूर्ण, अनुमानित नृत्य में बदल जाती।
जाल (The Trap): फिर उन्होंने दिखाया कि यह "पूर्ण नृत्य" असंभव है।
- पहला जाल: यदि पैटर्न एक तरह का होता, तो अभाज्य संख्याओं की संख्या पूरी तरह गलत होती (बहुत कम होती)।
- दूसरा जाल: यदि पैटर्न दूसरे तरीके का होता, तो यह संख्याओं के वितरण के बारे में एक प्रसिद्ध गणितीय नियम (सीगल का प्रमेय/Siegel's Theorem) का उल्लंघन करता।
निष्कर्ष: चूंकि "सभी +1" (या "सभी -1") का अनुमान एक गणितीय विरोधाभास की ओर ले जाता है, इसलिए वह अनुमान गलत होना चाहिए। इसलिए, चिह्न उस दूरी के भीतर बदल ही जाएंगे।

"जादू" पर एक नोट

शोध पत्र में एक पेच का उल्लेख है। हालांकि उन्होंने सिद्ध किया कि दूरी लगभग $q^{2.5}$ है, उनका प्रमाण एक गणितीय उपकरण (सीगल का प्रमेय) पर निर्भर करता है जो एक "ब्लैक बॉक्स" की तरह है। यह हमें बताता है कि परिणाम सत्य है, लेकिन यह हमें यह नहीं बताता कि $q$ को कितना "बड़ा" होना चाहिए ताकि यह नियम लागू हो सके। यह यह जानने जैसा है कि एक पुल सुरक्षित है, लेकिन यह नहीं पता कि वह कितने वाहनों को संभाल सकता है जब तक कि आप उसे बना न लें।

सारांश

सरल शब्दों में: लेखकों ने सिद्ध किया कि यदि आप एक अभाज्य संख्या $q$ द्वारा अंतराल पर रखी गई संख्याओं के एक विशिष्ट अनुक्रम को देखते हैं, तो आपको "स्विच" को धनात्मक से ऋणात्मक में बदलने देखने के लिए बहुत दूर (केवल $q^{2.5}$ तक) जाने की आवश्यकता नहीं है। यदि आप तब तक बदलाव नहीं देखते हैं, तो गणित की पूरी संरचना टूट जाएगी।

तकनीकी सारांश: अंकगणितीय प्रगतियों में लिउविल फलन (Liouville Function) के चिह्न परिवर्तन

समस्या विवरण
यह शोध पत्र लिनिक के प्रमेय (Linnik's theorem) पर एक गुणक फलन (multiplicative function) के अनुरूप अध्ययन करता, जो अंकगणितीय प्रगति में न्यूनतम अभाज्य संख्या से संबंधित है। जबकि लिनिक का प्रमेय यह गारंटी देता है कि एक अभाज्य $p \equiv a \pmod q$ का अस्तित्व है जहाँ $p \ll q^L$ (वर्तमान में $L=5$ ), यह कार्य लिउविल फलन $\lambda(n)$ के वितरण की जांच करता है। विशेष रूप से, लेखक पूछते हैं कि एक अभाज्य मापांक $q$ और एक न्यूनीकरण अवशेष वर्ग (reduced residue class) $a \pmod q$ के लिए, $N$ को कितना बड़ा होना चाहिए ताकि यह सुनिश्चित हो सके कि $n, m \le N$ ऐसे पूर्णांक मौजूद हैं जहाँ $n \equiv m \equiv a \pmod q$ , फिर भी $\lambda(n) = -1$ और $\lambda(m) = +1$ है। दूसरे शब्दों में, एक निश्चित अंकगणितीय प्रगति के भीतर लिउविल फलन अनिवार्य रूप से किस पैमाने पर चिह्न बदलता है?

कार्यप्रणाली
प्रमाण विरोधाभास (contradiction) द्वारा आगे बढ़ता है। लेखक यह मान लेते हैं कि पर्याप्त बड़े अभाज्य $q$ के लिए, लिउविल फलन $n \equiv a \pmod q$ के लिए $n \le q^{5/2+\varepsilon}$ तक एक स्थिर चिह्न $\kappa \in \{-1, +1\}$ बनाए रखता है। तर्क को तीन मुख्य चरणों में संरचित किया गया है:

संयोजन संबंधी तर्कों के माध्यम से आवर्तता और संतुलन (Periodicity and Balance):
लेम्मा 7 का उपयोग करते हुए, लेखक दिखाते हैं कि यदि $\lambda(n)$ , $N \ge q^{2+\varepsilon}$ तक एक प्रगति पर स्थिर है, तो $\lambda(n)$ को $n \le N/q$ के लिए $q$ -आवर्ती होना चाहिए (विशेष रूप से $\lambda(n+q) = \lambda(n)$ जहाँ $(n,q)=1$ )। इसके अतिरिक्त, यह धारणा $q$ के न्यूकीकृत अवशेषों (reduced residues) पर $\lambda(n)$ के योग को ठीक शून्य होने के लिए बाध्य करती है। यह चरण संयोजन संबंधी सेट थ्योरी (लेम्मा 6, पिजनहोल सिद्धांत का अनुप्रयोग) पर निर्भर करता है, जो यह दिखाने के लिए कि यदि लंबाई $q$ के अंतराल में $+1$ और $-1$ के मानों का वितरण असंतुलित था, तो एक ऐसी विधि बनाई जा सकती थी जिससे प्रगति के पूर्णांकों के गुणनफल इस स्थिर चिह्न की परिकल्पना का उल्लंघन करते।
डिरिचलेट कैरेक्टर (Dirichlet Character) द्वारा सन्निकटन:
यह मानते हुए कि आवर्तता और शून्य-योग की शर्तें लागू होती हैं, लेम्मा 8 बड़े छाल (large sieve) असमानता और पॉइसन समेशन (Poisson summation) का उपयोग करके यह प्रदर्शित करता है कि $\lambda(n)$ अनिवार्य रूप से एक वास्तविक डिरिचलेट कैरेक्टर $\chi_q$ (लेजेंड्रे प्रतीक) के एक स्थिरांक $\kappa' \in \{-1, 1\}$ द्वारा स्केल्ड रूप से मेल खाता है। विशेष रूप से, $\lambda(n) = \kappa' \chi_q(n)$ है सभी $n \le q$ के लिए, जिसमें अधिकतम $O(q^{1-\varepsilon/4})$ अपवाद हो सकते हैं।
दो मामलों का उन्मूलन:
प्रमाण दोनों संभावित $\kappa'$ के मानों को खारिज करके समाप्त होता है:

मामला $\kappa' = -1$ : यदि $\lambda(n) \approx -\chi_q(n)$ है, तो लेखक उन अभाज्य $p \le q^{1/2}$ के वितरण का विश्लेषण करते हैं जहाँ $\chi_q(p) = \pm 1$ है। ऐसे अभाजों के गुणनफलों पर विचार करके, वे दिखाते हैं कि परिकल्पना को संतुष्ट करने के लिए आवश्यक अपवादों की संख्या अभाज्य संख्याओं के ज्ञात घनत्व (अभाज्य संख्या प्रमेय के माध्यम से) का उल्लंघन करेगी।
मामला $\kappa' = +1$ : यदि $\lambda(n) \approx \chi_q(n)$ है, तो वे एक गुणक फलन $g(n) = \sum_{d|n} \chi_q(d)$ का निर्माण करते हैं। वे दिखाते हैं कि इस परिकल्पना के तहत, $g(n)$ अधिकांश गैर-वर्ग पूर्णांकों के लिए शून्य हो जाता है। हालांकि, लेम्मा 5 (मेलिन व्युत्क्रमण) और $L(1, \chi_q)$ के सीगल के निम्नतम मान (Siegel's lower bound) (लेम्मा 3) का उपयोग करते हुए, वे $\sum g(n)W(n/q)$ के योग के लिए एक निम्नतम मान प्राप्त करते हैं जो शून्य होने के गुण से प्राप्त ऊपरी मान का खंडन करता है।

मुख्य परिणाम
मुख्य प्रमेय (थ्योरम 1) स्थापित करता है कि किसी भी $\varepsilon > 0$ के लिए, और किसी भी पर्याप्त बड़े अभाज्य $q$ के लिए (जो $1/\varepsilon$ के सापेक्ष है), और किसी भी अवशेष वर्ग $(a, q)=1$ के लिए, $n, m \le q^{5/2+\varepsilon}$ ऐसे पूर्णांक मौजूद हैं कि $n \equiv m \equiv a \pmod q$ के साथ $\lambda(n) = -1$ और $\lambda(m) = +1$ है।

महत्व और सीमाएं
लेखक इस परिणाम को अंकगणितीय प्रगतियों में गुणक फलनों के चिह्न परिवर्तनों को समझने में एक महत्वपूर्ण कदम के रूप में प्रस्तुत करते हैं। सीमा $q^{5/2+\varepsilon}$ सामान्य गुणक फलनों के पिछले बिना शर्त (unconditional) परिणामों में सुधार करती है और उस गुणवत्ता से मेल खाती है जो पहले केवल विशिष्ट मामलों के लिए सामान्यीकृत रीमान परिकल्पना (GRH) के तहत ज्ञात थी।

लेखक इस परिणाम की प्रभावशीलता (effectiveness) के संबंध में एक सीमा को स्पष्ट रूप से नोट करते हैं: लिनिक के प्रमेय के विपरीत, जहाँ घातांक और निहित स्थिरांक प्रभावी रूप से गणनीय (effectively computable) होते हैं, यहाँ का तर्क सीगल के प्रमेय पर निर्भर करता है। फलस्वरूप, $1/\varepsilon$ के संदर्भ में $q$ के "पर्याप्त रूप से बड़ा" होने की दहलीज अगणनीय (uncomputable) है।

लेखक अपने दृष्टिकोण को माटोमाकी और टेरेवाइन [7] के समवर्ती कार्य से अलग करते हैं, जो सामान्य वास्तविक-मान वाले गुणक फलनों के लिए (लिउविल फलन के लिए बिना शर्त) $q^{2+\varepsilon}$ का एक मजबूत बाउंड प्राप्त करता है। लेखक इस बात पर जोर देते हैं कि उनका तर्क संक्षिप्त है और अलग दिशाओं में आगे बढ़ता है, विशेष रूप से बड़े छाल (large sieve), पॉइसन समेशन और लिउविल फलन के विशिष्ट गुणों के बीच परस्पर क्रिया का उपयोग करके $q^{5/2}$ की दहलीज प्राप्त करता है।