🔢 mathematics

The finite basis problem for matrix semirings $\mathbf{M}_n(S_7)$

यह शोध पत्र योगात्मक रूप से इडेम्पोटेंट (additively idempotent) सेमिरिंग्स पर मैट्रिक्स सेमिरिंग्स के लिए एक एम्बेडिंग प्रमेय स्थापित करता है और यह सिद्ध करता है कि गैर-परिमित आधारित (nonfinitely based) सेमिरिंग $S_7$ पर मैट्रिक्स सेमिरिंग्स द्वारा जनरेट की गई किस्में (varieties) स्वयं गैर-परिमित आधारित हैं, जो स्वयं की एक स्पष्ट रूप से आरोही भिन्न किस्मों की श्रृंखला बनाती हैं।

मूल लेखक: Jun Jiao, Miaomiao Ren

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

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

CC BY 4.0

मूल लेखक: Jun Jiao, Miaomiao Ren

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

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

इस शोध पत्र में, दो गणितीय जासूस, जुन जियाओ (Jun Jiao) और मियाओमियाओ रेन (Miaomiao Ren), इन ब्लॉकों के एक विशिष्ट, रहस्यमय सेट की जांच करते हैं जिसे $S_7$ कहा जाता है। इस सेट में केवल तीन तत्व हैं, लेकिन यह एक बहुत ही अजीब समस्या का "बॉस" है: फाइनाइट बेसिस प्रॉब्लम (Finite Basis Problem)।

रहस्य: क्या हम नियम लिख सकते हैं?

इन ब्लॉकों के प्रत्येक सेट के कुछ गुप्त नियम (जिन्हें "identities" कहा जाता है) होते हैं जो बताते हैं कि वे कैसे व्यवहार करते हैं। बड़ा सवाल यह है: क्या हम इन सभी नियमों को एक छोटी, सीमित सूची का उपयोग करके लिख सकते हैं?

अधिकांश सेटों के लिए, उत्तर "हाँ" है। आप एक चीट शीट लिख सकते हैं जिसमें कुछ पंक्तियाँ हों, और आपका काम हो गया। लेकिन कुछ सेटों के लिए, नियम इतने जटिल और अनंत होते हैं कि चाहे आपकी चीट शीट कितनी भी लंबी क्यों न हो, हमेशा एक नया नियम रह जाएगा जिसे आप भूल गए। इन सेटों को नॉनफाइनाइटली बेस्ड (nonfinitely based) कहा जाता है। यह एक ऐसी भाषा के लिए शब्दकोश लिखने जैसा है जो हर बार पन्ना पलटने पर नए शब्द गढ़ती रहती है।

बड़ी खोज: $S_7$ वायरस

लेखक $S_7$ के मैट्रिक्स संस्करणों के बारे में कुछ अविश्वसनीय सिद्ध करते हैं। वे दिखाते हैं कि यदि आप $S_7$ को $n \times n$ के वर्गाकार ग्रिड (जहाँ $n$ 2 या उससे बड़ा है) में व्यवस्थित करते हैं, तो परिणामी मैट्रिक्स सिस्टम नॉनफाइनाइटली बेस्ड (nonfinitely based) होता है।

$S_7$ को एक छोटे, अदृश्य वायरस के रूप में सोचें। लेखक सिद्ध करते हैं कि यह वायरस इतना संक्रामक है कि यदि आप इसे एक मैट्रिक्स के भीतर रखते हैं, तो पूरा मैट्रिक्स सिस्टम "अनंत नियमों" की बीमारी से संक्रमित हो जाता है। चाहे मैट्रिक्स कितना भी बड़ा हो जाए (2x2, 3x3, 100x100), नियम अनंत ही रहेंगे और लिखे जाने योग्य नहीं होंगे।

