Digital-Analog Quantum Computing with Qudits

यहाँ "Digital-Analog Quantum Computing with Qudits" (अल्तज़ अलेवरेज़-अहेडो, मिकेल गार्सिया डी एंडोइन और मिकेल संज़ द्वारा लिखित) का विस्तृत तकनीकी सारांश दिया गया है।

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

वर्तमान क्वांटम कंप्यूटिंग अनुसंधान नोइज़ी इंटरमीडिएट-स्केल क्वांटम (NISQ) युग द्वारा संचालित है, जहाँ हार्डवेयर शोर (noise) और त्रुटि दरों (error rates) से सीमित है।

• डिजिटल क्वांटम कंप्यूटिंग (DQC): यह विविक्त गेट अनुक्रमों (discrete gate sequences) के माध्यम से सार्वभौमिकता (universality) प्रदान करता है, लेकिन यह उच्च शोर संवेदनशीलता से ग्रस्त है और इसके लिए व्यापक त्रुटि सुधार ओवरहेड की आवश्यकता होती है।
• एनालॉग क्वांटम कंप्यूटिंग (AQC): यह निरंतर हैमिल्टनियन विकास (continuous Hamiltonian evolution) का उपयोग करता है, जो शोर के प्रति अधिक सुदृढ़ है, लेकिन इसमें किसी भी मनमाने हैमिल्टनियन को सिम्युलेट करने या सामान्य एल्गोरिदम चलाने की बहुमुखी प्रतिभा का अभाव है।
• डिजिटल-एनालॉग क्वांटम कंप्यूटिंग (DAQC): यह एक हाइब्रिड प्रतिमान (paradigm) है जो AQC की सुदृढ़ता (सिस्टम के प्राकृतिक एंटैंगलिंग हैमिल्टनियन का उपयोग करके) को DQC की लचीलेपन (स्थानीय सिंगल-क्यूबिट गेट्स का उपयोग करके हैमिल्टनियन को कंजुगेट करने के लिए) के साथ जोड़ता है।
• अंतराल (The Gap): मौजूदा DAQC प्रोटोकॉल मुख्य रूप से क्यूबिट्स ($2$-लेवल सिस्टम) के लिए डिज़ाइन किए गए हैं। हालाँकि, कई भौतिक प्लेटफॉर्म (सुपरकंडक्टिंग सर्किट, ट्रैप्ड आयन) स्वाभाविक रूप से **क्विडिट्स** ($d$-लेवल सिस्टम, जहाँ$d > 2$) का समर्थन करते हैं। क्विडिट्स के लिए DAQC का विस्तार करना अत्यंत महत्वपूर्ण है ताकि:
  • एंटैंगलिंग ऑपरेशन्स की संख्या को कम किया जा सके (दक्षता बढ़ाई जा सके)।
  • उच्च-आयामी स्पिन घटनाओं (जैसे, चुंबकीय क्वाड्रुपोलर टर्म्स) को स्वाभाविक रूप से सिम्युलेट किया जा सके।
  • बोसोनिक या उच्च-स्पिन सिस्टम को क्यूबिट्स पर मैप करने के संसाधन ओवरहेड से बचा जा सके।

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

लेखक DAQC ढांचे को क्यूबिट्स से मनमाने $d$-लेवल सिस्टम (क्विडिट्स) तक विस्तारित करने के लिए एक रचनात्मक प्रोटोकॉल प्रस्तावित करते हैं।

A. सैद्धांतिक ढांचा (Theoretical Framework)

• लक्ष्य: एक लक्षित प्रोपेगेटर $U_P = e^{-iT H_P}$ (जहाँ $H_P$ एक मनमाना टू-बॉडी क्विडिट हैमिल्टनियन है) को हार्डवेयर द्वारा प्रदान किए गए सोर्स हैमिल्टनियन $H_S$ का उपयोग करके सिम्युलेट करना।
• तंत्र: लक्षित विकास को वेइल-हाइजनबर्ग आधार (Weyl-Heisenberg basis) से लिए गए स्थानीय यूनिटरी गेट्स $G_q$ के माध्यम से $H_S$ को कंजुगेट करके संश्लेषित किया जाता है।
  $$U_P \approx \prod_q G_q^\dagger e^{-i t_q H_S} G_q$$
