🔢 mathematics

Atoms in the Semigroup of Non-Negative Integer Matrices

यह शोध पत्र गैर-शून्य सारणिक वाले $2 \times 2$ गैर-ऋणात्मक पूर्णांक आव्यूह (matrices) के अर्धसमूह (semigroup) में आव्यूह गुणनखंडन (matrix factorization) की समझ को दो नए अपरिमेय आव्यूहों (irreducible matrices) के वर्गों की पहचान करके और एक विभाजक-बंद उपसमुच्चय (divisor-closed subset) तथा एक गणनात्मक खोज एल्गोरिदम के माध्यम से 4000 के न्यूनतम प्रविष्टि (entry) तक द्विसमतुल्य परमाणुओं (bisymmetric atoms) को वर्गीकृत करके आगे बढ़ाता है।

मूल लेखक: Lindsay Dever, Eva G. Goedhart, Gregory S. Heilbrunn, Tony W. H. Wong

प्रकाशित 2026-06-16

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

CC BY 4.0

मूल लेखक: Lindsay Dever, Eva G. Goedhart, Gregory S. Heilbrunn, Tony W. H. Wong

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

कल्पना कीजिए कि एक विशाल, अनंत गोदाम है जो विशेष बक्सों से भरा हुआ है। प्रत्येक बॉक्स में संख्याओं का एक 2x2 ग्रिड (जैसे एक छोटा स्प्रेडशीट) है जिसमें केवल पूर्ण संख्याएँ (0, 1, 2, 3...) हैं। वहाँ एक नियम है: यदि आप अंदर की संख्याओं पर एक विशिष्ट गणितीय गणना (जिसे "डिटरमिनेंट" कहा जाता है) करते हैं, तो परिणाम शून्य नहीं होना चाहिए।

गणितज्ञ इस बक्सों के संग्रह को सेमीग्रुप (semigroup) कहते हैं। मुख्य सवाल जो यह शोध पत्र पूछता है, वह यह है: क्या इस गोदाम के हर बॉक्स को छोटे, सरल बक्सों में तोड़ा जा सकता है?

"एटम्स" (Atoms): अविभाज्य ईंटें

इस दुनिया में, कुछ बॉक्स लेगो ब्रिक्स (Llego bricks) की तरह हैं। आप उन्हें बिना "जादुई" बक्सों (जिन्हें यूनिट्स कहा जाता है जो वास्तव में कुछ बदलते नहीं हैं) का उपयोग किए और अधिक विभाजित नहीं कर सकते। इन अटूट बक्सों को एटम्स (atoms) कहा जाता है।

अन्य बॉक्स लेगो ब्रिक्स के ढेर की तरह हैं। आप उन्हें छोटे ढेरों में अलग कर सकते हैं। यह पेपर एक जासूसी कहानी की तरह है जो यह पता लगाने की कोशिश कर रहा है कि:

कौन से बॉक्स अविभाज्य एटम्स हैं?
कौन से बॉक्स ढेर (stacks) हैं, और हम उन्हें कैसे अलग करते हैं?

समस्या: यह हमेशा अद्वितीय नहीं होता

सामान्य गणित में (जैसे संख्याओं को गुणा करना), यदि आप 12 को गुणनखंडों में तोड़ते हैं, तो आपको $3 \times 4$ या $2 \times 6$ मिलता है। टुकड़े अनुमानित होते हैं।

लेकिन इस बॉक्स गोदाम में, चीजों को तोड़ना बहुत उलझा हुआ है। एक अकेला बॉक्स एटम्स के दो अलग-अलग सेटों में तोड़ा जा सकता है, और प्रत्येक सेट में टुकड़ों की संख्या भी अलग-अलग हो सकती है! यह एक खिलौने जैसा है जिसे आप दो बड़े ब्लॉकों में या तीन छोटे ब्लॉकों में अलग कर सकते हैं। यह बहुत कठिन बना देता है कि यह जानना कि एक बॉक्स "एटम" (अविभाज्य) है या सिर्फ एक "ढेर" जो खुलने का इंतज़ार कर रहा है।

शोध पत्र की नई खोजें

लेखकों ने एटम्स की पहचान करने के लिए नए नियम खोजे हैं। यहाँ उनकी मुख्य खोजें सरल भाषा में दी गई हैं:

1. "प्राइम नंबर" (अभाज्य संख्या) का नियम
उन्होंने पाया कि यदि किसी बॉक्स का एक विशिष्ट "आकार" (डिटरमिनेंट) अभाज्य संख्याओं (जैसे $p, 2p,$ या $4p$ ) से संबंधित है, तो वह लगभग निश्चित रूप से एक एटम है। यह एक ऐसे बॉक्स को खोजने जैसा है जिसके सीरियल नंबर में केवल एक अभाज्य संख्या ही उत्पन्न कर सकती है; यह छोटे बक्सों का ढेर होने के बजाय बहुत विशेष है।

