🔢 mathematics

Gaps between quadratic forms

यह शोध पत्र यह स्थापित करता है कि किसी भी गैर-शून्य पूर्णांक $a$ के लिए, द्विघात रूप $x^2+xy+y^2$ द्वारा निरूपित पूर्णांकों का वह समुच्चय जिसका $a$ द्वारा विस्थापन दो वर्गों का योग है, लगभग $x^{5/6}$ की लंबाई वाले लघु अंतराल में तत्वों की एक महत्वपूर्ण संख्या रखता है, जिससे द्विघात रूपों के बीच के अंतराल पर शास्त्रीय परिणामों का विस्तार होता है।

मूल लेखक: Siddharth Iyer

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

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

CC BY 4.0

मूल लेखक: Siddharth Iyer

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

कल्पना कीजिए कि आपके पास दो अलग-अलग प्रकार के "गणितीय निर्माण ब्लॉक" (mathematical building blocks) हैं।

ब्लॉक प्रकार A (त्रिकोण सेट): ये वे संख्याएँ हैं जिन्हें आप $x^2 + xy + y^2$ सूत्र का उपयोग करके बना सकते हैं। इन्हें ऐसे समझें जैसे ये संख्याएँ एक विशिष्ट त्रिकोणीय पैटर्न में फिट बैठती हैं।
ब्लॉक प्रकार B (वर्ग सेट): ये वे संख्याएँ हैं जिन्हें दो पूर्ण वर्गों (perfect squares) को जोड़कर बनाया जाता है (जैसे $1^2 + 2^2 = 5$ )।

अब, कल्पना कीजिए कि आपके पास एक जादुई रूलर (पैमाना) है जिसकी लंबाई निश्चित है, जिसे हम $a$ कहेंगे। आप संख्याओं के ऐसे जोड़े खोजना चाहते हैं जहाँ:

पहली संख्या एक ब्लॉक प्रकार A हो।
यदि आप इसमें अपनी जादुई रूलर की लंबाई ( $a$ ) जोड़ते हैं, तो परिणाम एक ब्लॉक प्रकार B हो।

यह कागज़ (पेपर) मूल रूप से एक जनगणना (headcount) है कि ऐसे कितने विशेष जोड़े मौजूद हैं, और विशेष रूप से, वे एक-दूसरे से कितनी दूर हैं।

बड़ा सवाल: अंतराल (Gaps) कितने बड़े हैं?

संख्याओं की दुनिया में, कभी-कभी ये विशेष जोड़े बहुत बार दिखाई देते हैं, और कभी-कभी ऐसे लंबे अंतराल होते हैं जहाँ आपको एक भी नहीं मिलता। लेखक, सिद्धार्थ अय्यर, पूछ रहे हैं: "इन विशेष जोड़ों के बीच अधिकतम दूरी (अंतराल) क्या है?"

यदि आप संख्या रेखा (number line) पर चलते हुए इन जोड़ों को खोज रहे हैं, तो आपको अगला एक खोजने के लिए कितनी दूर तक चलना होगा?

मुख्य खोज

यह पेपर सिद्ध करता है कि आप चाहे कितनी भी बड़ी संख्या से शुरू करें (मान लीजिए $x$ ), आपको अगला जोड़ा खोजने के लिए कभी भी एक "लंबी" दूरी तय करने की आवश्यकता नहीं होगी।

