Some structural properties of mixed orthogonal arrays and their irredundancy

यहाँ बाजलन, बोयवलेंकोव और ओज़बुडाक के शोध पत्र "मिश्रित ऑर्थोगोनल एरेज़ के कुछ संरचनात्मक गुण और उनकी अप्रासंगिकता (irredundancy)" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और प्रेरणा

संदर्भ:
ऑर्थोगोनल एरेज़ (OAs) मौलिक संयोजन संरचनाएं (combinatorial structures) हैं जिनका उपयोग प्रयोगों के डिज़ाइन, कोडिंग थ्योरी और क्रिप्टोग्राफी में किया जाता है। शास्त्रीय OAs सममित (symmetric) होते हैं, जिसका अर्थ है कि सभी कॉलमों का वर्णमाला आकार (alphabet size) समान ($q$) होता है। मिश्रित ऑर्थोगोनल एरेज़ (MOAs), या असममित (asymmetric) OAs, इसे इस प्रकार सामान्यीकृत करते हैं कि कॉलमों के अलग-अलग वर्णमाला आकार ($q^{n_1}, q^{n_2}, \dots, q^{n_s}$) हो सकते हैं।

चुनौती:
जबकि सममित OAs का एक सुस्थापित संरचनात्मक सिद्धांत है (जिसमें यूक्लिडियन द्वैतता (Euclidean duality), एक अद्वितीय वैश्विक सूचकांक $\lambda$, और शास्त्रीय राव एवं सिनगलटन जैसे बाउंड्स शामिल हैं), ये उपकरण मिश्रित परिवेश में विफल हो जाते हैं:

1. कोई वैश्विक सूचकांक नहीं: MOAs में, "सूचकांक" (टुपल्स की आवृत्ति) चुने गए कॉलमों के विशिष्ट उपसमुच्चय पर निर्भर करता है, न कि किसी एकल वैश्विक पैरामीटर पर।
2. टूटी हुई द्वैतता (Broken Duality): मिश्रित वर्णमालाओं के लिए मानक यूक्लिडियन आंतरिक उत्पाद (inner product) अच्छी तरह से परिभाषित नहीं है, जो रैखिक कोड और रैखिक OAs के बीच द्वैतता के प्रत्यक्ष अनुप्रयोग को रोकता है।
3. क्वांटम अनुप्रयोग: विषम क्वांटम प्रणालियों (जहाँ उप-प्रणालियों के आयाम भिन्न होते हैं) में एब्सोल्यूटली मैक्सिमली एंटैंगल्ड (AME) अवस्थाओं और $t$-यूनिफॉर्म अवस्थाओं के निर्माण के लिए एक बढ़ती आवश्यकता है। ये अवस्थाएँ इररिडंडेंट (Irredundant) मिश्रित ऑर्थोगोनल एरेज़ (IrMOAs) के अनुरूप होती हैं, लेकिन मिश्रित मामले में इनके निर्माण के लिए एक संरचनात्मक सिद्धांत का अभाव है।

उद्देश्य:
इस शोध पत्र का लक्ष्य निम्नलिखित के माध्यम से MOAs के लिए एक सुदृढ़ संरचनात्मक सिद्धांत स्थापित करना है:

• सामान्यीकृत बाउंड्स (सिनगलटन-प्रकार के) प्राप्त करना।
• MOAs को एरर-ब्लॉक कोड्स से जोड़ने के लिए एक ट्रेस द्वैतता (trace duality) पेश करना।
• इररिडंडेंट MOAs (IrMOAs) और MDS कोड्स के बीच उनकी समानता को स्पष्ट करना, विशेष रूप से AME अवस्थाओं के निर्माण के लिए।

---

2. कार्यप्रणाली और ढांचा (Methodology and Framework)

लेखक एक ढांचा विकसित करते हैं जो मिश्रित ऑर्थोगोनल एरेज़ और $F_q$-रैखिक एरर-ब्लॉक कोड्स के बीच सेतु का काम करता है।

A. एरर-ब्लॉक कोड्स और विभाजन (Partitions)

यह शोध पत्र एक पूर्णांक $n$ के विभाजन $\pi = [n_1][n_2]\dots[n_s]$ की अवधारणा का उपयोग करता है। सदिश स्थान (vector space) $F_q^n$ को $V_1 \times \dots \times V_s$ के उत्पाद में विभाजित किया जाता है, जहाँ $V_i \cong F_q^{n_i}$।

