🔢 mathematics

Cubic Polynomials and Sums of Two Squares

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

मूल लेखक: Siddharth Iyer

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

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

CC BY 4.0

मूल लेखक: Siddharth Iyer

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

यहाँ सिद्धार्थ अय्यर के शोध पत्र, "क्यूबिक पॉलिनोमियल और दो वर्गों का योग" (Cubic Polynomials and Sums of Two Squares) का सरल भाषा और रचनात्मक उपमाओं के साथ अनुवाद दिया गया है।

मुख्य विचार: "जादुई रेसिपी" की खोज

कल्पना कीजिए कि आपके पास एक जादुई रेसिपी बुक है। प्रत्येक रेसिपी एक विशिष्ट गणितीय सूत्र है जिसे क्यूबिक पॉलिनोमियल कहा जाता है। यदि आप इस रेसिपी में एक पूर्ण संख्या (जैसे 1, 2, 3, या -5) डालते हैं, तो यह एक परिणाम देती है।

यह शोध पत्र यह सवाल पूछता है: यह रेसिपी कितनी बार एक ऐसा नंबर पैदा करती है जिसे दो पूर्ण वर्गों (perfect squares) को जोड़कर बनाया जा सकता है?

गणित के शब्दों में, एक संख्या "दो वर्गों का योग" (sum of two squares) तब होती है जब वह $A^2 + B^2$ के रूप में दिखती है (उदाहरण के लिए, $5 = 1^2 + 2^2$ , या $13 = 2^2 + 3^2$ )। कुछ संख्याएँ, जैसे 3 या 7, इस तरह से नहीं बनाई जा सकतीं।

लेखक, सिद्धार्थ अय्यर, यह सिद्ध करने की कोशिश कर रहे हैं कि इन जादुई रेसिपीओं के कुछ विशेष प्रकारों के लिए, "दो वर्गों का योग" वाले नंबर इतने बार आते हैं कि उन्हें अनंत (infinite) माना जा सके। वे केवल यह नहीं कहते कि "ऐसे अनंत संख्याएँ हैं"; बल्कि वे एक विशिष्ट अनुमान भी देते हैं कि यदि आप एक निश्चित आकार तक के सभी नंबरों को देखें, तो आपको कितने मिल सकते हैं।

मुख्य पात्र

पॉलिनोमियल ( $P(x)$ ): इसे एक मशीन के रूप में सोचें। आप इसमें एक संख्या $n$ डालते हैं, और यह $n^3 + \text{कुछ अन्य चीजें}$ आउटपुट देती है। यह शोध पत्र उन मशीनों पर केंद्रित है जहाँ आउटपुट एक "अविभाज्य" (irreducible) क्यूबिक होता है (अर्थात, मशीन का फॉर्मूला सरल या छोटे मशीनों में नहीं तोड़ा जा सकता)।
लक्ष्य (The Target): हम चाहते हैं कि मशीन का आउटपुट एक "दो वर्गों का योग" हो।
समस्या: यह अनुमान लगाना कठिन है कि मशीन कब "दो वर्गों का योग" वाला नंबर देगी। कभी वे मिलते हैं, कभी नहीं।

लेखक की रणनीति: एक "पुल" बनाना

लेखक को एहसास होता है कि एक-एक करके हर संख्या की जाँच करना असंभव है। इसके बजाय, वह एक अलग, आसानी से समझ में आने वाली दुनिया की ओर एक पुल बनाते हैं।

पुरानी दुनिया (पूर्णांक/Integers): यह वह जगह है जहाँ हम $1, 2, 3... $गिनते हैं और देखते हैं कि क्या$ P(n)$ दो वर्गों का योग है।
नई दुनिया (जटिल संख्याएँ और इकाइयाँ/Complex Numbers & Units): लेखक एक विशेष गणितीय परिदृश्य बनाते हैं जिसमें "जटिल संख्याएँ" (वास्तविक भाग और काल्पनिक भाग वाली संख्याएँ, जैसे $3 + 4i$ ) शामिल हैं। इस परिदृश्य में, विशेष संख्याएँ होती हैं जिन्हें इकाइयाँ (units) कहा जाता है।

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

इन "चमकदार दर्पणों" (इकाइयों) का अध्ययन करके, वे यह सिद्ध कर सकते हैं कि अंधेरी गुफा में बहुत सारे सोने के सिक्के होने ही चाहिए।

"दो-आयामी इकाई" तर्क (The "Two-Dimensional Unit" Argument)

इस प्रमाण का मूल आधार इकाइयों (Units) की अवधारणा पर निर्भर है। उज्ज्वल कमरे में, ये इकाइयाँ घड़ी के गियर की तरह काम करती हैं।

