⚛️ quantum physics

Quantum Lazy Sampling and Path Recording for Any Group

यह शोध पत्र एक सामान्य-उद्देश्यीय, व्याख्या योग्य पाथ-रिकॉर्डिंग ओरकल (path-recording oracle) प्रस्तुत करता है जो सुपरपोज्ड इनपुट-आउटपुट युग्मों को संग्रहीत करके $U(N)$ के किसी भी बंद उपसमूह (closed subgroup) के यादृच्छिक तत्वों का पूर्णतः अनुकरण करता है, जिससे विभिन्न समूहों के बीच प्रत्यक्ष तुलना करना संभव हो जाता है ताकि नए स्यूडो-रैंडमनेस (pseudorandomness) परिणाम प्राप्त किए जा सकें, जैसे कि स्यूडो-रैंडम यूनिटरीज का एक सरलीकृत निर्माण।

मूल लेखक: Ben Foxman, Alex Lombardi, Fermi Ma, Barak Nehoran, John Wright

प्रकाशित 2026-10-01

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

CC BY 4.0

मूल लेखक: Ben Foxman, Alex Lombardi, Fermi Ma, Barak Nehoran, John Wright

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

क्वांटम कंप्यूटिंग की दुनिया में, वैज्ञानिक अक्सर यह समझने की कोशिश करते हैं कि एल्गोरिदम तब कैसे व्यवहार करते हैं जब वे किसी पूरी तरह से यादृच्छिक (random) चीज़ के साथ अंतःक्रिया करते हैं। कल्पना कीजिए कि एक मशीन है जो एक रहस्यमय, निरंतर बदलते हुए ब्लैक बॉक्स से प्रश्न पूछ सकती है। यह बॉक्स एक यादृच्छिक फलन (function), डेटा का एक यादृccिक क्रम (shuffle), या क्वांटम अवस्थाओं का एक यादृच्छिक रूपांतरण रख सकता है। यह सिद्ध करने के लिए कि एक नया क्वांटम एल्गोरिदम सही ढंग से काम करता है, या यह सिद्ध करने के लिए कि एक गुप्त कोड अटूट है, शोधकर्ताओं को यह समझने में सक्षम होना चाहिए कि एक निश्चित संख्या में प्रश्न पूछने के बाद एल्गोरिदम क्या सीखता है। शास्त्रीय रूप से (Classically), इसे "डिफर्ड सैंपलिंग" (deferred sampling) नामक एक तकनीक का उपयोग करके किया जाता है। यादृच्छिक बॉक्स की पूरी सामग्री को बिल्कुल शुरुआत में ही तय करने के बजाय, कंप्यूटर तब तक प्रतीक्षा करता है जब तक कि एल्गोरिदम एक विशिष्ट प्रश्न नहीं पूछता, और केवल तभी वह उस विशिष्ट प्रश्न के लिए एक यादृच्छिक उत्तर चुनता है। यह सिमुलेशन को कुशल और प्रबंधनीय रखता है।

हालाँकि, क्वांटम कंप्यूटर अलग होते हैं। वे एक साथ कई प्रश्न पूछ सकते हैं, एक सुपरपोजिशन की स्थिति में मौजूद रहते हैं जहाँ वे प्रभावी रूप से एक ही समय में कई विभिन्न इनपुट के साथ बॉक्स को क्वेरी कर रहे होते हैं। यहทำให้ शास्त्रीय "डिफर्ड सैंपलिंग" चाल का सीधे उपयोग करना असंभव हो जाता है, क्योंकि कंप्यूटर बस यह देखने के लिए प्रतीक्षा नहीं कर सकता कि एल्गोरिदम क्या पूछ रहा है; एल्गोरिदम ने तो सब कुछ एक साथ ही पूछ लिया है। वर्षों से, शोधकर्ता इस उपकरण का क्वांटम संस्करण बनाने के लिए संघर्ष कर रहे थे। इसके बिना, क्वांटम कोड की सुरक्षा को सिद्ध करना या क्वांटम गति की सीमाओं को समझना अविश्वसनीय रूप से कठिन है। चुनौती एक ऐसा डिजिटल रिकॉर्ड बनाने की थी जो चलते समय स्वयं को अपडेट करे, जो एल्गोरिदम के क्या जानने की प्रक्रिया को उसकी नाजुक सुपरपोजिशन को ध्वस्त किए बिना ट्रैक रखे, और ऐसा करे जिसे मनुष्य वास्तव में समझ सकें और प्रमाणों के लिए उपयोग कर सकें।

