⚛️ quantum physics

(Almost) quadruply optimal unitary designs in 1D

यह शोध पत्र 1D सिस्टम में $n$ -qubit अनुमानित यूनिटरी $k$ -डिज़ाइन के एक ऐसे निर्माण को प्रस्तुत करता है जो मैजिक ब्लॉक आकारों को कम करने और स्पेक्ट्रल गैप्स में सुधार करने के लिए मौजूदा विधियों को परिष्कृत करके निकट-इष्टतम सर्किट गहराई और मैजिक गेट जटिलता प्राप्त करता है।

मूल लेखक: Guoding Liu, Jonas Helsen

प्रकाशित 2026-08-20

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

CC BY 4.0

मूल लेखक: Guoding Liu, Jonas Helsen

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

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

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

शोधकर्ताओं की एक टीम ने अब इन क्वांटम डिज़ाइनों को बनाने का एक नया तरीका विकसित किया है जो सैद्धांतिक दक्षता की सीमा के बेहद करीब है। उनका कार्य एक-आयामी (one-dimensional) प्रणालियों पर केंद्रित है, जहाँ क्यूबिट्स—क्वांटम सूचना की बुनियादी इकाइयाँ—एक एकल पंक्ति में व्यवस्थित होती हैं, जो केवल अपने निकटतम पड़ोसियों के साथ परस्पर क्रिया करती हैं। यह सेटअप प्रयोगात्मक रूप से सबसे सुलभ है, फिर भी यह काम करने के लिए सबसे कठिन है क्योंकि सूचना रेखा के पार कूद नहीं सकती; इसे चरण दर चरण यात्रा करनी पड़ती है। शोधकर्ताओं ने सिद्ध किया कि वे इन लगभग-पूर्ण यादृच्छिक मिश्रणों को एक ऐसे सर्किट डेप्थ के साथ उत्पन्न कर सकते हैं जो सिस्टम के बड़ा होने पर बहुत धीरे-धीरे बढ़ता है। विशेष रूप से, आवश्यक चरणों की संख्या क्यूबिट्स की संख्या और यादृच्छिकता के वांछित स्तर के लघुगणक (logarithm) के साथ बढ़ती है, न कि विस्फोटक रूप से। इसका अर्थ यह है कि एक बड़े सिस्टम के लिए भी, डिज़ाइन बनाने में लगने वाला समय प्रबंधनीय रहता है।

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

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

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

तकनीकी सारांश: (लगभग) चतुर्गुणात्मक रूप से इष्टतम यूनिटरी डिज़ाइन (Unitary Designs) 1D में

समस्या विवरण
अनुमानित यूनिटरी $k$ -डिज़ाइन का निर्माण क्वांटम सूचना विज्ञान में एक मौलिक कार्य है, जो क्वांटम लर्निंग से लेकर डिवाइस बेंचमार्किंग तक के कार्यों के लिए वास्तविक हॉयर-रैंडम (Haar-random) यूनिटरीज के एक संसाधन-कुशल विकल्प के रूप में कार्य करता है। जबकि वास्तविक हॉयर-रैंडम यूनिटरीज उत्पन्न करने के लिए घातांकीय (exponential) सर्किट गहराई की आवश्यकता होती है, यूनिटरी $k$ -डिज़ाइन $k$ -वें मोमेंट तक हॉयर मेजर (Haar measure) की नकल करते हैं। एक केंद्रीय चुनौती इन डिज़ाइनों को उत्पन्न करने के लिए आवश्यक सर्किट गहराई को कम करना रही है, विशेष रूप से एक-आयामी (1D) निकटतम-पड़ोसी आर्किटेक्चर में, जो सबसे आसानी से सुलभ सेटअप का प्रतिनिधित्व करते हैं।

मौजूदा निर्माणों ने ट्रेड-ऑफ (trade-offs) का सामना किया है। प्रारंभिक स्पेक्ट्रल गैप विश्लेषणों ने बहुपद (polynomial) गहराई सीमाएँ प्रदान कीं, जिन्हें बाद में $O(nk \log^7 k)$ और फिर $O(nk)$ में परिष्कृत किया गया। "ग्लूइंग लेम्मा" (gluing lemmas) और मैजिक-ऑगमेंटेड सर्किट्स का उपयोग करने वाले हालिया सफल प्रयासों ने विशिष्ट व्यवस्थाओं में $\tilde{O}(k) \log(n/\epsilon)$ या $O(\log(n/\epsilon) + 2^{O(k \log k)})$ की गहराई सीमाएं प्राप्त कीं। हालाँकि, एक अंतराल बना रहा: किसी भी निर्माण ने बिना सहायक क्विबिट्स (ancillary qubits) के, सिस्टम आकार $n$ , डिज़ाइन ऑर्डर $k$ , और त्रुटि $\epsilon$ में इष्टतम स्केलिंग को एक साथ प्राप्त नहीं किया, जबकि गहराई स्केलिंग में $n$ और $k$ के बीच डीकपलिंग (decoupling) बनाए रखा हो। इसके अलावा, गैर-क्लिफोर्ड "मैजिक" गेट्स (विशेष रूप से $T$ गेट्स) के संबंध में संसाधन लागत को सैद्धांतिक निचली सीमाओं (lower bounds) से मेल खाने के लिए अनुकूलित नहीं किया गया था।

