संकुचनशील एकात्मक और शास्त्रीय छाया टॉमोग्राफी

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

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

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

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

शास्त्रीय छाया टॉमोग्राफी द्वारा की गई महत्वपूर्ण प्रगति के बावजूद, एक प्रमुख सीमा बनी हुई है: आकार $k$ के स्थानीय ऑपरेटरों के गुणों को निकालने के लिए नमूना जटिलता को $2^k$ के स्केलिंग से नीचे कम करना। पिछले तरीके, विशेष रूप से जो यादृच्छिक क्लिफर्ड रोटेशन पर निर्भर करते हैं, आम तौर पर एक नमूना जटिलता प्राप्त करते हैं जो $2^k$ (या $k \times 2^k$ जब अज्ञात ऑपरेटर स्थानों पर विचार किया जाता है) के रूप में स्केल करती है। यह $2^k$ स्केलिंग एक महत्वपूर्ण "दर्द बिंदु" बनी हुई है, क्योंकि यह अभी भी बड़े $k$ के लिए पर्याप्त संसाधनों की मांग करती है, जिससे जटिल क्वांटम बहु-निकाय अवस्थाओं के कुशल लक्षण वर्णन में बाधा आती है। इस प्रकार, इस पत्र के लेखकों को $2^k$ बाधा को दूर करने और अधिक कुशल स्केलिंग प्राप्त करने के लिए शास्त्रीय छाया टॉमोग्राफी के भीतर नई रणनीतियों का पता लगाने के लिए प्रेरित किया गया था।

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

एक शून्य-आधारित पाठक को मुख्य अवधारणाओं को समझने में मदद करने के लिए, यहाँ पत्र से कुछ विशेष शब्द दिए गए हैं, जिन्हें रोजमर्रा की समानताओं में अनुवादित किया गया है:

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

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

संकेतन	विवरण
$\hat{O}$	पॉली स्ट्रिंग ऑपरेटर (अवलोकन योग्य) जिसका अपेक्षित मान अनुमानित किया जाना है।
$\rho$	सिस्टम की क्वांटम अवस्था।
$k$	स्थानीय ऑपरेटर का आकार / क्यूबिट की संख्या जिस पर $\hat{O}$ कार्य करता है।
$N$	क्वांटम सिस्टम में क्यूबिट की कुल संख्या।
$\hat{U}$	क्वांटम अवस्था पर लागू एक सामान्य वैश्विक एकात्मक संचालन।
$\hat{U}_{ct}$	$k$ क्यूबिट्स के लिए पूर्ण संकुचनशील एकात्मक, दो-क्यूबिट संकुचनशील एकात्मक से निर्मित।
$\hat{U}_{ij}$	क्यूबिट्स $i$ और $j$ पर कार्य करने वाला दो-क्यूबिट संकुचनशील एकात्मक, जिसे $\exp(i\frac{\pi}{4} \hat{Z}_i\hat{Z}_j)$ के रूप में परिभाषित किया गया है।
$\mathcal{E}_U$	एक एकात्मक एनसेंबल (जैसे, यादृच्छिक क्लिफर्ड, संकुचनशील एकात्मक) जिससे $\hat{U}$ का नमूना लिया जाता है या निर्माण किया जाता है।
$||\hat{O}||^2_{\mathcal{E}_U}$	एनसेंबल $\mathcal{E}_U$ पर औसत अवलोकन योग्य $\hat{O}$ का छाया मानदंड वर्ग, जो सीधे नमूना जटिलता को मापता है।
$w(\hat{O}_U)_{\mathcal{E}_U}$	विकसित ऑपरेटर $\hat{O}_U = \hat{U}\hat{O}\hat{U}^\dagger$ का पॉली भार, एनसेंबल $\mathcal{E}_U$ पर औसत।
$\pi(m)_{\mathcal{E}_U}$	विकसित ऑपरेटर $\hat{O}_U$ के आकार वितरण, जो $\hat{O}_U$ के आकार $m$ होने की संभावना का प्रतिनिधित्व करता है।
$m$	ऑपरेटर आकार, जिसे पॉली स्ट्रिंग में गैर-पहचान पॉली ऑपरेटरों की संख्या के रूप में परिभाषित किया गया है।
$N_{xy}$	पॉली स्ट्रिंग $\hat{O}$ में $\hat{X}$ और $\hat{Y}$ ऑपरेटरों की कुल संख्या।
$\sigma_U(z)$	एक एकल माप परिणाम $z$ से पुनर्निर्मित घनत्व मैट्रिक्स का एक शास्त्रीय स्नैपशॉट।
$M$	अपेक्षित मान का अनुमान लगाने के लिए एकत्र किए गए शास्त्रीय स्नैपशॉट (माप) की संख्या।
$D[\langle \hat{O} \rangle]$	$\hat{O}$ के अपेक्षित मान का विचरण।

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

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

इनपुट/वर्तमान स्थिति: क्वांटम अवस्था लक्षण वर्णन का वर्तमान परिदृश्य जटिल क्वांटम बहु-निकाय अवस्थाओं का कुशलतापूर्वक वर्णन करने की चुनौती से ग्रस्त है। जबकि एक पूर्ण क्वांटम अवस्था टॉमोग्राफी के लिए सिस्टम के आकार के साथ मापों की घातीय रूप से बढ़ती संख्या की आवश्यकता होती है, जिससे यह बड़े पैमाने के क्वांटम उपकरणों के लिए अव्यावहारिक हो जाता है, शास्त्रीय छाया टॉमोग्राफी एक महत्वपूर्ण सुधार प्रदान करती है। यह तकनीक नमूना जटिलता—राज्य गुणों का अनुमान लगाने के लिए आवश्यक मापों की संख्या—को मापों से पहले यादृच्छिक क्लिफर्ड रोटेशन का उपयोग करके कम करती है। हालांकि, इन अग्रिमों के बावजूद, एक स्थायी चुनौती बनी हुई है: आकार $k$ के किसी भी गैर-उत्तराधिकारी स्थानीय ऑपरेटरों को निकालने के लिए नमूना जटिलता को $2^k$ से नीचे कम करना। यह $2^k$ स्केलिंग अभी भी बहुत अधिक है, जो बड़ी संख्या में क्यूबिट्स के साथ व्यावहारिक अनुप्रयोगों के लिए है।

आउटपुट/लक्ष्य स्थिति: इस पत्र का प्राथमिक उद्देश्य क्वांटम अवस्थाओं के गुणों का अनुमान लगाने के लिए एक काफी छोटी नमूना जटिलता प्राप्त करना है, विशेष रूप से आकार $k$ के स्थानीय ऑपरेटरों को लक्षित करना। लेखकों का लक्ष्य इस जटिलता को वर्तमान $2^k$ स्केलिंग से एक बेहतर $\sim 1.8^k$ तक कम करना है। यह कमी एक उपन्यास प्रोटोकॉल के माध्यम से मांगी जाती है जो रणनीतिक रूप से स्थानीय रूप से यादृच्छिक और वैश्विक रूप से नियतात्मक एकात्मक संचालन को जोड़ती है।

सटीक लुप्त कड़ी / गणितीय अंतर: इस पत्र द्वारा संबोधित मुख्य गणितीय अंतर एक इष्टतम वैश्विक एकात्मक संचालन, $\hat{U}$, की अनुपस्थिति है जो विकसित पॉली स्ट्रिंग ऑपरेटरों, $\hat{O}_U = \hat{U}\hat{O}\hat{U}^\dagger$ के आकार वितरण को अधिक कुशलता से "संकुचित" कर सकता है। मौजूदा शास्त्रीय छाया टॉमोग्राफी प्रोटोकॉल अक्सर अधिकतम रूप से भ्रामक यादृच्छिक एकात्मक (जैसे यादृच्छिक क्लिफर्ड गेट्स) पर निर्भर करते हैं, जिसके परिणामस्वरूप छाया मानदंड स्केलिंग $2^k$ होती है। पत्र लुप्त कड़ी की पहचान एक नियतात्मक वैश्विक एकात्मक के रूप में करता है, जिसे "संकुचनशील एकात्मक" कहा जाता है, जो इन विशुद्ध रूप से यादृच्छिक एनसेंबल की तुलना में ऑपरेटर आकार को अधिक प्रभावी ढंग से कम करने में सक्षम है। गणितीय रूप से, चुनौती एक $\hat{U}$ खोजने की है जो छाया मानदंड $||\hat{O}||_{\mathcal{E}_U}^2$ को कम करता है, जो सीधे विकसित ऑपरेटर $\hat{O}_U$ के ऑपरेटर आकार वितरण $\pi(m)$ से संबंधित है, जैसा कि समीकरण (1) में व्यक्त किया गया है:
$$||\hat{O}||_{\mathcal{E}_U}^2 = w(\hat{O}_U)_{\mathcal{E}_U}, \quad w(\hat{O}_U)_{\mathcal{E}_U} = \sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m}$$
पत्र का योगदान एक $\hat{U}$ खोजना है जो एक आकार वितरण $\pi(m)$ उत्पन्न करता है जो अधिमानतः छोटे $m$ मानों पर केंद्रित होता है, जिससे छाया मानदंड और, परिणामस्वरूप, आवश्यक नमूना जटिलता कम हो जाती है।

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

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