• वेइल-हाइजनबर्ग आधार: क्यूबिट्स के लिए उपयोग किए जाने वाले पाउली मैट्रिसेस ($\sigma_x, \sigma_y, \sigma_z$) के बजाय, यह प्रोटोकॉल सामान्यीकृत ऑपरेटरों $W_{nm} = Z^n X^m$ का उपयोग करता है। ये ऑपरेटर $SU(d)$ के लिए एक पूर्ण आधार बनाते हैं और विशिष्ट कम्यूटेशन संबंध (commutation relations) का पालन करते हैं जो कपलिंग के फेज हेरफेर (phase manipulation) की अनुमति देते हैं।
• रैखिक प्रणाली सूत्रीकरण (Linear System Formulation): समस्या को समीकरणों के एक रैखिक निकाय $M \vec{t} = T \vec{h}_{p/h_s}$ को हल करने में बदल दिया जाता है, जहाँ:
  • $\vec{t}$ एनालॉग ब्लॉक्स की समय अवधि (time durations) को दर्शाता है।
  • $M$ उन फेज शिफ्टों को एनकोड करने वाला एक मैट्रिक्स है जो कंजुगेशन ऑपरेशन्स द्वारा उत्पन्न होते हैं।
  • पंक्तियाँ लक्षित हैमिल्टनियन के कपलिंग स्थिरांकों (coupling constants) के अनुरूप हैं, और कॉलम स्थानीय ऑपरेटरों द्वारा उत्पन्न प्रभावी संकेतों/फेजों के अनुरूप हैं।

B. प्रमुख गणितीय प्रमाण (Key Mathematical Proofs)

पेपर प्रोटोकॉल की वैधता सुनिश्चित करने के लिए कठोर प्रमाण (परिशिष्ट A और B में) प्रदान करता है:

1. समाधान का अस्तित्व (Existence of Solution): लेखक सिद्ध करते हैं कि उप-मैट्रिक्स $M[2]$ (दो सिंगल-क्विडिट गेट्स द्वारा कंजुगेशन का प्रतिनिधित्व करने वाला) का नॉन-जीरो डिटर्मिनेंट है। यह गारंटी देता है कि समय अवधि $\vec{t}$ के लिए एक समाधान मौजूद है।
2. पॉजिटिव टाइम सॉल्यूशन (Positive Time Solution): कैराथियोडोरी के प्रमेय (Carathéodory's theorem) और पॉलीटोप ज्योमेट्री का उपयोग करते हुए, वे प्रदर्शित करते हैं कि एक ऐसा समाधान मौजूद है जहाँ सभी समय अवधि $t_q$ धनात्मक हैं, जो भौतिक कार्यान्वयन सुनिश्चित करता है।
3. जटिलता (Complexity): प्रोटोकॉल के लिए $n$ क्विडिट्स के लिए अधिकतम $O(d^4 n^2)$ एनालॉग ब्लॉक्स की आवश्यकता होती है, जो पिछले तरीकों की तुलना में बहुत कम है जिन्होंने प्रत्येक कपलिंग को अलग से आइसोलेट करने का प्रयास किया था।

C. विशेष मामला: स्पिन सिस्टम (Special Case: Spin Systems)

लेखक दिखाते हैं कि स्पिन ऑपरेटर आधार ($S_x, S_y, S_z$) में व्यक्त हैमिल्टनियन के लिए, प्रोटोकॉल काफी सरल हो जाता है। यदि प्रायोगिक प्लेटफॉर्म रोटेशन $e^{-i\pi S_\nu}$ को लागू कर सकता है, तो जटिलता घटकर $O(n^2)$ रह जाती है और मैट्रिक्स $M$ में केवल $4n$ कॉलम होते हैं, जो मूल क्यूबिट DAQC की दक्षता को दर्शाता है।

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

1. क्विडिट्स के लिए सामान्यीकरण: वेइल-हाइजनबर्ग ऑपरेटर आधार का उपयोग करके DAQC को मनमाने $d$-लेवल सिस्टम तक विस्तारित करने वाला पहला रचनात्मक प्रोटोकॉल।
2. कुशल सिमुलेशन: $O(d^4 n^2)$ के रिसोर्स स्केलिंग के साथ मनमाने टू-बॉडी क्विडिट हैमिल्टनियन को सिम्युलेट करने की एक विधि, जो पिछले गैर-रचनात्मक या कम कुशल दृष्टिकोणों में काफी सुधार करती है।
3. स्पिन-आधार अनुकूलन (Spin-Basis Adaptation): एक विशिष्ट व्युत्पत्ति जो दिखाती है कि $SU(2)$स्पिन सिस्टम के लिए (भले ही$d>2$हो), प्रोटोकॉल अपनी कम जटिलता ($O(n^2)$) बनाए रखता है।
4. नए प्रभावी ऑपरेटर: यह फॉर्मलिज्म नए प्रभावी ऑपरेटरों को उत्पन्न करने की अनुमति देता है। उदाहरण के लिए, एक समान वेइल घटकों को साझा करने वाले आधार के अलग-अलग तत्वों को एक दूसरे में बदला जा सकता है (लीनियर और क्वाड्रेटिक स्पिन ऑपरेटरों के बीच रूपांतरण द्वारा प्रदर्शित)।

4. परिणाम और संख्यात्मक सत्यापन (Results and Numerical Validation)

लेखकों ने एक क्वट्रिट ($d=3$) उदाहरण का उपयोग करके अपने प्रोटोकॉल को मान्य किया:

• लक्षित हैमिल्टनियन: स्पिन $s=1$ के लिए एक आइसोट्रोपिक बिलिनियर-बाइक्वाड्रेटिक (BLBQ) आइज़िंग जैसा हैमिल्टनियन।
• सोर्स हैमिल्टनियन: आइज़िंग-जैसा $S_z S_z$ इंटरेक्शन।
• सिमुलेशन दृष्टिकोण: उन्होंने बैंग्ड-DAQC (banged-DAQC/bDAQC) दृष्टिकोण का उपयोग किया, जहाँ हैमिल्टनियन सक्रिय रहता है जबकि सिंगल-क्वट्रिट गेट्स लागू किए जाते हैं, क्योंकि यह हैमिल्टनियन को चालू/बंद करने की तुलना में अधिक प्रयोगात्मक रूप से व्यवहार्य है।
• प्रदर्शन मेट्रिक्स:
  • फिडेलिटी (Fidelity): सिमुलेशन की तुलना एक पूरी तरह से डिजिटल दृष्टिकोण (DQC) के विरुद्ध की गई, जिसमें समस्या-अनुकूलित गेट सेट का उपयोग किया गया था।
  • रेजीम (Regimes): हैमिल्टनियन में $\theta$ के आधार पर फिडेलिटी भिन्न होती है:
    • $\theta = 0$ पर, फिडेलिटी लगभग पूर्ण थी (किसी गेट की आवश्यकता नहीं)।
    • $\theta < \pi/2$ के क्षेत्र में, bDAQC ने DQC को पछाड़ दिया।
    • $\pi/2 < \theta < \pi$ के क्षेत्र में, गेट एरर्स (gate errors) के कारण फिडेलिटी गिर गई क्योंकि आवश्यक सिंगल-क्वट्रिट गेट्स की संख्या बढ़ गई (27 गेट्स तक)।
    • $\theta = \pi$ के पास, कुछ छोटे समय ब्लॉक्स को हटाकर गेट काउंट को कम करने से फिडेलिटी फिर से सुधर गई।
• परिणामों पर निष्कर्ष: DAQC दृष्टिकोण ने सिस्टम के प्राकृतिक एंटैंगलिंग डायनेमिक्स का उपयोग करते हुए डिजिटल दृष्टिकोण के समान प्रदर्शन प्राप्त किया, जो NISQ युग में इसकी व्यवहार्यता को प्रदर्शित करता है।

5. महत्व और भविष्य की दृष्टि (Significance and Future Outlook)

• NISQ लाभ: यह कार्य अत्याधुनिक प्लेटफॉर्मों (जैसे आयन ट्रैप, सुपरकंडक्टिंग सर्किट) पर DAQC को लागू करने के लिए एक व्यापक प्रयोगात्मक ढांचा प्रदान करता है जो स्वाभाविक रूप से क्विडिट्स का समर्थन करते हैं। यह बोसोनिक या उच्च-स्पिन सिमुलेशन के लिए जटिल मल्टी-क्यूबिट मैपिंग की आवश्यकता को समाप्त करता है।
• संसाधन दक्षता: क्विडिट्स की उच्च आयामीता का लाभ उठाकर, प्रोटोकॉल आवश्यक एंटैंगलिंग ऑपरेशन्स की संख्या को कम करता है, जो वर्तमान क्वांटम प्रोसेसरों में त्रुटि का एक प्राथमिक स्रोत है।
• भविष्य की दिशाएं: लेखक ट्रोटर एरर (Trotter errors) के शमन को एक महत्वपूर्ण भविष्य की चुनौती के रूप में पहचानते हैं। क्यूबिट्स के विपरीत, क्विडट सिस्टम में ट्रोटर एरर क्विडट्स की संख्या ($n$) और उनकी आयामीता ($d$) दोनों के साथ स्केल करते हैं। इन एल्गोरिदम को स्केल करने के लिए इन त्रुटियों को कम करने की रणनीतियाँ विकसित करना आवश्यक है।