Near-projective GHZ certification from disjoint Bell measurements

तकनीकी सारांश: विलगित बेल मापन से निकट-प्रक्षेपी (Near-Projective) GHZ प्रमाणन

समस्या विवरण
बहु-कण उलझाव वाली अवस्थाओं (multipartite entangled states) को प्रमाणित करना क्वांटम सूचना प्रसंस्करण में एक मौलिक कार्य है। जबकि ज्ञात शुद्ध लक्ष्य अवस्था $|\psi\rangle$ के लिए सैद्धांतिक रूप से इष्टतम सत्यापन एक वैश्विक द्वि-परिणामी प्रोजेक्टर $\{|\psi\rangle\langle\psi|, I - |\psi\rangle\langle\psi|\}$ द्वारा होता है, यह मापन अक्सर प्रयोगात्मक रूप से अवास्तविक होता है या मानक मापन मॉडलों की सीमा से बाहर होता है। इस कार्य में संबोधित विशिष्ट चुनौती $n$-qubit ग्रीनबर्गर–होरने–ज़िलिंगर (GHZ) अवस्था, $|G_n\rangle = (|0^n\rangle + |1^n\rangle)/\sqrt{2}$, का प्रमाणन है, जो सख्त मापन बाधाओं के अंतर्गत आता है। लेखक सत्यापनकर्ता को केवल विलगित दो-qubit बेल-आधारित मापन, और यदि $n$ विषम है तो एक एकल-qubit X-आधारित मापन करने तक सीमित रखते हैं। महत्वपूर्ण रूप से, सत्यापनकर्ता विभिन्न कॉपियों (copies) के बीच मापन नहीं कर सकता, वैश्विक प्रोजेक्टर का उपयोग नहीं कर सकता, या व्युत्क्रम GHZ-तैयारी सर्किट का उपयोग नहीं कर सकता। लक्ष्य यह निर्धारित करना है कि क्या ऐसे प्रतिबंधित स्थानीय उलझाने वाले मापन एक सत्यापन स्पेक्ट्रल गैप (spectral gap) प्राप्त कर सकते हैं जो $n$ के बढ़ने के साथ आदर्श प्रक्षेपी सीमा (स्पेक्ट्रल गैप $\nu = 1$) के करीब पहुँच जाता है, जो मौजूदा स्थानीय पाउली रणनीतियों के विपरीत है जो 1 से दूर सीमित हैं।

कार्यप्रणाली: बेल-मैचिंग प्रमाणन (BM-Cert)
लेखक निर्दिष्ट बाधाओं के तहत GHZ अवस्था के लिए एक एकल-कॉपी सत्यापन प्रोटोकॉल, BM-Cert प्रस्तुत करते हैं।

1. मापन रणनीति:

   • प्रत्येक सत्यापन दौर के लिए, सत्यापनकर्ता $n$ qubits के एक समान रूप से यादृच्छिक क्वासी-परफेक्ट मैचिंग (quasi-perfect matching) $Q$ का नमूना लेता है।
     • यदि $n$ सम (even) है, तो $Q$ एक पूर्ण मैचिंग (perfect matching) है (qubits को $n/2$ विलगित युग्मों में विभाजित करना)।
     • यदि $n$ विषम (odd) है, तो $Q$ एक निकट-पूर्ण मैचिंग (near-perfect matching) है (इसे $(n-1)/2$ युग्मों और एक सिंगलटन में विभाजित किया जाता है)।
   • मैचिंग में प्रत्येक युग्म $\{i, j\}$ के लिए, एक बेल-आधार (Bell-basis) मापन किया जाता है। यह सहमती (commuting) प्रेक्षण योग्यों $Z_i Z_j$ और $X_i X_j$ को संयुक्त रूप से मापता है, जिससे परिणाम $(z_{ij}, x_{ij}) \in \{+1, -1\}^2$ प्राप्त होते हैं।
   • यदि $n$ विषम है, तो सिंगलटन qubit को X-आधार (X-basis) में मापा जाता है।

2. स्वीकृति मानदंड:
   एक दौर तभी स्वीकार किया जाता है यदि:

   • सभी युग्मवार $Z$-पैरिटी मापन $+1$ प्रदान करते हैं (अर्थात, सभी युग्मों के लिए $z_{ij} = +1$)।
   • सभी $X$-पैरिटी परिणामों का गुणनफल (सिंगलटन के X-परिणाम सहित यदि $n$ विषम है) $+1$ होता है।
   • गणितीय रूप से, स्वीकृति की स्थिति प्रोजेक्टर $\Pi_Q = P_X \prod_{e \in M(Q)} P^Z_e$ को लागू करती है, जहाँ $P_X = (I + X^{\otimes n})/2$ और $P^Z_e = (I + Z_i Z_j)/2$ है।

