⚛️ quantum physics

High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures

यह शोध पत्र एफाइन-कोसेट संरचनाओं (affine-coset structures) और सर्कुलेंट परम्यूटेशन लिफ्ट्स (circulant permutation lifts) का उपयोग करके उच्च-गर्थ (high-girth) नियमित क्वांटम LDPC कोडों का एक निर्माण प्रस्तुत करता है, जिसके परिणामस्वरूप एक $[[16384, 4142, \leq 40]]$ कोड प्राप्त होता है जो 0.085 के डिपोलराइजिंग एरर रेट पर लगभग $10^{-8}$ का फ्रेम एरर रेट प्राप्त करता है।

मूल लेखक: Koki Okada, Kenta Kasai

प्रकाशित 2026-04-23

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

CC BY 4.0

मूल लेखक: Koki Okada, Kenta Kasai

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

कल्पना कीजिए कि आप एक बहुत ही शोर भरे, तूफानी समुद्र के पार एक गुप्त संदेश भेजने की कोशिश कर रहे हैं। अपने संदेश की सुरक्षा के लिए, आप इसे एक विशाल, जटिल सुरक्षा जाल (safety net) में लपेटते हैं। यह जाल धागों (चेक्स) से बना है जो संदेश (डेटा) को एक साथ थामे रखते हैं। यदि कोई लहर (त्रुटि/error) जाल से टकराती है, तो धागे विशिष्ट तरीकों से खिंचते हैं, जिससे आपको पता चलता है कि लहर कहाँ लगी थी ताकि आप उसे ठीक कर सकें।

यह शोध पत्र क्वांटम कंप्यूटरों के लिए एक सुपर-स्ट्रॉन्ग, हाई-टेक सुरक्षा जाल बनाने के बारे में है। यहाँ की कहानी है कि कैसे लेखकों ने इस जाल को बनाया, जिसे भारी गणित के बिना समझाया गया है।

1. समस्या: "परफेक्ट" जाल ढूँढना कठिन है

त्रुटि सुधार (error correction) की दुनिया में, हम एक ऐसा जाल चाहते हैं जो हो:

स्पार्स (Sparse): बहुत अधिक धागे न हों, ताकि इसे जाँचना हल्का और तेज़ हो।
रेगुलर (Regular): हर गाँठ में धागों की संख्या समान हो (कोई कमज़ोर बिंदु न हो)।
लूप-मुक्त (High Girth): जाल में छोटे, तंग लूप नहीं होने चाहिए। छोटे लूप "इको चैंबर्स" (गूँजने वाले कक्ष) की तरह होते हैं जहाँ भ्रम तेज़ी से फैलता है, जिससे यह समझना मुश्किल हो जाता है कि क्या गलत हुआ।
क्वांटम-सेफ (Quantum-Safe): क्वांटम दुनिया में, एक अजीब नियम है: "X" धागे और "Z" धागे (दो अलग प्रकार के सुरक्षा चेक) को पूरी तरह से ऑर्थोगोनल (orthogonal) होना चाहिए (जैसे ग्राफ पर X और Y अक्ष)। वे एक-दूसरे के साथ हस्तक्षेप नहीं कर सकते, अन्यथा पूरा जाल ढह जाएगा।

लेखक एक ऐसा जाल बनाना चाहते थे जो पूरी तरह से रेगुलर हो, जिसमें छोटे लूप न हों, और जो क्वांटम नियमों का पालन करता हो, और साथ ही एक विशिष्ट, प्रबंधनीय आकार (512 यूनिट) का हो।

2. ब्लूप्रिंट: "एफाइन कोसेट" (Affine Coset) शहर

इसे बनाने के लिए, लेखकों ने केवल रेखाएँ बेतरतीब ढंग से नहीं खींचीं। उन्होंने एक गणितीय शहर योजना का उपयोग किया जिसे एफाइन कोसेट (Affine Cosets) कहा जाता है।

