⚛️ quantum physics

On the Addressability Problem on CSS Codes

यह शोधपत्र एसिम्प्टोटिकली गुड (asymptotically good) CSS कोड्स में एड्रेसिबिलिटी (addressability) की समस्या की जांच करता है, यह सिद्ध करते हुए कि विशिष्ट फॉल्ट-टोलरेंट बाधाओं के तहत लॉजिकल गेट्स को क्यूबिट्स के सख्त उपसमुच्चयों (strict subsets) पर लागू नहीं किया जा सकता या भौतिक क्रमपरिवर्तन (physical permutations) के माध्यम से क्रमपरिवर्तित नहीं किया जा सकता है, जिससे कोड दक्षता और एड्रेसिबिलिटी के बीच एक मौलिक ट्रेड-ऑफ (trade-off) उजागर होता है।

मूल लेखक: Jérôme Guyot, Samuel Jaques

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

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

CC BY 4.0

मूल लेखक: Jérôme Guyot, Samuel Jaques

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

यहाँ "On the addressability problem on CSS codes" शोध पत्र का सरल भाषा और रचनात्मक उपमाओं (analogies) के साथ विवरण दिया गया है।

बड़ी तस्वीर: "एड्रेसिबिलिटी" (Addressability) की समस्या

कल्पना कीजिए कि आपने अपने सबसे कीमती डेटा को सुरक्षित रखने के लिए एक विशाल, अत्यंत सुरक्षित तिजोरी (एक क्वांटम कोड) बनाई है। इस तिजोरी के अंदर, आपके पास कई छोटी, स्वतंत्र तिजोरियाँ (जिन्हें लॉजिकल क्यूबिट्स कहा जाता है) हैं।

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

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

आसान तरीका: यदि आपकी तिजोरी कई अलग-अलग, छोटी और स्वतंत्र कमरों (जैसे कि सरफेस कोड) से बनी है, तो आप बस उस विशिष्ट कमरे में जा सकते हैं जिसे आप बदलना चाहते हैं और उसका ताला बदल सकते हैं। यह आसान है।
कठिन तरीका: नई, उच्च-प्रदर्शन वाली तिजोरियों में (जिन्हें एसिम्प्टोटिकली गुड कोड्स कहा जाता है), डेटा को इतनी कुशलता से पैक किया जाता है कि "कमरे" एक-दूसरे के ऊपर बहुत अधिक ओवरलैप (overlap) करते हैं। एक भौतिक प्लेट एक ही समय में सेफ A, सेफ B और सेफ C का हिस्सा हो सकती है। यदि आप सेफ A को ठीक करने के लिए एक प्लेट को छूने की कोशिश करते हैं, तो आप अनजाने में सेफ B या C को खराब कर सकते हैं।

यह शोध पत्र पूछता है: क्या हम ऐसे सरल उपकरणों (सर्किट्स) का एक सेट डिजाइन कर सकते हैं जो हमें इन उच्च-प्रदर्शन वाले, ओवरलैपिंग तिजोरियों में एक विशिष्ट सेफ को बिना दूसरे को नुकसान पहुँचाए ठीक करने या बदलने की अनुमति दे सके?

मुख्य निष्कर्ष: "नो-गो" (No-Go) संकेत

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

यहाँ उनके तीन मुख्य निष्कर्ष दिए गए, जिन्हें उपमाओं के माध्यम से समझाया गया है:

1. "एक हाथ वाला" टूल की सीमा (1-Local Clifford Gates)

कल्पना कीजिए कि आप एक कमरे में फर्नीचर को व्यवस्थित करने की कोशिश कर रहे हैं, लेकिन आपको केवल एक बार में एक हाथ का उपयोग करने की अनुमति है (यह 1-लोकल सर्किट को दर्शाता है, जहाँ आप एक समय में केवल एक फिजिकल क्यूबिट को छूते हैं)।

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

2. "डांस फ्लोर" की सीमा (Permutations/SWAPs)

कल्पना कीजिए कि तिजोरी में भौतिक प्लेटें एक डांस फ्लोर पर डांसर हैं। आप एक विशिष्ट सेफ की स्थिति बदलने के लिए दो विशिष्ट डांसरों की स्थिति को बदलना चाहते हैं। यह SWAP गेट्स (चीजों को बस इधर-उधर ले जाना) का उपयोग करने जैसा है।

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