क्वांटम अवस्थाओं को कुशलतापूर्वक चित्रित करने की समस्या, विशेष रूप से प्रस्तावित संकुचनशील एकात्मक दृष्टिकोण के साथ, कई कठोर, यथार्थवादी बाधाओं से बंधी है:

भौतिक बाधाएँ:
* घातीय संसाधन स्केलिंग: एक मौलिक भौतिक सीमा यह है कि पूर्ण क्वांटम अवस्था टॉमोग्राफी के लिए सिस्टम के आकार के साथ मापों की घातीय रूप से बढ़ती संख्या की आवश्यकता होती है। यह इसे कुछ सौ से अधिक क्यूबिट्स वाले क्वांटम उपकरणों के लिए अव्यावहारिक बनाता है, जिससे शास्त्रीय छाया टॉमोग्राफी जैसी वैकल्पिक विधियों की आवश्यकता होती है।
* हार्डवेयर कार्यान्वयनता: प्रस्तावित संकुचनशील एकात्मक को वर्तमान और निकट-भविष्य के क्वांटम संगणना प्लेटफार्मों पर व्यावहारिक रूप से लागू किया जाना चाहिए। लेखक इस बात पर जोर देते हैं कि उनका संकुचनशील एकात्मक "परमाणु सरणी क्वांटम संगणना मंच के लाभों से पूरी तरह मेल खाता है और परमाणु सरणी क्वांटम प्रोसेसर में आसानी से महसूस किया जाता है।" यह मौजूदा हार्डवेयर द्वारा कुशलतापूर्वक निष्पादित किए जा सकने वाले गेट्स और संचालन के प्रकारों पर एक सख्त बाधा का अर्थ है।
* सर्किट जटिलता और गहराई: व्यावहारिक परिनियोजन के लिए, संकुचनशील एकात्मक $\hat{U}_{ct}$ में कम सर्किट जटिलता होनी चाहिए। हालांकि यह $k$-क्यूबिट सिस्टम के लिए $\sim k^2$ गेट्स को शामिल कर सकता है, पत्र नोट करता है कि यह "केवल नियतात्मक और पारस्परिक रूप से कम्यूटिंग दो-क्यूबिट गेट्स पर निर्भर करता है" और परमाणु सरणी प्लेटफार्मों पर $k-1$ चरणों से अधिक भौतिक संचालन में लागू किया जा सकता है, जो उनके समानांतर गेट क्षमताओं के कारण है। सीमित कनेक्टिविटी वाले प्लेटफार्मों के लिए, जैसे कि सुपरकंडक्टिंग क्यूबिट्स, लेखकों का कहना है कि एक एकल सहायक क्यूबिट जोड़ने से $k$ चरणों के स्थानीय गेट्स में विघटन की अनुमति मिलती है, जिससे सर्किट की गहराई $k$ में रैखिक बनी रहती है। ये प्रोटोकॉल की व्यवहार्यता के लिए महत्वपूर्ण बाधाएँ हैं।

कम्प्यूटेशनल बाधाएँ:
* नमूना जटिलता लक्ष्य: प्राथमिक कम्प्यूटेशनल बाधा नमूना जटिलता को $2^k$ से अधिक प्रबंधनीय स्केलिंग, विशेष रूप से $\sim 1.8^k$ तक कम करने की अनिवार्यता है। एक बड़ा छाया मानदंड सीधे भविष्यवाणी विचरण को कम करने के लिए शास्त्रीय स्नैपशॉट की उच्च संख्या की आवश्यकता होती है, जिससे डेटा अधिग्रहण और प्रसंस्करण से जुड़ी कम्प्यूटेशनल लागत बढ़ जाती है।
* शास्त्रीय सिमुलेशन सीमाएँ: $k \sim 100$ क्यूबिट्स वाले क्वांटम सिस्टम के लिए, जो अब आधुनिक क्वांटम प्लेटफार्मों पर प्राप्त किए जा सकते हैं, शास्त्रीय सिमुलेशन "परंपरागत रूप से अनुकरण करने के लिए अव्यावहारिक" हो जाता है। इसका मतलब है कि किसी भी प्रस्तावित क्वांटम समाधान को वास्तविक क्वांटम हार्डवेयर पर उपयोगी होने के लिए पर्याप्त कुशल होना चाहिए, क्योंकि शास्त्रीय सत्यापन या पूर्ण सिमुलेशन एक व्यवहार्य विकल्प नहीं है।

डेटा-संचालित बाधाएँ और विफलता मोड:
* ऑपरेटर स्थान का पूर्व ज्ञान: संकुचनशील एकात्मक प्रोटोकॉल का प्रारंभिक सूत्रीकरण उन सटीक स्थानों के पूर्व ज्ञान को मानता है जहां ऑपरेटर कार्य करते हैं। यह एक महत्वपूर्ण डेटा-संचालित बाधा है, क्योंकि कई वास्तविक दुनिया के अनुप्रयोगों (जैसे, ऊर्जा अनुमान) में, यह जानकारी अक्सर अज्ञात होती है।
* भोला विस्तार विफलता: ऑपरेटर स्थानों के पूर्व ज्ञान के बिना परिदृश्यों में संकुचनशील एकात्मक का एक भोला विस्तार (पूरे सिस्टम पर लागू करके) विरोधाभासी रूप से यादृच्छिक क्लिफर्ड प्रोटोकॉल ($\sim 2^N$, $N$ कुल क्यूबिट्स के लिए) से भी बड़ा छाया मानदंड उत्पन्न करेगा। यह एक महत्वपूर्ण विफलता मोड का प्रतिनिधित्व करता है जिसे लेखक "स्लाइडिंग ट्रिक" के साथ संबोधित करते हैं ताकि ऑपरेटर स्थान अज्ञात होने पर दक्षता बनाए रखी जा सके। इस चाल के बिना, संकुचनशील एकात्मक के लाभ समस्याओं के एक व्यापक वर्ग के लिए खो जाएंगे।
* गैर-उत्तराधिकारी स्थानीय ऑपरेटर: समस्या विशेष रूप से "आकार $k$ के गैर-उत्तराधिकारी स्थानीय ऑपरेटरों" के लक्षण वर्णन को लक्षित करती है। इसका तात्पर्य है कि समाधान को ऑपरेटरों के लिए भी मजबूत और प्रभावी होना चाहिए जो सन्निहित या उनकी संरचना में सरल नहीं हैं।

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

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

इस पत्र के लेखकों को क्वांटम सूचना में एक मौलिक बाधा का सामना करना पड़ा: जटिल क्वांटम अवस्थाओं को पूरी तरह से चित्रित करना, जिसे पूर्ण क्वांटम अवस्था टॉमोग्राफी के रूप में जाना जाता है, सिस्टम के आकार के सापेक्ष मापों की घातीय संख्या की आवश्यकता होती है। यह घातीय स्केलिंग इसे आज हम जो बड़े क्वांटम उपकरण बना रहे हैं, उनके लिए अव्यावहारिक बनाती है। शास्त्रीय छाया टॉमोग्राफी (CST) एक महत्वपूर्ण सफलता के रूप में उभरी, मापों से पहले यादृच्छिक क्लिफर्ड रोटेशन का उपयोग करके नमूना जटिलता को काफी कम कर दिया। हालांकि, इस प्रगति के साथ भी, एक महत्वपूर्ण चुनौती बनी रही: आकार $k$ के गैर-उत्तराधिकारी स्थानीय ऑपरेटरों के गुणों का अनुमान लगाने के लिए नमूना जटिलता को $2^k$ से नीचे कम करना।

जिस क्षण लेखकों को एहसास हुआ कि पारंपरिक "अत्याधुनिक" (SOTA) विधियाँ, जैसे मानक यादृच्छिक क्लिफर्ड प्रोटोकॉल, अपर्याप्त थीं, वह तब था जब उन्होंने इस स्थायी $2^k$ स्केलिंग की पहचान की। यादृच्छिक क्लिफर्ड एकात्मक के भटकाव प्रभाव के बावजूद, जो ऑपरेटर भार को कई पॉली स्ट्रिंग्स में वितरित करता है, परिणामी छाया मानदंड (नमूना जटिलता का एक माप) अभी भी $2^k$ के रूप में स्केल करता है। इसका मतलब है कि बड़े $k$ के लिए, आवश्यक मापों की संख्या अभी भी निषेधात्मक रूप से अधिक थी। लेखकों ने स्पष्ट रूप से प्रश्न पूछा: "क्या अन्य वैश्विक एकात्मकों के विकल्प मौजूद हैं जो अधिकतम भ्रामक यादृच्छिक एकात्मक को बेहतर प्रदर्शन कर सकते हैं और $\sim 2^k$ की तुलना में एक छोटे छाया मानदंड का परिणाम दे सकते हैं?" यह प्रश्न स्वयं मौजूदा विधियों की अपर्याप्तता और एक नए दृष्टिकोण की आवश्यकता को उजागर करता है। "संकुचनशील एकात्मक" को इसके प्रत्यक्ष उत्तर के रूप में तैयार किया गया था, जिसे विशेष रूप से ऑपरेटर आकार को अधिक कुशलता से कम करने और इस प्रकार एक छोटा छाया मानदंड प्राप्त करने के लिए डिज़ाइन किया गया था।

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