कुछ गियर इस तरह घूमते हैं कि वे चीजों के आकार को बदलते हैं (बड़ा या छोटा करते हैं)।
अन्य गियर इस तरह घूमते हैं कि वे आकार को बिल्कुल वैसा ही रखते हैं (जैसे एक वृत्त)।

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

वह दिखाते हैं कि ये उत्पन्न संख्याएँ इतनी "विरल" (sparse) हैं कि वे बहुत अधिक ओवरलैप नहीं करती हैं, लेकिन इतनी "सघन" (dense) भी हैं कि वे संख्या रेखा के एक महत्वपूर्ण हिस्से को कवर करती हैं।

परिणाम: उन्होंने क्या पाया?

यह शोध पत्र एक विशिष्ट निचली सीमा (lower bound) सिद्ध करता है। यदि आप एक पॉलिनोमियल लेते जो कुछ नियमों (जैसे विशिष्ट सम/विषम गुणांक) में फिट बैठता है, और आप $X$ तक की एक बहुत बड़ी संख्या तक देखते हैं:

परिणाम: वह संख्या कितनी बार पॉलिनोमियल "दो वर्गों का योग" पैदा करता है, लगभग $X^{1/3}$ है।
इसका अर्थ क्या है: यदि आप पहले 1,000,000 नंबरों ( $10^6$ ) को देखते हैं, तो फॉर्मूला भविष्यवाणी करता है कि आपको लगभग $(10^6)^{1/3} = 100$ समाधान मिलेंगे। यदि आप पहले 1 अरब ( $10^9$ ) नंबरों को देखते हैं, तो आपको लगभग 1,000 समाधान मिलेंगे।

यह एक अन्य गणितज्ञ (ग्रेशुक) द्वारा पूछे गए प्रश्न का उत्तर देता है, जिन्होंने पूछा था: "क्या ऐसे अनंत नंबर हैं जहाँ $n^3 - 2$ दो वर्गों का योग है?"
उत्तर: हाँ, और यहाँ बताया गया है कि आप कितने समाधानों की उम्मीद कर सकते हैं।

"जादुई प्रतिस्थापन" (The "Magic Substitution" - Polynomial Trick)

यह शोध पत्र कुछ और भी दिलचस्प दिखाता है: आप वास्तव में एक नया, जटिल पॉलिनोमियल फॉर्मूला (मान लीजिए $R(t)$ ) लिख सकते हैं जिससे यदि आप इसमें कोई भी पूर्णांक $t$ डालते हैं, तो परिणाम $R(t)^3 - 2$ गारंटी के साथ दो वर्गों का योग होगा।

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

सीमाएँ और मर्यादाएँ

लेखक सावधानी से बताते हैं कि उनका पुल कहाँ तक नहीं पहुँच पाता:

तीन वास्तविक मूल (Three Real Roots): पुल तभी काम करता है जब पॉलिनोमियल में एक वास्तविक मूल और दो "काल्पनिक" मूल हों। यदि पॉलिनोमियल में तीन वास्तविक मूल हैं, तो पुल ढह जाता है।
अन्य आकार: यह शोध पत्र "दो वर्गों के योग" ( $x^2 + y^2$ ) पर केंद्रित है। यह अन्य आकारों जैसे $x^2 + 3y^2$ के लिए पूरी तरह से हल नहीं करता है, हालांकि लेखक सुझाव देते हैं कि इस पद्धति को अनुकूलित किया जा सकता है।
इष्टतमता (Optimality): लेखक स्वीकार करते हैं कि कुछ विशिष्ट पॉलिनोमियल्स के लिए, आपको उनके फॉर्मूले द्वारा भविष्यवाणी किए गए समाधानों से और भी अधिक समाधान मिल सकते (जैसे $X^{1/2}$ तक), लेकिन सामान्य मामले के लिए, $X^{1/3}$ एक सुरक्षित, सिद्ध निचली सीमा है।

सारांश

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

तकनीकी सारांश: त्रिघातीय बहुपद और दो वर्गों का योग