शहर: एक 9-आयामी (9-dimensional) शहर की कल्पना करें जहाँ हर घर एक "क्यूबिट" (एक क्वांटम बिट) है। इस शहर में 512 घर हैं।
पड़ोस: उन्होंने शहर को तीन बड़े जिलों (A, B, और C) में विभाजित किया।
चेक्स (Checks):
- X-चेक्स "पड़ोस की गश्त" की तरह हैं जो जिला A के हर घर को देखते हैं, फिर जिला B के हर घर को, और फिर जिला C के हर घर को।
- Z-चेक्स गश्त का एक अलग सेट है जो शहर को एक अलग कोण से देखता है (डिस्ट्रिक्ट D1, D2, D3), जो पहले तीन के चतुराई से मिश्रित संस्करण हैं।

जादुई ट्रिक: इन जिलों को बनाने के तरीके के कारण, X-टीम की कोई भी दो गश्त और Z-टीम की कोई भी दो गश्त केवल दो घरों पर ही आपस में मिलती हैं (या शून्य पर)। वे कभी भी केवल एक या तीन घरों पर नहीं मिलतीं। यह विशिष्ट "दो-घर मुलाकात" वाला नियम ही वह गुप्त सूत्र है जो यह सुनिश्चित करता है कि क्वांटम ऑर्थोगोनैलिटी नियम स्वतः ही पूरा हो जाए।

3. विस्तार: "सर्कुलेंट" (Circulant) मल्टीप्लायर

ऊपर दिया गया ब्लूप्रिंट 512 घरों के छोटे शहर के लिए है। लेकिन लेखक एक वास्तविक प्रयोग के लिए एक बड़ा जाल चाहते थे।

उन्होंने एक तकनीक का उपयोग किया जिसे CPM लिफ्ट (Circulant Permutation Matrix) कहा जाता है। इसे ऐसे समझें जैसे आप एक छोटे, परफेक्ट टाइल पैटर्न को लेकर एक विशाल फर्श पर टाइल्स बिछा रहे हों।

उन्होंने अपने 512-घर वाले छोटे ब्लूप्रिंट को लिया।
उन्होंने इसे 32 के कारक (factor) से "लिफ्ट" करने का निर्णय लिया।
परिणाम: 512 घरों के बजाय, अब उनके पास 16,384 घर (512 × 32) हैं।
शानदार बात: क्योंकि उन्होंने एक विशिष्ट "शिफ्टिंग" नियम का उपयोग किया (जैसे एक पैटर्न को बार-बार खिसकाना), नए विशाल जाल ने छोटे वाले के सभी अच्छे गुणों को बनाए रखा: यह अभी भी रेगुलर है, इसमें अभी भी छोटे लूप नहीं हैं, और यह अभी भी क्वांटम नियमों का पालन करता है।

4. परीक्षण: तूफानी समुद्र

उन्होंने इस विशाल जाल को "कोड-कैपेसिटी डिपोलराइजिंग मॉडल" के सिमुलेशन में परखा।

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

5. परिणाम: विजय यात्रा

प्रदर्शन: 8.5% के शोर स्तर पर (जो काफी तूफानी है), उनके जाल ने लगभग 1 करोड़ में 1 ( $10^{-8}$ ) की त्रुटि दर के साथ संदेश को सुरक्षित रखने में सफलता प्राप्त की। यह अविश्वसनीय रूप से विश्वसनीय है।
दूरी (Distance): कोडिंग के शब्दों में, "दूरी" यह है कि जाल कितनी लहरों को झेल सकता है इससे पहले कि संदेश खो जाए। उन्होंने एक विशिष्ट त्रुटि पैटर्न पाया जिसने 40 लहरों के साथ जाल को तोड़ दिया। इसका मतलब है कि जाल कम से कम 39 लहरों को संभालने के लिए पर्याप्त मजबूत है, लेकिन शायद 40 के लिए नहीं। इसलिए, वे इसकी ताकत को $\le 40$ के रूप में रिपोर्ट करते हैं।
तुलना: उन्होंने अपने कस्टम-निर्मित जाल की तुलना एक "रैंडम" (यादृच्छिक) जाल से की। आश्चर्यजनक रूप से, उनके सावधानीपूर्वक डिज़ाइन किए गए, संरचित जाल ने एक पूरी तरह से रैंडम जाल के लगभग बराबर प्रदर्शन किया, जिससे सिद्ध होता है कि उनकी विशिष्ट "सिटी प्लान" उत्कृष्ट है।

