🔢 mathematics

A counterexample to a conjecture of Thakur on Carlitz-Wieferich primes

यह शोध पत्र $\mathbb{F}_{19^3}$ के क्षेत्र पर डिग्री 5 के एक स्पष्ट प्रतिउदाहरण को प्रदर्शित करके ठाकुर के 2015 के उस अनुमान का खंडन करता है कि प्रत्येक विषम अभिलक्षण (characteristic) वाले कार्लिट्ज़-वीफ़ेरिश अभाज्य (Carlitz-Wieferich prime) की डिग्री अभिलक्षण से विभाज्य होनी चाहिए।

मूल लेखक: Niedbala Giraudin

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

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

CC BY 4.0

मूल लेखक: Niedbala Giraudin

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

बहुपदों का गुप्त कोड (The Secret Code of Polynomials)

कल्पना कीजिए कि आप एक जासूस हैं जो बहुपदों (polynomials) नामक गणितीय आकृतियों के एक विशाल पुस्तकालय के भीतर छिपे एक गुप्त कोड को सुलझाने की कोशिश कर रहे हैं। संख्या सिद्धांत (number theory) के रूप में जाने जाने वाले गणित के इस विशिष्ट कोने में, ये आकृतियाँ केवल ग्राफ पर रेखाएँ नहीं हैं; वे एक विशेष प्रकार के अंकगणित से बनी हैं जहाँ संख्याएँ एक घड़ी की तरह घूमती हैं, लेकिन 12 घंटों के बजाय, इस घड़ी में अभाज्य (prime) घंटों की संख्या होती है (जैसे 19 या 17)। यह "परिमित क्षेत्रों" (finite fields) की दुनिया है।

इस दुनिया में, गणितज्ञों के पास "कार्लिट्ज़ मॉड्यूल" (Carlitz module) नामक एक विशेष उपकरण होता है। इस उपकरण को एक जादुई मशीन के रूप में सोचें जो एक आकृति को लेती है और उसे एक बहुत ही विशिष्ट, पूर्वानुमानित तरीके से बदल देती है। आमतौर पर, यदि आप इस मशीन में एक अभाज्य आकृति डालते हैं, तो यह एक ऐसा परिणाम देती है जो एक सरल नियम का पालन करता है, ठीक वैसे ही जैसे $2^3$ हमेशा 8 होता है। लेकिन कभी-कभी, यह मशीन बहुत अधिक "पूर्ण" व्यवहार करती है। यह केवल सही परिणाम ही नहीं देती, बल्कि यह एक ऐसे तरीके से सही होती है जो संदिग्ध रूप से "अतिरिक्त" (extra) पूर्ण है। गणितज्ञ इन दुर्लभ, संदिग्ध आकृतियों को "वीफ़रिख अभाज्य" (Wieferich primes) कहते हैं (इसका नाम एक मानव गणितज्ञ के नाम पर रखा गया है, न कि मछली के प्रकार पर)। लंबे समय तक, एक धारणा थी, एक मजबूत अनुमान था, कि ये "अतिरिक्त पूर्ण" आकृतियाँ केवल तभी अस्तित्व में हो सकती हैं जब वे एक बहुत ही विशिष्ट संख्या में निर्माण खंडों (building blocks) से बनी हों। विशेष रूप से, एक प्रसिद्ध गणितज्ञ नेम ठाकुर ने अनुमान लगाया था कि इस विषम-संख्या वाली दुनिया में, ऐसी कोई भी आकृति जिसका आकार घड़ी के घंटे की गणना (अभाज्य $p$ ) का गुणज (multiple) होगा। यह एक अनुमान लगाने जैसा था कि "पूर्ण" केक केवल तभी बनाए जा सकते हैं यदि उनमें परतों की संख्या 5 से विभाज्य हो।

पाँचवीं परत में आश्चर्य (The Surprise in the Fifth Layer)

यह शोध पत्र इस बात की कहानी है कि उस अनुमान को गलत कैसे साबित किया गया। लेखक ने, एक एआई (AI) सहायक की मदद से, एक "प्रति-उदाहरण" (counterexample) की तलाश की—एक ऐसी आकृति जो नियम को तोड़ती है। वे एक विशेष बहुपद (एक गणितीय आकृति) की तलाश में थे जो "अतिरिक्त पूर्ण" थी लेकिन जिसका आकार घड़ी के घंटे की गणना का गुणज नहीं था।

