← Back
Physical Review X

मैजिक ट्राइसाइकिल: फाइनाइट ब्लॉक-लेंथ क्वांटम LDPC कोड के साथ कुशल मैजिक-स्टेट जनरेशन

इस पत्र में संबोधित समस्या सार्वभौमिक दोष-सहिष्णु क्वांटम संगणना प्राप्त करने की मौलिक आवश्यकताओं से उत्पन्न होती है। ईस्टिन और नाइल [2] के एक मौलिक परिणाम ने स्थापित किया कि क्वांटम त्रुटि-सुधार कोड के भीतर विशुद्ध...

अनुसंधान क्षेत्र Quantum Computing
Article Type Research analysis
Authors Menon et al.
Original Paper Published 2026-04-15
ISOM Posted 2026-05-01 00:28 UTC
Read Time 6M
Open PDF Open DOI Open Source Page

Editorial Disclosure

ISOM follows an editorial workflow that structures the source paper into a readable analysis, then publishes the summary, source links, and metadata shown on this page so readers can verify the original work.

The goal of this page is to help readers understand the paper's core question, method, evidence, and implications before opening the original publication.

पृष्ठभूमि और अकादमिक वंश

उत्पत्ति और अकादमिक वंश

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

इन उच्च-निष्ठा संसाधन राज्यों को तैयार करने की प्राथमिक विधि को मैजिक-स्टेट डिस्टिलेशन (MSD) के रूप में जाना जाता है। ऐतिहासिक रूप से, MSD प्रोटोकॉल, जैसे कि 15-से-1 डिस्टिलेशन योजना [3], अत्यंत संसाधन-गहन रहे हैं, जिनके लिए बार-बार आसवन के कई स्तरों और आंतरिक कोड के साथ संयोजन की आवश्यकता होती है। यह प्रक्रिया समग्र स्पेस-टाइम ओवरहेड में महत्वपूर्ण रूप से योगदान करती है, उस बिंदु तक जहां मैजिक-स्टेट जनरेशन का अनुमान स्टेट-ऑफ-द-आर्ट दोष-सहिष्णु आर्किटेक्चर में कुल क्यूबिट और गेट गणनाओं पर हावी होने के लिए लगाया गया है, यहां तक ​​कि शोर के एल्गोरिथम [4,5] जैसे एल्गोरिदम के लिए भी। इस शोध की मुख्य प्रेरणा इस ओवरहेड को काफी कम करना है।

पिछले दशक में, शोधकर्ताओं ने MSD ओवरहेड [6-9] को कम करने के लिए ट्रांसवर्सल गैर-क्लिफर्ड गेट्स वाले क्वांटम कोड डिजाइन करने में प्रगति की है। हालांकि, इन पहले के दृष्टिकोणों को महत्वपूर्ण सीमाओं का सामना करना पड़ा। कई प्रस्तावित कम-ओवरहेड डिस्टिलेशन योजनाओं ने उच्च-भार समता जांच वाले कोड पर भरोसा किया, जिसका अर्थ है कि उनके सिंड्रोम निष्कर्षण सर्किट की गहराई कोड की ब्लॉक लंबाई के साथ मापी गई। इसने उन्हें सर्किट-स्तरीय शोर के खिलाफ स्वाभाविक रूप से दोष-सहिष्णु नहीं बनाया और घातीय सबथ्रेशोल्ड त्रुटि दमन को रोका। इसके अलावा, इन योजनाओं ने अक्सर स्पष्ट रूप से शोर-मुक्त क्लिफर्ड संचालन माना, जो एक अवास्तविक धारणा है जिसने आंतरिक कोड के उच्च-दूरी के साथ संयोजन की आवश्यकता के कारण व्यावहारिक ओवरहेड को और बढ़ा दिया। क्लिफर्ड एन्कोडिंग और अनकोडिंग सर्किट ने भी भौतिक क्यूबिट्स की संख्या के साथ रैखिक रूप से स्केल करने वाली गहराई से पीड़ित किया, जिससे पर्याप्त लौकिक ओवरहेड हुआ।

क्वांटम लो-डेंसिटी पैरिटी-चेक (qLDPC) कोड ने अपने विरल स्टेबलाइज़र जांच और दर और दूरी के अनुकूल स्केलिंग के कारण क्वांटम त्रुटि सुधार की लागत को कम करने के लिए एक आशाजनक मार्ग के रूप में उभरा। जबकि क्वांटम मेमोरी [12,13] के लिए qLDPC कोड का पता लगाया गया है, मैजिक-स्टेट जनरेशन के लिए उनका अनुप्रयोग हाल ही में शुरू हुआ है। यह काफी हद तक इसलिए है क्योंकि ट्रांसवर्सल गैर-क्लिफर्ड गेट्स को होस्ट करने में सक्षम qLDPC कोड का निर्माण चुनौतीपूर्ण साबित हुआ है। उदाहरण के लिए, मैजिक-स्टेट जनरेशन के लिए होमोलॉजिकल उत्पाद कोड के पिछले निर्माणों में अक्सर शास्त्रीय कोड के सापेक्ष कोड आकार के घन वृद्धि के कारण अच्छे मापदंडों के साथ सबसे छोटे ब्लॉक लंबाई के लिए हजारों या यहां तक ​​कि दसियों हजार भौतिक क्यूबिट्स की आवश्यकता होती थी [पृष्ठ 5, बायां कॉलम, पैराग्राफ 1]। यह बड़ी क्यूबिट गणना एक प्रमुख दर्द बिंदु थी।

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

सहज डोमेन शब्द

  • मैजिक स्टेट्स (Magic States): कल्पना कीजिए कि आप एक जटिल वीडियो गेम खेल रहे हैं। आपके अधिकांश कार्य चलना, कूदना या सरल हमले (क्लिफर्ड गेट्स) जैसे बुनियादी चालें हैं। लेकिन एक शक्तिशाली, खेल बदलने वाली विशेष चाल (जैसे सुपर कॉम्बो या टेलीपोर्ट) करने के लिए, आपको एक विशिष्ट "पावर-अप" आइटम की आवश्यकता होती है। ये "पावर-अप" आइटम क्वांटम कंप्यूटिंग में मैजिक स्टेट्स की तरह हैं। वे विशेष क्वांटम स्टेट्स हैं जो बुनियादी संचालन से परे क्षमताओं को अनलॉक करते हैं, जिससे सार्वभौमिक संगणना सक्षम होती है।

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

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

  • ट्रांसवर्सल गेट (Transversal Gate): यदि आपके पास शेफ की एक टीम है, और प्रत्येक शेफ एक व्यंजन तैयार कर रहा है, तो एक ट्रांसवर्सल गेट हर शेफ को एक ही समय में अपने व्यक्तिगत व्यंजन पर ठीक वही सरल कदम करने के लिए कहने जैसा है। उदाहरण के लिए, "सभी एक चुटकी नमक डालें।" मुख्य बात यह है कि प्रत्येक शेफ अपने स्वयं के व्यंजन पर स्वतंत्र रूप से कार्य करता है, इसलिए एक शेफ द्वारा की गई गलती आसानी से दूसरे के व्यंजन में नहीं फैलती है। क्वांटम कंप्यूटिंग में, इसका मतलब है कि कोड ब्लॉक में प्रत्येक क्यूबिट पर एक भौतिक गेट लागू करना, जो स्वाभाविक रूप से त्रुटि प्रसार को सीमित करता है और ऑपरेशन को दोष-सहिष्णु बनाता है।

  • CCZ गेट (कंट्रोल्ड-कंट्रोल्ड-Z): यह तीन क्यूबिट्स को शामिल करने वाला एक विशिष्ट प्रकार का मैजिक गेट है। एक गुप्त तिजोरी की कल्पना करें जिसमें तीन ताले हों। CCZ गेट एक तंत्र की तरह है जो केवल तभी सक्रिय होता है जब सभी तीन ताले एक साथ चालू हों। यदि तालों में से कोई एक चालू नहीं है, तो कुछ भी नहीं होता है। यह "ट्रिपल-कंट्रोल" क्वांटम संगणना में बहुत जटिल और शक्तिशाली संचालन की अनुमति देता है।

संकेतन तालिका

संकेतन विवरण
$N$ कोड ब्लॉक में भौतिक क्यूबिट्स की कुल संख्या।
$K$ कोड ब्लॉक में एन्कोडेड लॉजिकल क्यूबिट्स की संख्या।
$D$ क्वांटम कोड की न्यूनतम दूरी, जो इसकी त्रुटि-सुधार क्षमता का प्रतिनिधित्व करती है। $D_X$ और $D_Z$ क्रमशः X और Z आधारों में दूरियों को संदर्भित करते हैं।
$H_X$ X-प्रकार की समता-जांच मैट्रिक्स, जो X-स्टेबलाइज़र जनरेटर को परिभाषित करती है।
$H_Z$ Z-प्रकार की समता-जांच मैट्रिक्स, जो Z-स्टेबलाइज़र जनरेटर को परिभाषित करती है।
$A, B, C$ $n_G \times n_G$ बाइनरी क्रमचय मैट्रिक्स जो समूह-बीजगणित तत्वों से प्राप्त होते हैं, जो ट्राइसाइकिल कोड के भीतर कनेक्टिविटी पैटर्न को परिभाषित करते हैं।
$O$ $n_G \times n_G$ शून्य मैट्रिक्स।
$\mathbb{F}_2$ बाइनरी क्षेत्र $\{0,1\}$, जहां अंकगणित मॉड्यूल 2 पर किया जाता है।
$n_G$ प्रत्येक क्षेत्र का रैखिक आकार, परिमित एबेलियन समूह $G$ के क्रम के बराबर। कुल भौतिक क्यूबिट्स $N = 3n_G$।
$f_{CCZ}$ एक ट्रिलिनियर बाइनरी फ़ंक्शन जो ट्रांसवर्सल CCZ सर्किट को परिभाषित करता है। $f_{CCZ}(p^I, q^{II}, r^{III}) = 1$ का अर्थ है कि एक भौतिक CCZ गेट क्यूबिट्स $p^I, q^{II}, r^{III}$ पर लागू होता है।
$\cup$ बीजगणितीय टोपोलॉजी से कप उत्पाद ऑपरेटर, ट्रांसवर्सल गैर-क्लिफर्ड गेट्स के निर्माण के लिए उपयोग किया जाता है।
$a_{in}, a_{out}, a_{free}$ समूह-बीजगणित तत्वों के "इन," "आउट," और "फ्री" विभाजन (पूर्व-अभिविन्यास), कप उत्पाद को परिभाषित करने और कोड-स्पेस-संरक्षण CCZ सर्किट सुनिश्चित करने के लिए महत्वपूर्ण हैं।
$|...|_{d_{i \neq j \neq k}}$ तर्क के हैमिंग वजन (समर्थन का आकार) को दर्शाता है, इस शर्त के साथ कि CCZ गेट के लिए क्यूबिट्स अलग-अलग क्षेत्रों से होने चाहिए।
$\pmod{2}$ मॉड्यूल 2 अंकगणित, गेट अनुप्रयोग के लिए बाइनरी आउटपुट सुनिश्चित करता है।
$p_{2q}$ दो-क्यूबिट एंटैंगलिंग गेट्स (जैसे, CNOT) के लिए भौतिक त्रुटि दर।
$p_{3q}$ तीन-क्यूबिट CCZ गेट्स के लिए भौतिक त्रुटि दर।
$K_{CCZ}$ हाइपरग्राफ मैजिक स्टेट से निकाले जा सकने वाले असतत लॉजिकल CCZ गेट्स की अधिकतम संख्या।
STCP सिमेट्रिक ट्रिपल कप प्रोडक्ट फॉर्मलिज्म, CCZ सर्किट के निर्माण के लिए एक विश्लेषणात्मक विधि।
NLR न्यूमेरिकल लेबनिज रूल विधि, CCZ सर्किट के निर्माण के लिए एक पूरक संख्यात्मक विधि।
MSD मैजिक-स्टेट डिस्टिलेशन, उच्च-निष्ठा गैर-क्लिफर्ड संसाधन राज्यों को तैयार करने के लिए एक प्रोटोकॉल।
qLDPC क्वांटम लो-डेंसिटी पैरिटी-चेक कोड।
CSS काल्डेरबैंक-शोर-स्टीन कोड, क्वांटम त्रुटि-सुधार कोड का एक वर्ग।
MLE मैक्सिमम लाइक्लीहुड एरर डिकोडर।
BP + LSD बिलीफ प्रोपेगेशन + लोकलाइज्ड स्टैटिस्टिक्स डिकोडिंग, एक कुशल अनुमानित डिकोडर।
BP + OSD बिलीफ प्रोपेगेशन + ऑर्डर्ड स्टैटिस्टिक्स डिकोडिंग, एक और अनुमानित डिकोडर।
AOD एकॉस्टो-ऑप्टिकल डिफ्लेक्टर, न्यूट्रल-एटम एरे में परमाणु आंदोलन के लिए उपयोग किया जाता है।
SLM स्पेसियल लाइट मॉड्यूलेटर, क्यूबिट्स के लिए जाल उत्पन्न करने के लिए उपयोग किया जाता है।
$t_{wsp}, t_{ent}$ क्रमशः कार्यक्षेत्र और एंटैंगलिंग ज़ोन में AOD आंदोलनों के लिए समय ओवरहेड।
$d_{min}$ न्यूनतम ऑप्टिकल रिजॉल्विंग दूरी, क्यूबिट घनत्व और आंदोलन की गति को सीमित करती है।
$d_{iso}$ इच्छित CNOT जोड़े सुनिश्चित करने के लिए रिडबर्ग इंटरैक्शन के लिए अलगाव दूरी।