बड़ी तस्वीर (The Big Picture)

यह शोध पत्र एक विशिष्ट प्रकार के क्वांटम जाल के लिए एक "प्रूफ ऑफ कॉन्सेप्ट" है।

उन्होंने ज्यामिति (geometry) का उपयोग करके एक परफेक्ट छोटा ब्लूप्रिंट डिज़ाइन किया।
उन्होंने एक चतुर टाइलिंग ट्रिक का उपयोग करके इसे बड़ा बनाया।
उन्होंने इसका परीक्षण किया और दिखाया कि यह शोर के खिलाफ अविश्वसनीय रूप से अच्छा काम करता है।

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

यहाँ कोकी ओकाडा और केंटा कासाई के शोध पत्र "High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र ऐसे परिमित-लंबाई (finite-length), उच्च-गर्थ (high-girth), नियमित क्वांटम लो-डेंसिटी पैरिटी-चेक (QLDPC) कोड्स के निर्माण की चुनौती को संबोधित करता है जो सख्त कैल्डरबैंक-शोर-स्टीन्स (CSS) ऑर्थोगोनैलिटी (orthogonality) शर्त को पूरा करते हों।

ट्रेड-ऑफ (The Trade-off): क्लासिकल LDPC कोड्स स्पार्स (sparse), रेगुलर पैरिटी-चेक मैट्रिसेस और बड़े गर्थ (गर्थ कम होने से इटरेटिव डिकोडिंग खराब होती है) से लाभान्वित होते हैं। हालाँकि, क्वांटम CSS कोड बनाने के लिए दो बाइनरी चेक मैट्रिसेस ( $H_X$ और $H_Z$ ) की आवश्यकता होती है जो न केवल स्पार्स और उच्च-गर्थ हों, बल्कि परस्पर ऑर्थोगोनल ( $H_X H_Z^T = 0$ ) भी हों।
अंतराल (The Gap): जबकि एसिम्प्टोटिक (asymptotic) निर्माण उपलब्ध हैं (जैसे हाइपरग्राफ उत्पाद), विशिष्ट परिमित-लंबाई के पैरामीटर्स प्राप्त करने के लिए उच्च गर्थ (विशेष रूप से गर्थ 8) और रेगुलरिटी बनाए रखते हुए स्पष्ट निर्माण करना कठिन है। मौजूदा विधियाँ अक्सर रैंडम एनसेम्बल या जटिल उत्पाद निर्माणों पर निर्भर करती हैं जो आसानी से विशिष्ट, पुनरुत्पादनीय (reproducible) परिमित-लंबाई के पैरामीटर्स प्रदान नहीं करती हैं।
लक्ष्य: लेखक एक पूर्णतः स्पष्ट, निश्चित लंबाई (512 क्वबिट्स) के बेस कंस्ट्रक्शन का लक्ष्य रखते हैं जिसका गर्थ 8 और $(3, 8)$ -रेगुलरिटी हो, और फिर इसके डिकोडिंग प्रदर्शन और दूरी (distance) गुणों को सत्यापित करने के लिए इसे एक बड़े कोड तक लिफ्ट (lift) करते हैं।

2. कार्यप्रणाली (Methodology)

कार्यप्रणाली में तीन मुख्य चरण शामिल हैं: बेस कंस्ट्रक्शन, लिफ्टिंग, और डिकोडिंग/सत्यापन।