यह खोज अविश्वसनीय रूप से कठिन थी। संभावित आकृतियों का स्थान इतना विशाल था कि उन्हें एक-एक करके जांचने में ब्रह्मांड की आयु से भी अधिक समय लग जाता। सीधे बल प्रयोग (brute force) के बजाय, लेखक और उनके एआई साथी ने खोज को सीमित करने के लिए एक चतुर, व्यवस्थित पद्धति का उपयोग किया। और फिर, उन्हें वह मिल गया।

एक ऐसी दुनिया में जहाँ घड़ी में 19 घंटे हैं (विशेष रूप से, $\mathbb{F}_{19^3}$ का एक जटिल संस्करण), उन्होंने ठीक 5 परतों वाली एक आकृति की खोज की। ठाकुर के पुराने अनुमान के अनुसार, 5 परतों वाली एक आकृति कभी भी "अतिरिक्त पूर्ण" नहीं होनी चाहिए क्योंकि 5, 19 से विभाज्य नहीं है। लेकिन यह आकृति थी। यह डिग्री 5 का एक "c-Wieferich prime" था। यह शोध पत्र गणितीय रूप से सिद्ध करता है कि यह विशिष्ट बहुपद, जो संख्याओं और चरों की एक उलझी हुई स्ट्रिंग जैसा दिखता है, वास्तव में एक वैध, अपरिमेय (irreducible) आकृति है जो नियम को तोड़ती है।

यह शोध पत्र केवल एक अकेली आकृति नहीं खोजता है; यह उन्हें एक पूरे परिवार के रूप में खोजता है। इन गणितीय आकृतियों के काम करने के तरीके के कारण, यदि आप एक पाते हैं, तो आप इसे (एक पहेली के टुकड़े को खिसकाने की तरह) घुमाकर इसके 193 अलग-अलग संस्करण बना सकते हैं। ये सभी 193 आकृतियाँ "अतिरिक्त पूर्ण" हैं और उन सभी में 5 परतें हैं। लेखकों ने गणना की कि इन विशेष आकृतियों की कुल संख्या ठीक 6,859 है।

नियमों के लिए इसका क्या अर्थ है

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

हालाँकि, लेखक सावधान हैं कि वे यह नहीं कहते कि नियम पूरी तरह से समाप्त हो गया है। उन्होंने कई अन्य संभावनाओं की जाँच की। उन्होंने 1, 2, 3 और 4 परतों वाली आकृतियों की जाँच की और पुष्टि की कि पुराना नियम वहां अभी भी लागू होता है—उन आकारों के लिए कोई "अतिरिक्त पूर्ण" आकृतियाँ मौजूद नहीं हैं। उन्होंने कई अलग-अलग घड़ी के आकार (3, 7, 11, 31 जैसे अभाज्य संख्याएँ) भी जाँचे और पाया कि उन विशिष्ट घड़ियों के लिए, नियम अभी भी सत्य प्रतीत होता है। "टूटा हुआ" नियम केवल इस बहुत ही विशिष्ट, जटिल सेटिंग में दिखाई देता है जहाँ 19-घंटे की घड़ी और 5-परत की आकृति है।

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

तकनीकी सारांश: थकुर के कार्लिट्ज़-वीफ़ेरिक प्राइम्स (Carlitz–Wieferich Primes) संबंधी अनुमान का एक प्रति-उदाहरण

समस्या विवरण
यह शोध पत्र विषम विशेषता (odd characteristic) वाले परिमित क्षेत्रों (finite fields) पर फलन क्षेत्रों (function fields) के संदर्भ में कार्लिट्ज़-वीफ़ेरिक प्राइम्स से संबंधित एक अनुमान को संबोधित करता है। मान लीजिए कि $p$ एक विषम अभाज्य संख्या है, $q = p^k$ है, और $A = \mathbb{F}_q[T]$ है। एक मोनिक अभाज्य $P \in A$ को आधार 1 के लिए c-Wieferich prime के रूप में परिभाषित किया जाता है यदि वह $\rho_P(1) \equiv 1 \pmod{P^2}$ को संतुष्ट करता है, जहाँ $\rho$ कार्लिट्ज़ मॉड्यूल है। यह स्थिति शास्त्रीय वीफ़ेरिक प्राइम स्थिति $2^{p-1} \equiv 1 \pmod{p^2}$ का फलन क्षेत्र के अनुरूप (analogue) है।