कार्यप्रणाली
लेखक एक निर्माण प्रस्तावित करते हैं जो दो मौजूदा सैद्धांतिक ढांचों को जोड़ता है और उन्हें परिष्कृत करता है: मैजिक-ऑगमेंटेड सर्किट आर्किटेक्चर (Zhang et al., Ref. [1]) और यूनिटरी समूह के लिए कॉन्स्टेंट-स्पेक्ट्रल-गैप जनरेटिंग सेट (Chen et al., Ref. [2])। मुख्य रणनीति $\xi$ आकार के पैच में विभाजित, $n$ क्विबिट्स की 1D श्रृंखला पर कार्य करने वाला एक टू-लेयर ब्लॉक-ब्रिकवर्क आर्किटेक्चर है।

मैजिक-ऑगमेंटेड सर्किट अनुकूलन:
निर्माण एक "मैजिक-ऑगमेंटेड" ब्लॉक का उपयोग करता है जिसमें दो $\ell$ -लोकल अनुमानित यूनिटरी $k$ -डिज़ाइन के बीच सैंडविच किया गया एक रैंडम क्लिफोर्ड ऑपरेशन होता है। एक महत्वपूर्ण पैरामीटर वह लोकैलिटी $\ell$ है जो क्लिफोर्ड समूह के अतिरिक्त समरूपताओं (विशेष रूप से गैर-परम्यूटेशन क्लिफोर्ड कम्यूटेंट तत्वों) को तोड़ने के लिए आवश्यक है।

परिष्करण: लेखक परम्यूटेशन सिमेट्री के तहत क्लिफोर्ड कम्यूटेंट का एक परिष्कृत विश्लेषण करते हैं। आइडेंटिटी के निकटतम तत्वों पर ध्यान केंद्रित करके, वे सिद्ध करते हैं कि आवश्यक लोकैलिटी $\ell$ को पूर्व में ज्ञात $O(k \log k)$ से घटाकर $O(\log k)$ किया जा सकता है। यह कमी सर्किट गहराई और आवश्यक मैजिक गेट्स दोनों को संपीड़ित करने के लिए महत्वपूर्ण है।

कॉन्स्टेंट-डेप्थ 1D जनरेटर्स:
$\ell$ -लोकल रैंडम यूनिटरीज को कुशलतापूर्वक लागू करने के लिए, लेखक $\ell$ -क्विबिट यूनिटरी समूह (विशेष रूप से CPZPC एन्सेम्बल) के लिए एक जनरेटिंग सेट का निर्माण करते हैं जिसमें एक स्थिर स्पेक्ट्रल गैप है और जिसे 1D ज्यामिति पर कॉन्स्टेंट डेप्थ में लागू किया जा सकता है।

परम्यूटेशन समूह: वे प्रदर्शित करते हैं कि परमैशनेट समूह के लिए कासाबोव (Kassabov) के जनरेटर्स को एक "फोल्डेड-क्विबिट" लेआउट पेश करके एक जेनेरिक 1D सिस्टम (ओपन बाउंड्री के साथ) पर कॉन्स्टेंट डेप्थ में संश्लेषित किया जा सकता है। यह लेआउट सुनिश्चित करता है कि जनरेटर परिभाषा में चक्रीय पड़ोसी, भौतिक 1D श्रृंखला में स्थिर-दूरी के पड़ोसी बन जाते हैं।
क्लिफोर्ड समूह: वे बाइनरी सिम्प्लेक्टिक समूह (स्पेशल लीनियर ग्रुप के माध्यम से) से जनरेटर्स को उठाकर और उन्हें पॉली एक्सटेंशन और फेज जनरेटर्स के माध्यम से पूर्ण क्लिफोर्ड समूह तक विस्तारित करके, एक $\Omega(1)$ काज़दान कांस्टेंट (Kazhdan constant) के साथ एक कॉन्स्टेंट-साइज़, 1D-लोकल जनरेटिंग सेट का निर्माण करते हैं। वे इस जनरेटिंग सेट के आकार को स्पष्ट रूप से 451 तत्वों तक सीमित करते हैं।

