🔢 mathematics

On Heights and Diameters of Ternary Cyclotomic and Inclusion-Exclusion Polynomials

यह शोध पत्र यह सिद्ध करता है कि प्रत्येक प्राकृतिक संख्या किसी न किसी तृतीयक साइक्लोटोमिक बहुपद (ternary cyclotomic polynomial) की ऊँचाई के रूप में आती है, यह प्रदर्शित करते हुए कि किसी भी विषम अभाज्य संख्या $p$ और वैध पूर्णांक $h$ के लिए, ऐसे अनिश्चित रूप से बड़े अभाज्य $q$ और $r$ विद्यमान हैं जिनके लिए $\Phi_{pqr}$ की ऊँचाई ठीक $h$ है, और साथ ही इसके व्यास (diameter) के विशिष्ट मान भी प्रदान करता है।

मूल लेखक: Gennady Bachman

प्रकाशित 2026-02-10

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

CC BY 4.0

मूल लेखक: Gennady Bachman

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

बहुपदों का गुप्त जीवन: ऊँचाई और व्यास का एक मार्गदर्शक

कल्पना कीजिए कि आप एक वास्तुकार हैं जिसे केवल विशिष्ट, पहले से कटे हुए ब्लॉकों का उपयोग करके एक गगनचुंबी इमारत बनाने का कार्य सौंपा गया है। ये ब्लॉक गणितीय वस्तुएं हैं जिन्हें साइक्लोटोमिक बहुपद (Cyclotomic Polynomials) कहा जाता है।

गणित की दुनिया में, ये बहुपद ब्लूप्रिंट (खाके) की तरह हैं। जब आप इनका विस्तार करते हैं, तो ये संख्याओं की एक लंबी श्रृंखला से बने होते हैं जिसे गुणांक (coefficients) कहा जाता है। उदाहरण के लिए, एक बहुपद ऐसा दिख सकता है:
$1x^5 - 2x^4 + 3x^3 + 0x^2 - 1x + 1$

$x$ के सामने आने वाली संख्याएँ (जैसे $1, -2, 3, 0, -1, 1$) वे "निर्माण खंड" (building blocks) हैं। यह शोध पत्र अनिवार्य रूप से इन संख्याओं के चरम (extremes) का अध्ययन है।

1. दो मुख्य माप: ऊँचाई और व्यास

लेखक, गेनेडी बाचमैन (Gennady Bachman), इन "ब्लूप्रिंट्स" को मापने के दो विशिष्ट तरीकों पर ध्यान केंद्रित करते हैं:

ऊँचाई ( $A(n)$ ): पर्वत का शिखर
कल्पना कीजिए कि गुणांक एक पर्वत श्रृंखला की ऊंचाई की तरह हैं। कुछ संख्याएँ धनात्मक (शिखर) हैं, और कुछ ऋणात्मक (घाटियाँ) हैं। ऊँचाई (Height) केवल उच्चतम शिखर या सबसे गहरी घाटी है। यदि आपके गुणांक $\{1, -5, 3\}$ हैं, तो आपकी ऊँचाई $5$ है।

बड़ा प्रश्न: क्या हम किसी भी ऊँचाई का पर्वत बना सकते हैं? यदि मैं ठीक 100 इकाई ऊँचा पर्वत माँगता हूँ, तो क्या कोई ऐसा बहुपद है जो इसमें फिट बैठता है?

व्यास ( $D(n)$ ): कुल ऊर्ध्वाधर विस्तार
यदि ऊँचाई बताती है कि आप समुद्र तल से कितनी दूर जाते हैं, तो व्यास (Diameter) सबसे गहरी घाटी के बिल्कुल निचले हिस्से से लेकर उच्चतम शिखर के बिल्कुल ऊपरी हिस्से तक की कुल दूरी बताता है। यदि आपका निम्नतम बिंदु $-5 $है और उच्चतम बिंदु$ 3 $है, तो व्यास$ 8$ है।

2. "टर्नरी" टीम: तीन का नियम

यह शोध पत्र टर्नरी (Ternary) बहुपदों पर केंद्रित है। गणित में, "टर्नary" का अर्थ है कि हम इन ब्लूप्रिंट्स का निर्माण ठीक तीन अभाज्य संख्याओं (जैसे $3, 5, $और$ 7$) का उपयोग करके कर रहे हैं।

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

3. लेखक ने क्या खोजा?

इस शोध पत्र से पहले, गणितज्ञों को पता था कि कुछ ऊँचाइयाँ संभव थीं, लेकिन वे अनिश्चित थे कि क्या प्रत्येक ऊँचाई संभव है। यह ऐसा था जैसे आप जानते हों कि आप 1-मंजिला घर या 10-मंजिला इमारत बना सकते हैं, लेकिन यह नहीं जानते कि क्या 5-मंजिला इमारत बनाना गणितीय रूप से "अनुमत" है।

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

