🔢 mathematics

Cobham's theorem for the Gaussian integers

यह मानते हुए कि फोर एक्सपोनेंशियल कंजैक्चर (four exponentials conjecture) की आवश्यकता नहीं है, यह शोध पत्र हैंसेल और सेफर के उस अनुमान को सिद्ध करता है कि दो गुणात्मक रूप से स्वतंत्र आधारों (जहाँ कम से कम एक आधार किसी पूर्णांक का मूल नहीं है) में पहचानने योग्य गॉसियन पूर्णांकों का कोई भी उपसमुच्चय अंततः आवर्ती (eventually periodic) होगा, जिससे गॉसियन न्यूमérations के लिए कोबहम-सेमेनोव प्रमेय का सामान्यीकरण होता है।

मूल लेखक: Álvaro Bustos-Gajardo, Robbert Fokkink, Reem Yassawi

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

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

CC BY 4.0

मूल लेखक: Álvaro Bustos-Gajardo, Robbert Fokkink, Reem Yassawi

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

संख्याओं की गुप्त भाषा

कल्पना कीजिए कि आप एक रोबोट को गिनती करना सिखाने की कोशिश कर रहे हैं। आप उसे कुछ नियम देते हैं, जैसे "संख्या 5 को '101' के रूप में लिखें।" हमारा मस्तिष्क और कंप्यूटर इसी तरह काम करते हैं: हम एक संख्या प्रणाली (numeration system) का उपयोग करते हैं, जो बड़ी संख्याओं को छोटे प्रतीकों (अंकों) की श्रृंखला में बदलने का एक तरीका है। आमतौर पर, हम आधार-10 (0 से 9 तक के अंक) का उपयोग करते हैं, लेकिन आप आधार-2 (केवल 0 और 1) या आधार-12 का भी उपयोग कर सकते हैं।

अब, एक ऐसे रोबोट की कल्पना करें जो न केवल संख्याएँ पढ़ता है, बल्कि यह भी अनुमान लगाता है कि आगे क्या आएगा। यदि आप उसे किसी संख्या की स्ट्रिंग (श्रृंखला) देते हैं, तो वह एक रंग या ध्वनि उत्पन्न करता है। यदि रोबोट पर्याप्त सरल है—यानी अपने आउटपुट को तय करने के लिए सीमित संख्या में "अवस्थाओं" (states) या "मूड्स" का उपयोग करता है—तो हम उसके द्वारा बनाए गए पैटर्न को एक स्वचालित अनुक्रम (automatic sequence) कहते हैं। ये पैटर्न आकर्षक हैं क्योंकि ये इतने जटिल हैं कि दिखने में यादृच्छिक (random) लगते हैं, फिर भी एक छोटी सी मशीन द्वारा बनाए जाने के लिए पर्याप्त सरल हैं।

