🔢 mathematics

On the autotopism groups and the equivalence of finite cyclic semifields

यह शोध पत्र आइसोटोपी (isotopy) तक परिमित चक्रीय सेमीफील्ड्स (finite cyclic semifields) का एक पूर्ण वर्गीकरण प्रदान करता है और उनके ऑटोटोपिज्म समूहों (autotopism groups) को पूरी तरह से निर्धारित करता है, जिससे डेमवोल्फ (Dempwolff) द्वारा छोड़ी गई दीर्घकालिक अनसुलझी समस्याओं का समाधान होता है और इन परिणामों को संबद्ध अधिकतम रैंक दूरी (maximum rank distance) कोडों के वर्गीकरण तक विस्तारित किया जाता है।

मूल लेखक: Paolo Santonastaso, Yue Zhou

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

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

CC BY 4.0

मूल लेखक: Paolo Santonastaso, Yue Zhou

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

एक ऐसी दुनिया की कल्पना करें जो परमाणुओं से नहीं, बल्कि नियमों से बनी है। इस दुनिया में, गणितज्ञ उन "संख्याओं" के साथ खेलते हैं जो जोड़ने और गुणा करने के सख्त निर्देशों का पालन करती हैं। आमतौर पर, ये नियम अनुमानित होते हैं: यदि आप 3 को 4 से गुणा करते हैं, तो आपको 12 प्राप्त होता है, और इससे कोई फर्क नहीं पड़ता कि आप इसे (3 गुना 4) के रूप में करते हैं या (4 गुना 3) के रूप में। लेकिन फाइनाइट सेमीफील्ड्स (finite semifields) के अजीब और मुड़े हुए साम्राज्य में, नियम थोड़े विचित्र हो जाते हैं। यहाँ, आपके पास एक ऐसी प्रणाली हो सकती है जहाँ आप किसी भी चीज़ (शून्य को छोड़कर) से भाग दे सकते हैं, लेकिन चीजों को गुणा करने का क्रम उत्तर बदल सकता है, या उन्हें समूह में रखने का तरीका मायने रख सकता है। यह शतरंज के एक ऐसे खेल की तरह है जहाँ मोहरे इस आधार पर अलग तरह से चलते हैं कि बोर्ड कौन पकड़े हुए है, फिर भी खेल कभी अटकता नहीं है।

हम इन अजीब संख्या प्रणालियों की परवाह क्यों करते हैं? क्योंकि ये हमारे संदेश भेजने के लिए उपयोग किए जाने वाले कुछ सबसे सुरक्षित कोड के पीछे का गुप्त सूत्र हैं। कोडिंग थ्योरी (coding theory) की दुनिया में, ये सेमीफील्ड्स "स्प्रेड सेट्स" (spread sets) के रूप में कार्य करते हैं—विशेष पैटर्न जो डेटा के ट्रांसमिशन के दौरान स्कैम्बल होने पर त्रुटियों का पता लगाने और उन्हें ठीक करने में मदद करते हैं। इसे एक परम त्रुटि-सुधारने वाले मंत्र (error-correcting spell) के रूप में समझें। दशकों तक, गणितज्ञों ने इन सेमीफील्ड्स के हर संभावित संस्करण को सूचीबद्ध करने की कोशिश की है, लेकिन यह एक जैसे दिखने वाले पहेली के टुकड़ों के ढेर को छाँटने जैसा रहा है जो वास्तव में हजारों अलग-अलग चित्रों के हिस्से हैं। बड़ा सवाल यह था: "वास्तव में कितने अलग चित्र हैं, और वे कौन से नियम हैं जो हमें चित्र बदले बिना एक को दूसरे में बदलने की अनुमति देते हैं?"

