Efficient Multi-basis Quantum Position Verification Secure against Generalized Adversaries

तकनीकी सारांश: सामान्यीकृत विरोधियों के विरुद्ध सुरक्षित कुशल मल्टी-बेसिस क्वांटम पोजीशन वेरिफिकेशन

समस्या विवरण
क्वांटम पोजीशन वेरिफिकेशन (QPV) का लक्ष्य क्वांटम संचार और भौतिक धारणाओं का उपयोग करके यह प्रमाणित करना है कि एक प्रूवर (prover) एक विशिष्ट भौतिक स्थिति पर स्थित है। जबकि शास्त्रीय पोजीशन वेरिफिकेशन के लिए मजबूत धारणाओं (जैसे कि सीमित शास्त्रीय मेमोरी या पूर्व-साझा कुंजियों) की आवश्यकता होती है, QPV कमजोर भौतिक धारणाओं पर निर्भर करता है, जैसे कि क्वांटम सूचना को क्लोन करने में असमर्थता। हालांकि, मौजूदा QPV प्रोटोकॉल महत्वपूर्ण व्यावहारिक चुनौतियों का सामना करते हैं:

1. हानि संवेदनशीलता (Loss Sensitivity): BB84 अवस्थाओं पर आधारित प्रोटोकॉल आमतौर पर अधिकतम 50% चैनल लॉस को सहन कर सकते हैं।
2. प्रायोगिक जटिलता (Experimental Complexity): उन प्रोटोकॉल जिनमें मिलान करने वाले तैयारी और मापन आधारों (preparation and measurement bases) की आवश्यकता होती है, उन्हें जटिल स्टेट प्रिपरेशन या वेरीफायर के बीच आधार विकल्पों के सुरक्षित संचार की आवश्यकता होती है।
3. सुरक्षा अंतराल (Security Gaps): मौजूदा सुरक्षा विश्लेषण अक्सर अंतर्निहित धारणाओं पर निर्भर करते हैं, जैसे कि केवल शुद्ध अवस्थाओं (pure states) का उपयोग करने वाले विरोधी, अनबाउंडेड साझा यादृच्छिकता (unbounded shared randomness) का अभाव, या इनपुट से स्वतंत्र ट्रांसमिशन दर।

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

1. प्रोटोकॉल डिजाइन (मल्टी-बेसिस QPV):
   लेखक एक प्रोटोकॉल (प्रोटोकॉल 1) पेश करते हैं जहाँ वेरीफायर छह अवस्थाओं ($|0\rangle, |1\rangle, |+\rangle, |-\rangle, |+i\rangle, |-i\rangle$) में से एक तैयार करता है, लेकिन प्रूवर ब्लॉक स्फीयर (Bloch sphere) पर कई आधारों ($m$ bases) में मापन करता है। महत्वपूर्ण रूप से, तैयारी का आधार और मापन का आधार मेल खाना आवश्यक नहीं है। बिना मेल खाने वाले आधारों के प्रदर्शन का मूल्यांकन करने के लिए, लेखक छह-अवस्था तैयारी के लिए सामान्यीकृत एसिमेट्रिक बेल एक्सपेक्टेशन (ABE) स्कोर ($C$) का उपयोग करते हैं। ट्रांसमिशन $\eta$ के साथ सामान्यीकृत स्कोर $\hat{C} = C/\eta$ की निगरानी की जाती है। यह डिकपलिंग (decoupling) तीसरे पक्ष के स्टेट प्रिपरेशन की अनुमति देती है और वेरीफायर के बीच आधार चयन के सुरक्षित संचार की आवश्यकता को समाप्त करती है।

2. सुरक्षा विश्लेषण परिशोधन:
   एंटैंगल्ड विरोधियों के विरुद्ध सुरक्षा सिद्ध करने के लिए, लेखक पूर्व कार्य (विशेष रूप से संदर्भ [3]) से तकनीकों को अनुकूलित और परिष्कृत करते हैं। मुख्य पद्धतिगत सुधारों में शामिल हैं:

• ट्रेस डिस्टेंस टाइटनिंग (Trace Distance Tightening): फानो की असमानता (Fano's inequality) या सरल खेलों में न्यूनीकरण के बजाय, लेखक ने नेवासकुएस-पिरोनियो-एसीन (NPA) पदानुक्रम और रैखिक सन्निकटन का उपयोग करके स्टेट सेट्स के बीच ट्रेस डिस्टेंस के निचले स्तर को एक सेमीडेफिनेट प्रोग्राम (SDP) के रूप में तैयार किया है।
• क्लासिकल राउंडिंग (Classical Rounding): एक संशोधित क्लासिकल राउंडिंग तर्क पेश किया गया है जहाँ आउटपुट सेट का आकार $m$ (के बजाय) $m-1$ निर्धारित किया गया है, जो विश्लेषण को कड़ा करता है।
• स्कोर-आधारित विश्लेषण: विश्लेषण मिसमैच्ड बेस के अनुकूल होने के लिए त्रुटि-दर (error-rate) की निगरानी से हटकर स्कोर-आधारित निगरानी की ओर स्थानांतरित होता है।

3. सामान्यीकृत विरोधी मॉडल:
   लेखक पिछले सुरक्षा प्रमाणों से तीन अंतर्निहित धारणाओं की पहचान करते हैं और उन्हें हटाते हैं:

• मिक्स्ड स्टेट्स (Mixed States): विरोधी केवल शुद्ध अवस्थाओं के बजाय पूर्व-साझा मिक्स्ड क्वांटम अवस्थाओं (सीमित आयाम) का उपयोग कर सकते हैं।
• अनबाउंडेड साझा यादृच्छिकता (Unbounded Shared Randomness): विरोधी अनबाउंडेड क्लासिकल रैंडमनेस साझा कर सकते हैं।
• इनपुट-डिपेंडेंट ट्रांसमिशन (Input-Dependent Transmission): ट्रांसमिशन दर $\eta$ इनपुट $(x, y)$ और साझा यादृच्छिकता $r$ पर निर्भर हो सकती है।
  इन्हें संभालने के लिए, लेखक पार्शियल प्यूरीफिकेशन (मिक्स्ड स्टेट्स और सामान्य CPTP मैप्स को प्योर स्टेट्स और ऑक्सिलरी सिस्टम के साथ यूनिटरी में बदलना) और एक पार्टिशनिंग रणनीति का उपयोग करते हैं जो उच्च/निम्न त्रुटि और उच्च/निम्न ट्रांसमिशन के आधार पर राउंड्स को वर्गीकृत करती है।

प्रमुख योगदान

1. प्रोटोकॉल-स्तरीय नवीनता: छह तैयार अवस्थाओं और कई मापन आधारों का उपयोग करके एक मल्टी-बेसिस QPV प्रोटोकॉल का परिचय। यह छह-अवस्था तैयारी के साथ प्रायोगिक जटिलता को कम करता है, लचीलापन बढ़ाता है (डिकपल्ड प्रिपरेशन/मेजरमेंट), और पिछले प्रस्तावों की तुलना में सुरक्षा प्रदर्शन से समझौता किए बिना, वेरीफायर के बीच सुरक्षित आधार-संचार चैनलों की आवश्यकता को समाप्त करता है।
2. प्रूफ-स्तरीय नवीनता: SDP के माध्यम से टाइटन्ड ट्रेस-डिस्टेंस बाउंड्स और एक संशोधित क्लासिकल राउंडिंग तर्क के साथ एक परिष्कृत सुरक्षा विश्लेषण का विकास। ये सुधार प्रतिबंधित विरोधी मॉडलों के तहत प्रोटोकॉल की त्रुटि और हानि सहनशीलता को बढ़ाते हैं।
3. मॉडल-स्तरीय नवीनता: मिक्स्ड स्टेट्स, अनबाउंडेड रैंडमनेस और इनपुट-डिपेंडेंट ट्रांसमिशन को शामिल करने के लिए विरोधी मॉडल का सामान्यीकरण। यह पिछले विश्लेषणों की सीमाओं को उजागर करता है और कठोर सुरक्षा गारंटी के दायरे को स्पष्ट करता है।
4. अनुप्रयोग: क्वांटम की डिस्ट्रीब्यूशन (QKD) के लिए एक प्रमाणीकरण तंत्र के रूप में QPV का चित्रण, विशेष रूप से तब जब मानक वेगमैन-कार्टर प्रमाणीकरण विफल हो जाता है या जब स्थान-आधारित क्रेडेंशियल्स की आवश्यकता होती है।

परिणाम

• अनएंटैंगल्ड एडवर्सरीज (Unentangled Adversaries): नए SDP फॉर्मूलेशन (Eq. 6) का उपयोग करके संख्यात्मक सिमुलेशन दिखाते हैं कि सरल मल्टी-बेसिस QPV, मूल मल्टी-बेसिस QPV (संदर्भ [3]) के प्रदर्शन से मेल खाता है, लेकिन संदर्भ [3] के विश्लेषण की तुलना में बेहतर त्रुटि सहनशीलता के साथ। ABE स्कोर को त्रुटि दरों के एक मजबूत विकल्प के रूप में मान्य किया गया है।
• एंटैंगल्ड एडवर्सरीज (प्रतिबंधित): $q$-क्यूबिट प्रतिबंधित रणनीतियों (प्योर स्टेट्स, यूनिटरी ऑपरेशंस) के लिए, टाइटन्ड विश्लेषण (चित्र 5 में ठोस रेखाएं) पिछले तरीकों (बिंदीदार रेखाएं) की तुलना में निश्चित क्वांटम मेमोरी साइज ($q_0$) के लिए उच्च त्रुटि सहनशीलता प्रदर्शित करता है। एसिम्प्टोटिक सीमा दिखाती है कि एंटैंगल्ड विरोधियों के विरुद्ध त्रुटि दर अनएंटैंगल्ड विरोधियों के विरुद्ध त्रुटि दर के आधे से अधिक नहीं है।
• एंटैंगल्ड एडवर्सरीज (सामान्यीकृत): मिक्स्ड स्टेट्स, अनबाउंडेड रैंडमनेस और इनपुट-डिपेंडेंट ट्रांसमिशन में सामान्यीकरण करने पर, सुरक्षा आवश्यकताएं काफी अधिक कठिन हो जाती हैं। विश्लेषण (चित्र 6) प्रदर्शन में भारी गिरावट को प्रकट करता है: 2 बेस के लिए लॉस टॉलरेंस $\eta > 75\%$ और 3 बेस के लिए $\eta > 90.6\%$ तक गिर जाता है। यह इंगित करता है कि जबकि ढांचा कठोर सुरक्षा प्रदान करता है, वर्तमान सेटअप सख्त प्रायोगिक बाधाएं लागू करता है।
• व्यवहार्यता (Feasibility): यह पेपर अनुमान लगाता है कि प्रतिबंधित एंटैंगल्ड विरोधियों के विरुद्ध, $\approx 6.8$ किमी तक सुरक्षित कार्यान्वयन संभव है (यह मानते हुए कि $q_0=5.5$), जो पिछले विश्लेषणों की $2.8$ किमी की सीमा से एक सुधार है। हालांकि, सामान्यीकृत विरोधियों के विरुद्ध, वर्तमान सेटअप आवश्यक ट्रांसमिशन थ्रेशोल्ड से नीचे हैं।

महत्व और दावे
पेपर यह दावा करता है कि वह मल्टी-बेसिस प्रोटोकॉल के माध्यम से प्रायोगिक जटिलता को कम करके और अधिक कठोर, हालांकि अधिक प्रतिबंधात्मक, सुरक्षा ढांचे को प्रदान करके QPV की व्यावहारिकता को आगे बढ़ाता है।

• व्यावहारिकता: प्रस्तावित प्रोटोकॉल वेरीफायर हार्डवेयर और संचार आवश्यकताओं को सरल बनाता है, जिससे QPV वास्तविक दुनिया के नेटवर्क के लिए अधिक अनुकूलनीय हो जाता है।
• कठोरता (Rigor): विरोधी मॉडल को सामान्य करके, लेखक एक "वर्स्ट-केस" सुरक्षा गारंटी प्रदान करते हैं जो इनपुट-डिपेंडेंट लॉस और साझा यादृच्छिकता जैसे यथार्थवादी खामियों को ध्यान में रखती है।
• ट्रेड-ऑफ (Trade-off): पेपर स्पष्ट रूप से एक तनाव को स्वीकार करता है: सामान्यीकृत विरोधियों के विरुद्ध बेहतर सुरक्षा विश्लेषण, प्रतिबंधित मॉडलों की तुलना में लॉस टॉलरेंस को काफी कम कर देता है। लेखक कहते हैं कि यह इस अंतर को पाटने के लिए बेहतर सुरक्षा विश्लेषण तकनीकों की आवश्यकता को रेखांकित करता है।
• अनुप्रयोग: यह कार्य QPV को न केवल एक लोकेशन वेरीफायर के रूप में बल्कि एक व्यवहार्य, हालांकि जटिल, कंपोनेंट के रूप में स्थापित करता है, जो स्थान-आधारित क्रिप्टोग्राफी और QKD प्रमाणीकरण के लिए समाधान प्रदान करता है।

लेखक निष्कर्ष निकालते हैं कि जबकि उनके सुधार प्रतिबंधित मॉडलों के तहत प्रायिक आवश्यकताओं को कम करते हैं, सामान्यीकृत मॉडलों के तहत देखी गई गिरावट सबसे शक्तिशाली विरोधियों के विरुद्ध व्यावहारिक QPV प्राप्त करने की कठिनाई को रेखांकित करती है, जिसके लिए और अधिक सैद्धांतिक सफलताओं की आवश्यकता है।