Certified randomness from quantum speed limits

यहाँ कैरोलीन एल. जोन्स और अन्य लेखकों के शोध पत्र "Certified randomness from quantum speed limits" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण (Problem Statement)

यह शोध पत्र एक सेमी-डिवाइस-इंडिपेंडेंट (semi-DI) परिवेश में प्रमाणित यादृच्छिकता (certified randomness) उत्पन्न करने की चुनौती का समाधान करता है।

• संदर्भ: मानक डिवाइस-इंडिपेंडेंट (DI) प्रोटोकॉल में, सुरक्षा बेल असमानताओं (Bell inequalities) के उल्लंघन पर निर्भर करती है, जिसके लिए एंटैंगलमेंट और लूपहोल-फ्री सेटअप की आवश्यकता होती है। सेमी-DI प्रोटोकॉल कुछ भौतिक धारणाओं पर भरोसा करते हुए और उपकरणों को "ब्लैक बॉक्स" के रूप में मानते हुए इन आवश्यकताओं को शिथिल कर देते हैं।
• अंतराल (The Gap): मौजूदा सेमी-DI प्रोटोकॉल अक्सर हिल्बर्ट स्पेस के आयाम (dimension) (जैसे कि यह मानना कि सिस्टम एक क्यूबिट है) या स्टेट ओवरलैप के विशिष्ट गुणों पर निर्भर करते हैं। ये धारणाएँ भौतिक रूप से प्रेरित नहीं हो सकती हैं या प्रयोगों में सत्यापित करना कठिन हो सकता है।
• लक्ष्य: लेखक एक ऐसा प्रोटोकॉल विकसित करने का लक्ष्य रखते हैं जो एक मौलिक भौतिक बाधा—क्वांटम स्पीड लिमिट (QSL)—के आधार पर यादृच्छिकता को प्रमाणित करे, विशेष रूप से तैयार की गई अवस्था के ऊर्जा अनिश्चितता ($\Delta E$) के ऊपरी स्तर (upper bound) पर, बिना सिस्टम के आयाम, हैमिल्टोनियन या विशिष्ट अवस्था तैयारी के विवरणों को जाने।

2. कार्यप्रणाली (Methodology)

A. सैद्धांतिक ढांचा: प्रिपेयर-एंड-मेजर (Prepare-and-Measure) परिदृश्य

लेखक एक प्रिपेयर-एंड-मेजर परिदृश्य (चित्र 1) का उपयोग करते हैं जिसमें शामिल हैं:

• तैयारी उपकरण ($P$): एक ब्लैक बॉक्स जो इनपुट $x \in \{0, 1\}$ के आधार पर एक क्वांटम अवस्था $\rho_x$ तैयार करता है।
• मापन उपकरण ($M$): एक ब्लैक बॉक्स जो अवस्था का मापन करता है और एक बिट $b \in \{+1, -1\}$ आउटपुट देता है।
• "विश्वसनीय" ऑपरेशन (The "Trusted" Operation): उपयोगकर्ता उस समय को नियंत्रित करता है जिस पर तैयारी (preparation) को ट्रिगर किया जाता है।
  • इनपुट $x=0$: तैयारी समय $t_0$ पर होती है।
  • इनपुट $x=1$: तैयारी समय $t_1 = t_0 + \Delta t$ पर होती है।
• धारणा: सिस्टम एक अज्ञात हैमिल्टोनियन $\hat{H}$ के तहत यूनिटरी रूप से विकसित होता है। एकमात्र भौतिक बाधा प्रारंभिक अवस्था के ऊर्जा अनिश्चितता ($\Delta E$) पर एक ऊपरी सीमा $E$ है: $\Delta E_{\rho_0} \leq E$।
• एडवर्सरियल मॉडल (Adversarial Model): एक विरोधी (इव/Eve) के पास शास्त्रीय साइड इंफॉर्मेशन $\lambda$ हो सकती है जो उपकरणों के साथ सह-संबंधित (correlated) है। प्रोटोकॉल को यह गारंटी देनी चाहिए कि यदि औसत ऊर्जा अनिश्चितता की बाधा बनी रहती है, तो भी यादृच्छिकता सुनिश्चित हो।

B. सहसंबंध सेटों का लक्षण वर्णन (Characterization of Correlation Sets)

लेखक दो प्रकार के सहसंबंधों $(C_0, C_1)$ को परिभाषित करते हैं, जहाँ $C_x = P(+1|x) - P(-1|x)$:

1. क्वांटम सेट ($Q_{E, \Delta t}$): ऊर्जा सीमा $E$ और समय अंतराल $\Delta t$ दिए गए होने पर क्वांटम मैकेनिक्स द्वारा प्राप्त किए जाable सहसंबंधों का सेट।
   • इसे मैन्डेल्स्टैम-टैम (Mandelstam-Tamm) बाउंड (QSL का एक रूप) से निकाला गया है: $\Delta t \geq \frac{\hbar \arccos|\langle \psi_0 | \psi_1 \rangle|}{\Delta E}$।
   • यह दो अवस्थाओं के बीच ओवरलैप $\gamma = |\langle \psi_0 | \psi_1 \rangle|$ पर एक निचली सीमा लगाता है।
   • इस सेट को प्रायिकताओं के वर्गमूल (square roots) से जुड़ी एक गैर-रेखीय असमानता (समीकरण 8) द्वारा वर्णित किया गया है।
2. शास्त्रीय मैक्स-एवरेज सेट ($\bar{C}_{E, \Delta t}$): एक शास्त्रीय नियतात्मक मॉडल (deterministic model) द्वारा प्राप्त किए जाable सहसंबंधों का सेट जहाँ विरोधी $\lambda$ को जानता है।
   • महत्वपूर्ण रूप से, विरोधी "तेज" अवस्थाओं (उच्च $\Delta E$) और "धीमी" अवस्थाओं (कम $\Delta E$) के मिश्रण का उपयोग कर सकता है, बशर्ते कि औसत ऊर्जा अनिश्चितता सीमा के भीतर हो।
   • कनकेविटी (Concavity) के कारण, शास्त्रीय सेट एक रैखिक वेज (linear wedge) द्वारा परिभाषित होता है: $|C_0 - C_1| \leq \frac{4E\Delta t}{\pi}$ (जब $E\Delta t < \pi/2$ हो)।

C. यादृच्छिकता प्रमाणन (Randomness Certification)

• प्रमाणन स्थिति: यादृच्छिकता तब प्रमाणित होती है जब देखे गए सहसंबंध क्षेत्र $Q_{E, \Delta t} \setminus \bar{C}_{E, \Delta t}$ में आते हैं। इस क्षेत्र में, कोई भी शास्त्रीय मॉडल (साइड इंफॉर्मेशन के साथ भी) औसत ऊर्जा बाधा का पालन करते हुए सांख्यिकी को पुनरुत्पादित नहीं कर सकता।
• परिमाणीकरण: प्रमाणित यादृच्छिकता की मात्रा को कंडीशनल मिन-एन्ट्रॉपी (conditional min-entropy) (या शैनन एन्ट्रॉपी) $H(B|X, \Lambda)$ द्वारा मापा जाता है।
• अनुकूलन (Optimization): लेखक देखे गए सहसंबंधों और ऊर्जा बाधा के अनुरूप सभी संभावित हिडन-वेरिएबल डिकंपोजिशन पर मिनिमम एन्ट्रॉपी $H^*$ खोजने के लिए एक अनुकूलन समस्या को तैयार करते हैं। वे कठोर निचली सीमाएं प्रदान करने के लिए इसे एक ड्यूल फॉर्मूलेशन (dual formulation) और विविक्तीकरण एल्गोरिदम (discretization algorithm) का उपयोग करके हल करते हैं।

D. ओपन सिस्टम विस्तार (Open System Extension)

इस ढांचे को पर्यावरण के साथ परस्पर क्रिया करने वाले ओपन सिस्टम्स तक विस्तारित किया गया है। ओपन सिस्टम्स के लिए एक सामान्यीकृत स्पीड लिमिट (Shiraishi & Saito) का उपयोग करते हुए, लेखक दिखाते हैं कि प्रमाणन तब मान्य रहता है जब समय-औसत ऊर्जा अनिश्चितता $\langle \Delta E \rangle_{\Delta t}$ को $E$ द्वारा सीमित किया गया हो।

3. मुख्य योगदान (Key Contributions)