पुराना तरीका: पिछले गणितज्ञों (जैसे एस्टर्मन और हूली) ने अन्य प्रकार के संख्या पैटर्न के लिए समान नियम निकाले थे, लेकिन वे सरल मामलों से निपट रहे थे।
नया परिणाम: अय्यर दिखाते हैं कि इस विशिष्ट "त्रिकोण" और "वर्ग" संख्याओं के मिश्रण के लिए, अंतराल आश्चर्यजनक रूप से छोटा है।
- यदि आप एक विशाल संख्या $x$ पर हैं, तो अगला वैध जोड़ा गारंटी के साथ लगभग $x^{5/6}$ (जो $x$ के वर्गमूल से थोड़ा कम है, लेकिन फिर भी एक महत्वपूर्ण हिस्सा है) की दूरी के भीतर दिखाई देगा, जिसमें थोड़ा सा "शोर" (लॉगारिदमिक कारक) भी शामिल है।
- उपमा: कल्पना कीजिए कि आप एक जंगल में दुर्लभ फूलों की तलाश में घूम रहे हैं। पुराने नियमों ने कहा था, "आपको अगले एक को खोजने के लिए एक मील चलना पड़ सकता है।" अय्यर का नया नियम कहता है, "वास्तव में, आप एक महाद्वीप के आकार के जंगल में भी कुछ सौ कदमों के भीतर एक फूल निश्चित रूप से पा लेंगे।"

उन्होंने यह कैसे किया? (टूलकिट)

इसे सिद्ध करने के लिए, लेखक ने केवल एक-एक करके संख्याओं को नहीं गिना (जिसमें अनंत समय लग जाता), बल्कि उन्होंने तीन मुख्य उपकरणों से बने एक परिष्कृत "गणितीय टेलीस्कोप" का उपयोग किया:

एरिथमेटिक टेलीस्कोप (टोलेव का प्रमेय): यह उन संख्याओं को देखने में मदद करता है जो एक विशिष्ट लय (arithmetic progressions) का पालन करती हैं। यह ऐसा है जैसे यह जानना कि हर 7वीं संख्या का एक विशेष गुण है।
मल्टीप्लिकेटिव लेंस (ब्लोमर, ब्रूडर्न और डाइटमैन): यह विश्लेषण करता है कि संख्याएँ कैसे व्यवहार करती हैं जब उन्हें गुणा किया जाता है। यह संख्याओं के सेट के "व्यक्तित्व" को समझने में मदद करता है।
कैरेक्टर फ़िल्टर: लेखक "अच्छी" संख्याओं को "बुरी" संख्याओं से अलग करने के लिए विशेष गणितीय फिल्टर (जिन्हें कैरेक्टर्स कहा जाता है) का उपयोग करते हैं, जिससे गणना सटीक बनी रहे।

"विशेष मामला" ( $a$ का कारक)

पेपर उस विशेष परिदृश्य को भी देखता है जहाँ जादुई रूलर की लंबाई ( $a$ ) एक बहुत ही विशेष प्रकार की संख्या है (एक ऐसी संख्या जिसे $n^2 - 3m^2$ के रूप में लिखा जा सकता है)।

यदि $a$ विशेष है: तो अंतराल और भी छोटा है (लगभग $x$ का वर्गमूल)।
यदि $a$ विशेष नहीं है: तो अंतराल थोड़ा बड़ा है (लगभग $x^{5/8}$ ), लेकिन फिर भी $x$ की तुलना में बहुत छोटा है।

यह क्यों मायने रखता है?

यह पेपर यह दावा नहीं करता कि यह बीमारियों का इलाज करता है या पुल बनाता है। इसका मूल्य विशुद्ध रूप से गणितीय परिदृश्य में है।

यह गणितज्ञ एस्टर्मन द्वारा 1932 के एक क्लासिक परिणाम का विस्तार करता है।
यह पुष्टि करता है कि ये दो अलग-अलग "आकार" की संख्याएँ (त्रिकोणीय और वर्ग-आधारित) एक-दूसरे के साथ बहुत ही अनुमानित और घनी तरह से परस्पर क्रिया करती हैं। वे शून्य में गायब नहीं होती हैं; वे हमेशा पास ही होती हैं।

संक्षेप में सारांश

संख्या रेखा को एक लंबे हाईवे के रूप में सोचें।

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

यह पेपर संख्याओं के छिपे हुए क्रम और घनत्व को समझने की एक जीत है, जो यह सिद्ध करता है कि पूर्णांकों (integers) के इस विशाल, अनंत महासागर में भी, ये विशिष्ट पैटर्न कभी वास्तव में खोते नहीं हैं।

