🔢 mathematics

The Bateman-Horn conjecture on average for generalized von Mangoldt Functions

यह शोधपत्र सामान्यीकृत वॉन मांगोल्ड फलनों (von Mangoldt functions) के लिए बेटीम-हॉर्न अनुमान (Bateman-Horn conjecture) की जांच करता है और यह प्रदर्शित करता है कि $k \in \{2, 3\}$ के लिए, लगभग सभी बुनियाकोव्स्की बहुपद (Bouniakowsky polynomials) उन पूर्णांकों का प्रतिनिधित्व करते हैं जो ठीक $k$ अभाज्य संख्याओं का गुणनफल हैं।

मूल लेखक: Efthymios Sofos

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

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

CC BY 4.0

मूल लेखक: Efthymios Sofos

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

कल्पना कीजिए कि आपके पास एक जादुई मशीन है जो एक संख्या लेती है, उस पर कुछ गणितीय गणना करती है, और एक नई संख्या बाहर निकालती है। गणितज्ञ लंबे समय से एक विशिष्ट प्रश्न से मंत्रमुग्ध रहे हैं: क्या यह मशीन कभी अभाज्य संख्या (prime number) बाहर निकालती है? (एक अभाज्य संख्या गणित के "बिल्डिंग ब्लॉक" की तरह है; इसे केवल 1 और स्वयं से ही विभाजित किया जा सकता है)।

सरल मशीनों (रैखिक समीकरणों) के लिए, हम जानते हैं कि उत्तर "अनंत बार हाँ" है। लेकिन अधिक जटिल मशीनों (बहुपदों/polynomials) के लिए, हम अटक गए हैं। हमें संदेह है कि वे ऐसा करते हैं, लेकिन हम इसे सिद्ध नहीं कर सकते। यह बेटमैन-हॉर्न अनुमान (Bateman–Horn Conjecture) है। यह मौसम के पूर्वानुमान जैसा है जो कहता है, "अंततः बारिश होगी," लेकिन हम यह सिद्ध नहीं कर सकते कि वास्तव में ऐसा होगा ही।

ई. सोफोस (E. Sofos) का यह शोध पत्र यह रहस्य हल नहीं करता कि ये मशीनें ठीक कब अभाज्य संख्याएँ निकालती हैं। इसके बजाय, यह थोड़ा अलग, अधिक लचीला प्रश्न पूछता है: "यदि हम इन मशीनों की एक विशाल भीड़ को देखें, तो क्या वे औसतन उसी तरह व्यवहार करती हैं जैसा कि हम उम्मीद करते हैं?"

यहाँ शोध पत्र की यात्रा का विवरण दिया गया, जिसमें रोजमर्रा के उपमाओं का उपयोग किया गया है:

1. लक्ष्य: "प्राइम फैमिलीज़" (Prime Families) की गिनती करना

लेखक केवल एकल अभाज्य संख्याओं को नहीं देख रहा है। वे उन संख्याओं की तलाश कर रहे हैं जो ठीक $k$ अलग-अलग अभाज्य बिल्डिंग ब्लॉक्स से बनी हैं।

$E_2$ संख्याएँ: ऐसी संख्याएँ जो ठीक दो अलग-अलग अभाज्य संख्याओं से बनी हैं (जैसे $6 = 2 \times 3$ )।
$E_3$ संख्याएँ: ऐसी संख्याएँ जो ठीक तीन अलग-अलग अभाज्य संख्याओं से बनी हैं (जैसे $30 = 2 \times 3 \times 5$ )।

यह शोध पत्र यह सिद्ध करने का प्रयास करता है कि यदि आप एक यादृच्छिक बहुपद (math machine) चुनते हैं और उसे कई संख्याओं के माध्यम से चलाते हैं, तो उसके परिणाम इन "प्राइम फैमिलीज़" का सही अनुपात शामिल करेंगे, जैसा कि बेटमैन-हॉर्न अनुमान भविष्यवाणी करता है।

2. समस्या: "पैरिटी प्रॉब्लम" (The Parity Problem)