3. "ग्लोबल" सीमा (CNOTs और CZs)

कभी-कभी, एक प्लेट को हिलाने के बजाय, आप दो प्लेटों को आपस में जोड़ने (जैसे कि CNOT या CZ गेट) की कोशिश करते हैं ताकि गणना की जा सके। लेखकों ने एक विशिष्ट प्रकार के मूव को देखा जहाँ आप वॉल्ट A के हर प्लेट को वॉल्ट B के हर प्लेट से एक साथ जोड़ते हैं (एक ग्लोबल सर्किट)।

निष्कर्ष: इस शक्तिशाली "ग्लोबल" लिंकिंग के साथ भी, आप विशिष्ट सेफों को स्वतंत्र रूप से लक्षित करने के लिए उन्हें आपस में नहीं जोड़ सकते।
परिणाम: यदि आप दो उच्च-दक्षता वाली तिजोरियों को विशिष्ट कार्य करने के लिए जोड़ते हैं, तो गणित कहता है कि आप इसे इस तरह से नहीं कर सकते जिससे आप चुन सकें कि कौन से सेफ जुड़े हुए हैं। यह कनेक्शन बहुत "भद्दा" (blunt) है और इसमें सटीकता की कमी है।

यह क्यों मायने रखता है?

यह शोध पत्र एक मौलिक ट्रेड-ऑफ (Trade-off) को उजागर करता है:

दक्षता बनाम नियंत्रण (Efficiency vs. Control): आप एक ऐसी तिजोरी बना सकते हैं जो अविश्वसनीय रूप से कुशल हो (कम भौतिक प्लेटों के साथ बहुत अधिक डेटा स्टोर करती है), या आप एक ऐसी तिजोरी बना सकते है जिसे नियंत्रित करना आसान हो (विशिष्ट हिस्सों को ठीक करना आसान हो)।
कैच (Catch): आप आमतौर पर दोनों चीजें एक साथ नहीं पा सकते। कोड जितना अधिक कुशल होता है, डेटा के विशिष्ट हिस्सों पर सटीक, लक्षित ऑपरेशन करना उतना ही कठिन होता जाता है (जिसे लेखक तर्क देते हैं कि सरल फॉल्ट-टोलरेंट तरीकों के साथ संभव नहीं हो सकता है)।

उन्होंने क्या नहीं कहा

उन्होंने यह नहीं कहा कि ये कोड बेकार हैं। उन्होंने केवल यह कहा कि इन विशिष्ट प्रकार के सरल, कुशल उपकरणों का उपयोग इन्हें नियंत्रित करने के लिए नहीं किया जा सकता है।
उन्होंने यह नहीं कहा कि हम इन कोड्स को कभी ठीक नहीं कर सकते। उन्होंने केवल यह कहा कि हम इन विशिष्ट "सरल" उपकरणों (जैसे सिंगल-क्यूबिट गेट्स या सरल स्वैप्स) के साथ ऐसा नहीं कर सकते।
उन्होंने कोई नया कोड प्रस्तावित नहीं किया। वे मौजूदा प्रकार के कोडों पर सीमाओं को सिद्ध कर रहे हैं।

सारांश

इस शोध पत्र को एक नए, अत्यंत कुशल क्वांटम कंप्यूटर डिज़ाइन पर लगे एक "चेतावनी लेबल" के रूप में समझें। यह कहता है: "सावधान रहें! क्योंकि यह मशीन डेटा से इतनी भरी हुई है, आप इसके केवल एक हिस्से को ठीक करने या बदलने के लिए सरल, एक-चरणीय उपकरणों का उपयोग नहीं कर सकते। यदि आप प्रयास करते हैं, तो आप संभवतः पूरे सिस्टम को खराब कर देंगे। आपको इसे संचालित करने के लिए अधिक जटिल तरीका खोजना होगा, या यह स्वीकार करना होगा कि आप इसे उतनी सटीकता से नियंत्रित नहीं कर सकते जितनी आप उम्मीद करते हैं।"

तकनीकी सारांश: CSS कोड्स पर एड्रेसिबिलिटी (Addressability) की समस्या पर