समस्या परिभाषा और बाधाएँ

मुख्य समस्या सूत्रीकरण और दुविधा

इस पत्र में संबोधित मुख्य समस्या उच्च-निष्ठा गैर-क्लिफर्ड (मैजिक) राज्यों का अक्षम और संसाधन-गहन उत्पादन है, जो सार्वभौमिक दोष-सहिष्णु क्वांटम संगणना के लिए अनिवार्य हैं।

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

वांछित अंतिम बिंदु (आउटपुट/लक्ष्य स्थिति):
पत्र का उद्देश्य कुशल, दोष-सहिष्णु मैजिक-स्टेट उत्पादन प्राप्त करना है जो वर्तमान विधियों से जुड़े स्पेस-टाइम ओवरहेड को काफी कम करता है। विशेष रूप से, लक्ष्य है:
1. उच्च निष्ठा और थ्रूपुट के साथ मैजिक स्टेट्स उत्पन्न करें: शोर के एल्गोरिथम जैसे व्यावहारिक अनुप्रयोगों के लिए $2 \times 10^{-8}$ से $3 \times 10^{-11}$ से कम लॉजिकल त्रुटि दरों के साथ मैजिक स्टेट्स का उत्पादन करें।
2. परिमित ब्लॉक-लंबाई कोड का उपयोग करें: उन्हें प्रयोगात्मक रूप से व्यवहार्य बनाने के लिए लगभग 50-100 क्यूबिट्स की ब्लॉक लंबाई वाले कोड का उपयोग करें।
3. स्थिर-गहराई सर्किट का समर्थन करें: कोड आकार से स्वतंत्र, स्थिर गहराई के भौतिक सर्किट का उपयोग करके लॉजिकल CCZ गेट्स और सिंड्रोम निष्कर्षण को लागू करें।
4. सिंगल-शॉट स्टेट तैयारी और त्रुटि सुधार को सक्षम करें: मैजिक-स्टेट तैयारी सर्किट के प्रारंभिक लॉजिकल स्टेट को स्थिर गहराई में तैयार करने की अनुमति दें, और एक आधार में बार-बार सिंड्रोम निष्कर्षण के बिना त्रुटियों को ठीक करें।
5. संयोजन से बचें: क्लिफर्ड गेट्स का समर्थन करने वाले आंतरिक कोड के साथ संयोजन की आवश्यकता को समाप्त करें, समग्र वास्तुकला को सरल बनाएं।

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

यह पत्र "ट्राइसाइकिल कोड" पेश करके इस अंतर को पाटने का प्रयास करता है, जो परिमित ब्लॉक-लंबाई क्वांटम LDPC कोड का एक नया वर्ग है। इन कोडों को एबेलियन समूह बीजगणित पर शास्त्रीय बाइनरी रैखिक कोड के तीन-आयामी संतुलित उत्पादों के रूप में निर्मित किया गया है, जो प्रसिद्ध बाइसिकल कोड को सामान्यीकृत करता है। गणितीय अंतर को निम्नलिखित द्वारा पाटा गया है:
1. एक संशोधित कप-उत्पाद औपचारिकता का विकास: पत्र तीन-आयामी उत्पाद कोड में ट्रांसवर्सल गैर-क्लिफर्ड गेट्स के निर्माण के लिए सैद्धांतिक ढांचे का विस्तार करता है, जो बीजगणितीय टोपोलॉजी से कप-उत्पाद औपचारिकता को संशोधित करता है। यह उच्च-दर और -दूरी वाले ट्राइसाइकिल कोड को गैर-तुच्छ CCZ क्रिया को होस्ट करने के लिए संतुष्ट करने वाली शर्तों का एक नया सेट की ओर ले जाता है।
2. एक संख्यात्मक लेबनिज नियम (NLR) विधि का परिचय: पुनरावृत्त संतुलित-उत्पाद क्वांटम कोड पर छोटे-गहरे, कोड-स्पेस-संरक्षण CCZ सर्किट खोजने के लिए एक पूरक संख्यात्मक विधि विकसित की गई है, खासकर उन मामलों के लिए जहां विश्लेषणात्मक कप-उत्पाद औपचारिकता बहुत प्रतिबंधात्मक है।

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

पिछले दृष्टिकोणों ने या तो दूसरों की कीमत पर कुछ लक्ष्य प्राप्त किए या सरलीकरण मान्यताओं पर भरोसा किया जो व्यावहारिक क्वांटम कंप्यूटिंग आर्किटेक्चर में यथार्थवादी नहीं हैं। उदाहरण के लिए, 4-4-4 ट्राइसाइकिल कोड, उच्च दर और दूरी की पेशकश करते हुए, उच्च जांच भार और गहरे CCZ सर्किट की लागत के साथ आते हैं, जो इस अंतर्निहित ट्रेड-ऑफ को दर्शाता है।

बाधाएँ और विफलता मोड

कुशल, दोष-सहिष्णु मैजिक-स्टेट जनरेशन की समस्या भौतिक, कम्प्यूटेशनल और डेटा-संचालित बाधाओं के संयोजन के साथ-साथ अंतर्निहित विफलता मोड के कारण अविश्वसनीय रूप से कठिन है:

भौतिक बाधाएँ:
1. क्यूबिट त्रुटि दर और शोर पूर्वाग्रह: भौतिक CCZ गेट्स में एक विशिष्ट त्रुटि दर (जैसे, $p_{3q} = 0.002$) होने का अनुमान है, जो दो-क्यूबिट एंटैंगलिंग गेट्स ($p_{2q} = 0.001$) की तुलना में दोगुनी है। इसके अलावा, देशी चरण-प्रकार के गेट्स (जैसे CCZ) Z-प्रकार की त्रुटियों की ओर दृढ़ता से पक्षपाती शोर प्रोफाइल प्रदर्शित करते हैं, जिन्हें त्रुटि मॉडल में ध्यान में रखा जाना चाहिए।
2. हार्डवेयर मेमोरी सीमाएँ: "परिमित ब्लॉक-लंबाई" कोड (जैसे, 50-100 क्यूबिट्स) की आवश्यकता का अर्थ है कि कोड ब्लॉक के लिए उपलब्ध भौतिक क्यूबिट्स की संख्या पर व्यावहारिक सीमाएँ हैं।
3. वास्तविक-समय विलंबता आवश्यकताएँ: "सिंगल-शॉट" स्टेट तैयारी और त्रुटि सुधार की मांग त्रुटियों को फैलने और जमा होने से रोकने के लिए महत्वपूर्ण है, खासकर चूंकि CCZ गेट्स X त्रुटियों को CZ त्रुटियों में प्रसारित कर सकते हैं। यह डिकोडिंग और सुधार चक्रों पर सख्त विलंबता आवश्यकताएं लगाता है।
4. न्यूट्रल-एटम एरे प्लेटफ़ॉर्म सीमाएँ: पुन: कॉन्फ़िगर करने योग्य न्यूट्रल-एटम एरे पर प्रस्तावित कार्यान्वयन विशिष्ट बाधाएँ प्रस्तुत करता है:
* ट्रैप रिक्ति: समानांतर CNOTs में शामिल क्यूबिट जोड़े को रिडबर्ग इंटरैक्शन को अलग करने और एक ही क्षेत्र के भीतर अनपेक्षित इंटरैक्शन को रोकने के लिए पर्याप्त दूरी ($d_{iso}$, जैसे, 10 µm) से अलग किया जाना चाहिए।
* ऑप्टिकल रिज़ॉल्यूशन ($d_{min}$): न्यूनतम ऑप्टिकल रिजॉल्विंग दूरी (जैसे, 2 µm) क्यूबिट क्रमपरिवर्तन की गति और घनत्व को सीमित करती है।
* AOD आंदोलन समय: क्रमपरिवर्तन (x, y, z साइकलिंग) और लाने/वापस लाने के संचालन के लिए परमाणु-ऑप्टिकल डिफ्लेक्टर (AOD) आंदोलनों में संबंधित समय ओवरहेड ($t_{wsp}, t_{ent}$) होते हैं, जो समग्र सर्किट गहराई में योगदान करते हैं।
5. ईस्टिन-नाइल प्रमेय: यह मौलिक प्रमेय सार्वभौमिक ट्रांसवर्सल गेट सेट को रोकता है, जिससे मैजिक स्टेट्स का उपयोग करना पड़ता है और इस प्रकार गैर-क्लिफर्ड संचालन में जटिलता बढ़ जाती है।

कम्प्यूटेशनल बाधाएँ:
1. कोड दूरी और सबरैंक समस्याओं की NP-कठिनाई:
* सटीक कोड दूरियों को खोजना रैखिक कोड के लिए एक NP-कठिन समस्या है, जिससे बड़े ट्राइसाइकिल कोड के प्रदर्शन को सटीक रूप से चिह्नित करना कम्प्यूटेशनल रूप से चुनौतीपूर्ण हो जाता है।
* बाइनरी टेंसर के सबरैंक को खोजना (जो हाइपरग्राफ मैजिक स्टेट से असतत CCZ गेट्स की अधिकतम संख्या निकालने के अनुरूप है) भी NP-कठिन है। यह उत्पन्न मैजिक स्टेट्स की पूरी क्षमता को कुशलतापूर्वक निकालने की क्षमता को सीमित करता है।
2. सॉल्वर टाइमआउट: लॉजिकल सर्किट अनुकूलन (जैसे, $K_{CCZ}$ के लिए मिश्रित-पूर्णांक प्रोग्रामिंग) के लिए उपयोग किए जाने वाले संख्यात्मक सॉल्वर अक्सर बड़े मानों के लिए समय समाप्त हो जाते हैं, जो इष्टतम समाधान खोजने की कम्प्यूटेशनल असाध्यता को इंगित करता है।
3. डिकोडिंग जटिलता: जबकि बिलीफ प्रोपेगेशन + लोकलाइज्ड स्टैटिस्टिक्स डिकोडिंग (BP + LSD) जैसे कुशल डिकोडर का उपयोग किया जाता है, वे अनुमान हैं। सटीक मैक्सिमम लाइक्लीहुड एरर (MLE) डिकोडर घातीय रूप से महंगे हैं, जिससे वे वास्तविक समय दोष-सहिष्णु संचालन के लिए अव्यवहारिक हो जाते हैं।
4. संख्यात्मक खोज सीमाएँ: CCZ सर्किट के निर्माण के लिए संख्यात्मक लेबनिज नियम विधि छोटी गहराई की गारंटी नहीं देती है, जिसके लिए उपयुक्त कोड खोजने के लिए व्यापक खोज और हाइपरपैरामीटर ट्यूनिंग की आवश्यकता होती है।