संकुचनशील एकात्मक दृष्टिकोण शास्त्रीय छाया टॉमोग्राफी में पिछले स्वर्ण मानकों पर गुणात्मक श्रेष्ठता प्रदान करता है, जो केवल संख्यात्मक सुधारों से परे जाता है। इसका प्राथमिक संरचनात्मक लाभ ऑपरेटर आकार को नियतात्मक रूप से संकुचित करने की इसकी क्षमता में निहित है। यादृच्छिक क्लिफर्ड एकात्मक के विपरीत जो ऑपरेटरों को अधिकतम रूप से भटकाते हैं, जिससे एक व्यापक द्विपद आकार वितरण लगभग $3k/4$ पर केंद्रित होता है और $2^k$ का छाया मानदंड होता है, संकुचनशील एकात्मक को विशेष रूप से कुछ पॉली स्ट्रिंग ऑपरेटरों के आकार को सक्रिय रूप से कम करने के लिए इंजीनियर किया गया है। उदाहरण के लिए, यह चार आकार-2 पॉली ऑपरेटरों को आकार-1 ऑपरेटरों में बदल सकता है। यह लक्षित संकुचन एक आकार वितरण का परिणाम देता है जो छोटे ऑपरेटर आकारों पर केंद्रित होता है (जैसे, $m/k \approx 2/3$ विषम $N_{XY}$ के लिए और सम $N_{XY}$ के लिए $k$ पर एक डेल्टा पीक), जो छाया मानदंड के सिद्धांत के अनुसार, सीधे एक छोटे नमूना जटिलता में तब्दील होता है।

यह संरचनात्मक लाभ गहरा है: यह नमूना जटिलता को $\sim 2^k$ (यादृच्छिक क्लिफर्ड के लिए) से $\sim 1.8^k$ (या $k \times 1.8^k$ जब ऑपरेटर स्थान अज्ञात होते हैं) तक कम कर देता है। $k \sim 100$ क्यूबिट्स वाले सिस्टम के लिए, यह आवश्यक नमूना संसाधनों में एक उल्लेखनीय "10,000 गुना से अधिक सुधार" में तब्दील होता है। इसके अलावा, पत्र इस बात पर प्रकाश डालता है कि यह विधि "क्वांटम शोर के प्रति मजबूती प्रदर्शित करती है," जो वास्तविक दुनिया के क्वांटम उपकरणों के लिए एक महत्वपूर्ण गुणात्मक लाभ है, जो शोर वाले वातावरण में भी अपने स्केलिंग लाभ को बनाए रखती है। एक और महत्वपूर्ण संरचनात्मक लाभ इसकी कम सर्किट जटिलता है; यह केवल नियतात्मक और पारस्परिक रूप से कम्यूटिंग दो-क्यूबिट गेट्स पर निर्भर करता है, जिससे यह वर्तमान क्वांटम हार्डवेयर के लिए अत्यधिक अनुकूल है।

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

चुनी गई संकुचनशील एकात्मक विधि कुशल क्वांटम अवस्था लक्षण वर्णन की कठोर आवश्यकताओं के साथ पूरी तरह से संरेखित होती है। मुख्य समस्या बाधा पूर्ण क्वांटम अवस्था टॉमोग्राफी की घातीय माप लागत और बहु-निकाय क्वांटम अवस्थाओं के गुणों का अनुमान लगाने के लिए नमूना जटिलता को कम करने की आवश्यकता है। संकुचनशील एकात्मक सीधे इसे $\sim 1.8^k$ (या स्लाइडिंग ट्रिक के साथ $k \times 1.8^k$) की नमूना जटिलता स्केलिंग प्राप्त करके संबोधित करता है, जो पिछले तरीकों की $\sim 2^k$ स्केलिंग से एक महत्वपूर्ण सुधार है। यह "विवाह" समस्या की कठोर आवश्यकताओं और समाधान के अद्वितीय गुणों के बीच स्पष्ट है, जो इसके डिजाइन लक्ष्य में परिलक्षित होता है: "टॉमोग्राफी दक्षता बढ़ाने के लिए ऑपरेटर आकार को कम करने में अधिक कुशल होना।"

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

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

यह पत्र शास्त्रीय छाया टॉमोग्राफी के भीतर अन्य लोकप्रिय दृष्टिकोणों को स्पष्ट रूप से, फिर भी दृढ़ता से, वांछित नमूना जटिलता प्राप्त करने में उनकी मात्रात्मक हीनता के कारण अस्वीकार करता है। प्राथमिक वैकल्पिक चर्चा पूरी तरह से यादृच्छिक क्लिफर्ड प्रोटोकॉल है, जो पिछला SOTA था। जबकि यादृच्छिक क्लिफर्ड एकात्मक टॉमोग्राफी लागत को कम करने में एक सफलता थी, उन्होंने अभी भी एक छाया मानदंड उत्पन्न किया जो $2^k$ के रूप में स्केल करता है। लेखकों की पूरी प्रेरणा इस तथ्य से उत्पन्न होती है कि यह $2^k$ स्केलिंग आकार $k$ के गैर-उत्तराधिकारी स्थानीय ऑपरेटरों के निष्कर्षण की समस्या के लिए "अपर्याप्त" थी, इस सीमा से नीचे। संकुचनशील एकात्मक को विशेष रूप से ऑपरेटर आकार को अधिक प्रभावी ढंग से अनुबंधित करने के लिए एकात्मक के नियतात्मक घटक को अनुकूलित करके इस $2^k$ स्केलिंग को बेहतर प्रदर्शन करने के लिए डिज़ाइन किया गया था।

इसी तरह, पत्र "उथले सर्किट प्रोटोकॉल" का उल्लेख करता है। हालांकि, तालिका I स्पष्ट रूप से दिखाती है कि उथले सर्किट प्रोटोकॉल ज्ञात ऑपरेटर स्थानों के लिए $> 2^k$ और अज्ञात स्थानों के लिए $k \times 2^k$ की नमूना जटिलता उत्पन्न करता है। यह इसे यादृच्छिक क्लिफर्ड और, महत्वपूर्ण रूप से, संकुचनशील एकात्मक प्रोटोकॉल दोनों से कम कुशल बनाता है। इसलिए, इन विकल्पों को इसलिए नहीं चुना गया क्योंकि वे नमूना जटिलता के लिए उप-$2^k$ स्केलिंग प्राप्त करने की महत्वपूर्ण आवश्यकता को पूरा करने में विफल रहे, जिसे संकुचनशील एकात्मक सफलतापूर्वक वितरित करता है। पत्र अन्य मशीन लर्निंग प्रतिमानों जैसे GANs या डिफ्यूजन मॉडल पर चर्चा नहीं करता है, क्योंकि वे शास्त्रीय छाया के समान संदर्भ में क्वांटम अवस्था टॉमोग्राफी की समस्या पर सीधे लागू नहीं होते हैं।

FIG. 1.

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

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

इस पत्र में दक्षता लाभ को रेखांकित करने वाला पूर्ण मुख्य समीकरण छाया मानदंड की परिभाषा है, जो शास्त्रीय छाया टॉमोग्राफी की नमूना जटिलता को सीधे मापता है। लेखकों का लक्ष्य इस मात्रा को कम करना है। इसे इस प्रकार प्रस्तुत किया गया है:

$$ ||\hat{O}||^2_{\mathcal{E}_U} = w(\hat{O}_U)_{\mathcal{E}_U} = \sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m} $$

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

$$ \hat{U}_{12} = \exp\left(i\frac{\pi}{4} \hat{Z}_1\hat{Z}_2\right) $$

और $k$-क्यूबिट पॉली स्ट्रिंग $\hat{O}$ पर पूर्ण संकुचनशील एकात्मक $\hat{U}_{ct}$ के तहत ऑपरेटर आकार पर इसका प्रभाव इस प्रकार वर्णित है:

$$ m = \text{Size}(\hat{U}_{ct} \hat{O} \hat{U}_{ct}^\dagger) = \begin{cases} N_{xy} & \text{if } N_{xy} \in \text{odd}, \\ k & \text{if } N_{xy} \in \text{even}. \end{cases} $$

अंत में, संकुचनशील एकात्मक के लिए परिणामी पॉली भार, जो सीधे छाया मानदंड से संबंधित है, इस प्रकार दिया गया है:

$$ w(\hat{O})_{ct} = \frac{1}{2 \cdot 3^k} \left[ \frac{(-1)^k + 1}{9^k} + \left(\frac{5}{9}\right)^k \right] $$

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

आइए इन समीकरणों को उनके घटकों को समझने के लिए अलग करें।