गणित में एक प्रसिद्ध बाधा है जिसे "पैरिटी प्रॉब्लम" कहा जाता है। यह एक कमरे में कितने लोगों के बाल सम संख्या (even) में हैं बनाम विषम संख्या (odd) में, यह गिनने की कोशिश करने जैसा है, लेकिन आपके गिनने वाले चश्मे धुंधले हैं। आप लोगों की कुल संख्या देख सकते हैं, लेकिन आप "सम" और "विषम" गणनाओं के बीच विश्वसनीय रूप से अंतर नहीं कर सकते।

इस कारण से, हम आसानी से यह सिद्ध नहीं कर सकते कि एक विशिष्ट मशीन केवल अभाज्य संख्याएँ या केवल $E_2$ संख्याएँ ही उत्पन्न करती है। हम इस बात को जाने बिना अटक जाते हैं कि कौन सा मामला अनंत बार होता है।

3. समाधान: "औसत" दृष्टिकोण

एक विशिष्ट मशीन के लिए इसे सिद्ध करने के बजाय, लेखक एक निश्चित आकार के सभी संभावित मशीनों के 100% को देखता है।

उपमा: कल्पना कीजिए कि आपके पास 1,000,000 अलग-अलग स्लॉट मशीनों का एक बैग है। आप नहीं जानते कि मशीन नंबर 42 कभी जैकपॉट देगी या नहीं। लेकिन यदि आप बैग में मौजूद हर एक मशीन का लीवर खींचते हैं, तो आप सिद्ध कर सकते हैं कि, औसतन, जैकपॉट की कुल संख्या भविष्यवाणी के बिल्कुल अनुरूप है।

शोध पत्र सिद्ध करता है कि लगभग हर बहुपद के लिए जिसे आप सोच सकते हैं (विशेष रूप से, उनके आकार के क्रम में व्यवस्थित होने पर 100% के लिए), जितनी बार वे $E_2$ या $E_3$ संख्याएँ उत्पन्न करते हैं, वह ठीक उसी सूत्र का पालन करता है जैसा कि बेटमैन-हॉर्न अनुमान भविष्यवाणी करता है।

4. उपकरण: "सामान्यीकृत वॉन मंगोल्ट फंक्शन" (Generalized Von Mangoldt Function)

इसे करने के लिए, लेखक एक विशेष गणितीय उपकरण का उपयोग करता है जिसे सामान्यीकृत वॉन मंगोल्ट फंक्शन (जिसे $\Lambda_k$ द्वारा दर्शाया जाता है) कहा जाता है।

इसे एक "प्राइम डिटेक्टर" के रूप में समझें जिसमें वॉल्यूम नॉब (volume knob) लगा है।
एक मानक डिटेक्टर केवल यह बताता है कि कोई संख्या अभाज्य है या नहीं ("हाँ" या "नहीं")।
यह विशेष डिटेक्टर एक "स्कोर" देता है कि किसी संख्या के कितने अभाज्य गुणनखंड (prime factors) हैं।
- यदि किसी संख्या के ठीक $k$ अलग-अलग अभाज्य गुणनखंड हैं, तो डिटेक्टर उसे उच्च स्कोर देता है।
- यदि उसमें अलग संख्या में गुणनखंड हैं, तो स्कोर शून्य या कम होता है।

लेखक दिखाता है कि इन स्कोरों को उन सभी संख्याओं के लिए जोड़ने से जो एक मशीन उत्पन्न करती है, कुल स्कोर लगभग सभी मशीनों के लिए भविष्यवाणी के अनुसार बिल्कुल मेल खाता है।

5. बड़ी सफलताएँ

शोध पत्र तीन मुख्य दावे करता है:

$E_2$ (दो अभाज्य गुणनखंड) के लिए: लगभग सभी बहुपद मशीनों के लिए, जितनी बार वे दो अभाज्य गुणनखंडों वाली संख्या उत्पन्न करते हैं, वह भविष्यवाणी से मेल खाता है।
$E_3$ (तीन अभाज्य गुणनखंड) के लिए: यही बात तीन अभाज्य गुणनखंडों वाली संख्याओं के लिए भी सत्य है।
सीमा (The "Four" Problem): शोध पत्र $k=4$ पर एक दीवार से टकरा जाता है। यह सिद्ध करता है कि 2 या 3 गुणनखंडों के लिए उपयोग किया जाने वाला विशिष्ट गणितीय "डिटेक्टर" 4 या अधिक गुणनखंडों वाली संख्याओं को गिनने के लिए आसानी से अनुकूलित नहीं किया जा सकता है। यह एक ऐसी चाबी की तरह है जो 2 या 3 पिन वाले तालों में तो फिट बैठती है, लेकिन 4 पिनों वाला तंत्र पूरी तरह से अलग है और उसके लिए एक नई चाबी की आवश्यकता होती है।

