⚛️ quantum physics

Sequences of Bivariate Bicycle Codes from Covering Graphs

यह शोध पत्र कवरिंग ग्राफों का उपयोग करके एक आधार कोड से बाइवेरिएट बाइसिकल (BB) कोड के अनंत अनुक्रम उत्पन्न करने की एक विधि प्रस्तुत करता है, जो इन "कवर कोड्स" के लिए बीजगणितीय स्थितियों को स्थापित करता है, तार्किक ऑपरेटरों के लिए प्रेरित मानचित्रों को परिभाषित करता है, और उनके मापदंडों पर सीमाएँ सिद्ध करते हुए [[144,12,12]] ग्रॉस कोड जैसे नए उच्च-प्रदर्शन वाले कोडों की खोज प्रदर्शित करता है।

मूल लेखक: Benjamin C. B. Symons, Abhishek Rajput, Dan E. Browne

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

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

CC BY 4.0

मूल लेखक: Benjamin C. B. Symons, Abhishek Rajput, Dan E. Browne

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

कल्पना कीजिए कि आप एक गुप्त संदेश की रक्षा करने के लिए एक किला बनाने की कोशिश कर रहे हैं। क्वांटम कंप्यूटिंग की दुनिया में, इस "किले" को क्वांटम एरर-करेक्टिंग कोड (quantum error-correcting code) कहा जाता है। इसका काम छोटी-मोटी गड़बड़ियों (त्रुटियों) को सूचना को नष्ट करने से रोकना है।

लंबे समय तक, सबसे प्रसिद्ध किले "सरफेस कोड्स" (surface codes) थे। इन्हें बनाना आसान है क्योंकि इन्हें केवल अपने पड़ोसियों से बात करने की आवश्यकता होती है, लेकिन ये बहुत अक्षम हैं: थोड़े से डेटा की सुरक्षा के लिए इन्हें बहुत अधिक स्थान की आवश्यकता होती है।

हाल ही में, वैज्ञानिकों ने बाइवेरिएट बाइसिकल (Bivariate Bicycle - BB) कोड नामक एक नए प्रकार के किले की खोज की है। ये बहुत अधिक कुशल हैं—ये कम स्थान के साथ अधिक डेटा की रक्षा करते हैं—लेकिन इन्हें डिजाइन करना कठिन है क्योंकि इनके लिए किले के उन हिस्सों के बीच "लंबी दूरी" के कनेक्शन की आवश्यकता होती है जो एक-दूसरे के ठीक बगल में नहीं हैं।

यह शोध पत्र इन कुशल किलों को डिजाइन करने का एक चतुर नया तरीका पेश करता है। यहाँ इसका सरल विवरण दिया गया है:

1. "ब्लूप्रिंट" और "कॉपी-पेस्ट" का तरीका

एक BB कोड को एक ग्रिड पर खींचे गए एक जटिल वास्तुशिल्प ब्लूप्रिंट की तरह समझें। यह ब्लूप्रिंट आपको बताता है कि किले को सुरक्षित रखने के लिए "ईंटों" (qubits) और "निरीक्षणों" (checks) को कैसे जोड़ना है।

लेखकों ने खोजा कि आपको एक नया, विशाल ब्लूप्रिंट शून्य से बनाने की आवश्यकता नहीं है। इसके बजाय, आप एक छोटे, काम करने वाले ब्लूप्रिंट (एक "बेस कोड") को ले सकते हैं और एक "कवरिंग ग्राफ" (covering graph) नामक गणितीय ट्रिक का उपयोग करके बड़े, अधिक जटिल ब्लूप्रिंट उत्पन्न कर सकते हैं।

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

2. कॉपी करने के "जादुई नियम"

आप किसी भी ब्लूप्रिंट की नकल नहीं कर सकते; यदि आप ऐसा करते हैं, तो किला ढह सकता है (गणित काम नहीं करेगा)। लेखकों ने सरल बीजीय नियम (algebraic rules) (एक रेसिपी की तरह) खोजे जो गारंटी देते हैं कि प्रतिलिपि एक वैध किला होगी।

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

