तकनीकी सारांश: शोरयुक्त उच्च-आयामी पथ स्थानों में सटीक गुप्त पथ (Exact Hidden Paths in Noisy High Dimensional Path Spaces)

1. समस्या की परिभाषा

यह शोध पत्र सटीक शोरयुक्त गुप्त पथ रिकवरी समस्या (Exact Noisy Hidden Path Recovery Problem) को प्रस्तुत करता है, जो उच्च-आयामी विविक्त पथ स्थानों (discrete path spaces) में स्थित एक गणितीय प्रतिलोम समस्या (inverse problem) है। पाथ इंटीग्रल्स (जैसे कि फाईनमैन पाथ इंटीग्रल्स) के मानक भौतिक अनुप्रयोगों के विपरीत, जो सैडलपॉइंट या वेरिएशनल सन्निकटन के माध्यम से वैश्विक आयामों (global amplitudes), प्रमुख मैक्रोस्कोपिक व्यवहारों, या विभाजन फलनों (partition functions) का अनुमान लगाने का प्रयास करते हैं, यह कार्य एक एकल गुप्त सूक्ष्म पथ (single hidden microscopic trajectory) की सटीक रिकवरी पर केंद्रित है।

मुख्य वस्तु एक गुप्त पथ $\gamma^\star = (x_0, x_1, \dots, x_T)$ है जहाँ $x_i \in \mathbb{Z}_q^n$ है। पथ एक संक्रमण मॉडल के अनुसार विकसित होता है:
$$x_{i+1} = x_i + \Delta_i + \varepsilon_i + \eta_i \pmod q$$
जहाँ:

• $\Delta_i \in D$ एक मैक्रो इंक्रीमेंट (स्थूल प्रक्षेपवक्र/coarse trajectory) को दर्शाता है।
• $\varepsilon_i \in E$ एक माइक्रो परटर्बेशन (सूक्ष्म विचलन/fine-grained deviation) को दर्शाता है।
• $\eta_i$ आंतरिक शोर (internal noise) को दर्शाता है, जिसे अक्सर एक विविक्त गाऊसी वितरण (discrete Gaussian distribution) के रूप में मॉडल किया जाता है।

सार्वजनिक डेटा स्वयं पथ नहीं है, न ही कोई छोटा हैश डाइजेस्ट, बल्कि अवलोकनीय (observables) $Y = \Phi(\gamma, \varepsilon, \eta)$ का एक बड़ा वेक्टर है। इन अवलोकनीयों में प्रोजेक्शन, एकत्रित योग (aggregated sums), क्वांटाइजेशन, गैर-रेखीय रूपांतरण और यादृच्छिक अवलोकन मानचित्र शामिल हो सकते हैं। उद्देश्य सार्वजनिक मापदंडों और $Y$ से सटीक सूक्ष्म वस्तु $X^\star = (x_0, \Delta, \varepsilon, \eta)$ को पुनर्गठित करना है।

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

2. कार्यप्रणाली और ढांचा

यह शोध पत्र परिमित क्षेत्र अंकगणित (finite field arithmetic) और संयोजन गणना (combinatorial counting) का उपयोग करके इस समस्या को औपचारिक रूप देता है, और क्वांटम गतिकी के दावों से बचते हुए पाथ इंटीग्रल अवधारणाओं को केवल एक संरचनात्मक प्रेरणा के रूप में उपयोग करता है।

2.1 गणितीय औपचारिकता

• अवस्था स्थान (State Space): $\mathbb{Z}_q^n$ (या यदि $q$ अभाज्य है तो $\mathbb{F}_q^n$) पर परिभाषित है।
• पथ स्थान (Path Space): $\Omega_{n,T,q}$ के सभी अनुक्रमों का सेट है जिसकी कार्डिनैलिटी (cardinality) $q^{n(T+1)}$ है।
• अवलोकन मानचित्र (Observation Map): एक फलन $\Phi: \mathcal{X} \to \mathcal{Y}$ जो एक सूक्ष्म वस्तु को एक अवलोकनीय वेक्टर में मैप करता है। "फाइबर" $\Phi^{-1}(Y)$ उन सभी वस्तुओं को समाहित करता है जो अवलोकन के साथ सुसंगत हैं।
• पहचान क्षमता (Identifiability): यह शोध पत्र स्थापित करता है कि सटीक रिकवरी सूचनात्मक रूप से तभी संभव है जब $\Phi$ जनरेशन सपोर्ट पर एकैकी (injective) हो। यदि फाइबर बड़े हैं, तो अतिरिक्त जानकारी के बिना सटीक रिकवरी असंभव है, चाहे कम्प्यूटेशनल शक्ति कितनी भी क्यों न हो।

2.2 "नो शॉर्ट डाइजेस्ट" सिद्धांत (The "No Short Digest" Principle)