सारांश

सरल शब्दों में, यह शोध पत्र कहता है:

"हम यह सिद्ध नहीं कर सकते कि कोई भी एकल गणितीय मशीन निश्चित रूप से अनंत काल तक ठीक दो या तीन अभाज्य गुणनखंडों वाली संख्याएँ उत्पन्न करेगी। लेकिन यदि आप इन मशीनों के पूरे ब्रह्मांड को देखते हैं, तो लगभग सभी मशीनों का व्यवहार वैसा ही होता है जैसी थ्योरी भविष्यवाणी करती है। वे औसतन सही मात्रा में 'प्राइम फैमिलीज़' उत्पन्न करती हैं। हालांकि, यह ट्रिक 2 और 3 गुणनखंडों के लिए काम करती है, लेकिन जब आप 4 या अधिक गुणनखंडों को गिनने की कोशिश करते हैं, तो यह विफल हो जाती है।"

यह एक बड़ा कदम है क्योंकि यह पुष्टि करता है कि बेटमैन-हॉर्न अनुमान अधिकांश मामलों के लिए संभवतः सत्य है, भले ही हम अभी भी प्रत्येक विशिष्ट मामले के लिए इसे सिद्ध न कर सकें।

तकनीकी सारांश: सामान्यीकृत वॉन मांगोल्डट फलनों के लिए औसत पर बेटीमैन-हॉर्न अनुमान (The Bateman–Horn Conjecture on Average for Generalized von Mangoldt Functions)

समस्या विवरण
यह शोध पत्र बेटीमैन-हॉर्न अनुमान (Bateman–Horn conjecture) को संबोधित करता है, जो अपरिमेय पूर्णांक बहुपदों (irreducible integer polynomials) द्वारा लिए गए अभाज्य मानों के स्पर्शोन्मुख घनत्व (asymptotic density) की भविष्यवाणी करता है। जबकि यह अनुमान अभाज्य संख्याओं (primes) के लिए सुस्थापित है, विशिष्ट संख्या में अभाज्य गुणनखंडों वाले पूर्णांकों (जिन्हें $E_k$ संख्याएँ कहा जाता है, जिनमें ठीक $k$ विशिष्ट अभाज्य विभाजक होते हैं) के लिए इसका सामान्यीकरण काफी हद तक खुला (unsolved) है। विशेष रूप से, यह अज्ञात है कि क्या अपरिमेय बहुपद अनंत $E_2$ या $E_3$ संख्याओं का प्रतिनिधित्व करते हैं (यह कठिनाई "पैरिटी समस्या" (parity problem) के कारण मानी जाती है)।

लेखक इस समस्या के एक भारित संस्करण (weighted version) की जांच करता है। $E_k$ संख्याओं को सीधे गिनने के बजाय, अध्ययन सामान्यीकृत वॉन मांगोल्डट फलनों, $\Lambda_k(n)$ के वितरण पर केंद्रित है, जिसे इस प्रकार परिभाषित किया गया है:
$\Lambda_k(n) := \sum_{c|n} \mu(c) \left(\log \frac{n}{c}\right)^k$
मुख्य परिकल्पना यह है कि $P_1, \dots, P_n$ के एक सेट के लिए, इन फलनों के उत्पादों का योग, एक विशिष्ट सिंगुलर सीरीज़ $S_P$ और लघुगणकीय पदों (logarithmic terms) को सम्मिलित करते हुए, एक विशिष्ट स्पर्शोन्मुख नियम का पालन करना चाहिए। शोध पत्र का लक्ष्य यह सिद्ध करना है कि यह अनुमान ऊंचाई (height) के आधार पर क्रमबद्ध किए गए लगभग सभी (almost all) बहुपदों के लिए सत्य है।