2. "बड़ा बनाम छोटा" का नियम
एक ऐसे बॉक्स की कल्पना करें जहाँ मुख्य विकर्ण (ऊपर-बाएँ से नीचे-दाएँ) की संख्याएँ बहुत बड़ी हैं, लेकिन दूसरी विकर्ण की संख्याएँ बहुत छोटी हैं। या इसके विपरीत।
लेखकों ने सिद्ध किया कि यदि "बड़ी" संख्याएँ "छोटी" संख्याओं की तुलना में बहुत अधिक बड़ी हैं, तो उस बॉक्स को तोड़ा नहीं जा सकता। यह एक ऐसे टॉवर जैसा है जो इतना ऊपर से भारी है कि इसे छोटे, संतुलित ब्लॉकों से नहीं बनाया जा सकता। यदि असंतुलन अत्यधिक है, तो वह एक एटम है।

3. "सिमेट्रिक" (सममित) शॉर्टकट
कुछ बॉक्स बिसिमेट्रिक (bisymmetric) होते हैं। इसका मतलब है कि वे वैसे ही दिखते हैं यदि आप उन्हें पलट दें या उनके पक्षों को बदल दें (जैसे एक दर्पण छवि)।

समस्या: आमतौर पर, यदि आप एक सममित बॉक्स को तोड़ते हैं, तो उसके टुकड़े सममित नहीं हो सकते। यह एक पूर्ण स्नोफ्लेक (हिमपात के कण) को तोड़ने और उससे टेढ़े-मेढ़े, असममित टुकड़े प्राप्त करने जैसा है।
खोज: लेखकों ने इन सममित बक्सों का एक विशेष उपसमुच्चय (subset) खोजा जहाँ किनारों की संख्याएँ कोई भी सामान्य गुणनखंड साझा नहीं करती हैं (वे "सापेक्ष अभाज्य" या relatively prime हैं)।
जादू: इस विशेष समूह के लिए, यदि आप बॉक्स को तोड़ते हैं, तो टुकड़े भी अनिवार्य रूप से सममित (symmetric) होने चाहिए।
- यह क्यों मायने रखता है: यह एक बहुत बड़ा शॉर्टकट है। किसी बॉक्स को तोड़ने के किसी भी संभावित तरीके की तलाश करने के बजाय, गणितज्ञों को केवल सममित तरीकों की तलाश करनी थी। यह घर में खोई हुई चाबी खोजने जैसा है; यदि आप जानते हैं कि चाबी केवल किचन या बेडरूम में ही हो सकती है, तो आपको गैरेज या अटारी की जांच करने की आवश्यकता नहीं है।

कंप्यूटर की खोज

इस "सिमेट्रिक शॉर्टकट" का उपयोग करते हुए, लेखकों ने हजारों विशेष सममित बक्सों का परीक्षण करने के लिए एक कंप्यूटर प्रोग्राम लिखा। उन्होंने हर उस बॉक्स की जाँच की जहाँ अंदर की सबसे छोटी संख्या 4,000 तक थी।

उन्होंने उन बक्सों की एक सूची पाई जिन्हें तोड़ा जा सकता था।
उन्होंने निष्कर्ष निकाला: यदि एक सममित बॉक्स उस सूची में नहीं है, तो वह एक एटम है। वह अविभाज्य है।

सारांश

यह पेपर इस गणितीय परिदृश्य के लिए एक मानचित्र है।

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

संक्षेप में, उन्होंने इस गणितीय दुनिया के "अविभाज्य ईंटों" को पहचानने के नए तरीके खोजे और उन्हें छाँटने का एक तेज़ तरीका बनाया।

तकनीकी सारांश: गैर-ऋणात्मक पूर्णांक मैट्रिसेस के सेमीग्रुप में परमाणु (Atoms)

समस्या विवरण
यह शोध पत्र $M_2(\mathbb{N}_0)^\bullet$ के गुणनखंड गुणों की जांच करता है, जो गैर-शून्य निश्चांक (determinants) वाले गैर-ऋणात्मक पूर्णांक प्रविष्टियों वाले $2 \times 2$ मैट्रिसेस का एक सेमीग्रुप है। हालांकि गैर-कम्यूटेटिव परिवेश में अद्वितीय गुणनखंडन (unique factorization) की अवधारणा सामान्यतः लागू नहीं होती है, प्राथमिक ध्यान इस सेमिएग्रुप के भीतर "परमाणुओं" (atoms/irreducible elements) की पहचान करने पर है। एक परमाणु वह तत्व है जिसे दो गैर-इकाई तत्वों के गुणनफल में विभाजित नहीं किया जा सकता है। यद्यपि Baeth et al. (2022) ने $M_2(\mathbb{N}_0)^\bullet$ में परमाणुओं के कई मौलिक वर्गों को स्थापित किया है, लेकिन एक पूर्ण वर्गीकरण अभी भी अज्ञात है, और इस सेमिएग्रुप के अधिकांश मैट्रिसेस की गुणनखंडता (factorability) अनिश्चित है।