लंबे समय से, गणितज्ञ इन पैटर्न के साथ एक खेल खेल रहे हैं। उन्होंने पूछा: "यदि कोई पैटर्न दो अलग-अलग गणना प्रणालियों (मान लीजिए आधार-2 और आधार-3) द्वारा उत्पन्न किया जा सकता है, तो क्या इसका मतलब यह है कि वह पैटर्न वास्तव में केवल एक उबाऊ, दोहराव वाला लूप है?" सामान्य पूर्ण संख्याओं की दुनिया में, उत्तर एक जोरदार हाँ है। यह एक प्रसिद्ध नियम है जिसे कोबहैम का प्रमेय (Cobham's Theorem) कहा जाता है। यह कहता है कि यदि कोई पैटर्न दो अलग-अलग आधारों में "स्वचालित" है जो एक सरल संबंध साझा नहीं करते हैं, तो वह पैटर्न अंततः आवधिक (eventually periodic) होगा—अर्थात, कुछ समय बाद वह एक अनुमानित, दोहराव वाली लय में स्थिर हो जाएगा।

लेकिन क्या होगा यदि हम पूर्ण संख्याओं की सीधी रेखा को छोड़कर एक अधिक जटिल दुनिया में कदम रखें? क्या होगा यदि हमारी संख्याएँ केवल 1, 2, 3 नहीं, बल्कि इसमें काल्पनिक भाग भी शामिल हों, जैसे $1+i$ या $2-i$ ? इन्हें गौसियन पूर्णांक (Gaussian integers) कहा जाता है। वे एक एकल रेखा के बजाय एक सपाट ग्रिड (जटिल तल/complex plane) पर रहते हैं। बड़ा सवाल यह था: क्या कोबहैम का प्रमेय यहाँ भी लागू होता है? यदि इस ग्रिड पर एक पैटर्न दो अलग-अलग "काल्पनिक" गणना प्रणालियों (आधारों) में सरल दिखता है, तो क्या वह अभी भी केवल एक दोहराव वाला लूप ही है?

शोध पत्र की खोज: ग्रिड को वश में करना

यह शोध पत्र, जिसका शीर्षक अल्वारो बुस्टोस-गाजाल्डो, रॉबर्ट फोक्किनक और रीम यासावी द्वारा "कोब meskipun'स थ्योरम फॉर द गौसियन इंटीजर्स" (Cobham's Theorem for the Gaussian Integers) है, उस प्रश्न का उत्तर एक निश्चित हाँ के साथ देता है, लेकिन कुछ महत्वपूर्ण शर्तों के साथ। लेखक सिद्ध करते हैं कि यदि आपके पास गौसियन पूर्णांकों के ग्रिड पर एक पैटर्न है जिसे दो अलग-अलग "काल्पनिक" गणना प्रणालियों (आधारों) द्वारा उत्पन्न किया जा सकता है, और वे आधार "गुणात्मक रूप से स्वतंत्र" (multiplicatively independent) हैं (अर्थात, एक दूसरे की घात नहीं है), तो वह पैटर्न अनिवार्य रूप से अंततः आवधिक होगा।

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

हालाँकि, यह शोध पत्र एक स्पष्ट रेखा खींचता है। यह नियम तभी काम करता है जब कम से कम एक गणना आधार एक "पूर्णांक का मूल" (root of an integer) न हो।

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

यह क्यों महत्वपूर्ण है (बिना तकनीकी शब्दावली के)

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

इस शोध पत्र की मुख्य उपलब्धि यह है कि इसने उस अस्थिर पुल की आवश्यकता को समाप्त कर दिया। उन्होंने परिणाम को केवल ठोस, स्थापित गणित का उपयोग करके सिद्ध किया। उन्होंने दिखाया कि "बादल वाले पुल" की आवश्यकता नहीं थी। उन्होंने हंसल और सेफर के एक विशिष्ट अनुमान को भी सुलझा लिया, यह पुष्टि करते हुए कि सबसे सामान्य प्रकार की गौसियन गणना प्रणालियों (प्राकृतिक संख्याओं का उपयोग करने वाले आधारों) के लिए, पैटर्न हमेशा अंततः आवधिक होता है।

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

तकनीकी सारांश: गॉसियन पूर्णांकों (Gaussian Integers) के लिए कोबहम का प्रमेय

समस्या विवरण
कोबहम का प्रमेय ऑटोमेटा सिद्धांत और संख्या सिद्धांत में एक मौलिक परिणाम है, जो यह बताता है कि प्राकृतिक संख्याओं का एक अनुक्रम $k$ -ऑटोमैटिक और $\ell$ -ऑटोमैटिक (जहाँ $k$ और $\ell$ गुणात्मक रूप से स्वतंत्र पूर्णांक हैं) है यदि और केवल यदि वह अनुक्रम अंततः आवर्ती (eventually periodic) है। जबकि इस प्रमेय को विभिन्न तार्किक और गतिशील संदर्भों में सामान्यीकृत किया गया है, $\mathbb{Z}$ से यूक्लिडियन डोमेन, विशेष रूप से गॉसियन पूर्णांकों $\mathbb{Z}[i]$ तक इसके विस्तार में एक महत्वपूर्ण अंतराल बना हुआ था।

हंसल और सेफ़र के पिछले कार्य ने आधार $\alpha = -m + i$ (जहाँ $m \ge 1$ ) और गैर-ऋणात्मक पूर्णांक अंक सेट (digit sets) वाले संख्यांकन प्रणालियों (numeration systems) को संबोधित किया था। उन्होंने प्रदर्शित किया कि यदि एक उपसमुच्चय $S \subset \mathbb{Z}[i]$ दो ऐसे आधारों द्वारा पहचाना जा सकता है, तो वह समुच्चय सिडेटिक (syndetic) है। उन्होंने अनुमान लगाया था कि ऐसा समुच्चय अंततः आवर्ती होना चाहिए (अर्थात, दो $\mathbb{Z}$ -रैखिक रूप से स्वतंत्र वेक्टरों द्वारा एक परिमित सेट के बाहर अनुवाद द्वारा अपरिवर्तनीय)। हालाँकि, उनके प्रमाण के लिए फोर एक्सपोनेंशियल कंजेक्चर (Four Exponentials Conjecture) पर निर्भरता थी, जो विश्लेषणात्मक संख्या सिद्धांत की एक गहरी और अप्रमाणित परिकल्पना है, जिससे यह अनुमान अनसुलझा रह गया था।

कार्यप्रणाली
लेखक गॉसियन पूर्णांकों के लिए कोबहम के प्रमेय का एक प्रमाण प्रदान करते हैं जो फोर एक्सपोनेंशियल कंजेक्चर पर निर्भर नहीं है। उनका दृष्टिकोण प्रमेय को गैसीय संख्यांकन (Gaussian numerations) के सबसे बड़े संभव परिवार (किसी भी परिमित जनरेटिंग अंक सेट) के लिए सामान्यीकृत करता है और गहरे विश्लेषणात्मक संख्या सिद्धांत पर निर्भरता को हटा देता है।

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

$\mathbb{Z}[i]$ में डिरिचलेट सन्निकटन (Dirichlet Approximation): $\mathbb{C}$ में मल्टीप्लिकेटिव ग्रुप $\langle \alpha, \beta \rangle$ के घनत्व पर निर्भर रहने के बजाय (जिसके लिए फोर एक्सपोनेंशियल कंजेक्चर की आवश्यकता होती है), लेखक एक कमजोर परिणाम का उपयोग करते हैं: कि $1$, दो गुणात्मक रूप से स्वतंत्र गॉसियन पूर्णांकों द्वारा जनरेट किए गए मल्टीप्लिकेटिव ग्रुप में एक विलगित बिंदु (isolated point) नहीं है। इसे लेम्मा 3 के माध्यम से स्थापित किया गया है, जो सिद्ध करता है कि यदि $1$ विलगित होता, तो समूह विविक्त (discrete) होता, जिसका अर्थ मल्टीप्लिकेटिव डिपेंडेंस होता।
पंपिंग लेम्मा और रिटर्न नंबर्स (Pumping Lemma and Return Numbers): लेखक गॉसियन पूर्णांक विस्तारों पर कार्य करने वाले परिमित अवस्था ऑटोमेटा (DFAOs) की संरचना का विश्लेषण करते हैं। वे ऑटोमेटा में विशिष्ट अवस्थाओं के लिए "रिटर्न नंबर्स" को परिभाषित करते हैं। ऑटोमेटा की अवस्थाओं पर वैन डेर वेर्डन के प्रमेय (van der Waerden's theorem) को लागू करके, वे रिटर्न नंबर्स के अनुरूप अंकगणितीय प्रगति (arithmetic progressions) की पहचान करते हैं।
कोलीनियरिटी विश्लेषण (Collinearity Analysis): एक महत्वपूर्ण चरण लेम्मा 14 है, जो यह प्रदर्शित करता है कि यदि रिटर्न नंबर्स का एक अनुक्रम एक रेखा पर स्थित है (कोलीनियर है), तो आधार एक पूर्णांक का मूल (root) होना चाहिए। फलस्वरूप, यदि आधार एक पूर्णांक का मूल नहीं है, तो रिटर्न नंबर्स गैर-कोलीनियर होने चाहिए। यह दो $\mathbb{Z}$ -रैखिक रूप से स्वतंत्र अवधियों (periods) के निर्माण की अनुमति देता है।
पीरियड प्रोपेगेशन (Period Propagation): गॉसियन पूर्णांकों के लिए अनुकूलित फाइन और विल्फ (Fine and Wilf) के प्रमेय के एक संस्करण (लेम्मा 18 और 19) का उपयोग करते हुए, वे दिखाते हैं कि ओवरलैपिंग बॉल्स पर स्थानीय आवर्तता (step-periodicity) को वैश्विक आवर्तता तक प्रसारित किया जा सकता है। वे $\mathbb{Z}[i]$ का बॉल्स द्वारा एक कवरिंग (covering) का निर्माण करते हैं जहाँ कॉन्फ़िगरेशन गैर-कोलीनियर रिटर्न नंबर्स से प्राप्त विशिष्ट अवधियों को प्रदर्शित करता है।

प्रमुख योगदान और परिणाम
प्राथमिक परिणाम प्रमेय 1 है, जो कहता है:

मान लीजिए $\alpha$ और $\beta$ दो गुणात्मक रूप से स्वतंत्र गॉसियन पूर्णांक हैं जिनके $|\alpha|, |\beta| > 1$ हैं। यदि $\alpha$ या $\beta$ में से एक पूर्णांक का मूल नहीं है, तो एक कॉन्फ़िगरेशन $(a_z)_{z \in \mathbb{Z}[i]}$ $\alpha$ - और $\beta$ -ऑटोमैटिक है यदि और केवल यदि वह अंततः आवर्ती है।

प्रमुख तकनीकी निष्कर्षों में शामिल हैं:

हंसल और सेफ़र के अनुमान का समाधान: यह शोध पत्र इस तथ्य को सिद्ध करता है कि $-m+i$ रूप के आधारों द्वारा पहचाने जाने वाले सेट अंततः आवर्ती होते हैं। चूँकि निवेन के प्रमेय (Niven's Theorem) के अनुसार $m > 1$ के लिए $-m+i$ कभी भी पूर्णांक का मूल नहीं होता है, इसलिए प्रमेय 1 की शर्त संतुष्ट होती है।
शर्त की अनिवार्यता: लेखक दिखाते हैं कि "एक आधार पूर्णांक का मूल नहीं है" की शर्त सटीक है। यदि दोनों आधार पूर्णांकों के मूल हैं, तो गैर-अंततः आवर्ती कॉन्फ़िगरेशन मौजूद हो सकते हैं (उदाहरण के लिए, $\mathbb{N}$ का विशेषता फलन $\alpha$ -ऑटोमैटिक है यदि $\alpha$ एक पूर्णांक का मूल है)।
संख्यांकन प्रणालियों का सामान्यीकरण: प्रमाण किसी भी परिमित अंक सेट $D$ के लिए मान्य है जो एक संख्यांकन प्रणाली को जनरेट करता है, न कि केवल हंसल और सेफ़र द्वारा विचारित "प्राकृतिक" गैर-ऋणात्मक पूर्णांक अंक सेटों के लिए।
कंजुगेशन पर कोरोलरी: शोध पत्र स्थापित करता है कि यदि एक सेट $U \subset \mathbb{Z}[i]$ $\beta$ -ऑटोमैटिक है और अपने कॉम्प्लेक्स कंजुगेट के बराबर है ( $U = \bar{U}$ ), और अंततः आवर्ती नहीं है, तो $\beta$ को एक पूर्णांक का मूल होना चाहिए।

महत्व
यह शोध पत्र दावा करता है कि उसने बिना किसी अप्रमाणित विश्लेषणात्मक अनुमानों पर निर्भर रहे गॉसियन पूर्णांकों के लिए कोबहम के प्रमेय के विस्तार को सुलझा दिया है। यह प्रदर्शित करके कि यह परिणाम ऑटोमेटा के प्रारंभिक गुणों और गॉसियन पूर्णांकों की ज्यामिति (विशेष रूप से मल्टीप्लिकेटिव ग्रुप में $1$ की गैर-विलिप्तता) पर आधारित है, लेखक "सामान्य संख्या रिंगों के लिए कोबहम के लिए रास्ता खोलते हैं।"

यह कार्य कोबहम-सेमेनोव प्रमेय को गॉसियन संख्यांकन के लिए सामान्यीकृत करता है। यह कॉन्स्टेंट शेप सब्स्टीट्यूशन (constant shape substitutions) पर कैबेज़ा और पेटिट के कार्य से भी जुड़ता है, जो यह संकेत देता है कि जो गैर-तुच्छ कॉन्फ़िगरेशन गॉसियन आधारों द्वारा जनरेट होते हैं और जो पूर्णांकों के मूल नहीं हैं, उन्हें मानक $(k, k)$ -ऑटोमैटिक कॉन्फ़िगरेशन द्वारा पुनरुत्पादित नहीं किया जा सकता है। लेखक नोट करते हैं कि हालांकि यह एक पहला कदम है, अन्य पूर्णांक रिंगों (जैसे $\mathbb{Z}[\zeta]$ या क्वाड्रेटिक इंटीजर रिंग्स) तक विस्तार भविष्य की जांच के लिए एक स्वाभाविक दिशा है।

संख्याओं की गुप्त भाषा

शोध पत्र की खोज: ग्रिड को वश में करना

यह क्यों महत्वपूर्ण है (बिना तकनीकी शब्दावली के)

तकनीकी सारांश: गॉसियन पूर्णांकों (Gaussian Integers) के लिए कोबहम का प्रमेय

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