एक केंद्रीय पद्धतिगत योगदान यह तर्क है कि सार्वजनिक अवलोकनीय वेक्टर $Y$ को बड़ा होना चाहिए। पथ स्थान को एक छोटे डाइजेस्ट (जैसे कि 256-बिट हैश) में संकुचित करने से प्रतिलोम समस्या एक डाइजेस्ट की एंट्रॉपी द्वारा संचालित प्रीइमेज सर्च (preimage search) में बदल जाती है, न कि पथ की संरचना द्वारा। शोध पत्र तर्क देता है कि सटीक रिकवरी अध्ययनों के लिए, सार्वजनिक कुंजी एक संरचित, उच्च-आयामी वेक्टर होनी चाहिए जो खोज स्थान को ध्वस्त किए बिना एक सार्थक प्रतिलोम समस्या को परिभाषित करने के लिए पर्याप्त जानकारी सुरक्षित रखे।

2.3 हमले का वर्गीकरण और शमन (Attack Taxonomy and Mitigation)

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

• रैखिकीकरण (Linearization): यदि अवलोकनीय अफाइन (affine) हैं, तो समस्या को गाऊसी एलिमिनेशन तक सीमित करना।
• लैटिस रिडक्शन (Lattice Reduction): छोटे शोर वाले अनुमानित रैखिक संरचनाओं का लाभ उठाना (LWE के समान)।
• डायनेमिक प्रोग्रामिंग (Dynamic Programming): यदि अवलोकनीय समय के साथ स्थानीय रूप से विघटित होते हैं और अवस्था स्थान छोटा है, तो पथ को हल करना।
• मीट-इन-द-मिडल (Meet-in-the-Middle): पथ को स्वतंत्र हिस्सों में अलग करने की क्षमता का लाभ उठाना।
• SAT/SMT सॉल्विंग: समस्या को एक बाधा संतुष्टि समस्या (constraint satisfaction problem) के रूप में एनकोड करना।
• अनुमान/राउंडिंग (Approximation/Rounding): एक मोटा पथ खोजने के लिए सैडलपॉइंट या ग्रेडिएंट विधियों का उपयोग करना और फिर उसे एक सटीक विटनेस (witness) में राउंड करना।
• सांख्यिकीय रिसाव (Statistical Leakage): कई उदाहरणों में सहसंबंध जो जनरेटर को प्रकट करते हैं।

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

3. मुख्य योगदान

शोध पत्र निम्नलिखित विशिष्ट योगदान देता है:

1. समस्या का सूत्रीकरण: सटीक शोरयुक्त गुप्त पथ रिकवरी समस्या को एक विशिष्ट प्रतिलोम समस्या के रूप में परिभाषित करना, जो अनुमानित सन्निकटन को सूक्ष्म सटीकता से अलग करती है।
2. सूचनात्मक सीमाएँ: यह सिद्ध करता है कि प्रभावी रिकवरी की कठिनाई अवलोकनीयों की सूचना सामग्री द्वारा सीमित है। यह दर्शाता है कि यदि सटीक रिकवरी लक्ष्य है, तो बड़े पथ स्थानों को छोटे डाइजेस्ट में संकुचित नहीं किया जा सकता।
3. रिकवरी का पदानुक्रम: रिकवरी के रूपों का एक पदानुक्रम स्थापित करता है (मोटा डिस्क्रिप्टर $\to$ अनुमानित $\to$ फाइबर रिकवरी $\to$ सटीक अवस्था $\to$ सटीक सूक्ष्म वस्तु) और सिद्ध करता है कि अनुमान, सटीक रिकवरी का संकेत नहीं देते हैं।
4. क्रिप्टोग्राफिक धारणा: सटीक शोरयुक्त गुप्त पथ वन-वे धारणा (Exact Noisy Hidden Path One-Way Assumption) का प्रस्ताव करता है, जो एक खोज खेल (search game) को परिभाषित करता है जहाँ एक हमलावर को एक बड़े अवलोकनीय वेक्टर से प्लांटेड विटनेस को रिकवर करना होता है।
5. संरचनात्मक विश्लेषण: विशिष्ट संरचनात्मक रिसाव जोखिमों (टेलीस्कोपिंग सम, लीनियर लीकेज, ओवरडिटरमिन्ड/अंडरडिटरमिन्ड सिस्टम) की पहचान करता है और एक शमन मैट्रिक्स प्रदान करता है।
6. अनुसंधान रोडमैप: एक गणितीय संबंध से भविष्य के प्रिमिटिव्स (primitives) तक के एक रूढ़िवादी पथ को रेखांकित करता है, यह स्पष्ट करते हुए कि वर्तमान में कोई पूर्ण एन्क्रिप्शन स्कीम या की एनकैप्सुलेशन मैकेनिज्म (KEM) परिभाषित नहीं है।