उन्होंने यह भी पाया कि यह संक्रमण और भी आगे तक फैलता है। यदि आप उन सिस्टमों के किसी भी समूह को देखते हैं जो नन्हे $S_7$ और बड़े मैट्रिक्स $M_n(S_7)$ के "बीच" में स्थित हैं, तो वे सभी संक्रमित हैं। वास्तव में, उनके बीच का स्थान इन विभिन्न प्रकार के सिस्टमों से इतना भरा हुआ है कि वहां कम से कम गणना योग्य अनंत (countably infinitely many) अलग-अलग किस्में छिपी हुई हैं। यह पानी की एक एकल बूंद में अनंत संख्या में अलग-अलग प्रजातियों के कीड़ों को खोजने जैसा है।

विविधताओं की सीढ़ी (The Ladder of Varieties)

यह शोध पत्र एक सीढ़ी भी बनाता है। उन्होंने सिद्ध किया कि आप हमेशा $n \times n$ मैट्रिक्स सिस्टम को $(n+1) \times (n+1)$ सिस्टम के भीतर फिट कर सकते हैं। यह एक श्रृंखला बनाता है:
$V(M_2) \le V(M_3) \le V(M_4) \dots$

ब्लॉकों के कुछ अन्य प्रकारों (जैसे दो-तत्व वाले डिस्ट्रीब्यूटिव लैट्टिस) के लिए, यह सीढ़ी बिना किसी पायदान को दोहराए अनंत तक ऊपर चढ़ती रहती है। लेकिन हमारे $S_7$ वायरस के लिए, लेखक पूरी तरह से आश्वस्त नहीं हैं कि सीढ़ी रुक जाती है या यह अनंत तक चलती रहती है। उन्हें संदेह है कि यह दूसरे पायदान पर ही रुक सकती है, लेकिन उन्होंने अभी तक इसे सिद्ध नहीं किया है।

"फाइव-मैट्रिक्स" ट्रिक

यहाँ उनकी जांच का सबसे चंचल हिस्सा है। लेखकों ने देखा कि जब वे इन मैट्रिसेस को आपस में गुणा करते हैं तो क्या होता है। उन्होंने एक अजीब "निलपोटेंट" (nilpotent) गुण की खोज की।

कल्पतः, आपके पास इन मैट्रिसेस का एक ढेर है। यदि आप एक पंक्ति में पाँच मैट्रिसेस को गुणा करते हैं, तो परिणाम हमेशा एक "मृत" मैट्रिक्स होता है (जो $\infty$ से भरा होता है जो शून्य की तरह कार्य करता है)। ऐसा है जैसे सिस्टम की एक स्मृति सीमा (memory limit) है: पाँच चरणों के बाद, सब कुछ शून्य में ढह जाता है।

हालाँकि, यदि आप केवल चार को गुणा करते हैं, तो वे हमेशा ढह नहीं जाते। कभी-कभी उनमें अभी भी जीवन होता है। इसका मतलब है कि सिस्टम 5-निलपोटेंट (5-nilpotent) है लेकिन 4-निलपोटेंट नहीं है।

इस रहस्य के लिए इसका क्या अर्थ है

क्योंकि सिस्टम पाँच गुणनफलों के बाद इतनी जल्दी ढह जाता है, लेखक दृढ़ता से सुझाव देते हैं (लेकिन सिद्ध नहीं करते) कि विविधताओं की सीढ़ी स्थिर हो सकती है। उन्हें लगता है कि 2x2 मैट्रिक्स के नियम 3x3 मैट्रिक्स के नियमों के बिल्कुल समान हो सकते हैं, और इसी तरह। यदि यह सच है, तो "अनंत नियमों" की बीमारी वास्तविक है, लेकिन आकार की सीढ़ी उतनी ऊँची नहीं है जितनी हमने सोची थी।

निर्णय