कार्यप्रणाली (Methodology)
प्रमाण एकल निश्चित बहुपद के बजाय बहुपदों के एक परिवार में अनुमान के व्यवहार का विश्लेषण करने वाले "औसत" (average) विधि पर आधारित हैं। मुख्य तकनीकी दृष्टिकोण निम्नलिखित है:

$\Lambda_k$ का अपघटन (Decomposition): लेखक $\Lambda_k$ और संबंधित फलनों (जैसे कि $E_k$ संख्याओं का पता लगाने वाले फलन) को मानक वॉन मांगोल्डट फलन $\Lambda$ और लघुगणकीय पदों के संवलन (convolutions) के रैखिक संयोजन के रूप में व्यक्त करते हैं। $k=2$ और $k=3$ के लिए, पहचान जैसे कि $\Lambda_2 = \Lambda \cdot L + \Lambda * \Lambda$ और $\Lambda_3 = L^2\Lambda + \dots$ समस्याओं को $\Lambda_k$ के उत्पादों के योगों में कम करने की अनुमति देती हैं।
द्वितीय क्षण विश्लेषण (Second Moment Analysis): मुख्य परिणाम त्रुटि पद (error term) और अनुमानित स्पर्शोन्मुख के बीच के विचरण (variance) के द्वितीय क्षण का अनुमान लगाकर प्राप्त किए जाते हैं। शोध पत्र एक योग $V_1$ को परिभाषित करता है जो $d$ घात और $H$ ऊंचाई वाले बहुपदों पर सामान्यीकृत वॉन मांगोल्डट फलनों के द्वितीय क्षण का प्रतिनिधित्व करता है।
मोबियस रैंडमनेस और घातांकीय योग (Möbius Randomness and Exponential Sums): एक महत्वपूर्ण घटक "मोबियस रैंडमनेस" सिद्धांत है। लेखक यह दिखाने के लिए कि $m_1$ और $m_2$ पर अलग-अलग बिंदुओं पर बहुपद मानों के बीच सहसंबंध नगण्य हैं जब तक कि $m_1 = m_2$ न हो, मोबियस फलन वाले घातांकीय योगों पर सीमाएं (लेम्मा 2.4) उपयोग करते हैं।
सिंगुलर सीरीज़ का ट्रंकेशन (Truncation of Singular Series): त्रुटि पदों को प्रबंधित करने के लिए $S_P$ को $\ell \le \log x$ अभाज्य संख्याओं तक सीमित (truncated) किया गया है (जिसे $S_P(x)$ कहा जाता है)। विश्लेषण में विकर्ण (diagonal, $m_1 = m_2$ ) और गैर-विकर्ण (non-diagonal, $m_1 \neq m_2$ ) पदों में विभाजन शामिल है, जिसमें अंकगणितीय प्रगतियों (arithmetic progressions) को संभालने के लिए $\Lambda_k$ के लिए सिगल-वाल्फिष प्रमेय (Siegel–Walfisz theorem) के सामान्यीकरण का उपयोग किया गया है (लेम्मा 2.9)।
$E_k$ संख्याओं को संभालना: $k=2$ और $k=3$ के लिए, शोध पत्र विशिष्ट रैखिक संयोजनों का निर्माण करता है जो ठीक $k$ विशिष्ट अभाज्य गुणनखंडों वाले पूर्णांकों को अलग करते हैं। $k \ge 4$ के लिए, शोध पत्र यह प्रदर्शित करता है कि $\Lambda_k$ को आवश्यक आधार फलनों (basis functions) के परिमित रैखिक संयोजन के रूप में व्यक्त नहीं किया जा सकता है, जो वर्तमान विधि की प्रयोज्यता को सीमित करता है।

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