3. "गुप्त चाबियाँ" खोजना (लॉजिकल ऑपरेटर्स)

एक किला बेकार है यदि आप डेटा का उपयोग करने के लिए अंदर नहीं जा सकते। क्वांटम कोड में, इन "चाबियों" को लॉजिकल ऑपरेटर्स (logical operators) कहा जाता है।

प्रोजेक्टिंग (नीचे देखना): यदि आपके पास एक विशाल किला है और एक छोटा किला है, तो आप विशाल वाले की चाबियों को छोटे वाले तक "प्रोजेक्ट" कर सकते हैं ताकि देख सकें कि क्या वे मेल खाते हैं।
लिफ्टिंग (ऊपर देखना): अधिक महत्वपूर्ण बात यह है कि यदि आप छोटे, सरल किले की चाबियाँ जानते हैं, तो आप उन्हें बड़े किले तक "लिफ्ट" कर सकते हैं।
उपमा: कल्पना कीजिए कि आप एक छोटी तिजोरी का संयोजन (combination) जानते हैं। क्योंकि बड़ी तिजोरी छोटी तिजोरी का ही एक "कवर्ड" संस्करण है, आप छोटी तिजोरी के संयोजन का उपयोग यह पता लगाने के लिए कर सकते हैं कि बड़ी तिजोरी को कैसे खोला जाए, या कम से कम यह जान सकते हैं कि बड़ी तिजोरी में एक ऐसा संयोजन है जो काम करता है।

यह वैज्ञानिकों को विशाल, जटिल कोडों की "चाबियाँ" खोजने की अनुमति देता है, केवल छोटे, सरल कोडों का अध्ययन करके।

4. उन्होंने क्या पाया

इस पद्धति का उपयोग करके, लेखकों ने मुख्य रूप से दो चीजें कीं:

प्रसिद्ध "ग्रॉस कोड" (Gross Code) की व्याख्या की: एक प्रसिद्ध, अत्यधिक कुशल कोड है जिसे "ग्रॉस कोड" (पैरामीटर्स [[144, 12, 12]] के साथ) कहा जाता है। लेखकों ने दिखाया कि यह कोड कोई रहस्य नहीं है; यह केवल एक छोटे, सरल कोड ([[72, 12, 6]]) का "डबल कवर" है। यह ऐसा है जैसे यह महसूस करना कि एक जटिल इमारत वास्तव में एक सरल इमारत की दो कॉपियां है जिन्हें आपस में जोड़ा गया है।
नए किले खोजे: उन्होंने अपने तरीके का उपयोग "भारी" चेक्स (प्रति ईंट अधिक कनेक्शन) वाले कोड खोजने के लिए किया। उन्होंने कई नए, अत्यधिक कुशल कोड खोजे, जिनमें शामिल हैं:
- एक [[64, 14, 8]] कोड।
- एक [[144, 14, 14]] कोड।
  ये नए कोड डेटा की रक्षा करने में (उच्च "डिस्टेंस") पिछले सर्वोत्तम उदाहरणों की तुलना में और भी बेहतर हैं, हालांकि उन्हें बनाना थोड़ा अधिक जटिल है।

5. "विषम बनाम सम" (Odd vs. Even) का नियम

लेखकों ने इन नए कोडों के बारे में कुछ गणितीय गारंटी सिद्ध की:

यदि आप किसी कोड का "डबल" (या कोई भी विषम गुणज/odd multiple) बनाते हैं, तो नया कोड कभी भी मूल कोड की तुलना में कम "लॉजिकल कीज़" (qubits) वाला नहीं होगा।
यदि कॉपियों की संख्या विषम (odd) है और चाबियों की संख्या समान रहती है, तो नया कोड मूल के कम से कम उतना ही मजबूत (डिस्टेंस) होगा।

सारांश

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

तकनीकी सारांश: कवरिंग ग्राफ से बाइवेरिएट बाइसिकल कोड्स के अनुक्रम (Sequences of Bivariate Bicycle Codes from Covering Graphs)