मास्टर समीकरण (छाया मानदंड) के लिए:
$$ ||\hat{O}||^2_{\mathcal{E}_U} = w(\hat{O}_U)_{\mathcal{E}_U} = \sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m} $$

• $||\hat{O}||^2_{\mathcal{E}_U}$: यह पद एकात्मक एनसेंबल $\mathcal{E}_U$ पर औसत अवलोकन योग्य $\hat{O}$ का छाया मानदंड वर्ग दर्शाता है।

  • गणितीय परिभाषा: यह अनिवार्य रूप से $\hat{O}$ के अपेक्षित मान की भविष्यवाणी करने के लिए उपयोग किए जाने वाले अनुमानक का विचरण है। एक छोटा छाया मानदंड भविष्यवाणियों में कम विचरण का अर्थ है।
  • भौतिक/तार्किक भूमिका: यह शास्त्रीय छाया टॉमोग्राफी प्रोटोकॉल के लिए प्रदर्शन का मापक है। यह सीधे नमूना जटिलता को मापता है—किसी निश्चित परिशुद्धता के साथ $\hat{O}$ का अनुमान लगाने के लिए कितने माप स्नैपशॉट की आवश्यकता होती है। इस पत्र का प्राथमिक लक्ष्य इस मान को कम करना है।
  • वर्ग क्यों? विचरण स्वाभाविक रूप से एक वर्ग मात्रा है, जो संभावित परिणामों के फैलाव को दर्शाता है।

• $w(\hat{O}_U)_{\mathcal{E}_U}$: यह एकात्मक एनसेंबल $\mathcal{E}_U$ पर औसत विकसित ऑपरेटर $\hat{O}_U$ का पॉली भार है।

  • गणितीय परिभाषा: यह ऑपरेटर $\hat{O}$ कितना "फैला हुआ" या "भ्रामक" हो जाता है, जब इसे एनसेंबल $\mathcal{E}_U$ से एक एकात्मक द्वारा रूपांतरित किया जाता है, इसका एक औसत माप है।
  • भौतिक/तार्किक भूमिका: यह पद सीधे छाया मानदंड के समानुपाती होता है। पॉली भार को कम करना वह तंत्र है जिसके द्वारा नमूना जटिलता कम हो जाती है। लेखकों ने इस भार को पिछले तरीकों से छोटा बनाने का एक तरीका खोजा है।

• $\sum_m$: यह सभी संभावित ऑपरेटर आकारों $m$ पर एक योग है।

  • गणितीय परिभाषा: एक असतत योग।
  • भौतिक/तार्किक भूमिका: जब एक प्रारंभिक पॉली स्ट्रिंग ऑपरेटर $\hat{O}$ को एक एकात्मक $\hat{U}$ द्वारा विकसित किया जाता है, तो यह विभिन्न आकारों के पॉली स्ट्रिंग्स के सुपरपोज़िशन में बदल सकता है। यह योग इन सभी संभावित विकसित आकारों से योगदान को ध्यान में रखता है।
  • योग के बजाय योग क्यों? ऑपरेटर आकार $m$ (गैर-पहचान पॉली ऑपरेटरों की संख्या) एक असतत पूर्णांक मात्रा है, इसलिए योग प्राकृतिक गणितीय संचालन है।

• $\pi(m)_{\mathcal{E}_U}$: यह एकात्मक एनसेंबल $\mathcal{E}_U$ पर औसत विकसित ऑपरेटर $\hat{O}_U$ का आकार वितरण है।

  • गणितीय परिभाषा: यह विकसित ऑपरेटर $\hat{O}_U$ के आकार $m$ होने की संभावना का प्रतिनिधित्व करता है। एक ऑपरेटर $\hat{O}_U = \sum_P c_P P$ (जहां $P$ पॉली स्ट्रिंग्स हैं) के लिए, $\pi(m) = \sum_{\text{Size}(P)=m} |c_P|^2$।
  • भौतिक/तार्किक भूमिका: यह वितरण बताता है कि एकात्मक परिवर्तन ऑपरेटर की "जटिलता" को कैसे प्रभावित करता है। यदि एकात्मक इस वितरण को छोटे $m$ मानों की ओर स्थानांतरित कर सकता है, तो यह सीधे छाया मानदंड को कम करता है। यह "संकुचनशील एकात्मक" के पीछे का केंद्रीय विचार है।

• $3^m$: यह पद भाजक में दिखाई देता है।

  • गणितीय परिभाषा: एक घातीय कारक।
  • भौतिक/तार्किक भूमिका: यह कारक पॉली मापों के गुणों से उत्पन्न होता है। आकार $m$ के एक पॉली स्ट्रिंग के लिए, $3^m$ संभावित गैर-पहचान पॉली ऑपरेटर (X, Y, Z) हैं जो उन $m$ क्यूबिट्स पर कार्य कर सकते हैं। यह पद प्रभावी रूप से बड़े ऑपरेटर आकारों को दंडित करता है: एक बड़ा $m$ $1/3^m$ को छोटा बनाता है, लेकिन यदि $\pi(m)$ बड़े $m$ के लिए महत्वपूर्ण है, तो छाया मानदंड में समग्र योगदान अभी भी बड़ा हो सकता है। लक्ष्य $\pi(m)$ को छोटे $m$ पर केंद्रित करना है।

संकुचनशील एकात्मक $\hat{U}_{12}$ (समीकरण 2) के लिए:
$$ \hat{U}_{12} = \exp\left(i\frac{\pi}{4} \hat{Z}_1\hat{Z}_2\right) $$

• $\hat{U}_{12}$: यह दो-क्यूबिट संकुचनशील एकात्मक है।

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

• $\exp(\dots)$: मैट्रिक्स घातांक।

  • गणितीय परिभाषा: एक हर्मिटियन जनरेटर से एक एकात्मक ऑपरेटर को परिभाषित करता है। एक हर्मिटियन ऑपरेटर $H$ के लिए, $U = \exp(iH)$ एकात्मक है।
  • भौतिक/तार्किक भूमिका: क्वांटम यांत्रिकी में इंटरैक्शन हैमिल्टनियन या जनरेटर से क्वांटम गेट्स के निर्माण का यह मानक तरीका है।

• $i$: काल्पनिक इकाई।

  • गणितीय परिभाषा: $\sqrt{-1}$।
  • भौतिक/तार्किक भूमिका: क्वांटम अवस्थाओं की एकात्मकता और जटिल प्रकृति सुनिश्चित करने के लिए आवश्यक।

• $\frac{\pi}{4}$: एक स्थिर चरण कारक।

  • गणितीय परिभाषा: एक विशिष्ट कोण।
  • भौतिक/तार्किक भूमिका: यह विशिष्ट मान दो-क्यूबिट इंटरैक्शन की शक्ति और प्रकार निर्धारित करता है। $\hat{Z}_1\hat{Z}_2$ के लिए, $\pi/4$ एंटैंगलिंग गेट्स के लिए एक सामान्य विकल्प है।

• $\hat{Z}_1$: क्यूबिट 1 पर कार्य करने वाला पॉली Z ऑपरेटर।

  • गणितीय परिभाषा: एक $2 \times 2$ मैट्रिक्स, आमतौर पर कम्प्यूटेशनल आधार में $\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$।
  • भौतिक/तार्किक भूमिका: एक मौलिक एकल-क्यूबिट पॉली ऑपरेटर, जो Z-आधार में माप का प्रतिनिधित्व करता है।

• $\hat{Z}_2$: क्यूबिट 2 पर कार्य करने वाला पॉली Z ऑपरेटर।

  • गणितीय परिभाषा: $\hat{Z}_1$ के समान लेकिन दूसरे क्यूबिट पर कार्य करता है।
  • भौतिक/तार्किक भूमिका: $\hat{Z}_1$ के समान लेकिन एक अलग क्यूबिट पर।

• $\hat{Z}_1\hat{Z}_2$: क्यूबिट्स 1 और 2 पर पॉली Z ऑपरेटरों का टेन्सर उत्पाद।

  • गणितीय परिभाषा: $\hat{Z}_1 \otimes \hat{Z}_2$।
  • भौतिक/तार्किक भूमिका: एक दो-क्यूबिट इंटरैक्शन या सहसंबंध का प्रतिनिधित्व करता है। यह विशिष्ट इंटरैक्शन वह है जो अन्य पॉली ऑपरेटरों को इसके माध्यम से विकसित होने पर ऑपरेटर आकारों को "संकुचित" करने में सक्षम बनाता है।

ऑपरेटर आकार संकुचन (समीकरण 3) के लिए:
$$ m = \text{Size}(\hat{U}_{ct} \hat{O} \hat{U}_{ct}^\dagger) = \begin{cases} N_{xy} & \text{if } N_{xy} \in \text{odd}, \\ k & \text{if } N_{xy} \in \text{even}. \end{cases} $$

• $m$: विकसित ऑपरेटर का नया आकार।

  • गणितीय परिभाषा: गैर-पहचान पॉली ऑपरेटरों की एक पूर्णांक गणना।
  • भौतिक/तार्किक भूमिका: यह संकुचनशील एकात्मक को लागू करने का प्रत्यक्ष परिणाम है। लक्ष्य इस $m$ को यथासंभव छोटा बनाना है।

