🔢 mathematics

Classification of Boolean Cubic Forms in Ten Variables

यह शोध पत्र GL(10,2)-तुल्यता के अंतर्गत दस चरों वाले बूलियन क्यूबिक रूपों का एक पूर्ण वर्गीकरण प्रस्तुत करता है, जो विस्तृत संरचनात्मक डेटा के साथ 3,691,560 गैर-शून्य ऑर्बिट्स की एक सूची प्रदान करता है और GF(2) पर आयाम 10 में अल्टरनेटिंग ट्रिलिनियर फॉर्म्स का पहला पूर्ण वर्गीकरण स्थापित करता है।

मूल लेखक: Kirill Khoruzhii, Patrick Gelß, Sebastian Pokutta

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

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

CC BY 4.0

मूल लेखक: Kirill Khoruzhii, Patrick Gelß, Sebastian Pokutta

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

कल्पना कीजिए कि आपके पास लेगो ब्रिक्स (Lego bricks) का एक विशाल डिब्बा है। आप दस विशिष्ट प्रकार के ब्रिक्स का उपयोग करके बनाई जा सकने वाली हर संभव अद्वितीय 3D आकृति बनाना चाहते हैं। लेकिन इसमें एक पेच है: यदि आप एक आकृति को घुमाते या पलटते हैं और वह दूसरी आकृति जैसी ही दिखने लगती है, तो वे एक ही आकृति मानी जाएंगी।

यह शोध पत्र वास्तव में उन सभी अद्वितीय आकृतियों का एक विशाल, विस्तृत कैटलॉग है, लेकिन लेगो ब्रिक्स के बजाय, यहाँ "ब्रिक्स" गणितीय निर्माण खंड हैं जिन्हें "बुलियन क्यूबिक फॉर्म्स" (Boolean cubic forms) कहा जाता है।

यहाँ बताया गया है कि लेखकों ने क्या किया, सरल उपमाओं का उपयोग करते हुए:

1. बड़ा कार्य: अराजकता को व्यवस्थित करना

लेखक दस चरों (variables) (मान लीजिए $x_1$ से $x_{10}$ तक) से संबंधित हर संभव गणितीय अभिव्यक्ति को व्यवस्थित करना चाहते थे जो विशिष्ट नियमों का पालन करती है (वे "क्यूबिक" हैं, जिसका अर्थ है कि उनमें तीन चरों का गुणन शामिल है, जैसे $x_1 \times x_2 \times x_3$ )।

इन अभिव्यक्तियों को लिखने के अरबों तरीके हैं। लेकिन उनमें से कई एक ही अंतर्निहित संरचना के केवल "भेष" (disguises) हैं। यदि आप अपने चरों के लेबल बदलते हैं (एक गणितीय "आधार परिवर्तन" या basis change), तो दो अलग-अलग दिखने वाले सूत्र वास्तव में एक ही आकृति हो सकते हैं।

लक्ष्य प्रत्येक अद्वितीय आकृति (जिसे "ऑर्बिट" कहा जाता है) को खोजना और उन्हें सूचीबद्ध करना था।

परिणाम: उन्होंने ठीक 3,691,560 अद्वितीय आकृतियाँ पाईं। यह एक बहुत बड़ी संख्या है, लेकिन यह पूर्ण सूची है। इसमें कुछ भी छूटा नहीं है।

2. उन्होंने यह कैसे किया: "रैंक" रणनीति

हर एक संभावना को एक साथ सूचीबद्ध करने के बजाय (जिसमें बहुत समय लगेगा), उन्होंने आकृतियों को परत दर परत बनाया, जैसे सीढ़ी चढ़ना।

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

3. जासूसी कार्य: "फिंगरप्रिंट"

दो आकृतियों को समान बताने के लिए, उन्हें एक सटीक फिंगरप्रिंट की आवश्यकता थी।

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

4. कैटलॉग में क्या है?

प्रत्येक एक में से 3.6 मिलियन अद्वितीय आकृतियों के लिए, लेखकों ने दर्ज किया:

प्रतिनिधि (The Representative): उस आकृति का सबसे सरल, स्वच्छ संस्करण (न्यूनतम पदों का उपयोग करके)।
सममिति स्कोर (The Symmetry Score): बिना बदले कितनी तरह से आप आकृति को घुमा या पलट सकते हैं। कुछ आकृतियाँ बहुत सममित होती हैं (घुमाने में आसान), जबकि अधिकांश अद्वितीय और कठोर होती हैं।
ब्लूप्रिंट (The Blueprint): न्यूनतम "डिकम्पोजेबल" (decomposable) ब्लॉकों का उपयोग करके उस आकृति को बनाने का एक विशिष्ट तरीका।

5. यह क्यों मायने रखता है? (पेपर के अनुसार)

पेपर में कुछ विशिष्ट कारण बताए गए हैं कि यह सूची क्यों उपयोगी है, जो पूरी तरह से उनके दावों पर आधारित है:

कोडिंग थ्योरी: यह "रीड-मुलर कोड्स" (Reed-Muller codes) की संरचना को समझकर त्रुटि-सुधार कोड्स (जैसे डेटा ट्रांसमिशन में उपयोग किए जाने वाले कोड) को बेहतर बनाने में मदद करता है।
क्वांटम कंप्यूटिंग: दोष-सहिष्णु (fault-tolerant) क्वांटम कंप्यूटर बनाने में, कुछ गणनाओं के लिए "टोफ़ोली गेट्स" (Toffoli gates) की आवश्यकता होती है। लेखक दिखाते हैं कि इन सर्किटों को बनाने की जटिलता इन आकृतियों के "रैंक" से सीधे जुड़ी हुई है। इस कैटलॉग के होने से इंजीनियरों को इन सर्किटों को बनाने के सबसे कुशल तरीके को खोजने में मदद मिलती है।
गणितीय ज्यामिति: यह दो संख्याओं (0 और 1) वाले क्षेत्र (field) पर 10-आयामी स्थान में "ट्राइवैक्टर्स" (trivectors) की ज्यामिति के बारे में एक लंबे समय से चले आ रहे पहेली को हल करता है।

सारांश

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

तकनीकी सारांश: दस चरों वाले बूलियन क्यूबिक फॉर्म्स का वर्गीकरण

समस्या विवरण
यह शोध पत्र $\mathbb{F}_2$ के क्षेत्र पर दस चरों वाले बूलियन क्यूबिक फॉर्म्स के $GL(10, 2)$-तुल्यता (equivalence) तक वर्गीकरण को संबोधित करता है। एक बूलियन क्यूबिक फॉर्म एक बहुपद $f(x) = \sum T_{ijk} x_i x_j x_k$ है जहाँ गुणांक $\mathbb{F}_2$ में हैं और चर $x_j^2 = x_j$ की स्थिति को संतुष्ट करते हैं। दो फॉर्म्स तब तुल्य होते हैं यदि उन्हें चरों के एक व्युत्क्रमणीय रैखिक परिवर्तन (invertible linear change) के माध्यम से एक-दूसरे में बदला जा सके, जिसमें स्थिरांक (constant), रैखिक (linear) और द्विघात (quadratic) पदों को अनदेखा किया जाता है। यह वर्गीकरण $GL(10, 2) $के अंतर्गत$ RM^*(3, 10)$ (रीड-रुलर कोड्स की तीसरी परत) के स्पेस के गैर-शून्य ऑर्बिट्स (orbits) की गणना करने के अनुरूप है। जबकि विभिन्न क्षेत्रों में $m \leq 9$ आयामों के लिए पूर्ण वर्गीकरण मौजूद हैं, $m=10$ का मामला किसी भी क्षेत्र पर इस कार्य से पूर्व संबोधित नहीं किया गया था।

कार्यप्रणाली
लेखक ऑर्बिट पहचान के लिए एक नवीन पूर्ण इनवेरिएंट (complete invariant) के साथ मिलकर एक रैंक-स्तरित गणना (rank-stratified enumeration) रणनीति का उपयोग करते हैं।