शोधकर्ताओं की एक टीम ने इस समस्या को हल करते हुए एक नया, सार्वभौमिक उपकरण बनाया है जिसे "पाथ-रिकॉर्डिंग ऑरेकल" (path-recording oracle) कहा जाता है। यह टूल किसी भी यादृच्छिक रूपांतरण के लिए एक आदर्श सिम्युलेटर के रूप में कार्य करता है जो एक विशिष्ट गणितीय परिवार से आता है, जिसमें यादृच्छिक फलन, यादृच्छिक क्रम (shuffles), और यादृच्छिक क्वांटम ऑपरेशन शामिल हैं। पिछले प्रयासों के विपरीत, जो या तो समझने के लिए बहुत जटिल थे या केवल विशिष्ट मामलों के लिए काम करते थे, यह नई विधि किसी भी बंद समूह (closed group) के रूपांतरणों के लिए काम करती है। इसका मूल विचार एल्गोरिदम की यात्रा के "इतिहास" को रिकॉर्ड करना है। केवल इनपुट और आउटपुट की एक सूची संग्रहीत करने के बजाय, नया ऑरेकल उन सभी संभावित पथों (paths) का एक सुपरपोजिशन संग्रहीत करता है जो एल्गोरिदम ने लिए हो सकते थे। यह प्रत्येक इनपुट-आउटपुट जोड़ी का एक चालू हिसाब रखता है, लेकिन यह क्वांटम यांत्रिकी के अजीब नियमों का सम्मान करते हुए करता है।

शोधकर्ताओं ने दिखाया कि यह नया ऑरेकल केवल एक सैद्धांतिक जिज्ञासा नहीं है; यह सुरक्षा सिद्ध करने के लिए एक व्यावहारिक इंजन है। इस उपकरण का उपयोग करके, वे यह प्रदर्शित करने में सक्षम थे कि एक "स्यूडो रैंडम यूनिटरी" (pseudorandom unitary)—एक ऐसा क्वांटम ऑपरेशन जो किसी भी पर्यवेक्षक के लिए यादृच्छिक दिखता है लेकिन वास्तव में एक संक्षिप्त, कुशल प्रक्रिया द्वारा उत्पन्न होता है—के लिए एक बहुत ही सरल निर्माण सुरक्षित है। उनके निर्माण में डेटा का एक यादृच्छिक क्रम लेना और उसे एक ज्ञात क्लिफोर्ड सर्किट (Clifford circuit) द्वारा गुणा करना शामिल है। पिछले कार्यों ने सुझाव दिया था कि इस संयोजन को सुरक्षित होने के लिए एक अतिरिक्त यादृच्छिक चरण (phase) की आवश्यकता होगी, लेकिन नए विश्लेषण ने सिद्ध किया कि केवल शफल और सर्किट ही पर्याप्त हैं। यह निष्कर्ष सुरक्षित क्वांटम प्रणालियों के डिज़ाइन को महत्वपूर्ण रूप से सरल बनाता है, जिससे अनावश्यक जटिलता दूर हो जाती है।

इस नए उपकरण की शक्ति विभिन्न प्रकार की यादृच्छिकता को एक एकीकृत तरीके से संभालने की क्षमता में निहित है। चाहे यादृच्छिक तत्व बिट्स का एक साधारण क्रम हो या उच्च-आयामी क्वांटम अवस्था का एक जटिल रोटेशन, पाथ-रिकॉर्डिंग ऑरेकल समान अंतर्निहित तर्क के साथ इसे संभालता है। यह एल्गोरिदम द्वारा एकत्र की गई जानकारी को फेनमैन पथों (Feynman paths) के एक सेट के रूप में रिकॉर्ड करता है, जो अनिवार्य रूप से अंतःक्रिया के संभावित इतिहास हैं। शोधकर्ताओं ने सिद्ध किया कि कई परिदृश्यों के लिए, इस ऑरेकल द्वारा रिकॉर्ड की गई जानकारी वास्तव में यादृच्छिक स्रोत से प्राप्त जानकारी के समान है, बशर्ते कि पूछे गए प्रश्नों की संख्या सिस्टम के आकार की तुलना में बहुत अधिक न हो। यह परिणाम एक ठोस गणितीय आधार प्रदान करता है कि कुछ क्वांटम निर्माण शक्तिशाली क्वांटम विरोधियों के विरुद्ध भी सुरक्षित हैं।