समस्या विवरण (Problem Statement)
क्वांटम लो-डेंसिटी पैरिटी चेक (qLDPC) कोड, सरफेस कोड्स के एक आशाजनक विकल्प के रूप में उभर रहे हैं, जो निरंतर दर (constant rates) और बेहतर दूरी स्केलिंग प्रदान करते हैं, जिससे फॉल्ट-टोलरेंट क्वांटम कंप्यूटेशन के लिए आवश्यक स्पेस ओवरहेड को कम किया जा सकता है। हालाँकि, उच्च-प्रदर्शन वाले नए qLDPC कोड्स की पहचान करना एक चुनौती बनी हुई है क्योंकि पैरिटी चेक पॉलिनॉमियल्स का सर्च स्पेस बहुत विशाल है। विशेष रूप से, बाइवेरिएट बाइसिकल (BB) कोड्स, जो $\mathbb{F}_2[Z_l \times Z_m]$ पर परिभाषित ग्रुप अल्जेब्रा कोड्स हैं, उच्च-दर और उच्च-दूरी वाले उदाहरणों (जैसे कि [[144, 12, 12]] "gross" कोड) के साथ बड़ी क्षमता दिखाते हैं, लेकिन उनके पैरामीटर्स का पूर्वानुमान लगाने के लिए इन कोड्स के अनंत परिवारों को उत्पन्न करने की एक सामान्य विधि सीमित रही है। इसके अलावा, विभिन्न कोड इंस्टेंस के बीच लॉजिकल ऑपरेटर्स और ऑटोमोर्फिज्म के संबंध को समझना लॉजिकल ऑपरेशन्स को लागू करने के लिए महत्वपूर्ण है, लेकिन बड़े कोड्स के लिए इसका विश्लेषण करना अक्सर कठिन होता है।

कार्यप्रणाली (Methodology)
लेखक कवरिंग ग्राफ्स (या ग्राफ लिफ्ट्स) की गणितीय अवधारणा का उपयोग करके BB कोड्स के अनंत अनुक्रम उत्पन्न करने के लिए एक फ्रेमवर्क प्रस्तावित करते हैं। मुख्य कार्यप्रणाली में शामिल है:

कवरिंग के लिए बीजगणितीय स्थितियाँ (Algebraic Conditions for Covering): यह पेपर स्थापित करता है कि एक BB कोड $\tilde{Q}$ का टैनर ग्राफ (Tanner graph) एक बेस BB कोड $Q$ का कवरिंग ग्राफ होगा यदि उनके लैटिस पैरामीटर्स और परिभाषित पॉलिनॉमियल्स के संबंध में विशिष्ट बीजगणितीय स्थितियाँ पूरी होती हैं। विशेष रूप से, यदि $Q$ के पैरामीटर्स $(l, m)$ और पॉलिनॉमियल्स $A, B$ हैं, तो एक कवर कोड $\tilde{Q}$ जिसके पैरामीटर्स $(\tilde{l}, \tilde{m})$ और पॉलिनॉमियल्स $\tilde{A}, \tilde{B}$ हैं, एक वैध $h$ -कवर (जहाँ $h = \tilde{l}\tilde{m}/lm$ ) होगा यदि:
- $\tilde{l} = ul$ और $\tilde{m} = tm$ , जहाँ $u$ और $t$ पूर्णांक (integers) हैं।
- $\tilde{A}$ और $\tilde{B}$ में मोनोमियल्स के एक्सपोनेंट्स (exponents), क्रमशः $A$ और $B$ के एक्सपोनेंट्स के मॉड्युलो $l$ और $m$ के अनुरूप हैं।
- वोल्टेज असाइनमेंट (voltage assignment) जिसका उपयोग व्युत्पन्न ग्राफ (derived graph) बनाने के लिए किया गया है, लैटिस पैरामीटर्स के "क्वोटिएंट" (quotient) के अनुरूप है।
सीमित खोज क्षेत्र (Reduced Search Space): इन कॉन्ग्रुएंस (congruence) स्थितियों को संतुष्ट करने वाले पॉलिनॉमियल्स तक अपनी खोज को सीमित करके, लेखक नए कोड्स के लिए खोज क्षेत्र को काफी कम कर देते हैं। $n$ लंबाई के पूर्ण पॉलिनॉमियल्स के पूरे स्थान को खोजने के बजाय, खोज को एक बेस कोड के पॉलिनॉमियल्स के विविधताओं तक सीमित कर दिया जाता है, जिससे जटिलता $O(n^6)$ से घटकर लगभग $O(h^4)$ हो जाती है।
चेन मैप्स और होमोलॉजी (Chain Maps and Homology): ग्राफ कवरिंग मैप को बेस और कवर कोड्स के चेन कॉम्प्लेक्स के बीच एक चेन मैप के रूप में विस्तारित किया गया है। यह (को)होमोलॉजी (co)homology पर मैप्स प्रेरित करता है:
- प्रोजेक्शन मैप ( $p$ ): कवर कोड से बेस कोड के लॉजिकल ऑपरेटर्स को मैप करता है।
- लिफ्टिंग मैप ( $\tau$ ): बेस कोड के लॉजिकल ऑपरेटर्स को कवर कोड में मैप करता है।
- वेट-प्रिजर्विंग लिफ्ट ( $\sigma$ ): लिफ्ट का एक विशिष्ट प्रकार जो प्रत्येक वर्टेक्स के लिए एक एकल प्री-इमेज चुनता है, जिसका उपयोग कवर कोड की दूरी को ऊपरी सीमा (upper-bound) देने के लिए किया जाता है।
ऑटोमोर्फिज्म लिफ्टिंग (Automorphism Lifting): फ्रेमवर्क को यह दिखाने के लिए विस्तारित किया गया है कि ग्राफ ऑटोमोर्फिज्म (और फलस्वरूप CSS कोड ऑटोमोर्फिज्म) को बेस से कवर कोड में लिफ्ट किया जा सकता है। विशिष्ट स्थितियों (विषम $h$ और समान लॉजिकल क्यूबिट काउंट) के तहत, इन ऑटोमोर्फिज्म का लॉजिकल एक्शन संरक्षित रहता है।

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

