🔢 mathematics

A Complete Answer to Erd\H{o}s Problem 690

यह शोध पत्र यह सिद्ध करके कि किसी विशिष्ट $k$ -वें सबसे छोटे अभाज्य विभाजक वाले पूर्णांकों का प्राकृतिक घनत्व किसी भी $k \ge 4$ के लिए एकदिष्ट (unimodal) नहीं है, एर्दोश की समस्या 690 को हल करता है, जिससे इस गुण के लिए सभी $k$ हेतु इसका वर्गीकरण पूर्ण होता है।

मूल लेखक: Shouqiao Wang, Davide Crapis

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

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

CC BY 4.0

मूल लेखक: Shouqiao Wang, Davide Crapis

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

मुख्य चित्र: संख्या पैटर्न के बारे में एक रहस्य

कल्पना कीजिए कि आपके पास सभी अभाज्य संख्याओं (2, 3, 5, 7, 11, 13...) की एक विशाल, अनंत सूची है। अब, कल्पना कीजिए कि आप हर एक पूर्ण संख्या (1, 2, 3, 4...) को देख रहे हैं और एक विशिष्ट प्रश्न पूछ रहे हैं: "इस पूर्ण संख्या को विभाजित करने वाली k-वीं सबसे छोटी अभाज्य संख्या कौन सी है?"

उदाहरण के लिए, यदि आप संख्या 12 चुनते हैं, तो इसके अभाज्य गुणनखंड 2 और 3 हैं।

सबसे छोटी पहली अभाज्य संख्या (1st smallest prime factor) 2 है।
दूसरी सबसे छोटी अभाज्य संख्या (2nd smallest prime factor) 3 है।

गणितज्ञ पॉल एर्दोश (Paul Erdős) ने इस बात के बारे में सोचा कि इन "k-वीं सबसे छोटी" अभाज्य संख्याओं के प्रकट होने की आवृत्ति (frequency) कितनी होती है। उन्होंने पूछा: क्या इन अभाज्य संख्याओं की आवृत्ति एक शिखर तक ऊपर जाती है और फिर नीचे आती है, जैसे कि एक चिकनी पहाड़ी हो? गणितीय शब्दों में, उन्होंने पूछा कि क्या यह अनुक्रम "एकदिशीय" (unimodal - एक ही उभार वाला) है।

पहाड़ी का रूपक (The Hill Analogy): एक पहाड़ की कल्पना करें। जैसे-जैसे आप ऊपर चढ़ते हैं, दृश्य बेहतर होता जाता है (आवृत्ति बढ़ती है)। आप बिल्कुल शीर्ष (शिखर) पर पहुँचते हैं। फिर, जैसे ही आप दूसरी ओर नीचे उतरते हैं, दृश्य खराब होता जाता है (आवृत्ति घटती है)। एर्दोश ने सोचा कि यह "पहाड़ी आकार" हर स्तर के "k-वीं सबसे छोटी" अभाज्य संख्या के लिए सत्य होगा।

पहले से क्या ज्ञात था?

इस शोध पत्र से पहले, एक गणितज्ञ कैम्बी (Cambie) ने पहले कुछ स्तरों की जाँच की थी:

k=1, 2, और 3 के लिए, "पहाड़ी" का आकार वास्तविक था। आवृत्ति ऊपर गई, शिखर पर पहुँची, और फिर नीचे आई।
k=4 से 20 तक, कैम्बी ने पाया कि यह आकार टूट गया था। यह एक चिकनी पहाड़ी नहीं थी; इसमें अजीब उभार और गड्ढे थे।

लेकिन बड़ा सवाल अभी भी बाकी था: क्या यह टूटा हुआ पैटर्न 3 से बड़े हर संख्या k के लिए होता है? या क्या बहुत बड़ी संख्याओं के लिए "पहाड़ी" आकार अंततः वापस आ जाता है?

खोज: "मल्टीस्केलर फील्ड्स सिस्टम" (The Multiscalar Fields System)

लेखक, शौकियाओ वांग (Shouqiao Wang) और डेविड क्रापिस (Davide Crapis) ने केवल डेस्क पर बैठकर इसे हाथ से नहीं किया। उन्होंने एक डिजिटल सहायक बनाया जिसे मल्टीस्केलर फील्ड्स सिस्टम कहा जाता है।