समस्या विवरण
यह शोध पत्र एक अपरिमेय एकिक त्रिघातीय बहुपद (irreducible monic cubic polynomial) $p(x) \in \mathbb{Z}[x]$ के उन मानों की आवृत्ति को संबोधित करता है जिनका विवेचक (discriminant) ऋणात्मक है और जो दो वर्गों के योग के रूप में व्यक्त किए जा सकते हैं। विशेष रूप से, यदि $B_p(X)$ उन पूर्णांकों $n \le X$ का समुच्चय है जहाँ $p(n)$ दो वर्गों का योग है, तो केंद्रीय प्रश्न—जो $p(x) = x^3 - 2$ के लिए ऐसे मानों की अनंतता के संबंध में ग्रेचुक (2021) के एक प्रश्न से प्रेरित है— $|B_p(X)|$ के लिए एक मात्रात्मक निचला आलेख (quantitative lower bound) स्थापित करना है। यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि क्या ऐसे पूर्णांक अनंत हैं और, यदि हाँ, तो उनके घनत्व (density) के लिए एक स्पर्शोन्मुख अनुमान (asymptotic estimate) प्रदान करना है।

कार्यप्रणाली
प्रमाण की रणनीति छह घात वाले पूर्णांक-मान वाले बहुपदों $R(t)$ के एक "पर्याप्त सघन" परिवार के निर्माण पर आधारित है, ताकि प्रत्येक पूर्णांक $t$ के लिए $p(R(t))$ दो वर्गों का योग हो। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

