⚛️ quantum physics

A semi-definite programming formulation of the device-dependent guessing probability

यह शोध पत्र पूर्णतः अभिलक्षित (fully characterized) प्रिपेयर-एंड-मेजर क्वांटम सेटअप में अंतर्निहित यादृच्छिकता (intrinsic randomness) और एक विरोधी की अनुमान लगाने की प्रायिकता का सटीक अनुमान लगाने के लिए एक सेमी-डेफिनेट प्रोग्रामिंग सूत्रीकरण प्रस्तुत करता है, जो सटीक प्रमाणित यादृच्छिकता निर्धारित करने की अपनी क्षमता को प्रदर्शित करता है और यह प्रकट करता है कि एंटैंगलमेंट (entanglement) एक विरोधी की भविष्य कहने वाली शक्ति को सख्ती से बढ़ाता है।

मूल लेखक: Raffaele D'Avino, Aurora Mugnai, Miguel Navascués, Antonio Acín, Gabriel Senno

प्रकाशित 2026-06-11

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

CC BY 4.0

मूल लेखक: Raffaele D'Avino, Aurora Mugnai, Miguel Navascués, Antonio Acín, Gabriel Senno

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

कल्पना कीजिए कि आप एक जादू का शो चला रहे हैं जहाँ आप एक टोपी से खरगोश निकालते हैं। क्वांटम दुनिया में, यह "खरगोश" एक नन्हे कण को मापने से उत्पन्न एक रैंडम नंबर (यादृच्छिक संख्या) है। सबसे बड़ा सवाल सुरक्षा विशेषज्ञों के लिए यह है: यह खरगोश वास्तव में कितना रैंडम है? क्या कोई चालाक जादूगर (एक विरोधी जिसका नाम "ईव" है) टोपी या खरगोश के साथ हेरफेर कर सकता है ताकि उसे पता चल जाए कि जादू होने से पहले ही क्या निकलने वाला है?

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

यहाँ सरल उपमाओं का उपयोग करके शोध पत्र के निष्कर्षों का विवरण दिया गया है:

1. समस्या: "ब्लैक बॉक्स" का रहस्य

वास्तविक दुनिया में, हमारे क्वांटम उपकरण (टोपी और खरगोश) दोषरहित नहीं होते। वे शोर वाले होते हैं, जैसे रेडियो में स्टेटिक (गड़बड़ ध्वनि) होती है।

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

2. समाधान: एक "जादुई कैलकुलेटर" (सेमीडेफिनेट प्रोग्रामिंग)

लेखकों ने एक नया गणितीय नुस्खा बनाया है जिसे सेमीडेफिनेट प्रोग्रामिंग (SDP) कहा जाता है।

उपमा: कल्पना कीजिए कि आप कोहरे से ढके पहाड़ों की एक श्रृंखला में सबसे ऊंचे बिंदु को खोजने की कोशिश कर रहे हैं। पहले, आपको अंदाजे से ऊपर जाने के लिए संघर्ष करना पड़ता था, और आप एक छोटी घाटी में फंस सकते थे यह सोचकर कि वही शिखर है। नया SDP तरीका एक ड्रोन की तरह है जो पूरे पर्वत क्षेत्र को एक साथ देख सकता है और आपको तुरंत सटीक उच्चतम शिखर बताता है।
यह क्या करता है: यह क्वांटम डिवाइस की अस्त-व्यस्त, शोर वाली वास्तविकता को एक साफ, समाधान योग्य गणितीय समस्या में बदल देता है। यह वैज्ञानिकों को यह गणना करने की अनुमति देता है कि ईव से सुरक्षित रहने के लिए गारंटीकृत रैंडमनेस की सटीक मात्रा कितनी है, बजाय इसके कि वे केवल एक "बेहतरीन अनुमान" के साथ अनुमान लगाएं।

3. उन्होंने क्या खोजा (तीन परीक्षण)

लेखकों ने अपने नए कैलकुलेटर का परीक्षण तीन अलग-अलग परिदृश्यों पर किया ताकि यह देखा जा सके कि यह कैसे काम करता है:

परीक्षण A: शोर वाला दर्पण (The Noisy Mirror)
उन्होंने एक ऐसा परिदृश्य देखा जहाँ खरगोश और टोपी दोनों "स्टेटिक" (डिपोलराइजिंग नॉइज़) से ढके हुए थे।
परिणाम: उनके कैलकुलेटर ने पुष्टि की कि इस सेटअप की रैंडमनेस के बारे में पिछला गणितीय अनुमान वास्तव में सटीक था। इसने साबित कर दिया कि पुराना अनुमान ही अंतिम सीमा थी।
परीक्षण B: लीकी डिटेक्टर (The Leaky Detector)
उन्होंने एक ऐसा सेटअप देखा जहाँ डिटेक्टर (खरगोश निकालने वाला हाथ) कभी-कभी सुस्त या अक्षम होता था।
परिणाम: पिछले तरीकों ने माना था कि "लीक" (रिसाव) एक विशिष्ट, सरल तरीके से होता है। नए कैलकुलेटर ने दिखाया कि यदि ईव पर्याप्त चतुर है और एक अधिक जटिल "लीक" का उपयोग करती है, तो वह पुराने तरीकों की तुलना में थोड़ा बेहतर अनुमान लगा सकती है। इसका मतलब है कि पिछले अनुमान थोड़े अधिक आशावादी (सुरक्षा को बढ़ा-चढ़ाकर दिखाना) थे।
परीक्षण C: मल्टी-आउटकम ट्रिक (The Multi-Outcome Trick)
उन्होंने एक ऐसा जादू देखा जहाँ उपकरण कई अलग-अलग परिणाम उत्पन्न कर सकता था (जैसे खरगोश, या एक कबूतर, या एक कबूतर का अंडा निकालना)।
परिणाम: एक पिछले सिद्धांत ने दावा किया था कि यदि आप माप उपकरण पर पूरी तरह से भरोसा करते हैं, तो आप अनंत रैंडमनेस उत्पन्न कर सकते हैं। नए कैलकुलेटर ने दिखाया कि यदि ईव को माप उपकरण के साथ एक गुप्त संबंध रखने की अनुमति दी जाती है, तो 3 या 4 संभावित परिणामों के बाद वह "अनंत रैंडमनेस" गायब हो जाती है। सुरक्षा एक भ्रम थी क्योंकि यह मान लिया गया था कि उपकरण पूरी तरह से अलग-थलग है।

4. सबसे बड़ा आश्चर्य: एंटैंगलमेंट एक सुपरपावर है

सबसे दिलचस्प खोज एंटैंगलमेंट (कणों के बीच एक रहस्यमयी जुड़ाव) के बारे में है।

पुरानी धारणा: कई सुरक्षा मॉडल यह मानते हैं कि अवस्था तैयार करने वाला उपकरण और मापने वाला उपकरण अलग-अलग हैं और केवल "क्लासिकल" जानकारी (जैसे फोन कॉल) साझा करते हैं।
नई खोज: लेखकों ने सिद्ध किया कि यदि तैयारी करने वाला उपकरण और मापने वाला उपकरण एंटैंगल्ड (क्वांटम जादू द्वारा जुड़े हुए) हैं, तो ईव की परिणाम का अनुमान लगाने की क्षमता सख्ती से बढ़ती है।
उपमा: कल्पना कीजिए कि दो जासूस एक गुप्त कोड का अनुमान लगाने की कोशिश कर रहे हैं। यदि वे केवल फोन पर बात करते हैं (क्लासिकल कोरिलेशन), तो वे 90% बार अनुमान लगा सकते हैं। लेकिन यदि वे एक टेलीपैथिक लिंक (एंटैंगलमेंट) साझा करते हैं, तो वे 91% बार अनुमान लगा सकते हैं। उच्च-दांव वाली सुरक्षा में वह छोटा सा 1% अंतर भी मायने रखता है। यह सबसे सरल उदाहरण है जहाँ यह क्वांटम लिंक हैकर को अनुचित लाभ देता है।

सारांश

यह शोध पत्र हमें क्वांटम रैंडमनेस को मापने के लिए एक बेहतर, अधिक ईमानदार पैमाना प्रदान करता है। यह दिखाता है कि:

हम अब सरल क्वांटम रैंडम नंबर जनरेटर की सटीक सुरक्षा की गणना कर सकते हैं।
पिछले तरीकों ने अक्सर सुरक्षा को बहुत अधिक बढ़ा दिया क्योंकि उन्होंने यह मान लिया था कि उपकरण वास्तव में जितना हैं, उससे कहीं अधिक सरल या अलग-थलग हैं।
यदि उपकरण एक क्वांटम संबंध (एंटैंगलमेंट) साझा करते हैं, तो हैकर की शक्ति बढ़ जाती है, जिसका अर्थ है कि हमें इन उपकरणों को बनाने के बारे में और भी अधिक सावधान रहने की आवश्यकता है।

लेखकों ने अपने "कैलकुलेटर" का कोड भी उपलब्ध करा दिया है ताकि अन्य लोग अपने स्वयं के क्वांटम उपकरणों का परीक्षण करने के लिए इसका उपयोग कर सकें।

तकनीकी सारांश: डिवाइस-डिपेंडेंट गेसिंग प्रोबेबिलिटी का एक सेमी-डेफिनेट प्रोग्रामिंग सूत्रीकरण

समस्या विवरण
क्वांटम यांत्रिकी में, उस अवस्था को मापने से उत्पन्न होने वाली अंतर्निहित यादृच्छिकता (randomness), जो किसी ऑब्जर्वेबल का आइजनस्टेट नहीं है, क्वांटम रैंडम नंबर जनरेटर्स (QRNGs) के लिए एक मौलिक संसाधन है। जबकि सबसे सरल QRNG परिदृश्य में एक पूर्णतः अभिलक्षित (डिवाइस-डिपेंडेंट) प्रिपेयर-एंड-मेजर (PM) सेटअप शामिल होता है—जहाँ एक ज्ञात अवस्था $\rho_S$ को एक ज्ञात पॉजिटिव ऑपरेटर-वैल्यूड मेजरमेंट (POVM) $\{M^a_S\}$ द्वारा मापा जाता है—प्रमाणित की जा सकने वाली सटीक यादृच्छिकता की मात्रा को मापना चुनौतीपूर्ण बना हुआ है।

मानक परिचालन मीट्रिक 'कंडीशनल मिन-एन्ट्रॉपी' $H_{\min}(A|E)$ है, जो अधिकतम प्रायिकता ( $P_{\text{guess}}$ ) से व्युत्पन्न होती है जिसके साथ एक प्रतिपक्षी (ईव/Eve) क्वांटम साइड इंफॉर्मेशन दिए गए होने पर मापन परिणामों का अनुमान लगा सकता है। एक डिवाइस-डिपेंडेंट परिदृश्य में, यह माना जाता है कि ईव, सिस्टम और मेजरमेंट डाइलेशन में शामिल किसी भी सहायक प्रणालियों के संयुक्त स्टेट का एक प्यूरीफिकेशन (purification) रखती है। जैसा कि पूर्व कार्य [4] में उल्लेख किया गया है, इस गेसिंग प्रोबेबिलिटी की गणना करने के लिए मेजरमेंट के सभी संभावित नैमार्क डाइलेशन (Naimark dilations) और ईव द्वारा उपकरणों के साथ साझा किए जा सकने वाले सभी संभावित सहसंबंधों (correlations) पर एक नॉन-कॉन्वेक्स ऑप्टिमाइजेशन समस्या शामिल है। किसी भी सामान्य कम्प्यूटेशनल प्रक्रिया का अभाव था जो इस नॉन-कॉन्वेक्स समस्या को सटीक रूप से हल कर सके, जिससे शोधकर्ता अक्सर ऊपरी सीमाओं (upper bounds) पर निर्भर रहने या प्रतिबंधात्मक धारणाओं (जैसे, तैयारी और मेजरमेंट उपकरणों के बीच एंटैंगलमेंट न होना) पर निर्भर रहने के लिए मजबूर होते थे।

कार्यप्रणाली
लेखक इस कम्प्यूटेशनल अंतर को दूर करने के लिए यह सिद्ध करते हैं कि डिवाइस-डिपेंडेंट गेसिंग प्रोबेबिलिटी को एक सेमी-डेफिनेट प्रोग्राम (SDP) के रूप में पुनर्गठित किया जा सकता है।

