🔢 mathematics

Determinants of modular Collatz graphs and variants

यह शोध पत्र संबद्ध संख्यात्मक गुणों का वर्णन करते हुए मॉड्यूलर कोलात्ज़ ग्राफ और मॉड्यूलर कॉनवे अम्यूजिकल परम्यूटेशन ग्राफ के निर्धारकों को निर्धारित करता है।

मूल लेखक: Achilleas Karras, Benne de Weger

प्रकाशित 2026-01-23

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

CC BY 4.0

मूल लेखक: Achilleas Karras, Benne de Weger

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

मुख्य विचार: संख्याओं का म्यूजिकल चेयर्स (Musical Chairs) का खेल

कल्पिए कि म्यूजिकल चेयर्स का एक विशाल खेल चल रहा है, लेकिन यहाँ लोगों के बजाय संख्याएँ हैं, और संगीत के बजाय, उन्हें इधर-उधर ले जाने के लिए कुछ सख्त नियम हैं।

इस शोध पत्र के लेखक दो प्रसिद्ध संख्यात्मक खेलों का अध्ययन कर रहे हैं:

कोलात्ज़ गेम (The Collatz Game): यदि संख्या सम (even) है, तो उसे 2 से भाग दें। यदि विषम (odd) है, तो उसे 3 से गुणा करें और 1 जोड़ें। (प्रसिद्ध "3n + 1" समस्या)।
कॉनवे का अम्यूजिकल गेम (Conway's Amusical Game): यह नियमों का एक थोड़ा अलग समूह है जिसमें संख्या के आकार के आधार पर 2, 4, या 3 से भाग देने की प्रक्रिया शामिल है।

आमतौर पर, गणितज्ञ पूछते हैं: "यदि मैं इस खेल को खेलना जारी रखूँ, तो क्या संख्या अंततः किसी लूप (चक्कर) में फंस जाएगी या अनंत की ओर निकल जाएगी?" यह प्रसिद्ध कोलात्ज़ अनुमान (Collatz Conjecture) है, जिसे अभी तक कोई हल नहीं कर पाया है।

यह शोध पत्र उस रहस्य को हल करने की कोशिश नहीं करता है। इसके बजाय, लेखक एक अलग सवाल पूछते हैं: "क्या होगा यदि हम इस खेल को एक छोटे, बंद कमरे के भीतर खेलें जिसमें सीटों की एक निश्चित संख्या (मान लीजिए $N$ सीटें) हो?"

"कमरा" (मॉड्यूलर अंकगणित - Modular Arithmetic)

कल्पिए कि आपके पास $N$ घंटों वाली एक घड़ी है। जब आप संख्याओं को जोड़ते या गुणा करते हैं, तो यदि आप अंतिम घंटे से आगे निकल जाते हैं, तो आप वापस शुरुआत पर आ जाते हैं। इसे "मॉड्यूलो $N$ के अंतर्गत कार्य करना" कहा जाता है।

लेखकों ने एक मानचित्र (ग्राफ) बनाया जो दिखाता है कि इस कमरे में प्रत्येक संख्या खेल के नियमों के आधार पर दूसरी संख्या में कैसे बदलती है।

मानचित्र (The Map): प्रत्येक संख्या एक बिंदु है। एक तीर एक बिंदु से दूसरे बिंदु की ओर इशारा करता है जहाँ वह संख्या बदल जाती है।
मैट्रिक्स (The Matrix): उन्होंने इस मानचित्र को एक विशाल स्प्रेडशीट (मैट्रिक्स) में बदल दिया जहाँ उन्होंने यह दिखाने के लिए 1, 2, या 0 लिखे कि संख्याएँ आपस में कैसे जुड़ती हैं।

रहस्य: "डिटरमिनेंट" (The Determinant)

गणित में, हर स्प्रेडशीट के साथ एक विशेष संख्या जुड़ी होती है जिसे डिटरमिनेंट कहते हैं। आप इस डिटरमिनेंट को पूरे मानचित्र के लिए एक "फिंगरप्रिंट" या "स्कोर" मान सकते हैं।

समस्या: जब लेखकों ने विभिन्न कमरे के आकारों ( $N$ ) के लिए इस स्कोर की गणना की, तो परिणाम अराजक (chaotic) दिखे। कभी स्कोर शून्य था। कभी यह बहुत छोटा था। कभी, बहुत विशिष्ट कमरे के आकारों के लिए, स्कोर एक विशाल संख्या (जैसे $2^{100,000}$ ) था।
उपमा (Analogy): कल्पना कीजिए कि आप पासा (die) फेंक रहे हैं। अधिकांश समय, आपको 1, 2, 3, 4, 5, या 6 मिलता है। लेकिन कभी-कभी, आप पासा फेंकते हैं और वह सोने के सिक्कों के पहाड़ में बदल जाता है। लेखक जानना चाहते थे: क्यों केवल कुछ खास दिनों में ही सोने का पहाड़ दिखाई देता है?

खोज: "लूप" का रहस्य

लेखकों ने पाया कि "स्कोर" (डिटरमिनेंट) पूरी तरह से इस बात पर निर्भर करता है कि संख्याएँ लूप्स (चक्करों) में कैसे चलती हैं।

लूप डिटेक्टिव: उन्होंने महसूस किया कि कमरे में संख्याएँ केवल भटकती नहीं हैं; वे लूप्स में फंस जाती हैं। उदाहरण के लिए, 1 से 2, 2 से 4, और 4 वापस 1 पर आता है। यह 3 की लंबाई वाला एक लूप है।
विषम बनाम सम का नियम: उन्होंने एक सरल नियम खोजा:
- यदि कमरे में लूप की लंबाई सम (even) है, तो स्कोर शून्य (Zero) होगा। मानचित्र "टूटा हुआ" या "सपाट" है।
- यदि लूप की लंबाई विषम (odd) है, तो स्कोर गैर-शून्य (Non-Zero) होगा।
स्कोर का आकार: जब स्कोर शून्य नहीं होता, तो इसका आकार इस बात पर निर्भर करता है कि कितने लूप हैं और उनकी लंबाई कितनी है।
- "स्कोर" मूल रूप से 2 की एक घात (power) है (जैसे $2^1, 2^2, 2^{100}$ )।
- घातांक (exponent) की गणना सभी लूपों की लंबाई को एक बहुत ही विशिष्ट तरीके से जोड़कर की जाती है।

अराजकता का "क्यों":
इससे पहले स्कोर "अनिश्चित" क्यों लग रहे थे, इसका कारण यह है कि कमरे का आकार ( $N$ ) बदलने पर इन लूपों की लंबाई अप्रत्याशित रूप से बदल जाती है।

यदि कमरे का आकार $N$ एक ऐसी अभाज्य संख्या (prime number) है जहाँ संख्या 3 (कोलात्ज़ गेम में) वापस शुरू होने में लंबा समय लेती है, तो लूप लंबे होते हैं और स्कोर छोटा होता है।
यदि कमरे का आकार $N$ एक ऐसी अभाज्य संख्या है जहाँ 3 बहुत जल्दी वापस आता है, तो लूप छोटे होते हैं और स्कोर एक विशाल संख्या में बदल जाता है।

"जादुई" सूत्र

लेखकों ने एक सूत्र लिखा है जो स्कोर की सटीक भविष्यवाणी करता है।

चरण 1: कमरे का आकार $N$ देखें।
चरण 2: संख्याएँ जो "लूप्स" बनाती हैं, उन्हें देखें।
चरण 3: यदि कोई भी लूप "सम" (एक विशिष्ट गणितीय अर्थ में) है, तो स्कोर 0 है।
चरण 4: यदि सभी लूप "विषम" हैं, तो स्कोर $2^{\text{कुछ}}$ है। "कुछ" उन सभी लूपों की कुल संख्या है जिन्हें आप ढूंढ सकते हैं।

उन्होंने इसी तर्क को कॉनवे के गेम पर भी लागू किया, और एक समान पैटर्न पाया, हालांकि कॉनवे का गेम गणितीय रूप से थोड़ा अधिक जटिल था क्योंकि इसमें दो के बजाय तीन अलग-अलग नियमों का उपयोग किया जाता है।

इसका क्या अर्थ है (और क्या नहीं)

यह क्या करता है:

यह समझाता है कि इन ग्राफ्स के "स्कोर" इतने यादृच्छिक (random) क्यों दिखते हैं। वे यादृच्छिक नहीं हैं; वे संख्या प्रणाली के भीतर छिपे लूप्स द्वारा सख्ती से निर्धारित होते हैं।
यह अरबों गणनाएँ किए बिना इन विशाल संख्याओं की गणना करने का एक तरीका प्रदान करता है।
यह नियमों को अन्य प्रकार के संख्यात्मक खेलों (जैसे $pn + q$) तक विस्तारित करता है।

यह क्या नहीं करता है:

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

सारांश उपमा

कल्पना कीजिए कि आप $N$ सड़कों वाले शहर में एक टूर गाइड हैं। आपके पास एक नियम है: "यदि सड़क की संख्या सम है तो बाएं मुड़ें, यदि विषम है तो दाएं मुड़ें।"

कभी-कभी, यदि आप नियमों का पालन करते हैं, तो आप एक छोटे घेरे में फंस जाते हैं।
कभी-कभी, आप एक बड़े घेरे में फंस जाते हैं।
लेखकों ने पाया कि यदि आप गिनते हैं कि कितने घेरे मौजूद हैं और वे कितने बड़े हैं, तो आप एक "सिटी स्कोर" (शहर का स्कोर) की गणना कर सकते हैं।
यदि शहर में कोई भी "सम-आकार" का घेरा है, तो स्कोर शून्य है (शहर उबाऊ है)।
यदि सभी घेरे "विषम-आकार" के हैं, तो स्कोर एक विशाल संख्या है, और उस संख्या का आकार आपको बताता है कि वहां कितने घेरे हैं।

उन्होंने किसी भी शहर के आकार के लिए इस स्कोर की गणना करने का गुप्त कोड ढूंढ लिया, जिससे उनके डेटा में दिखने वाले उतार-चढ़ाव स्पष्ट हो गए।

तकनीकी सारांश: मॉड्यूलर कोलात्ज़ ग्राफ और वेरिएंट्स के निर्धारक (Determinants)

समस्या विवरण
यह शोध पत्र पूर्णांकों के कॉंग्रुएंस क्लासेस (congruence classes) पर कोलात्ज़ $3n+1$ फलन और कॉनवे के "एम्यूजिकल" (amusical) क्रमचय फलन (permutation function) की क्रिया का प्रतिनिधित्व करने वाले परिमित निर्देशित ग्राफों (finite directed graphs) के संरचनात्मक गुणों की जांच करता है। विशेष रूप से, लेखक इन मॉड्यूलर ग्राफों के आसन्न आव्यूह (adjacency matrices) पर ध्यान केंद्रित करते हैं, जिन्हें कोलात्त्ज़ मामले के लिए $C_N$ और कॉनवे मामले के लिए $M_N$ के रूप में दर्शाया गया है। हालांकि ये ग्राफ एक नियमित संरचना प्रदर्शित करते हैं (जैसे, विशिष्ट आउटडिग्री), उनके निर्धारक (determinants) $N$ के बदलने के साथ-साथ अत्यंत अनियमित व्यवहार दिखाते हैं। मुख्य उद्देश्य इन निर्धारकों के लिए स्पष्ट सूत्र प्राप्त करना और संख्या-सिद्धांत संबंधी गुणों, विशेष रूप से $N$ के विभाजकों के मॉड्यूलो मल्टीप्लिकेटिव ऑर्डर (multiplicative orders) का उपयोग करके देखे गए पैटर्न की व्याख्या करना है।

कार्यप्रणाली
लेखक प्रयोगात्मक गणना, ग्राफ सिद्धांत और बीजगणितीय संख्या सिद्धांत के संयोजन का उपयोग करते हैं।

प्रयोगात्मक विश्लेषण: $N \le 300,000$ के लिए प्राइम $N$ हेतु $\det(C_N)$ की प्रारंभिक गणनाओं से पता चला कि गैर-शून्य निर्धारक 2 की घातें हैं (एक चिह्न के साथ), जो अक्सर तब बड़े होते हैं जब $N$ , $3^k - 1$ का एक विभाजक होता है।
ग्राफ अपघटन (Graph Decomposition): मॉड्यूलर ग्राफों का विश्लेषण विशिष्ट क्रमचयों द्वारा प्रेरित किनारों के संघ (unions of edges) के रूप में किया जाता है। कोलात्ज़ फलन के लिए, किनारे क्रमचय $\pi_2(n) \equiv 2^{-1}n$ और $\pi_3(n) \equiv 2^{-1}(3n+1)$ के अनुरूप होते हैं।
क्रमचय चक्र विश्लेषण (Permutation Cycle Analysis): मूल सैद्धांतिक उपकरण $\rho_0 = \pi_3 \pi_2^{-1}$ के विलगित चक्रों (disjoint cycles) में अपघटन है। लेखक दो क्रमचयों के संयोजन के आसन्न आव्यूह के निर्धारक के संबंध में एक सामान्य प्रमेय का उपयोग करते हैं, जो उनके संयोजन के चक्र संरचना से संबंधित है।
स्पेक्ट्रल विश्लेषण (Spectral Analysis): एक वैकल्पिक प्रमाण दृष्टिकोण आसन्न आव्यूह को $I + X$ के रूप में रूपांतरित करना है, जहाँ $X$ एक क्रमचय आव्यूह (permutation matrix) है। $X$ का स्पेक्ट्रम अंतर्निहित क्रमचय की चक्र लंबाई द्वारा निर्धारित होता है, जिससे निर्धारक की गणना आइजनवैल्यू (eigenvalues) के गुणनफल के रूप में की जा सकती है।
सामान्यीकरण (Generalization): विधियों को सामान्यीकृत $pn+q$ फलन और कॉनवे के तीन-नियम वाले क्रमचय तक विस्तारित किया गया है, जिसमें चक्र संरचना और चिह्नों को निर्धारित करने के लिए डिस्क्रीट फूरियर ट्रांसफॉर्म और जैकोबी सिंबल (Jacobi symbols) के गुणों का उपयोग किया गया है।

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

कोलात्ज़ ग्राफ ( $C_N$ ):
- सम मापांक (Even Moduli): यह सिद्ध किया गया है कि सम $N$ के लिए, $\det(C_N) = 0$ होता है। आव्यूह की रैंक $N/2$ है और विशेषता बहुपद (characteristic polynomial) $P_N(x) = x^{N/2} P_{N/2}(x)$ का पालन करता है।
- विषम मापांक (Odd Moduli): विषम $N$ के लिए, निर्धारक गैर-शून्य तभी होता है जब $N$ के प्रत्येक अभाज विभाजक के मॉड्यूलो 3 का मल्टीप्लिकेटिव ऑर्डर विषम हो।
- स्पष्ट सूत्र: मान लीजिए $N = 3^h N_0$ जहाँ $3 \nmid N_0$ । परिभाषित करें $K_N = \sum_{d|N_0} \frac{\phi(d)}{\text{ord}_d(3)}$ । तब:
  $\det(C_N) = \begin{cases} 0 & \text{यदि } \exists p|N_0 \text{ ऐसा कि } \text{ord}_p(3) \text{ सम है} \\ 2^{K_N} & \text{यदि } \forall p|N_0, \text{ord}_p(3) \text{ विषम है और } N \equiv \pm 1 \pmod 8 \\ -2^{K_N} & \text{यदि } \forall p|N_0, \text{ord}_p(3) \text{ विषम है और } N \equiv \pm 3 \pmod 8 \end{cases}$
- यह सूत्र "अनियमित" व्यवहार की व्याख्या करता है: बड़े निर्धारक तब होते हैं जब $N$ , $3^k-1$ को विभाजित करता है जिससे $k$ के छोटे मान के लिए मल्टीप्लिकेटिव ऑर्डर छोटे और $K_N$ बड़ा हो जाता है।
- सुदृढ़ संबद्धता (Strong Connectivity): सभी $N$ के लिए मॉड्यूलर कोलात्ज़ ग्राफ सुदृढ़ रूप से संबद्ध (strongly connected) सिद्ध होते हैं।
कॉनवे का एम्यूजिकल क्रमचय ( $M_N$ ):
- ग्राफ को $n \pmod 4$ पर आधारित तीन नियमों द्वारा परिभाषित किया गया है।
- सम/3 से विभाज्य: यदि $N$ सम है या 3 से विभाज्य है, तो $\det(M_N) = 0$ होता है।
- स्पष्ट सूत्र: $N$ के लिए, जो 6 के सह-अभाज्य (coprime) है, $k_d = \text{ord}_d(2)$ मान लें। परिभाषित करें $K_N = \sum_{d|N, d>1} \frac{\phi(d)}{k_d}$ । तब:
  $\det(M_N) = \begin{cases} 0 & \text{यदि } \exists p|N \text{ ऐसा कि } \text{ord}_p(2) \text{ सम है} \\ 3 \cdot 2^{K_N} & \text{यदि } \forall p|N, \text{ord}_p(2) \text{ विषम है और } N \equiv \pm 1, \pm 5 \pmod{24} \\ -3 \cdot 2^{K_N} & \text{यदि } \forall p|N, \text{ord}_p(2) \text{ विषम है और } N \equiv \pm 7, \pm 11 \pmod{24} \end{cases}$
- सुदृढ़ संबद्धता: मॉड्यूलर कॉनवे ग्राफ भी सुदृढ़ रूप से संबद्ध सिद्ध होते हैं।
सामान्यीकरण:
- परिणामों को $pn+q $फलन (विषम$ p, q $के लिए जो$ N $के सह-अभाज्य हैं) के लिए सामान्यीकृत किया गया है, यह दिखाते हुए कि निर्धारक$ N $के विभाजकों के मॉड्यूलो$ p $के मल्टीप्लिकेटिव ऑर्डर पर निर्भर करता है, और$ q $से स्वतंत्र है (बशर्ते$ \gcd(N, q)=1$)।

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

हालाँकि, शोध पत्र स्पष्ट रूप से कोलात्ज़ अनुमान (Collatez conjecture) के व्यापक संदर्भ के संबंध में एक सीमा नोट करता है। लेखक कहते हैं, "हम सोचते हैं कि हमारे परिणामों में कुछ रुचि है, हालाँकि, हमें यह नहीं दिख रहा है कि वे कोलात्ज़ अनुमान को सिद्ध करने में, या कॉनवे के एम्यूजिकल क्रमचय के बारे में समान कथनों को सिद्ध करने में कैसे मदद कर सकते हैं।" यह कार्य मूल फलनों की अनंत गतिकी (infinite dynamics) को हल करने की दिशा में एक कदम के बजाय मॉड्यूलर ग्राफों के संरचनात्मक और संख्या-सिद्धांत संबंधी लक्षण वर्णन के रूप में प्रस्तुत किया गया है।