🔢 गणित

On the Hardy--Littlewood--Chowla conjecture

यह शोध पत्र हार्डी-लिटिलवुड-चोला अनुमान को सिद्ध करता है जो यह दावा करता है कि मोबियस फलन (Möbius function) विस्थापित अभाज्य संख्याओं (shifted primes) पर रद्दीकरण (cancellation) प्रदर्शित करता है, जिससे यह प्रदर्शित होता है कि $\mu(p+2)$ के मान वर्ग-मुक्त विस्थापित अभाज्य संख्याओं (square-free shifted primes) के बीच $1 $और$ -1$ के मध्य अनंतस्पर्शी रूप से समान रूप से वितरित (asymptotically equidistributed) हैं।

मूल लेखक: Guangshi Lü, Zhiwei Wang, Jie Wu

प्रकाशित 2026-10-15

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

CC BY 4.0

मूल लेखक: Guangshi Lü, Zhiwei Wang, Jie Wu

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

संख्या सिद्धांत के विशाल परिदृश्य में, जहाँ गणितज्ञ पूर्ण संख्याओं की छिपी हुई वास्तुकला का अध्ययन करते हैं, दो मौलिक बल निरंतर परस्पर क्रिया करते हैं: जोड़ और गुणा। जोड़ गिनती करने की एक सरल क्रिया है, जबकि गुणा छोटी संख्याओं से, विशेष रूप से अभाज्य संख्याओं से, संख्याएँ बनाने की क्रिया है। सदियों से, गणितज्ञों ने यह जानने की कोशिश की है कि ये दो बल एक-दूसरे को कैसे प्रभावित करते हैं। क्या वे स्वतंत्र रूप से व्यवहार करते हैं, या वे मिलकर पैटर्न बनाने की साजिश रचते हैं? इस अन्वेषण के लिए, शोधकर्ता अक्सर एक विशेष उपकरण का उपयोग करते हैं जिसे मोबियस फलन (Möbius function) कहा जाता है। यह उपकरण एक स्विच की तरह कार्य करता है जो प्रत्येक पूर्ण संख्या को एक मान (धनात्मक एक, ऋणात्मक एक, या शून्य) प्रदान करता है, जो इस बात पर निर्भर करता है कि उसके अभाज्य गुणनखंड कैसे व्यवस्थित हैं। यदि किसी संख्या में एक वर्ग गुणनखंड (square factor) है, तो स्विच बंद रहता है। यदि उसमें सम संख्या में विशिष्ट अभाज्य गुणनखंड हैं, तो वह धनात्मक है; यदि विषम हैं, तो वह ऋणात्मक है। मुख्य रहस्य यह है कि क्या ये मान आपस में एक-दूसरे को निरस्त कर देते हैं, जो यह दर्शाता है कि उनके अभाज्य गुणनखंडों का वितरण अनिवार्य रूप से यादृच्छिक और अप्रत्याशित है।

एक प्रसिद्ध अनुमान, जिसे हार्डी-लिटिलवुड-चोला अनुमान (Hardy–Littlewood–Chowla conjecture) के रूप में जाना जाता है, प्रस्तावित करता है कि यह यादृच्छिकता तब भी बनी रहती है जब हम अपना ध्यान स्थानांतरित करते हैं। विशेष रूप से, यह पूछता है कि क्या होता है यदि हम अभाज्य संख्याओं पर ध्यान केंद्रित करें और उनमें एक छोटी, स्थिर संख्या जोड़ दें, जैसे कि किसी अभाज्य संख्या में दो जोड़ने पर मोबियस फलन का परिणाम क्या होगा। यह एक कठिन समस्या है क्योंकि यह वर्तमान गणितीय उपकरणों की क्षमता की सीमा पर स्थित है, एक ऐसी जगह जहाँ संख्याओं को छानने (sieving) की सामान्य विधियाँ विभिन्न प्रकार की यादृच्छिकता के बीच अंतर करने में विफल रहती हैं। दशकों तक, यह विशिष्ट मामला अप्रामाणित रहा, जो अभाज्य संख्याओं और उनके पड़ोसियों के व्यवहार को समझने की हमारी सीमाओं के एक मानक के रूप में कार्य करता रहा।