इस कार्य का एक सबसे महत्वपूर्ण पहलू यह है कि यह अमूर्त गणित और व्यावहारिक अनुप्रयोग के बीच के अंतर को पाटता है। शोधकर्ताओं ने अपने उपकरण को प्रथम सिद्धांतों (first principles) से प्राप्त किया है, जिसका अर्थ है कि उन्होंने इसे क्वांटम समूहों के व्यवहार के बुनियादी नियमों से बनाया है, न कि केवल एक समाधान का अनुमान लगाकर और यह जाँचकर कि क्या वह काम करता है। उन्होंने दिखाया कि उनकी विधि किसी भी बंद यूनिटरी सबग्रुप के यादृच्छिक तत्वों के व्यवहार का पूर्णतः अनुकरण करती है। इसमें यूनिटरी समूह शामिल है, जो सभी संभावित प्रतिवर्ती (reversible) क्वांटम ऑपरेशनों का वर्णन करता है, साथ ही सिमेट्रिक ग्रुप भी, जो सभी संभावित क्रमों (shuffles) का वर्णन करता है। एल्गोरिदम की क्वेरीज़ और रिकॉर्ड किए गए डेटा के बीच एक स्पष्ट, व्याख्या योग्य लिंक स्थापित करके, शोधकर्ताओं ने यह एक नया मानक प्रदान किया है कि क्वांटम सुरक्षा प्रमाण कैसे संचालित किए जाने चाहिए।

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

"पीसी" (PC) निर्माण (एक यादृच्छिक क्रम के बाद एक यादृच्छिक क्लिफोर्ड सर्किट) की सुरक्षा सिद्ध करने के विशिष्ट अनुप्रयोग में, शोधकर्ताओं ने अपने नए उपकरण का उपयोग यह दिखाने के लिए किया कि यह संयोजन एक वास्तविक यादृच्छिक यूनिटरी ऑपरेशन के समान है। उन्होंने "डिंस्टिंक्ट, नॉनप्लसड" (distinct, nonplussed) सबस्पेस का विश्लेषण किया, जो क्वांटम स्टेट स्पेस का एक विशिष्ट क्षेत्र है जहाँ एल्गोरिदम के काम करने की सबसे अधिक संभावना होती है। उन्होंने पाया कि इस क्षेत्र के भीतर, यादृच्छिक क्रम और यादृच्छिक यूनिटरी का व्यवहार सांख्यिकीय रूप से समान है। इसका अर्थ है कि सिस्टम को तोड़ने की कोशिश करने वाला विरोधी, निर्मित ऑपरेशन और एक वास्तविक यादृच्छिक ऑपरेशन के बीच अंतर नहीं कर सकता है, जब तक कि वह अत्यधिक संख्या में प्रश्न न पूछे। यह परिणाम पुष्टि करता है कि सरल निर्माण उतना ही सुरक्षित है जितना कि वे जटिल निर्माण जिन्हें पहले आवश्यक माना जाता था।

इस कार्य के निहितार्थ केवल एक विशिष्ट निर्माण तक ही सीमित नहीं हैं। एक सामान्य-उद्देश्यीय, व्याख्या योग्य ढांचे के माध्यम से क्वांटम क्वेरीज़ का विश्लेषण करने की क्षमता प्रदान करके, शोधकर्ताओं ने क्वांटम क्रिप्टोग्राफी और जटिलता सिद्धांत (complexity theory) में नई खोजों के द्वार खोल दिए हैं। उनकी विधि विभिन्न प्रकार के यादृccिक समूहों के बीच प्रत्यक्ष तुलना करने की अनुमति देती है, जिससे स्यूडो रैंडमनेस सिद्ध करने के लिए नई तकनीकें मिल सकती हैं। यह बेहतर एन्क्रिप्शन स्कीम्स डिजाइन करने, क्वांटम सर्च एल्गोरिदम की सीमाओं को समझने और क्वांटम प्रोटोकॉल की शुद्धता को सत्यापित करने में मदद कर सकता है। इन अंतःक्रियाओं को कुशलतापूर्वक और सटीक रूप से सिम्युलेट करने की क्षमता विश्वसनीय क्वांटम प्रौद्योगिकियों के विकास में एक महत्वपूर्ण कदम है।