A. बेस मैट्रिक्स कंस्ट्रक्शन (Affine-Coset Structure)

लेखक $\mathbb{F}_2$ पर लीनियर अलजेब्रा का उपयोग करके $192 \times 512$ आकार के बेस मैट्रिक्स जोड़े $(H_X^{base}, H_Z^{base})$ का निर्माण करते हैं।

वेक्टर स्पेस (Vector Space): मान लीजिए $V = \mathbb{F}_2^9$ । ब्लॉक लेंथ $n = |V| = 2^9 = 512$ है।
सबस्पेस अपघटन (Subspace Decomposition): $V$ को तीन 3-आयामी सबस्पेस के डायरेक्ट सम (direct sum) में विभाजित किया गया है: $V = A \oplus B \oplus C$ ।
ड्यूल अपघटन (Dual Decomposition): तीन नए सबस्पेस $D_1, D_2, D_3$ को $A, B, C$ के आधार वेक्टर्स को मिलाकर परिभाषित किया गया है (उदाहरण के लिए, $D_1 = \langle a_1, b_1, c_1 \rangle$ )।
मैट्रिक्स परिभाषा:
- $H_X^{base}$ : पंक्तियाँ (rows) $A, B,$ और $C$ के सभी एफाइन कोसेट्स (affine cosets) के अनुरूप हैं।
- $H_Z^{base}$ : पंक्तियाँ $D_1, D_2,$ और $D_3$ के सभी एफाइन कोसेट्स के अनुरूप हैं।
गुण (Properties):
- रेगुलरिटी (Regularity): प्रत्येक पंक्ति का वेट (weight) $2^3 = 8$ है (क्योंकि 3D सबस्पेस के कोसेट्स में 8 बिंदु होते हैं)। प्रत्येक कॉलम का वेट 3 है (प्रत्येक बिंदु प्रत्येक परिवार में ठीक एक कोसेट का हिस्सा है)।
- ऑर्थोगोनैलिटी (Orthogonality): $X$ -फैमिली के किसी भी कोसेट और $Z$ -फैमिली के किसी भी कोसेट का प्रतिच्छेदन (intersection) या तो खाली है या एक 1-आयामी एफाइन सबस्पेस (आकार 2) है। चूँकि $2 \equiv 0 \pmod 2$ , किसी भी रो-पेयर का इनर प्रोडक्ट शून्य है, जो CSS शर्त को संतुष्ट करता है।
- गर्थ (Girth): लेखक सिद्ध करते हैं कि टैनर ग्राफ (Tanner graphs) में कोई 4-साइकिल या 6-साइकिल नहीं है। गर्थ ठीक 8 है।

B. सर्कुलेंट परम्यूटेशन मैट्रिक्स (CPM) लिफ्ट

कोड की लंबाई बढ़ाने के लिए, जबकि संरचनात्मक गुणों को बनाए रखा जाए, लेखक एक लिफ्ट फैक्टर $P$ के साथ CPM लिफ्ट लागू करते हैं।

तंत्र (Mechanism): बेस मैट्रिसेस में प्रत्येक गैर-शून्य प्रविष्टि '1' को एक $P \times P$ सर्कुलेंट परम्यूटेशन मैट्रिक्स (CPM) $I_P(t)$ द्वारा प्रतिस्थापित किया जाता है, जहाँ $t$ एक शिफ्ट लेबल है।
ऑर्थोगोनैलिटी बाधा (Orthogonality Constraint): लिफ्टेड कोड में $H_X H_Z^T = 0$ बनाए रखने के लिए, शिफ्ट लेबल को एक स्थानीय कॉंग्रुएंस (congruence) शर्त को संतुष्ट करना चाहिए। चूँकि बेस में किसी भी $X$ -रो और $Z$ -रो का प्रतिच्छेदन ठीक दो बिंदुओं ( $v_1, v_2$ ) को समाहित करता है, इसलिए शिफ्ट्स $x_{r, v_1}$ और $z_{s, v_1}$ को इस प्रकार होना चाहिए:
$x_{r, v_1} - z_{s, v_1} \equiv x_{r, v_2} - z_{s, v_2} \pmod P$
परिणामी कोड (Resulting Code): $P=32$ के लिए, कोड की लंबाई $n = 512 \times 32 = 16,384$ हो जाती है।