समस्या विवरण
यह शोध पत्र 'एसिम्प्टोटिकली गुड' (asymptotically good) क्वांटम एरर-करेक्टिंग कोड्स, विशेष रूप से CSS कोड्स के संदर्भ में "एड्रेसिबिलिटी समस्या" को संबोधित करता है। जबकि क्वांटम एरर करेक्शन फॉल्ट-टोलरेंट कंप्यूटेशन के लिए आवश्यक है, यह एक महत्वपूर्ण बाधा भी उत्पन्न करता है: एनकोडेड लॉजिकल स्टेट्स को बिना डिकोड किए संशोधित करना कठिन होता है, क्योंकि डिकोडिंग से कोहेरेंस (coherence) नष्ट हो जाता है। मानक फॉल्ट-टोलरेंट विधियाँ अक्सर ट्रांसवर्सल गेट्स (transversal gates) पर निर्भर करती हैं, जो सभी क्वबिट्स पर एक साथ भौतिक ऑपरेशन्स लागू करते हैं। हालांकि, उच्च-दर वाले कोड्स (जहाँ लॉजिकल क्वबिट्स की संख्या $k$ , फिजिकल क्वबिट्स की संख्या $n$ के करीब होती है) के लिए, लॉजिकल ऑपरेटर्स का सपोर्ट ओवरलैप होता है, जिससे सरल ट्रांसवर्सल ऑपरेशन्स का उपयोग करके विशिष्ट लॉजिकल क्वबिट्स को लक्षित करना असंभव हो जाता है।

केंद्रीय प्रश्न यह है: कौन से कुशल भौतिक सर्किट (physical circuits) लॉजिकल क्वबिट्स के सख्त उपसमुच्चयों (strict subsets) पर लॉजिकल गेट्स को लागू कर सकते हैं (एड्रेसिबिलिटी) और साथ ही कोड की दूरी (distance) को भी बनाए रख सकते हैं (फॉल्ट टॉलरेंस)? लेखक अपने अध्ययन को उन यूनिटरी कार्यान्वयन (unitary implementations) तक सीमित रखते हैं जो कोड की दूरी को नहीं बदलते हैं, जिसमें कोड सर्जरी, मैजिक स्टेट इंजेक्शन, या डिकोड-अप्लाई-एनकोड जैसी विधियों को बाहर रखा गया है।

कार्यप्रणाली (Methodology)
लेखक एड्रेसिबिलिटी समस्या का विश्लेषण दो प्राथमिक दृष्टिकोणों से करते हैं:

1-लोकल क्लिफोर्ड सर्किट्स (1-Local Clifford Circuits): केवल सिंगल-क्विबिट क्लिफोर्ड गेट्स से बने सर्किट। लेखक इन गेट्स और पॉली ऑपरेटर्स के बीच कम्यूटेशन संबंधों (commutation relations) का उपयोग यह विश्लेषण करने के लिए करते हैं कि स्टेबलाइजर्स और लॉजिकल ऑपरेटर्स कैसे रूपांतरित होते हैं। वे "कोड स्प्लिटिंग" (code splitting) की अवधारणा का उपयोग करते हैं, जहाँ एक कोड $C$ , स्वतंत्र सब-कोड के टेंसर उत्पाद में विभाजित होता है ( $C = C_1 \otimes C_2$ )। वे सिद्ध करते हैं कि नॉन-स्प्लिटिंग कोड्स (जो एसिम्प्टोटिकली गुड प्रदर्शन के लिए आवश्यक हैं) के लिए, वैध लॉजिकल ऑपरेटर्स का सेट अत्यधिक प्रतिबंधित है।
परम्यूटेशन ऑटोमोर्फिज्म (Permutation Automorphisms): SWAP गेट्स या फिजिकल क्वबिट्स के सामान्य परम्यूटेशन से बने सर्किट। वे इन्हें कोड के स्टेबिलाइज़र ग्रुप के ऑटोमोर्फिज्म के रूप में मॉडल करते हैं। वे क्लासिकल कोड्स के बीच विभिन्न परम्यूटेशन आइसोमोर्फिज्म की संख्या पर आधारित काउंटिंग आर्गुमेंट्स का उपयोग करके, फिजिकल परम्यूटेशन के माध्यम से प्राप्त होने वाले विशिष्ट लॉजिकल एक्शन्स की संख्या को सीमित करते हैं।