डेटा-संचालित बाधाएँ और विफलता मोड:
1. सर्किट-स्तरीय शोर: संपूर्ण प्रोटोकॉल को यथार्थवादी सर्किट-स्तरीय शोर मॉडल के तहत संचालित करना चाहिए, जिसमें दो-क्यूबिट डिपोलाइजिंग शोर और CCZ गेट्स के लिए पक्षपाती तीन-क्यूबिट डिपोलाइजिंग शोर शामिल है। यह शोर त्रुटियों का परिचय देता है जिन्हें पता लगाया और ठीक किया जाना चाहिए।
2. त्रुटि प्रसार: एक महत्वपूर्ण विफलता मोड यह है कि CCZ गेट्स पूर्व-मौजूदा X त्रुटियों को अन्य क्यूबिट्स पर CZ त्रुटियों में प्रसारित करते हैं। ये CZ त्रुटियाँ तब सिंड्रोम माप के बाद गैर-निर्धारक Z त्रुटियों में ढह जाती हैं, जो यदि सिंगल-शॉट त्रुटि सुधार द्वारा नियंत्रित नहीं की जाती हैं तो जल्दी से जमा हो सकती हैं।
3. गैर-निर्धारक Z-स्टेबलाइज़र माप: प्रारंभिक Z-प्रकार के स्टेबलाइज़र माप गैर-निर्धारक $\pm 1$ परिणाम उत्पन्न करते हैं, जिन्हें CCZ गेट्स लागू करने से पहले हार्डवेयर पर मज़बूती से $+1$ पर ठीक किया जाना चाहिए। इसके लिए सिंड्रोम माप त्रुटियों की पहचान और सुधार के लिए मजबूत मेटाचेक और डिकोडर की आवश्यकता होती है।
4. असंतुलित कोड दूरियाँ: ट्राइसाइकिल कोड स्वाभाविक रूप से Z आधार की तुलना में X आधार में उच्च दूरी प्रदर्शित करते हैं ($d_Z \leq d_X$)। जबकि शोर-पक्षपाती प्लेटफार्मों के लिए संभावित रूप से उपयोगी है, यह असंतुलन का अर्थ है कि अधिक चुनौतीपूर्ण X-आधार त्रुटि सुधार अक्सर समग्र प्रदर्शन को निर्धारित करता है।
5. सीमित पोस्टसेलेक्शन सफलता दर: जबकि पोस्टसेलेक्शन लॉजिकल त्रुटि दरों में काफी सुधार कर सकता है, यह स्वीकृति अंश में कमी की कीमत पर आता है (जैसे, अध्ययन किए गए कोड के लिए 3% से 30%), जो मैजिक-स्टेट जनरेशन के समग्र थ्रूपुट को प्रभावित करता है।

यह दृष्टिकोण क्यों

चुनाव की अनिवार्यता

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

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

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

तुलनात्मक श्रेष्ठता

ट्राइसाइकिल कोड सरल प्रदर्शन मेट्रिक्स से परे, पिछली स्वर्ण मानकों पर भारी गुणात्मक श्रेष्ठता प्रदर्शित करते हैं। उनकी संरचनात्मक डिजाइन कुशल, दोष-सहिष्णु मैजिक-स्टेट जनरेशन के लिए विशिष्ट लाभ प्रदान करती है।

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

दूसरे, एक सर्वोपरि लाभ सिंगल-शॉट स्टेट तैयारी और त्रुटि सुधार (धारा I.B, II.C) का सक्षम होना है। पारंपरिक MSD योजनाओं के विपरीत, जिन्हें कई, पुनरावृत्त आसवन राउंड की आवश्यकता होती है, ट्राइसाइकिल कोड एक ही राउंड में उच्च-निष्ठा हाइपरग्राफ मैजिक स्टेट्स तैयार कर सकते हैं। यह दो प्रमुख गुणों द्वारा सुगम बनाया गया है: स्टेट इनिशियलाइज़ेशन के दौरान एक स्टेबलाइज़र आधार में अंतर्निहित दोष-सहिष्णुता, और "मेटाचेक" की उपस्थिति। ये मेटाचेक अतिरिक्त Z समता जांच हैं जो सिंड्रोम बिट्स पर एक शास्त्रीय कोड बनाते हैं, जिससे Z आधार में सिंड्रोम माप त्रुटियों की मजबूत पहचान और सुधार की अनुमति मिलती है। यह क्षमता सतह कोड जैसे कोड से एक महत्वपूर्ण प्रस्थान है, जिसमें आम तौर पर सिंगल-शॉट स्टेट तैयारी की कमी होती है, और समय ओवरहेड को $O(d)$ राउंड (जहां $d$ कोड दूरी है) से एक स्थिर संख्या तक काफी कम कर देता है।

इसके अलावा, ट्राइसाइकिल कोड अपेक्षाकृत छोटे ब्लॉक लंबाई (जैसे, [[48, 6, 4]], [[108, 21, 6]] तालिका I में दिखाए गए अनुसार) पर अनुकूल पैरामीटर - उच्च दर और दूरी प्राप्त करते हैं। यह संक्षिप्तता निकट-अवधि क्वांटम हार्डवेयर पर व्यावहारिक कार्यान्वयन के लिए महत्वपूर्ण है। पत्र यह भी प्रकाश डालता है कि विशिष्ट परिवार, जैसे कि 4-2-2 ट्राइसाइकिल कोड, विशेष रूप से उनके कम जांच भार और न्यूनतम गहराई-8 CCZ सर्किट के कारण प्रासंगिक हैं, जो सीधे सर्किट-स्तरीय शोर प्रसार को कम करने में तब्दील होता है।

मात्रात्मक रूप से, श्रेष्ठता स्पेस-टाइम लागत में स्पष्ट है। जैसा कि तालिका II में दिखाया गया है, ट्राइसाइकिल कोड लॉजिकल त्रुटि दरों (जैसे, [[48, 6, 4]] के लिए $2 \times 10^{-8}$ और [[84, 6, 5]] के लिए $4 \times 10^{-10}$) को स्टेट-ऑफ-द-आर्ट कलर-कोड-आधारित मैजिक-स्टेट कल्टीवेशन (जैसे, [[7, 1, 3]] कलर कोड के लिए $6 \times 10^{-7}$ त्रुटि दर के लिए 90 क्यूबिट राउंड, या [[19, 1, 5]] कलर कोड के लिए $6 \times 10^{-10}$ त्रुटि दर के लिए 3000 क्यूबिट राउंड) की तुलना में तुलनीय या काफी कम स्पेस-टाइम लागत (क्रमशः 89 और 527 क्यूबिट राउंड) पर प्राप्त करते हैं। यह उच्च-निष्ठा मैजिक स्टेट्स का उत्पादन करने के लिए संसाधन दक्षता में एक महत्वपूर्ण सुधार प्रदर्शित करता है।

बाधाओं के साथ संरेखण

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

सबसे पहले, सार्वभौमिक दोष-सहिष्णु क्वांटम संगणना का समग्र लक्ष्य सीधे ट्राइसाइकिल कोड की ट्रांसवर्सल लॉजिकल CCZ गेट्स को होस्ट करने की क्षमता से पूरा होता है। CCZ गेट एक गैर-क्लिफर्ड ऑपरेशन है जो सार्वभौमिक गेट सेट के लिए आवश्यक है, और ट्राइसाइकिल कोड के भीतर इसका स्थिर-गहराई, ट्रांसवर्सल कार्यान्वयन इस आवश्यकता का एक सीधा समाधान है (धारा I.B, II.B)।

दूसरे, स्पेस-टाइम ओवरहेड को कम करने की महत्वपूर्ण बाधा को ट्राइसाइकिल कोड डिजाइन के कई पहलुओं के माध्यम से संबोधित किया जाता है। सिंगल-शॉट मैजिक-स्टेट जनरेशन प्रोटोकॉल (धारा I.B, II.C) कई आसवन राउंड की आवश्यकता को समाप्त करता है, जिससे लौकिक संसाधनों में काफी कटौती होती है। उच्च-दर वाले कोड एक कोड ब्लॉक के भीतर कई मैजिक स्टेट्स के समानांतर आसवन की अनुमति देते हैं, जिससे थ्रूपुट बढ़ता है और समग्र समय कम होता है। इसके अलावा, लॉजिकल CCZ संचालन और सिंड्रोम निष्कर्षण सर्किट दोनों को स्थिर-गहराई के लिए डिज़ाइन किया गया है (धारा I.B, II.E), यह सुनिश्चित करता है कि सर्किट जटिलता कोड आकार के साथ प्रतिकूल रूप से स्केल नहीं करती है, इस प्रकार अन्य विधियों में देखी गई रैखिक स्केलिंग ओवरहेड को रोकती है। अनुकूल मापदंडों (तालिका I) के साथ परिमित ब्लॉक-लंबाई कोड का उपयोग यह भी सुनिश्चित करता है कि कोड कार्यान्वयन के लिए व्यावहारिक और संसाधन-कुशल हैं।

तीसरे, उच्च-निष्ठा मैजिक स्टेट्स की मांग मजबूत त्रुटि दमन के माध्यम से संतुष्ट होती है। संख्यात्मक सिमुलेशन पुष्टि करते हैं कि ट्राइसाइकिल कोड मामूली ब्लॉक लंबाई और यथार्थवादी सर्किट-स्तरीय शोर के तहत, विशेष रूप से पोस्टसेलेक्शन के साथ (धारा I.B, तालिका II), CCZ मैजिक स्टेट्स के लिए अत्यंत कम लॉजिकल त्रुटि दर (जैसे, $2 \times 10^{-8}$ से $3 \times 10^{-11}$ से नीचे) प्राप्त कर सकते हैं।

अंत में, दोष-सहिष्णुता स्वाभाविक रूप से ट्राइसाइकिल कोड वास्तुकला में निर्मित होती है। स्थिर-गहराई सिंड्रोम निष्कर्षण सर्किट (धारा I.A, II.E) सर्किट-स्तरीय शोर के प्रति प्रतिरोधी होने के लिए डिज़ाइन किए गए हैं। गैर-क्लिफर्ड गेट्स की ट्रांसवर्सल प्रकृति स्वाभाविक रूप से भौतिक क्यूबिट्स के बीच त्रुटियों के प्रसार को सीमित करती है (धारा I.A)। उच्च सापेक्ष दूरियां आसवन के दौरान प्रभावी त्रुटि दमन सुनिश्चित करती हैं। महत्वपूर्ण रूप से, मेटाचेक की उपस्थिति Z-आधार में सिंगल-शॉट त्रुटि सुधार को सक्षम करती है, जिससे X त्रुटियों के तत्काल सुधार की अनुमति मिलती है और उनके प्रसार को रोका जा सकता है, जो मैजिक-स्टेट तैयारी के दौरान दोष-सहिष्णुता बनाए रखने के लिए महत्वपूर्ण है (धारा II.C)। पुन: कॉन्फ़िगर करने योग्य न्यूट्रल-एटम प्लेटफार्मों (धारा I.B, II.E) पर प्रस्तावित कार्यान्वयन भी आधुनिक क्वांटम कंप्यूटिंग के व्यावहारिक हार्डवेयर बाधाओं के साथ संरेखित होता है।

विकल्पों का अस्वीकरण

पत्र स्पष्ट रूप से और अंततः कई वैकल्पिक दृष्टिकोणों को अस्वीकार करता है, उनके कमियों को उजागर करके या ट्राइसाइकिल कोड की बेहतर क्षमताओं का प्रदर्शन करके।