इस सिस्टम को एक अति-बुद्धिमान, अथक खोजकर्ता के रूप में सोचें जो मानचित्र और दिशा-सूचक यंत्र (compass) से लैस है।

अन्वेषण (Exploration): सिस्टम ने लाखों संभावनाओं को देखा, विभिन्न गणितीय तर्कों का परीक्षण किया कि कौन से तर्क सही हैं।
परिष्करण (Refinement): जब कोई तर्क कमजोर था, तो सिस्टम ने उसमें सुधार किया। जब वह मजबूत था, तो उसने उसे बनाए रखा।
सत्यापन (Verification): इसने यह सुनिश्चित करने के लिए कि कोई त्रुटि न हो, अपने गणित की सख्त नियमों के विरुद्ध जाँच की।

मानव गणितज्ञ "ऑडिटर" के रूप में कार्य करते थे। उन्होंने लक्ष्य निर्धारित किया, अंतिम प्रमाण की जाँच की, और कंप्यूटर की गणनाओं को सत्यापित किया, लेकिन खोज का भारी काम सिस्टम द्वारा किया गया था।

समाधान: "घाटियों" और "शिखरों" को खोजना

यह शोध पत्र सिद्ध करता है कि प्रत्येक k > 3 के लिए, "पहाड़ी" का आकार असत्य है। अनुक्रम कभी भी एक एकल चिकनी पहाड़ी के रूप में स्थिर नहीं होता है।

इसे सिद्ध करने के लिए, लेखकों ने एक चतुर दो-चरणीय रणनीति का उपयोग किया, जैसे जंगल में एक विशिष्ट पथ खोजना:

1. "उतरना" (पहाड़ी से नीचे जाना - The Descent)
उन्होंने अभाज्य संख्याओं की सूची में एक विशिष्ट स्थान पाया जहाँ दो अभाज्य संख्याओं के बीच एक विशाल अंतर (gap) दिखाई दिया।

रूपक: कल्पना कीजिए कि आप एक पहाड़ी पर चढ़ रहे हैं, और अचानक आप एक विशाल, चौड़े कूप (canyon) में पहुँच जाते हैं। रास्ता अचानक तेजी से नीचे गिर जाता है।
गणित: उन्होंने सिद्ध किया कि जब दो अभाज्य संख्याओं के बीच का अंतर बहुत बड़ा होता है, तो "k-वीं सबसे छोटी अभाज्य संख्या" की आवृत्ति तेजी से गिर जाती है। यह "उतरना" (descent) है।

2. "चढ़ना" (वापस ऊपर जाना - The Ascent)
बाद में, सूची में एक ऐसा स्थान मिला जहाँ अभाज्य संख्याएँ एक-दूसरे के बहुत करीब थीं (एक छोटा अंतराल)।

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

निष्कर्ष:
यदि एक पथ नीचे जाता है (descent) और फिर बाद में ऊपर जाता है (ascent), तो वह एक एकल चिकनी पहाड़ी नहीं हो सकता। इसके बीच में एक "घाटी" (valley) होनी चाहिए। इसलिए, अनुक्रम एकदिशीय (unimodal) नहीं है।

उन्होंने सभी संख्याओं के लिए इसे कैसे सिद्ध किया?

शोध पत्र प्रमाण को दो भागों में विभाजित करता है, जैसे एक छोटे हिस्से और एक विशाल हिस्से वाले पहेली को हल करना:

छोटी संख्याएँ (k = 4 से 8,600,001 तक):
इनके लिए, सिस्टम ने प्रमाणित प्रमाणपत्रों (certified certificates) का उपयोग किया। इन्हें अन्य गणितज्ञों से प्राप्त "आधिकारिक रसीदों" के रूप में सोचें जिन्होंने पहले ही विशिष्ट, रिकॉर्ड-तोड़ अभाज्य अंतराल (जैसे एक विशाल कूप) और जुड़वां अभाज्य (जैसे एक छोटी सीढ़ी) खोजे थे। सिस्टम ने इन ज्ञात तथ्यों को अपने सूत्रों में डाला ताकि यह सिद्ध किया जा सके कि इस सीमा में प्रत्येक संख्या के लिए "नीचे-फिर-ऊपर" वाला पैटर्न मौजूद था।
विशाल संख्याएँ (k = 8,600,002 और उससे आगे):
इन बड़ी संख्याओं के लिए, आप केवल रसीद नहीं देख सकते। आपको स्वयं पथ बनाना होगा।
लेखकों ने चीनी शेषफल निर्माण (Chinese Remainder Construction) का उपयोग किया।
रूपक: कल्पना कीजिए कि आप ईंटों की एक लंबी दीवार बनाना चाहते हैं जहाँ हर ईंट "संयुक्त" (composite - अभाज्य नहीं) हो। आप एक विशेष विधि (चीनी शेषफल प्रमेय) का उपयोग करके ईंटों को इस तरह व्यवस्थित करते हैं कि आप जहाँ भी देखें, वहाँ हमेशा एक अभाज्य गुणनखंड छिपा हुआ हो।
इसने उन्हें गणितीय रूप से यह गारंटी देने की अनुमति दी कि एक विशाल कूप (बड़ा अंतराल) के बाद बाद में एक छोटी सीढ़ी (छोटा अंतराल) मौजूद होगी, जिससे यह सिद्ध हुआ कि k के कितने भी बड़े होने पर भी यह पैटर्न बना रहता है।

अंतिम निर्णय

यह शोध पत्र एर्दोश के प्रश्न का पूर्ण उत्तर प्रदान करता है:

k = 1, 2, 3: अनुक्रम एक चिकनी पहाड़ी है (Unimodal)।
k ≥ 4: अनुक्रम एक ऊबड़-खाबड़, ऊबड़-खाबड़ रास्ता है जिसमें घाटियाँ और शिखर हैं (Not Unimodal)।

"मल्टीस्केलर फील्ड्स सिस्टम" ने अभाज्य संख्याओं के जटिल परिदृश्य में सफलतापूर्वक नेविगेट किया ताकि यह दिखाया जा सके कि तीसरी अभाज्य संख्या के स्तर के बाद किसी भी k के लिए, उनकी आवृत्ति का पैटर्न कभी भी एक साधारण, एकल पहाड़ी नहीं होता है। यह हमेशा एक रोलरकोस्टर की तरह होता है जो नीचे जाता है और फिर वापस ऊपर आता है।

तकनीकी सारांश: एर्दोश समस्या 690 का पूर्ण उत्तर

समस्या विवरण
यह शोध पत्र एर्दोश समस्या 690 को संबोधित करता है, जो उन धनात्मक पूर्णांकों $n$ के लिए प्राकृतिक घनत्व $d_k(p)$ से संबंधित है जिनके लिए एक अभाज्य संख्या $p$ , $k$ -वीं सबसे छोटी अभाज्य विभाजक है। केंद्रीय प्रश्न, जिसे एर्दोश ने प्रस्तुत किया था, यह है कि क्या बढ़ते क्रम में अभाज्य संख्याओं द्वारा अनुक्रमित $p \mapsto d_k(p)$ का अनुक्रम, प्रत्येक निश्चित पूर्णांक $k \ge 1$ के लिए, एकदिष्ट (unimodal) है। एक अनुक्रम एकदिष्ट है यदि वह एक निश्चित सूचकांक तक गैर-घटता (non-decreasing) है और उसके बाद गैर-बढ़ता (non-increasing) है।

पूर्व कार्य द्वारा कैम्बी ने स्थापित किया कि $1 \le k \le 3$ के लिए अनुक्रम एकदिष्ट है और प्रारंभिक सीमा $4 \le k \le 20$ के लिए गैर-एकदिष्टता (non-unimodality) को सत्यापित किया। खुला प्रश्न यह बना हुआ था कि क्या सभी $k \ge 4$ के लिए गैर-एकदिष्टता बनी रहती है।

