🔢 mathematics

Primes of the form $p^2 + nq^2$

यह शोधपत्र सिद्ध करता है कि $p^2 + nq^2$ के रूप में अनंत अभाज्य संख्याएँ हैं जहाँ $p$ और $q$ दोनों अभाज्य हैं और $n \equiv 0, 4 \pmod 6$ है, जो $\mathbf{Q}(\sqrt{-n})$ में टाइप I/II सम विधियों को गॉवर्स नॉर्म्स (Gowers norms) और कॉनकेटिनेशन थीयोरम्स (concatenation theorems) के हालिया विकास के साथ उन्नत करके $n=4$ के लिए फ्राइडलैंडर-इवानिएक "गौसियन प्राइम्स अनुमान" (Gaussian primes conjecture) को सत्यापित करते हुए एक अनंत गणना स्थापित करता है।

मूल लेखक: Ben Green, Mehtaab Sawhney

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

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

CC BY 4.0

मूल लेखक: Ben Green, Mehtaab Sawhney

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

कल्पना कीजिए कि आप एक मास्टर शेफ हैं जो एक बहुत ही विशिष्ट प्रकार का केक बनाने की कोशिश कर रहे हैं। रेसिपी सरल है: दो सामग्री लें, जिन्हें हम प्राइम A और प्राइम B कहेंगे। उन्हें एक विशेष गणितीय कटोरे में इस सूत्र $A^2 + n \times B^2$ का उपयोग करके एक साथ मिलाएं। आपका लक्ष्य यह पता लगाना है कि क्या परिणामी मिश्रण भी एक अभाज्य संख्या (Prime Number) है।

अधिकांश संख्याओं $n$ के लिए, यह एक अनुमान लगाने वाला खेल है। लेकिन यह शोध पत्र, जिसे बेन ग्रीन और मेहताब साहनेवी ने लिखा है, यह सिद्ध करता है कि यदि आप $n$ को ऐसी संख्या चुनते हैं जो 6 से विभाजित होने पर 0 या 4 का शेषफल छोड़ती है (जैसे 0, 4, 6, 10, आदि), तो आपके पास इन विशेष केकों की कभी कमी नहीं होगी। वास्तव में, आप इनके अनंत संस्करण बना सकते हैं।

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

1. समस्या: "गोल्डन ट्रिपलेट्स" (स्वर्ण त्रिक) खोजना

संख्याओं की दुनिया में, अभाज्य संख्याएँ (Prime Numbers) निर्माण खंड (जैसे 2, 3, 5, 7, 11) हैं। वे विशेष हैं क्योंकि उन्हें केवल 1 और स्वयं से ही विभाजित किया जा सकता है।

लेखक एक "गोल्डन ट्रिपलेट" की तलाश में हैं:

एक अभाज्य संख्या ( $p$ )।
एक अन्य अभाज्य संख्या ( $q$ )।
एक तीसरी संख्या जो $p^2 + nq^2$ द्वारा निर्मित होती है, जिसे भी एक अभाज्य संख्या होना चाहिए।

इसे तीन टंबलरों (tumblers) वाले एक ताले की तरह समझें। आपको एक ऐसा संयोजन खोजना है जहाँ तीनों टंबलर एक ही समय में सही जगह पर बैठ जाएं। लंबे समय तक, गणितज्ञों को पता था कि आप जोड़े पा सकते हैं, लेकिन यह सिद्ध करना कि आप इस विशिष्ट व्यवस्था में तीन संख्याएँ पा सकते हैं, एक बड़ी चुनौती थी।

2. रणनीति: "छलनी" (Sieve) और "मानचित्र" (Map)

इन संख्याओं को खोजने के लिए, लेखकों ने केवल एक-एक करके संख्याओं की जाँच नहीं की (ऐसा करने में बहुत समय लगता)। इसके बजाय, उन्होंने दो-चरणीय रणनीति का उपयोग किया:

चरण A: छलनी (The Sieve - एक Colander)
कल्पना कीजिए कि आपके पास संख्याओं से भरा एक विशाल छलनी (colander) है। आप उन सभी को छानकर बाहर निकालना चाहते हैं जो अभाज्य नहीं हैं।

टाइप I संकलन (Type I Sums): यह गंदगी के बड़े ढेरों को छानने जैसा है। लेखकों ने सिद्ध किया कि वे स्पष्ट रूप से गैर-अभाज्य संख्याओं को कुशलतापूर्वक छान सकते हैं।
टाइप II संकलन (Type II Sums): यह कठिन हिस्सा है। यह रेत के सूक्ष्म, छिपे हुए कणों को देखने जैसा है जो गंदगी की तरह दिखते हैं लेकिन वास्तव में नहीं हैं। यहीं पर गणित बहुत कठिन हो जाता है। लेखकों को यह सिद्ध करना पड़ा कि भले ही ये सूक्ष्म, छिपे हुए पैटर्न उनके गणना को प्रभावित न करें।

चरण B: मानचित्र (The Map - संख्या क्षेत्र)
गणित को आसान बनाने के लिए, लेखकों ने केवल एक सीधी रेखा पर नियमित संख्याओं को नहीं देखा। उन्होंने एक अलग दुनिया का मानचित्र सोचा जिसे संख्या क्षेत्र (Number Field) कहा जाता है (विशेष रूप से, $\sqrt{-n}$ से जुड़ी एक दुनिया)।

इसे एक सपाट 2D मानचित्र से बदलकर एक 3D ग्लोब में बदलने के रूप में सोचें। कभी-कभी, एक समस्या जो सपाट मानचित्र पर असंभव दिखती है, वह एक अलग कोण से देखने पर आसान हो जाती है। इस "काल्पनिक" दुनिया में अपनी समस्या को ले जाकर, वे अभाज्य संख्याओं की अधिक सटीक गणना करने के लिए शक्तिशाली उपकरणों का उपयोग कर सके।

3. गुप्त हथियार: "गौवर्स नॉर्म्स" (Gowers Norms)

इस शोध पत्र में असली जादू यह है कि उन्होंने "टाइप II" संकलनों (छिपे हुए रेत के कणों) को कैसे संभाला। उन्होंने एडिटिव कॉम्बिनेटरिक्स (Additive Combinatorics) नामक गणित की एक अलग शाखा से एक उपकरण का उपयोग किया।

कल्पना कीजिए कि आप शोर भरे कमरे में एक गाना बजने का पता लगाने की कोशिश कर रहे हैं।

यदि संगीत केवल रैंडम शोर है, तो उसे सुनना कठिन है।
यदि संगीत में एक मजबूत, दोहराव वाला रिदम (ताल) है, तो आप शोर के बीच भी उसे सुन सकते हैं।

लेखकों ने संख्याओं के "रिदम" को मापने के लिए गौवर्स नॉर्म्स (Gowers Norms) का उपयोग किया।

उन्होंने सिद्ध किया कि यदि संख्याओं में कोई मजबूत, अनुमानित रिदम नहीं होता (जो कि अभाज्य संख्याओं में आमतौर पर नहीं होता), तो "शोर" अपने आप समाप्त हो जाता है।
इसने उन्हें समीकरण के अव्यवस्थित हिस्सों को अनदेखा करने और केवल स्वच्छ, अभाज्य भागों पर ध्यान केंद्रित करने की अनुमति दी। उन्होंने इन "रhythms" (ताल) के बारे में बहुत हालिया, अत्याधुनिक खोजों (जिन्हें 'कॉन्कैटिनेशन थ्योरम्स' कहा जाता है) का उपयोग करके अपनी सिद्धि को सफल बनाया।

4. परिणाम: एक गणना मशीन (Counting Machine)

एक बार जब उन्होंने शोर को छान लिया और अपने समस्या को सही ढंग से मैप कर लिया, तो वे अंततः केक गिन सकते थे।

उन्होंने केवल यह नहीं कहा कि "अनंत हैं।" उन्होंने एक सटीक एसिम्प्टोटिक फॉर्मूला (Asymptotic Formula) दिया।