ऑप्टिमाइजेशन का पुनर्गठन: लेखक सिस्टम-एनसा (ancilla) स्पेस पर प्रोजेक्टिव मेजरमेंट्स (PVMs) $\{\Pi^a_{SM}\}$ और ईव के मेजरमेंट आउटकम्स पर आधारित $P_{\text{guess}}$ की परिभाषा से शुरुआत करते हैं। सबनॉर्मलाइज्ड स्टेट्स को ईव के आउटकम्स के सापेक्ष पेश करके, समस्या को नॉन-कम्यूटेटिव पॉलिनोमिअल्स (non-commutative polynomials) से जुड़े एक रूप में पुनर्गठित किया जाता है।
SDP निर्माण: [5, 13] की तकनीकों का लाभ उठाते हुए, लेखक सिस्टम हिल्बर्ट स्पेस के एक ऑर्थोनॉर्मल बेसिस के सापेक्ष प्रोजेक्टिव मेजरमेंट $\{\Pi^a_{SM}\}$ को एक ब्लॉक फॉर्म में व्यक्त करते हैं। यह जनरलाइज्ड मोमेंट मैट्रिसेस $\Gamma_e$ को परिभाषित करने की अनुमति देता है।
लीनियर कंस्ट्रेंट्स: ऑब्जेक्टिव फंक्शन और भौतिक बाधाएं (ज्ञात अवस्था $\rho_S$ , ज्ञात POVM $\{M^a_S\}$ के साथ अनुकूलता, और PVM की प्रोजेक्टिविटी/पूर्णता) इन मोमेंट मैट्रिसेस के गुणांकों के लीनियर फंक्शन के रूप में व्यक्त की जाती हैं।
पूर्णता (Completeness): लेखक सिद्ध करते हैं (थ्योरम 1) कि यह SDP रिलैक्सेशन केवल एक ऊपरी सीमा नहीं है, बल्कि गेसिंग प्रोबेबिलिटी का एक पूर्ण लक्षण वर्णन प्रदान करता है। विशेष रूप से, SDP का कोई भी व्यवहार्य समाधान (feasible solution) मूल नॉन-कॉन्वेक्स समस्या के वैध भौतिक समाधान के अनुरूप होता है, जिससे यह सुनिश्चित होता है कि SDP सटीक अधिकतम गेसिंग प्रोबेबिलिटी प्रदान करता है।

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

डिपोलराइज्ड स्टेट और मेजरमेंट: लेखक एक सेटअप का विश्लेषण करते हैं जहाँ क्यूबिट स्टेट और मेजरमेंट दोनों ही डिपोलराइजिंग नॉइज़ के अधीन हैं। SDP के परिणाम [6] में प्राप्त विश्लेषणात्मक निचली सीमा (analytic lower bound) से मेल खाते हैं, जो पुष्टि करते हैं कि विश्लेषणात्मक सीमा सटीक है और SDP सटीक प्रमाण योग्य यादृच्छिकता की मात्रा की सही पहचान करता है।
डिपोलराइज्ड स्टेट और इनएफिशिएंट डिटेक्टर: बर्टा और ब्रैंडाओ [7] द्वारा क्वांटम कंप्यूटरों के लिए प्रस्तावित एक योजना का पुनरावलोकन करते हुए, लेखक एक विशिष्ट, निश्चित डाइलेशन (जैसा कि [7] में किया गया है) का उपयोग करके अनुमानित यादृच्छिकता बनाम उनके SDP द्वारा प्रदान किए गए अनरिस्ट्रिक्टेड ऑप्टिमाइजेशन की तुलना करते हैं। वे पाते हैं कि डाइलेशन को फिक्स करने से अंतर्निहित यादृच्छिकता का थोड़ा अधिक अनुमान (overestimation) लगता है, जो सभी संभावित डाइलेशन पर ऑप्टिमाइजेशन की आवश्यकता को प्रदर्शित करता है।
इक्वीएंगुलर मेजरमेंट्स के साथ अनकैरेक्टराइज्ड स्टेट: लेखक एक सोर्स-डिवाइस-इंडिपेंडेंट योजना [8] की जांच करते हैं जहाँ स्टेट अनकैरेक्टराइज्ड है, लेकिन मेजरमेंट एक विश्वसनीय, इक्वीएंगुलर $k$ -आउटकम POVM है। जबकि [8] ने विश्वसनीय मेजरमेंट की धारणा के तहत $k > 3$ के लिए अनबाउंडेड रैंडमनेस का दावा किया था, लेखक दिखाते हैं कि यदि ईव को मेजरमेंट डिवाइस के साथ सह-संबंधित होने की अनुमति दी जाती है (अर्थात, मेजरमेंट पूरी तरह से विश्वसनीय नहीं है), तो $k=4$ के लिए प्रमाण योग्य यादृच्छिकता समाप्त हो जाती है। यह मेजरमेंट ट्रस्ट धारणाओं के महत्वपूर्ण प्रभाव को रेखांकित करता है।