रैंक-स्तरित गणना (BFS):
गणना "अल्टरनेटिंग रैंक" (alternating rank) के माध्यम से आगे बढ़ती है, जिसे न्यूनतम संख्या $r$ के रूप में परिभाषित किया गया है जिससे एक फॉर्म $f$ को $r$ अपघटनीय क्यूबिक्स $u(x)v(x)w(x)$ के योग में विघटित किया जा सकता है। प्रक्रिया शून्य फॉर्म से शुरू होती है और वर्तमान परत के प्रतिनिधियों में रैंक-1 फॉर्म्स (अपघटनीय क्यूबिक्स) को पुनरावृत्ति से जोड़ती है। यह प्रक्रिया अगले रैंक स्तर के लिए उम्मीदवारों को उत्पन्न करती है। खोज स्थान को प्रत्येक चरण में सभी $2^{\binom{10}{3}}$ फॉर्म्स की गणना करने के बजाय $GL(10, 2)$-ऑर्बिट्स की पहचान करके महत्वपूर्ण रूप से कम किया जाता है।
पूर्ण इनवेरिएंट निर्माण:
ऑर्बिट्स के बीच अंतर कुशलतापूर्वक करने के लिए, लेखक एक $GL(10, 2)$-इनवेरिएंट का निर्माण करते हैं।

ऑर्थोगोनैलिटी ग्राफ ( $G_f$ ): संबंध $u \perp_f v \iff \Delta_u \Delta_v f(x) = 0$ पर आधारित। जबकि $m < 10$ के लिए $G_f$ का आइसोमॉर्फिज्म क्लास एक पूर्ण इनवेरिएंट है, यह $m=10$ के लिए विफल हो जाता है, जिससे 51 अनसुलझे टकराव (collisions) शेष रह जाते हैं।
इंसीडेंस ग्राफ ( $B_f$ ): पोलर द्विपद रूपों (polar bilinear forms) से प्राप्त एक द्विपक्षीय ग्राफ (bipartite graph), जहाँ किनारे इमेज संबंधों ( $u \to_f v$ ) का प्रतिनिधित्व करते हैं।
स्थानीय सांख्यिकी (Local Statistics): पूर्ण ग्राफ आइसोमॉर्फिज्म परीक्षण (जो कम्प्यूटेशनल रूप से महंगा है) के बजाय, लेखक स्थानीय सांख्यिकी निकालते हैं:
- $\mu_5(f)$ : $G_f$ में लंबाई 5 के बंद पथों (closed walks) का मल्टीसेट।
- $\theta(f)$ : $B_f$ से प्राप्त एक विशिष्ट राइट डिग्री-को-डिग्री काउंट।
- $\rho(f)$ : एकल शेष टकराव जोड़ी ( $f_{381}, f_{382}$ ) के लिए एक रिज़ॉल्वर जो मार्क्ड ट्रिपल्स (marked triples) पर आधारित है।
त्रिक $(\mu_5, \theta, \rho)$ को एक एकल 64-बिट शब्द में संकुचित किया जाता है। इस इनवेरिएंट को सभी प्रतिनिधियों में टकराव-मुक्त (collision-free) पाया गया है।

सत्यापन:
पूर्णता को दो स्वतंत्र विधियों द्वारा सत्यापित किया गया है:

बर्नसाइड का लेम्मा (Burnside's Lemma): ऑर्बिट्स की कुल संख्या समूह क्रिया (group action) से प्राप्त सैद्धांतिक योग से मेल खाती है।
ऑर्बिट-स्टेबलाइज़र आइडेंटिटी: सभी कैटलॉग प्रतिनिधियों पर $|GL(10, 2)| / |St(f)| $का योग कुल गैर-शून्य फॉर्म्स ($ 2^{\binom{10}{3}} - 1$) के बराबर है।

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

कैटलॉग: शोध पत्र दस चरों वाले बूलियन क्यूबिक फॉर्म्स के सभी 3,691,560 गैर-शून्य $GL(10, 2)$-ऑर्बिट्स का एक स्पष्ट कैटलॉग प्रस्तुत करता है।
प्रतिनिधि (Representatives): प्रत्येक ऑर्बिट के लिए, कैटलॉग एक प्रतिनिधि प्रदान करता है जिसमें न्यूनतम मोनॉमियल काउंट (अधिकतम देखा गया 17) है, $GL(10, 2)$ में इसके स्टेबलाइज़र का क्रम है, और एक स्पष्ट अल्टरनेटिंग रैंक अपघटन है।
संरचनात्मक डेटा:
- अल्टरनेटिंग रैंक: आयाम 10 में अधिकतम अल्टरनेटिंग रैंक 7 है। वितरण दर्शाता है कि रैंक 6 वाले फॉर्म्स नॉन-डेजेनरेट (nondegenerate) फॉर्म्स के बीच प्रमुख परत बनाते हैं।
- स्टेबलाइजर्स: 143 अलग-अलग स्टेबलाइज़र ऑर्डर्स हैं। $m=10$ में अधिकांश फॉर्म्स का स्टेबलाइज़र ट्रिवियल (trivial) होता है।
- विमीयता (Dimensionality): कुल ऑर्बिट्स में से, 348 के पास नॉन-ट्रिवियल रेडिकल्स (निचले प्रभावी आयामों से विरासत में मिले) हैं, जबकि 3,691,212 आयाम 10 में नॉन-डेजेनरेट हैं।
इनवेरिएंट प्रदर्शन: 64-बिट इनवेरिएंट प्रति फॉर्म औसतन 0.20 ms में मूल्यांकन करता है, जो सीधे कैनोनिकल लेबलिंग (जिसमें टकराव वर्गों के लिए 8.9 सेकंड तक का समय लगा) की तुलना में काफी तेज़ है।

महत्व और अनुप्रयोग
लेखक इस कार्य को कई क्षेत्रों के लिए एक आधारभूत संसाधन के रूप में प्रस्तुत करते हैं:

कोडिंग थ्योरी: कैटलॉग तीसरे क्रम के रीड-रुलर कोड्स $RM(3, 10) $और संबंधित संरचनाओं जैसे$ RM^*(7, 10) $के लिए कोसेट वेट एन्युमरेटर और कवरिंग रेडियस की गणना के लिए आवश्यक इनपुट प्रदान करता है। यह$ RM(3, 11)$ के लिए सरवेट-टाइप रिकर्सन (Sarwate-type recursions) के लिए आवश्यक ऑर्बिट-इंडेक्सिंग लेयर भी आपूर्ति करता है।
क्वांटम कंप्यूटिंग: वर्गीकरण क्वांटम सर्किट को अनुकूलित करने के लिए एक लुकअप टेबल प्रदान करता है। चूंकि फेज बहुपद (phase polynomial) के क्यूबिक भाग की अल्टरनेटिंग रैंक टोफोली गेट (Toffoli gate) काउंट को नियंत्रित करती है, इसलिए कैटलॉग क्यूबिक अंशों (10 चरों तक) को इष्टतम अपघटन के साथ बदलने की अनुमति देता है, जो AND-काउंट मिनिमाइजेशन के लिए सबसर्किट रिप्लेसमेंट के समान है।
गणितीय वर्गीकरण: यह आयाम 10 में किसी भी क्षेत्र पर अल्टरनेटिंग ट्रिलिनियर फॉर्म्स का पहला पूर्ण वर्गीकरण है। पोलराइजेशन द्वारा, परिणाम सीधे ट्राइवैक्टर्स (trivectors) की ज्यामिति और कोड लूप्स के वर्गीकरण पर लागू होते हैं।

शोध पत्र निष्कर्ष निकालता है कि जबकि $m=10$ के लिए वर्गीकरण पूर्ण है, $m=11$ तक इसका विस्तार करने के लिए (अनुमानित $\approx 6 \times 10^{13}$ ऑर्बिट्स की वृद्धि के कारण) काफी अधिक कुशल इनवेरिएंट्स की आवश्यकता होगी। डेटा और कोड Zenodo और GitHub के माध्यम से उपलब्ध कराए गए हैं।