• $\pi$-भार ($\pi$-weight): एक सदिश में गैर-शून्य ब्लॉकों की संख्या।
• $\pi$-दूरी ($d_\pi$): गैर-शून्य कोडवर्ड्स का न्यूनतम $\pi$-भार।
• MDS कोड्स: वे कोड जो एरर-ब्लॉक कोड्स के लिए सिनगलटन-प्रकार के बाउंड को प्राप्त करते हैं।

B. ट्रेस द्वैतता और आइसोमोर्फिज्म ($\rho$)

मिश्रित परिवेश में यूक्लिडियन द्वैतता की कमी को दूर करने के लिए, लेखक मिश्रित स्थान $F_{q^{n_1}} \times \dots \times F_{q^{n_s}}$ पर एक ट्रेस आंतरिक उत्पाद (Trace Inner Product) को परिभाषित करते हैं:
$$\langle a, b \rangle_{Tr} = \sum_{i=1}^s \text{Tr}_i(a_i b_i)$$
जहाँ $\text{Tr}_i$ मूल क्षेत्र $F_q$ से $F_{q^{n_i}}$ तक का ट्रेस मैप है।

वे एक आइसोमोर्फिज्म $\rho$ पेश करते हैं जो मिश्रित स्थान को आधार क्षेत्र $F_q$ के सदिश स्थानों के उत्पाद में मैप करता है:
$$\rho: F_{q^{n_1}} \times \dots \times F_{q^{n_s}} \to F_q^{n_1} \times \dots \times F_q^{n_s}$$
यह मैप एक $F_q$-रैखिक MOA को $F_q$-रैखिक एरर-ब्लॉक कोड में परिवर्तित करता है। महत्वपूर्ण रूप से, विशिष्ट शर्तों के तहत (जैसे, $q$ सम है या $n_i$ विषम है), $\rho$ द्वैतता को संरक्षित करता है, जिससे एक MOA का ट्रेस ड्यूल (trace dual) संगत एरर-ब्लॉक कोड के यूक्लिडियन ड्यूल (Euclidean dual) में मैप होता है।

C. अप्रासंगिकता (Irredundancy)

एक MOA इररिडंडेंट (IrMOA) है यदि कोई भी $M \times (s-t)$ उप-एरे (subarray) में युग्मवार (pairwise) भिन्न पंक्तियाँ हों। यह गुण दिखाया गया है कि यह न्यूनतम हैमिंग दूरी $d_H \ge t+1$ की स्थिति के समकक्ष है।

---

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

शोध पत्र तीन मुख्य संरचनात्मक परिणाम प्रस्तुत करता है:

परिणाम 1: सिनगलटन-प्रकार का बाउंड और MDS लक्षण वर्णन

लेखक MOAs के लिए एक सामान्यीकृत सिनगलटन-प्रकार के बाउंड को स्थापित करते हैं। एक MOA के लिए जिसके पैरामीटर्स $(M, s, (q^{n_1}, \dots, q^{n_s}), t)$ और न्यूनतम हैमिंग दूरी $d_H$ है:
$$\prod_{i=1}^t q^{n_i} \le M \le \prod_{i=d_H}^s q^{n_i} \le \prod_{i=1}^{s-d_H+1} q^{n_i}$$

• MDS परिभाषा: एक MOA MDS है यदि वह ऊपरी बाउंड $M = \prod_{i=d_H}^s q^{n_i}$ को प्राप्त करता है।
• सूचकांक लक्षण वर्णन: वे न्यूनतम सूचकांक $\lambda_{min}$ को परिभाषित करते हैं। वे सिद्ध करते हैं कि विशिष्ट स्थितियों में (जैसे, जब ब्लॉक आकारों का योग मेल खाता हो), एक MOA MDS है यदि और केवल यदि $\lambda_{min} = 1$ हो।
• लगभग-MDS (Almost-MDS): वे "लगभग-MDS" एरेज़ का लक्षण वर्णन करते हैं जहाँ सिनगलटन डिफेक्ट 1 है।

परिणाम 2: ट्रेस द्वैतता के माध्यम से संरचनात्मक समानता