2015 में, दिनेश थकुर ने डिग्री 2 और 3 के प्रमाणों और सीमित संख्यात्मक डेटा के आधार पर यह अनुमान लगाया था कि विषम विशेषता में, प्रत्येक c-Wieferich prime की डिग्री $d$ , $p$ से विभाज्य होनी चाहिए। इस अनुमान को 2024 में एक खुली समस्या के रूप में पुनः प्रस्तुत किया गया था, और बाद में बामुनोबा और बर्गस्ट्रोम द्वारा किए गए व्यापक गणनाओं ने इस विश्वास को पुष्ट किया कि विषम विशेषताओं में यह कथन सत्य है। इस शोध पत्र का उद्देश्य इस अनुमान की वैधता का परीक्षण करना है।

कार्यप्रणाली (Methodology)
लेखक, एक स्वतंत्र शोधकर्ता, ने प्रति-उदाहरण खोजने के लिए एक व्यवस्थित कम्प्यूटेशनल पद्धति का उपयोग किया जो एक सहवर्ती शोध पत्र [4] में विकसित की गई थी। कार्यप्रणाली में शामिल हैं:

परिमित गणना में न्यूनीकरण (Reduction to Finite Computation): एक निर्धारित विषम विशेषता में निर्धारित डिग्री $d$ के c-Wieferich prime के अस्तित्व को विस्तार क्षेत्रों (extension fields) में ट्रेस-जीरो तत्वों से जुड़ी एक परिमित, प्रभावी गणना में परिवर्तित किया जाता है।
सटीक अंकगणित (Exact Arithmetic): सभी गणनाएँ मानक सार्वजनिक कंप्यूटर-अलजेब्रा सिस्टम (SageMath, PARI/GP, FLINT, और galois पायथन लाइब्रेरी) में सटीक अंकगणित का उपयोग करके की गईं।
सत्यापन (Verification): परिणामों को स्वतंत्र इंजनों पर पुनरुत्पादित किया गया और ज्ञात c-Wieferich primes (जैसे, $\mathbb{F}_3[T]$ और $\mathbb{F}_5[T]$ में) और सामान्य अभाज्य संख्याओं के विरुद्ध कैलिब्रेट किया गया।
सहयोगात्मक कार्यप्रवाह (Collaborative Workflow): शोध की दिशा और संरचनात्मक व्याख्या लेखक द्वारा प्रदान की गई थी, जबकि AI सहायक (Claude Opus 4.8) ने गणितीय डोमेन ज्ञान, औपचारिकीकरण, प्रारूपण और गणनाओं के निष्पादन को संभाला।

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

अनुमान का खंडन (Disproof of the Conjecture):
शोध पत्र विषम विशेषता में थकुर के अनुमान का एक निश्चित प्रति-उदाहरण प्रदान करता है। लेखक क्षेत्र $\mathbb{F}_{19^3} = \mathbb{F}_{19}[c]$ (जहाँ $c^3 = 8c^2 + 4c + 11$ ) पर डिग्री 5 का एक अपरिमेय (irreducible) c-Wieferich prime $P(T)$ निर्मित करते हैं।
बहुपद है:
$P(T) = T^5 + (11 + 17c + 9c^2)T^4 + (3 + 7c + 18c^2)T^3 + (2 + 5c + 6c^2)T^2 + (3 + 3c + 11c^2)T + (6 + 17c + 5c^2)$
महत्वपूर्ण रूप से, डिग्री $d=5$ विशेषता $p=19$ से विभाज्य नहीं है (अर्थात, $19 \nmid 5$ ), जो सीधे तौर पर अनुमान का खंडन करता है।
सामान्य गुणनखंड के लिए क्लोज्ड फॉर्म (Closed Form for the Common Factor):
शोध पत्र $[5]$ (डिग्री $d$ को विभाजित करने वाले सभी मोनिक प्राइम्स का उत्पाद) और $M_5$ (c-Wieferich स्थिति से संबंधित एक विशिष्ट बहुपद) के महत्तम समापवर्तक (GCD) के लिए एक क्लोज्ड फॉर्म व्युत्पन्न करता है।
मान लीजिए $q = 19^3$ है। बहुपद $G = \mu(T^q - T)$ , जहाँ $\mu(X) = X^5 + 5X^3 + 3X^2 - 4X - 9 \in \mathbb{F}_{19}[X]$ है, यह दर्शाया गया है कि:

$5 \cdot 19^3 = 34,295$ की डिग्री वाला वर्गमुक्त (squarefree) है।
ठीक 6,859 विशिष्ट c-Wieferich primes (जो $P(T)$ का ट्रांसलेशन क्लास है) का उत्पाद है।
$\mathbb{F}_{19^3}[T]$ में $\gcd([5], M_5)$ के बराबर है।

