🔢 mathematics

A Positive Proportion of the Reduced D'Arcais Polynomials is not Hurwitz

यह शोध पत्र यह प्रदर्शित करके दूसरे और तीसरे लेखकों के एक अनुमान को गलत सिद्ध करता है कि रिड्यूस्ड डी'आर्कैस (D'Arcais) बहुपदों का एक सकारात्मक अनुपात हुरwitz (Hurwitz) बहुपद नहीं है।

मूल लेखक: Steven Charlton, Bernhard Heim, Markus Neuhauser, Johann Stumpenhusen, Robert Tröger

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

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

CC BY 4.0

मूल लेखक: Steven Charlton, Bernhard Heim, Markus Neuhauser, Johann Stumpenhusen, Robert Tröger

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

गणित के विशाल परिदृश्य में, ऐसी वस्तुएं हैं जो सुव्यवस्थित नागरिकों की तरह व्यवहार करती हैं, जो पूर्वानुमानित नियमों का पालन करती हैं जो उन्हें स्थिर और व्यवस्थित रखते हैं। इनमें विशेष बहुपद (polynomials) भी शामिल हैं, जो संख्याओं और चरों से बनी बीजगणितीय अभिव्यक्तियाँ हैं। दशकों से, गणितज्ञ इन अभिव्यक्तियों के एक विशेष परिवार से मंत्रमुग्ध रहे हैं जिन्हें 'डी'आर्किस बहुपद' (D'Arcais polynomials) कहा जाता है। ये केवल संख्याओं के यादृच्छिक संग्रह नहीं हैं; ये विभाजन फलन (partition function) से गहराई से जुड़े हुए हैं, जो एक मौलिक अवधारणा है जो यह गिनती करती है कि एक पूर्ण संख्या को छोटे पूर्ण संख्याओं के योग में तोड़ने के कितने तरीके हैं। यह संबंध उन्हें डेडेकइंड एटा फलन (Dedekind eta function) से जोड़ता है, जो उच्च आयामों में आकृतियों की समरूपता का अध्ययन करने के लिए उपयोग किया जाने वाला एक परिष्कृत उपकरण है। लंबे समय तक केंद्रीय प्रश्न यह था कि क्या ये बहुपद हमेशा एक विशिष्ट प्रकार की स्थिरता प्रदर्शित करते हैं। गणित की भाषा में, एक बहुपद को तब "हर्विट्ज़" (Hurwitz) कहा जाता है यदि इसके सभी समाधान, या मूल (roots), जटिल संख्या तल के एक विशिष्ट क्षेत्र में स्थित होते हैं जो स्थिरता सुनिश्चित करता है। यदि कोई बहुपद हर्विट्ज़ है, तो वह पूर्वानुमानित रूप से व्यवहार करता है; यदि नहीं, तो वह अराजक या अस्थिर व्यवहार प्रदर्शित कर सकता है। लंबे समय तक यह माना जाता रहा कि ये डी'आर्किस बहुपद हमेशा हर्विट्ज़ होते हैं, सिवाय मूल बिंदु पर एक एकल तुच्छ अपवाद के। यह विश्वास इतना मजबूत था कि इसे पहले एक हजार उदाहरणों की जाँच करके समर्थित किया गया था, जिनमें से सभी ने नियम का पालन किया प्रतीत हुआ।

हालाँकि, एक नए अध्ययन ने इस लंबे समय से चली आ रही धारणा को उलट दिया है। शोधकर्ताओं ने, जो गणितज्ञों की एक टीम है, यह सिद्ध किया है कि यह विश्वास गलत है। उन्होंने प्रदर्शित किया कि इन बहुपदों का एक महत्वपूर्ण, गैर-शून्य हिस्सा हर्विट्ज़ नहीं है। दूसरे शब्दों में, प्राकृतिक संख्याओं का एक सकारात्मक अनुपात है जिनके लिए संबंधित डी'आर्किस बहुपद स्थिरता परीक्षण में विफल हो जाता है। टीम ने केवल एक अलग उदाहरण नहीं खोजा; उन्होंने दिखाया कि ये विफलताएं इतनी आम हैं कि जैसे-जैसे आप बड़ी संख्याओं की ओर देखते हैं, वे बार-बार दिखाई देती हैं। उनके कार्य ने एक ऐसे अनुमान को निर्णायक उत्तर प्रदान किया जो कुछ समय से खड़ा था, यह दिखाते हुए कि स्थिरता का पैटर्न सार्वभौमिक नहीं है, भले ही इस टूटन का पहला उदाहरण वर्तमान कम्प्यूटेशनल पहुंच से बहुत दूर एक खगोलीय संख्या पर होता है।