कार्यप्रणाली
लेखक नए परमाणुओं के वर्गों की पहचान करने के लिए नए वर्गों की पहचान करने के लिए सैद्धांतिक विश्लेषण और कम्प्यूटेशनल सत्यापन के संयोजन का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित संरचनात्मक गुणों और तकनीकों पर निर्भर करती है:

संरचनात्मक बाधाएं (Structural Constraints): अध्ययन "दोहरे-संतुलित" (doubly-balanced) मैट्रिसेस पर केंद्रित है (जहाँ कोई पंक्ति या कॉलम प्रभावी नहीं है) जिनमें आसन्न प्रविष्टियाँ सह-अभाज्य (relatively prime) होती हैं। पिछले परिणाम संकेत देते हैं कि ज्ञात वर्गों में सूचीबद्ध न होने वाले परमाणु इन शर्तों को पूरा करते हैं।
निश्चांक विश्लेषण (Determinant Analysis): लेखक अपनी न्यूनतम प्रविष्टि के आधार पर गुणनखंड योग्य मैट्रिसेस के निश्चांक के लिए निचले स्तर (lower bounds) प्राप्त करते हैं। निश्चांकों के गुणात्मक गुणों का विश्लेषण करके, वे विशिष्ट निश्चांक मानों (जैसे, अभाज्य $p$ के लिए $p, 2p, 4p$ , और $16, 32$) की पहचान करते हैं जो गुणनखंडन को रोकते हैं।
भाजक-बंद उपसमुच्चय (Divisor-Closed Subsets): एक महत्वपूर्ण कार्यप्रणाली संबंधी चरण बिसीमेट्रिक (bisymmetric) मैट्रिसेस ( $X = \begin{pmatrix} x & y \\ y & x \end{pmatrix}$ ) के उपसमुच्चय $B^*$ तक खोज को सीमित करना है, जिसमें सह-अभाज्य प्रविष्टियाँ हैं। लेखक सिद्ध करते हैं कि $B^*$ , $M_2(\mathbb{N}_0)^\bullet$ का एक भाजक-बंद (divisor-closed) उपसमुच्चय है। इसका तात्पर्य यह है कि यदि $B^*$ में कोई मैट्रिक्स गुणनखंडित होता है, तो उसके गुणनखंड भी $B^*$ के भीतर ही होंगे। यह न्यूनीकरण गुणनखंड खोज के स्थान को काफी सरल बना देता है।
सीमांकन असमानताएं (Bounding Inequalities): लेखक गुणनखंड योग्य मैट्रिसेस के प्रविष्टियों पर ऊपरी सीमाएँ (upper bounds) प्राप्त करते हैं। विशेष रूप से, एक गुणनखंड योग्य मैट्रिक्स $X = \begin{pmatrix} w & x \\ y & z \end{pmatrix}$ के लिए, ऑफ-डायगोनल प्रविष्टियाँ विकर्ण प्रविष्टियों के फलन (functions) द्वारा सीमित होती हैं। इन सीमाओं का उल्लंघन परमाणुओं के लिए एक पर्याप्त स्थिति के रूप में कार्य करता है।
एल्गोरिद्मिक खोज (Algorithmic Search): $B^*$ के भाजक-बंद गुण का लाभ उठाते हुए, लेखकों ने एक गुणनखंड खोज एल्गोरिदम विकसित किया है। सभी संभावित $2 \times 2$ गुणनखंड मैट्रिसेस को खोजने के बजाय, एल्गोरिदम न्यूनतम प्रविष्टि को स्थिर करके और विकर्ण तत्वों को विभाजित करके खोज को अनुकूलित करता है, जिससे कम्प्यूटेशनल जटिलता तीन चरों तक कम हो जाती है।

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