पारंपरिक मैजिक-स्टेट डिस्टिलेशन (MSD) योजनाएँ: पत्र का परिचय (धारा I.A) पारंपरिक MSD प्रोटोकॉल, जैसे कि 15-से-1 डिस्टिलेशन को अस्वीकार करने का एक मजबूत कार्य है। इन विधियों की आलोचना की जाती है क्योंकि उन्हें "बार-बार आसवन के कई स्तरों" और "पर्याप्त बड़ी दूरी के आंतरिक कोड के साथ संयोजन" की आवश्यकता होती है, जो "स्पेस-टाइम ओवरहेड में महत्वपूर्ण रूप से योगदान" करते हैं। लेखकों ने स्पष्ट रूप से कहा है कि मैजिक-स्टेट जनरेशन "कारक RSA पूर्णांकों को शोर के एल्गोरिथम के साथ फैक्टराइजिंग के नवीनतम संसाधन अनुमानों पर हावी है, भले ही महत्वपूर्ण अनुकूलन [4,5] हो।" इसके विपरीत, ट्राइसाइकिल कोड सिंगल-शॉट डिस्टिलेशन का लक्ष्य रखते हैं, जिससे यह ओवरहेड काफी कम हो जाता है।

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

बाइसिकल कोड (दो-आयामी समूह-बीजगणित कोड): ट्राइसाइकिल कोड को "तीन होमोलॉजिकल आयामों" तक बाइसिकल कोड के सामान्यीकरण के रूप में प्रस्तुत किया गया है (धारा I.B)। यह सामान्यीकरण आवश्यक है क्योंकि यह "सिद्धांत रूप में, क्लिफर्ड पदानुक्रम के तीसरे स्तर [23] से ट्रांसवर्सल गेट्स की अनुमति देता है," विशेष रूप से लॉजिकल CCZ गेट। जबकि बाइसिकल कोड निम्न-स्तरीय क्लिफर्ड पदानुक्रम गेट्स के लिए प्रभावी हैं, वे CCZ गेट को ट्रांसवर्सली महसूस करने के लिए अपर्याप्त हैं, जो इस कार्य का लक्ष्य गैर-क्लिफर्ड ऑपरेशन है। पत्र नोट करता है कि जबकि बाइसिकल कोड में उच्च दर हो सकती है, ट्राइसाइकिल कोड CCZ के लिए आवश्यक 3D संरचना प्रदान करते हैं।

विशिष्ट 2-2-2 ट्राइसाइकिल कोड पैरामीटर: ट्राइसाइकिल कोड के परिवार के भीतर, लेखकों ने अनुभवजन्य रूप से कुछ पैरामीटर विकल्पों को अस्वीकार कर दिया। उन्होंने पाया कि "वजन-6 X जांच और वजन-4 Z जांच वाले 2-2-2 कोड" ने गैर-तुच्छ ट्रांसवर्सल CCZ क्रिया के लिए "इतने अनुकूल" दर और दूरी की पेशकश नहीं की (धारा II.A)। विशेष रूप से, वे "K > 3 एन्कोडेड लॉजिकल क्यूबिट्स और दूरी D > 7 के साथ ऐसे किसी भी कोड को नहीं ढूंढ सके," जिससे उन्हें 4-2-2, 4-4-2, और 4-4-4 कोड पर ध्यान केंद्रित करना पड़ा, जिन्होंने बेहतर प्रदर्शन प्रदर्शित किया।

संदर्भ [27] की मूल कप-उत्पाद औपचारिकता: पत्र ट्रांसवर्सल गैर-क्लिफर्ड गेट्स के निर्माण के लिए सैद्धांतिक ढांचे के परिशोधन का भी विवरण देता है। संदर्भ [27] की "मूल कप-उत्पाद स्थितियाँ" कोड के मापदंडों पर "बहुत प्रतिबंधात्मक" पाई गईं (धारा II.B, परिशिष्ट D)। इन मूल स्थितियों ने, उदाहरण के लिए, सीमित लॉजिकल क्यूबिट्स (K=3) और दूरी (D=2) के साथ 2-2-2 कोड और इसी तरह सीमित 4-2-2 और 4-4-4 कोड का नेतृत्व किया। लेखकों ने एक "नई सममित ट्रिपल कप उत्पाद" औपचारिकता विकसित की है जो पैरामीटर विकल्पों में अधिक लचीलापन प्रदान करती है, जिससे "बेहतर मापदंडों" (उच्च दूरी) वाले ट्राइसाइकिल कोड प्राप्त होते हैं, इस प्रकार मूल, अधिक प्रतिबंधात्मक औपचारिकता को अस्वीकार करते हैं।

FIG. 2. Single-shot distillation with tricycle codes. The logical jþi⊗K state of the tricycle code can be prepared fault tolerantly in constant depth by harnessing the code’s intrinsic resilience in one basis—namely, by preparing the physical qubits such that the associated stabilizer checks are deterministic—together with single-shot error correction in the complementary, nondetermin- istic, basis. The logical non-Clifford operation is implemented via a constant-depth circuit composed of physical CCZ gates. The output is a logical hypergraph magic state which embeds KCCZ ≤K disjoint logical jCCZi resource states

गणितीय और तार्किक तंत्र

मास्टर समीकरण

इस पत्र का मौलिक गणितीय इंजन स्वयं ट्राइसाइकिल कोड की परिभाषा में निहित है, जो क्वांटम काल्डेरबैंक-शोर-स्टीन (CSS) कोड का एक वर्ग है। इन कोडों को मुख्य रूप से उनके X-प्रकार और Z-प्रकार की समता-जांच मैट्रिक्स द्वारा विशेषता दी जाती है। इसके अतिरिक्त, पत्र एक विशिष्ट ट्रिलिनियर फ़ंक्शन पेश करता है जो ट्रांसवर्सल कंट्रोल्ड-कंट्रोल्ड-Z (CCZ) गेट्स को परिभाषित करता है, जो मैजिक-स्टेट जनरेशन प्रोटोकॉल के लिए केंद्रीय हैं।

समता-जांच मैट्रिक्स इस प्रकार दिए गए हैं:

$$ H_X = \begin{bmatrix} A^T & B^T & C^T \end{bmatrix} \in \mathbb{F}_2^{n_G \times 3n_G} $$

$$ H_Z = \begin{bmatrix} C & O & A \\ O & C & B \\ B & A & O \end{bmatrix} \in \mathbb{F}_2^{3n_G \times 3n_G} $$

ये मैट्रिक्स क्वांटम कोड के स्टेबलाइजर्स को परिभाषित करते हैं। कोड परिभाषा से परे, मैजिक-स्टेट जनरेशन के लिए पत्र का मुख्य तंत्र एक ट्रांसवर्सल CCZ सर्किट पर निर्भर करता है, जिसकी संरचना एक सममित ट्रिपल कप उत्पाद से प्राप्त एक बाइनरी फ़ंक्शन में एन्कोड की गई है। जबकि पत्र एक सामान्य रूप (समीकरण 2) प्रस्तुत करता है, ट्राइसाइकिल कोड के लिए विशिष्ट निर्माण प्रस्ताव D4 (समीकरण D27) में विस्तृत है:

$$ f_{CCZ}(p^I, q^{II}, r^{III}) = |r^{III} \cup a_{out}^{III} \cup q^{II} \cup a_{in}^{II} \cup p^I \cup a_{in}^I \cup a_{out}^I|_{d_{i \neq j \neq k}} \pmod{2} $$

पद-दर-पद विच्छेदन

आइए प्रत्येक घटक की भूमिका को समझने के लिए इन समीकरणों का विश्लेषण करें।

समता-जांच मैट्रिक्स ($H_X, H_Z$) के लिए:

  • $H_X$: यह X-प्रकार की समता-जांच मैट्रिक्स है।
    • गणितीय परिभाषा: एक बाइनरी मैट्रिक्स जिसकी पंक्तियाँ X-स्टेबलाइज़र समूह के जनरेटर को परिभाषित करती हैं।
    • भौतिक/तार्किक भूमिका: यह निर्धारित करता है कि कौन से भौतिक क्यूबिट्स प्रत्येक X-प्रकार के स्टेबलाइज़र माप में शामिल हैं। इन मापों का उपयोग डेटा क्यूबिट्स पर Z-प्रकार की त्रुटियों का पता लगाने के लिए किया जाता है।
    • यह संरचना क्यों: $[A^T \ B^T \ C^T]$ ब्लॉक संरचना इंगित करती है कि X-जांच कोड ब्लॉक के तीन क्षेत्रों (I, II, III) से तत्वों को जोड़कर बनाई गई हैं। ट्रांसपोज़ ($^T$) CSS कोड में X-जांच को परिभाषित करने के लिए मानक है जब $H_Z$ को एक निश्चित रूप में दिया जाता है।
  • $H_Z$: यह Z-प्रकार की समता-जांच मैट्रिक्स है।
    • गणितीय परिभाषा: एक बाइनरी मैट्रिक्स जिसकी पंक्तियाँ Z-स्टेबलाइज़र समूह के जनरेटर को परिभाषित करती हैं।
    • भौतिक/तार्किक भूमिका: यह निर्धारित करता है कि कौन से भौतिक क्यूबिट्स प्रत्येक Z-प्रकार के स्टेबलाइज़र माप में शामिल हैं। इन मापों का उपयोग डेटा क्यूबिट्स पर X-प्रकार की त्रुटियों का पता लगाने के लिए किया जाता है।
    • यह संरचना क्यों: $3n_G \times 3n_G$ ब्लॉक मैट्रिक्स संरचना $N=3n_G$ भौतिक क्यूबिट्स को तीन समान आकार के क्षेत्रों (I, II, III) में विभाजन को दर्शाती है। ऑफ-डायगोनल $A, B, C$ मैट्रिक्स Z-जांच के लिए इन क्षेत्रों के बीच कनेक्शन का संकेत देते हैं, जबकि डायगोनल $C$ मैट्रिक्स इंट्रा-सेक्टर कनेक्शन या रैप-अराउंड कनेक्शन का सुझाव देते हैं।
  • $A, B, C$: ये $n_G \times n_G$ बाइनरी मैट्रिक्स हैं।
    • गणितीय परिभाषा: समूह-बीजगणित तत्वों $a, b, c \in \mathbb{F}_2[G]$ से प्राप्त क्रमचय मैट्रिक्स। एक क्रमचय मैट्रिक्स में प्रत्येक पंक्ति और कॉलम में ठीक एक '1' होता है।
    • भौतिक/तार्किक भूमिका: वे एक कोड ब्लॉक के भीतर विभिन्न क्षेत्रों के बीच क्यूबिट्स के बीच विशिष्ट कनेक्टिविटी पैटर्न को परिभाषित करते हैं। उनका क्रमचय गुण एक-से-एक मैपिंग सुनिश्चित करता है, जो कनेक्शन के संतुलित वितरण को सुनिश्चित करता है। इन तत्वों का चुनाव कोड की दूरी और दर के लिए महत्वपूर्ण है।
    • क्रमचय मैट्रिक्स क्यों: क्रमचय मैट्रिक्स का उपयोग यह सुनिश्चित करता है कि प्रत्येक क्यूबिट जांचों की एक निश्चित संख्या में भाग लेता है, जिससे कम-घनत्व पैरिटी-चेक (LDPC) गुण होते हैं, जो कुशल डिकोडिंग के लिए वांछनीय हैं।
  • $O$: यह $n_G \times n_G$ शून्य मैट्रिक्स है।
    • गणितीय परिभाषा: एक मैट्रिक्स जहां सभी प्रविष्टियाँ शून्य हैं।
    • भौतिक/तार्किक भूमिका: यह विशिष्ट Z-प्रकार के स्टेबलाइज़र जनरेटर के लिए कुछ क्षेत्रों के बीच कनेक्शन की अनुपस्थिति को दर्शाता है। उदाहरण के लिए, $H_Z$ की पहली पंक्ति में, $O$ का अर्थ है कि क्षेत्र II और क्षेत्र I के बीच कोई प्रत्यक्ष Z-जांच कनेक्शन नहीं है।
  • $\mathbb{F}_2$: बाइनरी क्षेत्र $\{0,1\}$।
    • गणितीय परिभाषा: दो तत्वों वाला एक क्षेत्र, जहां अंकगणित मॉड्यूल 2 पर किया जाता है।
    • भौतिक/तार्किक भूमिका: यह क्वांटम CSS कोड के लिए मौलिक है, जहां पाउली ऑपरेटर ($X, Y, Z$) स्वयं के वर्ग के बराबर होते हैं और उनके उत्पाद बाइनरी अंकगणित नियमों का पालन करते हैं (जैसे, $X \cdot X = I$, $X \cdot Z = -iY$, $Z \cdot X = iY$, इसलिए $X \cdot Z \cdot X \cdot Z = I$)। सभी मैट्रिक्स संचालन (गुणा, जोड़) मॉड्यूल 2 पर किए जाते हैं।
  • $n_G$: प्रत्येक ब्लॉक का रैखिक आकार, परिमित एबेलियन समूह $G$ के क्रम के बराबर।
    • गणितीय परिभाषा: $n_G = |G|$।
    • भौतिक/तार्किक भूमिका: यह प्रत्येक तीन क्षेत्रों में क्यूबिट्स की संख्या निर्धारित करता है, और इस प्रकार भौतिक क्यूबिट्स की कुल संख्या $N = 3n_G$।