4. परिणाम और निष्कर्ष

• गिनती अनुमान (Counting Estimates): शोध पत्र पथ इतिहासों के लिए सटीक गणना प्रदान करता है। एक ब्रांचिंग फैक्टर $b$, माइक्रो-परटर्बेशन आकार $r$, और शोर समर्थन $s$ के लिए, सूक्ष्म इतिहासों की संख्या $(brs)^T$ है। मध्यम मापदंडों (जैसे $b=256, r=256, T=256$) के साथ भी, खोज स्थान $2^{4000}$ से अधिक हो जाता है, जिससे व्यापक सूची बनाना (exhaustive enumeration) असंभव हो जाता है, हालांकि यह संरचनात्मक हमलों को नहीं रोकता है।
• प्रोजेक्शन अस्पष्टता (Projection Ambiguity): प्रमेय 4.2 सिद्ध करता है कि $n$ आयाम से $k$ आयाम में एक पथ को प्रोजेक्ट करने से एकल प्रक्षिप्त प्रक्षेपवक्र के लिए $q^{(n-k)(T+1)}$ पथों की अस्पष्टता उत्पन्न होती है।
• क्वांटाइजेशन और शोर: शोध पत्र इस बात का विश्लेषण करता है कि कैसे क्वांटाइजेशन विभिन्न वस्तुओं को एक ही अवलोकनीय बिन में मिला देता है और कैसे आंतरिक गाऊसी शोर सूक्ष्म अस्पष्टता को बढ़ाता है, जो मोटे पुनर्निर्माण को सटीक रिकवरी से अलग करता है।
• फानो की असमानता (Fano's Inequality) का अनुप्रयोग: यह दिखाने के लिए कि उच्च सशर्त एंट्रॉपी (बड़े फाइबर) किसी भी रिकवरी नियम पर त्रुटि की संभावना के लिए एक निचली सीमा लगाती है, शोध पत्र फानो की असमानता लागू करता है।

5. महत्व और दावे

शोध पत्र अपने दावों में विनम्र है। यह कोई तैनात क्रिप्टोसिस्टम, सिग्नेचर स्कीम या KEM प्रस्तावित नहीं करता है। इसका महत्व निम्नलिखित में निहित है:

• एक संभावित कठिन समस्या को परिभाषित करना: यह एक सटीक गणितीय संबंध (सटीक शोरयुक्त गुप्त पथ रिकवरी) को अलग करता है जो मानक लैटिस या कोडिंग समस्याओं से भिन्न है, जो अनुमान और सटीकता के अलगाव से प्रेरित है।
• अवलोकनीयों की भूमिका को स्पष्ट करना: यह उस क्रिप्टोग्राफिक परंपरा को चुनौती देता है जहाँ सार्वजनिक कुंजियों के लिए छोटे डाइजेस्ट का उपयोग किया जाता है जब अंतर्निहित कठिनाई एक बड़े पथ स्थान की संरचना पर निर्भर करती है।
• एक अनुसंधान ढांचा प्रदान करना: यह एक कठोर चेकलिस्ट प्रदान करता है, जिसमें रैखिकीकरण, डायनेमिक प्रोग्रामिंग और सांख्यिकीय रिसाव के लिए विशिष्ट परीक्षण शामिल हैं।
• पोस्ट-क्वांटम प्रासंगिकता: यह पोस्ट-क्वांटम क्रिप्टोग्राफी के लिए एक दिशा का सुझाव देता जहाँ शोरर का एल्गोरिदम (जो अबेलियन समूहों में छिपे हुए सबग्रुप संरचनाओं पर निर्भर करता है) सीधे लागू नहीं हो सकता है, बशर्ते कि अवलोकनीय परिवार छिपे हुए समूह समरूपताओं (hidden group symmetries) से बचता हो।

लेखक निष्कर्ष निकालते हैं कि यह ढांचा गणितीय और क्रिप्टोग्राफिक दोनों अनुसंधान के लिए एक आधार के रूप में कार्य करता है। अगले चरण के लिए ठोस अवलोकनीय परिवारों का निर्माण, उनके फाइबर का विश्लेषण और यह परीक्षण करना आवश्यक है कि क्या ऐसे क्षेत्र मौजूद हैं जहाँ मोटा अनुमान संभव है लेकिन सटीक सूक्ष्म रिकवरी कम्प्यूटेशनल रूप से कठिन बनी रहती है। जब तक ऐसा प्रमाण एकत्र नहीं किया जाता, यह प्रस्ताव एक सुरक्षित प्रिमिटिव के बजाय एक 'कैंडिडेट रिलेशन' (उम्मीदवार संबंध) बना हुआ है।