डिग्री की न्यूनतमता (Minimality of the Degree):
यह शोध पत्र स्थापित करता है कि विषम विशेषता में ऐसे प्रति-उदाहरण के लिए डिग्री 5 न्यूनतम संभव डिग्री है:

डिग्री 1, 2, और 3 को पूर्व परिणामों (Thakur [6]) द्वारा बाहर कर दिया गया है।
डिग्री 4 के लिए किसी भी विषम विशेषता में कोई c-Wieferich prime नहीं होने का प्रमाण दिया गया है (प्रमेय 5.1, सहवर्ती पत्र [4] में सिद्ध)।

प्राइम फील्ड्स पर गैर-अस्तित्व (Non-Existence over Prime Fields):
लेखकों ने यह निर्धारित करने के लिए व्यापक गणनाएँ कीं कि क्या प्राइम फील्ड्स $\mathbb{F}_p$ (जहाँ $q=p$ ) पर प्रति-उदाहरण मौजूद हैं। प्रपोजिशन 5.2 रिपोर्ट करता है कि डिग्री और विशेषताओं के एक पर्याप्त दायरे (जैसे, डिग्री 5 के लिए $p \in \{3, 7, 11, \dots, 37\}$ ) के भीतर $\mathbb{F}_p$ पर कोई c-Wieferich prime (जहाँ $p \nmid d$ ) मौजूद नहीं है। ज्ञात प्रति-उदाहरण के लिए एक क्यूबिक विस्तार (cubic extension, $q=19^3$ ) की आवश्यकता होती है, न कि प्राइम फील्ड की।

महत्व और दावे
शोध पत्र यह दावा करता है कि वह विषम सेटिंग्स में c-Wieferich primes की डिग्री के अभिलक्षण (characteristic) से विभाज्यता संबंधी खुले प्रश्न को हल करता है। यह प्रदर्शित करता है कि थकुर का अनुमान गलत है, और यह घटना केवल विशेषता 2 तक ही सीमित नहीं है।

परिणाम का महत्व दोहरा है:

एक मजबूत अपेक्षा का खंडन: प्रति-उदाहरण "गैर-निश्चित" (non-fixed) है, जिसका अर्थ है कि यह योगात्मक अनुवाद (additive translation) के तहत अपरिवर्तनीय नहीं है ( $P(T) \neq P(T+\gamma)$ )। विषम विशेषता में पिछले कम्प्यूटेशनल खोजों में केवल "फिक्स्ड" उदाहरण मिले थे, जिनमें अनिवार्य रूप से $p$ से विभाज्य डिग्री होती है। यह परिणाम इस मजबूत अपेक्षा का नकारात्मक उत्तर देता कि विषम विशेषता में कोई गैर-फिक्स्ड c-Wieferich prime मौजूद नहीं है।
संरचनात्मक अंतर्दृष्टि: सामान्य गुणनखंड $\gcd([5], M_5)$ के लिए एक क्लोज्ड-फॉर्म अभिव्यक्ति की खोज इन प्राइम्स के वितरण के बारे में गहरी संरचनात्मक समझ प्रदान करती है, जिससे पता चलता है कि वे $\mathbb{F}_{19}$ के गुणांकों वाले एक पूर्ण ट्रांसलेशन क्लास का निर्माण करते हैं।

शोध पत्र स्पष्ट रूप से बताता है कि उदाहरण को ब्रूट-फोर्स सर्च (brute-force search) द्वारा नहीं खोजा गया था (जो $\approx 2.2 \times 10^{15}$ उम्मीदवारों के विशाल खोज स्थान के कारण कम्प्यूटेशनल रूप से असंभव होता), बल्कि एक व्यवस्थित पद्धति के माध्यम से खोजा गया था जो समस्या को एक परिमित गणना में बदल देती है। लेखक नोट करते हैं कि हालांकि परीक्षण किए गए रेंज में प्राइम फील्ड्स पर कोई प्रति-उदाहरण नहीं मिला, लेकिन प्राइम फील्ड पर ऐसे उदाहरण का अस्तित्व वर्तमान कम्प्यूटेशनल सीमाओं से परे एक खुला प्रश्न बना हुआ है।

बहुपदों का गुप्त कोड (The Secret Code of Polynomials)

पाँचवीं परत में आश्चर्य (The Surprise in the Fifth Layer)

नियमों के लिए इसका क्या अर्थ है

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