CCZ फ़ंक्शन ($f_{CCZ}$) के लिए:

  • $f_{CCZ}(p^I, q^{II}, r^{III})$: यह एक ट्रिलिनियर बाइनरी फ़ंक्शन है।
    • गणितीय परिभाषा: एक फ़ंक्शन जो तीन इनपुट (अलग-अलग क्षेत्रों/ब्लॉक से क्यूबिट्स) लेता है और 0 या 1 आउटपुट करता है।
    • भौतिक/तार्किक भूमिका: यदि $f_{CCZ}=1$, तो इसका मतलब है कि क्यूबिट्स $(p^I, q^{II}, r^{III})$ के ट्रिपल पर एक भौतिक CCZ गेट लागू किया गया है। यदि $f_{CCZ}=0$, तो कोई गेट लागू नहीं किया गया है। यह फ़ंक्शन पूरे ट्रांसवर्सल CCZ सर्किट को परिभाषित करता है।
  • $p^I, q^{II}, r^{III}$: ये विशिष्ट भौतिक क्यूबिट्स का प्रतिनिधित्व करते हैं।
    • गणितीय परिभाषा: व्यक्तिगत क्यूबिट्स का प्रतिनिधित्व करने वाले चर, उनके कोड ब्लॉक (I, II, III) और उस ब्लॉक/क्षेत्र के भीतर उनकी स्थिति द्वारा अनुक्रमित।
    • भौतिक/तार्किक भूमिका: ये CCZ गेट के लिए लक्ष्य क्यूबिट्स हैं। सुपरस्क्रिप्ट $I, II, III$ इंगित करते हैं कि क्यूबिट्स को तीन अलग-अलग कोड ब्लॉक (या ब्लॉक के भीतर क्षेत्रों, जैसा कि पत्र के चित्र 1(a) और संबंधित पाठ में स्पष्ट किया गया है) से आना चाहिए।
  • $\cup$: कप उत्पाद ऑपरेटर।
    • गणितीय परिभाषा: बीजगणितीय टोपोलॉजी से एक बिलिनियर मैप, विशेष रूप से होमोलॉजिकल बीजगणित, जो कोचेन को जोड़ता है। पत्र एक "सममित ट्रिपल कप उत्पाद" (परिभाषा 6, पृष्ठ 21) का उपयोग करता है, जिसका अर्थ है इन ऑपरेशनों का एक विशिष्ट क्रम।
    • भौतिक/तार्किक भूमिका: यह ऑपरेटर कोड के अंतर्निहित बीजगणितीय संरचना से ट्रांसवर्सल गैर-क्लिफर्ड गेट्स (जैसे CCZ) को प्राप्त करने के लिए उपयोग किया जाने वाला मुख्य बीजगणितीय उपकरण है। यह स्वाभाविक रूप से कोड के होमोलॉजिकल उत्पाद संरचना से उत्पन्न होता है और "लॉजिकल ऑपरेटरों के ट्रिपल इंटरसेक्शन" से संबंधित है। कप उत्पादों का विशिष्ट अनुक्रम यह सुनिश्चित करने के लिए डिज़ाइन किया गया है कि परिणामी CCZ सर्किट कोड-स्पेस-संरक्षण और कोबाउंडरी अपरिवर्तनीय है।
    • कप उत्पाद क्यों: यह कोड के अंतर्निहित बीजगणितीय संरचना से उच्च-क्रम क्लिफर्ड पदानुक्रम गेट्स (जैसे CCZ) को प्राप्त करने का एक व्यवस्थित तरीका प्रदान करता है, यह सुनिश्चित करता है कि वे लॉजिकल सबस्पेस पर सही ढंग से कार्य करते हैं।
  • $a_{in}^I, a_{out}^I, \dots, a_{out}^{III}$: ये समूह-बीजगणित तत्वों $a_I, a_{II}, a_{III}$ के "इन" और "आउट" विभाजन हैं जो शास्त्रीय कोड को परिभाषित करते हैं।
    • गणितीय परिभाषा: एक समूह-बीजगणित तत्व $a$ के लिए, इसे $a = a_{in} + a_{out} + a_{free}$ (समीकरण D20, पृष्ठ 22) में विभाजित किया गया है। $a_{in}$ और $a_{out}$ स्वयं समूह-बीजगणित तत्व हैं।
    • भौतिक/तार्किक भूमिका: ये विभाजन, जिन्हें "पूर्व-अभिविन्यास" कहा जाता है, शास्त्रीय कोड पर कप उत्पाद को प्रेरित करते हैं। इन विभाजनों का विशिष्ट चुनाव, जिन्हें "सममित एकीकृत लेबनिज नियम" (समीकरण D15-D19, पृष्ठ 22) की शर्तों को पूरा करना चाहिए, CCZ सर्किट को कोड-स्पेस-संरक्षण और कोबाउंडरी अपरिवर्तनीय बनाने के लिए महत्वपूर्ण है। पत्र नोट करता है कि ट्राइसाइकिल कोड के लिए, $a_{free}$ अक्सर खाली सेट किया जाता है।
    • विभाजन क्यों: ये विभाजन कप उत्पाद के संचालन के तरीके पर बारीक नियंत्रण की अनुमति देते हैं, जिससे वांछनीय गुणों (जैसे, गैर-तुच्छ क्रिया, बेहतर कोड पैरामीटर) वाले CCZ गेट्स का निर्माण संभव होता है।
  • $|...|_{d_{i \neq j \neq k}}$: यह तर्क के समर्थन के आकार को दर्शाता है।
    • गणितीय परिभाषा: कप उत्पाद संचालन के बाद परिणामी बाइनरी वेक्टर का हैमिंग वजन। उपलिपि $d_{i \neq j \neq k}$ एक शर्त है जो दर्शाती है कि $f_{CCZ}=0$ यदि इसके तर्कों से दो या दो से अधिक क्यूबिट्स एक ही क्षेत्र में हैं (प्रस्ताव D4, पृष्ठ 24)।
    • भौतिक/तार्किक भूमिका: हैमिंग वजन निर्धारित करता है कि संयुक्त बीजगणितीय अभिव्यक्ति गैर-शून्य है या नहीं, जो तब CCZ गेट के अनुप्रयोग को ट्रिगर करता है। शर्त $d_{i \neq j \neq k}$ CCZ सर्किट की ट्रांसवर्सल प्रकृति को सुनिश्चित करने के लिए महत्वपूर्ण है, जिसका अर्थ है कि गेट केवल अलग-अलग क्षेत्रों/ब्लॉक में क्यूबिट्स के बीच कार्य करते हैं, जो दोष-सहिष्णुता के लिए एक प्रमुख गुण है।
  • $\pmod{2}$: मॉड्यूल 2 अंकगणित।
    • गणितीय परिभाषा: पूरे व्यंजक का परिणाम मॉड्यूल 2 लिया जाता है।
    • भौतिक/तार्किक भूमिका: यह सुनिश्चित करता है कि आउटपुट बाइनरी (0 या 1) है, जो सीधे CCZ गेट की उपस्थिति या अनुपस्थिति को इंगित करता है। यह क्वांटम सूचना और पाउली ऑपरेटरों की बाइनरी प्रकृति के अनुरूप है।

चरण-दर-चरण प्रवाह

आइए एक अमूर्त डेटा बिंदु, जैसे कि एक एकल क्यूबिट, का वर्णित तंत्र के माध्यम से यात्रा का पता लगाएं।

1. कोड परिभाषा और त्रुटि का पता लगाना ($H_X, H_Z$ के माध्यम से):

एक ट्राइसाइकिल कोड ब्लॉक के तीन क्षेत्रों में से एक के भीतर एक भौतिक क्यूबिट, आइए इसे $q_j$ कहें, की कल्पना करें।
* आरंभीकरण: सबसे पहले, $q_j$ को सामान्यतः $|0\rangle$ या $|+\rangle$ जैसे कम्प्यूटेशनल आधार स्थिति में इनिशियलाइज़ किया जाता है। Z-आधार सिंगल-शॉट स्टेट तैयारी के लिए, सभी भौतिक डेटा क्यूबिट्स को $|+\rangle$ में इनिशियलाइज़ किया जाता है।
* स्टेबलाइज़र इंटरैक्शन: त्रुटियों का पता लगाने के लिए, $q_j$ विभिन्न स्टेबलाइज़र मापों में भाग लेता है।
* यदि हम X-प्रकार की त्रुटियों की जांच कर रहे हैं (Z-स्टेबलाइजर्स का उपयोग करके), तो $q_j$ $H_Z$ की पंक्तियों द्वारा परिभाषित अन्य क्यूबिट्स के साथ इंटरैक्ट करता है। उदाहरण के लिए, यदि $H_Z[i, j] = 1$, तो $q_j$ पर पाउली Z ऑपरेटर ($Z_j$) $i$-वें Z-स्टेबलाइज़र जनरेटर का हिस्सा है। इसमें $q_j$ को एक सहायक क्यूबिट के साथ एंटैंगल करना और फिर सहायक का माप करना शामिल है।
* इसी तरह, यदि हम Z-प्रकार की त्रुटियों की जांच कर रहे हैं (X-स्टेबलाइजर्स का उपयोग करके), तो $q_j$ $H_X$ की पंक्तियों द्वारा परिभाषित अन्य क्यूबिट्स के साथ इंटरैक्ट करता है। यदि $H_X[i, j] = 1$, तो $X_j$ $i$-वें X-स्टेबलाइज़र जनरेटर का हिस्सा है।
* सिंड्रोम जनरेशन: इन स्टेबलाइज़र जांचों से माप परिणाम "सिंड्रोम" बनाते हैं। यदि $q_j$ ने एक त्रुटि का अनुभव किया है (उदाहरण के लिए, यदि हम Z-स्टेबलाइजर्स को माप रहे हैं तो एक पाउली X त्रुटि), तो यह किसी भी स्टेबलाइज़र माप के परिणाम को पलट देगा जिसमें यह भाग लेता है।
* डिकोडिंग: सिंड्रोम, बाइनरी मानों का एक संग्रह, एक डिकोडर को फीड किया जाता है। डिकोडर इस जानकारी को संसाधित करता है ताकि $q_j$ और अन्य क्यूबिट्स पर हुई सबसे संभावित त्रुटि पैटर्न का अनुमान लगाया जा सके।
* सुधार: डिकोडर के आउटपुट के आधार पर, $q_j$ पर एक सुधार ऑपरेशन (जैसे, एक पाउली X या Z गेट लागू करना) लागू किया जाता है ताकि इसे कोड स्पेस के भीतर उसके इच्छित स्थिति में बहाल किया जा सके। यह त्रुटि सुधार का एक चक्र पूरा करता है।

2. लॉजिकल CCZ गेट अनुप्रयोग ($f_{CCZ}$ के माध्यम से):