बीजीय पुनर्गठन (Algebraic Reformulation): समस्या को रिंग ऑफ इंटीजर्स $\mathbb{Z}[\theta]$ में अनुवादित किया जाता है, जहाँ $\theta$ , $p(x)$ का एक मूल (root) है। $p(n) \in \mathbb{Z}^2$ (दो वर्गों का योग) की स्थिति $\mathbb{Z}[\theta]$ में उन तत्वों के अस्तित्व से जुड़ी है जिनका 'नॉर्म-जैसी संरचना' (norm-like structure) वर्गों के योग से संबंधित है। विशेष रूप से, शोध पत्र इस बात की जांच करता है कि कब $q(n - \theta)$ , जहाँ $q \in \mathbb{Z}^2 \setminus \{0\}$ , $\mathbb{Z}[\theta]$ में दो वर्गों का योग होता है।
घात-छह क्षेत्रों में यूनिट तर्क (Unit Arguments in Degree-Six Fields): विश्लेषण का एक महत्वपूर्ण घटक घात-छह वाले संख्या क्षेत्र $K = \mathbb{Q}(\theta, i)$ की अंकगणित है। चूंकि $p(x)$ का एक वास्तविक मूल और दो सम्मिश्र संयुग्मी मूल हैं, इसलिए $K$ एक CM-क्षेत्र है। डिरिचलेट की यूनिट प्रमेय (Dirichlet's Unit Theorem) के अनुसार, $\mathcal{O}_K$ के यूनिट समूह की रैंक 2 है। प्रमाण एक द्वि-आयामी यूनिट तर्क का उपयोग करता है, जो यूनिट्स को टोरशन तत्वों के एक परिमित सेट और दो मौलिक यूनिट्स की घातों में विभाजित करता है: एक जिसका सम्मिश्र मापांक (complex modulus) $\neq 1$ है और दूसरा जिसका मापांक $1$ है।
लैटिस बिंदुओं की गणना (Counting Lattice Points): लेखक $R_{\theta, q}(Y_1, Y_2)$ नामक सेट परिभाषित करते हैं जो $\mathbb{Z}[\theta]$ के उन तत्वों के युग्मों का प्रतिनिधित्व करते हैं जिनके गुणांकों के परिबद्ध (bounded) होने पर उनके वर्गों का योग $q(n-\theta)$ होता है। प्रमाण का मुख्य भाग $p(x)$ के गुणांकों पर विशिष्ट पैरिटी (parity) स्थितियों के तहत इन सेट्स की कार्डिनैलिटी के लिए निचली सीमा स्थापित करने में निहित है।
पैरिटी स्थितियाँ (Parity Conditions): विश्लेषण को $p(x) = x^3 + a_2x^2 + a_1x + a_0$ $p (x) = x^{3} + a_{2} x^{2} + a_{1} x + a_{0}$ के गुणांकों के आधार पर दो मामलों में विभाजित किया गया है:
- केस 1: $a_2^2 - a_1$ सम (even) है, और $a_1a_2 - a_0$ विषम (odd) है।
- केस 2: $a_0 \equiv 2 \pmod 4$ , और $a_1, a_2 \equiv 0 \pmod 4$ है।

प्रमुख योगदान और परिणाम
यह शोध पत्र अपना मुख्य प्रमेय स्थापित करता है:

प्रमेय 1.1: यदि $p(x) = x^3 + a_2x^2 + a_1x + a_0$ एक अपरिमेय त्रिघातीय बहुपद है जो उपरोक्त केस 1 या केस 2 को संतुष्ट करता है, और इसमें एक वास्तविक और दो सम्मिश्र मूल हैं, तो:
$|B_p(X)| \gg X^{1/3 - o(1)}$
यह परिणाम ग्रेचुक के प्रश्न का एक मात्रात्मक उत्तर प्रदान करता है, यह पुष्टि करते हुए कि $p(x) = x^3 - 2$ के लिए (जो केस 2 को संतुष्ट करता है), $n \le X$ ऐसे पूर्णांकों की संख्या कि $n^3 - 2$ दो वर्गों का योग है, कम से कम $X^{1/3 - o(1)}$ है।

इसके अतिरिक्त, शोध पत्र स्पष्ट बहुपद प्रतिस्थापन $R(t), S_1(t), S_2(t)$ प्रदान करता है जो यह प्रदर्शित करते हैं कि $R(t)^3 - 2 = S_1(t)^2 + S_2(t)^2$ सर्वथा सत्य (identically true) है। ये बहुपद लेम्मा 1.6 के प्रमाण में वर्णित सिस्टम $T$ का उपयोग करके प्राप्त किए गए थे।

महत्व और सीमाएँ
शोध पत्र दावा करता है कि इसका महत्व त्रिघातीय बहुपदों और दो वर्गों के योग से संबंधित डायोफेंटाइन समीकरणों के एक वर्ग के लिए मात्रात्मक निचला आलेख प्रदान करने में है, जो कि पहले ऐसे अनुमानों से रहित था। यह परिणाम फ्राइडलैंडर और इवानिएक के द्विघातीय बहुपदों संबंधी कार्य पर आधारित है, लेकिन यह जटिलता को त्रिघातीय मामले तक बढ़ा देता है, जहाँ संबद्ध चैटलेट सतह (Châtelet surface) की ज्यामिति अधिक जटिल है।

लेखक कई सीमाओं और विनम्र दावों को नोट करते हैं:

इष्टतमता (Optimality): $X^{1/3 - o(1)}$ का आलेख हमेशा इष्टतम नहीं होता है। यदि कोई बहुपद प्रतिस्थापन ऐसा मौजूद है कि $p(q_0(x)) = q_1(x)^2 + q_2(x)^2$ एक द्विघातीय $q_0$ के लिए, तो गणना $X^{1/2}$ होगी। लेखकों ने विशिष्ट मामलों (जैसे, $x^3 + 17$ ) के लिए ऐसे प्रतिस्थापन खोजे हैं, लेकिन वे किसी भी अनिरुद्ध (arbitrary) एकिक मोनिक त्रिघात के लिए इन्हें नहीं खोज सके, जिससे सामान्य मामला खुला रह गया है।
क्षेत्र (Scope): तर्क ऋणात्मक विवेचक वाले अपरिमेय एकिक त्रिघातीय बहुपदों (एक वास्तविक, दो सम्मिश्र मूल) के लिए विशिष्ट हैं। शोध पत्र स्पष्ट रूप से कहता है कि इन तर्कों को तीन भिन्न वास्तविक मूलों वाले बहुपदों में सीधे तौर पर सामान्यीकृत नहीं किया जा सकता है।
सामान्यीकरण (Generalization): निचले आलेख के तर्क ऋणात्मक विवेतक वाले अन्य द्विघातीय रूपों $x^2 + ny^2$ के लिए सामान्य होने की अपेक्षा रखते हैं, लेकिन जब $n$ ऋणात्मक होता है, तो सिद्धांत संबंधित रिंगों में यूनिट्स के घनत्व के बारे में अपर्याप्त जानकारी के कारण विफल हो जाता है।
व्याप्ति (Coverage): वर्तमान परिणाम ऋणात्मक विवेतक वाले त्रिघात एकिक मोनिक बहुपदों के लगभग 26.5625% को कवर करते हैं (वे जो विशिष्ट पैरिटी शर्तों को पूरा करते हैं)। लेखक सुझाव देते हैं कि सभी मामलों को कवर करने के लिए $R_{\theta, 2^t}$ से संबंधित अधिक जटिल पैरिटी तर्कों की आवश्यकता होगी, जिनका इस कार्य में पीछा नहीं किया गया है।

शोध पत्र प्रश्न 1.2 को प्रस्तुत करते हुए समाप्त होता है: क्या किसी भी अपरिमेय एकिक त्रिघातीय बहुपद के लिए, एक पूर्णांक-मान वाला द्विघातीय बहुपद $q_0$ और परिमेय बहुपद $q_1, q_2$ मौजूद हैं ताकि $p(q_0(x)) = q_1(x)^2 + q_2(x)^2$ हो?