अध्ययन इंटर-कोड ऑपरेशन्स (जैसे, दो कोड्स के बीच CNOTs) के लिए "ग्लोबल" सर्किट्स (जो सभी फिजिकल क्वबिट्स पर कार्य करते हैं) पर भी विचार करता है और एड्रेसिबिलिटी पर क्लिफोर्ड हाइरार्की (Clifford hierarchy) के निहितार्थों की जांच करता है।

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

1. 1-लोकल क्लिफोर्ड एड्रेसिबिलिटी की असंभवता
लेखक नॉन-स्प्लिटिंग CSS कोड्स (जिनकी दर नॉन-जीरो है) के लिए असंभवता के परिणामों की एक श्रृंखला सिद्ध करते हैं:

हैडामार्ड-टाइप गेट्स (Hadamard-Type Gates): कोई भी 1-लोकल क्लिफोर्ड सर्किट लॉजिकल क्वबिट्स के एक सख्त उपसमुच्चय पर लॉजिकल हैडामार्ड ( $H$ ), $HS$, $SH$, या CNOT गेट लागू नहीं कर सकता। यदि ऐसा गेट लागू किया जाता है, तो कोड को विभाजित (split) होना चाहिए।
क्लिफोर्ड हाइरार्की कोलैप्स (Clifford Hierarchy Collapse): यदि एक नॉन-स्पलिटिंग CSS कोड $S$ या $SHS $गेट्स द्वारा निर्मित लॉजिकल आइडेंटिटीज़ को स्वीकार नहीं करता है, तो क्लिफोर्ड हाइरार्की के किसी भी उच्च स्तर (जिसमें$ T$ गेट्स, CCZ आदि शामिल हैं) का कोई भी 1-लोकल सर्किट कोडस्पेस को सुरक्षित नहीं रख सकता। $S$ गेट एक "गेटवे" के रूप में कार्य करता है; यदि इसका उपयोग लॉजिकल आइडेंटिटी बनाने के लिए नहीं किया जा सकता, तो इसके ऊपर की पूरी हाइरार्की 1-लोकल सर्किट्स के माध्यम से अप्राप्य हो जाती है।
रेट बाउंड (Rate Bound): यदि कोई कोड 1-लोकल क्लिफोर्ड एड्रेसिबल $H$ , $SH$, $HS$, या CNOT गेट्स को स्वीकार करता है, तो इसकी दर $k/n \leq 1/(2d+1)$ द्वारा सीमित है, जो एसिम्प्टोटिकली गुड कोड्स (जहाँ दर स्थिर है और दूरी बढ़ती है) के साथ असंगत है।

2. परम्यूटेशन-आधारित एड्रेसिबिलिटी की सीमाएं
लेखक स्थापित करते हैं कि फिजिकल परम्यूटेशन के माध्यम से प्राप्त किए जा सकने वाले विशिष्ट लॉजिकल ऑपरेशन्स की संख्या, पूर्ण एड्रेसिबिलिटी के लिए आवश्यक लॉजिकल परम्यूटेशन्स की तुलना में एसिम्प्टोटिकली सीमित है:

SWAP और CNOT सीमाएं: $\rho > 1/3$ दर और $d \geq 3$ दूरी वाले CSS कोड्स के लिए, फिजिकल परम्यूटेशन सभी लॉजिकल SWAPs या CNOTs को लागू नहीं कर सकते। उपलब्ध फिजिकल परम्यूटेशन ऑटोमोर्फिज्म की संख्या, पूर्ण लॉजिकल एड्रेसिबिलिटी के लिए आवश्यक $k!$ परम्यूटेशन्स की तुलना में धीमी गति से बढ़ती है।
सामान्य 2-क्वबिट गेट्स: $\rho > 3/4$ दर वाले कोड्स के लिए, परम्यूटेशन सर्किट्स का कोई भी परिवार लॉजिकल क्वबिट्स के मनमाने जोड़ों के बीच सभी 2-क्वबिट गेट्स को लागू नहीं कर सकता।
इंटर-कोड ऑपरेशन्स: $\rho > 1/3$ दर वाले दो CSS कोड्स के लिए, CNOTs या CZs के डेप्थ-1 ग्लोबल सर्किट्स (जो सभी फिजिकल क्वबिट्स पर कार्य करते हैं) सभी पैरेलल एड्रेसिबल लॉजिकल CNOTs या CZs को लागू नहीं कर सकते। यह परिणाम एड्रेसिबल CCZ गेट्स के लिए हालिया कंस्ट्रक्टिव कार्यों में उपयोग किए जाने वाले "ग्लोबल" सर्किट्स पर लागू होता है।

