⚛️ quantum physics

Asymptotically Good Quantum Codes with Addressable Transversal T Gates

यह शोधपत्र बीजगणितीय-ज्यामितीय (algebraic-geometry) कोड्स को अनुकूलित बाइनरी एम्बेडिंग्स के साथ जोड़कर सामान्यीकृत विभाज्यता (generalized divisibility) प्राप्त करने के माध्यम से, पूर्णतः एड्रेस करने योग्य ट्रांसवर्सल $T$ गेट्स का समर्थन करने वाले एसिम्प्टोटिकली गुड (asymptotically good) बाइनरी CSS कोड्स का एक स्पष्ट निर्माण प्रस्तुत करता है।

मूल लेखक: Tongyin Lin, Bujiao Wu, Bin Cheng

प्रकाशित 2026-09-29

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

CC BY 4.0

मूल लेखक: Tongyin Lin, Bujiao Wu, Bin Cheng

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

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

शोधकर्ताओं की एक टीम ने अब क्वांटम कोडों का एक विशिष्ट परिवार निर्मित किया है जो इस मायावी संतुलन को प्राप्त करता है। उन्होंने एक ऐसा सिस्टम डिजाइन किया है जो न केवल जानकारी को कुशलतापूर्वक सुरक्षित करता है, बल्कि एकल भौतिक ऑपरेशन का उपयोग करके प्रत्येक तार्किक डेटा के प्रत्यक्ष, व्यक्तिगत नियंत्रण की अनुमति भी देता है। क्वांटम कंप्यूटिंग की भाषा में, उन्होंने ऐसे कोड बनाए हैं जो "एसिम्प्टोटिकली गुड" (asymptotically good) हैं, जिसका अर्थ है कि वे एक निश्चित ओवरहेड के साथ बड़ी मात्रा में जानकारी को संभाल सकते हैं और त्रुटियों की संख्या को ठीक कर सकते हैं जो सिस्टम के बड़ा होने के साथ लगातार बढ़ती है। अधिक महत्वपूर्ण बात यह है कि ये कोड "पूरी तरह से एड्रेसेबल ट्रांसवर्सल टी गेट्स" (fully addressable transversal T gates) को स्वीकार करते हैं। इसका अर्थ यह है कि यदि किसी कंप्यूटर को केवल एक तार्किक क्यूबिट पर एक विशिष्ट, जटिल रोटेशन लागू करने की आवश्यकता है जबकि अन्य सभी को अछूता छोड़ना है, तो वह ऐसा उस विशिष्ट क्यूबिट को बनाने वाले भौतिक कणों पर एक अनुरूप रोटेशन लागू करके कर सकता है। इसके लिए किसी जटिल अनुवर्ती चरणों या सुधारों की आवश्यकता नहीं है; भौतिक क्रिया तार्किक कार्य को पूर्णतः करती है।

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

दूसरा मुख्य घटक एक ऐसी विधि थी जो ठीक से नियंत्रित करती थी कि किन तार्किक क्यूबिट्स को ऑपरेशन प्राप्त होगा। कई पिछले प्रयासों में, भौतिक परत पर गेट लागू करने से सभी तार्किक क्यूबिट्स प्रभावित होते थे, या बाद में सुधारों की एक अव्यवस्थित श्रृंखला की आवश्यकता होती थी। टीम ने इस समस्या को "पैरिटी लिफ्टिंग" (parity lifting) नामक तकनीक का उपयोग करके हल किया। उन्होंने दिखाया कि उनके द्वारा निर्मित कोड के भीतर, यह संभव है कि कोड के विभिन्न हिस्सों को विशिष्ट भार (weights) दिए जाएं। इन भारों को सावधानीपूर्वक चुनकर, वे यह सुनिश्चित कर सके कि गेट के लिए गणितीय शर्तें एक विशिष्ट तार्किक क्यूबिट के लिए पूरी हों जबकि अन्य के लिए वे तटस्थ रहें। इसने उन्हें किसी भी एकल तार्किक क्यूबिट को व्यक्तिगत रूप से "एड्रेस" करने की अनुमति दी, जिससे शेष सिस्टम को बाधित किए बिना आवश्यक रूपांतरण लागू किया जा सके। परिणाम एक स्थिर एनकोडिंग है जहाँ भौतिक हार्डवेयर और तार्किक डेटा एक ऐसे संबंध में बंधे हैं जो इस सटीक, स्वतंत्र नियंत्रण की अनुमति देता है।