• $\text{Size}(\dots)$: ऑपरेटर आकार फलन।

  • गणितीय परिभाषा: एक फलन जो पॉली स्ट्रिंग में गैर-पहचान पॉली ऑपरेटरों की संख्या की गणना करता है।
  • भौतिक/तार्किक भूमिका: यह वह मीट्रिक है जिसका उपयोग ऑपरेटर के "फैलाव" या "जटिलता" को मापने के लिए किया जाता है।

• $\hat{U}_{ct}$: $k$ क्यूबिट्स के लिए पूर्ण संकुचनशील एकात्मक।

  • गणितीय परिभाषा: $\prod_{i
  • भौतिक/तार्किक भूमिका: यह $k$-क्यूबिट उप-सिस्टम पर लागू पूर्ण नियतात्मक एकात्मक संचालन है। कम्यूटिंग दो-क्यूबिट गेट्स से इसका विशिष्ट निर्माण इसकी दक्षता की कुंजी है।

• $\hat{O}$: प्रारंभिक पॉली स्ट्रिंग ऑपरेटर।

  • गणितीय परिभाषा: $k$ पॉली ऑपरेटरों (X, Y, Z, I) का टेन्सर उत्पाद।
  • भौतिक/तार्किक भूमिका: यह वह अवलोकन योग्य है जिसका अपेक्षित मान हम अनुमान लगाना चाहते हैं। यह एकात्मक विकास का इनपुट है।

• $\hat{U}_{ct}^\dagger$: $\hat{U}_{ct}$ का हर्मिटियन संयुग्म।

  • गणितीय परिभाषा: एकात्मक ऑपरेटर का व्युत्क्रम।
  • भौतिक/तार्किक भूमिका: एक ऑपरेटर $\hat{O}$ का एकात्मक विकास $\hat{U}\hat{O}\hat{U}^\dagger$ द्वारा दिया जाता है।

• $N_{xy}$: प्रारंभिक पॉली स्ट्रिंग $\hat{O}$ में X और Y ऑपरेटरों की कुल संख्या।

  • गणितीय परिभाषा: एक पूर्णांक गणना।
  • भौतिक/तार्किक भूमिका: यह प्रारंभिक ऑपरेटर का महत्वपूर्ण गुण है जो निर्धारित करता है कि संकुचनशील एकात्मक कैसे कार्य करता है। $N_{xy}$ की समता (विषम या सम) निर्धारित करती है कि ऑपरेटर का आकार संकुचित होता है या अपरिवर्तित रहता है।

• $k$: उप-सिस्टम में क्यूबिट की संख्या।

  • गणितीय परिभाषा: एक पूर्णांक।
  • भौतिक/तार्किक भूमिका: यह ऑपरेटर का प्रारंभिक आकार है, यह मानते हुए कि यह एक आकार-$k$ पॉली स्ट्रिंग है (यानी, प्रारंभ में कोई पहचान ऑपरेटर नहीं है)।

• if $N_{xy} \in \text{odd}$: यह सशर्त कथन संकुचन का वर्णन करता है।

  • भौतिक/तार्किक भूमिका: यदि प्रारंभिक ऑपरेटर में X या Y घटकों की विषम संख्या है, तो संकुचनशील एकात्मक प्रभावी रूप से सभी Z ऑपरेटरों को पहचान ऑपरेटरों में परिवर्तित कर देता है, जिससे ऑपरेटर का आकार $k$ से केवल $N_{xy}$ तक कम हो जाता है।

• if $N_{xy} \in \text{even}$: यह सशर्त कथन कोई संकुचन नहीं होने का वर्णन करता है।

  • भौतिक/तार्किक भूमिका: यदि प्रारंभिक ऑपरेटर में X या Y घटकों की सम संख्या है, तो Z ऑपरेटर Z बने रहते हैं, और ऑपरेटर का आकार $k$ रहता है। संकुचनशील एकात्मक इस विशिष्ट मामले में Z ऑपरेटरों के लिए मदद नहीं करता है, लेकिन यह आकार नहीं बढ़ाता है।

संकुचनशील एकात्मक (समीकरण 4) के पॉली भार के लिए:
$$ w(\hat{O})_{ct} = \frac{1}{2 \cdot 3^k} \left[ \frac{(-1)^k + 1}{9^k} + \left(\frac{5}{9}\right)^k \right] $$

• $w(\hat{O})_{ct}$: $k$-आकार के पॉली ऑपरेटरों के एनसेंबल पर औसत, विकसित ऑपरेटर $\hat{O}_{ct}$ का पॉली भार।

  • गणितीय परिभाषा: यह संकुचनशील एकात्मक का उपयोग करते समय परिकलित औसत पॉली भार है। यह मास्टर समीकरण से $w(\hat{O}_U)_{\mathcal{E}_U}$ का एक विशिष्ट उदाहरण है।
  • भौतिक/तार्किक भूमिका: यह मान सीधे छाया मानदंड के स्केलिंग को निर्धारित करता है। लेखकों ने दिखाया है कि यह मान $\sim 1.8^k$ के रूप में स्केल करता है, जो यादृच्छिक क्लिफर्ड एकात्मक के $\sim 2^k$ स्केलिंग से बेहतर है।

• $\frac{1}{2 \cdot 3^k}$: एक समग्र स्केलिंग कारक।

  • गणितीय परिभाषा: व्युत्क्रम घातांक।
  • भौतिक/तार्किक भूमिका: यह $k$ क्यूबिट्स पर पॉली स्ट्रिंग्स की कुल संख्या से संबंधित एक सामान्यीकरण कारक है।

• $\frac{(-1)^k + 1}{9^k}$: यह पद तब योगदान देता है जब $N_{xy}$ सम होता है।

  • गणितीय परिभाषा: $k$ पर निर्भर एक पद।
  • भौतिक/तार्किक भूमिका: अभिव्यक्ति का यह भाग उन प्रारंभिक ऑपरेटरों से पॉली भार में योगदान का हिसाब रखता है जहां X और Y घटकों की संख्या ($N_{xy}$) सम है। इस परिदृश्य में, Z ऑपरेटरों को संकुचित नहीं किया जाता है, और ऑपरेटर का आकार $k$ रहता है।

• $\left(\frac{5}{9}\right)^k$: यह पद तब योगदान देता है जब $N_{xy}$ विषम होता है।

  • गणितीय परिभाषा: $k$ पर निर्भर एक पद।
  • भौतिक/तार्किक भूमिका: यह महत्वपूर्ण पद है जो बेहतर स्केलिंग प्रदान करता है। यह उन प्रारंभिक ऑपरेटरों से योगदान का हिसाब रखता है जहां $N_{xy}$ विषम है, जिससे Z ऑपरेटरों का संकुचन होता है और एक छोटा प्रभावी ऑपरेटर आकार होता है। $5/9 \approx 0.55$ के घातीय आधार वाला यह पद $1.8^k$ स्केलिंग को चलाता है, न कि यादृच्छिक क्लिफर्ड एकात्मक से $2^k$ स्केलिंग के विपरीत।
  • जोड़ क्यों? ये दो पद प्रारंभिक पॉली ऑपरेटरों के दो असंयुक्त सेटों (सम $N_{xy}$ वाले और विषम $N_{xy}$ वाले) से योगदान का प्रतिनिधित्व करते हैं, इसलिए उनके औसत भार जुड़ जाते हैं।

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

एकल अमूर्त डेटा बिंदु की कल्पना करें, जो इस संदर्भ में एक क्वांटम अवस्था $\rho$ है जो $N$ क्यूबिट्स पर है, और हम एक विशिष्ट पॉली स्ट्रिंग अवलोकन योग्य $\hat{O}$ के अपेक्षित मान का अनुमान लगाना चाहते हैं जो $k$-क्यूबिट उप-सिस्टम पर कार्य करता है। यहाँ "गणितीय इंजन" इसे कैसे संसाधित करता है:

1. प्रारंभिक अवस्था और अवलोकन योग्य: हम एक क्वांटम अवस्था $\rho$ और एक लक्ष्य पॉली स्ट्रिंग अवलोकन योग्य $\hat{O}$ (जैसे, $\hat{X}_1\hat{Z}_3\hat{Y}_5$) के साथ एक $k$-क्यूबिट उप-सिस्टम पर शुरू करते हैं। लक्ष्य $\text{Tr}(\hat{O}\rho)$ का अनुमान लगाना है।

2. यादृच्छिक एकल-क्यूबिट रोटेशन: मुख्य एकात्मक लागू करने से पहले, $k$-क्यूबिट उप-सिस्टम यादृच्छिक एकल-क्यूबिट रोटेशन, $\prod_i \hat{u}_{1,i}$ की एक परत से गुजरता है। ये रोटेशन क्लिफर्ड समूह से नमूना लिए जाते हैं और स्थानीय आधार निर्भरता को समाप्त करने का काम करते हैं, यह सुनिश्चित करते हुए कि सभी ऑपरेटरों को समान रूप से मापा जाता है।

3. संकुचनशील एकात्मक का अनुप्रयोग: यहीं पर पत्र का नवाचार आता है। एक वैश्विक नियतात्मक एकात्मक, $\hat{U}_{ct}$, $k$-क्यूबिट उप-सिस्टम पर लागू किया जाता है। यह $\hat{U}_{ct}$ दो-क्यूबिट संकुचनशील एकात्मक $\hat{U}_{ij} = \exp(i\frac{\pi}{4} \hat{Z}_i\hat{Z}_j)$ के उत्पाद के रूप में उप-सिस्टम के भीतर सभी क्यूबिट जोड़े $i, j$ के लिए निर्मित होता है। इस चरण का उद्देश्य अवलोकन योग्य $\hat{O}$ को एक "विकसित" ऑपरेटर $\hat{O}_{ct} = \hat{U}_{ct} \hat{O} \hat{U}_{ct}^\dagger$ में बदलना है। यहाँ जादू यह है कि $\hat{U}_{ct}$ को पॉली स्ट्रिंग ऑपरेटरों के "आकार" को संकुचित करने के लिए डिज़ाइन किया गया है। विशेष रूप से, यदि प्रारंभिक $\hat{O}$ में $\hat{X}$ या $\hat{Y}$ घटकों की विषम संख्या है ($N_{xy}$ विषम है), तो $\hat{U}_{ct}$ प्रभावी रूप से $\hat{O}$ में $\hat{Z}$ ऑपरेटरों को पहचान ऑपरेटरों में परिवर्तित कर देता है, जिससे ऑपरेटर का आकार $k$ से $N_{xy}$ तक कम हो जाता है। यदि $N_{xy}$ सम है, तो आकार $k$ रहता है। इस प्रोटोकॉल का समग्र आर्किटेक्चर, जिसमें यादृच्छिक एकल-क्यूबिट रोटेशन और वैश्विक एकात्मक शामिल हैं, को योजनाबद्ध रूप से चित्र 1a में दर्शाया गया है। चित्र 1b आगे दर्शाता है कि यह संकुचनशील एकात्मक यादृच्छिक क्लिफर्ड एकात्मक की तुलना में ऑपरेटर आकार वितरण को कैसे बदलता है।

4. यादृच्छिक एकल-क्यूबिट रोटेशन की एक और परत: संकुचनशील एकात्मक के बाद, यादृच्छिक एकल-क्यूबिट रोटेशन, $\prod_i \hat{u}_{2,i}$ की एक और परत लागू की जाती है। यह पूर्ण समग्र एकात्मक संचालन $\hat{U}_{\text{eff}} = (\prod_i \hat{u}_{2,i}) \hat{U}_{ct} (\prod_j \hat{u}_{1,j})$ को पूरा करता है।

5. कम्प्यूटेशनल आधार में मापन: समग्र एकात्मक $\hat{U}_{\text{eff}}$ को अवस्था $\rho$ पर लागू करने के बाद, $k$-क्यूबिट उप-सिस्टम को कम्प्यूटेशनल आधार में मापा जाता है। यह एक शास्त्रीय माप परिणाम उत्पन्न करता है, मान लीजिए $|z\rangle = |z_1, \dots, z_k\rangle$।

6. शास्त्रीय स्नैपशॉट पुनर्निर्माण: प्रत्येक माप परिणाम $|z\rangle$ से, घनत्व मैट्रिक्स का एक "शास्त्रीय स्नैपशॉट" पुनर्निर्मित किया जाता है। यह स्नैपशॉट $\sigma_U(z) = \hat{U}_{\text{eff}}^\dagger |z\rangle\langle z| \hat{U}_{\text{eff}}$ द्वारा दिया जाता है। यह माप परिणाम का एक "अन-इवोल्यूशन" है।

7. अवलोकन योग्य के लिए भविष्यवाणी: पुनर्निर्मित स्नैपशॉट $\sigma_U(z)$ में से प्रत्येक के लिए, $\hat{O}$ के अपेक्षित मान के लिए एक भविष्यवाणी की जाती है। इसकी गणना $\text{Tr}(\hat{O} \sigma_U(z))$ के रूप में की जाती है। यहाँ मुख्य बात यह है कि प्रभावी ऑपरेटर $\hat{O}_{\text{eff}} = \hat{U}_{\text{eff}}^\dagger \hat{O} \hat{U}_{\text{eff}}$ का एक आकार वितरण $\pi(m)$ है जो संकुचनशील एकात्मक के कारण छोटे $m$ मानों की ओर स्थानांतरित हो जाता है। यह $\text{Tr}(\hat{O} \sigma_U(z))$ गणना को अधिक कुशल बनाता है।

8. स्नैपशॉट का औसत: चरणों 2-7 को कई बार (मान लीजिए, $M$ बार) दोहराया जाता है ताकि पर्याप्त संख्या में शास्त्रीय स्नैपशॉट एकत्र किए जा सकें। $\text{Tr}(\hat{O}\rho)$ के लिए अंतिम अनुमान इन व्यक्तिगत भविष्यवाणियों का औसत करके प्राप्त किया जाता है: $\frac{1}{M} \sum_{\alpha=1}^M \text{Tr}(\hat{O} \sigma_U(z^\alpha))$।

9. नमूना जटिलता में कमी: पूरी प्रक्रिया को इस तरह से डिज़ाइन किया गया है कि इस अनुमानक का विचरण, जो छाया मानदंड $||\hat{O}||^2_{\mathcal{E}_U}$ है, काफी कम हो जाता है। ऑपरेटर आकार वितरण $\pi(m)$ को छोटे $m$ मानों पर केंद्रित करके (संकुचनशील एकात्मक की बदौलत), $\sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m}$ पद छोटा हो जाता है, जिससे एक छोटा छाया मानदंड और इस प्रकार एक निश्चित परिशुद्धता के लिए कम $M$ माप की आवश्यकता होती है। पत्र दर्शाता है कि यह कमी $2^k$ स्केलिंग (यादृच्छिक क्लिफर्ड) से $1.8^k$ स्केलिंग (संकुचनशील एकात्मक) तक है।

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

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