यह शोध पत्र, जिसे पाओलो सान्तोनास्टासो और यू झोउ द्वारा लिखा गया है, इस क्षेत्र में एक विशाल, दशकों पुराने पहेली को हल करता है। वे इन अजीब संख्या प्रणालियों के एक विशिष्ट, महत्वपूर्ण परिवार पर ध्यान केंद्रित करते हैं जिसे चक्रीय सेमीफील्ड्स (cyclic semifields) कहा जाता है। वर्षों तक, विशेषज्ञ आसान मामलों को संभालना जानते थे, लेकिन एक पेचीदा "मध्यम स्थिति" वाला परिदृश्य एक रहस्य बना रहा, जिससे हमारी समझ में एक अंतराल रह गया। लेखकों ने केवल अनुमान नहीं लगाया; उन्होंने एक पूर्ण वर्गीकरण सिद्ध किया। उन्होंने सटीक रूप से दिखाया कि कैसे यह पता लगाया जाए कि क्या दो प्रणालियाँ वास्तव में भेष बदलकर एक ही चीज़ हैं (एक अवधारणा जिसे आइसोटोपी (isotopy) कहा जाता है) और प्रत्येक प्रणाली के पास मौजूद सममिति के पूर्ण समूह (जिसे ऑटोटोपिज्म ग्रुप्स (autotopism groups) कहा जाता है) की गणना की।

इसे ठोस बनाने के लिए, इन सेमीफील्ड्स को अद्वितीय, जटिल लॉक तंत्र (lock mechanisms) के रूप में कल्पना करें। लंबे समय तक, हम सरल या अत्यंत जटिल तालों को खोलने के तरीके जानते थे, लेकिन मध्यम-जटिलता वाले ताल एक 'ब्लैक बॉक्स' बने रहे। यह शोध पत्र उस ब्लैक बॉक्स के लिए मास्टर कुंजी प्रदान करता है। यह एक सटीक नुस्खा देता है कि यह निर्धारित करने के लिए कि क्या दो ताले वास्तव में एक ही डिज़ाइन के हैं, बस घुमाए गए या पलटे गए हैं। इसके अलावा, यह सटीक रूप से गिनता है कि किसी दिए गए आकार के लिए कितने अलग-अलग लॉक डिज़ाइन मौजूद हैं। लेखकों ने यह भी खोजा कि ये गणितीय ताले मैक्सिमम रैंक डिस्टेंस (MRD) कोड्स नामक एक प्रकार के कोड से सीधे जुड़े हुए हैं, जिनका उपयोग उच्च-तकनीकी संचार में डेटा की सुरक्षा के लिए किया जाता है। सेमीफील्ड्स की पहेली को हल करके, उन्होंने इन कोड्स की पहेली को भी एक साथ हल कर दिया, जिससे हमें पता चला कि हम कितने अद्वितीय, सुरक्षित कोड बना सकते हैं और वे एक-दूसरे से कैसे संबंधित हैं।

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

तकनीकी सारांश: ऑटोटोपिज्म समूहों पर और परिमित चक्रीय सेमिफील्ड्स की तुल्यता पर

समस्या विवरण
फाइनाइट चक्रीय सेमिफील्ड्स (finite cyclic semifields), जिनका निर्माण मूल रूप से ह्यूजेस, क्लेनफेल्ड, सैंडलर और नूथ द्वारा किया गया था, और बाद में पेटिट द्वारा सामान्यीकृत एवं झा और जॉनसन द्वारा पुन: खोजा गया, गैर-साहचर्य विभाजन बीजगणित (nonassociative division algebras) के एक महत्वपूर्ण वर्ग का प्रतिनिधित्व करते हैं। सैंडलर (1962) के मौलिक कार्य और उसके बाद डेमवोल्फ (2011) के उन्नत कार्यों के बावजूद, इस परिवार से संबंधित दो महत्वपूर्ण समस्याएँ अनसुलझी रह गईं:

आइसोटोपी (isotopy) तक चक्रीय सेमिफील्ड्स का पूर्ण वर्गीकरण।
उनके ऑटोटोपिज्म समूहों (autotopism groups) का पूर्ण निर्धारण, विशेष रूप से उन मामलों में जहाँ क्षेत्र विस्तार की डिग्री, परिभाषित बहुपद की डिग्री को पूर्णतः विभाजित करती है (एक ऐसा मामला जो डेमवोल्फ द्वारा खुला छोड़ दिया गया था)।