C. डिकोडिंग एल्गोरिदम (Decoding Algorithm)

लेखक पोस्ट-प्रोसेसिंग के साथ संवर्धित बलीफ प्रोपेगेशन (BP) डिकोडर का उपयोग करते हैं:

स्टैंडर्ड BP: पहले इटरेटिव डिकोडिंग चलाई जाती है।
पोस्ट-प्रोसेसिंग (OSD-आधारित): यदि BP विफल हो जाता है (अवशिष्ट सिंड्रोम शेष रहता है), तो डिकोडर क्वांटम कोड्स के लिए अनुकूलित ऑर्डर्ड स्टैटिस्टिक्स डिकोडिंग (OSD) सिद्धांतों का उपयोग करके त्रुटि को सुधारने का प्रयास करता है।
- यह BP संदेशों के आधार पर लो-रिलायबिलिटी (low-reliability) क्वबिट्स की पहचान करता है।
- यह अवशिष्ट सिंड्रोम को संतुष्ट करने वाले सुधार खोजने के लिए छोटे कैंडिडेट सेट्स ( $K_m$ ) पर लीनियर सिस्टम को हल करता है।
- इसमें कंप्यूटेशनल कॉम्प्लेक्सिटी को अनियंत्रित होने से बचाने के लिए "लोकल OSD" और "रिस्ट्रिक्टेड-कैंडिडेट फॉलबैक" के विशिष्ट चरण शामिल हैं।
- महत्वपूर्ण जाँच: डिकोडर यह सत्यापित करता है कि अनुमानित त्रुटि और वास्तविक त्रुटि के बीच का अंतर एक स्टेबलाइज़र (stabilizer) है या नहीं (लॉजिकल इक्विवेलेंस)।

3. मुख्य योगदान (Key Contributions)

स्पष्ट परिमित-लंबाई निर्माण: शोध पत्र 512 लंबाई, गर्थ 8 और $(3, 8)$ -रेगुलर CSS बेस मैट्रिक्स जोड़े का एक पूर्णतः स्पष्ट और पुनरुत्पादनीय निर्माण प्रदान करता है। यह एसिम्प्टोटिक या रैंडम एनसेम्बल दृष्टिकोणों से एक महत्वपूर्ण विचलन है।
एफाइन-कोसेट फ्रेमवर्क: $\mathbb{F}_2^9$ में एफाइन कोसेट्स का उपयोग ऑर्थोगोनैलिटी और गर्थ गुणों के लिए एक कठोर ज्यामितीय प्रमाण प्रदान करता है, जिससे ह्यूरिस्टिक सर्च (heuristic search) की आवश्यकता समाप्त हो जाती है।
उच्च-गर्थ संरक्षण: निर्माण यह गारंटी देता है कि बेस में गर्थ 8 है, जो लिफ्टेड कोड में संरक्षित रहता है, जिससे उन शॉर्ट साइकिल्स की अनुपस्थिति सुनिश्चित होती है जो आमतौर पर LDPC डिकोडिंग में एरर फ्लोर (error floors) का कारण बनते हैं।
डिकोडर-व्युत्पन्न दूरी सीमा (Decoder-Derived Distance Bound): लेखक केवल सैद्धांतिक सीमाओं पर निर्भर रहने के बजाय, डिकोडिंग विफलता की घटना से प्राप्त एक विशिष्ट ऊपरी सीमा (upper bound) रिपोर्ट करते हैं।

4. परिणाम (Results)