कार्यप्रणाली और ढांचा
लेखकों ने बड़े पैमाने पर गणितीय अन्वेषण, प्रमेय खोज और सत्यापन के लिए एक स्वचालित ढांचे, मल्टीस्केलर फील्ड्स सिस्टम (Multiscalar Fields System) को विकसित किया। इस कार्य में, प्रणाली ने स्वायत्त रूप से संभावित निर्माणों और तर्कों का अन्वेषण किया, उनकी गणितीय व्यवहार्यता का मूल्यांकन किया, और एक औपचारिक प्रमाण उत्पन्न करने के लिए उन्हें पुनरावृत्त रूप से परिष्कृत किया। मानवीय भागीदारी समस्या के सूत्रीकरण, उत्पन्न प्रमाण के ऑडिटिंग और संख्यात्मक गणनाओं के सत्यापन तक सीमित थी।

प्रमाण रणनीति दो मुख्य घटकों पर निर्भर करती है:

संरचनात्मक लेम्मा (Structural Lemmas): लेखक एक सटीक थ्रेशोल्ड मानदंड (लेम्मा 3.1) व्युत्पन्न करते हैं जो प्रथम अंतर $d_{r+1}(p_{i+1}) - d_{r+1}(p_i)$ के चिह्न को निर्धारित करता है। यह मानदंड अभाज्य भारों के प्रारंभिक सममित फलनों (elementary symmetric functions) के अनुपात $R_r(i)$ की निकटवर्ती अभाज्य अंतराल $g_i$ के साथ तुलना करता है। विशेष रूप से, एक सख्त गिरावट (descent) तब होती है जब $R_r(i-1) < g_i + 1$ हो, और एक सख्त वृद्धि (ascent) तब होती है जब $R_r(i-1) > g_i + 1$ हो।
गैर-एकदिष्टता का निर्माण: किसी दिए गए $k$ $k$ के लिए गैर-एकदिष्टता को सिद्ध करने के लिए, लेखक एक ऐसी स्थिति का निर्माण करते हैं जहाँ अनुक्रम पहले एक सख्त गिरावट और बाद में एक सख्त वृद्धि प्रदर्शित करता है। इसके लिए निम्नलिखित की आवश्यकता होती है:
- एक पर्याप्त बड़ा अभाज्य अंतराल जो गिरावट को मजबूर करने के लिए पर्याप्त हो।
- एक बाद का छोटा अभाज्य अंतराल जो वृद्धि को मजबूर करने के लिए पर्याप्त हो।

प्रमाण दो श्रेणियों में विभाजित है जो $k$ के परिमाण पर आधारित है:

परिमित सीमा ( $4 \le k \le 8,600,001$ ): यह खंड प्रमाणित परिमित गणनाओं, अभाज्य गणना फलनों के स्पष्ट अनुमानों, और दो प्रकाशित अभाज्य-रिकॉर्ड प्रमाणपत्रों (एक बड़ा अभाज्य अंतराल और एक जुड़वां अभाज्य) का उपयोग करता है।
समान पूंछ (Uniform Tail) ( $k \ge 8,600,002$ ): यह खंड चीनी शेषफल प्रमेय (Chinese Remainder Theorem) का उपयोग करके क्रमागत भाज्य पूर्णांकों के एक लंबे ब्लॉक का निर्माण करने के लिए एक समान निर्माण का उपयोग करता है, जिससे एक बड़ा अभाज्य अंतराल निर्मित होता है। एक औसत-अंतराल तर्क का उपयोग फिर एक विशिष्ट अंतराल के भीतर एक छोटे बाद के अंतराल की पहचान करने के लिए किया जाता है।

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