हाल ही में एक शोध पत्र में, गणितज्ञों की एक टीम ने अंततः इस विशिष्ट मामले को हल कर लिया है। उन्होंने सिद्ध किया कि जब आप एक बहुत बड़ी सीमा तक सभी अभाज्य संख्याओं को लेते हैं, उनमें दो जोड़ते हैं, और उन परिणामों के लिए मोबियस फंक्शन के मानों को जोड़ते हैं, तो कुल योग प्रभावी रूप से शून्य होता है। दूसरे शब्दों में, धनात्मक और ऋणात्मक मान लगभग पूरी तरह से एक-दूसरे को निरस्त कर देते हैं। यह पुष्टि करता है कि अभाज्य संख्याओं में स्थानांतरित (shifted) होने पर मोबियस फलन में कोई छिपा हुआ पूर्वाग्रह नहीं होता है। शोधकर्ताओं ने केवल यह नहीं दिखाया कि योग छोटा है; उन्होंने यह भी प्रदर्शित किया कि यह प्रिम्स (primes) की कुल संख्या की तुलना में अत्यंत सूक्ष्म (vanishingly small) है, जिससे यह सिद्ध होता है कि संख्याएँ बड़ी होने पर व्यवहार वास्तव में यादृच्छिक है।

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

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

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

तकनीकी सारांश: हार्डी-लिटिलवुड-चोला अनुमान पर

समस्या विवरण
यह शोध पत्र हार्डी-लिटिलवुड-चोला अनुमान को संबोधित करता है, जो प्राइम्स (primes) की योगात्मक संरचना (additive structure) और म्यूबियस फलन (Möbius function) $\mu(n)$ की गुणात्मक संरचना (multiplicative structure) को संयोजित करने वाली एक हाइब्रिड समस्या है। विशेष रूप से, लेखक उस मामले को सिद्ध करते हैं जहाँ म्यूबियस फलन को शिफ्ट किए गए प्राइम्स (shifted primes) पर मूल्यांकित किया जाता है। यह अनुमान दावा करता है कि भिन्न पूर्णांकों $h_1, \dots, h_k$ और $a_1, \dots, a_\ell$ के लिए, योग
$\sum_{n \le x} \mu(n+h_1)\cdots\mu(n+h_k)\Lambda(n+a_1)\cdots\Lambda(n+a_\ell) = (S_{k,\ell} + o(1))x$
होता है, जहाँ $S_{k,\ell} = 0$ यदि $k > 0$ हो। यह शोध पत्र विशिष्ट उदाहरण $k=1, \ell=1, a_1=0, h_1=2$ पर केंद्रित है, जो शिफ्ट किए गए प्राइम्स पर म्यूबियस फलन के निरसन (cancellation) के अनुरूप है:
$\sum_{p \le x} \mu(p+2) = o(\pi(x)).$
इस समस्या को एक "लोकप्रिय अनुमान" (folklore conjecture) के रूप में नोट किया गया है और यह सीव थ्योरी (sieve theory) में पैरिटी समस्या (parity problem) के एक सुप्रसिद्ध मॉडल केस के रूप में जानी जाती है। ताओ और टेरेवेनिन (2022) के पिछले कार्य ने सीगल ज़ीरोस (Siegel zeros) की धारणा के तहत एसिम्प्टोटिक (asymptotic) परिणाम स्थापित किया था, जबकि लिचमैन और टेरेवेनिन ने औसत परिणाम प्रदान किए थे। यह शोध पत्र विशिष्ट शिफ्ट $h_1=2$ के लिए एक बिना शर्त (unconditional) प्रमाण प्रदान करता है।

कार्यप्रणाली (Methodology)
प्रमाण वॉन मंगोल्ट फलन (von Mangoldt function) $\Lambda(n)$ के वॉन पहचान अपघटन (Vaughan identity decomposition) और पैरिटी समस्या को संभालने के लिए सहायक भारों (auxiliary weights) के उपयोग पर केंद्रित विश्लेलेषणात्मक संख्या सिद्धांत तकनीकों के एक परिष्कृत संयोजन का उपयोग करता है।