ग्लूइंग (Gluing):
अंतिम डिज़ाइन को ग्लूइंग लेम्मा (Ref. [23]) का उपयोग करके असेंबल किया जाता है, जो यह अनुमति देता है कि एक $n$ -क्विबिट डिज़ाइन छोटे ब्लॉकों को जोड़कर बनाया जा सके, बशर्ते कि स्थानीय ब्लॉक आकार $\xi$ इस प्रकार हो कि $\xi = \Omega(\log(n/\epsilon) + k)$ ।

मुख्य परिणाम
यह शोध पत्र अनुमानित यूनिटरी $k$ -डिज़ाइन के निर्माण के संबंध में अपना मुख्य प्रमेय स्थापित करता है:

सर्किट गहराई: एक $n$ -क्विबिट सिस्टम और डिज़ाइन ऑर्डर $k = O(n)$ के लिए, बिना एंसिला के 1D-लोकल गेट्स का उपयोग करके एक $\epsilon$ -रिलेटिव-एरर अनुमानित यूनिटरी $k$ -डिज़ाइन का निर्माण किया जा सकता है। सर्किट गहराई है:
$O\left(\log\left(\frac{n}{\epsilon}\right) + k \log k\right)$
यह डिज़ाइन ऑर्डर की दिशा में एक एकल $\log k$ कारक को छोड़कर ज्ञात निचली सीमा $\Omega(\log(n/\epsilon) + k)$ से मेल खाता है।
मैजिक गेट काउंट: निर्माण के लिए $O(nk \log k)$ $T$ -गेट्स (मैजिक गेट्स) की आवश्यकता होती है। यह त्रुटि पैरामीटर $\epsilon$ से स्वतंत्र है और $O(\log^2 k (nk + \log(1/\epsilon)))$ के पिछले ऊपरी बाउंड से बेहतर है। यह निचली सीमा $\Omega(nk / (\log n \log k + \log^2 k))$ के करीब पहुँचता है।
रेजीम (Regime): निर्माण $k = \Theta(n)$ तक के डिज़ाइन ऑर्डर्स के लिए मान्य है, जो कुशल उच्च-क्रम डिज़ाइनों के व्यवहार्य क्षेत्र को पिछले $k = O(\sqrt{n})$ की सीमा से आगे बढ़ाता है।
सहायक योगदान: यह पेपर क्लिफोर्ड समूह के लिए एक कॉन्स्टेंट-साइज़ (451 तत्व), 1D-लोकल जनरेटिंग सेट प्रदान करता है जिसमें एक कॉन्स्टेंट स्पेक्ट्रल गैप है, जो रैंडमाइज्ड बेंचमार्किंग जैसे कार्यों के लिए स्वतंत्र रुचि का परिणाम है।

महत्व और दावे
लेखक दावा करते हैं कि उनका निर्माण 1D आर्किटेक्चर के लिए "सभी मापदंडों (सर्किट गहराई, क्विबिट संख्या, त्रुटि और मैजिक रिसोर्स) में एक साथ निकट-इष्टतमता" प्राप्त करता है। मैजिक ब्लॉक लोकैलिटी को $O(k \log k)$ से घटाकर $O(\log k)$ करके और आवश्यक समूह तत्वों के लिए कॉन्स्टेंट-डेप्थ 1D जनरेटर्स प्रदान करके, वे मौजूदा ऊपरी सीमाओं और मौलिक निचली सीमाओं के बीच के अंतर को लगभग बंद कर देते हैं।

पेपर विनम्रता से नोट करता है कि डिज़ाइन ऑर्डर स्केलिंग में एक अवशिष्ट लॉगरिदमिक ओवरहेड ( $\log k$ ) शेष रहता है। वे सुझाव देते हैं कि इसे हटाने के लिए लोकैलिटी $\ell$ को $O(1)$ तक कम करने की आवश्यकता होगी, जिसमें सिंगुलर रेजीम में वेिंगेट फंक्शन (Weingarten function) का विश्लेषण शामिल है। इसके अतिरिक्त, हालांकि मैजिक गेट काउंट निकट-इष्टतम है, उनके ऊपरी बाउंड और सैद्धांतिक निचली सीमा के बीच $O(\log n \log^2 k + \log^3 k)$ का अंतर बना हुआ है, जिसे लेखक अपने निर्माण में संभावित अक्षमताओं या निचली सीमा के व्युत्पत्ति में हानि (lossiness) के रूप में देखते हैं।

यह कार्य 1D सिस्टम में संसाधन-कुशल यूनिटरी डिज़ाइन जनरेशन के लिए एक नया आधार रेखा स्थापित करता है, जो फॉल्ट-टोलरेंट क्वांटम कंप्यूटेशन के लिए लागतपूर्ण गैर-क्लिफोर्ड संसाधनों को कम करते हुए, डिज़ाइन गहराई में सिस्टम आकार $n$ को डिज़ाइन ऑर्डर $k$ से अलग (decouple) करता है।

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