Utility-Constrained Pauli–Weyl Randomization for Robust Quantum α-z Rényi Privacy

तकनीकी सारांश: सुदृढ़ क्वांटम $\alpha$-$z$ रेनी गोपनीयता के लिए उपयोगिता-प्रतिबंधित पाउली-वेइल रैंडमाइजेशन

समस्या विवरण

यह शोध पत्र कार्यान्वयन योग्य क्वांटम गोपनीयता तंत्रों को डिजाइन करने की चुनौती को संबोधित करता है जो एक परिमित एन्सेम्बल (ensemble) क्वांटम अवस्थाओं $E = \{\rho_1, \dots, \rho_m\}$ को अलग पहचाने जाने से बचाते हैं, जबकि एक निर्धारित स्तर की सूचना उपयोगिता (information utility) को बनाए रखते हैं। लेखक रैंडम-यूनिटरी चैनलों पर ध्यान केंद्रित करते हैं, विशेष रूप से वे जो पाउली (क्यूबिट्स के लिए) और वेइल (क्वाडिट्स के लिए) ऑपरेटरों से निर्मित होते हैं, जो शास्त्रीय रैंडम कुंजियों (classical random keys) के माध्यम से भौतिक रूप से साकार किए जा सकते हैं।

एक महत्वपूर्ण समस्या जो पहचानी गई है, वह अनप्रतिबंधित गोपनीयता अनुकूलन (unconstrained privacy optimization) की अपभ्रष्टता (degeneracy) है। यदि हम सभी मिश्रित-यूनिटरी चैनलों पर सबसे खराब स्थिति वाले युग्मवार क्वांटम $\alpha$-$z$ रेनी डाइवर्जेंस (divergence) को बिना किसी बाधा के न्यूनतम करते हैं, तो इष्टतम समाधान पूर्णतः विसरित चैनल (completely depolarizing channel) ($\Delta(X) = \text{Tr}(X)I/d$) होता है। यह चैनल प्रत्येक इनपुट अवस्था को अधिकतम मिश्रित अवस्था (maximally mixed state) में बदल देता है, जिससे शून्य डाइवर्जेंस तो प्राप्त होता है, लेकिन सूचना का पूर्ण विलोपन भी हो जाता है। फलस्वरूप, यह एक सार्थक गोपनीयता-उपयोगिता व्यापार (privacy–utility trade-off) को पकड़ने में विफल रहता है।

इसे हल करने के लिए, यह शोध पत्र एक गैर-मिटाऊ (non-erasing) गोपनीयता समस्या को सूत्रबद्ध करता है। इसका उद्देश्य एक ऐसा रैंडमाइजेशन तंत्र खोजना है जो एक उपयोगिता बाधा (एक फिडेलिटी-प्रकार का निचला बाउंड $\eta$) और हार्डवेयर-स्वीकार्य बाधाओं (एक संकुचित सेट $K$ द्वारा प्रतिनिधित्व किया गया) के अधीन अधिकतम युग्मवार डाइवर्जेंस को न्यूनतम करता है। परिणामी मीट्रिक उपयोगिता-प्रतिबंधित सुदृढ़ गोपनीयता त्रिज्या (utility-constrained robust privacy radius), $R^\eta_{\alpha,z}(E; K)$ है।

कार्यप्रणाली

यह शोध पत्र वेरिएशनल विश्लेषण, ब्लॉक स्पेस में ज्यामितीय न्यूनीकरण (geometric reduction), और उत्तल अनुकूलन (convex optimization) तकनीकों के संयोजन का उपयोग करता है:

1. वैरिएशनल ढांचा (Variational Framework): लेखक कॉम्पैक्टनेस और निरंतरता धारणाओं के तहत मिनिमैक्स समस्या की सु-संरचितता (well-posedness) स्थापित करते हैं, मिनीमाइज़र के अस्तित्व को सिद्ध करते हैं। वे "शून्य-त्रिज्या" मामले (जहाँ बिना विलोपन के गोपनीयता पूर्ण होती है) का लक्षण वर्णन करते हैं और स्थानीय मिनीमाइज़र के लिए सक्रिय-युग्म इष्टतमता स्थितियों (active-pair optimality conditions) (KKT जैसी स्थितियाँ) व्युत्पन्न करते हैं।
2. ज्यामितीय न्यूनीकरण (क्यूबिट्स): समान शुद्धता वाले बाइनरी क्यूबिट एन्सेम्बल के लिए, लेखक अनुकूलित ब्लॉक निर्देशांकों (adapted Bloch coordinates) का उपयोग करते हैं। वे प्रदर्शित करते हैं कि सामान्य दिशा (ब्लॉक वेक्टर्स का माध्य) और संवेदनशील दिशा (ब्लॉक वेक्टर्स का अंतर) एक दूसरे के लंबवत हैं। यह पूर्ण पाउली चैनल अनुकूलन (3 पैरामीटर) को एक दो-पैरामीटर अनिसोट्रोपिक संकुचन (two-parameter anisotropic contraction) समस्या में कम करने की अनुमति देता है:
   • पैरामीटर $a$: संवेदनशील दिशा के संकुचन (गोपनीयता) को नियंत्रित करता है।
   • पैरामीटर $b$: सामान्य दिशा के संकुचन (उपयोगिता) को नियंत्रित करता है।
3. फूरियर विश्लेषण (कम्यूटिंग क्वाडिट्स): विकर्ण (diagonal) क्वाडिट एन्सेम्बल के लिए, लेखक दिखाते हैं कि वेइल रैंडमाइजेशन शास्त्रीय चक्रीय अभिसरण (classical cyclic convolution) में बदल जाता है। उपयोगिता बाधा को फूरियर ऑटोकोरिलेशन (Fourier autocorrelation) स्पेक्ट्रा के माध्यम से दर्शाया जाता है, जो क्वांटम समस्या को शास्त्रीय अनुकूलन समस्या में बदल देता है।
4. उत्तल सूत्रण (Convex Formulations): शोध पत्र उन विशिष्ट क्षेत्रों की पहचान करता है जहाँ मिनिमैक्स समस्या वैश्विक उत्तल सूत्रण को स्वीकार करती है, विशेष रूप से $0 < \alpha < 1$ (कॉन्वेक्स फजीबिलिटी) और $\alpha = 2$ (कॉन्वेक्स एपिग्राफ) के लिए।

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

1. सैद्धांतिक आधार:

• अपभ्रष्टता प्रमाण: कठोरता से सिद्ध करता है कि अनियंत्रित न्यूनीकरण पूर्ण विलोपन की ओर ले जाता है, जो $\eta > 1/d$ के लिए उपयोगिता बाधा की आवश्यकता को न्यायसंगत बनाता है।
• अस्तित्व और इष्टतमता: इष्टतम तंत्रों के अस्तित्व को सिद्ध करता है और सक्रिय युग्मों के ग्रेडिएंट्स के उत्तल आवरण (convex hull) से जुड़ी प्रथम-क्रम आवश्यक स्थितियों को व्युत्पन्न करता है।

2. बाइनरी क्यूबिट एन्सेम्बल के लिए सटीक समाधान:

• दो-पैरामीटर न्यूनीकरण: प्रमेय 4.2 सभी पाउली चैनलों पर अनुकूलन को संकुचन मापदंडों $(a, b)$ पर एक कॉम्पैक्ट दो-आयामी समस्या में कम करता है। कम किए गए $\alpha$-$z$ डाइवर्जेंस के लिए एक स्पष्ट दो-आइगनवैल्यू सूत्र व्युत्पन्न किया गया है।
• फिडेलिटी रेखा पर क्लोज्ड-फॉर्म ($\alpha = z = 1/2$): शुद्ध बाइनरी क्यूबिट अवस्थाओं के लिए, शोध पत्र इष्टतम गोपनीयता त्रिज्या के लिए एक क्लोज्ड-फॉर्म समाधान प्रदान करता है। इष्टतम तंत्र संवेदनशील दिशा को यथासंभव संकुचित करता है जबकि उपयोगिता बाधा को पूरा करने के लिए सामान्य दिशा का उपयोग करता है।
  • यदि उपयोगिता थ्रेशोल्ड इतना कम है कि केवल सामान्य घटक द्वारा पूरा किया जा सके, तो संवेदनशील दिशा को पूरी तरह से मिटाया जा सकता है ($a=0$), जिससे शून्य त्रिज्या प्राप्त होती है।
  • यदि थ्रेशोल्ड उच्च है, तो तंत्र न्यूनतम संवेदनशील दिशा को सुरक्षित रखता है।