1. "हानि परिदृश्य": वैचारिक रूप से, एक "हानि परिदृश्य" की कल्पना की जा सकती है जहां "हानि" छाया मानदंड $||\hat{O}||^2_{\mathcal{E}_U}$ है और "पैरामीटर" एकात्मक एनसेंबल $\mathcal{E}_U$ की पसंद हैं। यादृच्छिक क्लिफर्ड एकात्मक का उपयोग करने वाले पिछले काम ने इस परिदृश्य में एक निश्चित बिंदु पाया, जिससे $2^k$ की नमूना जटिलता स्केलिंग प्राप्त हुई।

2. डिजाइन द्वारा "सीखना": लेखकों ने विश्लेषण करके "सीखा" कि विभिन्न एकात्मक संचालन ऑपरेटर आकार वितरण $\pi(m)$ को कैसे प्रभावित करते हैं। उन्होंने पाया कि एक विशिष्ट नियतात्मक एकात्मक, "संकुचनशील एकात्मक" ($\hat{U}_{ct}$), में पॉली स्ट्रिंग ऑपरेटरों के आकार को चुनिंदा रूप से कम करने का अनूठा गुण है। यह एक सैद्धांतिक सफलता है, न कि एक एल्गोरिथम।

3. संकुचन का तंत्र: इस "अनुकूलन" का मूल $\hat{Z}_i\hat{Z}_j$ इंटरैक्शन के विशिष्ट बीजगणितीय गुण हैं। जब एक पॉली ऑपरेटर जैसे $\hat{X}_i$ या $\hat{Y}_i$ को $\hat{U}_{ij} = \exp(i\frac{\pi}{4} \hat{Z}_i\hat{Z}_j)$ द्वारा विकसित किया जाता है, तो यह अन्य $\hat{Z}$ ऑपरेटरों को बदल सकता है। उदाहरण के लिए, यदि एक ऑपरेटर $\hat{O}$ में $\hat{X}$ या $\hat{Y}$ घटकों की विषम संख्या है ($N_{xy}$ विषम है), तो $\hat{U}_{ct}$ प्रभावी रूप से $\hat{O}$ में $\hat{Z}$ ऑपरेटरों को पहचान ऑपरेटरों ($\hat{I}$) में परिवर्तित कर देता है। यह कम्यूटेशन संबंधों का एक सीधा परिणाम है: $\hat{U}_{ij} \hat{Z}_i \hat{U}_{ij}^\dagger = \hat{Z}_i$ और $\hat{U}_{ij} \hat{X}_i \hat{U}_{ij}^\dagger = \hat{X}_i \hat{Z}_j$ । महत्वपूर्ण हिस्सा यह है कि ये इंटरैक्शन कई क्यूबिट्स में कैसे फैलते हैं। जब $N_{xy}$ विषम होता है, तो $\hat{Z}$ ऑपरेटर प्रभावी रूप से $\hat{Z}_i\hat{Z}_j$ गेट्स की सामूहिक कार्रवाई के कारण "रद्द" हो जाते हैं या $\hat{I}$ बन जाते हैं। यह ऑपरेटर के आकार को $k$ से $N_{xy}$ तक कम कर देता है।