3. सत्यापन ऑपरेटर:
   कुल सत्यापन ऑपरेटर $\Omega_{BM}$ सभी संभावित क्वासी-परफेक्ट मैचिंग पर पास प्रभाव (pass effects) $\Pi_Q$ का समान औसत है।

मुख्य योगदान और सैद्धांतिक परिणाम

• पूर्ण पूर्णता (Perfect Completeness): इस प्रोटोकॉल में पूर्ण पूर्णता है; लक्ष्य अवस्था $|G_n\rangle$ प्रत्येक परीक्षण को 1 की प्रायिकता के साथ पास करती है। ऐसा इसलिए है क्योंकि $|G_n\rangle$, $X^{\otimes n}$ और सभी $Z_i Z_j$ ऑपरेटरों द्वारा स्थिर (stabilized) है, जो किसी भी मैचिंग के लिए स्वीकृति शर्तों को पूरा करता है।
• स्पेक्ट्रल गैप विश्लेषण: लेखक एक विशिष्ट GHZ आधार में, जो बिट स्ट्रिंग्स और उनके पूरक (complements) द्वारा परिभाषित है, $\Omega_{BM}$ का विकर्णीकरण (diagonalization) करते हैं। वे सिद्ध करते हैं कि दूसरा आइजनवैल्यू (eigenvalue) $\beta_{BM}(n)$ (जो $|G_n\rangle$ के लंबवत उपसमष्टि पर सबसे बड़ा आइजनवैल्यू है) है:
  • $n \ge 4$ के सम $n$ के लिए, $\beta_{BM}(n) = \frac{1}{n-1}$।
  • $n \ge 3$ के विषम $n$ के लिए, $\beta_{BM}(n) = \frac{1}{n}$।
  • फलस्वरूप, स्पेक्ट्रल गैप $\nu_{BM}(n) = 1 - O(1/n)$ है।
• अनंतस्पर्शी अनुकूलता (Asymptotic Optimality): स्थानीय पाउली सत्यापन रणनीतियों के विपरीत, जहाँ इष्टतम स्पेक्ट्रल गैप $2/3$ पर सीमित है, BM-Cert का स्पेक्ट्रल गैप $n \to \infty$ होने पर 1 की ओर अग्रसर होता है। इसका तात्पर्य यह है कि कॉपी जटिलता (इन्फिडेलिटी $\epsilon$ और सार्थकता $\delta$ के साथ अवस्था को प्रमाणित करने के लिए आवश्यक नमूने) आदर्श वैश्विक प्रक्षेपी मापन के समान हो जाती है।
• परिवार के भीतर अनुकूलता: यह शोध पत्र सिद्ध करता है कि "परफेक्ट-कम्प्लीटनेस बेल-मैचिंग रणनीतियों" (किसी भी यादृच्छिक रणनीति में जो विलगित बेल मापन और मनमाने शास्त्रीय पोस्ट-प्रोसेसिंग का उपयोग करती है) के भीतर, समान रूप से वितरित BM-Cert रणनीति न्यूनतम संभव दूसरे आइजनवैल्यू को प्राप्त करती है। इस प्रतिबंधित वर्ग में कोई अन्य रणनीति अधिक बड़ा स्पेक्ट्रल गैप नहीं दे सकती।

महत्व और दावे
यह शोध पत्र GHZ अवस्थाओं के लिए मानक स्थानीय पाउली सत्यापन की तुलना में गुणात्मक सुधार का दावा करता है। विलगित युग्मों पर केवल दो-qubit उलझाने वाले मापन की अनुमति देकर, यह प्रोटोकॉल $1 - O(1/n)$ का स्पेक्ट्रल गैप प्राप्त करता है, जो सभी $n \ge 5$ के लिए इष्टतम स्थानीय पाउली रणनीतियों के $2/3$ के बंधन से स्पष्ट रूप से बड़ा है।

लेखक इस बात पर जोर देते हैं कि यह परिणाम दर्शाता है कि "केवल दो-qubit उलझाने वाले मापन को विलगित युग्मों पर अनुमति देना ही आदर्श प्रक्षेपी प्रमाणन प्राप्त करने के लिए पर्याप्त है।" यह उस अंतर्ज्ञान के विपरीत है कि निकट-पूर्ण सत्यापन के लिए वैश्विक प्रोजेक्टर आवश्यक हैं।

सीमाएं और खुले दिशा-निर्देश
लेखक कई सीमाओं और खुले प्रश्नों को नोट करते हैं:

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