अब, तीन अलग-अलग भौतिक क्यूबिट्स, $p^I, q^{II}, r^{III}$ पर विचार करें, प्रत्येक तीन कोड ब्लॉक के एक अलग क्षेत्र (I, II, III) में स्थित है। ये क्यूबिट्स लॉजिकल स्टेट का हिस्सा हैं जिस पर CCZ ऑपरेशन वांछित है।
* फ़ंक्शन में इनपुट: इन तीन क्यूबिट्स की पहचान ($p^I, q^{II}, r^{III}$) को $f_{CCZ}$ फ़ंक्शन में इनपुट के रूप में फीड किया जाता है।
* बीजगणितीय प्रसंस्करण: $f_{CCZ}$ फ़ंक्शन के अंदर, अमूर्त बीजगणितीय संचालन की एक श्रृंखला, विशेष रूप से "कप उत्पाद," की जाती है। इसमें क्यूबिट पहचानकर्ताओं को अंतर्निहित समूह-बीजगणित तत्वों को परिभाषित करने वाले कोड के पूर्व-अभिविन्यास विभाजनों ($a_{in}, a_{out}$) के साथ जोड़ना शामिल है। यह बाइनरी क्षेत्र $\mathbb{F}_2$ के भीतर एक जटिल, बहु-चरणीय गणना है।
* समर्थन गणना: इन कप उत्पादों का परिणाम एक बीजगणितीय व्यंजक है। इसके "समर्थन" (हैमिंग वजन) की फिर गणना की जाती है। यह अनिवार्य रूप से जांचता है कि संयुक्त बीजगणितीय इकाई गैर-शून्य है या नहीं।
* ट्रांसवर्सलिटी जांच: एक महत्वपूर्ण शर्त, $d_{i \neq j \neq k}$, अंतर्निहित रूप से लागू की जाती है। यह सुनिश्चित करता है कि तीन इनपुट क्यूबिट्स वास्तव में अलग-अलग क्षेत्रों/ब्लॉक से आते हैं। यदि वे नहीं करते हैं, तो फ़ंक्शन तुरंत 0 आउटपुट करता है।
* गेट निर्णय: अंतिम परिणाम, मॉड्यूल 2 लिया गया, या तो 0 या 1 है।
* यदि $f_{CCZ}(p^I, q^{II}, r^{III}) = 1$, तो क्यूबिट्स $(p^I, q^{II}, r^{III})$ पर एक भौतिक CCZ गेट लागू किया जाता है। यह गेट एक साथ तीनों क्यूबिट्स पर कार्य करता है।
* यदि $f_{CCZ}(p^I, q^{II}, r^{III}) = 0$, तो इस विशिष्ट ट्रिपल पर कोई गेट लागू नहीं किया जाता है।
* सर्किट निष्पादन: यह प्रक्रिया कोड ब्लॉक में सभी प्रासंगिक क्यूबिट्स के ट्रिपल के लिए दोहराई जाती है। $f_{CCZ}$ द्वारा निर्धारित भौतिक CCZ गेट्स का पूरा संग्रह एक "स्थिर-गहराई" सर्किट बनाता है, जिसका अर्थ है कि इन सभी गेटों को कोड आकार की परवाह किए बिना, निश्चित, छोटी संख्या में समानांतर परतों में शेड्यूल किया जा सकता है। यह तेजी से निष्पादन सुनिश्चित करता है और त्रुटि प्रसार को सीमित करता है।
प्रत्येक ट्राइसाइकिल कोड ब्लॉक के भौतिक क्यूबिट्स को समीकरण (1) में समता-जांच मैट्रिक्स की ब्लॉक संरचना के अनुसार स्वाभाविक रूप से तीन क्षेत्रों में विभाजित किया जा सकता है। कोड-स्पेस-संरक्षण CCZ सर्किट हमेशा तीन कोड ब्लॉक के क्षेत्रों में कार्य करते हैं, जैसा कि चित्र 1 में दर्शाया गया है।

अनुकूलन गतिकी

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

1. कोड पैरामीटर खोज:
पत्र ट्राइसाइकिल कोड का निर्माण करके उनका वर्णन करता है, जो समता-जांच मैट्रिक्स $H_X$ और $H_Z$ के लिए विशिष्ट समूह-बीजगणित तत्वों ($a, b, c$) और उनके भार ($w_a, w_b, w_c$) का चयन करता है। यह अनुकूल पैरामीटर (उच्च दर $K$ और दूरी $D$) वाले कोड खोजने के लिए एक खोज समस्या है, जो दिए गए ब्लॉक लंबाई $N$ के लिए है। लेखक संख्यात्मक विधियों का उपयोग करते हैं, जिसमें SAT सॉल्वर और मिश्रित-पूर्णांक प्रोग्राम (MIPs) शामिल हैं, ताकि उम्मीदवार कोड के लिए न्यूनतम दूरी $D_X$ और $D_Z$ को पाया जा सके। यह समूह-बीजगणित तत्वों के एक अलग सेट पर एक संपूर्ण या अनुभवजन्य खोज है, न कि ग्रेडिएंट-आधारित अनुकूलन। यहां "हानि" एक अवांछनीय कोड पैरामीटर (जैसे, कम दूरी) होगी, और "अद्यतन" विभिन्न समूह-बीजगणित तत्वों के सेट को आज़माना है।

2. CCZ सर्किट निर्माण (सममित ट्रिपल कप उत्पाद - STCP):
सममित ट्रिपल कप उत्पाद से प्राप्त $f_{CCZ}$ फ़ंक्शन के लिए, "अनुकूलन" में समूह-बीजगणित तत्वों के "पूर्व-अभिविन्यास" ($a_{in}, a_{out}, a_{free}$) का सावधानीपूर्वक चयन शामिल है। इन चयनों को "सममित एकीकृत लेबनिज नियम" (समीकरण D15-D19) के रूप में जाने जाने वाले बीजगणितीय शर्तों के एक सेट को पूरा करना चाहिए। पत्र इन पूर्व-अभिविन्यासों के निर्माण के लिए एक नुस्खा (प्रमेय D1) प्रस्तुत करता है, विशेष रूप से वजन-4 तत्वों के लिए। यह एक डिजाइन सिद्धांत है जो वांछित गुणों (कोड-स्पेस-संरक्षण, कोबाउंडरी अपरिवर्तनीय) की गारंटी देता है, न कि एक पुनरावृत्त सीखने की प्रक्रिया। "गतिकी" इन शर्तों की व्युत्पत्ति और सबूत में है कि वे मान्य सर्किट की ओर ले जाते हैं। लक्ष्य पूर्व-अभिविन्यास खोजना है जो छोटे-गहरे CCZ सर्किट प्रदान करते हैं।

3. CCZ सर्किट निर्माण (संख्यात्मक लेबनिज नियम - NLR):
परिशिष्ट E एक "संख्यात्मक लेबनिज नियम" विधि का परिचय देता है। यहां, प्रक्रिया एक खोज एल्गोरिथम के समान है:
* आधार निर्माण: समूह-समरूप ट्रिलिनियर फ़ंक्शन $f_i^j$ का एक आधार सेट बनाया गया है। इसमें एक समता-जांच मैट्रिक्स $H_{leibniz}$ के शून्य स्थान को खोजना शामिल है, जो "सामान्यीकृत लेबनिज नियम" शर्तों (समीकरण E5) को एन्कोड करता है। यह एक रैखिक बीजगणित समस्या है, न कि एक पुनरावृत्त अनुकूलन।
* अनुभवजन्य खोज: वास्तविक $f_{CCZ}$ फ़ंक्शन को तब इन $f_i^j$ फ़ंक्शन के उम्मीदवारों पर यादृच्छिक रूप से खोज कर निर्मित किया जाता है। "अनुकूलन" उद्देश्य ऐसे उम्मीदवार खोजना है जो $f_{CCZ}$ फ़ंक्शन के लिए एक कम अधिकतम डिग्री का परिणाम देते हैं, जो सीधे छोटे सर्किट गहराई में तब्दील होता है। यह एक अनुभवजन्य खोज है, जो संभावित रूप से मोंटे कार्लो नमूनाकरण या सिम्युलेटेड एनीलिंग जैसी तकनीकों का उपयोग करके संभावित कार्यों के असतत स्थान का पता लगाती है। "हानि परिदृश्य" अत्यधिक अनियमित और गैर-उत्तल है, जिसमें अनुसरण करने के लिए कोई स्पष्ट ग्रेडिएंट नहीं हैं।

4. लॉजिकल सर्किट अनुकूलन ($K_{CCZ}$ को अधिकतम करना):
परिशिष्ट F हाइपरग्राफ मैजिक स्टेट्स से असतत CCZ गेट्स ($K_{CCZ}$) की संख्या को अधिकतम करने के लिए लॉजिकल CCZ सर्किट के अनुकूलन का वर्णन करता है। इस समस्या को लॉजिकल कनेक्टिविटी का प्रतिनिधित्व करने वाले बाइनरी 3-टेंसर $T_{ijk}^{log}$ के "सब्रैंक" को खोजने के रूप में तैयार किया गया है।
* समस्या सूत्रीकरण: यह एक NP-कठिन समस्या है। लेखक उप-इष्टतम समाधान खोजने के लिए मिश्रित-पूर्णांक प्रोग्राम (MIP) सॉल्वर (Gurobi) का उपयोग करते हैं।
* पुनरावृत्त खोज: सॉल्वर पुनरावृत्त रूप से बाइनरी चर (आधार-परिवर्तन मैट्रिक्स $M^1, M^2, M^3$ का प्रतिनिधित्व) के लिए असाइनमेंट की खोज करता है ताकि $r$ असतत CCZ गेट्स (समीकरण F3) के लिए शर्तों को पूरा किया जा सके। यहां "स्थिति" आधार मैट्रिक्स का सेट है, और "अद्यतन" समाधान स्थान का पता लगाने के लिए सॉल्वर का आंतरिक तंत्र है। यह ग्रेडिएंट-आधारित नहीं, एक असतत अनुकूलन है। "हानि" किसी दिए गए $r$ के लिए समाधान खोजने में असमर्थता है, या कम $r$ के साथ समाधान खोजना है। "अभिसरण" तब होता है जब सॉल्वर एक व्यवहार्य समाधान पाता है या समय समाप्त हो जाता है।

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

FIG. 1. Structure of transversal CCZ gates of tricycle codes. (a) Schematic of a transversal CCZ circuit on a 12-qubit code. Each code block is partitioned into three sectors of four qubits, labeled α, β, γ, and δ with subscripts and superscripts indicating the code block and sector. Colored curves denote CCZ gates between triples of qubits where fCCZ is nonzero. (b) Structure of transversal CCZ circuits: all sectors participate via two disjoint sets of circuit layers denoted by orange and black edges that can individually be parallelized across qubits. Each qubit undergoes a maximum of l black and a maximum of m orange CCZ gates, leading to a maximum degree of l þ m. (c) Logical CCZ connectivity after basis optimization for a K ¼ 3 code. Circles denote logical qubits; rows correspond to separate code blocks. Thick black lines indicate usable CCZ gates for magic-state distillation (KCCZ ¼ 2 shown), while thin lines involve gauge qubits (pink), initialized in j0i. Blue circles represent logical qubits in disjoint triples connected only to other qubits in the triple or to gauge qubits FIG. 9. Reference neutral-atom array architecture. Rydberg interactions are enabled only within the entangling zone. We slice the zones to regions Ei and Si; each one can store a sector. Each region contains two trap arrays (dots=−and circles=þ) to facilitate sector permutation or parallel CNOTs. In the work space, traps are spaced by twice the minimal distance permitted by optical resolution, dmin, allowing qubits to move between traps along dashed paths. In the entangling zone, traps are spaced so that qubit pairs involved in parallel CNOTs are separated by a distance to sufficiently isolate the Rydberg interaction, diso

परिणाम, सीमाएँ और निष्कर्ष

प्रायोगिक डिजाइन और बेसलाइन

लेखकों ने ट्राइसाइकिल कोड के आसपास के गणितीय दावों को कठोरता से मान्य करने के लिए अपने प्रयोगों को सावधानीपूर्वक तैयार किया। उनके मुख्य दृष्टिकोण में यथार्थवादी सर्किट-स्तरीय शोर मॉडल के तहत इन कोडों के संख्यात्मक सिमुलेशन शामिल थे, सीधे स्थापित बेसलाइन के साथ उनके प्रदर्शन की तुलना की गई।