शोधकर्ताओं ने अपने नए उपकरण और मौजूदा तरीकों के बीच के संबंध को भी स्पष्ट किया। उन्होंने दिखाया कि उनका पाथ-रिकॉर्डिंग ऑरेकल एक पूर्व प्रस्तावित "टेब्लो-रिकॉर्डिंग ऑरेकल" (tableau-recording oracle) के गणितीय रूप से समकक्ष है, लेकिन व्याख्या करने में बहुत आसान है। टेब्लो विधि, हालांकि शक्तिशाली थी, लेकिन इसे विज़ुअलाइज़ करना और वास्तविक रूप से रिकॉर्ड की जा रही जानकारी के संदर्भ में समझना कठिन था। इसके विपरीत, पाथ-रिकॉर्डिंग विधि इनपुट-आउटपुट जोड़ों का एक स्पष्ट रिकॉर्ड रखती है, जिससे यह पारदर्शी हो जाता है कि एल्गोरिदम ने क्या सीखा है। यह पारदर्शिता सुरक्षा प्रमाणों में विश्वास बनाने और परिणामों को नए और अधिक जटिल परिदृश्यों तक विस्तारित करने के लिए महत्वपूर्ण है।

अंततः, यह कार्य क्वांटम एल्गोरिदम विश्लेषण के क्षेत्र में एक महत्वपूर्ण परिपक्वता का प्रतिनिधित्व करता है। यह क्षेत्र को विशेष (ad-hoc), केस-दर-केस समाधानों से हटाकर एक एकीकृत, सिद्धांत-आधारित दृष्टिकोण की ओर ले जाता है। पाथ-रिकॉर्डिंग ऑरेकल यादृच्छिक ऑरेकल के साथ क्वांटम अंतःक्रियाओं को सिम्युलेट करने का एक मजबूत, कुशल और समझने योग्य तरीका प्रदान करता है। यह क्षमता क्वांटम क्रिप्टोग्राफी के भविष्य के लिए मौलिक है, क्योंकि यह शोधकर्ताओं को यह कठोरता से सिद्ध करने की अनुमति देती है कि उनके सिस्टम क्वांटम हमलों के विरुद्ध सुरक्षित हैं। इन अंतःक्रियाओं को कुशलतापूर्वक और व्याख्या योग्य रूप से सिम्युलेट करने की समस्या को हल करके, शोधकर्ताओं ने समुदाय को क्वांटम दुनिया को देखने और समझने के लिए एक शक्तिशाली नया लेंस प्रदान किया है।

तकनीकी सारांश: किसी भी समूह के लिए क्वांटम रैंडम सैंपलिंग और पाथ रिकॉर्डिंग

1. समस्या विवरण

क्वांटम एल्गोरिदम विश्लेषण और क्रिप्टोग्राफी में एक केंद्रीय चुनौती उन एल्गोरिदम के बारे में तर्कसंगत विचार करना है जिनके पास एक रैंडम ग्रुप एलिमेंट (जैसे, एक रैंडम फंक्शन, परम्यूटेशन, या यूनिटरी) तक ऑरेकल एक्सेस है। ऐसे एल्गोरिदम का विश्लेषण करने के लिए, हमें यह निर्धारित करना होता है कि $t$ क्वेरीज़ के बाद वे क्या जानकारी सीखते हैं और क्या वे रैंडम ऑब्जेक्ट को एक स्यूडो-रैंडम (pseudorandom) ऑब्जेक्ट से अलग कर सकते हैं।

