Mixed-register Stabilizer Codes: A Coding-theoretic Perspective

यहाँ हिमांशु डोंग्रे और लेन जी. गुंडरमैन के शोध पत्र "Mixed-register Stabilizer Codes: A Coding-theoretic Perspective" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

क्वांटम एरर करेक्शन (त्रुटि सुधार) पारंपरिक रूप से उन प्रणालियों पर केंद्रित रहा है जिनमें समान स्थानीय आयाम (uniform local dimensions) होते हैं (जैसे, सभी क्यूबिट्स, या सभी प्राइम डायमेंशन $p$ वाले क्वडिट्स)। हालाँकि, वास्तविक क्वांटम हार्डवेयर में अक्सर मिक्स्ड-रजिस्टर सिस्टम (mixed-register systems) शामिल होते हैं जहाँ कम्प्यूटेशनल स्थान (रजिस्टर) के स्थानीय आयाम भिन्न होते हैं (जैसे, क्यूबिट्स, ट्रिट्स और बोसोनिक मोड्स का मिश्रण, या कंपोजिट डायमेंशन $d=6$)।

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

• कोडिंग-थ्योरेटिक बाधाएं (Coding-Theoretic Constraints): जब रजिस्टर के अलग-अलग, संभावित रूप से को-प्राइम (coprime) या कंपोजिट स्थानीय आयाम होते हैं, तो स्टेबलाइजर कोड कैसे कार्य करते हैं?
• एंटैंगलमेंट संरचना (Entanglement Structure): विभिन्न आयामों वाले रजिस्टरों को क्लिफोर्ड ऑपरेशन्स (Clifford operations) का उपयोग करके एंटैंगल करने की मौलिक सीमाएँ क्या हैं?
• निर्माण (Construction): ऐसे इष्टतम मिक्स्ड-रजिस्टर स्टेबलाइजर कोड का निर्माण कैसे किया जाए जो केवल विलगित (disjoint) कोड्स के टेंसर उत्पाद (tensor products) के रूप में न हों, बल्कि विभिन्न आयामों के बीच वास्तविक लॉजिकल एंटैंगलमेंट प्रदर्शित करें?

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

लेखक मिक्स्ड-रजिस्टर सिस्टम के लिए विशेष रूप से तैयार किया गया एक कठोर कोडिंग-थ्योरेटिक ढांचा विकसित करते हैं:

• सामान्यीकृत पाउली समूह (Generalized Pauli Group): वे स्थानीय आयाम $Q$ वाले रजिस्टरों के लिए पाउली ऑपरेटर्स $X_Q$ और $Z_Q$ को परिभाषित करते हैं (जहाँ $Q$ एक पूर्णांक, कंपोजिट, या निरंतर चरों (continuous variables) के लिए अनंत हो सकता है)।
• $\phi$-प्रतिनिधित्व ($\phi$-Representation): वे एक वेक्टर प्रतिनिधित्व $\phi$ पेश करते हैं जो पाउली ऑपरेटर्स को एक सिम्प्लेक्टिक स्पेस (symplectic space) में मैप करता है। महत्वपूर्ण रूप से, यह मैप प्रत्येक रजिस्टर के विशिष्ट स्थानीय आयाम के अनुसार मोड्यूलो (modulo) लेकर मिश्रित आयामों को संभालता है।
• सामान्यीकृत सिम्प्लेक्टिक उत्पाद (Generalized Symplectic Product): मिश्रित रजिस्टरों के बीच कम्यूटेशन संबंधों को निर्धारित करने के लिए एक नया आंतरिक उत्पाद $\tilde{\odot}$ परिभाषित किया गया है। ऑपरेटर्स $s_i, s_j$ के लिए, उत्पाद है:
  $$\phi(s_i) \tilde{\odot} \phi(s_j) = \sum_{h=1}^n \frac{1}{Q_h} (\phi_x[h](s_i)\phi_z[h](s_j) - \phi_x[h](s_j)\phi_z[h](s_i))$$
  कम्यूटेशन तब संतुष्ट होता है जब यह योग एक पूर्णांक (अर्थात, $0 \mod 1$) हो।
• संरचनात्मक अपघटन (Structural Decomposition): लेखक मिक्स्ड-रजिस्टर पाउली ऑपरेटर्स के सबग्रुप्स के लिए एक कैनोनिकल अपघटन (थ्योरम 8) का उपयोग करते हैं, जो सिम्प्लेक्टिक ग्राम-श्मिट प्रक्रिया के समान है, ताकि कम्यूटिंग ("आइसोट्रोपिक") भागों को गैर-कम्यूटिंग ("सिम्प्लेक्टिक") भागों से अलग किया जा सके।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