सिद्ध: मैट्रिक्स सिस्टम $M_n(S_7)$ नॉनफाइनाइटली बेस्ड हैं। उनके पास नियमों की कोई सीमित सूची नहीं है।
सिद्ध: $S_7$ और $M_n(S_7)$ के बीच का अंतराल अनंत रूप से भिन्न विविधताओं (varieties) को समाहित करता है।
सिद्ध: इन मैट्रिसेस का गुणात्मक भाग (पहचान मैट्रिक्स के बिना) 5-निलपोटेंट है (पाँच मैट्रिसेस की एक पंक्ति हमेशा शून्य के बराबर होती है)।
सुझाव: विविधताओं की सीढ़ी $V(M_n(S_7))$ स्थिर हो सकती है (बदलना बंद कर सकती है), जिसका अर्थ है $V(M_2) = V(M_3) = \dots$ । लेखक मानते हैं कि यह "पाँच-चरण के पतन" के कारण संभव है, लेकिन वे स्वीकार करते हैं कि उनके पास अभी तक इसका प्रमाण नहीं है।

संक्षेप में, यह शोध पत्र इस रहस्य को हल करता है कि ये मैट्रिक्स इतने जटिल क्यों हैं (वे नॉनफाइनाइटली बेस्ड हैं) और हमें एक मजबूत संकेत देता है कि जैसे-जैसे मैट्रिक्स बड़े होते जाते हैं, उनकी जटिलता और अधिक बढ़ने की संभावना नहीं है, भले ही हमने अभी तक उस दरवाजे को आधिकारिक रूप से बंद नहीं किया है।

शीर्षक: मैट्रिक्स सेमीरिंग्स $M_n(S_7)$ के लिए परिमित आधार समस्या (The Finite Basis Problem)

समस्या विवरण
यह शोध पत्र योज्य इडेम्पोटेंट (additively idempotent - ai) सेमीरिंग्स के वर्ग के लिए परिमित आधार समस्या (finite basis problem) को संबोधित करता है। विशेष रूप से, यह एक ai-सेमीरिंग $S$ पर निर्मित मैट्रिक्स सेमीरिंग $M_n(S)$ द्वारा जनित विविधता (variety) की जांच करता है। चूंकि छोटे ai-सेमीरिंग्स के लिए परिमित आधार समस्या का व्यापक रूप से अध्ययन किया गया है—विशेष रूप से तीन-तत्व वाले ai-सेमीरिंग्स के वर्गीकरण में, जहाँ $S_7$ को अद्वितीय गैर-परिमित आधार (nonfinitely based) उदाहरण के रूप में पहचाना गया है— $n \ge 2$ के लिए $M_n(S_7)$ के व्यवहार का प्रश्न अनसुलझा रहा। लेखक यह निर्धारित करने का लक्ष्य रखते हैं कि क्या $M_n(S_7)$ परिमित रूप से आधारित (finitely based) है और $[V(S_7), V(M_n(S_7))]$ अंतराल के भीतर निहित विविधताओं के लैटिस (lattice) का लक्षण वर्णन करते हैं।

कार्यप्रणाली
लेखक एम्बेडिंग प्रमेय (embedding theorems), हाइपरग्राफ सिद्धांत और $S_7$ पर मैट्रिक्स ऑपरेशन्स के संरचनात्मक विश्लेषण का संयोजन उपयोग करते हैं।