उन्होंने अनिवार्य रूप से एक "रेसिपी बुक" (व्यंजन पुस्तिका) प्रदान की। उन्होंने दिखाया कि यदि आप $h$ ऊँचाई चाहते हैं, तो आप अपने माध्यमिक और तृतीयक ट्यूनिंग फोर्क्स के रूप में विशिष्ट बड़ी अभाज्य संख्याएँ $q$ और $r$ चुन सकते हैं, और परिणामी "पर्वत श्रृंखला" हर बार उसी सटीक ऊँचाई तक पहुँचेगी।

व्यास की खोज:
उन्होंने यह भी पाया कि "ऊर्ध्वाधर विस्तार" (व्यास) यादृच्छिक (random) नहीं है। यह इस बात पर आधारित है कि संख्याएँ एक-दूसरे से कैसे संबंधित हैं। उन्होंने दिखाया कि व्यास लगभग हमेशा $2h$ या $2h-1$ होता है। यह कहने जैसा है कि, "यदि आप $h$ ऊँचाई का पर्वत चाहते हैं, तो घाटी से शिखर तक की कुल दूरी हमेशा लगभग दोगुनी होगी।"

संक्षेप में

यदि गणितज्ञ संख्याओं के एक विशाल, अनंत परिदृश्य का मानचित्रण करने वाले खोजकर्ता हैं, तो बाचमैन ने अभी-अभी उन्हें एक जीपीएस (GPS) और एक रूलर (पैमाना) थमा दिया है।

उन्होंने सिद्ध किया कि यह परिदृश्य केवल यादृच्छिक अराजकता नहीं है; यह एक संरचित दुनिया है जहाँ आप सही "अभाज्य संख्या सामग्री" चुनकर, अपने पर्वतों की ऊँचाई और अपनी घाटियों की गहराई को सटीक रूप से नियंत्रित कर सकते हैं।

जेनाडी बाचमैन द्वारा लिखित यह शोध पत्र, जिसका शीर्षक "On Heights and Diameters of Ternary Cyclotomic and Inclusion-Exclusion Polynomials" है, साइक्लोटोमिक बहुपदों (cyclotomic polynomials) के गुणांक गुणों के संबंध में मौलिक प्रश्नों को संबोधित करता है, जो विशेष रूप से "टर्नरी" (ternary) मामले (तीन अलग-अलग विषम अभाज्य गुणनखंडों वाले बहुपद) पर केंद्रित है।

1. समस्या

साइक्लोटोमिक बहुपदों $\Phi_n(x)$ का अध्ययन अक्सर उनके गुणांकों $a(m; n)$ पर केंद्रित होता है। दो विशिष्ट मेट्रिक्स प्राथमिक रुचि के विषय हैं:

ऊंचाई (Height) $A(n)$ : गुणांकों का अधिकतम निरपेक्ष मान: $A(n) = \max_m |a(m; n)|$ ।
व्यास (Diameter) $D(n)$ : सबसे बड़े और सबसे छोटे गुणांक के बीच का अंतर: $D(n) = \max_m a(m; n) - \min_m a(m; n)$ ।

केंद्रित खुला प्रश्न जिसे यहाँ संबोधित किया गया है वह है ऊंचाई समीकरण की समाधान क्षमता (solubility of the height equation): दिए गए प्राकृतिक अंक $h$ के लिए, क्या ऐसा $n$ मौजूद है कि $A(n) = h$ ? जबकि $k < 3$ (जहाँ $A(n)=1$ ) के लिए यह तुच्छ है, $k \geq 3$ के लिए यह अत्यधिक जटिल हो जाता है। विशेष रूप से, टर्नरी बहुपदों ($n=pqr $) के लिए, यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि एक निश्चित अभाज्य$ p $के लिए कौन सी ऊंचाइयाँ$ h$ प्राप्त की जा सकती हैं।

2. कार्यप्रणाली (Methodology)

लेखक टर्नरी समावेश-अपवर्जन बहुपदों (inclusion-exclusion polynomials) $Q_T(x)$ का अध्ययन करके एक संयोजन संबंधी (combinatorial) दृष्टिकोण अपनाते हैं, जहाँ $T=\{p, q, r\}$ है। जब $p, q, r$ अलग-अलग अभाज्य संख्याएँ होती हैं, तो $Q_T(x) = \Phi_{pqr}(x)$ होता है।

मुख्य तकनीकी उपकरण शामिल हैं:

समावेश-अपवर्जन सिद्धांत (The Inclusion-Exclusion Principle): गुणांकों $a_m$ को एक अभिलक्षण फलन (characteristic function) $\chi(n)$ के योग के रूप में व्यक्त करना, जो यह दर्शाता है कि क्या एक पूर्णांक को $qr, pr, $और$ pq$ के गैर-ऋणात्मक रैखिक संयोजन के रूप में दर्शाया जा सकता है।
माड्यूलर अंकगणित न्यूनीकरण (Modular Arithmetic Reductions): चीनी शेष प्रमेय (Chinese Remainder Theorem) और $q$ तथा $r$ पर विशिष्ट सर्वांगसमता (congruence) स्थितियों का उपयोग करना (जो $p$ के सापेक्ष हैं) ताकि गुणांकों की खोज को सरल बनाया जा सके।
पैरामीटराइजेशन (Parameterization): लेखक $t$ और $s$ (modulo $p$ के व्युत्क्रम) पैरामीटर पेश करते हैं ताकि गुणांकों के व्यवहार को वर्गीकृत किया जा सके। $q$ और $r$ को इस तरह चुनकर कि वे विशिष्ट माड्यूलर संबंधों को संतुष्ट करें (जैसे, $rt \equiv 1 \pmod{pq}$ ), लेखक गुणांकों के अधिकतम और न्यूनतम मानों की स्पष्ट गणना कर सकते हैं।
गुणांकों के योगों का मामला विश्लेषण (Case Analysis of Sums): गुणांकों के सेट की सटीक सीमाओं को निर्धारित करने के लिए तीन अलग-अलग इंडेक्स रेंज के मामलों में एक विशिष्ट योग $S(Q, R; M)$ का मूल्यांकन करने पर यह प्रमाण आधारित है।

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

यह शोध पत्र टर्नरी साइक्लोटोमिक बहुपदों की समझ को आगे बढ़ाते हुए कई निर्णायक परिणाम प्रदान करता है:

अ. ऊंचाई परिणाम (Theorem 2)

लेखक सिद्ध करते हैं कि किसी भी विषम अभाज्य $p$ और $1 \leq h \leq (p+1)/2$ के बीच किसी भी पूर्णांक $h$ के लिए, ऐसे अनगिनत बड़े अभाज्य $q$ और $r$ मौजूद हैं कि ऊंचाई $A(pqr) = h$ होती है।

महत्व: यह इस प्रश्न का एक रचनात्मक उत्तर प्रदान करता है कि क्या प्रत्येक प्राकृतिक संख्या एक ऊंचाई के रूप में आती है, विशेष रूप से उन सीमाओं के भीतर जो एक निश्चित $p$ द्वारा अनुमत हैं। यह प्रस्तावना में उल्लिखित "कन्जेक्चर 1" की ओर एक बड़ा कदम है।

ब. व्यास परिणाम (Corollaries 6, 7, और 8)

यह शोध पत्र एक निश्चित $p$ के लिए संभावित व्यासों $D(pqr)$ के दायरे की खोज करता है:

अस्तित्व (Existence): एक निश्चित $p$ के लिए, व्यास $D(pqr) $कम से कम$ (p+1)/2$ विभिन्न मान धारण कर सकता है।
सम व्यास (Even Diameters): पर्याप्त बड़े $p$ के लिए प्रत्येक सम संख्या $\geq 6$ किसी $\Phi_{pqr}$ का व्यास है।
विषम व्यास (Odd Diameters): प्रत्येक विषम संख्या $d \geq 3$ के लिए, कम से कम एक अभाज्य $p$ है जिससे $D(pqr) = d$ समाधान योग्य है।

स. स्पष्ट मूल्यांकन (Theorem 3)

लेखक विशिष्ट माड्यूलर स्थितियों को संतुष्ट करने वाले ट्रिपल्स (triples) के लिए गुणांक सेट $A_T$ का पूर्ण वर्गीकरण प्रदान करते हैं। यह $t$ और $s$ (modulo $p$ के अवशेष) के मानों के आधार पर $A(T)$ के सटीक निर्धारण की अनुमति देता है।

4. महत्व

यह कार्य कई कारणों से महत्वपूर्ण है:

दीर्घकालिक प्रश्नों का समाधान: यह साइक्लोटोमिक बहुपदों की संभावित ऊंचाइयों के पूर्ण लक्षण वर्णन के करीब ले जाता है।
बीजगणक और संयोजन विज्ञान का मेल: साइक्लोटोमिक बहुपदों को समावेश-अपवर्जन बहुपदों के रूप में मानकर, लेखक बीजगणितीय समस्याओं को हल करने के लिए संयोजन संबंधी गणना (combinatorial counting) का उपयोग करते हैं, जो गुणांकों के अध्ययन के लिए एक अधिक सुदृढ़ ढांचा प्रदान करता है।
परिशुद्धता: पिछले कार्यों के विपरीत जो केवल सशर्त परिणाम या सीमाएं प्रदान करते थे, यह शोध पत्र $q$ और $r$ के लिए स्पष्ट निर्माण (explicit constructions) प्रदान करता है, यह सिद्ध करता है कि विशिष्ट ऊंचाइयाँ और व्यास न केवल संभव हैं, बल्कि उन्हें अनगिनत बड़े अभाज्य संख्याओं के साथ प्राप्त किया जा सकता है।