ट्राइसाइकिल कोड की प्रभावकारिता को साबित करने के लिए, प्रयोगात्मक डिजाइन ने कई प्रमुख पहलुओं पर ध्यान केंद्रित किया:
1. कोड निर्माण और गुण: उन्होंने ट्राइसाइकिल कोड को परिमित ब्लॉक-लंबाई क्वांटम लो-डेंसिटी पैरिटी-चेक (LDPC) कोड के रूप में पेश किया, जो तीन होमोलॉजिकल आयामों तक बाइसिकल कोड को सामान्यीकृत करता है। इन कोडों को लॉजिकल CCZ गेट्स को लागू करने के लिए स्थिर-गहराई भौतिक सर्किट का समर्थन करने के लिए डिज़ाइन किया गया था। निर्माण में अनुकूल मापदंडों (उच्च दर और दूरी) और छोटे-गहरे CCZ सर्किट खोजने के लिए उपन्यास विश्लेषणात्मक और संख्यात्मक तकनीकों का विकास शामिल था, जिसमें एक संशोधित सममित ट्रिपल कप-उत्पाद औपचारिकता (परिशिष्ट D) और एक संख्यात्मक लेबनिज नियम विधि (परिशिष्ट E) शामिल है।
2. शोर मॉडल: एक मानक दो-क्यूबिट डिपोलाइजिंग शोर मॉडल अपनाया गया था, जहां प्रत्येक एंटैंगलिंग ऑपरेशन के बाद $p_{2q}$ की संभावना के साथ 15 गैर-तुच्छ दो-क्यूबिट पाउली त्रुटियों में से एक का पालन किया जाता है। महत्वपूर्ण CCZ गेट्स के लिए, तीन-क्यूबिट-पक्षपाती डिपोलाइजिंग शोर मॉडल का उपयोग किया गया था, जिसमें $p_{3q} = 0.002$ की भौतिक त्रुटि दर का अनुमान लगाया गया था। इस $p_{3q}$ को दो-क्यूबिट एंटैंगलिंग गेट्स की तुलना में दोगुना अनुमानित किया गया था, जो प्रयोगात्मक वास्तविकताओं को दर्शाता है। इसके अलावा, मॉडल ने CCZ गेट्स के लिए Z-प्रकार की त्रुटियों की ओर एक मजबूत पूर्वाग्रह को शामिल किया (10 गुना अधिक संभावना), जो कई क्वांटम प्लेटफार्मों पर देशी चरण-प्रकार के गेट्स की विशेषता है।
3. डिकोडिंग रणनीतियाँ:
* सिंगल-शॉट Z-आधार त्रुटि सुधार (स्टेट तैयारी के लिए महत्वपूर्ण) के लिए, एक विंडो वाली डिकोडिंग प्रोटोकॉल का उपयोग किया गया था। इसमें बिलीफ प्रोपेगेशन + ऑर्डर्ड स्टैटिस्टिक्स डिकोडिंग (BP + OSD) योजना का उपयोग करके कुल 42 राउंड के लिए तीन राउंड सिंड्रोम निष्कर्षण शामिल थे।
* d-राउंड X-आधार त्रुटि सुधार (मेमोरी प्रदर्शन के लिए) के लिए, पारंपरिक d-राउंड प्रोटोकॉल का उपयोग किया गया था, जिसमें एक मोस्ट-लाइकली-एरर (MLE) डिकोडर के साथ संचित सिंड्रोम जानकारी के पूर्ण रिकॉर्ड को डिकोड किया गया था। पोस्टसेलेक्शन के लिए, उन्होंने BP + LSD (लोकलाइज्ड स्टैटिस्टिक्स डिकोडिंग) के साथ संयुक्त क्लस्टर-आधारित पोस्टसेलेक्शन विधि का उपयोग किया।
4. कार्यान्वयन प्रोटोकॉल: पुन: कॉन्फ़िगर करने योग्य न्यूट्रल-एटम एरे प्लेटफ़ॉर्म पर सिंड्रोम निष्कर्षण सर्किट को कुशलतापूर्वक लागू करने के लिए एक ठोस प्रोटोकॉल प्रस्तुत किया गया था (चित्र 5, परिशिष्ट I)। इसमें विस्तृत परमाणु पुनर्व्यवस्था प्रक्रियाएं और CNOT शेड्यूलिंग शामिल थे।

जिन "पीड़ितों" (बेसलाइन मॉडल) के खिलाफ ट्राइसाइकिल कोड की क्रूरता से तुलना की गई थी, वे मुख्य रूप से रंग कोड पर आधारित स्टेट-ऑफ-द-आर्ट मैजिक-स्टेट कल्टीवेशन योजनाएँ थीं, विशेष रूप से संदर्भ [36] से [[7, 1, 3]] और [[19, 1, 5]] रंग कोड। इन पारंपरिक योजनाओं में आम तौर पर कई आसवन राउंड और संयोजन की आवश्यकता होती है, जिससे महत्वपूर्ण स्पेस-टाइम ओवरहेड होता है। लेखकों ने स्पष्ट रूप से पिछले कप-उत्पाद निर्माणों (संदर्भ [27]) को भी चुनौती दी, जिन्होंने कम अनुकूल मापदंडों वाले कोड उत्पन्न किए (जैसे, $K=3$ और $D=2$ के साथ 2-2-2 कोड)।

जो सबूत साबित करते हैं

पत्र में प्रस्तुत साक्ष्य निश्चित रूप से साबित करते हैं कि ट्राइसाइकिल कोड मैजिक-स्टेट जनरेशन के लिए एक अत्यधिक कुशल और मजबूत समाधान प्रदान करते हैं, जो प्रमुख मेट्रिक्स में मौजूदा बेसलाइन से बेहतर प्रदर्शन करते हैं।

  1. मजबूत प्रदर्शन और उच्च थ्रेशोल्ड: सर्किट-स्तरीय शोर के तहत संख्यात्मक सिमुलेशन ने 4-2-2 ट्राइसाइकिल कोड परिवार (चित्र 4b) के लिए >0.5% का उच्च सर्किट-शोर थ्रेशोल्ड प्रदर्शित किया। यह भौतिक त्रुटियों के प्रति उनकी लचीलापन का एक मजबूत संकेतक है।
  2. मेमोरी के लिए असाधारण लॉजिकल त्रुटि दरें: मामूली पोस्टसेलेक्शन (जैसे, 30% स्वीकृति अंश) के साथ पूर्ण त्रुटि का पता लगाने के साथ, सबसे छोटा [[48, 6, 4]] ट्राइसाइकिल कोड लगभग $6 \times 10^{-10}$ की लॉजिकल मेमोरी त्रुटि दर प्राप्त करता है, जो $p_{2q} = 0.001$ की दो-क्यूबिट गेट त्रुटि दर पर है। एक बड़े [[84, 6, 5]] कोड के लिए, लॉजिकल मेमोरी त्रुटि दर लगभग 9% की स्वीकृति अंश के साथ $p_{2q} = 0.001$ पर < $10^{-13}$ अनुमानित की गई थी। ये आंकड़े क्वांटम मेमोरी के लिए अत्यंत उच्च निष्ठा का प्रतिनिधित्व करते हैं।

  3. बेहतर मैजिक स्टेट उत्पादन निष्ठा और लागत: ट्राइसाइकिल कोड ने उल्लेखनीय रूप से कम लॉजिकल त्रुटि दरों के साथ हाइपरग्राफ मैजिक स्टेट्स का उत्पादन किया:

    • [[48, 6, 4]] ट्राइसाइकिल कोड: $2 \times 10^{-8}$
    • [[84, 6, 5]] ट्राइसाइकिल कोड: $4 \times 10^{-10}$
    • [[108, 6, 6]] ट्राइसाइकिल कोड: लगभग $3 \times 10^{-11}$
      महत्वपूर्ण रूप से, ये प्रभावशाली निष्ठाएँ स्टेट-ऑफ-द-आर्ट कलर-कोड-आधारित मैजिक-स्टेट कल्टीवेशन योजनाओं (तालिका II) की तुलना में तुलनीय या यहां तक ​​कि कम स्पेस-टाइम लागत पर प्राप्त की गईं। उदाहरण के लिए, [[48, 6, 4]] ट्राइसाइकिल कोड की स्पेस-टाइम लागत 89 क्यूबिट राउंड प्रति लॉजिकल क्यूबिट थी, जो [[7, 1, 3]] कलर कोड कल्टीवेशन के लिए 90 से काफी कम थी, जबकि बहुत कम लॉजिकल त्रुटि दर ($2 \times 10^{-8}$ बनाम $6 \times 10^{-7}$) प्राप्त हुई। यह निर्विवाद प्रमाण है कि सिंगल-शॉट मैजिक-स्टेट जनरेशन के लिए उच्च-दर, उच्च-दूरी LDPC कोड और ट्रांसवर्सल गैर-क्लिफर्ड गेट्स का उपयोग करने का मुख्य तंत्र वास्तव में काम करता है।

  4. सिंगल-शॉट स्टेट तैयारी: संख्यात्मक साक्ष्य (चित्र 3) स्पष्ट रूप से Z आधार में सिंगल-शॉट स्टेट तैयारी के लिए कोड दूरी में वृद्धि के साथ लॉजिकल त्रुटि का घातीय दमन दिखाता है। यह पुष्टि करता है कि ट्राइसाइकिल कोड स्थिर राउंड की संख्या में लॉजिकल $|+\rangle$ स्टेट्स की दोष-सहिष्णु तैयारी को सक्षम करते हैं, जो कई अन्य कोडों द्वारा आवश्यक $O(d)$ राउंड की तुलना में एक महत्वपूर्ण सुधार है। यह स्थिर-गहराई तैयारी, स्थिर-गहराई लॉजिकल CCZ संचालन के साथ मिलकर, स्थिर गहराई में उच्च-निष्ठा हाइपरग्राफ मैजिक स्टेट्स प्रदान करती है।

  5. स्थिर-गहराई CCZ सर्किट: ट्राइसाइकिल कोड का निर्माण सफलतापूर्वक स्थिर-गहराई भौतिक CCZ सर्किट (जैसे, 4-2-2 कोड के लिए गहराई-8) उत्पन्न करने में सफल रहा, जो दोष-सहिष्णु संचालन के लिए आवश्यक है और त्रुटि प्रसार को सीमित करता है। स्थिर-गहराई CCZ सर्किट का लॉजिकल निष्ठा के अंतिम लॉजिकल स्टेट त्रुटि दर पर न्यूनतम प्रभाव पड़ता है, जो शुद्ध मेमोरी सेटिंग की तुलना में दिखाया गया है।
  6. उच्च मैजिक स्टेट उपज: तालिका I में सभी कोडों के लिए हाइपरग्राफ मैजिक स्टेट्स से $K_{CCZ} \ge 2$ असतत लॉजिकल CCZ गेट्स निकालने की क्षमता इन कोडों की मैजिक-स्टेट फैक्ट्री के रूप में व्यावहारिक उपयोगिता को प्रदर्शित करती है।

लेखकों के कठोर सिमुलेशन, मजबूत बेसलाइन के खिलाफ तुलना, और लॉजिकल त्रुटि दरों और स्पेस-टाइम लागतों के विस्तृत विश्लेषण से यह सम्मोहक प्रमाण मिलता है कि ट्राइसाइकिल कोड कुशल, दोष-सहिष्णु मैजिक-स्टेट जनरेशन में एक महत्वपूर्ण कदम का प्रतिनिधित्व करते हैं।

सीमाएँ और भविष्य की दिशाएँ

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