कोड अनुक्रमों का निर्माण (Generation of Code Sequences): लेखक दर्शाते हैं कि ज्ञात उच्च-प्रदर्शन वाले BB कोड्स, जैसे कि [[144, 12, 12]] gross कोड, छोटे कोड्स (जैसे [[72, 12, 6]]) के डबल कवर्स के रूप में देखे जा सकते हैं। वे निश्चित लॉजिकल क्यूबिट काउंट ( $k$ ) और बढ़ते ब्लॉक साइज ( $n$ ) के साथ नए BB कोड्स के अनंत अनुक्रम उत्पन्न करते हैं।
नए कोड परिवार (New Code Families):
- वेट 6 कोड्स: यह पद्धति ज्ञात परिवारों, जिनमें बैलेंस्ड प्रोडक्ट कोड्स और जनरलाइज्ड टोरिक कोड्स शामिल हैं, को पुनरुत्पादित करती है, और $k=6, 8, 10, 12$ के लिए नए अनुक्रम उत्पन्न करती है।
- वेट 8 कोड्स: लेखक वेट 8 चेक (परिभाषित पॉलिनॉमियल्स में 4 टर्म्स) वाले BB कोड्स की खोज के लिए इस पद्धति को लागू करते हैं। उन्हें $k=8, 10, 12, 14$ वाले ऐसे अनुक्रम मिलते हैं जो अपने वेट 6 समकक्षों की तुलना में काफी उच्च $kd^2/n$ अनुपात प्रदर्शित करते हैं। उल्लेखनीय उदाहरणों में [[64, 14, 8]] और [[144, 14, 14]] कोड्स शामिल हैं।
- क्विडिट कोड्स (Qudit Codes): इस कार्यप्रणाली को $\mathbb{F}_q$ पर आधारित क्विडिट कोड्स के लिए सामान्यीकृत किया गया है, जो बेस क्विडिट BB कोड्स के लिए कवर कोड्स को सफलतापूर्वक उत्पन्न करता है।
सैद्धांतिक सीमाएँ (Theoretical Bounds):
- लॉजिकल क्यूबिट्स ( $k$ ): लेखक सिद्ध करते हैं कि एक $h$ -कवर कोड के लिए, यदि $h$ विषम (odd) है, तो लॉजिकल क्यूबिट्स की संख्या $k_h \ge k$ होती है। वे अनुमान लगाते हैं कि यह सभी $h$ के लिए सत्य है।
- दूरी ( $d$ ): विषम $h$ के लिए, वे सिद्ध करते हैं कि $d_h \le hd$ । यदि $k_h = k$ और $h$ विषम है, तो वे सिद्ध करते हैं कि $d_h \ge d$ । वे अनुमान लगाते हैं कि सामान्य सीमा $d \le d_h \le hd$ सभी $h$ के लिए मान्य है।
- वेट-प्रिजर्विंग लिफ्ट्स: वे दिखाते हैं कि यदि एक वेट-प्रिजर्विंग लिफ्ट मौजूद है, तो यह $d_h \le d$ को इंगित करता है, जो उन कवर कोड्स को खारिज करने के लिए एक संख्यात्मक उपकरण के रूप में कार्य करता है जहाँ दूरी नहीं बढ़ती है।
लॉजिकल ऑपरेटर और ऑटोमोर्फिज्म विश्लेषण: पेपर लॉजिकल ऑपरेटर्स और ऑटोमोर्फिज्म को लिफ्ट करने के लिए स्पष्ट निर्माण प्रदान करता है। यह सिद्ध करता है कि जब $h$ विषम होता है और $k_h = k$ होता है, तो लिफ्टिंग मैप होमोलॉजी पर एक आइसोमोर्फिज्म (isomorphism) होता है, जो यह सुनिश्चित करता है कि बेस कोड का एक लॉजिकल बेस, कवर कोड के पूर्ण लॉजिकल बेस में लिफ्ट होता है, जिससे ऑटोमोर्फिज्म (जैसे लॉजिकल CNOT और हैमार्ड गेट्स) का लॉजिकल एक्शन संरक्षित रहता है।

महत्व (Significance)
लेखक तीन क्षेत्रों में महत्व का दावा करते हैं:

कुशल कोड खोज (Efficient Code Discovery): कवरिंग ग्राफ थ्योरी पर आधारित एक संक्षिप्त खोज क्षेत्र की पहचान करके, लेखक नए BB कोड्स को खोजने के लिए एक व्यवस्थित और कुशल तरीका प्रदान करते हैं, जो पूर्ण पॉलिनोमियल्स स्पेस पर ब्रूट-फोर्स सर्च की आवश्यकता को दरकिनार करता है।
सैद्धांतिक एकीकरण (Theoretical Unification): यह कार्य विभिन्न ज्ञात BB कोड कंस्ट्रक्शंस (जिसमें gross कोड, बैलेंस्ड प्रोडक्ट कोड्स और जनरलाइज्ड टोरिक कोड्स शामिल हैं) को कवरिंग ग्राफ्स के एक एकल फ्रेमवर्क के तहत एकीकृत करता है, जिससे उनकी संरचनात्मक संबंधों का पता चलता है।
लॉजिकल ऑपरेटर प्रबंधन (Logical Operator Management): प्रोजेक्शन और लिफ्टिंग मैप्स का विकास बड़े कोड्स के विश्लेषण के लिए एक व्यावहारिक उपकरण प्रदान करता है। छोटे, अच्छी तरह से समझे गए बेस कोड्स से लॉजिकल ऑपरेटर्स और ऑटोमोर्फिज्म को प्राप्त करके, बड़े qLDPC कोड्स में लॉजिकल ऑपरेशन्स को प्रबंधित करने की जटिलता कम हो जाती है।

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