इस निष्कर्ष तक पहुँचने के लिए, शोधकर्ताओं को केवल इन बहुपदों के मूलों की गणना करने से कहीं अधिक गहराई से देखना पड़ा, जो शामिल बड़ी संख्याओं के लिए एक असंभव कार्य होता। इसके बजाय, उन्होंने हर्विट्ज़-रौथ परीक्षण (Hurwitz-Routh test) के रूप में जाने जाने वाले गणितीय मानदंडों के एक सेट का उपयोग किया। यह परीक्षण एक चेकलिस्ट की तरह कार्य करता है कि एक बहुपद को स्थिर होने के लिए किन शर्तों को पूरा करना चाहिए। यदि सूची में कोई भी एक शर्त का उल्लंघन होता है, तो बहुपद अस्थिर होता है। टीम ने बहुपद के गुणांकों (coefficients) से संबंधित एक विशिष्ट स्थिति पर ध्यान केंद्रित किया—वे संख्याएँ जो चरों के साथ गुणा होती हैं। उन्होंने इन गुणांकों के आकार के सटीक अनुमान प्राप्त किए। कुछ गुणांकों के निचले स्तर (lower bounds) की तुलना अन्य के ऊपरी स्तर (upper bounds) से करके, उन्होंने एक ऐसी स्थिति का निर्माण किया जहाँ स्थिरता की शर्त विफल होनी चाहिए।

यह प्रमाण विभाजकों के योग से संबंधित एक विशिष्ट फलन के व्यवहार पर निर्भर करता है। शोधकर्ताओं ने दिखाया कि कुछ बहुत बड़ी संख्याओं के लिए, गुणांकों के बीच का संबंध स्थिरता की शर्त को तोड़ देता है। उन्होंने एक विशिष्ट सीमा संख्या (threshold number) की गणना की, जो एक विशाल पूर्णांक का फैक्टोरियल है, जिसके बाद विफलता निश्चित है। यह सीमा एक अकल्पनीय रूप से बड़ी संख्या है, जो दृश्य ब्रह्मांड में परमाणुओं की संख्या से भी कहीं अधिक है। फिर भी, गणितीय तर्क दृढ़ रहता है: एक बार जब आप इस बिंदु को पार कर लेते हैं, तो बहुपद अब हर्विट्ज़ नहीं रहते हैं। इसके अलावा, क्योंकि उनके द्वारा उपयोग किए गए गुण इस संख्या के गुणजों के लिए दोहराए जाते हैं, इसलिए विफलता एक बार की घटना नहीं है बल्कि एक नियमित घटना है जो बार-बार होती है। यह ध्यान देना महत्वपूर्ण है कि उनकी विशिष्ट विधि उन्हें इस बात की पहचान करने की अनुमति नहीं देती है कि सबसे छोटा गैर-हर्विट्ज़ बहुपद कौन सा है; उन्होंने केवल यह सिद्ध किया है कि ऐसे नंबर मौजूद हैं और वे सकारात्मक आवृत्ति के साथ होते हैं।

यह अध्ययन इस पर भी प्रकाश डालता है कि इसे पहले पहचानना इतना कठिन क्यों था। पिछले शोधकर्ताओं द्वारा जाँचे गए पहले एक हजार उदाहरण केवल बहुत छोटे थे ताकि अस्थिरता को प्रकट किया जा सके। विफलता को ट्रिगर करने के लिए आवश्यक संख्याएँ इतनी विशाल हैं कि वे प्रत्यक्ष गणना या मानक संख्यात्मक अवलोकन की पहुंच से बहुत दूर हैं। शोधकर्ताओं को यह सिद्ध करने के लिए सैद्धांतिक सीमाओं और स्पर्शोन्मुखी अनुमानों (asymptotic estimates) पर भरोसा करना पड़ा, न कि ब्रूट फ़ोर्स द्वारा एक विशिष्ट प्रति-उदाहरण खोजने पर। उन्होंने उल्लेख किया कि यदि गणित की एक प्रसिद्ध अनसुलझी समस्या, जिसे रीमान परिकल्पना (Riemann Hypothesis) के रूप में जाना जाता है, सत्य है, तो इस विफलता के लिए सीमा और भी अधिक ऊँची है, जो पहले गारंटीकृत उदाहरण को अकल्पनीय रूप से बड़े क्षेत्र में और आगे धकेल देती है।

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