एंटैंगलमेंट और भविष्य कहनेवाला शक्ति (Predictive Power)
इस पेपर का एक महत्वपूर्ण सैद्धांतिक योगदान यह प्रदर्शन है कि स्टेट प्रिपरेशन डिवाइस और मेजरमेंट डिवाइस के बीच एंटैंगलमेंट, ईव की भविष्य कहने की शक्ति (predictive power) को सख्ती से बढ़ाता है।

लेखक $P_{\text{guess}}$ (अनियंत्रित सहसंबंधों, जिसमें एंटैंगलमेंट शामिल है, की अनुमति देते हुए) की तुलना $P^{\text{sep}}_{\text{guess}}$ (सिस्टम और मेजरमेंट रजिस्टर के बीच सेपरेबल स्टेट्स तक सीमित) से करते हैं।
एक विशिष्ट क्यूबिट स्टेट और बाइनरी मेजरमेंट का उपयोग करके, वे दिखाते हैं कि $P_{\text{guess}} > P^{\text{sep}}_{\text{guess}}$ है।
यह परिणाम यह निहित करता है कि तैयारी और मेजरमेंट उपकरणों के बीच एंटैंगलमेंट की अनुपस्थिति को मानना (जो कुछ फ्रेमवर्क्स में एक सामान्य सरलीकरण है) उत्पन्न की गई यादृच्छिकता का अति-अनुमान (overestimation) करने की ओर ले जाता है, यहाँ तक कि एकल क्यूबिट और बाइनरी मेजरमेंट वाले सबसे बुनियादी परिदृश्यों में भी।

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

प्रमाणन (Certification): SDP उन परिदृश्यों में प्रमाण योग्य यादृच्छिकता के सटीक निर्धारण की अनुमति देता है जहाँ पहले केवल ऊपरी सीमाएं उपलब्ध थीं।
मौलिक अंतर्दृष्टि: यह कार्य स्थापित करता है कि तैयारी और मेजरमेंट उपकरणों के बीच एंटैंगलमेंट सहायता एक ऐसा संसाधन है जो परिणामों की भविष्यवाणी करने की प्रतिपक्षी की क्षमता को सख्ती से बढ़ाता है, जो कि सरल बाइनरी मेजरमेंट परिदृश्यों में भी अवलोकन योग्य है।
व्यावहारिक उपयोगिता: यह विधि वास्तविक, शोर-प्रभावित क्वांटम उपकरणों में यादृच्छिकता प्रमाणित करने के लिए एक सामान्य उपकरण के रूप में कार्य करती है, जो सरलतम डिवाइस-डिपेंडेंट QRNGs के लिए एक कठोर रेसिपी प्रदान करती है।

लेखक निष्कर्ष निकालते हैं कि उनका सूत्रीकरण क्वांटम साइड इंफॉर्मेशन की उपस्थिति में रैंडमनेस जनरेशन की समझ को आगे बढ़ाता है और भविष्य के रैंडमनेस सर्टिफिकेशन प्रोटोकॉल के लिए एक मजबूत ढांचा प्रदान करता है।

1. समस्या: "ब्लैक बॉक्स" का रहस्य

2. समाधान: एक "जादुई कैलकुलेटर" (सेमीडेफिनेट प्रोग्रामिंग)

3. उन्होंने क्या खोजा (तीन परीक्षण)

4. सबसे बड़ा आश्चर्य: एंटैंगलमेंट एक सुपरपावर है

सारांश

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