प्रमेय 1.2 (मुख्य परिणाम): शोध पत्र सिद्ध करता है कि निश्चित $n, d_i, k_i$ के लिए, सामान्यीकृत वॉन मांगोल्डट फलनों के उत्पादों के लिए बेटीमैन-हॉर्न अनुमान, ऊंचाई द्वारा क्रमबद्ध 100% बहुपदों के लिए सत्य है। विशेष रूप से, लगभग सभी बहुपदों के टुपल्स $P_1, \dots, P_n$ के लिए, योग
$\sum_{1 \le m \le x, P_i(m) > 0} \Lambda_{k_1}(P_1(m)) \cdots \Lambda_{k_n}(P_n(m))$
स्पर्शोन्मुख रूप से $S_P(x) x (\log H)^{k-n} \prod k_i$ के बराबर होता है, बशर्ते $x$ , $H$ के सापेक्ष एक विशिष्ट सीमा (विशेष रूप से $(\log H)^n < x \le (\log H)^\delta$ ) के भीतर हो।
प्रमेय 1.1 ( $E_2$ संख्याएँ): एक प्रत्यक्ष अनुप्रयोग के रूप में, शोध पत्र सिद्ध करता है कि $d$ घात वाले 100% बौनियाकोव्स्की (Bouniakowsky) बहुपदों के लिए, भार $L_2(P(m))$ (जहाँ $L_2$ दो विशिष्ट अभाज्य गुणनखंडों के लघुगणक का गुणनफल है) का योग $m \le x$ पर अनुमानित स्पर्शोन्मुख का पालन करता है। फलस्वरूप, लगभग सभी ऐसे बहुपद $(\log |P|)^\delta$ से अधिक $E_2$ पूर्णांकों का प्रतिनिधित्व करते हैं।
प्रमेय 1.3 ( $E_3$ संख्याएँ): इसी प्रकार, शोध पत्र एक ट्रिपल संवलन पहचान (triple convolution identity) का उपयोग करके $E_3$ संख्याओं के लिए स्पर्शोन्मुख सूत्र स्थापित करता है। यह निष्कर्ष निकालता है कि 100% घात $d$ वाले बौनियाकोव्स्की बहुपद $(\log |P|)^\delta$ से अधिक $E_3$ पूर्णांकों का प्रतिनिधित्व करते हैं।
$k \ge 4$ के लिए सीमा: लेम्मा 3.4 एक संरचनात्मक सीमा स्थापित करता है: $k \ge 4$ के लिए, $\Lambda_k$ को $\Lambda^{(a)} L^b$ (जहाँ $\Lambda^{(a)}$ , $\Lambda$ का $a$ -गुना संवलन है) के रूप में फलनों के परिमित रैखिक संयोजन के रूप में व्यक्त नहीं किया जा सकता है। इसका तात्पर्य यह है कि $k=2, 3$ के लिए उपयोग की गई विशिष्ट रणनीति को $E_k$ संख्याओं का पता लगाने के लिए सीधे विस्तारित नहीं किया जा सकता है।

महत्ता और दावे
शोध पत्र पूर्व कार्य (विशेष रूप से [16, प्रमेय 1.9] का उल्लेख करते हुए) में पाए गए अभाज्य संख्याओं के अनुरूप कथन को सामान्यीकृत करने का दावा करता है। प्राथमिक महत्व इस बात में निहित है कि बेटीमैन-हूर् अनुमान अधिक जटिल अंकगणितीय फलनों के लिए "औसत पर" सत्य है।

लेखक स्पष्ट रूप से कहते हैं कि प्रमाण लक्षित फलनों (जैसे $L_2$ और $L_3$ ) को सामान्यीकृत वॉन मांगोल्डट फलनों के रैखिक संयोजनों के माध्यम से व्यक्त करने पर निर्भर करते हैं। परिणाम इस बात का पुख्ता प्रमाण प्रदान करते हैं कि बौनियाकोव्स्की बहुपद अनंत $E_2$ और $E_3$ संख्याओं का प्रतिनिधित्व करते हैं, जो "कौन सा मामला अनंत बार घटित होता है" के प्रश्न को हल करता है, भले ही पैरिटी समस्या किसी भी एकल विशिष्ट बहुपद के लिए निर्णायक उत्तर देने से रोकती हो। शोध पत्र $k \ge 4$ के संबंध में विनम्र रहता है, वर्तमान पद्धति के बिना किसी नई रणनीति का प्रस्ताव किए बिना एक बीजगणितीय बाधा (algebraic obstruction) को नोट करता है।