यह शोध पत्र पुष्टि करता है कि यह निर्माण केवल एक सैद्धांतिक संभावना नहीं है बल्कि एक स्पष्ट, चरण-दर-चरण रेसिपी है। शोधकर्ताओं ने कोड के लिए सटीक गणितीय परिभाषाएं और एम्बेडिंग मैप प्रदान किए, यह सिद्ध करते हुए कि यह प्रणाली उपयोगी आकार के किसी भी स्तर के लिए काम करती है। उन्होंने प्रदर्शित किया कि कोड एक निरंतर दर (constant rate) बनाए रखते हैं, जिसका अर्थ है कि उपयोगी जानकारी और कुल भौतिक संसाधनों का अनुपात तब कम नहीं होता जब सिस्टम बढ़ता है। उन्होंने यह भी सिद्ध किया कि 'डिस्टेंस' (distance), जो यह मापता है कि कोड कितनी त्रुटियों को ठीक कर सकता है, सिस्टम के आकार के साथ रैखिक रूप से बढ़ता है। यह रैखिक वृद्धि स्केलेबिलिटी के लिए एक महत्वपूर्ण बेंचमार्क है, जो सुझाव देती है कि ये कोड प्रत्येक तार्किक इकाई के लिए आवश्यक भौतिक कणों की संख्या में विस्फोट किए बिना बढ़ते हुए क्वांटम सिस्टम को सुरक्षित कर सकते हैं।

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

तकनीकी सारांश: एड्रेस करने योग्य ट्रांसवर्सल $T$ गेट्स के साथ एसिम्प्टोटिकली गुड क्वांटम कोड्स

समस्या विवरण
फॉल्ट-टोलरेंट क्वांटम कंप्यूटेशन में एक केंद्रीय चुनौती ऐसे क्वांटम एरर-करेक्टिंग कोड्स को डिजाइन करना है जो एक साथ एसिम्प्टोटिकली गुड पैरामीटर्स (स्थिर दर $K/N = \Theta(1)$ और रैखिक दूरी $D/N = \Theta(1)$ ) रखते हों और जिनमें ट्रांसवर्सल नॉन-क्लिफॉर्ड गेट्स स्वीकार्य हों। ईस्टिन-निल (Eastin–Knill) प्रमेय एक ही कोड पर यूनिवर्सल ट्रांसवर्सल गेट सेट्स को प्रतिबंधित करता है, जिससे नॉन-क्लिफॉर्ड गेट्स, जैसे कि $T$ गेट ( $T = \text{diag}(1, e^{i\pi/4})$ ), को ट्रांसवर्सल ऑपरेशन्स या मैजिक-स्टेट डिस्टिलेशन के माध्यम से लागू करना आवश्यक हो जाता है।

जबकि हालिया कार्यों ने ट्रांसवर्सल लॉजिकल $CCZ$ गेट्स या एड्रेस करने योग्य $CCZ$ गेट्स वाले एसिम्प्टोटिकली गुड कोड्स के अस्तित्व को स्थापित किया है, बाइनरी कोड्स के लिए एक विशिष्ट अंतराल बना हुआ था। ट्रांसवर्सल $T$ के मौजूदा निर्माणों के परिणामस्वरूप या तो लुप्त होती दरें (vanishing rates), बढ़ती हुई लेकिन सब-लीनियर दूरियाँ, या केवल लॉजिकल आइडेंटिटी या क्लिफॉर्ड गेट्स ( $S^\dagger$ ) प्राप्त हुए, न कि स्वयं लॉजिकल $T$ । इसके अलावा, "पूर्ण एड्रेसबिलिटी" (full addressability)—अर्थात एक निश्चित एनकोडिंग का उपयोग करके और बिना किसी आगामी क्लिफॉर्ड सुधार के, शेष क्वबिट्स पर आइडेंटिटी के रूप में कार्य करते हुए, किसी भी विशिष्ट लॉजिकल क्वबिट के किसी भी विशेष उपसमुच्चय (subset) पर लॉजिकल $T$ (या उसका कोई भी पावर) लागू करने की क्षमता—को एसिम्प्टोटिकली गुड बाइनरी कोड्स के लिए प्रदर्शित नहीं किया गया था।

कार्यप्रणाली (Methodology)
लेखक अल्जेब्रिक-जियोमेट्री (AG) कोड्स को एक नवीन बाइनरी एम्बेडिंग तकनीक के साथ संयोजित करके बाइनरी कैलडरबैंक-शोर-स्टीन्स (CSS) कोड्स का एक स्पष्ट परिवार निर्मित करते हैं। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम through आगे बढ़ती है:

सामान्यीकृत विभाज्यता ढांचा (Generalized Divisibility Framework): पेपर एक वेटेड डिविजिबिलिटी मानदंड का उपयोग करता है। एक बाइनरी कोड $C$ , $(a, b)$ -वेटेड 8-डिविज़िबल है यदि सभी कोडवर्ड्स के लिए $\sum a_j c_j \equiv 0 \pmod 8$ हो। लेखक दिखाते हैं कि यदि कोई कोड सूचना निर्देशांकों (information coordinates) के सेट पर विशिष्ट विभाज्यता गुणांकों को स्वीकार करता है, तो इन निर्देशांकों को पंचर (puncturing) और शॉर्टनिंग (shortening) करने से एक CSS कोड प्राप्त होता है जिसमें पूर्णतः एड्रेस करने योग्य ट्रांसवर्सल $T$ गेट्स होते हैं (लेम्मा 3.1)।
गुणा से विभाज्यता तक (From Multiplication to Divisibility): विभाज्यता आवश्यकताओं को पूरा करने के लिए, लेखक शास्त्रीय कोड्स के "मल्टीप्लिकेशन प्रॉपर्टी" का लाभ उठाते हैं। विशेष रूप से, वे इस तथ्य का उपयोग करते हैं कि यदि एक बाइनरी कोड 4-मल्टीप्लिकेशन प्रॉपर्टी को संतुष्ट करता है (किसी भी 5 कोडवर्ड्स का घटक-वार उत्पाद सम भार वाला है), तो एक 4-फोल्ड प्रोडक्ट कोड के ड्यूल से वेक्टर्स प्राप्त करने के लिए एक का उपयोग किया जा सकता है ताकि निर्धारित पैरिटी के साथ आवश्यक वेटेड 8-डिविजिबिलिटी गुणांक प्राप्त किए जा सकें (लेम्मा 4.1 और 4.2)।
अल्जेब्रिक-जियोमेट्री कोड्स: निर्माण $\mathbb{F}_{1024}$ पर आधारित AG कोड्स से शुरू होता है। लेखक एक विशिष्ट गैलवा टॉवर (Galois tower) और डिवीज़र कॉन्फ़िगरेशन का चयन करते हैं ताकि यह सुनिश्चित किया जा सके कि कोड्स में 15-मल्टीप्लिकेशन प्रॉपर्टी हो। यह गुण यह सुनिश्चित करता है कि किसी भी 16 कोडवर्ड्स के घटक-वार उत्पाद का समन्वय योग (coordinate sum) शून्य होता है (लेम्मा 4.3)।
बाइनरी एम्बेडिंग: $\mathbb{F}_{1024}$ -आधारित AG कोड्स को बाइनरी कोड्स में मैप करने के लिए एक महत्वपूर्ण कदम है, जबकि आवश्यक अल्जेब्रिक संरचना को संरक्षित रखा जाए। लेखक एक अल्फाबेट-रिडक्शन मैप के पांच-इनपुट स्पेशलाइजेशन पर आधारित एक सिमेट्रिक, $\mathbb{F}_2$ -लीनियर मैप $\sigma: \mathbb{F}_{1024} \to \mathbb{F}_2^L$ को परिभाषित करते हैं। यह मैप सुनिश्चित करता है कि AG कोड्स की 15-मल्टीप्लिकेशन प्रॉपर्टी (16-कोडवर्ड उत्पादों का शून्य योग) परिणामी बाइनरी कोड्स के लिए बाइनरी 4-मल्टीप्लिकेशन प्रॉपर्टी (5-कोडवर्ड उत्पादों की शून्य पैरिटी) में परिवर्तित हो जाती है (लेम्मा 4.4)।
प्रतिबंध के माध्यम से एड्रेसबिलिटी (Addressability via Restriction): एड्रेसबिलिटी प्राप्त करने के लिए, लेखक बाइनरी कोड को एक विशिष्ट ट्रेस वन (trace one) वाले तत्व द्वारा जनरेट किए गए सबस्पेस तक सीमित करते हैं। यह प्रतिबंध 4-मल्टीप्लिकेशन प्रॉपर्टी को बनाए रखता है और एक निर्देशांक सेट $S$ के चयन की अनुमति देता है जहाँ विभाज्यता गुणांकों को स्वतंत्र रूप से निर्धारित किया जा सकता है।
एम्बेडिंग लंबाई का अनुकूलन (Optimization of Embedding Length): पेपर आवश्यक पांचfold आइडेंटिटी को संतुष्ट करने वाले सबसे छोटे बाइनरी एम्बेडिंग को खोजने की समस्या को $\mathbb{F}_2$ पर एक लीनियर सिस्टम द्वारा परिभाषित एक एफाइन स्पेस पर मिनिमम-वेट समस्या के रूप में फॉर्म्युलेट करता है। इस ऑप्टिमाइज़ेशन समस्या को हल करने से रेट और डिस्टेंस बाउंड्स में एसिम्प्टोटिक कांस्टेंट्स में सुधार करने की अनुमति मिलती है (सेक्शन 5)।

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