एम्बेडिंग प्रमेय (Embedding Theorem): शोध पत्र पहले एक सामान्य एम्बेडिंग प्रमेय स्थापित करता है जो यह सिद्ध करता है कि किसी भी ai-सेमीरिंग $S$ और $n \ge 2$ के लिए, $M_n(S)$ , $M_{n+1}(S)$ में एम्बेड होता है। यह $M_n(S)$ से $M_{n+1}(S)$ में एक आवेजी होमोरफिज्म (injective homomorphism) $\phi$ का निर्माण करके प्राप्त किया जाता है जो मैट्रिक्स में अंतिम पंक्ति और कॉलम की एक प्रति जोड़ता है, जिसमें $S$ में योग की इडेम्पोटेंस (idempotence) का उपयोग किया जाता है। यह परिणाम एक आरोही विविधता श्रृंखला (ascending chain of varieties) $V(M_2(S)) \le V(M_3(S)) \le \dots$ को दर्शाता है।
गैर-परिमित आधार के लिए हाइपरग्राफ मानदंड (Hypergraph Criteria for Non-Finite Basis): $M_n(S_7)$ के गैर-परिमित आधार गुणों को सिद्ध करने के लिए, लेखक Gao et al. [10] द्वारा दिए गए 3-यूनिफॉर्म हाइपरग्राफ से संबंधित एक मानदंड का उपयोग करते हैं। वे एक विशिष्ट गैर-2-रंगीन (non-2-colorable) हाइपरग्राफ $H_n$ का निर्माण करते हैं जिसकी उच्च गर्थ (girth) है और उसे एक ai-सेमीरिंग टर्म $t_{H_n}$ के साथ जोड़ते हैं। मुख्य रणनीति यह दिखाने की है कि $M_n(S_7)$ पहचान $t_{H_n} \approx t_{H_n} + x_{v_n}$ को संतुष्ट करता है, जो फ्लैट सेमीरिंग $Sc(abc)$ की उपस्थिति के साथ मिलकर यह संकेत देता है कि विविधता गैर-परिमित आधार वाली है।
$M_n(S_7)$ का संरचनात्मक विश्लेषण: लेखक $S_7$ के विशिष्ट केले टेबल (Cayley tables) (जहाँ तत्व $\{1, a, \infty\}$ हैं) का लाभ उठाते हुए $M_n(S_7)$ में मैट्रिक्स गुणन का विस्तृत केस विश्लेषण करते हैं। वे यह स्थापित करते हैं कि उत्पाद कब योगात्मक अधिकतम $\infty$ या न्यूनतम तत्वों $1 $और$ a$ के रूप में परिणाम देते हैं।
निलपोटेंसी विश्लेषण (Nilpotency Analysis): अंतिम खंड में, लेखक $M'_n(S_7)$ (वह $M_n(S_7)$ सेट जिसमें $[1]_n$ निरंतर मैट्रिक्स शामिल नहीं है) के गुणात्मक रिडक्ट (multiplicative reduct) का विश्लेषण करते हैं। वे विविधता श्रृंखला के संभावित स्थिरीकरण (stabilization) का अनुमान लगाने के लिए इस सेमिए ग्रुप के निलपोटेंसी इंडेक्स (nilpotency index) की जांच करते हैं।

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

