⚛️ quantum physics

Semi-Device-Independent Quantum Key Distribution from Operational Assumptions

यह शोध पत्र एलिस के तैयारी समुच्चय (preparation ensemble) पर परिचालन स्रोत धारणाओं को चार विशिष्ट कार्यों के माध्यम से सूत्रबद्ध करके सुदृढ़ अर्ध-उपकरण-स्वतंत्र क्वांटम कुंजी वितरण सुरक्षा प्रमाण पत्र स्थापित करता है, यह प्रदर्शित करते हुए कि बहिष्करण-सहायता प्राप्त धारणाएं (exclusion-assisted assumptions) लगभग शून्य तैयारी दृश्यता (preparation visibility) पर भी सकारात्मक कुंजी दरों को सक्षम बनाती हैं क्योंकि वे इस बात का लाभ उठाती हैं कि एक जासूस क्या बहिष्कृत कर सकती है, न कि केवल वह कि वह क्या पहचान सकती है।

मूल लेखक: Anubhav Chaturvedi, Giuseppe Viola, Ekta Panwar, Tushita Prasad, Debashis Saha

प्रकाशित 2026-07-09

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

CC BY 4.0

मूल लेखक: Anubhav Chaturvedi, Giuseppe Viola, Ekta Panwar, Tushita Prasad, Debashis Saha

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

कल्पना कीजिए कि आप अपने एक मित्र को एक गुप्त संदेश भेजने की कोशिश कर रहे हैं, लेकिन आपको डर है कि कोई जासूस (मान लीजिए कि वह ईव है) आपकी बातें सुन रहा होगा। क्वांटम की डिस्ट्रीब्यूशन (QKD) की दुनिया में, आप एक गुप्त कोड बनाने के लिए भौतिकी के नियमों का उपयोग करते हैं।

आमतौर पर, कोड को सुरक्षित साबित करने के लिए, आपको अपने उपकरणों पर पूरी तरह से भरोसा करना पड़ता है। आपको कहना होगा, "मेरा लेजर एकदम सही है, और मेरा डिटेक्टर भी एकदम सही है।" लेकिन वास्तविक दुनिया में, उपकरण दोषपूर्ण हो सकते हैं या उनके साथ छेड़छाड़ भी की जा सकती है।

यह शोध पत्र एक स्मार्ट तरीका पेश करता है जिसे सेमी-डिवाइस-इंडिपेंडेंट (SDI) QKD कहा जाता है। मामला यह है:

भरोसा (The Trust): आप स्रोत (संदेश भेजने वाली मशीन) पर भरोसा करते हैं।
संदेह (The Doubt): आप डिटेक्टर (संदेश प्राप्त करने वाली मशीन) पर भरोसा नहीं करते हैं। वह एक 'ब्लैक बॉक्स' हो सकता है; आप बस देखते हैं कि उससे क्या बाहर आ रहा है।

इस शोध पत्र के लेखकों ने पूछा: "हम स्रोत पर कितना भरोसा कर सकते हैं, बिना यह जाने कि वह अंदर से ठीक कैसे काम करता है?"

पुराना तरीका बनाम नया तरीका

पुराना तरीका ("आकार" की सीमा):
पहले, वैज्ञानिक कहते थे, "हम स्रोत पर भरोसा करते हैं क्योंकि हम जानते हैं कि वह केवल एक छोटे, 2-आयामी बॉक्स (एक क्यूबिट) का उपयोग करके संदेश भेजता है।"

उपमा: कल्पना कीजिए कि आप एक गुप्त नोट भेज रहे हैं। आप जासूस से कहते हैं, "मेरे पास केवल एक छोटी नोटबुक है जिसमें दो पन्ने समा सकते हैं।" यदि जासूस एक ऐसा नोट देखती है जो किसी विशाल विश्वकोश (encyclopedia) जैसा दिखता है, तो वह जान जाएगी कि कुछ गलत है।
समस्या: यह एक बहुत ही सख्त नियम है। यदि आपकी नोटबुक थोड़ी धुंधली (noise) हो जाती है, तो पूरा सिस्टम टूट जाता है। सुरक्षित रहने के लिए आपको नोट का बिल्कुल स्पष्ट होना आवश्यक है।

नया तरीका ("कार्य" की सीमा):
यह शोध पत्र कहता है, "बॉक्स के आकार के बारे में भूल जाइए। आइए बस इस बात पर भरोसा करें कि स्रोत कुछ विशेष 'कार्यों' (tasks) को बहुत अच्छी तरह से नहीं कर सकता।"
उन्होंने चार विशिष्ट "खेल" (games) परिभाषित किए हैं जो स्रोत खेल सकता है:

अनुमान लगाने का खेल (Discrimination): क्या जासूस संदेश को देखकर सटीक रूप से अनुमान लगा सकती है कि वह कौन सा है?
पैरिटी गेम (Parity Game): क्या जासूस अनुमान लगा सकती है कि संदेश "सम" (even) है या "विषम" (odd)?
अपवर्जन खेल (Exclusion Game): क्या जासूस संदेश को देखकर कह सकती है, "मैं निश्चित रूप से जानती हूँ कि यह विकल्प A नहीं है"?
कॉम्बो (The Combo): ऊपर दिए गए खेलों का मिश्रण।

लेखकों ने एक नियम निर्धारित किया: "हम स्रोत पर तब तक भरोसा करते हैं जब तक कि इन खेलों में जासूस की सफलता दर एक निश्चित संख्या से नीचे रहती है।"

बड़ी खोज: "एक्सक्लूजन" (Exclusion) एक सुपरपावर है

इस शोध पत्र की सबसे रोमांचक खोज एक्सक्लूजन (Exclusion) के बारे में है।

कल्पना कीजिए कि आप एक खेल खेल रहे हैं जहाँ आपको 1 और 4 के बीच एक गुप्त संख्या का अनुमान लगाना है।

पुरानी रणनीति (Identification): आप सटीक संख्या का अनुमान लगाने की कोशिश करते हैं। यदि आप गलत होते हैं, तो आप हार जाते हैं।
नई रणनीति (Exclusion): आप एक ऐसी संख्या को हटाने (eliminate करने) की कोशिश करते हैं जो वह निश्चित रूप से नहीं है।

शोध पत्र दिखाता है कि यदि आप इस आधार पर स्रोत पर भरोसा करते हैं कि जासूस गलत उत्तर को कितनी अच्छी तरह से बाहर (exclude) कर सकती है (बजाय केवल सही उत्तर का अनुमान लगाने के), तो सिस्टम अत्यंत मजबूत हो जाता है।

रूपक (Metaphor): कल्पना कीजिए कि कोहरे भरे तूफान में एक लाइटहाउस (प्रकाश स्तंभ) है।
- "पुराना तरीका" (Identification) के लिए प्रकाश के एक अंधे, पूर्ण बीम होने की आवश्यकता है ताकि उसे देखा जा सके। यदि कोहरा घना हो जाता है (शोर/noise), तो प्रकाश गायब हो जाता है, और जहाज दुर्घटनाग्रस्त हो जाता है।
- "नया तरीका" (Exclusion) कहता है, "भले ही प्रकाश मंद और धुंधला हो, जब तक कि जहाज यह बता सके कि 'यह बाईं ओर निश्चित रूप से नहीं है,' हम सुरक्षित हैं।"
- परिणाम: नया तरीका तब भी काम करता है जब प्रकाश लगभग अदृश्य (लगभग शून्य विजिबिलिटी) हो। यह उन स्थितियों में सुरक्षित संचार की अनुमति देता है जहाँ पुराने तरीके पूरी तरह से विफल हो जाते हैं।

उन्होंने इसे कैसे सिद्ध किया

लेखकों ने एक गणितीय मॉडल (एक "सुरक्षा प्रमाण पत्र") बनाया है जो यह सिद्ध करता है कि यह कैसे काम करता है। उन्होंने दो मुख्य उपकरणों का उपयोग किया:

"थ्री-सेटिंग" (Three-Setting) परीक्षण: उन्होंने रिसीवर (बॉब) को तीन अलग-अलग बटन का उपयोग करने के लिए बनाया। दो बटन स्रोत का परीक्षण करने के लिए हैं (यह जांचने के लिए कि क्या जासूस धोखाधड़ी कर रही है), और तीसरा बटन वास्तव में गुप्त कुंजी (secret key) उत्पन्न करने के लिए है। यह "परीक्षण" को "कार्य" से अलग करता है, जिससे परीक्षण अधिक सटीक हो जाता है।
गणितीय अनुकूलन (Mathematical Optimization): उन्होंने सबसे खराब स्थिति (worst-case scenario) की गणना करने के लिए उन्नत गणित (सेमीडेफिनिट प्रोग्रामिंग) का उपयोग किया। उन्होंने पूछा, "भले ही जासूस के पास ब्रह्मांड का सबसे शक्तिशाली कंप्यूटर और सबसे बड़ा क्वांटम कंप्यूटर हो, क्या फिर भी वह कुंजी का अनुमान लगा सकती है?"

