तकनीकी सारांश: अपूर्ण मापों के साथ क्वांटम गुणों का प्रमाणन

समस्या विवरण

क्वांटम प्रणालियों का सटीक लक्षण वर्णन क्वांटम प्रौद्योगिकियों की प्रगति के लिए एक मौलिक पूर्व शर्त है। इस क्षेत्र में एक महत्वपूर्ण कार्य क्वांटम अवस्थाओं के उत्तल फलनों (convex functions) के मानों को प्रमाणित करना है, जिसमें हैमिल्टोनियन के प्रत्याशा मान (expectation values), क्वांटम फिडेलिटी (quantum fidelities), एंट्रॉपी और क्वांटम फिशर सूचना जैसे आवश्यक मात्राएँ शामिल हैं।

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

कार्यप्रणाली

लेखक एक प्रमाणन विधि प्रस्तावित करते हैं जो शॉट शोर और मापन खामियों दोनों को संयुक्त रूप से ध्यान में रखती है। यह ढांचा संदर्भ [11] में पेश किए गए कॉन्फिडेंस-रीजन दृष्टिकोण को उन परिदृश्यों तक विस्तारित करता है जहाँ प्रयोगकर्ताओं का मापन पर अपूर्ण नियंत्रण होता है।

मुख्य ढांचा

विधि एक प्रायोगिक क्वांटम अवस्था $\omega$ के लिए एक कॉन्फिडेंस रीजन को आदर्श संभावनाओं और प्रयोग द्वारा अनुमानित समकक्षों के बीच की दूरी को सीमित करके परिभाषित करती है। यह दो प्राथमिक घटकों के माध्यम से प्राप्त किया जाता है:

1. सांख्यिकीय त्रुटि (शॉट शोर): अनुभवजन्य अनुमान $\hat{f}$ और वास्तविक संभाव्यता वेक्टर $\vec{p}$ के बीच के विचलन को ब्रेटानोल-हूबर-कैरॉल असमानता (Bretagnolle–Huber–Carol inequality) का उपयोग करके सीमित किया जाता है। $N$ प्रतियों और $m$ मापन परिणामों के लिए, $l_1$ दूरी को प्रायिकता $1-\delta$ के साथ $\epsilon_1 = \sqrt{\frac{2}{N} \ln \frac{2m}{\delta}}$ द्वारा सीमित किया जाता है।

2. व्यवस्थित त्रुटि (मापन खामियां): लक्षित पॉजिटिव-ऑपरेटर वैल्युड मेजर (POVM) $\{E_k\}$ और वास्तविक कार्यान्वित POVM $\{F_k\}$ के बीच के अंतर को परिचालन दूरी (operational distance) $d_{op}(E, F)$ का उपयोग करके मापा जाता है। यह दूरी दो POVM द्वारा उत्पन्न संभाव्यता वितरणों के बीच अधिकतम $l_1$ दूरी के रूप में परिभाषित है। लेखक इस दूरी को $\epsilon_2$ द्वारा सीमित करते हैं, ताकि $d_{op}(E, F) \leq \epsilon_2/2$ हो।

प्रमाणन प्रोटोकॉल

एक उत्तल फलन $F(\omega)$ के प्रमाणित सीमाएँ (certified bounds) एक उत्तल अनुकूलन समस्या (convex optimization problem) को हल करके प्राप्त की जाती हैं। लक्ष्य घनत्व मैट्रिसेस (density matrices) के एक सेट $\rho$ पर $F(\rho)$ का न्यूनतम (या अधिकतम) खोजना है जो कम से कम $1-\delta$ की प्रायिकता के साथ निम्नलिखित बाधाओं को पूरा करते हैं:

• $\text{tr}(\rho) = 1$ और $\rho \geq 0$।
• $\sum_{k=1}^m |\text{tr}(E_k \rho) - \hat{f}_k| \leq \epsilon_1 + \epsilon_2$।

यहाँ, $\hat{f}_k$ अपूर्ण POVM $\{F_k\}$ को मापने से प्राप्त प्रायोगिक आवृत्ति है। बाधा योग $\epsilon_1 + \epsilon_2$ को त्रिकोण असमानता (triangle inequality) के माध्यम से व्युत्पन्न किया गया है, जो सांख्यिकीय त्रुटि और आदर्श एवं वास्तविक मापों के बीच परिचालन दूरी को जोड़ता है।

परिचालन दूरी सीमा ($\epsilon_2$) का निर्धारण