सिद्धार्थ अय्यर द्वारा "Gaps Between Quadratic Forms" का तकनीकी सारांश

समस्या विवरण
यह शोध पत्र विशिष्ट द्विघात रूपों (quadratic forms) द्वारा निरूपित पूर्णांकों के लघु अंतरालों (short intervals) में वितरण की जांच करता है। विशेष रूप से, यह उन पूर्णांकों के बीच के अंतराल को सीमित करने की समस्या को संबोधित करता है जहाँ $n$ एक द्विघात रूप $x^2 + xy + y^2$ (जिसे $\triangle$ द्वारा दर्शाया गया है) द्वारा निरूपित है और $n+a$ दो वर्गों के योग (जिसे $\mathbb{O}^2$ द्वारा दर्शाया गया है) के रूप में निरूपित है, जहाँ $a$ एक निश्चित गैर-शून्य पूर्णांक है। रुचि का सेट $S(\triangle, \mathbb{O}^2, a) = \{n : n \in \triangle, n+a \in \mathbb{O}^2\}$ के रूप में परिभाषित है।

यह कार्य द्विघात रूपों के निरूपणों के सहसंबंध (correlation) से संबंधित शास्त्रीय परिणामों पर आधारित है। यह निरूपण फलनों $r_2(n)r_2(n+a)$ के गुणनफल के योग के लिए एस्टर्मन (Estermann, 1932) के अनंत रूप (asymptotic formula) और त्रुटि पदों (error terms) तथा अंतरालों में ऐसे पूर्णांकों के घनत्व के संबंध में हूली (Hooley), चमिज़ो (Chamizo) और मुलर (Müller) द्वारा किए गए आगामी सुधारों का संदर्भ देता है। जबकि लेम्मा 1.2 यह स्थापित करता है कि $S(\mathbb{O}^2, \mathbb{O}^2, a)$ के तत्वों के बीच के अंतराल $O(x^{1/2})$ द्वारा सीमित हैं, यह शोध पत्र मिश्रित मामले $S(\triangle, \mathbb{O}^2, a)$ के लिए समान, हालांकि कमजोर, सीमाएं स्थापित करने का प्रयास करता है।

कार्यप्रणाली
लेखक विश्लेषणात्मक संख्या सिद्धांत (analytic number theory) की तकनीकों का उपयोग करता है, जो मल्टीप्लिकेटिव फलनों (multiplicative functions) और कैरेक्टर समाhets (character sums) के शामिल होने वाले अनंत मूल्यांकन पर ध्यान केंद्रित करता है।

