🔢 mathematics

Short Salem polynomials

यह शोध पत्र लंबाई 5 वाले सेलम बहुपदों (Salem polynomials) का एक पूर्ण वर्गीकरण प्रदान करता है और लेहमर की परिकल्पना (Lehmer's Conjecture) को मानते हुए, 12 अनंत परिवारों की पहचान करने और 126 विशिष्ट अपवादों को सूचीबद्ध करने के साथ, लंबाई 6 वाले सभी को छोड़कर शेष सेलम बहुपदों का अभिलक्षणन करता है, जिसमें सबसे छोटे पिसोट नंबर (Pisot number) से कम वाले सेलम नंबरों के लघु बहुपदों की एक व्यापक तालिका भी शामिल है।

मूल लेखक: James McKee, Chris Smyth

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

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

CC BY 4.0

मूल लेखक: James McKee, Chris Smyth

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक बहुत ही विशिष्ट प्रकार के गणितीय ताले को खोलने वाले सबसे "छोटे" संभावित गुप्त कोड खोजने की कोशिश कर रहे हैं। इन तालों को सेलम नंबर (Salem numbers) कहा जाता है।

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

एक "छोटा" कोड क्या है?

गणित की दुनिया में, एक पॉलीनोमियल एक रेसिपी की तरह है जो नंबरों और वेरिएबल्स (जैसे $z$ ) से बनी होती है। इस रेसिपी की "लंबाई" यह नहीं है कि इसमें कितने घटक (ingredients) हैं, बल्कि यह उसके नंबरों के निरपेक्ष आकार (absolute sizes) का योग है।

एक रेसिपी की कल्पना करें: $z^{12} - z^7 - z^6 - z^5 + 1$ ।
नंबर हैं: $1, -1, -1, -1, 1$।
यदि आप माइनस के निशानों को अनदेखा करते हैं और उन्हें जोड़ते हैं ( $1+1+1+1+1$ ), तो लंबाई 5 है।

लेखक यह पता लगाना चाहते हैं कि हर वह "सेलम नंबर" कौन सा है जिसे लंबाई 5 या 6 वाले कोड द्वारा खोला जा सकता है।

लंबाई 5 का रहस्य: "परफेक्ट 17"

सबसे पहले, लेखकों ने सबसे छोटे संभव कोडों पर काम किया: लंबाई 5।

नियम: उन्होंने सिद्ध किया कि आप लंबाई 5 से छोटे कोड के साथ सेलम नंबर नहीं बना सकते। यह केवल 3 ईंटों से एक घर बनाने की कोशिश करने जैसा है; वह खड़ा नहीं हो पाएगा।
खोज: उन्होंने लंबाई 5 के ठीक 17 अद्वितीय कोड पाए।
परिणाम: ये 17 कोड 13 अलग-अलग सेलम नंबरों को खोलते हैं। इनमें से एक नंबर प्रसिद्ध है: यह सबसे छोटा खोजा गया सेलम नंबर है (जिसे लेहमर नंबर के रूप में जाना जाता है)। लेखकों ने पुष्टि की है कि इस तरह के छोटे कोड के साथ कोई अन्य "छिपे हुए" सेलम नंबर नहीं हैं। उनके पास इसकी एक पूरी सूची है, और यह सूची समाप्त हो चुकी है।

लंबाई 6 का रहस्य: "अनंत परिवार" और "अजीबोगरीब संख्याएँ"

इसके बाद, उन्होंने लंबाई 6 वाले कोडों को देखा। यहीं से कहानी दिलचस्प होती है।

1. अनंत परिवार (ट्रेन के ट्रैक)
उन्होंने पाया कि अधिकांश लंबाई-6 वाले कोड रैंडम नहीं हैं। वे 12 अनंत परिवारों से संबंधित हैं।

उपमा: एक ट्रेन ट्रैक की कल्पना करें। एक बार जब आप ट्रैक के पैटर्न को समझ लेते हैं, तो आप जानते हैं कि ट्रेन अनंत काल तक जा सकती है। ये 12 परिवार ऐसे ही 12 अलग-अलग ट्रेन ट्रैक की तरह हैं जो अनंत तक फैले हुए हैं। आप इन विशिष्ट पैटर्न का पालन करके अनंत संख्या में सेलम नंबर बना सकते हैं।

2. स्पोरैडिक अजीबोगरीब संख्याएँ (भटकती हुई बिल्लियाँ)
लेकिन, सभी लंबाई-6 वाले कोड इन ट्रैकों पर फिट नहीं होते। कुछ "स्पोरैडिक" (sporadic) हैं—वे अद्वितीय, एक-बार मिलने वाले कोड हैं जो अनंत पैटर्न का पालन नहीं करते।

चुनौती: क्योंकि संख्याएँ अनंत हैं, तो आप यह कैसे जानते हैं कि आपने किसी भटकती हुई बिल्ली को मिस नहीं किया है?
समाधान: लेखकों ने शक्तिशाली गणितीय उपकरणों का उपयोग यह सिद्ध करने के लिए किया कि इन अजीबोगरीब संख्याओं की संख्या सीमित (finite) है।
सूची: वे इन 126 "भटकती हुई बिल्ली" वाले कोडों को खोजने और सूचीबद्ध करने में सफल रहे।
- नोट: उन्होंने इनमें से 116 ऐसे पाए जो एक प्रसिद्ध संख्या "सबसे छोटे पिसोट नंबर" (इसे नंबर लाइन पर एक विशिष्ट गति सीमा मान लें) से छोटे सेलम नंबरों के अनुरूप हैं।
- उन्होंने 10 ऐसे पाए जो थोड़े बड़े हैं।
- चेतावनी: वे कहते हैं, "यदि एक प्रसिद्ध गणितीय अनुमान जिसे 'लेहमर कंजेक्चर' कहा जाता है (जिस पर अधिकांश लोग विश्वास करते हैं) सत्य है, तो हमारी 126 की सूची 100% पूर्ण है।" यदि वह अनुमान गलत है, तो वहां कुछ बहुत ही छोटे नंबर छिपे हो सकते हैं, लेकिन वे इतने छोटे हैं कि वे लगभग अदृश्य हैं।

"पिसोट" कनेक्शन

इन अनंत परिवारों को खोजने के लिए, लेखकों ने एक सहायक का उपयोग किया जिसे पिसोट नंबर (Pisot number) कहा जाता है।

उपमा: एक पिसोट नंबर को एक "बीज" के रूप में सोचें। यदि आप इस बीज को रोपते हैं और एक विशिष्ट प्रकार का गणितीय पौधा उगाते हैं (एक विधि का उपयोग करके जिसे एक गणितज्ञ 'सेलम' द्वारा खोजा गया था), तो यह एक सेलम नंबर के रूप में बढ़ता है।
लेखकों ने दिखाया कि प्रत्येक "बीज" (पिसोट पॉलीनोमियल) के लिए एक निश्चित प्रकार का, आप सेलम नंबरों की एक अनंत रेखा उगा सकते हैं। उन्होंने सूची बनाई कि कौन से बीज कौन सी रेखाएं उगाते हैं।

अंतिम खजाना मानचित्र

यह शोध पत्र एक विशाल तालिका (तालिका 4) के साथ समाप्त होता है।

यह उन सभी ज्ञात सेलम नंबरों का "कौन है कौन" (Who's Who) है जो सबसे छोटे पिसोट नंबर से छोटे हैं।
प्रत्येक नंबर के लिए, वे वह "सबसे छोटा कोड" (पॉलीनोमियल) प्रदान करते हैं जो उसे खोलता है।
वे आपको इसकी "डिग्री" (कोड कितना जटिल है) और "लघुता" (नंबरों का योग) भी बताते हैं।

सारांश

सरल शब्दों में, मैकी और स्मिथ ने:

सबसे छोटे कोडों (लंबाई 5) के लिए काम पूरा किया: उनके ठीक 17 कोड हैं।
अगले सबसे छोटे कोडों (लंबाई 6) के लिए परिदृश्य का मानचित्रण किया: उन्होंने 12 अनंत पैटर्न और 126 अद्वितीय अपवादों की एक विशिष्ट सूची पाई।
मानवता द्वारा ज्ञात सभी छोटे सेलम नंबरों के लिए एक संदर्भ मार्गदर्शिका बनाई।

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

तकनीकी सारांश: शॉर्ट सेलम पॉलीनोमियल्स (Short Salem Polynomials)

समस्या विवरण
यह शोध पत्र सेलम पॉलीनोमियल्स के वर्गीकरण को उनके "लेंथ" (लंबाई) के आधार पर संबोधित करता है, जिसे उनके गुणांकों (coefficients) के निरपेक्ष मानों के योग के रूप में परिभाषित किया गया है। एक सेलम संख्या $\tau > 1$ एक वास्तविक बीजगणितीय पूर्णांक (algebraic integer) है जिसके गैलवा संयुग्मी (Galois conjugates) ( $\tau$ को छोड़कर) का मापांक (modulus) 1 या उससे कम होता है, जिसमें से कम से कम एक का मापांक ठीक 1 होता है। एक सेलम पॉलीनोमियल, सेलम संख्या का न्यूनतम बहुपद (minimal polynomial) है, जिसे साइक्लोटोमिक पॉलीनोमियल्स के साथ गुणा किया जा सकता है। लेखक लघु लंबाई वाले पॉलीनोमियल्स, विशेष रूप से लंबाई 5 और लंबाई 6 पर ध्यान केंद्रित करते हैं। जबकि यह स्थापित है कि लंबाई $\le 4$ वाले मोनिक रेसिप्रोकल पूर्णांक पॉलीनोमियल्स साइक्लोटोमिक होते हैं, सेलम पॉलीनोमियल के लिए न्यूनतम लंबाई 5 है। यह शोध पत्र लंबाई 5 के सेलम पॉलीनोमियल्स के पूर्ण सूचीकरण (complete enumeration) और लंबाई 6 के उन पॉलीनोमियल्स के संरचनात्मक वर्गीकरण की खोज करता है।

कार्यप्रणाली (Methodology)
लेखक विश्लेणात्मक संख्या सिद्धांत (analytic number theory), बीजगणितीय हेरफेर और कम्प्यूटेशनल खोज एल्गोरिदम के संयोजन का उपयोग करते हैं:

विश्लेणात्मक सीमाएँ और इंटरलेसिंग (Analytic Bounds and Intersections): लंबाई 5 के लिए, लेखक इकाई वृत्त (unit circle) पर पॉलीनोमियल के मूल्यांकन ( $z = e^{i\theta}$ ) से प्राप्त फलन $s(\theta)$ का विश्लेषण करते हैं। वे $f(\theta)$ और $f'(\theta)$ के शून्य (zeros) के इंटरलेसिंग के संबंध में लेम्मा 2.1 का उपयोग करके $s(\theta)=1$ के समाधानों की संख्या को सीमित करने के लिए करते हैं। यह उन्हें यह सिद्ध करने की अनुमति देता है कि पर्याप्त बड़े डिग्री के लिए, पॉलीनोमियल सेलम पॉलीनोमियल होने की शर्तों को पूरा नहीं कर सकता है, जिससे पैरामीटर्स के एक परिमित सेट (finite set) तक खोज सीमित हो जाती है।
सेलम का निर्माण और पिसोट अनुक्रम (Salem's Construction and Pisot Sequences): लंबाई 6 के लिए, शोध पत्र पिसोट संख्याओं की ओर अभिसरित (converging) होने वाली सेलम संख्याओं के निर्माण के लिए सेलम की विधि पर निर्भर करता है। विशेष रूप से, एक अपरिमेय पिसोट पॉलीनोमियल $P(z)$ और $\epsilon \in \{-1, 1\}$ के लिए, अनुक्रम $P_n(z) = z^n P(z) + \epsilon P^*(z)$ का विश्लेषण किया जाता है। प्रपोजिशन 2.5, जो मुख्य रूप से बॉयड के कार्य पर आधारित है, यह स्थापित करता है कि इन पॉलीनोमियल्स में इकाई वृत्त के बाहर एक अद्वितीय शून्य होता है (जो इन्हें सेलम या पिसोट बनाता है) और उनके साइक्लोटोमिक कारकों को अभिलक्षित (characterize) करता है।
गैप बाउंड्स के साथ कम्प्यूटेशनल खोज (Computational Search with Gap Bounds): लंबाई 6 के स्पोरैडिक (गैर-परिवार) सेलम पॉलीनोमियल्स को खोजने के लिए, लेखक $[a, b]$ अंतराल के भीतर रेसिप्रोकल पॉलीनोमियल्स खोजने के लिए [10] से एक एल्गोरिदम को अनुकूलित करते हैं। वे खोज स्थान (search space) को सीमित करने के लिए गोंसाल्वेस की असमानता (Gonçalves' inequality) और डोब्रोवोलस्की के निचले स्तर के बाउंड्स (Dobrowolski's lower bounds) का उपयोग करते हैं। खोज में गैर-शून्य गुणांकों के बीच के "गैप्स" को सीमित करना शामिल है। जब एक अंतराल में मध्यवर्ती पॉलीनोमियल के शून्य के कारण गैप को सीमित नहीं किया जा सकता है, तो लेखक इसे एक अनंत परिवार या एक विशिष्ट स्पोरैडिक मामले के अनुरूप एक लिमिट पॉइंट के रूप में पहचानते हैं।
साइक्लोटोमिक फैक्टर विश्लेषण (Cyclotomic Factor Analysis): लेखक रिसल्टेंट्स (resultants) और रूट्स ऑफ यूनिटी के गुणों (लेम्मा 2.3) का उपयोग करके अनंत परिवारों के साइक्लोटोमिक कारकों की गणना स्पष्ट रूप से करते हैं, जिससे वे परिणामी सेलम संख्याओं और उनकी डिग्री को निर्धारित कर पाते हैं।

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

लंबाई 5 का वर्गीकरण (Theorem 1): यह शोध पत्र लंबाई 5 के सभी सेलम पॉलीनोमियल्स की एक पूर्ण सूची प्रदान करता है। 13 अलग-अलग सेलम संख्याओं से जुड़े ठीक 17 ऐसे पॉलीनोमियल्स हैं। ये परिणाम पुष्टि करते हैं कि लेहमर संख्या ( $\lambda_0 \approx 1.176$ ) से नीचे लंबाई 5 के कोई सेलम नंबर मौजूद नहीं हैं, जो पिछले निष्कर्षों [7] से मेल खाता है लेकिन पूर्णता का कठोर प्रमाण प्रदान करता है।
लंबाई 6 का वर्गीकरण (Theorem 2): लेखक प्रदर्शित करते हैं कि लंबाई 6 के लगभग सभी सेलम पॉलीनोमियल्स 12 अनंत परिवारों में से एक से संबंधित हैं। ये परिवार विशिष्ट पिसोट पॉलीनोमियल्स (ट्रिनोमियल्स और $z-2$ $z - 2$ ) का उपयोग करके सेलम के निर्माण द्वारा उत्पन्न होते हैं।
- शोध पत्र 126 "स्पोरैडिक" लंबाई-6 सेलम पॉलीनोमियल्स की पहचान करता है जिनकी सेलम संख्याएँ $\ge 1.01$ हैं।
- इनमें से, 116 संख्याएँ सबसे छोटी पिसोट संख्या $\theta_0 \approx 1.3247$ से नीचे की सेलम संख्याओं के अनुरूप हैं और 10 संख्याएँ $\theta_0$ के ऊपर हैं।
- इन परिवारों के अस्तित्व और स्पोरैडिक सेट की परिमितता को सिद्ध किया गया है, हालांकि 1.01 से नीचे की स्पोरैडिक सूची की पूर्णता इस धारणा पर निर्भर करती है कि खोज को 1 के अत्यंत निकट विस्तारित किया जा सकता है (जो कम्प्यूटेशनल रूप से अव्यवहारिक है) या लेहमर अनुमान (Lehmer's Conjecture) की सत्यता पर।
परिवारों में साइक्लोटोमिक कारक (Theorem 3 & Proposition 5.1): शोध पत्र 12 अनंत परिवारों के लिए साइक्लोटोमिक कारकों का विवरण देता है। यह इन परिवारों की सेलम संख्याओं के न्यूनतम बहुपदों के लिए स्पष्ट सूत्र प्रदान करता है, यह दिखाते हुए कि बड़े $n$ के लिए, न्यूनतम बहुपद की डिग्री $n$ के साथ रैखिक रूप से बढ़ती है, जिसमें साइक्लोटोमिक कारकों द्वारा निर्धारित एक आवधिक सुधार (periodic correction) शब्द घटाया जाता है।
व्यापक तालिकाएँ (Comprehensive Tables): लेखक निम्नलिखित प्रदान करते हैं:
- तालिका 1: 17 लंबाई-5 सेलम पॉलीनोमियल्स और उनकी संगत संख्याएँ।
- तालिका 2: 126 ज्ञात स्पोरैडिक लंबाई-6 सेलम पॉलीनोमियल्स (संख्याओं $\ge 1.01$ के लिए)।
- तालिका 4: सबसे छोटी पिसोट संख्या $\theta_0$ से नीचे के सभी ज्ञात सेलम नंबरों का संकलन, जिसमें उनकी डिग्री, शॉर्टनेस और न्यूनतम-डिग्री शॉर्ट पॉलीनोमियल्स सूचीबद्ध हैं। इसमें $\theta_0$ की ओर अभिसरित होने वाला अनुक्रम $\tau_n$ और 53 स्पोरैडिक संख्याएँ शामिल हैं।

महत्व
यह शोध पत्र दावा करता है कि यह लंबाई 5 के सेलम पॉलीनोमियल्स का पहला पूर्ण वर्गीकरण प्रदान करता है। लंबाई 6 के लिए, यह एक संरचनात्मक द्वैत (structural dichotomy) स्थापित करता है: ऐसे पॉलीनोमियल्स का सेट स्पोरैडिक उदाहरणों की एक परिमित संख्या और अनंत परिवारों के एक गणनीय (countable) सेट से बना है। लेखक नोट करते हैं कि उनकी लंबाई-6 के स्पोरैडिक पॉलीनोमियल्स की सूची $\ge 1.01$ की सेलम संख्याओं के लिए पूर्ण है। वे कहते हैं कि इस सूची को 1 के अत्यंत निकट तक विस्तारित करना अव्यवहारिक है, लेकिन यदि लेहमर अनुमान (कि $\lambda_0$ सबसे छोटी सेलम संख्या है) सत्य है, तो यह सूची पूर्ण होगी। यह कार्य 1 के पास सेलम संख्याओं के वितरण की समझ को परिष्कृत करता है और स्पष्ट पॉलीनोमियल निर्माणओं के माध्यम से सेलम संख्याओं, पिसोट संख्याओं और साइक्लोटोमिक कारकों के बीच के संबंध को स्पष्ट करता है।