4. वितरण को आकार देना: महत्वपूर्ण पॉली स्ट्रिंग्स के एक महत्वपूर्ण अंश के लिए ऑपरेटर आकार को संकुचित करके, संकुचनशील एकात्मक $\pi(m)$ आकार वितरण को फिर से आकार देता है। यादृच्छिक क्लिफर्ड एकात्मक (लाल रेखा) के साथ लगभग $m \approx 3k/4$ पर केंद्रित एक व्यापक द्विपद वितरण होने के बजाय, $\pi(m)$ में अब छोटे $m$ मानों (विशेष रूप से, विषम $N_{xy}$ के लिए $N_{xy}$ और $k$ पर एक डेल्टा पीक) पर एक महत्वपूर्ण पीक होता है। छोटे ऑपरेटर आकारों की ओर यह बदलाव सीधे $\sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m}$ को कम करता है, जिससे छाया मानदंड कम हो जाता है।

5. बेहतर स्केलिंग में अभिसरण: "अभिसरण" पुनरावृत्त नहीं है, बल्कि एक बेहतर स्केलिंग कानून का प्रदर्शन है। लेखकों ने सैद्धांतिक रूप से (और संख्यात्मक रूप से सत्यापित) व्युत्पन्न किया है कि यह सावधानीपूर्वक निर्मित संकुचनशील एकात्मक $\sim 1.8^k$ (या स्लाइडिंग ट्रिक के साथ $k \times 1.8^k$) की छाया मानदंड स्केलिंग की ओर ले जाता है, जो पिछले तरीकों की $2^k$ स्केलिंग से एक महत्वपूर्ण सुधार है। यह वैचारिक हानि परिदृश्य में एक बेहतर क्षेत्र में एक "कूद" का प्रतिनिधित्व करता है, जो पुनरावृत्त अनुकूलन के बजाय बुद्धिमान डिजाइन के माध्यम से प्राप्त किया जाता है। तंत्र स्वाभाविक रूप से नियतात्मक है एक बार एकात्मक चुने जाने के बाद; यादृच्छिकता केवल एकल-क्यूबिट रोटेशन और माप परिणामों से आती है, न कि मुख्य एकात्मक से।

Figure 3. The sliding trick for situations in which the location of the Pauli string operator is un- known. a, Schematics of the sliding trick. Each box represents an independent composite unitary applied to a subsystem with k qubits, as shown in Fig. 1a

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

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

अपने गणितीय दावों को कठोरता से मान्य करने के लिए, लेखकों ने संख्यात्मक प्रयोगों की एक श्रृंखला तैयार की, जो मुख्य रूप से दो प्रकार के N-क्यूबिट लंबी दूरी के एंटैंगल्ड अवस्थाओं पर केंद्रित थे: ग्रीनबर्गर-हॉर्न-ज़िलिंगर (GHZ) अवस्था और आवधिक सीमा शर्तों के साथ एक-आयामी क्लस्टर (ZXZ) अवस्था। इन प्रयोगों के लिए, $k$ सन्निहित क्यूबिट्स के एक उप-सिस्टम को चुना गया था, और विशिष्ट पॉली स्ट्रिंग ऑपरेटरों के लिए भविष्यवाणियां की गई थीं। GHZ अवस्था के लिए, लक्ष्य ऑपरेटर $\hat{O} = Z_1Z_2...Z_{k-1}Z_k$ था, जबकि ZXZ अवस्था के लिए, यह $\hat{O} = Z_1Y_2X_3X_4...X_{k-2}Y_{k-1}Z_k$ था। महत्वपूर्ण रूप से, ये अवस्थाएँ स्टेबलाइज़र औपचारिकता के तहत कुशल प्रतिनिधित्व की अनुमति देती हैं, जिससे सटीक अपेक्षित मानों की विश्लेषणात्मक व्युत्पत्ति संभव होती है, जैसे कि GHZ अवस्थाओं के लिए $\langle \hat{O} \rangle = ((-1)^{k+1})/2$ और ZXZ अवस्थाओं के लिए $\langle \hat{O} \rangle = (-1)^k$। ये विश्लेषणात्मक मान "कठोर बेंचमार्क" के रूप में काम करते थे जिनके विरुद्ध प्रयोगात्मक भविष्यवाणियों की तुलना की गई थी।

प्रत्येक नमूना प्रक्रिया के लिए प्रयोगात्मक प्रक्रिया में कई चरण शामिल थे। सबसे पहले, एकल-क्यूबिट रोटेशन को 24 एकल-क्यूबिट क्लिफर्ड गेट्स के एक सेट से स्वतंत्र रूप से उत्पन्न किया गया था। इसके बाद, समग्र एकात्मक संचालन, जैसा कि चित्र 1a में दर्शाया गया है, लागू किया गया था, जिसके बाद कम्प्यूटेशनल आधार में माप परिणाम $z^\alpha$ का नमूना लिया गया था। प्रत्येक स्नैपशॉट के लिए भविष्यवाणी को समीकरण (1) से सटीक छाया मानदंड का उपयोग करके $O^\alpha = ||\hat{O}||^{-2} \text{Tr}(\hat{O}\sigma_U(z^\alpha))$ के रूप में गणना की गई थी। बड़ी संख्या में स्नैपशॉट, विशेष रूप से $N = 10^5$, एकत्र करने के बाद, अपेक्षित मान के लिए अंतिम भविष्यवाणी इन स्नैपशॉट का औसत करके प्राप्त की गई थी: $E[\langle \hat{O} \rangle] = \sum_{\alpha=1}^N O^\alpha / N$ । इस अपेक्षा के मानक विचलन का अनुमान तब विचरण $D[\langle \hat{O} \rangle] = \sum_{\alpha=1}^N (O^\alpha - E[\langle \hat{O} \rangle])^2 / N$ से लगाया गया था।

इस तुलना में "पीड़ित" (बेसलाइन मॉडल) यादृच्छिक क्लिफर्ड एकात्मक का उपयोग करने वाले प्रोटोकॉल थे, जो शास्त्रीय छाया टॉमोग्राफी में अत्याधुनिक का प्रतिनिधित्व करते हैं। प्राथमिक परिणाम $N = 20$ की सिस्टम आकार के लिए प्रस्तुत किए गए थे, जिसमें $k \sim 20$ तक बड़े सिस्टम तक विस्तारित पूरक जानकारी थी।

प्रयोगों के एक और सेट ने उन परिदृश्यों को संबोधित किया जहां पॉली स्ट्रिंग ऑपरेटर का सटीक स्थान अज्ञात है। इसके लिए, एक "स्लाइडिंग ट्रिक" पेश की गई थी। $N = n_0 k$ क्यूबिट्स की प्रणाली को $n_0$ उप-प्रणालियों में विभाजित किया गया था, जिनमें से प्रत्येक में $k$ क्यूबिट्स थे। एकात्मक को एक क्यूबिट से एक दिशा में स्लाइड किया गया था, जिससे $k$ अलग-अलग एकात्मक सेट उत्पन्न हुए। सर्किट संरचना को $1/k$ की संभावना के साथ यादृच्छिक रूप से चुना गया था। उदाहरण के लिए, ZXZ अवस्था के लिए ऑपरेटर $\hat{O} = Z_{n_r+1}Y_{n_r+2}X_{n_r+3}X_{n_r+4}...X_{n_r+k-2}Y_{n_r+k-1}Z_{n_r+k}$ का उपयोग किया गया था, जहां $n_r \in [0, N)$ एक यादृच्छिक पूर्णांक था। इन परीक्षणों के लिए सिस्टम का आकार $N = 3k$ था। इस परिदृश्य के लिए बेसलाइन स्लाइडिंग ट्रिक के साथ संवर्धित यादृच्छिक क्लिफर्ड प्रोटोकॉल था। इस स्लाइडिंग ट्रिक के योजनाबद्ध चित्रण चित्र 3a में दर्शाए गए हैं।

साक्ष्य क्या साबित करते हैं

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

उन स्थितियों के लिए जहां ऑपरेटर स्थान ज्ञात है, चित्र 2a और 2b निर्विवाद साक्ष्य प्रदान करते हैं कि संकुचनशील एकात्मक और यादृच्छिक क्लिफर्ड प्रोटोकॉल दोनों पॉली स्ट्रिंग ऑपरेटरों के अपेक्षित मानों के लिए निष्पक्ष भविष्यवाणियां उत्पन्न करते हैं। ठोस रेखाएँ, जो संख्यात्मक परिणामों का प्रतिनिधित्व करती हैं, काली धराशायी रेखाओं के साथ उल्लेखनीय रूप से संरेखित होती हैं, जो GHZ और ZXZ दोनों अवस्थाओं के लिए विश्लेषणात्मक रूप से व्युत्पन्न सटीक अपेक्षित मानों को दर्शाती हैं। यह सटीकता के मामले में दोनों दृष्टिकोणों की वैधता की पुष्टि करता है।