क्लासिकल रूप से, रैंडम सैंपलिंग एक मानक उपकरण है: पूरे रैंडम ऑब्जेक्ट को शुरुआत में सैंपल करने के बजाय, सिम्युलेटर ऑन-द-फ्लाई (on the fly) आंशिक जानकारी (इनपुट-आउटपुट पेयर्स) को सैंपल करता है क्योंकि एल्गोरिदम क्वेरी करता है। यह कुशल सिमुलेशन और एल्गोरिदम के ज्ञान की स्पष्ट ट्रैकिंग की अनुमति देता है।

क्वांटम सेटिंग में, एल्गोरिदम सुपरपोजिशन में क्वेरी कर सकते हैं और जानकारी भूल सकते हैं, जिससे क्लासिकल रैंडम सैंपलिंग अपर्याप्त हो जाती है। मौजूदा समाधान कंप्रेस्ड ऑरेकल (या रिकॉर्डिंग ऑरेकल) हैं, जो आंशिक जानकारी के लिए एक क्वांटम डेटा स्ट्रक्चर बनाए रखते हैं। हालांकि, पूर्ववर्ती कंप्रेस्ड ऑरेकलों में महत्वपूर्ण सीमाएं थीं:

सामान्यीकरण का अभाव: अधिकांश विशिष्ट समूहों (जैसे, Boolean फंक्शन्स के लिए Zhandry, Haar-random यूनिटरीज के लिए Ma-Huang, परम्यूटेशन के लिए Carolan) के लिए विशेष रूप से तैयार किए गए थे।
व्याख्यात्मकता का अभाव: ग्रिंको और योशिदा द्वारा प्रस्तावित एक हालिया सामान्य-उद्देश्य वाला प्रस्ताव (जिसे "टेब्लो-रिकॉर्डिंग ऑरेकल" कहा जाता है) गणितीय रूप से सुदृढ़ था, लेकिन इसमें रिकॉर्ड किए गए डेटा की स्पष्ट परिचालन व्याख्या (operational interpretation) की कमी थी, जिससे लोअर बाउंड्स या सुरक्षा सिद्ध करने में बाधा आई।
अनुमान त्रुटियां (Approximation Errors): कुछ सामान्य निर्माण (जैसे, Ma-Huang) $O(t^2/N)$ त्रुटि के साथ केवल अनुमानित सिमुलेशन प्राप्त करते हैं, न कि पूर्ण सिमुलेशन।

पेपर यह प्रश्न पूछता है: क्या कोई सामान्य-उद्देश्य वाला, व्याख्या योग्य कंप्रेस्ड ऑरेकल मौजूद है जो प्रत्येक कॉम्पैक्ट ली ग्रुप (compact Lie group) के लिए क्वांटम रैंडम सैंपलिंग की अनुमति दे सके?

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

लेखक किसी भी कॉम्पैक्ट ली ग्रुप $G$ के लिए कंप्रेस्ड ऑरेकल बनाने के लिए प्रथम सिद्धांतों (first principles) से व्युत्पन्न एक फ्रेमवर्क विकसित करते हैं, जो $N$ क्यूबिट्स पर एक यूनिटरी रिप्रेजेंटेशन $\rho: G \to U(N)$ के माध्यम से कार्य करता है। कार्यप्रणाली दो चरणों में आगे बढ़ती है:

2.1 टेब्लो रिकॉर्डिंग (एल्जेब्रिक आधार)

लेखक पहले टेब्लो रिकॉर्डिंग ऑरेकल ( $Q^{\text{Tab}}_\rho$ ) का पुनरावलोकन करते हैं और उसके लिए एक नया प्रमाण प्रदान करते हैं, जिसका अध्ययन मूल रूप से ग्रिंको और योशिदा द्वारा किया गया था।