• एंटीपोडल/कम्यूटिंग जोड़े: एंटीपोडल अवस्थाओं (लंबवत शुद्ध अवस्थाओं) के लिए, समस्या पूरे डेटा-प्रोसेसिंग क्षेत्र में हल की जाती है, जो $z$ से स्वतंत्र एक शास्त्रीय रेनी डाइवर्जेंस अभिव्यक्ति में बदल जाती है।

3. वेइल-डायगोनल कम्यूटिंग मॉडल:

• उत्तलता (Convexity): शोध पत्र प्रदर्शित करता है कि विकर्ण अवस्थाओं के लिए, गोपनीयता समस्या एक शास्त्रीय समस्या के समान है जिसे विशिष्ट $\alpha$ मानों के लिए उत्तल अनुकूलन के माध्यम से हल किया जा सकता है।
• फूरियर उपयोगिता: उपयोगिता को फूरियर मोड के भारित योग के रूप में दिखाया गया है, जो इस बात की पारदर्शी व्याख्या प्रदान करता है कि रैंडमाइजेशन कैसे विभेदन क्षमता (distinguishability) को कम करता है।

4. परिचालन महत्व (Operational Significance):

• स्थिरता: गोपनीयता त्रिज्या को मनमाने क्वांटम पोस्ट-प्रोसेसिंग और मापन के तहत स्थिर दिखाया गया है (डेटा-प्रोसेसिंग असमानता के माध्यम से)।
• भेदभाव सीमाएँ (Discrimination Bounds): फिडेलिटी रेखा पर, त्रिज्या इष्टतम बाइनरी भेदभाव सफलता प्रायिकता (हेल्मस्ट्रेट प्रमेय और फुक्स-वैन डी ग्राफ असमानताओं के माध्यम से) के लिए एक स्पष्ट ऊपरी सीमा प्रदान करती है।
• हार्डवेयर अंशांकन (Hardware Calibration): यह ढांचा हार्डवेयर-जागरूक अंशांकन का समर्थन करता है, जहाँ रैखिक बाधाएं (जैसे, गेट लागत, त्रुटि बजट) स्वीकार्य सेट $K$ को परिभाषित करती हैं। शोध पत्र स्थानीय रूप से इष्टतम अंशांकित रैंडमाइजेशन प्रायिकताओं के लिए स्थितियाँ प्रदान करता है।

महत्व और दावे

शोध पत्र का दावा है कि यह उपयोगिता संरक्षण के साथ सूचना सुरक्षा को संतुलित करने के लिए एक कठोर, गैर-अपभ्रष्ट ढांचा प्रदान करता है। इसका प्राथमिक महत्व निम्नलिखित में निहित है:

• "पूर्ण विलोपन" के निरर्थक समाधान से आगे बढ़कर एक फिडेलिटी-आधारित उपयोगिता बाधा पेश करना।
• मौलिक मामले (बाइनरी क्यूबिट एन्सेम्बल) के लिए सटीक, क्लोज्ड-फॉर्म समाधान प्रदान करना, जो अधिक जटिल परिदृश्यों के लिए एक बेंचमार्क के रूप में कार्य करता है।
• विकर्ण एन्सेम्बल के लिए उत्तल सूत्रण स्थापित करना, जिससे समस्या गणनात्मक रूप से सुलभ हो जाती है।
• परिचालन प्रमाण (Operational certificates) प्रदान करना जो अमूर्त डाइवर्जेंस त्रिज्या को मूर्त भौतिक सीमाओं (स्टेट डिस्क्रिमिनेशन और हार्डवेयर-प्रतिबंधित कार्यान्वयन) से जोड़ते हैं।

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