इसके अतिरिक्त, चूंकि चक्रीय सेमिफील्ड्स स्क्यू-पॉलीनोमियल रिंग्स (skew-polynomial rings) के माध्यम से निर्मित विशिष्ट मैक्सिमम रैंक डिस्टेंस (MRD) कोड के उदाहरणों के अनुरूप होते हैं, इसलिए इन कोड्स की तुल्यता और स्व-रूपता (equivalence and automorphism) संबंधी समस्याएँ भी अपूर्ण रूप से समझी गई थीं।

कार्यप्रणाली (Methodology)
लेखक एक दोहरी-ढांचागत दृष्टिकोण अपनाते हैं, जो एक ही बीजगणितीय परिवार के दो पूरक वर्णनों का लाभ उठाता है:

स्क्यू-पॉलीनोमियल मॉडल: रिंग $R = \mathbb{F}_{q^n}[X; \sigma]$ और इसके कोटिएंट $R_F = R/R_F(X^n)$ का उपयोग करना, जहाँ $F(Y)$ , $\mathbb{F}_q$ पर एक अपरिमेय बहुपद है। कोड $S_k(F)$ को $X$ की घातों (powers) द्वारा जनित उप-स्थान (subspaces) के रूप में परिभाषित किया गया है जो $k-1$ तक है।
सेमिलिनियर-ट्रांसफॉर्मेशन मॉडल: कोटिएंट $R_F$ को एक क्षेत्र $E \cong \mathbb{F}_{q^s}$ पर एक सदिश स्थान के एंडोमोर्फिज्म रिंग (endomorphism ring) के रूप में पहचानना। इस सेटिंग में, कोड एक अपरिमेय $\sigma$ -सेमिलिनियर ऑपरेटर $T_F$ की घातों के स्पैन (span) के अनुरूप होते हैं।

मुख्य तकनीकी रणनीति शामिल है:

स्क्यू-पॉलीनोमियल कोटिएंट और सेमिलिनियर ऑपरेटरों के बीजगणित के बीच एक स्पष्ट समाकारिता (isomorphism) स्थापित करना (प्रमेय 3.6)।
कोड संरचना को संरक्षित करने वाले तत्वों को लक्षणित करने के लिए कोटिएंट रिंग के भीतर $\mathbb{F}_{q^n}$ के सेंट्रलइज़र (centralizer) के संरचनात्मक गुणों का विश्लेषण करना (अनुभाग 4)।
समानता समस्या को विशिष्ट समूह क्रियाओं और रेसिप्रोकल इनवोल्यूशन (reciprocal involution) के तहत परिभाषित अपरिमेय बहुपदों $F$ और $G$ की तुलना में कम करना (अनुभाग 5)।
फील्ड ऑटोरिदम (field automorphisms) के साथ रैखिक ऑटोरिदम (linear automorphisms) को जोड़कर पूर्ण ऑटोरिदम समूहों को निर्धारित करना (अनुभाग 6)।

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

आइसोटोपी और तुल्यता तक पूर्ण वर्गीकरण:
यह शोध पत्र एक आवश्यक और पर्याप्त स्थिति प्रदान करता है कि दो चक्रीय सेमिफील्ड्स (या उनके संबंधित MRD कोड $S_k(F)$ और $S_k(G)$ ) आइसोटोपिक या तुल्य होने के लिए क्या चाहिए।

रैखिक तुल्यता (Linear Equivalence): $S_k(F)$ और $S_k(G)$ रैखिक रूप से तुल्य हैं यदि और केवल यदि $\lambda \in \mathbb{F}_q^\times$ ऐसा है कि $F(Y) = \lambda^s G(\lambda^{-1}Y)$ , या विशेष मामले $n=2$ में, $F(Y) = \lambda^s \hat{G}(\lambda^{-1}Y)$ , जहाँ $\hat{G}$ रेसिप्रोकल बहुपद है।
सेमिलिनियर तुल्यता (Semilinear Equivalence): प्राइम फील्ड $\mathbb{F}_p$ पर, तुल्यता तब होती है जब बहुपद एक क्षेत्र ऑटोरिदम $\tau \in \text{Gal}(\mathbb{F}_q/\mathbb{F}_p)$ और ऊपर वर्णित अदिश $\lambda$ द्वारा संबंधित हों।
ये परिणाम गैर-आइसोटोपिक चक्रीय सेमिफील्ड्स और असमान (inequivalent) MRD कोड्स की संख्या पर स्पष्ट निचली सीमाएँ प्रदान करते हैं, जो विशेष रूप से विषम गैर-वर्ग (odd non-square) ऑर्डर्स के लिए ऐसे ऑब्जेक्ट्स की एक "वास्तव में बड़ी आपूर्ति" प्रदर्शित करते हैं।