पूर्ण वर्गीकरण: यह शोध पत्र सिद्ध करता है कि प्रत्येक पूर्णांक $k \ge 4$ के लिए, अनुक्रम $p \mapsto d_k(p)$ एकदिष्ट नहीं है। कैम्बी के $k \le 3$ के परिणाम के साथ मिलकर, यह एर्दोश के प्रश्न का पूर्ण उत्तर प्रदान करता है।
- प्रमेय 1.1: प्रत्येक $k \ge 4$ के लिए, अनुक्रम एकदिष्ट नहीं है।
- उपप्रमेय 1.2: अनुक्रम एकदिष्ट है यदि और केवल यदि $1 \le k \le 3$ ।
स्पष्ट थ्रेशोल्ड मानदंड: यह शोध पत्र एक सटीक बीजगणितीय स्थिति (लेम्मा 3.1) स्थापित करता है जो $d_k(p)$ के व्यवहार को सममित बहुपदों के अनुपात और अभाज्य अंतरालों से जोड़ता है। यह विश्लेषणात्मक समस्या को अभाज्य वितरण से प्राप्त विशिष्ट संख्यात्मक मानों की तुलना करने में बदल देता है।
प्रमाणित गणना और प्रमाणपत्र:
- छोटे $k$ ( $4 \le k \le 20$ ) के लिए, लेखक परिमेय अंकगणम (rational arithmetic) का उपयोग करके प्रारंभिक सममित योगों की गणना करने के लिए सटीक प्रमाणपत्र प्रदान करते हैं, जो आवश्यक गिरावट/वृद्धि पैटर्न को मजबूर करने वाले विशिष्ट अभाज्य अंतरालों (जैसे, $k=4$ के लिए $13 \to 17$ ) की पहचान करते हैं।
- सीमा $41 \le k \le 8,600,001$ के लिए, प्रमाण दो बाहरी प्रमाणपत्रों का लाभ उठाता: एक प्रमाणित बड़े अभाज्य अंतराल की लंबाई $1,113,106$ और एक प्रमाणित जुड़वां अभाज्य युग्म। इनका उपयोग अनसुलझे अनुमानों पर निर्भर रहने के बजाय आवश्यक बड़े और छोटे अंतरालों के अस्तित्व को प्रदर्शित करने के लिए किया जाता है।
- प्रमाण में प्रयुक्त सभी दशमलव असमानताओं और परिमेय अंकगणम को प्रमाणित करने के लिए एक साथी संख्यात्मक सत्यापनकर्ता (numerical verifier) प्रदान किया गया है।
बड़े $k$ के लिए समान निर्माण: $k \ge 8,600,002$ के लिए, लेखक एक ऐसा प्रमाण निर्मित करते हैं जो विशिष्ट बड़े अभाज्य रिकॉर्डों पर निर्भर नहीं है। इसके बजाय, वे विशिष्ट प्रिमोरियल (primorials) द्वारा परिभाषित अंतरालों के भीतर एक बड़े अंतराल $G_-$ और एक उसके बाद के छोटे अंतराल $G_+$ के अस्तित्व को सुनिश्चित करने के लिए विश्लेषणात्मक अनुमानों (डसर्ट के बाउंड्स) और चीनी शेषफल प्रमेय का उपयोग करते हैं। वे गिरावट/वृद्धि की स्थिति सुनिश्चित करने के लिए इन अंतरालों के विरुद्ध $R_r$ के अनुपात को कठोरता से बांधते हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह एर्दोश समस्या 690 का पहला पूर्ण समाधान प्रदान करता है, जो सभी $k$ के लिए एकदिष्टता के प्रश्न को हल करता है। इस कार्य का महत्व निम्नलिखित में निहित है:

वर्गीकरण को पूर्ण करना: यह एर्दोश के प्रश्न का निर्णायक रूप से उत्तर देता है, यह दिखाते हुए कि एकदिष्टता पहले तीन मामलों ( $k=1, 2, 3$ ) के लिए विशिष्ट गुण है।
पद्धतिगत प्रदर्शन: यह "मल्टीस्केलर फील्ड्स सिस्टम" द्वारा खोजे गए प्रमाण को प्रस्तुत करता है जिसमें सीमित मानवीय संपर्क है, जो बड़े पैमाने पर गणनाओं, विश्लेषणात्मक अनुमानों और संरचनात्मक लेम्मा वाले जटिल संख्या सिद्धांत संबंधी प्रमाणों को संभालने में स्वचालित प्रणालियों की क्षमता को प्रदर्शित करता है।
कठोर सत्यापन: लेखक इस बात पर जोर देते हैं कि प्रमाण ह्यूरिस्टिक (heuristic) नहीं है; यह प्रमाणित परिमित गणनाओं और स्पष्ट विश्लेषणात्मक सीमाओं पर निर्भर करता है, जिसमें एक सार्वजनिक रूप से उपलब्ध सत्यापनकर्ता सभी संख्यात्मक चरणों की शुद्धता सुनिश्चित करता है।

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