लेखक उपलब्ध प्रयोगात्मक सेटअप के ज्ञान के आधार पर $\epsilon_2$ के अनुमान के लिए कई स्पष्ट निर्देश प्रदान करते हैं:

• संख्यात्मक सिमुलेशन: यदि शोर के स्रोत अच्छी तरह से चरित्रित हैं, तो $\epsilon_2$ को परिचालन दूरी की परिभाषा या इसके ऊपरी बाउंड का उपयोग करके संख्यात्मक सिमुलेशन के माध्यम से अनुमानित किया जा सकता है।
• टेंसर उत्पाद अपघटन (Tensor Product Decomposition): $n$-qubit प्रणालियों के लिए जहाँ POVM स्थानीय टेंसर उत्पादों में विघटित होते हैं, वैश्विक परिचालन दूरी को स्थानीय परिचालन दूरियों के योग द्वारा सीमित किया जा सकता है, जिससे गणना सरल हो जाती है।
• क्वांटम मेजरमेंट टोमोग्राफी: वास्तविक POVM को प्रायोगिक सांख्यिकी से पुनर्निर्मित किया जा सकता है ताकि दूरी को सीमित किया जा सके।
• प्रत्यक्ष अनुमान: 2-डिज़ाइनों से संबंधित संबंधों का उपयोग करके या आदर्श POVM के लिए रैंक-वन प्रोजेक्टर मानकर, $\epsilon_2$ को विशिष्ट फिडेलिटी-जैसे मात्राओं का प्रयोगात्मक अनुमान लगाकर सीमित किया जा सकता है।

इस विधि की एक प्रमुख विशेषता यह है कि इसे सूचनात्मक रूप से पूर्ण (Informationally Complete - IC) होने की आवश्यकता नहीं है। यह प्रयोगात्मक ओवरहेड को काफी कम कर देता है, क्योंकि IC-POVMs के लिए घातीय रूप से बड़ी संख्या में सेटिंग्स की आवश्यकता होती है।

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

लेखक तीन संख्यात्मक उदाहरणों के माध्यम से अपनी विधि को मान्य करते हैं, जो गलत निष्कर्षों से बचने के लिए इसकी आवश्यकता को प्रदर्शित करते हैं:

1. न्यूनतम तैयारी फिडेलिटी (Minimum Preparation Fidelity): विभिन्न शोर मॉडलों (एम्प्लीट्यूड डैम्पिंग, फेज डैम्पिंग, डिपोलराइजिंग, और रोटेशन शिफ्ट्स) के तहत 100 हार-रैंडम टू-क्यूबिट अवस्थाओं की फिडेलिटी को प्रमाणित करने के लिए इस विधि को लागू किया गया। परिणाम दिखाते हैं कि विधि फिडेलिटी के लिए गैर-तुच्छ निचली सीमाएँ (non-trivial lower bounds) प्रदान करती है, जिसकी सीमाओं की सटीकता शोर की तीव्रता और शॉट्स की संख्या पर निर्भर करती है।

2. स्पिन सिस्टम में चुंबकन (Magnetization in Spin Systems): एक फेरोमैग्नेटिक सिस्टम के अध्ययन में, लेखकों ने दिखाया कि मापन खामतियों (विशेष रूप से मापन आधार के रोटेशन) को अनदेखा करने से यह गलत निष्कर्ष निकलता है कि सिस्टम पूरी तरह से चुंबकित नहीं है। जबकि शोर को ध्यान में रखने वाली विधि ने चुंबकन को 1 के रूप में सही ढंग से पहचाना, व्यवस्थित त्रुटियों को अनदेखा करने वाली विधि ने चुंबकन को काफी कम या रोटेशन कोण और शॉट काउंट के आधार पर नकारात्मक भी बताया।

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

महत्व और दावे

लेखक एक बहुमुखी और मजबूत प्रमाणन ढांचे के लिए दावा करते हैं जो सांख्यिकीय और व्यवस्थित दोनों त्रुटियों को एकीकृत करता है। इसका महत्व निम्नलिखित विशिष्ट योगदानों में निहित है:

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

लेखक निष्कर्ष निकालते हैं कि यह दृष्टिकोण उन वास्तविक सेटिंग्स में कठोर गारंटी प्राप्त करने के लिए एक व्यावहारिक मार्ग प्रदान करता है जहाँ उपकरण शोर वाले होते हैं और अंशांकन सीमित होता है, जो विश्वसनीय क्वांटम प्रौद्योगिकियों के विकास के लिए आवश्यक है।