परिणाम

मजबूती (Robustness): "एक्सक्लूजन" धारणा का उपयोग करके, उन्होंने पाया कि जब संकेत अत्यंत कमजोर (लगभग शून्य विजिबिलिटी) हो, तब भी सुरक्षित कुंजियाँ बनाई जा सकती हैं।
दक्षता (Efficiency): उनका नया तरीका (जिसे PM-BFF कहा जाता है) यह गणना करने में पुराने तरीकों से बेहतर है कि जासूस के पास कितनी जानकारी हो सकती है, जिससे संचार के लिए एक बड़ा "सुरक्षित क्षेत्र" मिलता है।
लीकेज (Leakage): उन्होंने यह भी परीक्षण किया कि क्या होता है यदि स्रोत अनजाने में कुछ जानकारी लीक कर देता है। उन्होंने पाया कि जब तक लीक 100% पूर्ण नहीं है, तब तक सिस्टम सुरक्षित रहता है।

सारांश

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

एक पूर्ण, उच्च-गुणवत्ता वाले सिग्नल की मांग करने के बजाय, आप सिस्टम पर तब तक भरोसा कर सकते हैं जब तक आप जानते हैं कि जासूस गलत उत्तरों को आसानी से बाहर (exclude) नहीं कर सकती। यह "एक्सक्लूजन" वाला तरीका क्वांटम सुरक्षा को बहुत अधिक व्यावहारिक और शोर (noise) के प्रति लचीला बनाता है, जो हमें वास्तविक दुनिया के अटूट संचार के करीब लाता है।

तकनीकी सारांश: परिचालन संबंधी धारणाओं से अर्ध-डिवाइस-स्वतंत्र क्वांटम की डिस्ट्रीब्यूशन (SDI-QKD)

समस्या विवरण
सेमी-डिवाइस-इंडिपेंडेंट क्वांटम की डिस्ट्रीब्यूशन (SDI-QKD) पूर्णतः डिवाइस-स्वतंत्र प्रोटोकॉल (जिसके लिए लूपहोल-फ्री बेल टेस्ट और अत्यधिक प्रयोगात्मक मांग की आवश्यकता होती है) और मानक 'प्रिपेयर-एंड-मेजर' प्रोटोकॉल (जिसके लिए उपकरणों के पूर्ण लक्षण वर्णन की आवश्यकता होती है) के बीच के अंतर को पाटने का प्रयास करता है। मौजूदा SDI-QKD ढांचे आमतौर पर स्रोत के हिल्बर्ट-स्पेस आयाम (Hilbert-space dimension) के संबंध में एक विश्वसनीय धारणा पर निर्भर करते हैं। हालांकि, यह आयामी सीमा सीधे तौर पर उस सूचना को मात्रात्मक रूप से परिभाषित नहीं करती जो तैयारी एन्सेम्बल (preparation ensemble) से परिचालन रूप से सुलभ है, और सटीक परिमित-आयामी समर्थन (finite-dimensional support) अक्सर ऑप्टिकल स्रोतों के लिए एक स्वाभाविक बाधा नहीं है (जो अनबाउंडेड फॉक स्पेस (unbounded Fock spaces) में स्थित होते हैं)। इसके अतिरिक्त, वर्तमान प्रोटोकॉल अक्सर रैंडम एक्सेस कोड (RAC) परीक्षण को की जनरेशन (key generation) के साथ मिला देते हैं, जिससे अंतर्निहित डिकोडिंग त्रुटियां बनी रहती हैं, और वे उन एंट्रॉपी प्रमाणपत्रों पर निर्भर करते हैं जो तैयारी के परिचालन संबंधी बाधाओं का पूरी तरह से लाभ नहीं उठा पाते हैं।

कार्यप्रणाली (Methodology)
लेखक आयामी सीमाओं के बजाय परिचालन संबंधी स्रोत धारणाओं (operational source assumptions) पर आधारित एक SDI-QKD ढांचे का प्रस्ताव करते हैं। वे चार अलग-अलग धारणाएं प्रतिपादित करते हैं, जिनमें से प्रत्येक को एलिस के चार-तैयारी वाले एन्सेम्बल पर किए गए एक विशिष्ट सूचना-प्राप्ति कार्य पर एक अदिश ऊपरी सीमा ( $\tau$ ) द्वारा परिभाषित किया गया है:

चार-अवस्था विभेदन (Four-state discrimination - $D$ ): उत्सर्जित अवस्था की पहचान करने की इष्टतम प्रायिकता।
पैरिटी विभेदन (Parity discrimination - $\Pi$ ): इनपुट स्ट्रिंग ( $x_0 \oplus x_1$ ) के निष्कर्ष निकालने की इष्टतम प्रायिकता।
एक्सक्लूजन-असिस्टेड विभेदन (Exclusion-assisted discrimination - $D \oplus A$ ): चार-अवस्था विभेदन और स्टेट एक्सक्लूजन (एक संभावित अवस्था को खारिज करना) का एक संयोजन।
एक्सक्लूजन-असिस्टेड पैरिटी (Exclusion-assisted parity - $\Pi \oplus A$ ): पैरिटी विभेदन और स्टेट एक्सक्लूजन का एक संयोजन।

लेखक शास्त्रीय संदेश वर्णमाला (classical message alphabet) को प्रतिबंधित किए बिना, प्रत्येक की चार धारणाओं के लिए सटीक शास्त्रीय RAC फ्रंटियर्स को व्युत्पन्न करते हैं। इसके बाद वे दो विशिष्ट स्रोत विरूपण (source deformation) परिवारों का उपयोग करके इन फ्रंटियर्स से क्वांटम विचलन का विश्लेषण करते हैं:

प्रिपरेशन-डीपोलराइज्ड BB84 (Preparation-depolarized BB84): यह अवस्था कंट्रास्ट (विजिबिलिटी $\nu$ ) को कम करता है।
डायरेक्ट-सम लीकेज (Direct-sum leakage): यह एक ऑर्थोगोनल सेक्टर जोड़ता है जो स्पष्ट रूप से इनपुट $x$ को प्रकट करता है (लीकेज अंश $\ell$ )।

सुरक्षा प्रमाणित करने के लिए, लेखक एक तीन-सेटिंग रिटेन्ड-की (retained-key) प्रोटोकॉल का उपयोग करते हैं। बॉब RAC परीक्षण के लिए सेटिंग्स $y=0, 1$ का उपयोग करता है और एक विशिष्ट शाखा ( $x=00$ या $x=11$ ) पर की जनरेशन के लिए तीसरी सेटिंग $y=2$ का उपयोग करता है जहाँ आदर्श BB84 कार्यान्वयन में शून्य त्रुटि होती है। यह स्रोत परीक्षण को की जनरेशन से अलग करता है।

सुरक्षा को देखे गए तीन-सेटिंग व्यवहार और परिचालन संबंधी स्रोत सीमा के अनुकूल सभी बॉब-ईव (Bob–Eve) विस्तारों के विरुद्ध प्रमाणित किया जाता है। दो डायमेंशन-इंडिपेंडेंट सुरक्षा प्रमाणपत्र प्राप्त किए गए हैं:

मिन-एंट्रॉपी सर्टिफिकेट (Min-entropy certificate): नॉन-कम्यूटेटिव मोमेंट रिलैक्सेशन का उपयोग करके ईव की की-गेसिंग प्रायिकता को सीधे अनुकूलित करके प्राप्त किया गया।
PM-BFF सर्टिफिकेट: ब्राउन-फाउजी-फाउजी (BFF) वैरिएशनल बाउंड के आधार पर एक 'प्रिपेयर-एंड-मेजर' सेमीडेफिनिट रिलैक्सेशन, जिसे सिल्वेस्टर स्टेशनैरिटी संबंधों को लागू करके और नॉर्म लोकलाइज़र बनाकर कड़ा किया गया है।

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