निर्माण: वे रैंडम ग्रुप एलिमेंट $g$ को हिल्बर्ट स्पेस $L^2(G)$ में प्यूरीफाई करते हैं और इरिड्यूसिबल रिप्रेजेंटेशन (irreps) द्वारा इंडेक्स किए गए बेसिस में जाने के लिए फूरियर ट्रांसफॉर्म (सामान्यीकृत पीटर-वेयर्ड प्रमेय) लागू करते हैं।
तंत्र: ऑरेकल एक "रिकॉर्डिंग रजिस्टर" को फूरियर बेसिस (या "टेब्लो बेसिस") में बनाए रखता है। एक क्वेरी इस रजिस्टर को अपडेट करती है, जिसमें वर्तमान इरिप (irrep) के साथ क्वेरी रिप्रेजेंटेशन के टेंसर प्रोडक्ट को डीकंपोज करने के लिए क्लेब्स-गोर्डन ट्रांसफॉर्म (Clebsch-Gordan transform) और उसके बाद एक इनवर्स ड्यूल क्लेब्स-गोर्डन ट्रांसफॉर्म लागू किया जाता है।
गुण: यह ऑरेकल रैंडम ग्रुप एलिमेंट का पूर्ण सिमुलेशन करता है और यह कुशल है यदि क्लेब्स-गोर्डन ट्रांसफॉर्म कुशल हैं। हालांकि, रिकॉर्डिंग रजिस्टर की सामग्री (इरिप लेबल्स और टेब्लो स्टेट्स का सुपरपोजिशन) परिचालन रूप से समझने में कठिन है।

2.2 पाथ रिकॉर्डिंग (व्याख्या परत)

व्याख्यात्मकता प्राप्त करने के लिए, लेखक पाथ रिकॉर्डिंग ऑरेकल ( $Q^{\text{Path}}_\rho$ ) को परिभाषित करते हैं।

रूपांतरण: वे एक आइसोमेट्री $\Gamma_t$ को परिभाषित करते हैं जो टेब्लो बेसिस को पाथ बेसिस में मैप करता है। पाथ बेसिस क्रमित इनपुट-आउटपुट पेयर्स $|(x_1, y_1), \dots, (x_t, y_t)\rangle$ के सुपरपोजिशन से बना होता है, जो एल्गोरिदम द्वारा खोजे गए "फिमेन पाथ्स" (Feynman paths) का प्रतिनिधित्व करता है।
सिमेट्राइजेशन (Symmetrization): मुख्य अंतर्दृष्टि यह है कि रिकॉर्डिंग रजिस्टर को कम्यूटेंट अल्जेब्रा $A_t = \text{End}_G((\mathbb{C}^N)^{\otimes t})$ $A_{t} = End_{G} ((C^{N})^{\otimes t})$ की समरूपताओं (symmetries) का सम्मान करना चाहिए। अपडेट नियम में शामिल है:
1. रीवेटिंग (Reweighting): इरिप के आयाम और कम्यूटेंट अल्जेब्रा के आधार पर शूअर (Schur) बेसिस में सबस्पेस को स्केल करना।
2. अपेंडिंग (Appending): डेटाबेस में एक नया EPR पेयर (इनपुट-आउटपुट पेयर) जोड़ना।
3. सिमेट्राइजिंग (Symmetrizing): स्टेट को कम्यूटेंट EPR सबस्पेस (एक प्रोजेक्टर $\Omega_{A_t}$ का इमेज) पर प्रोजेक्ट करना। यह प्रोजेक्टर ग्रुप एक्शन की समरूपताओं को लागू करता है, प्रभावी रूप से क्वेरी के क्रम या अन्य अनावश्यक जानकारी को "भूल" जाता है, जैसा कि परम्यूटेशन के लिए क्लासिकल रैंडम सैंपलिंग विशिष्ट इनपुट्स के क्रम को भूल जाता है।
सामान्यता: यह फ्रेमवर्क किसी भी कॉम्पैक्ट ली ग्रुप पर लागू होता है। सिमेट्राइजेशन ऑपरेटर $\Omega_{A_t}$ का विशिष्ट रूप कम्यूटेंट अल्जेब्रा पर निर्भर करता है (उदाहरण के लिए, $U(N)$ के लिए सिमेट्रिक ग्रुप अल्जेब्रा, $S_N$ के लिए पार्टीशन अल्जेब्रा)।

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

3.1 एक सामान्य पाथ-रिकॉर्डिंग ऑरेकल

पेपर एक पाथ-रिकॉर्डिंग ऑरेकल को परिभाषित और विश्लेषित करता है जो:

पूर्ण सिमुलेशन करता है: यह किसी भी क्लोज सबग्रुप $\rho(G) \subseteq U(N)$ के लिए Haar-रैंडम तत्वों के क्वेरी एक्सेस का सटीक सिमुलेशन प्रदान करता है, जिससे पिछले सामान्य निर्माणों में पाई जाने वाली $O(t^2/N)$ सिमुलेशन त्रुटि समाप्त हो जाती है।
व्याख्या योग्य है: इसका रिकॉर्डिंग रजिस्टर इनपुट-आउटपुट पेयर्स के सुपरपोजिशन को स्पष्ट रूप से स्टोर करता है, जिससे एल्गोरिदम द्वारा सीखी गई जानकारी पारदर्शी हो जाती है।
कुशल है: इसका अपडेट नियम कम्यूटेंट अल्जेब्रा और क्लेब्स-गोर्डन ट्रांसफॉर्म के संदर्भ में व्यक्त किया गया है, जो कई रुचि के समूहों (जैसे, $U(N), S_N$ ) के लिए कुशलतापूर्वक लागू किया जा सकता है।

3.2 पूर्व कार्य का एकीकरण

लेखक प्रदर्शित करते हैं कि उनका फ्रेमवर्क मौजूदा कंप्रेस्ड ऑरेकल को स्वाभाविक रूप से पुनः प्राप्त और एकीकृत करता है:

Zhandry का ऑरेकल: $\mathbb{Z}_2^N$ (Boolean फंक्शन्स) के लिए पाथ-रिकॉर्डिंग ऑरेकल के रूप में पुनः प्राप्त किया गया।
Ma-Huang ऑरल: $U(N)$ के लिए पाथ-रिकॉर्डिंग ऑरेकल के एक अनुमान के रूप में पुनः प्राप्त किया गया, जहाँ सबस्पेस रीवेटिंग ऑपरेटरों को स्केलर द्वारा अनुमानित किया जाता है और विशिष्टता (distinctness) की बाधा लागू की जाती है।
परम्यूटेशन ऑरेकल: $S_N$ के लिए सिमेट्रिक ग्रुप के रूप में पुनः प्राप्त किया गया।

3.3 नया स्यूडो-रैंडम यूनिटरी निर्माण

इस फ्रेमवर्क का प्राथमिक अनुप्रयोग स्यूडो-रैंडम यूनिटरीज (PRUs) का एक नया, सरल निर्माण है।

निर्माण: उत्पाद $PC$ , जहाँ $P$ एक रैंडम (या स्यूडो-रैंडम) परम्यूटेशन है और $C$ एक यूनिटरी 2-डिजाइन (जैसे, एक रैंडम क्लिफोर्ड सर्किट) से लिया गया सर्किट है।
परिणाम: लेखक सिद्ध करते हैं कि $PC$ , किसी भी एडवर्सरी (adversary) के लिए जो $t$ क्वेरीज़ करता है, एक Haar-रैंडम यूनिटरी से $O(t^2/N)$ के डिस्टिंग्विशिंग एडवांटेज (distinguishing advantage) के साथ अविभेद्य (indistinguishable) है।
सुधार: यह "PFC" (परम्यूटेशन + फेज + क्लिफोर्ड) निर्माण की तुलना में सुधार करता है, यह दिखाते हुए कि रैंडम फेज $F$ अनावश्यक है। यह अब तक विश्लेषित सबसे सरल ज्ञात PRU निर्माण प्रदान करता है।

4. परिणाम

4.1 सैद्धांतिक गारंटी

थ्योरम 1.5 (अनौपचारिक): किसी भी कॉम्पैक्ट ली ग्रुप $G$ के लिए, एक आइसोमेट्री $Q^{\text{Path}}_\rho$ मौजूद है जो Haar-रैंडम $\rho(g)$ के क्वेरी एक्सेस का पूर्ण सिमुलेशन करता है। अपडेट नियम में रीवेटिंग, अपेंडिंग और कम्यूटेंट अल्जेब्रा $A_t$ के संबंध में सिमेट्राइजिंग शामिल है।
थ्योरम 1.6: एक यूनिफॉर्मली रैंडम इन-प्लेस परम्यूटेशन $P$ और एक यूनिटरी 2-डिजाइन $C$ के लिए, एन्सेम्बल $P \cdot C$ , एक Haar-रैंडम यूनिटरी से $O(t^2/N)$ -अविभेद्य है।
थ्योरम 1.7: यदि $P$ को $(t, \epsilon)$ -सिक्योर पोस्ट-क्वांटम स्यूडो-रैंडम परम्यूटेशन परिवार से लिया जाता है, तो $P \cdot C$ एक $\epsilon + O(t^2/N)$ एप्रोक्सिमेट $t$ -डिजाइन है।