A. नो-गो थ्योरम्स और मौलिक सीमाएँ (No-Go Theorems and Fundamental Limits)

यह शोध पत्र कई "नो-गो" परिणाम स्थापित करता है जो संभावनाओं की सीमाओं को परिभाषित करते हैं:

1. नॉन-क्लिफोर्ड ट्रांस-डायमेंशनल गेट्स (Non-Clifford Trans-Dimensional Gates): यदि दो रजिस्टरों के स्थानीय आयाम को-प्राइम हैं ($\gcd(Q_1, Q_2)=1$), तो कोई भी यूनिटरी गेट जो उनके बीच एंटैंगलमेंट उत्पन्न करता है, क्लिफोर्ड ऑपरेटर नहीं हो सकता। किसी पाउली ऑपरेटर को ऐसे गेट द्वारा कॉन्जुगेट करने पर पाउली ऑपरेटर्स का एक योग प्राप्त होता है, जो पाउलीज़ को पाउलीज़ में मैप करने की स्टेबलाइजर औपचारिकता की आवश्यकता को तोड़ देता है।
2. को-प्राइम कोड्स की विलगता (Disjointness of Coprime Codes): को-प्राइम स्थानीय आयामों वाले रजिस्टरों से निर्मित मिक्स्ड-रजिस्टर स्टेबलाइजर कोड अनिवार्य रूप से विलगित कोड्स का एक टेंसर उत्पाद होगा। को-प्राइम आयामों के बीच वास्तविक लॉजिकल एंटैंगलमेंट संभव नहीं है जब तक कि एक ऐसा रजिस्टर पेश न किया जाए जिसका आयाम उन को-प्राइम्स का लघुत्तम समापवर्त्य (Least Common Multiple - LCM) हो।
3. ऑसिलेटर-क्विडिट पृथक्करण (Oscillator-Qudit Separation): निरंतर-चर (अनंत-आयामी) ऑसिलेटर्स को एक स्टेबलाइजर कोड में गैर-तुच्छ (non-trivially) रूप से क्वडिट्स के साथ एंटैंगल नहीं किया जा सकता है। कोड स्पेस ऑसिलेटर कोड और क्वडिट कोड के उत्पाद में विभाजित (factorize) होना चाहिए।

B. निर्माण 1: गैर-कम्यूटेटिविटी समाधान (Construction 1: Non-Commutativity Resolution)

मौजूदा रजिस्टरों पर गैर-कम्यूटिंग पाउली ऑपरेटर्स के संरचनात्मक अपघटन (थ्योरम 8) के आधार पर, लेखक निर्माण 14 (Construction 14) प्रस्तावित करते हैं:

• विधि: मौजूदा रजिस्टरों पर गैर-कम्यूटिंग पाउली ऑपरेटर्स के सेट को देखते हुए, यह निर्माण समूह के "सिम्प्लेक्टिक" भाग की पहचान करता है। इसके बाद, यह गैर-कम्यूटेटिविटी को "हल" करने के लिए विशिष्ट स्थानीय आयामों ($d_i$) वाले नए सहायक (auxiliary) रजिस्टर पेश करता है।
• तंत्र: $d_i$ के सिम्प्लेक्टिक उत्पाद वाले जोड़े के लिए, एक नया रजिस्टर $d_i$ आयाम वाला जोड़ा जाता है। मूल जनरेटरों को नए रजिस्टर पर $X_{d_i}$ और $Z_{d_i}^{-1}$ के साथ टेंसर करके संशोधित किया जाता है, जिससे गैर-शून्य चरण (phase) रद्द हो जाता है।
• इष्टतमता (Optimality): थ्योरम 8 और रिमार्क 15 सिद्ध करते हैं कि यह निर्माण आवश्यक रजिस्टरों की न्यूनतम संख्या जोड़ता है। यह को-प्राइम आयामों (जैसे, एक क्यूबिट और एक ट्रिट) को एक एकल कंपोजिट रजिस्टर (एक 'क्वहेक्स', $d=6$) में समामेलन (amalgamate) करने के लिए साइक्लिक समूहों के इनवेरिएंट फैक्टर अपघटन का उपयोग करता है, बजाय इसके कि दो अलग-अलग रजिस्टर जोड़े जाएं।