मुख्य प्रमेय (Theorem 1.2 / Theorem 4.5): लेखक बाइनरी CSS कोड्स का एक स्पष्ट परिवार $[[N_i, K_i = \Theta(N_i), D_i = \Theta(N_i)]]$ निर्मित करते हैं जो पूर्णतः एड्रेस करने योग्य ट्रांसवर्सल लॉजिकल $T$ गेट्स को स्वीकार करते हैं।
सटीक कार्यान्वयन (Exact Implementation): $T$ के लॉजिकल पावर्स के किसी भी निर्धारित टेंसर उत्पाद (जो $c \in \mathbb{Z}_8^K$ द्वारा परिभाषित है) के लिए, लॉजिकल ऑपरेशन को भौतिक $T$ के टेंसर उत्पाद द्वारा सटीक रूप से लागू किया जाता है। इसके लिए किसी बाद के क्लिफॉर्ड सुधार की आवश्यकता नहीं है, और एनकोडिंग लॉजिकल ऑपरेशन के स्वतंत्र रूप से फिक्स्ड है।
एसिम्प्टोटिक पैरामीटर्स: निर्मित कोड्स एक स्थिर दर और रैखिक दूरी प्राप्त करते हैं। विशेष रूप से, दर $1/(991L)$ की ओर अभिसरित होती है और सापेक्ष दूरियाँ $1/L$ के आनुपातिक स्थिरांकों द्वारा नीचे से बद्ध (bounded below) हैं, जहाँ $L$ बाइनरी एम्बेडिंग की लंबाई है (जिसे सेक्शन 5 में ऑप्टिमाइज़ किया गया है)।
एड्रेसबिलिटी: यह निर्माण किसी भी चुने हुए लॉजिकल क्वबिट (या उसके उपसमुच्चय) पर $T$ गेट्स को स्वतंत्र रूप से लागू करने की अनुमति देता है, जबकि अन्यों पर आइडेंटिटी के रूप में कार्य करता है, जो कि ट्रांसवर्सल $T$ वाले एसिम्प्टोटिकली गुड बाइनरी कोड्स के लिए पहले कभी स्थापित नहीं किया गया था।

महत्व
यह पेपर इस खुले प्रश्न को हल करने का दावा करता है कि क्या स्पष्ट रूप से एसिम्प्टोटिकली गुड बाइनरी क्वांटम कोड्स पूर्णतः एड्रेस करने योग्य ट्रांसवर्सल $T$ गेट्स को स्वीकार कर सकते हैं। AG कोड्स को एक टेलर्ड बाइनरी एम्बेडिंग और सामान्यीकृत विभाज्यता तर्कों के साथ जोड़कर, यह कार्य उन फॉल्ट-टोलरेंट आर्किटेक्चर के लिए एक सैद्धांतिक आधार प्रदान करता है जो हर ऑपरेशन के लिए मैजिक-स्टेट डिस्टिलेशन के ओवरहेड के बिना ट्रांसवर्सल नॉन-क्लिफॉर्ड गेट्स पर निर्भर करते हैं। निर्माण यह प्रदर्शित करता है कि ईस्टिन-निल प्रमेय के बाधाओं को निरंतर एनकोडिंग ओवरहेड और रैखिक एरर-करेक्शन क्षमता के साथ यूनिवर्सल गेट सेट्स ( $T$ और क्लिफॉर्ड के माध्यम से) प्राप्त करने के लिए नेविगेट किया जा सकता है, बशर्ते कि एड्रेस करने योग्य ट्रांसवर्सल $T$ की विशिष्ट संरचना का उपयोग किया जाए। पेपर यह भी रेखांकित करता है कि मिनिमम एम्बेडिंग लेंथ समस्या को एक कॉम्बिनेटोरियल ऑप्टिमाइज़ेशन समस्या के रूप में माना जा सकता है, जो इन कोड्स के ठोस पैरामीटर्स को और बेहतर बनाने का मार्ग प्रशस्त करता है।

इसी तरह के और पेपर