उपमा: यदि आप पूछते हैं, "आकाश में कितने तारे हैं?" एक सरल उत्तर है "बहुत सारे।" एक सटीक उत्तर है: "यदि आप आकाश के इतने बड़े हिस्से को देखते हैं, तो आप लगभग $X$ तारे देखेंगे, जिसमें त्रुटि की एक बहुत छोटी संभावना भी शामिल है।"
लेखकों ने $X$ के लिए सटीक सूत्र प्रदान किया। उन्होंने किसी भी दिए गए आकार तक कितने "गोल्डन ट्रिपलेट्स" मौजूद हैं, इसकी गणना बहुत कम त्रुटि मार्जिन के साथ की।

5. विशेष मामला: "गौसियन प्राइम्स" (Gaussian Primes)

यह शोध पत्र एक विशिष्ट मामले पर प्रकाश डालता है जहाँ $n = 4$ है।

इस मामले में, सूत्र $p^2 + 4q^2$ बन जाता है।
यह एक प्रसिद्ध अनुमान (जिसे "गौसियन प्राइम्स कंजेक्चर" कहा जाता है) को हल करता है जो दशकों से लंबित था। यह पुष्टि करता है कि आप इस रूप के अनंत अभाज्य संख्याएँ पा सकते हैं जहाँ $p$ और $q$ दोनों अभाज्य संख्याएँ हैं।

सारांश

संक्षेप में, ग्रीन और साहनेवी ने एक गणितीय मशीन बनाई जिसने:

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

उन्होंने केवल एक नहीं खोजा; उन्होंने सिद्ध किया कि आपूर्ति अनंत है और उन्होंने हमें उन्हें सभी को गिनने के उपकरण भी दिए।

तकनीकी सारांश: $p^2 + nq^2$ के रूप वाले अभाज्य (Primes)

समस्या विवरण
यह शोध पत्र उन अभाज्य युग्मों $(p, q)$ के लिए एक अनंत गणना (asymptotic count) स्थापित करने की समस्या को संबोधित करता है जहाँ $p^2 + nq^2$ भी एक अभाज्य संख्या है। विशेष रूप से, लेखक सिद्ध करते हैं कि किसी भी धनात्मक पूर्णांक $n$ के लिए, जो $n \equiv 0$ या $n \equiv 4 \pmod 6$ को संतुष्ट करता है, ऐसे अनंत अभाज्य मौजूद हैं। यह फ्राइडलैंडर और इवानिएक (Friedlander and Iwaniec) द्वारा प्रस्तावित "गौसियन अभाज्य अनुमान" (Gaussian primes conjecture) के एक विशिष्ट मामले ( $n=4$ के लिए) को हल करता है और उन द्विघात रूपों (binary quadratic forms) के अध्ययन का विस्तार करता है जहाँ चर स्वयं अभाज्य होते हैं।

मुख्य परिणाम, प्रमेय 1.1, भारित योग (weighted sum) के लिए एक अनंत सूत्र प्रदान करता है:
$\sum_{x,y \in \mathbb{Z}} \Lambda(x)\Lambda(y)\Lambda(x^2 + ny^2) W\left(\frac{x}{N}, \frac{y}{N}\right) = \kappa_n N^2 \left( \int_{\mathbb{R}^2} W \right) + O\left( \frac{N^2 (\log \log N)^2}{\log N} \right)$
जहाँ $\Lambda$ वॉन मंगोल्ट फलन (von Mangoldt function) है, $W$ एक सुचारू भार फलन (smooth weight function) है, और $\kappa_n$ स्थानीय घनत्वों (local densities) से प्राप्त एक सिंगुलर सीरीज़ स्थिरांक है।

कार्यप्रणाली (Methodology)
प्रमाण एक संख्या क्षेत्र (number field) $K = \mathbb{Q}(\sqrt{-n})$ में अनुकूलित एक सीव-सैद्धांतिक ढांचे (sieve-theoretic framework) का उपयोग करता है। तर्क कई विशिष्ट चरणों के माध्यम से आगे बढ़ता है:

सीव रिडक्शन (Sieve Reduction): समस्या को $K$ में अभाज्य आदर्शों (prime ideals) पर योगों का अनुमान लगाने के लिए कम किया जाता है, जिसमें ड्यूक-फ्रीडलैंडर-इवानिएक सीव (Duke–Friedlander–Iwaniec sieve) का उपयोग किया गया है। इसके लिए आदर्शों पर परिभाषित भार फलनों के लिए "टाइप I" और "टाइप II" अनुमान स्थापित करने की आवश्यकता होती है।
- टाइप I योगों में एक निश्चित स्तर $L$ के विभाजकों पर योग शामिल हैं।
- टाइप II योग द्वरेखीय रूपों (bilinear forms) को शामिल करते हैं जिनमें गुणांक आवश्यक रूप से संरचित नहीं होते हैं।
  लेखक इस समस्या के विशिष्ट प्रतिबंधों को संभालने के लिए, विशेष रूप से वॉन मंगोल्ट फलन के साथ काम करते समय जो 1-बद्ध (1-bounded) नहीं है, एक आयाम-3 ऊपरी सीमा (dimension-3 upper bound) सीव का उपयोग करते हैं।
गोवर्स नॉर्म नियंत्रण (Gowers Norm Control): मुख्य नवाचार यह प्रदर्शित करना है कि आवश्यक टाइप I और टाइप II अनुमान, अंतर्निहित फलनों के गोवर्स नॉर्म्स (Gowers norms) की लघुता की शर्तों से प्राप्त होते हैं। लेखक वॉन मंगोल्ट फलन $\Lambda$ को एक "मुख्य पद" (Cramér model $\Lambda_{\text{Cramér}}$ ) और एक त्रुटि पद में विभाजित करते हैं। वे इस बात पर निर्भर करते हैं कि त्रुटि पद के गोवर्स नॉर्म्स छोटे होते हैं।
संयोजन प्रमेय (Concatenation Theorems): टाइप II योगों को संभालने के लिए, लेखक एडिटिव कॉम्बिनेटरिक्स (additive combinatorics) के उन्नत उपकरणों, विशेष रूप से गोवर्स नॉर्म्स के संयोजन प्रमेयों का उपयोग करते हैं।
- वे कुका (Kuca) और कुका-क्रेविट्ज़-लेंग (Kuca–Kravitz–Leng) के कारण हालिया मात्रात्मक संस्करणों का उपयोग करते हैं।
- ये प्रमेय "गोवर्स-पेलुसे नॉर्म्स" (Gowers–Peluse norms - संभाव्यता मापों से जुड़े सामान्यीकृत नॉर्म्स) पर नियंत्रण को मानक गोवर्स $U^k$ नॉर्म्स पर नियंत्रण में बदलने की अनुमति देते हैं।
- यह मशीनरी द्वरेखीय योगों को अलग करने (decoupling) और यह सिद्ध करने के लिए आवश्यक है कि यदि इनपुट फलनों के गोवर्स नॉर्म्स छोटे हैं, तो टाइप II योग भी छोटे होंगे।
विश्लेषणात्मक संख्या सिद्धांत (Analytic Number Theory): मुख्य पद का मूल्यांकन हेके ग्रोज़ेनकैरेक्टर (Hecke Größencharaktere) के प्राइम आइडियल प्रमेय (प्रमेय 8.3) का उपयोग करके किया जाता है। लेखक $\kappa_n$ के सिंगुलर सीरीज़ को सावधानीपूर्वक संभालते हैं, जिसमें समावेशन-अपवर्जन (inclusion-exclusion) के माध्यम से क्रैमर मॉडल का विस्तार किया जाता है और मुख्य तथा गैर-मुख्य पात्रों (characters) के योगदान का विश्लेषण किया जाता है, जिससे $\kappa_n$ को परिभाषित करने वाले अनंत उत्पाद का अभिसरण सुनिश्चित होता है।

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