C. निर्माण 2: स्कैंड निर्माण (Scanned Construction - Theorem 17)

यह उच्च-प्रदर्शन वाले मिक्स्ड-रजिस्टर कोड उत्पन्न करने के लिए प्राथमिक रचनात्मक परिणाम है:

• विधि: यह दो मौजूदा स्टेबलाइजर कोड्स, $S_1$ (आयाम $Q_1$) और $S_2$ (आयाम $Q_2$) को लेता है, जहाँ $Q_1$ और $Q_2$ को-प्राइम हैं।
• ओवरलैप (Overlap): मौजूदा कोड्स को रजिस्टरों के एक उपसमुच्चय (subset) पर "स्कैन" या ओवरलैप किया जाता है।
  • $S_1$ के अद्वितीय भाग में स्थित रजिस्टर $Q_1$ आयाम बनाए रखते हैं।
  • $S_2$ के अद्वितीय भाग में स्थित रजिस्टर $Q_2$ आयाम बनाए रखते हैं।
  • इंटरसेक्शन (Intersection) में स्थित रजिस्टरों को $Q = Q_1 Q_2$ (LCM) का स्थानीय आयाम दिया जाता है।
• परिणामी कोड: परिणामी कोड के पैरामीटर्स $[[n, K, d]]$ होते हैं, जहाँ लॉजिकल सबस्पेस डायमेंशन $K$, व्यक्तिगत लॉजिकल डायमेंशन्स का उत्पाद है, और दूरी $d$, $\min(d_1, d_2)$ है।
• महत्व: यह एक ऐसा कोड बनाता है जहाँ लॉजिकल सबस्पेस किसी भी एकल घटक आयाम से मेल नहीं खाता है। लॉजिकल स्टेट्स विभिन्न आयामों के बीच वास्तव में एंटैंगल्ड होते हैं।

4. महत्व और निहितार्थ (Significance and Implications)

• हार्डवेयर दक्षता (Hardware Efficiency): यह कार्य विषम (heterogeneous) क्वांटम हार्डवेयर (जैसे, बोसोनिक मोड्स के साथ जुड़े सुपरकंडक्टिंग क्यूबिट्स या कई आंतरिक अवस्थाओं वाले ट्रैप्ड आयन) का उपयोग करने के लिए एक सैद्धांतिक आधार प्रदान करता है, बिना सभी घटकों को एक समान क्यूबिट/ट्रिट एब्स्ट्रैक्शन में बदलने के। यह लॉजिकल जानकारी को एनकोड करने के लिए भौतिक ओवरहेड (नियंत्रण लाइनों की संख्या, कूलिंग आवश्यकताएं) को कम कर सकता है।
• टोपोलॉजिकल फेज (Topological Phases): यह पेपर प्रदर्शित करता है कि को-प्राइम आयामों के टोपोलॉजिकल कोड्स (जैसे, टोरिक कोड्स) को एक एकल कंपोजिट रजिस्टर के माध्यम से मिलाने से एक नया टोपोलॉजिकल फेज बनता है। लॉजिकल जानकारी एक "क्वहेक्स" (quhex) फेज में संग्रहीत होती है जो मूल क्यूबिट या ट्रिट फेज से भिन्न होती है।
• qLDPC कोड्स: "स्कैंड निर्माण" मिक्स्ड-रजिस्टर सिस्टम के लिए उच्च-गुणवत्ता वाले क्वांटम लो-डेंसिटी पैरिटी-चेक (qLDPC) कोड उत्पन्न करने का एक मार्ग प्रदान करता है, जो फॉल्ट-टोलरेंट क्वांटम कंप्यूटिंग के लिए महत्वपूर्ण हैं।
• मौलिक अंतर्दृष्टि (Foundational Insights): ये परिणाम बीजगणितीय संरचना (को-प्राइमलिटी, LCM) और क्वांटम एंटैंगलमेंट के बीच संबंध को स्पष्ट करते हैं। यह सिद्ध करता है कि आयामों को "मिक्स" करने के लिए (स्टेबलाइजर प्रॉपर्टी बनाए रखने के लिए) एक विशिष्ट बीजगणितीय सेतु (LCM रजिस्टर) की आवश्यकता होती, जो मिक्स्ड-रजिस्टर क्वांटम कोडिंग को क्लासिकल कोडिंग से मौलिक रूप से अलग करता है।

निष्कर्ष (Conclusion)

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