ऑटोटोपिज्म और ऑटोरिदम समूहों का पूर्ण निर्धारण:
लेखक डेमवोल्फ द्वारा छोड़े गए खुले मामलों को हल करते हुए, चक्रीय सेमिफील्ड्स के ऑटोटोपिज्म समूहों और संबंधित MRD कोड्स के ऑटोरिदम समूहों का पूर्ण लक्षण वर्णन करते हैं।

रैखिक ऑटोरिदम: रैखिक ऑटोरिदम समूह $\text{Aut}_E(S_k(F))$ को स्पष्ट रूप से युग्मों $(\bar{g}, \bar{g}^{-1}\lambda)$ के सेट के रूप में वर्णित किया गया है, जहाँ $\bar{g}$ सेंट्रलइज़र के एक विशिष्ट उपसमूह से संबंधित है। इसका क्रम (order) इस सूत्र द्वारा दिया गया है:
$|\text{Aut}_E(S_k(F))| = \frac{n(q^s - 1)(q^n - 1)^2}{q - 1}$
(विशेष मामला $(n, s, F) = (2, 2, Y^2 - \nu)$ को छोड़कर जो ह्यूजेस-क्लेनफेल्ड सेमिफील्ड्स के अनुरूप है)।
सेमिलिनियर ऑटोरिदम: पूर्ण ऑटोरिदम समूह एक शॉर्ट एक्जैक्ट सीक्वेंस (short exact sequence) में फिट बैठता है:
$1 \longrightarrow \text{Aut}_E(C_k(F)) \longrightarrow \text{Aut}(C_k(F)) \longrightarrow H_F \longrightarrow 1$
जहाँ $H_F$ , $F$ के मूलों (roots) द्वारा निर्धारित $\text{Aut}_{\mathbb{F}_p}(E)$ का एक चक्रीय उपसमूह है।
ऑटोटोपिज्म समूह: सेमिफील्ड मामले ( $k=1$ ) के लिए, स्प्रेड सेट (spread set) के सेमिलिनियर ऑटोरिदम समूह को चक्रीय सेमिफील्ड के पूर्ण ऑटोटोपिज्म समूह के रूप में पहचाना जाता है, जो सामान्य मामले के लिए पहले उपलब्ध नहीं था, एक पूर्ण विवरण प्रदान करता है।

गणना (Enumeration):
वर्गीकरण प्रमेय एक विशिष्ट समूह $G$ (या सेमिलिनियर तुल्यता के लिए $\hat{G}$ ) के तहत परिभाषित बहुपदों के ऑर्बिट्स (orbits) के संदर्भ में चक्रीय सेमिफील्ड्स के आइसोटोपी क्लासेस और MRD कोड्स के इक्विवेलेंस क्लासेस की सटीक गणना करने की अनुमति देते हैं।

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

इसके अलावा, परिणाम कोडिंग थ्योरी तक विस्तारित होते हैं, जो स्क्यू-पॉलीनोमियल के माध्यम से निर्मित MRD कोड्स के एक व्यापक परिवार का प्राइम फील्ड $\mathbb{F}_p$ पर रैखिक और सेमिलिनियर तुल्यता तक पूर्ण वर्गीकरण प्रदान करते हैं। यह पिछले साहित्य (जैसे शीकी [40]) में उठाए गए इन कोड्स की तुल्यता के खुले प्रश्नों को हल करता है। यह कार्य स्थापित करता है कि चक्रीय सेमिफील्ड्स विषम-क्रम (odd-order) के ऐसे सबसे बड़े स्पष्ट परिवार प्रदान करते हैं जिनके आइसोटोपी क्लासेस और स्पष्ट ऑटोटोपिज्म समूह पूरी तरह से निर्धारित हैं, जो वर्ग ऑर्डर्स (square orders) के लिए ज्ञात पिछले बॉउंड्स से कहीं अधिक है।

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