तकनीकी सारांश: कम किए गए डार्केज़ (D'Arcais) बहुपदों का एक सकारात्मक अनुपात हुरविट्ज़ (Hurwitz) नहीं है

समस्या विवरण
यह शोध पत्र डार्केज़ बहुपदों, जिन्हें $P_n^\sigma(X)$ द्वारा दर्शाया गया है, के विश्लेषणात्मक गुणों के संबंध में एक अनुमान (conjecture) को संबोधित करता है। ये बहुपद डेडेकिंड $\eta$ -फलन की घातों के गुणांकों के जनरेटिंग फंक्शन (generating function) के माध्यम से परिभाषित किए जाते हैं। दूसरे और तीसरे लेखकों ने पूर्व में यह अनुमान लगाया था कि कम किए गए डार्केज़ बहुपद, $R_n^\sigma(X) := P_n^\sigma(X)/X$ , सभी प्राकृतिक संख्याओं $n$ के लिए हुरविट्ज़ बहुपद हैं। एक बहुपद को तब हुरविट्ज़ कहा जाता है यदि इसके सभी शून्य (zeros) खुले बाएं जटिल अर्ध-तल (left complex half-plane) के भीतर स्थित हों। यह अनुमान पहले 1,000 बहुपदों के अनुभवजन्य अवलोकन (empirical observations) से प्रेरित था, जहाँ सभी गैर-वास्तविक मूल (non-real roots) बाएं अर्ध-तल में ही दिखाई दिए थे। केंद्रीय प्रश्न यह है कि क्या यह गुण सार्वभौमिक रूप से बना रहता है या क्या इसके प्रति-उदाहरण (counterexamples) मौजूद हैं।

कार्यप्रणाली (Methodology)
लेखक बहुपदों की स्थिरता निर्धारित करने के लिए हुरविट्ज़-रौथ मानदंड (Hurwitz–Routh criterion) का उपयोग करते हैं। एक बहुपद $f(X) = \sum a_m X^m$ के लिए, मानदंड यह है कि $f$ हुरविट्ज़ है यदि और केवल यदि अनुक्रम के सभी $\Delta_k(f)$ (जहाँ $1 \le k \le d$ ) सख्ती से धनात्मक हों। लेखक पारस्परिक बहुपद (reciprocal polynomial) $f(X) = X^{n-1}R_n^\sigma(X^{-1})$ पर ध्यान केंद्रित करते हैं, यह देखते हुए कि $R_n^\sigma(X)$ हुरविट्ज़ है यदि और केवल यदि $f(X)$ हुरविट्ज़ है।

प्रमाण रणनीति दूसरे हुरविट्ज़ नियतांक (determinant), $\Delta_2(f)$ , के विश्लेषण पर आधारित है। डार्केज़ बहुपदों की विशिष्ट संरचना के लिए, $\Delta_2(f)$ को गुणांकों $p_n^\sigma(k)$ के पदों में व्यक्त किया गया है:
$\Delta_2(f) = p_n^\sigma(2)p_n^\sigma(3) - p_n^\sigma(1)p_n^\sigma(4)$
यदि $\Delta_2(f) < 0$ है, तो बहुपद हुरविट्ज़ नहीं है। लेखक यह सिद्ध करने का लक्ष्य रखते हैं कि $n$ के एक सकारात्मक अनुपात के लिए, असमानता $p_n^\sigma(1)p_n^\sigma(4) > p_n^\sigma(2)p_n^\sigma(3)$ सत्य होती है।

इसे स्थापित करने के लिए, लेखक निम्नलिखित का उपयोग करते हैं:

निम्नतम सीमाएँ (Lower Bounds): वे $n$ के संयोजन (compositions) के संयोजन संबंधी तर्कों का उपयोग करके $p_n^\sigma(4)$ के लिए एक निचली सीमा प्राप्त करते हैं, और जब $\rho(\ell)$ (अर्थात $1, \dots, \ell$ का लघुत्तम समापवर्त्य) $n$ को विभाजित करता है, तो हार्मोनिक संख्याओं $H_\ell$ के आधार पर $p_n^\sigma(1)$ के लिए एक निचली सीमा प्राप्त करते हैं।
उच्चतम सीमाएँ (Upper Bounds): वे अपने पिछले कार्य [4] से प्राप्त $p_n^\sigma(2)$ और $p_n^\sigma(3)$ के लिए स्थापित उच्च सीमाओं का उपयोग करते हैं, जिन्हें $\sigma_{-k}(n)$ के सामान्यीकृत योग-भाजक फलन (generalized sum-of-divisors function) और लघुगणकीय पदों का उपयोग करके सरल बनाया गया है।
अनंतस्पर्शी विश्लेषण (Asymptotic Analysis): वे निम्न-सीमांकित पदों के गुणनफल की तुलना उच्च-सीमांकित पदों के गुणनफल से करते हैं।

प्रमुख योगदान और परिणाम
मुख्य परिणाम प्रमेय 1.2 है, जो यह दावा करता है कि वे प्राकृतिक संख्याएँ $n$ जिनके लिए $R_n^\sigma(X)$ हुरविट्ज़ नहीं है, का एक सकारात्मक निचला अनंतस्पर्शी घनत्व (positive lower asymptotic density) है। विशेष रूप से, यदि $A(n)$ तक $n$ के ऐसे प्रति-उदाहरणों की गणना करता है, तो:
$\liminf_{n \to \infty} \frac{A(n)}{n} > 0$

प्रमाण यह प्रदर्शित करता है कि गैर-हुरविट्ज़ व्यवहार की स्थिति तब संतुष्ट होती है जब:
$\sigma_{-1}(n) > \frac{25,046,441}{116,352} \approx 215.264$
चूंकि $\sigma_{-1}(n)$ असीमित (unbounded) है, इसलिए ऐसे $n$ अस्तित्व में हैं। लेखक $\ell = \lceil \exp(25,046,441/116,352) \rceil$ चुनकर $n = \ell!$ के रूप में एक विशिष्ट प्रति-उदाहरण का निर्माण करते हैं। इससे एक विशिष्ट पूर्णांक $\ell \approx 3.07 \times 10^{90}$ प्राप्त होता है, और फलस्वरूप $n = \ell!$ लगभग $10^{95}$ अंकों वाली एक संख्या है। लेखक नोट करते हैं कि $\sigma_{-1}$ के गुणात्मक गुण के कारण, इस फैक्टोरियल के सभी गुणज भी प्रति-उदाहरण के रूप में कार्य करेंगे, जिससे यह सुनिश्चित होता है कि पूर्णांकों का एक सकारात्मक अनुपात हुरविट्ज़ स्थिति में विफल रहता है।

महत्व और दावे
यह शोध पत्र अनुमान 1.1 को एक निश्चित नकारात्मक उत्तर प्रदान करता है, यह दिखाते हुए कि डार्केज़ बहुपद सार्वभौमिक रूप से हुरविट्ज़ नहीं हैं। लेखक अपने निष्कर्षों के संबंध में कुछ सूक्ष्मताओं पर जोर देते हैं:

अस्तित्व बनाम न्यूनतमता (Existence vs. Minimality): प्रमाण पर्याप्त स्थिति $\Delta_2(f) < 0$ पर निर्भर करता है। लेखक स्पष्ट रूप से कहते हैं कि यह एक बहुपद के गैर-हुरविट्ज़ होने के लिए एक आवश्यक (necessary) शर्त नहीं है। इसलिए, उनका दृष्टिकोण उस सबसे छोटे $n$ की पहचान नहीं करता है जिसके लिए अनुमान विफल होता है; वास्तविक पहला प्रति-उदाहरण काफी छोटा हो सकता है।
प्रति-उदाहरणों का परिमाण (Magnitude of Counterexamples): व्युत्पन्न किया गया विशिष्ट प्रति-उदाहरण ( $n = \ell!$ ), दृश्यमान ब्रह्मांड के परमाणुओं की संख्या से भी अधिक विशाल है। लेखक इस विशालता का श्रेय अपने द्वारा उपयोग की गई सीमाओं में "त्रुटि पदों के अत्यधिक आकार" (sheer size of our error terms) को देते हैं।
रीमान परिकल्पना (Riemann Hypothesis) से संबंध: रीमान परिकल्पना के अधीन, रॉबिन के प्रमेय से $\sigma_{-1}(n) < e^\gamma \log(\log n)$ प्राप्त होता है। लेखक नोट करते हैं कि इस परिकल्पना के तहत, उनके प्रति-उदाहरण के लिए आवश्यक असमानता $n < 10^{1052}$ के लिए किसी भी $n$ के लिए सत्य नहीं होगी, जो उनके सैद्धांतिक सीमा और संभावित छोटे प्रति-उदाहरणों के बीच के विशाल अंतर को और अधिक स्पष्ट करता है।
खुले प्रश्न (Open Questions): शोध पत्र खुले प्रश्नों की सूची के साथ समाप्त होता है, जिसमें यह शामिल है कि क्या धनात्मक अर्ध-तल में अनंत रूप से भिन्न मूल (roots) मौजूद हैं, मूल वितरण प्रक्षेपवक्र (root distribution trajectories) का व्यवहार क्या है (जैसा कि चित्र 1 में देखा गया है), और क्या सभी अभाज्य संख्याओं $p$ के लिए $R_p^\sigma(X)$ हुरविट्ज़ है।

संक्षेप में, यह शोध पत्र स्थापित करता है कि डार्केज़ बहुपदों के लिए हुरविट्ज़ गुण प्राकृतिक संख्याओं के एक सकारात्मक अनुपात के लिए विफल हो जाता है, जिससे पिछला अनुमान गलत सिद्ध होता है, हालांकि पहचाने गए विशिष्ट प्रति-उदाहरण उपयोग की गई विश्लेषणात्मक सीमाओं के कारण अत्यंत विशाल परिमाण के हैं।

इसी तरह के और पेपर