वॉन अपघटन (Vaughan Decomposition): लेखक $\Lambda(n)$ वाले योग को टाइप I और टाइप II योगों में विभाजित करते हैं (प्रस्ताव 2.1)।
- टाइप I योग: इनमें वे योग शामिल हैं जहाँ एक चर छोटा होता है। लेखक सिद्ध करते हैं कि ये योग, जब सहायक फलनों $W(n)$ द्वारा भारित होते हैं, तो नगण्य होते हैं (प्रस्ताव 3.1)। यह बॉम्बिएरी-विनोोग्रादोव प्रकार के प्रमेय (Bombieri–Vinogradov type theorem) और भाजक योगों के सावधानीपूर्वक ट्रंकेशन (truncation) पर निर्भर करता है।
- टाइप II योग: ये दो बड़े चरों वाले द्विपद रूप (bilinear forms) हैं। यह मुख्य कठिनाई है। लेखक सहायक भारों $W(n)$ (जो विशिष्ट डायडिक अंतराल में प्राइम्स के उत्पादों के माध्यम से परिभाषित हैं) का विस्तार करते हैं और कॉची की असमानता (Cauchy's inequality) लागू करते हैं।
सहायक भार और स्टेट स्पेस (Auxiliary Weights and State Space): पैरिटी बाधा को दूर करने के लिए, लेखक अंतराल $(\exp(L^{a_i}), \exp(2L^{a_i}))$ में प्राइम्स के विलगित (disjoint) सेटों $P_i$ से निर्मित सहायक भार $W(n)$ पेश करते हैं। इन भारों को प्राइम्स के मॉड्यूल (modulo) विशिष्ट वितरण गुणों के लिए डिज़ाइन किया गया है।
ऑपरेटर-थ्योरेटिक दृष्टिकोण (टाइप II अनुमान):
- टाइप II योग को एक क्वाड्रेटिक फॉर्म के अनुमान में कम किया जाता है जिसमें एक निर्धारक स्थिति (determinant condition) $bmn - ars = 2(a-b)$ शामिल है।
- लेखक इस अंकगणितीय स्थिति को पूर्णांक वेक्टरों और प्राइम सूचियों के एक स्टेट स्पेस (state space) में एनकोड करते हैं। वे इस स्पेस पर कार्य करने वाले ऑपरेटरों ( $G_j, E_j$ ) को परिभाषित करते हैं, जो अवस्थाओं (states) के बीच संक्रमण (transitions) का प्रतिनिधित्व करते हैं (प्राइम फैक्टर्स को जोड़ना/हटाना)।
- पैरिटी कंजुगेसी (Parity Conjugacy): एक महत्वपूर्ण चरण (प्रस्ताव 4.3) में एक रैखिक मानचित्र $T$ शामिल है जो समस्या को $-2(b-a)$ वाली एक "गंदी" (dirty) स्थिति से "साफ" (clean) स्थिति $b-a$ में बदल देता है। यह एक रूपांतरित डोमेन पर मेजर आर्क विश्लेषण (major arc analysis) के उपयोग की अनुमति देता है।
- रूट एवरेजिंग (Root Averaging): लेखक "रूट्स" (स्टेट स्पेस को परिभाषित करने वाले पैरामीटर) पर औसत निकालते हैं और अंकगणितीय स्थितियों को परिमित क्षेत्रों (finite fields) पर इंटीग्रल्स (integrals) से बदलते हैं (प्रस्ताव 4.4)। यह समस्या को सहायक ऑपरेटरों के मोमेंट्स (moments) को बांधने तक सीमित कर देता है।
- मोमेंट बाउंड्स (Moment Bounds): ऑपरेटरों का एक अनुक्रम बनाकर और यह सिद्ध करके कि "गंदे" किनारे (जहाँ प्राइम सूचियाँ विशिष्ट तरीकों से ओवरलैप होती हैं) के नॉर्म्स (norms) छोटे हैं, वे दिखाते हैं कि कुल मोमेंट $L^{-2R E_0}$ द्वारा सीमित है (प्रस्ताव 4.5)। यह प्राइम चयन की विशिष्टता और ऑपरेटर नॉर्म्स के तीव्र क्षय (rapid decay) पर निर्भर करता है।
मेजर आर्क विश्लेषण (Major Arc Analysis): मेजर आर्क योगदान को कैरेक्टर-मेलिन अनुमानों (character–Mellin estimates) (प्रस्ताव 2.2) और प्राइम्स पर पॉलिनॉमियल्स के लार्ज-वैल्यू अनुमानों (लेम्मा 5.2) का उपयोग करके बांधा जाता है। लेखक दिखाते हैं कि मेजर आर्क योगदान भी नगण्य है (प्रस्ताव 5.3)।

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

प्रमेय 1: लेखक बिना शर्त सिद्ध करते हैं कि
$\sum_{p \le x} \mu(p+2) = o(\pi(x)).$
यह शिफ्ट $h_1=2$ के लिए अनुमान की पुष्टि करता है।
प्रमेय 2 (चिह्नों का वितरण): एक प्रत्यक्ष अनुप्रयोग के रूप में, यह शोध पत्र $\mu(p+2)$ के चिह्नों के एसिम्प्टोटिक घनत्व को स्थापित करता है। यदि $A_2 = \prod_{p>2} (1 - \frac{1}{p(p-1)})$ हो, तो $\kappa \in \{-1, 1\}$ के लिए:
$\#\{p \le x : \mu(p+2) = \kappa\} = \left(\frac{A_2}{2} + o(1)\right)\pi(x).$
परिणामस्वरूप, उन प्राइम्स $p$ के बीच जिनके लिए $\mu(p+2) \neq 0$ (अर्थात $p+2$ स्क्वायर-फ्री है), मान $1 $और$ -1 $समान एसिम्प्टोटिक घनत्व$ 1/2$ के साथ होते हैं:
$\lim_{x \to \infty} \frac{\#\{p \le x : \mu(p+2) = \kappa\}}{\#\{p \le x : \mu^2(p+2) = 1\}} = \frac{1}{2}.$

महत्व
यह शोध पत्र दावा करता है कि इसने विश्लेषणात्मक संख्या सिद्धांत में एक लंबे समय से खुले प्रश्न, विशेष रूप से शिफ्ट 2 के साथ शिफ्ट किए गए प्राइम्स के लिए हार्डी-लिटिलवुड-चोला अनुमान के मामले को हल कर दिया है। इसका महत्व निम्नलिखित में निहित है:

बिना शर्त प्रमाण (Unconditional Proof): सीगल ज़ीरोस के अस्तित्व पर निर्भर पिछले आंशिक परिणामों के विपरीत, यह प्रमाण बिना शर्त है।
पैरिटी समस्या (Parity Problem): इस परिणाम को सीव थ्योरी में पैरिटी समस्या के एक सुप्रसिद्ध मॉडल केस के रूप में वर्णित किया गया है। सहायक भार विधि का सफल अनुप्रयोग और ऑपरेटर-थ्योरेटिक फ्रेमवर्क यह प्रदर्शित करता है कि एडिटिव सेटिंग्स में मल्टीप्लिकेटिव कोरिलेशन (multiplicative correlations) को संभालने के लिए एक शक्तिशाली नया दृष्टिकोण है।
चिह्नों का वितरण (Distribution of Signs): यह शोध पत्र पहला प्रमाण प्रदान करता है कि म्यूबियस फलन शिफ्ट किए गए प्राइम्स के सेट पर (जहाँ यह गैर-शून्य है) धनात्मक और ऋणात्मक मानों को समान आवृत्ति के साथ लेता है, जो सार्नाक की समस्या 5.2 (मूल रूप से लिउविल फलन के लिए प्रस्तावित) से संबंधित है।

लेखक सरलता और ट्विन प्राइम अनुमान (twin prime conjecture) के साथ इसके संबंध के लिए अपने मुख्य प्रमेय को शिफ्ट $h_1=2$ तक सीमित रखते हैं, यह नोट करते हुए कि विधि विशेष रूप से इसी मामले के लिए तैयार की गई है। यह शोध पत्र बिना किसी और विकास के मनमाने शिफ्ट या उच्च $k, \ell$ के लिए परिणाम को सामान्यीकृत करने का दावा नहीं करता है।

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