हालांकि, संकुचनशील एकात्मक का निश्चित लाभ चित्र 2c और 2d में स्पष्ट रूप से सामने आता है, जो ऑपरेटर अपेक्षा के विचरण $D[\langle \hat{O} \rangle]$ को प्लॉट करते हैं। यहाँ, संकुचनशील एकात्मक प्रोटोकॉल लगातार यादृच्छिक क्लिफर्ड प्रोटोकॉल की तुलना में कम मानक विचलन (और इस प्रकार कम विचरण) प्रदर्शित करता है, खासकर जैसे-जैसे $k$ बढ़ता है। इन आंकड़ों में धराशायी रेखाएँ सीधे सैद्धांतिक स्केलिंग कानूनों की पुष्टि करती हैं: संकुचनशील एकात्मक लगभग $2 \times 1.8^k$ की नमूना जटिलता स्केलिंग प्राप्त करता है, जबकि यादृच्छिक क्लिफर्ड प्रोटोकॉल $2^k$ के रूप में स्केल करता है। यह कठोर साक्ष्य है कि उनका मुख्य तंत्र वास्तविकता में काम करता है। $2^k$ से $1.8^k$ तक की कमी महत्वपूर्ण है; $k \sim 100$ के लिए, जो आधुनिक क्वांटम संगणना प्लेटफार्मों पर प्राप्त करने योग्य आकार है, यह नमूना संसाधनों में 10,000 गुना से अधिक सुधार में तब्दील होता है। पत्र यह भी नोट करता है कि संकुचनशील एकात्मक प्रोटोकॉल क्वांटम शोर के प्रति मजबूती प्रदर्शित करता है, जैसा कि पूरक जानकारी (चित्र S4) में दिखाया गया है।

इस बेहतर स्केलिंग का अंतर्निहित कारण चित्र 1b द्वारा नेत्रहीन रूप से समर्थित है, जो ऑपरेटर आकार वितरण $\pi(m)$ को दर्शाता है। यादृच्छिक क्लिफर्ड एकात्मक (लाल रेखा) ऑपरेटर को अधिकतम रूप से भटकाता है, जिससे लगभग $m/k \approx 3/4$ पर केंद्रित एक व्यापक द्विपद वितरण होता है। इसके विपरीत, संकुचनशील एकात्मक (नीली रेखा) एक वितरण का परिणाम है जो एक छोटे ऑपरेटर आकार पर केंद्रित होता है, विशेष रूप से $m/k \approx 2/3$ के पास, साथ ही $k$ पर एक अतिरिक्त डेल्टा पीक। छोटे ऑपरेटर आकारों पर यह अधिक केंद्रित वितरण संकुचनशील एकात्मक की ऑपरेटर आकार को कम करने की क्षमता का प्रत्यक्ष परिणाम है, जिससे एक छोटा छाया मानदंड और, परिणामस्वरूप, एक कम नमूना जटिलता होती है।

यहां तक ​​कि जब ऑपरेटर का सटीक स्थान अज्ञात होता है, तब भी "स्लाइडिंग ट्रिक" संकुचनशील एकात्मक के साथ मिलकर अपना लाभ बनाए रखती है। चित्र 3b और 3c दिखाते हैं कि दोनों प्रोटोकॉल, स्लाइडिंग ट्रिक से लैस होने पर, निष्पक्ष भविष्यवाणियां प्रदान करते हैं। महत्वपूर्ण रूप से, स्लाइडिंग ट्रिक के साथ संकुचनशील एकात्मक के लिए विचरण $(32/19)k \times 1.8^k$ के रूप में स्केल करता है, जो यादृच्छिक क्लिफर्ड प्रोटोकॉल के $k \times 2^k$ स्केलिंग को बेहतर प्रदर्शन करता है। तालिका I एक संक्षिप्त सारांश प्रदान करती है, जो ज्ञात ($1.8^k$) और अज्ञात ($k \times 1.8^k$) ऑपरेटर स्थान परिदृश्यों दोनों में संकुचनशील एकात्मक की बेहतर नमूना जटिलता को उजागर करती है, जिसकी तुलना यादृच्छिक क्लिफर्ड ($2^k$ और $k \times 2^k$) और उथले सर्किट प्रोटोकॉल ($>2^k$) से की जाती है।

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

जबकि संकुचनशील एकात्मक प्रोटोकॉल एक महत्वपूर्ण प्रगति प्रस्तुत करता है, इसकी वर्तमान सीमाओं को स्वीकार करना और भविष्य के विकास के लिए रास्ते पर विचार करना महत्वपूर्ण है।

एक उल्लेखनीय चुनौती तब उत्पन्न होती है जब ऑपरेटर स्थानों के बिना परिदृश्यों में दृष्टिकोण का विस्तार किया जाता है। "स्लाइडिंग ट्रिक" को इसे संबोधित करने के लिए पेश किया गया है, लेकिन यह नमूना जटिलता में $k$ का एक कारक जोड़ता है, जिसके परिणामस्वरूप $k \times 1.8^k$ की स्केलिंग होती है। जबकि यह अभी भी यादृच्छिक क्लिफर्ड के $k \times 2^k$ से बेहतर है, यह सुझाव देता है कि इस $k$ कारक को कम करने के लिए आगे अनुकूलन संभव हो सकता है। पूरे सिस्टम पर (उप-सिस्टम के बजाय) संकुचनशील एकात्मक का एक भोला अनुप्रयोग ऑपरेटर मानदंड में वृद्धि का कारण बन सकता है, और संकुचनशील एकात्मक के लिए, यह पहचान ऑपरेटरों को वापस Z में परिवर्तित कर सकता है, जो आम तौर पर अवांछनीय है। यह स्केलिंग अप करते समय सावधानीपूर्वक डिजाइन की आवश्यकता को उजागर करता है। इसके अलावा, पत्र नोट करता है कि स्लाइडिंग ट्रिक के साथ यादृच्छिक क्लिफर्ड प्रोटोकॉल "अभी भी बड़े $k$ के लिए उथले सर्किट प्रोटोकॉल को मुश्किल से बेहतर प्रदर्शन कर सकता है," जिसका अर्थ है कि जबकि स्लाइडिंग ट्रिक के साथ संकुचनशील एकात्मक बेहतर है, यादृच्छिक क्लिफर्ड वाला इस विशिष्ट परिदृश्य में एक मजबूत दावेदार नहीं है।

आगे देखते हुए, निष्कर्ष कई रोमांचक चर्चा विषयों और अनुसंधान दिशाओं को खोलते हैं:

1. हार्डवेयर-विशिष्ट अनुकूलन और कार्यान्वयन: पत्र इस बात पर जोर देता है कि संकुचनशील एकात्मक परमाणु सरणी क्वांटम संगणना प्लेटफार्मों के लाभों से पूरी तरह मेल खाता है, जो उनके पुन: कॉन्फ़िगर करने योग्य प्रकृति, सभी-से-सभी कनेक्टिविटी और समानांतर गेट संचालन की क्षमता के कारण है। इन प्लेटफार्मों पर उच्च-निष्ठा CZ गेट्स और वैश्विक CZ गेट्स में हाल की प्रायोगिक सफलताएं संकुचनशील एकात्मक को आसानी से लागू करने योग्य बनाती हैं। इसके अलावा, लेखक दिखाते हैं कि एक एकल सहायक क्यूबिट जोड़ने से, संकुचनशील एकात्मक को स्थानीय गेट्स के $k$ चरणों में विघटित किया जा सकता है, जिससे यह सीमित कनेक्टिविटी वाले प्लेटफार्मों जैसे सुपरकंडक्टिंग क्यूबिट्स के साथ संगत हो जाता है। यह विशिष्ट क्वांटम आर्किटेक्चर के लिए तैयार किए गए और भी अधिक कुशल कार्यान्वयन की खोज में एक समृद्ध भविष्य का सुझाव देता है।

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

3. हाइब्रिड यादृच्छिक-नियतात्मक प्रोटोकॉल एक नए प्रतिमान के रूप में: कार्य स्पष्ट रूप से प्रदर्शित करता है कि "यादृच्छिक-नियतात्मक संकर प्रोटोकॉल पूरी तरह से यादृच्छिक मापों से अधिक कुशल हो सकता है।" यह छाया टॉमोग्राफी के लिए पूरी तरह से यादृच्छिक मापों पर निर्भर रहने की पारंपरिक ज्ञान को चुनौती देता है और क्वांटम माप प्रोटोकॉल डिजाइन करने के लिए एक नया प्रतिमान खोलता है। भविष्य के काम में यादृच्छिक और नियतात्मक तत्वों के अन्य संयोजनों का पता लगाया जा सकता है, जो माप दक्षता, मजबूती और कार्यान्वयन जटिलता के बीच इष्टतम व्यापार-बंद की तलाश करते हैं।

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

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

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

Table 1. A comparison of the sample complexity for 34 the contractive unitary protocol, the random Clifford 35 protocol, and the shallow circuits protocol for situations 36 with or without the information of the precise location 37 of the Pauli string operators ˆO. 38 Table 2. Two-qubit Pauli operators with size-2. 39