The Minimal Absolute Value of Sums of Fifth Roots of Unity

तकनीकी सारांश: पांचवें मूलों के योग का न्यूनतम निरपेक्ष मान

समस्या विवरण
यह शोध पत्र $n$ पांचवें मूलों (fifth roots of unity) के एक गैर-शून्य योग के न्यूनतम निरपेक्ष मान को निर्धारित करने के समाधान पर आधारित है, जिन्हें पुनरावृत्ति के साथ चुना गया है। औपचारिक रूप से, एक पूर्णांक $n \ge 1$ के लिए, लेखक $\Sigma_5(n)$ को उन योगों $s = \sum_{i=0}^4 a_i \zeta^i$ के सेट के रूप में परिभाषित करते हैं जहाँ $a_i \in \mathbb{N}$ और $\sum a_i = n$, और $\zeta = \exp(2\pi i/5)$ है। उद्देश्य निम्नलिखित की गणना करना है:
$$\sigma_5(n) = \min \{ |s| : s \in \Sigma_5(n) \setminus \{0\} \}$$
यद्यपि निश्चित $\ell$ और अनिश्चित $n$ के लिए $\sigma_\ell(n)$ को निर्धारित करने की समस्या स्वाभाविक है, लेकिन इसे इस विशिष्ट रूप में पहले नहीं देखा गया था। पूर्व साहित्य ने बड़े $\ell$ और निश्चित $n$ के लिए विषम सूत्र (asymptotic formulas) या उन भारों (weights) $n$ के लक्षण वर्णन पर ध्यान केंद्रित किया है जिनके लिए शून्य योग मौजूद होते हैं (अर्थात $0 \in \Sigma_\ell(n)$)। $\ell=5$ का मामला महत्वपूर्ण है क्योंकि $\zeta_5$ का न्यूनतम बहुपद चतुर्थ घात (quartic) है, जो उस सबसे छोटे मामले का प्रतिनिधित्व करता है जहाँ न्यूनतम बहुपद की घात 2 से अधिक होती है।

कार्यप्रणाली
लेखक जटिल योगों के निरपेक्ष मान को कम करने की ज्यामितीय समस्या को स्वर्ण अनुपात (golden ratio) $\phi = (1+\sqrt{5})/2$ और स्थिरांक $\alpha = \phi + 2$ से जुड़ी डिओफैंटाइन सन्निकटन (Diophantine approximation) समस्याओं की एक श्रृंखला में परिवर्तित करते हैं।

1. वास्तविक और काल्पनिक भागों में न्यूनीकरण: अपने योग $s$ को इसके वास्तविक और काल्पनिक घटकों के संदर्भ में व्यक्त करके, लेखक $|s|$ को $\alpha$ और $\phi$ के पूर्णांक गुणजों की निकटतम पूर्णांकों से दूरी से जोड़ते हैं। विशेष रूप से, वे पहचानों $\zeta + \zeta^4 = 1/\phi$ और $\zeta^2 + \zeta^3 = -\phi$ का उपयोग करते हैं।
2. ओस्ट्रोवस्की प्रतिनिधित्व (Ostrowski Representations): मुख्य विश्लेषणात्मक उपकरण निरंतर भिन्नों (continued fractions) का सिद्धांत और ओस्ट्रोवस्की प्रतिनिधित्व है। लेखक इस तथ्य का उपयोग करते हैं कि $\phi$ और $\alpha$ के निरंतर भिन्नों का विस्तार पूरी तरह से 1s से बना होता है ( $\alpha$ के प्रारंभिक पद के बाद)। यह उन्हें गैर-क्रमिक फाइबोनैकी संख्याओं ( $\phi$ के लिए) या लुकास संख्याओं ( $\alpha$ के लिए) के योग के रूप में पूर्णांकों को अद्वितीय रूप से व्यक्त करने की अनुमति देता है।
3. अभिसरणों (Convergents) के माध्यम से सीमा निर्धारण: लेखक $\phi$ और $\alpha$ के अभिसरणों से जुड़े "अंतर" पदों $D_k = B_k t - A_k$ का विश्लेषण करके $|s|$ के लिए निचली सीमाएँ स्थापित करके प्रमाण प्रक्रिया को आगे बढ़ाते हैं। इन अंतरों के गुणों और भार $n$ द्वारा लगाए गए प्रतिबंधों का उपयोग करते हुए, वे गुणांकों के संभावित मानों को सीमित करने के लिए सख्त असमानताओं को व्युत्पन्न करते हैं।
4. स्थिति विश्लेषण: समस्या को $n \pmod 5$ के अनुरूपता (congruence) के आधार पर विभाजित किया गया है।
   • $n \not\equiv 0 \pmod 5$ के लिए, विश्लेषण लुकास संख्याओं ($L_m$) और दो गुनी लुकास संख्याओं ($2L_m$) द्वारा परिभाषित अंतरालों पर केंद्रित है।
   • $n \equiv 0 \pmod 5$ के लिए, विश्लेषण फाइबोनैकी संख्याओं ($F_m$) द्वारा परिभाषित अंतरालों पर केंद्रित है।

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