वर्तमान सीमाएँ:

  1. $K_{CCZ}$ निष्कर्षण की इष्टतमता: हाइपरग्राफ मैजिक स्टेट्स से असतत CCZ गेट्स की अधिकतम संख्या ($K_{CCZ}$) खोजने की समस्या NP-कठिन है। वर्तमान मिश्रित-पूर्णांक प्रोग्रामिंग विधि उप-इष्टतम समाधान प्रदान करती है और अक्सर बड़े $K_{CCZ}$ मानों के लिए समय समाप्त हो जाती है, जिसका अर्थ है कि रिपोर्ट किए गए मान निचली सीमाएं हैं। यह CCZ-प्रकार के मैजिक स्टेट्स के तत्काल थ्रूपुट को सीमित करता है।
  2. कोड परिवार एसिम्प्टोटिक अच्छाई: हालांकि निर्माण कोड के परिवारों को परिभाषित करने की अनुमति देता है, यह संभवतः एसिम्प्टोटिक रूप से अच्छा नहीं है। हालांकि बड़े ब्लॉक-लंबाई वाले कोड बड़े दूरियों के साथ अपेक्षित हैं, यह एक औपचारिक एसिम्प्टोटिक गारंटी नहीं है।
  3. बड़े कोड के लिए गहरे CCZ सर्किट: बड़े 4-4-2 और 4-4-4 ट्राइसाइकिल कोड के लिए, गहरे भौतिक CCZ सर्किट (जैसे, कुछ 4-4-4 कोड के लिए गहराई-128) लॉजिकल निष्ठा के विचलन को शुद्ध मेमोरी सेटिंग से अधिक कर सकते हैं। जबकि दोहराव कोड के साथ संयोजन गहराई को कम कर सकता है, यह कोड दर की कीमत पर आता है।
  4. संख्यात्मक लेबनिज नियम विधि गारंटी: CCZ सर्किट के निर्माण के लिए संख्यात्मक लेबनिज नियम (NLR) विधि विशिष्ट गहराई की गारंटी नहीं देती है, और कम-डिग्री सर्किट खोजने के लिए अक्सर विधि के साथ संयोजन में कोड खोज की आवश्यकता होती है।
  5. चयनात्मक स्टेट इनिशियलाइज़ेशन: असतत CCZ गेट्स निकालने के लिए गेज लॉजिकल क्यूबिट्स को $|0\rangle$ स्टेट में और अन्य लॉजिकल क्यूबिट्स को $|+\rangle$ स्टेट में चयनात्मक इनिशियलाइज़ेशन की आवश्यकता होती है, जो LDPC कोड के लिए स्थिर गहराई में गैर-तुच्छ है।
  6. असंतुलित दूरियाँ: ट्राइसाइकिल कोड स्वाभाविक रूप से Z आधार की तुलना में X आधार में उच्च दूरी प्रदर्शित करते हैं। जबकि शोर-पक्षपाती प्लेटफार्मों के लिए संभावित रूप से उपयोगी है, इस पूर्वाग्रह का प्रयोगात्मक प्रदर्शन को कैसे बढ़ावा दिया जा सकता है, इसका विस्तृत अन्वेषण भविष्य के काम के लिए छोड़ दिया गया है।

भविष्य की दिशाएँ और चर्चा विषय:

  1. उन्नत डिकोडिंग रणनीतियाँ:

    • मानक BP+OSD/BP+LSD और सटीक MLE डिकोडर के बीच देखे गए क्रम-परिमाण अंतर नए, अधिक कुशल डिकोडर की महत्वपूर्ण आवश्यकता का सुझाव देते हैं जो व्यावहारिक अनुमान समय बनाए रखते हुए MLE प्रदर्शन के करीब पहुंच सकते हैं। इसमें मशीन लर्निंग-आधारित डिकोडर या उन्नत सांख्यिकीय विधियों का पता लगाना शामिल हो सकता है।
    • शोर पूर्वाग्रह का लक्षित शोषण: न्यूट्रल परमाणुओं जैसे प्रयोगात्मक प्लेटफार्मों में X और Z क्षेत्रों में असममिति और शोर पूर्वाग्रह की व्यापकता को देखते हुए (जैसे, न्यूट्रल परमाणुओं में Z-प्रकार की त्रुटियाँ), भविष्य के काम को लक्षित शोर पूर्वाग्रह शोषण को सीधे सिंड्रोम निष्कर्षण सर्किट और डिकोडिंग एल्गोरिदम में एकीकृत करने पर ध्यान केंद्रित करना चाहिए। अधिकतम प्रदर्शन लाभ के लिए हम विशिष्ट हार्डवेयर शोर विशेषताओं का लाभ उठाने के लिए इष्टतम सर्किट और डिकोडर कैसे डिजाइन कर सकते हैं?
    • हानि और रिसाव प्रबंधन: कई हार्डवेयर आर्किटेक्चर हानि और रिसाव त्रुटियों से पीड़ित हैं। ट्राइसाइकिल कोड ढांचे के भीतर इन त्रुटियों का लाभ उठाने या उन्हें कम करने के लिए स्पष्ट रणनीतियाँ विकसित करने से लॉजिकल त्रुटि दर में और सुधार हो सकता है। इसमें नए माप प्रोटोकॉल या त्रुटि-सुधार तकनीकें शामिल हो सकती हैं।

  2. मैजिक-स्टेट फैक्ट्री थ्रूपुट का अनुकूलन:

    • $K_{CCZ}$ निष्कर्षण में सुधार: लॉजिकल टेंसर $T^{log}$ के सब्रैंक को खोजने की NP-कठिन समस्या CCZ-प्रकार के मैजिक स्टेट्स के थ्रूपुट में काफी सुधार करने के लिए एक प्रमुख बाधा है। बाइनरी टेंसर सब्रैंक समस्या के लिए अनुरूप अनुभवजन्य अनुकूलन रणनीतियाँ विकसित करना महत्वपूर्ण है। क्या हम व्यावहारिक उद्देश्यों के लिए पर्याप्त अच्छे अनुमानित समाधान पा सकते हैं?
    • हाइपरग्राफ मैजिक स्टेट्स का प्रत्यक्ष संकलन: असतत CCZ गेट्स निकालने के बजाय, उत्पादित हाइपरग्राफ मैजिक स्टेट्स की संरचना की गहरी समझ सीधे उपयोगी क्वांटम सर्किट में संकलन की अनुमति दे सकती है। यह इन उच्च-मैजिक संसाधन राज्यों का उपयोग करने का एक वैकल्पिक, संभावित रूप से अधिक कुशल मार्ग प्रदान कर सकता है।

  3. व्यापक क्वांटम आर्किटेक्चर में एकीकरण:

    • निर्बाध मैजिक स्टेट इंजेक्शन/टेलीपोर्टेशन: एक प्रमुख खुली समस्या ट्राइसाइकिल कोड फैक्ट्री से कम्प्यूटेशनल कोड ब्लॉक (जैसे, उच्च-प्रदर्शन बाइसिकल कोड) में आसवन मैजिक स्टेट्स का निर्बाध इंजेक्शन या टेलीपोर्टेशन है। ट्राइसाइकिल और बाइसिकल कोड के बीच प्राकृतिक समरूपता के आधार पर ट्रांसवर्सल टेलीपोर्टेशन की खोज, 3D और 2D रंग कोड के लिए प्रोटोकॉल के समान, एक आशाजनक दिशा है। ऐसे कोड-स्विचिंग प्रोटोकॉल के लिए व्यावहारिक चुनौतियाँ और ओवरहेड क्या हैं?
    • मॉड्यूलर आर्किटेक्चर: ट्राइसाइकिल कोड को अत्यधिक मॉड्यूलर दोष-सहिष्णु क्वांटम कंप्यूटिंग आर्किटेक्चर में कैसे एकीकृत किया जा सकता है? इसमें न केवल मैजिक-स्टेट जनरेशन बल्कि एक बड़े सिस्टम के भीतर कुशल लॉजिकल ऑपरेशन, संचार और मेमोरी भी शामिल है।

  4. उन्नत कोड निर्माण और सर्किट अनुकूलन:

    • संख्यात्मक लेबनिज नियम का आगे अन्वेषण: अन्य 3D संतुलित-उत्पाद कोड पर इसके अनुप्रयोग के साथ संख्यात्मक लेबनिज नियम विधि का अधिक गहन अन्वेषण, और भी छोटे-गहरे CCZ सर्किट वाले कोड उत्पन्न कर सकता है। क्या हम कम-गहरे सर्किट की गारंटी के लिए बेहतर हाइपरपैरामीटर या खोज रणनीतियाँ विकसित कर सकते हैं?
    • सिंड्रोम निष्कर्षण सर्किट अनुकूलन: पत्र इष्टतम-गहराई सिंड्रोम निष्कर्षण सर्किट प्रस्तुत करता है। पुन: कॉन्फ़िगर करने योग्य न्यूट्रल-एटम प्लेटफार्मों पर क्षेत्र लेआउट और परमाणु आंदोलन योजनाओं का आगे अनुकूलन, संभावित रूप से गणितीय प्रोग्रामिंग या ग्राफ सिद्धांत का उपयोग करके, स्पेस-टाइम ओवरहेड को कम कर सकता है।
    • अन्य LDPC परिवारों के साथ तुलना: हाल ही में प्रस्तावित LDPC निर्माणों (जैसे, एक्सपैंडर कोड या बीजगणितीय शीव्स के होमोलॉजिकल उत्पादों पर आधारित) के ओवरहेड और प्रदर्शन की एक विस्तृत, प्रत्यक्ष तुलना प्रत्येक के सापेक्ष गुणों और इष्टतम अनुप्रयोग परिदृश्यों में मूल्यवान अंतर्दृष्टि प्रदान करेगी।

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

FIG. 4. Circuit-level noise simulation results for tricycle codes. (a) Logical error rate for the ½½48; 6; ðdz ¼ 4; dx ¼ 8Þ code as a function of abort rate under cluster postselection (blue) and full error detection (orange). The cluster postselection data show the trade- off between logical error rate and postselection (abort) probability using a BP þ LSD decoder, while full error detection corresponds to strictly accepting only trials with no detected stabilizer flips. (b) Logical error rate versus two-qubit physical gate error rate p2q for d-round, fault-tolerant error correction in the X basis, for tricycle codes of increasing size and distance using a MLE decoder. In both panels, errors are sampled according to a standard two-qubit depolarizing circuit-level noise model, and the logical error rate corresponds to the total logical error rate normalized by the number of QEC rounds and by the number of logical qubits. Logical error rates are determined via Monte Carlo simulations, with each data point corresponding to M samples; error bars indicate the standard error as ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi pLð1 −pLÞ=M p FIG. 6. Circuit-level noise simulation results for 4-4-4 tricycle codes. (a) Logical error rate (as measured by block failure probability) versus two-qubit physical gate error rate (p2q) for single-shot error correction in the Z basis. Single-shot performance is evaluated using a windowed decoding protocol: three rounds of syndrome extraction followed by decoding and correction, with the window repeated 14 times (for 42 total rounds) to probe sustainable suppression of logical errors. (b) Logical error rate versus p2q for fault-tolerant, d-round error correction in the X basis. In both panels, errors are sampled under a standard two-qubit depolarizing circuit-level noise model, and results are shown for various tricycle codes. Logical error rates are determined via Monte Carlo simulations using a BP þ OSD decoder, with each data point corresponding to M samples; error bars indicate standard errors, computed as ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi pLð1 −pLÞ=M p FIG. 3. Phenomenological noise simulation of single-shot state preparation in the Z basis for 4-2-2 tricycle codes. Our method follows Ref. [57] and assumes that the initial Z syndrome is trivial. For each code, we simulate one round of syndrome measurement in which measurement errors occur with probability p, though we expect performance to improve with a larger decoding window (see Sec. II D). A most-likely-error (MLE) decoder applies a minimum weight correction to both the data and measurement qubits. Then, we simulate a noisy transversal Z basis measurement of the data qubits, decode the reconstructed syndrome with the MLE decoder, and apply the corresponding correction. A logical failure is said to occur if the residual X operator is a logical operator of the tricycle code, and the logical error rate is normalized per logical qubit. The observed phe- nomenological threshold is ≳13%. Logical error rates are determined via Monte Carlo simulations; error bars indicate standard errors, computed as ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi pLð1 −pLÞ=M p , where M is the number of samples