$M_n(S_7)$ का गैर-परिमित आधार: प्राथमिक परिणाम यह है कि सभी $n \ge 2$ के लिए, मैट्रिक्स सेमीरिंग $M_n(S_7)$ गैर-परिमित आधार वाला है। इसके अलावा, लेखक एक अधिक सशक्त परिणाम सिद्ध करते हैं: $[V(Sc(abc)), V(M_n(S_7))]$ में प्रत्येक विविधता गैर-परिमित आधार वाली है। चूंकि $V(S_7)$ में $Sc(abc) $समाहित है, इसलिए यह निष्कर्ष निकलता है कि$ [V(S_7), V(M_n(S_7))]$ में प्रत्येक विविधता गैर-परिमित आधार वाली है।
कठोर आरोही श्रृंखला (Strict Ascending Chain): शोध पत्र यह प्रदर्शित करता है कि दो-तत्व वाले डिस्ट्रीब्यूटिव लैटिस $D_2$ पर निर्मित मैट्रिक्स सेमीरिंग्स द्वारा जनित विविधताओं की श्रृंखला कठोर रूप से आरोही ( $V(D_2) < V(M_2(D_2)) < \dots$ ) है। हालांकि $S_7$ के लिए श्रृंखला की कठोरता ( $V(M_n(S_7)) < V(M_{n+1}(S_7))$ ) पूरी तरह से सिद्ध नहीं हुई है, फिर भी लेखक दिखाते हैं कि $V(S_7) < V(M_2(S_7))$ है।
अनंत विविधता अंतराल: लेखक यह सिद्ध करते हैं कि अंतराल $[V(S_7), V(M_2(S_7))]$ में कम से कम गणनीय अनंत (countably infinitely) अलग-अलग विविधताएं मौजूद हैं। यह रैखिक शब्दों $w_k$ से जुड़े फ्लैट सेमीरिंग्स $S(w_k)$ द्वारा जनित विविधताओं के अनुक्रम $V_k$ का निर्माण करके प्राप्त किया गया है, जो यह दिखाता है कि $V_k$ , $V_{k+1}$ की एक उचित उप-विविधता (proper subvariety) है।
पाँच-तत्व वाले सेमीरिंग्स पर अनुप्रयोग: अपने मुख्य प्रमेय को लागू करते हुए, लेखक 73 पाँच-तत्व वाले ai-सेमीरिंग्स की पहचान गैर-परिमित आधार के रूप में करते हैं। वे एक विशिष्ट उदाहरण, $S(5, 5158)$ प्रदान करते हैं, और प्रदर्शित करते हैं कि इसकी विविधता $[V(S_7), V(M_2(S_7))]$ अंतराल के भीतर आती है।
गुणात्मक रिडक्ट की निलपोटेंसी: शोध पत्र दिखाता है कि $M'_n(S_7)$ का गुणात्मक रिडक्ट 5-निलपोटेंट (किसी भी पांच मैट्रिसेस का उत्पाद शून्य मैट्रिक्स $[\infty]_n$ है) है लेकिन 4-निलपोटेंट नहीं है।

महत्व और दावे

शोध पत्र दावा करता है कि यह $S_7$ के अद्वितीय गैर-परिमित आधार गुण के कारण केंद्रीय महत्व की संरचना $M_n(S_7)$ के समाधान के माध्यम से ai-सेमीरिंग्स के लिए परिमित आधार समस्या में एक महत्वपूर्ण योगदान देता है। परिणाम पुष्टि करते हैं कि $S_7$ का "गैर-परिमित आधार" गुण सभी मैट्रिक्स सेमीरिंग्स $M_n(S_7)$ और $S_7$ तथा इन मैट्रिक्स सेमीरिंग्स के बीच स्थित सभी विविधताओं में प्रसारित होता है।

इस खुले प्रश्न के संबंध में कि क्या श्रृंखला $V(M_n(S_7))$ स्थिर होती है (अर्थात, क्या $V(M_n(S_7)) = V(M_{n+1}(S_7))$ है), लेखक विनम्र हैं। वे कहते हैं कि हालांकि वे समानता सिद्ध नहीं कर सकते, लेकिन यह तथ्य कि $M'_n(S_7)$ का गुणात्मक रिडक्ट 5-निलपोटेंट है, "दृढ़ता से सुझाव देता है" कि समानता वास्तव में सभी $n \ge 2$ के लिए हो सकती है। शोध पत्र स्वयं को गैर-परिमित आधार गुणों वाले परिमित ai-सेमीरिंग्स के वर्गीकरण के व्यापक समस्या के पूर्ण समाधान की ओर एक "विनम्र कदम" के रूप में प्रस्तुत करता है, विशेष रूप से वे जिनमें $S_7$ शामिल है। लेखक स्पष्ट रूप से नोट करते हैं कि मनमाने $S$ के लिए $M_n(S)$ हेतु सामान्य मार्गदर्शक परिणाम अभी भी लुप्त हैं, और उनका कार्य, डोलिंका, गुसेव और वोल्कोव के पिछले अध्ययनों के साथ, इस क्षेत्र में एक प्रारंभिक दिशा के रूप में कार्य करता है।