निश्चांकों के माध्यम से परमाणुओं के नए वर्ग: लेखक निश्चांक मानों के आधार पर परमाणुओं के दो नए वर्गों की पहचान करते हैं।
- प्रमेय 4.3: एक दोहरा-संतुलित मैट्रिक्स जिसकी आसन्न प्रविष्टियाँ सह-अभाज्य हैं, एक परमाणु है यदि उसका निश्चांक $p, 2p,$ या $4p$ (जहाँ $p$ अभाज्य है) है।
- प्रमेय 4.4: ऐसा मैट्रिक्स एक परमाणु भी है यदि उसका निश्चांक $16 $या$ 32$ है।
- ये परिणाम यह दिखाकर प्राप्त किए गए हैं कि इन प्रकार के गुणनखंड योग्य मैट्रिसेस के लिए गुणनखंड निश्चांकों को स्थापित निचली सीमाओं (विशेष रूप से, कि गुणनखंड निश्चांक $1, 2, $या$ 4$ नहीं हो सकते) का उल्लंघन करना होगा।
प्रविष्टि सीमाओं के माध्यम से नए परमाणु वर्ग:
- प्रमेय 6.2: एक दोहरा-संतुलित मैट्रिक्स $X = \begin{pmatrix} w & x \\ y & z \end{pmatrix}$ के लिए जहाँ $w \le z < x, y$ , यदि $x > 2(z-1)(w-1)$ या $y > 2(z-1)(w-1)$ , तो $X$ एक परमाणु है।
- प्रमेय 6.4: बिसीमेट्रिक मैट्रिसेस $X = \begin{pmatrix} x & y \\ y & x \end{pmatrix} \in B^*$ के लिए, यदि $\max\{x, y\} > 1 + \frac{(\min\{x, y\})^2}{4}$ , तो $X$ एक परमाणु है।
बिसीमेट्रिक मैट्रिसेस का भाजक-बंद गुण:
- प्रमेय 5.1: उपसमुच्चय $B^*$ (सह-अभाज्य आसन्न प्रविष्टियों वाले बिसीमेट्रिक मैट्रिक्स) $M_2(\mathbb{N}_0)^\bullet$ में भाजक-बंद है। इसका अर्थ है कि $B^*$ के किसी भी मैट्रिक्स का गुणनखंडन पूरी तरह से $B^*$ के भीतर मैट्रिसेस से ही होगा। यह परिणाम लेखकों को खोज को बिसीमेट्रिक रूप तक सीमित करने की अनुमति देता है, जिससे वर्गीकरण समस्या काफी सरल हो जाती है।
कम्प्यूटेशनल वर्गीकरण:
- भाजक-बंद गुण और प्राप्त सीमाओं का उपयोग करते हुए, लेखकों ने $4000 $तक की न्यूनतम प्रविष्टि वाले$ M_2(\mathbb{N}_0)^\bullet$ में सभी बिसीमेट्रिक परमाणुओं को वर्गीकृत करने के लिए एक एल्गोरिदम लागू किया।
- प्रमेय 7.1: $B^*$ में मैट्रिक्स जहाँ $\min\{x, y\} \le 4000$ , परमाणु हैं यदि और केवल यदि वे (और उनके एसोसिएट्स) लेखकों द्वारा उत्पन्न गुणनखंड योग्य मैट्रिसेस की सूची में दिखाई नहीं देते हैं। शोध पत्र $42 $तक की न्यूनतम प्रविष्टियों के लिए मैट्रिसेस की यह सूची प्रदान करता है और$ 4000$ तक की सीमा के लिए पूर्ण डेटासेट का संदर्भ देता है।

महत्व
यह शोध पत्र $M_2(\mathbb{N}_0)^\bullet$ में परमाणुओं के ज्ञात कैटलॉग का विस्तार करके गैर-विशिष्ट गुणनखंडन (non-unique factorization) की समझ को आगे बढ़ाने का दावा करता है। यह स्थापित करके कि विशिष्ट निश्चांक मान और प्रविष्टि परिमाण अनुपात परमाणुओं की गारंटी देते हैं, लेखक बिना विस्तृत गुणनखंडन के परमाणुओं की पहचान करने के लिए ठोस मानदंड प्रदान करते हैं। इसके अतिरिक्त, यह सिद्ध करना कि सह-अभाज्य प्रविष्टियों वाले बिसीमेट्रिक मैट्रिक्स एक भाजक-बंद उपसमुच्चय बनाते हैं, एक संरचनात्मक परिणाम है जो इस विशिष्ट वर्ग के लिए गुणनखंडन की जटिलता को कम करता है। कम्प्यूटेशनल परिणाम $4000$ की न्यूनतम प्रविष्टि तक बिसीमेट्रिक मैट्रिसेस के लिए एक पूर्ण वर्गीकरण प्रदान करते हैं, जिससे साहित्य के उस अंतराल को भरा जाता है जहाँ अधिकांश गुणनखंडता प्रश्न खुले रह जाते हैं। यह कार्य मैट्रिक्स गुणनखंडन को "परप्लेक्स इंटीजर्स" (split-complex numbers) के सिद्धांत से भी जोड़ता है, यह पुष्टि करते हुए कि कुछ अपरिमेय परप्लेक्स इंटीजर्स के वर्ग इस सेमिएग्रुप में परमाणु मैट्रिसेस के अनुरूप होते हैं।

"एटम्स" (Atoms): अविभाज्य ईंटें

समस्या: यह हमेशा अद्वितीय नहीं होता

शोध पत्र की नई खोजें

कंप्यूटर की खोज

सारांश

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