निरूपण फलन और कैरेक्टर्स (Representation Functions and Characters):
शोध पत्र इस तथ्य का उपयोग करता है कि $x^2+xy+y^2$ के लिए निरूपणों की संख्या $R_2(n)$ और दो वर्गों के योग के लिए $r_2(n)$ को डिरिचलेट कैरेक्टर्स (Dirichlet characters) के माध्यम से व्यक्त किया जा सकता है। विशेष रूप से, $R_2(n) = 6 \sum_{d|n} \chi_3(d)$ और $r_2(n) = 4 \sum_{d|n} \chi_4(d)$ है, जहाँ $\chi_3$ और $\chi_4$ क्रमशः 3 और 4 के मॉड्यूल में गैर-तुच्छ (non-trivial) कैरेक्टर्स हैं।
टोलेव के प्रमेय का अनुकूलन (Adaptation of Tolev's Theorem):
एक केंद्रीय उपकरण टोलेव (Tolev, 2012) का एक प्रमेय है जो अंकगणितीय प्रगति में दो वर्गों के योगों से संबंधित है। लेखक इसे $F_{\chi_3}(n)$ और $F_{\chi_4}(n+a)$ के बीच सहसंबंध को संभालने के लिए अनुकूलित करता है। हालाँकि, मल्टीप्लिकेटिव फलनों पर मुलर (Müller, 1989) के प्रमेय का सीधा अनुप्रयोग अपर्याप्त है क्योंकि $\chi_3$ और $\chi_4$ को एक सामान्य $k$ (विशेष रूप से जहाँ $12|k$ ) के मॉड्यूल में एक प्रिमिटिव कैरेक्टर (primitive character) के रूप में एक साथ लिफ्ट नहीं किया जा सकता है बिना प्रिमिटिविटी खोए।
मल्टीप्लिकेटिव फलनों का विश्लेषण (Analysis of Multiplicative Functions):
गैर-प्रिमिटिव कैरेक्टर्स की सीमा को दूर करने के लिए, शोध पत्र एक नया दृष्टिकोण पेश करता है जिसमें एक फलन $\eta_a(q)$ शामिल है, जो $\alpha^2 + \beta^2 \equiv a \pmod q$ के समाधानों की गणना करता है। प्रमाण का मुख्य भाग (प्रमेय 1.6) निम्नलिखित योग के विश्लेषण में निहित है:
$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a)$
जहाँ $\psi$ एक सम पूर्णांक $b \ge 4$ के मॉड्यूल में एक वास्तविक गैर-तुच्छ कैरेक्टर है। लेखक स्थिरांक फलन 1 के साथ $\psi$ के कॉनवोल्यूशन (convolution) द्वारा $F_\psi$ के गुणों का उपयोग करके इस योग का विखंडन करता है।
$\eta_a(d)$ का व्यवहार (Behavior of $\eta_a(d)$ ):
तकनीकी कार्य का एक महत्वपूर्ण हिस्सा $\lambda_a(d) = \eta_a(d)/d$ के फलन के व्यवहार के विश्लेषण के लिए समर्पित है (अनुभाग 3.1)। लेखक $d$ के अभाज्य गुणनखंड और $a$ के साथ उसके संबंध के आधार पर $\lambda_a(d)$ के लिए सीमाएं और अनंत गुण स्थापित करता है, जिसमें $p \equiv 1, 3 \pmod 4$ वाले अभाजों से संबंधित लेम्मा का उपयोग किया गया है। यह विश्लेषण यह सिद्ध करने के लिए महत्वपूर्ण है कि मुख्य पद गुणांक $\beta(\psi, a)$ पूर्णतः धनात्मक है।
पैरामेट्रिक परिवारों के माध्यम से अंतराल विश्लेषण (Gap Analysis via Parametric Families):
अंतराल परिणाम (प्रमेय 1.7) के लिए, शोध पत्र समीकरण $c^2 + 3d^2 + a = u^2 + v^2$ के समाधानों के एक पैरामेट्रिक परिवार का निर्माण करता है। इस परिवार से प्राप्त चतुर्थ घात बहुपद (quartic polynomial) के मानों के बीच के अंतराल का विश्लेषण करके, लेखक $S(\triangle, \mathbb{O}^2, a)$ के तत्वों के बीच के अंतराल पर सीमाएं प्राप्त करता है।

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