शोध पत्र $F_q$-रैखिक MOAs और $F_q$-रैखिक एरर-ब्लॉक कोड्स के बीच एक कठोर संबंध स्थापित करता है:

• थ्योरम 5.4: यदि $C$ एक $F_q$-रैखिक MOA है जिसकी स्ट्रेंथ (strength) $t$ है, तो उसका इमेज $\rho(C)$ एक एरर-ब्लॉक कोड है जिसका ड्यूल कोड $\pi$-दूरी $d_\pi((\rho(C))^\perp) \ge t+1$ रखता है। यदि स्ट्रेंथ ठीक $t$ है, तो समानता बनी रहती है।
• थ्योरम 5.5: इसके विपरीत, यदि $C$ एक एरर-ब्लॉक कोड है जिसकी ड्यूल दूरी $d_\pi(C^\perp)$ है, तो $\rho^{-1}(C)$ एक MOA है जिसकी स्ट्रेंथ $d_\pi(C^\perp) - 1$ है।
• महत्व: यह ज्ञात एरर-ब्लॉक कोड्स से MOAs के निर्माण और इसके विपरीत, गुणों जैसे MDS-नेस और दूरी को स्थानांतरित करने की अनुमति देता है।

परिणाम 3: इररिडंडेंट MOAs और AME अवस्थाएँ

लेखक IrMOAs की जांच करते हैं, जो क्वांटम सूचना के लिए महत्वपूर्ण हैं।

• चरम मामला ($t = \lfloor s/2 \rfloor$): वे सिद्ध करते हैं कि एक IrMOA के लिए जिसकी स्ट्रेंथ $t = \lfloor s/2 \rfloor$ है और विशिष्ट ब्लॉक आकार प्रतिबंध हैं, वह MDS है यदि और केवल यदि $\lambda_{min} = 1$ हो।
• MDS कोड्स के साथ समानता: एक $F_q$-रैखिक IrMOA जिसका न्यूनतम सूचकांक 1 है (जो न्यूनतम सपोर्ट वाली AME अवस्थाओं को जन्म देता है), एक $F_q$-रैखिक एरर-ब्लॉक MDS कोड के समकक्ष है।
• निर्माण: वे एरर-ब्लॉक कोड्स से IrMOAs बनाने की एक विधि (थ्योरम 6.9) प्रदान करते हैं। विशेष रूप से, $\rho^{-1}(C)$ एक IrMOA है यदि और केवल यदि $d_\pi(C) \ge d_\pi(C^\perp)$ हो।

---

4. महत्व और प्रभाव

1. सिद्धांतों का एकीकरण: शोध पत्र सममित OAs और रैखिक कोड्स के शास्त्रीय द्वैतता सिद्धांत को मिश्रित (असममित) सेटिंग में सफलतापूर्वक विस्तारित करता है। यह संयोजन डिज़ाइन थ्योरी में एक महत्वपूर्ण अंतर को भरता है।
2. क्वांटम सूचना अनुप्रयोग: परिणाम विषम क्वांटम प्रणालियों (ऐसी प्रणालियाँ जिनमें क्यूबिट्स और विभिन्न आयामों वाले क्वडिट्स होते हैं) में एब्सोल्यूटली मैक्सिमली एंटैंगल्ड (AME) अवस्थाओं के निर्माण के लिए एक सीधा संयोजन मार्ग प्रदान करते हैं। पिछले निर्माण होमोजेनियस (समान) प्रणालियों तक सीमित थे।
3. नए निर्माण उपकरण: MOAs को एरर-ब्लॉक कोड्स से जोड़कर, यह शोध पत्र नए प्रकार के मिश्रित ऑर्थोगोनल एरेज़ उत्पन्न करने के लिए मौजूदा व्यापक साहित्य का उपयोग करने में सक्षम बनाता है, जिसमें न्यूनतम सपोर्ट (क्वांटम सीक्रेट शेयरिंग के लिए अनुकूल) वाले एरेज़ भी शामिल हैं।
4. परिष्कृत बाउंड्स: सिनगलटन-प्रकार के बाउंड और न्यूनतम सूचकांक $\lambda_{min}$ की अवधारणा का परिचय मिश्रित परिवेश में इष्टतमता के लिए आवश्यक और पर्याप्त स्थितियाँ प्रदान करता है, जो चरम (extremal) MOAs की समझ को परिष्कृत करता है।

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