4.2 PRU प्रमाण के लिए तकनीकी तंत्र

PRU सुरक्षा का प्रमाण एक विशिष्ट सबस्पेस पर दोनों $S_N$ (परम्यूटेशन) और $U(N)$ (यूनिटरीज) के लिए पाथ-रिकॉर्डिंग ऑरेकल के विश्लेषण पर आधारित है:

डिंक्ट नॉनप्लसड सबस्पेस ( $DNP$ ): "डिंक्ट" सबस्पेस (कोई दोहराया गया इनपुट नहीं) और "नॉनप्लसड" सबस्पेस (यूनिफॉर्म सुपरपोजिशन $|+\rangle$ के लंबवत) का प्रतिच्छेदन (intersection)।
$DNP$ पर समानता: लेखक सिद्ध करते हैं कि $DNP$ सबस्पेस पर, सिमेट्रिक ग्रुप ( $\Omega_{S_N}$ ) और यूनिटरी ग्रुप ( $\Omega_{U(N)}$ ) के कम्यूटेंट EPR प्रोजेक्टर प्रभावी रूप से समान हैं।
2-डिजाइन गुण: एक रैंडम 2-डिजाइन $C$ , उच्च प्रायिकता ( $1 - O(t^2/N)$ ) के साथ लगभग सभी स्टेट्स को $DNP$ सबस्पेस में मैप करता है।
निष्कर्ष: चूंकि ऑरेकल उस सबस्पेस पर समान व्यवहार करते हैं जहाँ एडवर्सरी की स्टेट रहती है ( $C$ लागू करने के बाद), इसलिए एडवर्सरी परम्यूटेशन-आधारित निर्माण को Haar-रैंडम यूनिटरी से अलग नहीं कर सकता है।

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

पेपर का दावा है कि पाथ-रिकॉर्डिंग ऑरेकल क्वांटम क्वेरी कॉम्प्लेक्सिटी और क्रिप्टोग्राफी के लिए एक शक्तिशाली, सामान्य-उद्देश्य वाला उपकरण प्रदान करता है। इसका महत्व निम्नलिखित में निहित है:

व्याख्यात्मकता: पिछले सामान्य ऑरेकल के विपरीत, यह जानकारी को इस तरह से रिकॉर्ड करता है जो सीधे एल्गोरिदम के क्वेरी इतिहास (इनपुट-आउटपुट पेयर्स) के अनुरूप होती है, जिससे लोअर बाउंड्स और सुरक्षा के प्रमाणों को सुगम बनाया जाता है।
एकीकरण: यह एक एकल गणितीय ढांचा प्रदान करता है जो फंक्शन, परम्यूटेशन और यूनिटरीज के लिए अलग-अलग परिणामों की व्याख्या और सामान्यीकरण करता है।
क्रिप्टोग्राफी में सरलता: यह स्यूडो-रैंडम यूनिटरीज की सुरक्षा के लिए एक सरल प्रमाण सक्षम करता है, जो निर्माण में रैंडम फेज की आवश्यकता को हटा देता है और केवल परम्यूटेशन और 2-डिजाइन्स पर निर्भर करता है।
मौलिक अंतर्दृष्टि: यह कम्यूटेंट अल्जेब्रा की बीजगणितीय संरचना और क्वांटम ऑरेकल के परिचालन व्यवहार के बीच संबंध को स्पष्ट करता है, यह दिखाते हुए कि रैंडम सैंपलिंग में जानकारी को "भूलना" कम्यूटेंट EPR सबस्पेस पर प्रोजेक्ट करने के अनुरूप है।

लेखक इस बात पर जोर देते हैं कि उनका कार्य नए प्रयोगात्मक सेटअप का प्रस्ताव नहीं करता है, बल्कि रैंडम ऑरेकल मॉडल में क्वांटम एल्गोरिदम और क्रिप्टोग्राफिक प्रिमिटिव्स के विश्लेषण के लिए एक कठोर सैद्धांतिक टूलसेट प्रदान करता है।