1. सेमी-DI के लिए नया भौतिक अनुमान: यह शोध पत्र हिल्बर्ट स्पेस आयाम की कम सहज धारणा के स्थान पर, ऊर्जा अनिश्चितता सीमा ($\Delta E$) को सेमी-DI यादृच्छिकता उत्पादन के लिए एक व्यवहार्य और भौतिक रूप से प्रेरित धारणा के रूप में पेश करता है।
2. वेरिएंस की गैर-रेखीयता (Non-Linearity of Variance): लेखक यह प्रदर्शित करते हैं कि चूंकि ऊर्जा अनिश्चितता (वेरिएंस) कनकेव (concave) है न कि लीनियर, इसलिए शास्त्रीय "मैक्स-एवरेज" सेट, लीनियर बाधाओं की तरह क्वांटम सेट का उपसमुच्चय (subset) नहीं है। यह शास्त्रीय और क्वांटम सहसंबंधों के बीच एक अद्वितीय अंतर पैदा करता है जिसका उपयोग प्रमाणन के लिए किया जा सकता है।
3. एन्ट्रॉपी बाउंड्स के लिए एल्गोरिदम: वे लैग्रेंज ड्यूलिटी (Lagrange duality) और विविक्तीकरण (discretization) पर आधारित एक कठोर संख्यात्मक एल्गोरिदम विकसित करते हैं ताकि मनमाने ढंग से देखे गए सहसंबंधों के लिए प्रमाणित निचली सीमा $H^*$ की गणना की जा सके।
4. कोहेरेंट स्टेट्स के साथ प्रयोगात्मक व्यवहार्यता: यह शोध पत्र सिद्ध करता है कि सिंगल-मोड कोहेरेंट स्टेट्स (हारमोनिक ऑसिलेटर की क्लासिकल-जैसी अवस्थाएं) विशिष्ट पैरामीटर व्यवस्थाओं में प्रमाणित यादृच्छिकता उत्पन्न कर सकते हैं। यह इस धारणा को चुनौती देता है कि ऐसे प्रोटोकॉल के लिए केवल अत्यधिक गैर-क्लासिकल अवस्थाओं (जैसे फॉक स्टेट्स या स्क्वीज्ड स्टेट्स) की आवश्यकता होती है।

4. परिणाम (Results)

• सहसंबंध ज्यामिति (Correlation Geometry): अध्ययन क्वांटम बनाम शास्त्रीय सहसंबंधों के मानचित्रण को दर्शाता (चित्र 2 और 3)। छोटे $E\Delta t$ के लिए, क्वांटम सेट शास्त्रीय मैक्स-एवरेज सेट की तुलना में स्पष्ट रूप से बड़ा है, जिससे यादृच्छिकता प्रमाणन संभव होता है।
• एन्ट्रॉपी बाउंड्स: संख्यात्मक सिमुलेशन (चित्र 4) दिखाते हैं कि $E\Delta t = 0.5$ के लिए, अधिकतम प्रमाणित एन्ट्रॉपी लगभग $H^* \approx 0.81$ बिट्स प्रति राउंड है।
• कोहेरेंट स्टेट इम्प्लीमेंटेशन:
  • लेखक एक हारमोनिक ऑसिलेटर (जैसे लेजर पल्स) का उपयोग करके कार्यान्वयन का प्रस्ताव करते हैं।
  • एक कोहेरेंट स्टेट $|\alpha\rangle$ तैयार करके और क्वाड्रचर $q$ (q का चिह्न) को मापकर, वे विशिष्ट सहसंबंध प्राप्त करते हैं।
  • वे दिखाते हैं कि विशिष्ट पैरामीटर (जैसे $\hbar\omega\xi = 0.5, \omega\Delta t = 0.4$) के लिए, सहसंबंध शास्त्रीय सेट से बाहर होते हैं, जिससे $H^* \approx 0.024$ बिट्स की प्रमाणित एन्ट्रॉपी प्राप्त होती है।
  • यह दर्शाता है कि ऐसी अवस्थाओं से भी (कोहेरेंट स्टेट्स) गैर-शून्य यादृच्छिकता प्रमाणित की जा सकती है जिन्हें अक्सर 'क्लासिकल' माना जाता है, जो समय प्रतिबंधों के तहत सरल हारमोनिक ऑसिलेटर की गैर-क्लासिकल गतिशीलता को पुख्ता करती है।

5. महत्व (Significance)

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

संक्षेप में, यह शोध पत्र एक नया प्रोटोकॉल स्थापित करता है जहाँ समय-ऊर्जा अनिश्चितता संबंध ही एकमात्र भौतिक धारणा के रूप में कार्य करता है, जो प्रमाणित यादृच्छिकता के लिए एक मजबूत, आयाम-स्वतंत्र और प्रयोगात्मक रूप से सुलभ मार्ग प्रदान करता है।