प्रमेय 1.6 (अनंत सूत्र - Asymptotic Formula): शोध पत्र सह-संबंध की शर्तों के प्रति प्रतिबंधित निरूपण फलनों के उत्पादों के योग के लिए एक अनंत सूत्र सिद्ध करता है। यह स्थापित करता है कि एक वास्तविक गैर-तुच्छ कैरेक्टर $\psi$ के लिए, जो सम $b \ge 4$ के मॉड्यूल में है:
$\sum_{\substack{n \le x \\ (n,b)=1}} F_{\psi}(n) F_{\chi_4}(n+a) = \beta(\psi, a) \eta^*(\psi, a) x + O(x^{5/6} \log^{19} x)$
महत्वपूर्ण रूप से, लेखक सिद्ध करता है कि अग्रणी गुणांक $\beta(\psi, a)$ पूर्णतः धनात्मक है, जो निर्दिष्ट सीमा में ऐसे पूर्णांकों के अस्तित्व को सुनिश्चित करता है।
उपप्रमेय 1.3 (लघु अंतराल जनगणना - Short Interval Census): $\psi = \chi_6$ के साथ प्रमेय 1.6 को लागू करते हुए, शोध पत्र प्रदर्शित करता है कि किसी भी $\epsilon > 0$ के लिए, एक स्थिरांक $H_a > 0$ मौजूद है ताकि पर्याप्त बड़े $x$ के लिए:
$\# S(\triangle, \mathbb{O}^2, a) \cap [x, x + H_a x^{5/6} \log^{19} x] \ge x^{5/6 - \epsilon}$
यह पुष्टि करता है कि सेट $S(\triangle, \mathbb{O}^2, a)$ इतना घना है कि $x^{5/6}$ से थोड़े बड़े अंतराल में तत्वों की गारंटी दी जा सके।
प्रमेय 1.7 (अंतराल सीमा - Gap Bound): शोध पत्र $S(\triangle, \mathbb{O}^2, a)$ के तत्वों के बीच के सबसे बड़े अंतरालों पर एक सीमा प्रदान करता है। यह दिखाता है कि $x \ge 1$ के लिए, अंतराल $[x, x + D_a x^{\Upsilon(a)}]$ में सेट का एक तत्व मौजूद है, जहाँ घातांक $\Upsilon(a)$ है:
- $1/2$ यदि $a$ को पूर्णांकों $n, m$ के लिए $n^2 - 3m^2$ के रूप में निरूपित किया जा सकता है।
- $5/8$ अन्यथा।
  इस परिणाम को $S(\mathbb{O}^2, \mathbb{O}^2, a)$ के लिए ज्ञात $x^{1/2}$ सीमा की तुलना में एक "कमजोर अंतराल परिणाम" के रूप में वर्णित किया गया है।

महत्व और दावे
शोध पत्र एस्टर्मन (1932) के शास्त्रीय कार्य और मुलर (1989) के बाद के सुधारों को मिश्रित द्विघात रूपों के संदर्भ में विस्तारित करने का दावा करता है। टोलेव के प्रमेय का उपयोग करके और मल्टीप्लिकेटिव फलन $\eta_a(d)$ के विस्तृत विश्लेषण के माध्यम से, लेखक सफलतापूर्वक एक ऐसा अनंत सूत्र प्राप्त करता है जहाँ पिछले तरीके (जो प्रिमिटिव कैरेक्टर्स पर निर्भर थे) विफल रहे थे।

इसका महत्व मिश्रित द्विघात निरूपण स्थितियों को लघु अंतरालों में संतुष्ट करने वाले पूर्णांकों के अस्तित्व को स्थापित करने में निहित है, जिससे यह सिद्ध होता है कि अंतराल मनमाने रूप से बड़े नहीं हैं। लेखक विनम्रतापूर्वक नोट करता है कि यद्यपि प्रमेय 1.7 का सामान्यीकरण संभव है, लेकिन यहाँ उस पर काम नहीं किया गया है। इसके अतिरिक्त, लेखक आभार (Acknowledgments) में स्वीकार करता है कि यदि स्पेक्ट्रल थ्योरी (spectral theory) का उपयोग करने वाला भविष्य का कार्य विशिष्ट द्विघात रूपों के बीच के परस्पर प्रभाव को बेहतर ढंग से समझ पाता है, तो इस शोध पत्र का मुख्य परिणाम अप्रचलित हो सकता है, जो यह दर्शाता है कि वर्तमान परिणाम एक अंतिम समाधान के बजाय एक मील का पत्थर है। यह कार्य द्विघात संख्या क्षेत्रों (quadratic number fields) में आदर्शों के नॉर्म्स (norms of ideals) के व्यापक अध्ययन से भी जुड़ा है, जो सुझाव देता है कि समान परिणाम सेट $S(\mathfrak{a}_K, \mathbb{O}^2, a)$ के लिए प्राप्त किए जा सकते है जहाँ $\mathfrak{a}_K$ द्विघात क्षेत्र $K$ में आदर्शों के नॉर्म्स का प्रतिनिधित्व करता है।