गौसियन अभाज्य अनुमान ( $n=4$ ) का समाधान: यह शोध पत्र इस अनुमान की पुष्टि करता है कि $p^2 + 4q^2$ के रूप में अनंत अभाज्य मौजूद हैं, जहाँ $p, q$ अभाज्य हैं, और इस विशिष्ट मामले के लिए पहला अनंत सूत्र प्रदान करता है।
$n \equiv 0, 4 \pmod 6$ के लिए सामान्यीकरण: परिणाम को पूर्णांकों के एक व्यापक वर्ग तक विस्तारित किया गया है, जो $p, q$ अभाज्य होने पर $p^2 + nq^2$ के अभाज्य होने के लिए आवश्यक पैरिटी बाधाओं (parity constraints) को कवर करता है।
मात्रात्मक संयोजन का अनुप्रयोग: यह शोध पत्र एडिटिव कॉम्बिनेटरिक्स (विशेष रूप से क्वैसी-पॉलीनोमियल इनवर्स थ्योरम और मात्रात्मक संयोजन प्रमेयों) के बहुत हालिया विकास के एक महत्वपूर्ण अनुप्रयोग का प्रतिनिधित्व करता है। यह गोवर्स नॉर्म्स की गुणात्मक समझ और सीव विधियों के लिए आवश्यक मात्रात्मक सीमाओं के बीच के अंतर को पाटता है।
गैर-मुख्य आदर्शों को संभालना: तर्क $\mathbb{Q}(\sqrt{-n})$ में आदर्शों की भाषा में तैयार किया गया है, जो सामान्य काल्पनिक द्विघाती क्षेत्रों में अद्वितीय गुणनखंडन (unique factorization) की कमी से सफलतापूर्वक निपटता है।

परिणाम
प्राथमिक परिणाम प्रमेय 1.1 में दिया गया अनंत सूत्र है। त्रुटि पद का क्रम $O(N^2 (\log \log N)^2 / \log N)$ है, जो मामूली सीमा (trivial bound) पर $\log N$ की शक्ति का बचत (saving) दर्शाता है। स्थिरांक $\kappa_n$ लेजेंड्रे प्रतीक (Legendre symbols) को शामिल करते हुए अभाजों पर एक उत्पाद के रूप में स्पष्ट रूप से परिभाषित है, जो $p^2 + nq^2$ के अभाज्य होने के स्थानीय अवरोधों को दर्शाता है।

महत्ता और दावे
लेखक इस कार्य को फ्राइडलैंडर और इवानिएक के एक लंबे समय से चले आ रहे अनुमान के सत्यापन और उनके $x^2 + y^2$ के अभाज्य पर पिछले कार्य के एक स्वाभाविक विस्तार के रूप में देखते हैं। शोध पत्र दावा करता है कि मुख्य तकनीकी नवीनता उपरोक्त संयोजन प्रमेयों के माध्यम से टाइप II योगों का उपचार है, जो सीव में आवश्यक बचत की अनुमति देता है।

लेखक नोट करते हैं कि हालांकि तर्क सैद्धांतिक रूप से किसी भी धनात्मक निश्चित द्विघात रूप (positive definite binary quadratic form) के लिए संशोधित किया जा सकता है, लेकिन वे अत्यधिक नोटेशन से बचने के लिए $x^2 + ny^2$ के दायरे तक ही सीमित रहते हैं। वे यह भी रेखांकित करते हैं कि पूर्ण स्तर $X^{1/2}$ पर निरपेक्ष मानों के बिना टाइप I जानकारी प्राप्त करना एक खुला प्रश्न बना हुआ है, हालांकि उनकी वर्तमान सीमा ड्यूक-फ्रीडलैंडर-इवानिएक सीव के लिए पर्याप्त है। यह कार्य सामान्य बहुपद अनुक्रमों में अभा्यों की समस्या को हल करने का दावा नहीं करता है, बल्कि विशेष रूप से अभाज्य के उस "पतले सेट" (thin set) को लक्षित करता है जहाँ दोनों निर्देशांक अभाज्य होते हैं।