कोड पैरामीटर्स:
- बेस कोड: $[[512, 174, 8]]$ (रेट $\approx 0.34$ )।
- लिफ्टेड कोड ( $P=32$ ): $[[16,384, 4,142, \le 40]]$ $[[16, 384, 4, 142, \leq 40]]$ ।
  - फिजिकल क्वबिट्स: 16,384।
  - लॉजिकल क्वबिट्स: 4,142।
  - डिज़ाइन रेट: $1/4$ ।
  - स्टेबलाइजर वेट: 8।
डिकोडिंग प्रदर्शन:
- मॉडल: कोड-कैपेसिटी डिपोलराइजिंग मॉडल (परफेक्ट सिंड्रोम एक्सट्रैक्शन)।
- प्रदर्शन: भौतिक त्रुटि प्रायिकता $p = 0.085$ पर, प्राप्त फ्रेम एरर रेट (FER) लगभग $10^{-8}$ है।
- तुलना: प्रदर्शन वक्र एक रैंडम $(3, 8)$ -रेगुलर एनसेम्बल के डेंसिटी इवोल्यूशन (DE) थ्रेशोल्ड ( $p \approx 0.1009$ ) के करीब है, बावजूद इसके कि सख्त CSS ऑर्थोगोनैलिटी बाधाएं मौजूद हैं। यह सुझाव देता है कि CPM लिफ्ट पर्याप्त "रैंडमनेस" प्रदान करता है ताकि वह रैंडम एनसेम्बल की नकल कर सके।
दूरी सीमा (Distance Bound):
- सिमुलेशन के दौरान, एक विशिष्ट लॉजिकल रेसिड्यूल (logical residual) वेट 40 देखा गया जो सिंड्रोम को संतुष्ट करता था लेकिन स्टेबलाइज़र नहीं था।
- यह एक पुष्ट ऊपरी सीमा प्रदान करता है: $d \le 40$ ।
- लेखक नोट करते हैं कि यह एक देखी गई सीमा है, न कि सटीक दूरी का प्रमाण।

5. महत्व (Significance)

सिद्धांत और व्यवहार के बीच सेतु: यह शोध पत्र प्रदर्शित करता है कि उच्च-गर्थ, नियमित क्वांटम LDPC कोड को स्पष्ट रूप से परिमित लंबाई के लिए बनाया जा सकता है, जो एसिम्प्टोटिक अस्तित्व प्रमाणों से आगे बढ़ता है।
CPM लिफ्ट का सत्यापन: यह दिखाता है कि जब CPM लिफ्ट्स को बेस ज्योमेट्री से प्राप्त स्थानीय कॉंग्रुएंस शर्त द्वारा नियंत्रित किया जाता है, तो वे बेस कोड के वांछित गुणों (रेगुलरिटी, गर्थ, ऑर्थोगोनैलिटी) को बनाए रखते हुए व्यावहारिक ब्लॉक लेंथ तक स्केल कर सकते हैं।
डिकोडर अंतर्दृष्टि: परिणाम बताते हैं कि एक निश्चित, संरचित बेस के साथ भी, डिकोडर का प्रदर्शन रैंडम एनसेम्बल के करीब होता है। इसका तात्पर्य है कि CPM शिफ्ट द्वारा पेश की गई "रैंडमनेस" उन सहसंबंधों (correlations) को तोड़ने के लिए पर्याप्त है जो आमतौर पर स्ट्रक्चर्ड कोड्स को प्रभावित करते हैं।
भविष्य की दिशा: यह कार्य लिफ्टेड कोड में दूरी के विकास (distance growth) के विश्लेषण के लिए एक आधार रेखा (baseline) निर्धारित करता है। $n=16384$ के लिए देखा गया $d \le 40$ यह सुझाव देता है कि दूरी का स्केलिंग उप-रैखिक (sub-linear) है, जो भविष्य के बेहतर दूरी विश्लेषण और उन्नत पोस्ट-प्रोसेसिंग के लिए प्रेरित करता है।