यह शोध पत्र सभी $n \ge 1$ के लिए $\sigma_5(n)$ के सटीक सूत्रों को प्रदान करता है, जो फाइबोनैकी ($F_m$) और लुकास ($L_m$) अनुक्रमों द्वारा अभिलक्षित हैं।

1. स्थिति $n \not\equiv 0 \pmod 5$ (प्रमेय 1)
$n$ के 5 से विभाज्य न होने के लिए, न्यूनतम निरपेक्ष मान दिया गया है:
$$\sigma_5(n) = \frac{1}{\phi^{\kappa(n)}}$$
जहाँ $\kappa(n)$ एक फलन है जिसे $L_k$ या $2L_k$ के सबसे बड़े सूचकांक (index) द्वारा परिभाषित किया गया है जो $n \pmod 5$ के अनुरूप है और $n$ से ऊपर की ओर सीमित है। विशेष रूप से, $\kappa(n) = \max\{\kappa_1(n)-1, \kappa_2(n)\}$, जहाँ $\kappa_1$ और $\kappa_2$ क्रमशः $L_k$ और $2L_k$ के सूचकांकों के अनुरूप हैं।

• एकदिशता (Monotonicity): फलन $\sigma_5(n)$, $n \pmod 5$ के अनुरूपता वर्गों पर एकदिशीय गैर-बढ़ता (monotone non-increasing) है।
• जंप (Jumps): $\sigma_5(n)$ का मान केवल तभी बदलता है (जंप करता है) जब $n$ विशिष्ट थ्रेशोल्ड तक पहुँचता है: $n = 5F_m$, $n = L_m$, या $n = 2L_m$।
• न्यूनतमकर्ताओं का लक्षण वर्णन: इस न्यूनतम मान को प्राप्त करने वाले योगों को स्पष्ट रूप से वर्णित किया गया है। $n \in [L_m, 2L_{m+1})$ के लिए, न्यूनतम योग $F_m \zeta + F_{m-1} \zeta^3 + F_{m-1} \zeta^4$ के रोटेशन हैं। $n \in [2L_m, L_{m+3})$ के लिए, वे $F_{m+1} \zeta + F_{m-1} \zeta^2 + F_{m-1} \zeta^3 + F_{m+1} \zeta^4$ के रोटेशन हैं।

2. स्थिति $n \equiv 0 \pmod 5$ (प्रमेय 2)
$n = 5k$ के लिए, यदि $\nu(k) = \max \{ m : F_m \le k \}$ है, तो न्यूनतम निरपेक्ष मान संतुष्ट करता है:
$$\sigma_5(n)^2 = \frac{\sqrt{5}}{\phi^{2\nu(k)-1}}$$

• न्यूनतमकर्ताओं का लक्षण वर्णन: $n=5F_m$ के लिए न्यूनतम योग $2F_m \zeta + F_{m-2} \zeta^2 + F_m \zeta^3 + F_{m+1} \zeta^4$ के रोटेशन हैं।

महत्व
यह शोध पत्र दावा करता है कि $\sigma_5(n)$ की गणना 5वें मूलों के सेट में प्रविष्टियों वाले अधिकतम निर्धारक मैट्रिसेस (maximal determinant matrices) के अध्ययन के लिए उपयोगी है, क्योंकि ये मान निर्धारक सीमाओं (determinantal bounds) में दिखाई देते हैं। यह कार्य जड़ों के योग के न्यूनतम निरपेक्ष मानों की समझ को उन मामलों से आगे बढ़ाता है जहाँ न्यूनतम बहुपद रैखिक या द्विघात ($\ell \in \{2, 3, 4, 6\}$) होता है। स्वर्ण अनुपात के तर्कसंगत सन्निकटन में समस्या को कम करके, लेखक न्यूनतम मानों और विशिष्ट योगों का पूर्ण लक्षण वर्णन प्रदान करते हैं जो उन्हें प्राप्त करते हैं, जो निश्चित $\ell$ और अनिश्चित $n$ के संबंध में साहित्य के अंतराल को भरता है। परिणाम प्रदर्शित करते हैं कि इन न्यूनतम मानों का व्यवहार फाइबोनैकी और लुकास संख्याओं के अंकगणितीय गुणों से गहराई से जुड़ा हुआ है।