3. स्प्लिटिंग का एल्गोरिद्मिक डिटेक्शन
शोध पत्र एक CSS कोड के विभाजित होने का पता लगाने के लिए दो एल्गोरिदम प्रदान करता है:

एक सिस्टम-सॉल्विंग दृष्टिकोण जिसकी जटिलता $O(n^\omega)$ है।
टैनर ग्राफ (Tanner graphs) और कनेक्टेड कंपोनेंट्स का उपयोग करने वाला एक ग्राफ-थ्योरेटिकल दृष्टिकोण, जो LDPC कोड्स के लिए $O(n)$ समय में और सामान्य रूप से $O(n^2)$ समय में चलता है। यह निर्माण के दौरान खराब दूरी (poor distance) वाले कोड्स की पहचान करने के लिए एक ह्यूरिस्टिक (heuristic) प्रदान करता है।

महत्व और दावे
लेखक इस कार्य को कोड दक्षता (rate) और ऑपरेशनल फ्लेक्सिबिलिटी (एड्रेसिबिलिटी) के बीच ट्रेड-ऑफ के एक आधारभूत अध्ययन के रूप में प्रस्तुत करते हैं। वे दावा करते हैं कि:

अग्रणी परिप्रेक्ष्य (Pioneering Perspective): यह कोड ऑटोमोर्फिज्म और विशिष्ट फिजिकल सर्किट बाधाओं का विश्लेषण करके डिस्टेंस-प्रिजर्विंग एड्रेसिबिलिटी का व्यवस्थित अध्ययन करने वाला पहला कार्य है।
मौलिक ट्रेड-ऑफ (Fundamental Trade-offs): परिणाम रेखांकित करते हैं कि उच्च-दर वाले कोड्स, हालांकि स्टोरेज के लिए कुशल हैं, उनमें सरल फिजिकल सर्किट्स का उपयोग करके कुशल, पैरेलल, फॉल्ट-टोलरेंट लॉजिकल ऑपरेशन्स के लिए आवश्यक संरचनात्मक गुणों की कमी हो सकती है।
भविष्य के अनुसंधान के लिए मार्गदर्शन: असंभवता के परिणाम सुझाव देते हैं कि उच्च-दर वाले कोड्स में एड्रेसिबिलिटी प्राप्त करने के लिए संभवतः सरल 1-लोकल या परम्यूटेशन-आधारित ट्रांसवर्सल गेट्स पर निर्भर रहने के बजाय, बाधाओं को शिथिल करने (जैसे, कोड को अस्थायी रूप से बदलना, गहरे सर्किट का उपयोग करना, या टेलीपोर्टेशन जैसे गैर-यूनिटरी तरीकों का उपयोग करना) की आवश्यकता होगी।
सीमित दायरा (Modest Scope): लेखक स्पष्ट रूप से कहते हैं कि वे एड्रेसिबल गेट्स के लिए कंस्ट्रक्टिव तरीके प्रदान नहीं करते हैं, बल्कि विशिष्ट दक्षता-केंद्रित धारणाओं के तहत क्या असंभव है, उसकी सीमाएं निर्धारित करते हैं। वे नोट करते हैं कि उनके परिणाम एड्रेसिबिलिटी को पूरी तरह से खारिज नहीं करते हैं, बल्कि यह सुझाव देते हैं कि कोई भी सफल विधि यहाँ विश्लेषित प्रतिबंधात्मक धारणाओं (1-locality, distance preservation, या विशिष्ट सर्किट फैमिली) से हटकर होनी चाहिए।

शोध पत्र निष्कर्ष निकालता है कि स्केलेबल क्वांटम कंप्यूटरों को डिजाइन करने के लिए इन सीमाओं को समझना आवश्यक है, क्योंकि यह धारणा कि उच्च एनकोडिंग दक्षता वाला कोड कंप्यूटेशन के लिए स्वतः बेहतर होता है, गलत हो सकती है यदि वह आवश्यक लॉजिकल ऑपरेशन्स को बाधित करता है।