सटीक शास्त्रीय फ्रंटियर्स: यह शोध पत्र चार परिचालन धारणाओं के तहत RAC स्कोर के लिए सटीक शास्त्रीय सीमाओं को स्थापित करता है। यह सिद्ध करता है कि BB84 रणनीति चारों फ्रंटियर्स से अधिकतम क्वांटम विचलन प्राप्त करती है।
एक्सक्लूजन-असिस्टेड मजबूती (Exclusion-Assisted Robustness): सबसे महत्वपूर्ण निष्कर्ष यह है कि स्टेट एक्सक्लूजन वाली धारणाएं ( $D \oplus A$ $D \oplus A$ और $\Pi \oplus A$ $Π \oplus A$ ) केवल पहचान-आधारित धारणाओं ( $D$ $D$ और $\Pi$ $Π$ ) की तुलना में कहीं अधिक मजबूती प्रदान करती हैं।
- प्रिपरेशन डीपोलराइजेशन के तहत, पहचान-मात्र धारणाओं को सकारात्मक की दर उत्पन्न करने के लिए उच्च विजिबिलिटी (जैसे, $D$ के लिए $\nu > 0.72$ ) की आवश्यकता होती है।
- इसके विपरीत, एक्सक्लूजन-असिस्टेड धारणाएं लगभग शून्य प्रिपरेशन विजिबिलिटी ( $\nu \approx 0.01$ ) तक भी सकारात्मक की दर प्रमाणित करती हैं।
- यह लाभ संदर्भ डिकोडर्स के रिसीवर-साइड डीपोलराइजेशन के तहत भी बना रहता है, बशर्ते रिसीवर विजिबिलिटी जॉइंट-मेज़रेबिलिटी थ्रेशोल्ड ( $\nu_M > 1/\sqrt{2}$ ) से अधिक हो।
डायरेक्ट-सम लीकेज: डायरेक्ट-सम लीकेज मॉडल के तहत, जहाँ स्रोत $x$ को अधिक प्रकट करता है जबकि की ब्रांच त्रुटि-रहित रहती है, चारों स्वतंत्र रूप से अनुकूलित दर सीमाएँ किसी भी अपूर्ण लीकेज ( $\ell < 1$ ) के लिए सकारात्मक रहती हैं और पूर्ण लीकेज ( $\ell = 1$ ) पर ही शून्य होती हैं।
एंट्रॉपी प्रमाणन (Entropy Certification): PM-BFF सर्टिफिकेट लगातार मिन-एंट्रॉपी सर्टिफिकेट से बेहतर प्रदर्शन करता है, जिससे सकारात्मक-दर क्षेत्र विस्तृत होता है। फिक्स्ड डायमेंशन-इम्प्लाइड बाउंड ( $D \leq 1/2$ ) के लिए, PM-BFF दृष्टिकोण क्रिटिकल विजिबिलिटी को 0.8895 (मिन-एंट्रॉपी) से घटाकर 0.8741 कर देता है।
संख्यात्मक सत्यापन (Numerical Validation): लेखक प्रदर्शित करते हैं कि BB84 का विचलन सभी चार धारणाओं के लिए स्वेच्छाचारी-आयामी क्वांटम इष्टतम (arbitrary-dimensional quantum optimum) के $5 \times 10^{-6}$ के भीतर है, जो यह सुझाव देता है कि BB84 इन कार्यों के लिए निकट-इष्टतम है।

महत्व और दावे
यह शोध दावा करता है कि मजबूत अर्ध-डिवाइस-स्वतंत्र सुरक्षा न केवल इस पर निर्भर करती है कि एक विरोधी (ईव) क्या पहचान सकती है, बल्कि इस पर भी कि वह क्या खारिज (exclude) कर सकती है। आयामी सीमाओं के बजाय परिचालन कार्य सीमाओं (विशेष रूप से वे जो स्टेट एक्सक्लूजन को शामिल करती हैं) को अपनाकर, प्रोटोकॉल बहुत कम स्रोत विजिबिलिटी और उच्च शोर वाले क्षेत्रों में सुरक्षा प्राप्त करता है जहाँ पिछले SDI-QKD तरीके विफल हो जाते हैं।

यह कार्य प्रदर्शित करता है कि:

ऑप्टिकल स्रोतों के लिए आयामी-स्पेस बाउंड की तुलना में परिचालन संबंधी स्रोत धारणाएं अधिक स्वाभाविक और शक्तिशाली प्रतिबंध हैं।
एक्सक्लूजन-असिस्टेड धारणाएं ( $D \oplus A$ और $\Pi \oplus A$ ) संरचनात्मक रूप से उन प्रतिकूल विस्तारों को हटा देती हैं जिन्हें केवल पहचान-आधारित सीमाएं स्वीकार्य मान लेती हैं।
तीन-सेटिंग रिटेन्ड-की प्रोटोकॉल और PM-BFF एंट्रॉपी सर्टिफिकेट का संयोजन सुरक्षित की जनरेशन के लिए शोर थ्रेशोल्ड को काफी कम कर देता है, जिससे SDI-QKD उन क्षेत्रों में भी संभव हो जाता है जिन्हें पहले बहुत शोर वाला माना जाता था।

लेखक निष्कर्ष निकालते हैं कि ये परिणाम यह दिखाते हैं कि एक विरोधी की किसी स्थिति को खारिज करने की परिचालन अक्षमता का लाभ उठाकर मजबूत सुरक्षा प्राप्त की जा सकती है, भले ही वह उन्हें पूरी तरह से पहचान न सके।

पुराना तरीका बनाम नया तरीका

बड़ी खोज: "एक्सक्लूजन" (Exclusion) एक सुपरपावर है

उन्होंने इसे कैसे सिद्ध किया

परिणाम

सारांश

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