← नवीनतम पेपर
⚛️ क्वांटम भौतिकी

A Grover-Amplified Oracle for Maximum Clique on Graph, Minimum Hitting set and Dualizations on Hypergraphs Built on Quantum Phase Estimation

यह शोध पत्र ग्राफ और हाइपरग्राफ एनकोडिंग ऑपरेटरों का उपयोग करने वाले एक क्वांटम सर्किट फ्रेमवर्क को प्रस्तुत करता है जो मैक्सिमम क्लीक (Maximum Clique) और मिनिमम हिटिंग सेट (Minimum Hitting Set) समस्याओं के लिए ग्रोवर-एम्प्लीफाइड ओरैकल्स (Grover-amplified oracles) का निर्माण करता है, जो घातीय रूप से अधिक किनारों वाले हाइपरग्राफ के लिए भी केवल O(N)O(N) क्विबिट्स की आवश्यकता के साथ बेहतर स्थान दक्षता प्राप्त करता है, जबकि यह धनात्मक बूलियन फलनों (positive Boolean functions) के द्वैतकरण (dualization) की समस्या को हल करने में भी सक्षम बनाता है।

मूल लेखक: Francisco Piñero, Fernando L. \Pelayo, Hernan I. de la Cruz, Jose J. Paulet, Mauro Mezzini, Fernando Cuartero

प्रकाशित 2026-11-10
📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

मूल लेखक: Francisco Piñero, Fernando L. \Pelayo, Hernan I. de la Cruz, Jose J. Paulet, Mauro Mezzini, Fernando Cuartero

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

कंप्यूटर विज्ञान के विशाल परिदृश्य में, कुछ समस्याएँ विशेष रूप से कठिन होती हैं क्योंकि संभावित उत्तरों की संख्या इतनी तेज़ी से बढ़ती है कि उन सभी की एक-एक करके जाँच करना सबसे तेज़ सुपरकंप्यूटरों के लिए भी असंभव हो जाता है। इनमें से दो पहेलियाँ जटिल नेटवर्क के भीतर विशिष्ट समूहों को खोजने से संबंधित हैं। पहली पहेली एक सामाजिक नेटवर्क या कनेक्शन के मानचित्र में सबसे बड़े "क्लीक" (clique) की खोज है, जो वस्तुओं का एक ऐसा समूह है जहाँ प्रत्येक वस्तु सीधे दूसरी वस्तु से जुड़ी होती है। दूसरी "हिटिंग सेट" (hitting set) समस्या है, जिसमें यह पूछा जाता है कि एक बड़े और अधिक जटिल संग्रह के प्रत्येक समूह को छूने या कवर करने के लिए वस्तुओं के सबसे छोटे समूह की आवश्यकता है। ये चुनौतियाँ जीव विज्ञान और वित्त से लेकर साइबर सुरक्षा तक के क्षेत्रों में दिखाई देती हैं, फिर भी इन्हें हल करना अत्यंत कठिन बना हुआ है। हाल ही में, शोधकर्ताओं ने क्वांटम कंप्यूटिंग की ओर रुख किया है, जो एक ऐसी तकनीक है जो उप-परमाणु दुनिया के विचित्र नियमों का उपयोग सूचनाओं को संसाधित करने के लिए करती है ताकि शास्त्रीय कंप्यूटरों की तुलना में नए तरीके खोजे जा सकें, इस उम्मीद में कि वे संभावनाओं के इस भूलभुलैया में एक शॉर्टकट पा सकें।

शोधकर्ताओं की एक टीम ने ग्रोवर के सर्च (Grover's search) नामक एक विशिष्ट प्रकार के क्वांटम एल्गोरिदम का उपयोग करके इन समस्याओं से निपटने के लिए एक नया तरीका विकसित किया है। उनका कार्य एक "क्वांटम ऑरेकल" (quantum oracle) बनाने का एक अभिनव तरीका पेश करता है, जो एक विशेष फिल्टर की तरह कार्य करता है जो अरबों गलत उत्तरों के बीच सही उत्तरों की तेज़ी से पहचान कर सकता है। मुख्य नवाचार यह है कि वे नेटवर्क के बारे में जानकारी को कैसे संग्रहीत करते हैं। प्रत्येक कनेक्शन या समूह के लिए एक अलग मेमोरी स्लॉट का उपयोग करने के बजाय, जिसके लिए बहुत अधिक स्थान की आवश्यकता होगी, वे पूरे नेटवर्क की संरचना को क्वांटम अवस्थाओं के 'फेज़' (phase), या समय (timing) में एनकोड करते हैं। यह दृष्टिकोण उन्हें एक ऐसी संख्या में क्वांटम बिट्स का उपयोग करके समस्या को हल करने की अनुमति देता है जो नेटवर्क में मौजूद वस्तुओं की संख्या के सीधे आनुपातिक रूप से बढ़ती है, न कि उनके बीच के कनेक्शन की संख्या के। यह आवश्यक संसाधनों में एक महत्वपूर्ण कमी है, जिससे यह दृष्टिकोण उन पिछले तरीकों की तुलना में बहुत अधिक कुशल हो जाता है जो नेटवर्क के बड़े या जटिल होने पर संघर्ष करते थे।

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

अपने तरीके को सिद्ध करने के लिए, टीम ने एक शास्त्रीय कंप्यूटर पर सिमुलेशन चलाया जो एक क्वांटम मशीन की नकल करता है। उन्होंने पाँच से दस वस्तुओं वाले नेटवर्क पर अपने सर्किट का परीक्षण किया, जो आधुनिक मानकों के अनुसार एक छोटा पैमाना है लेकिन तर्क को सत्यापित करने के लिए पर्याप्त है। प्रत्येक मामले में, सिमुलेशन ने सही समूह खोजने की संभावना को सफलतापूर्वक बढ़ाया, और इष्टतम चरणों के बाद लगभग सौ प्रतिशत की सफलता दर प्राप्त की। परिणामों ने पुष्टि की कि उनकी "कंप्यूट-मार्क-अनकंप्यूट" (compute-mark-uncompute) प्रक्रिया, जो एक समाधान की जाँच करती है और फिर सूचना खोए बिना मशीन को रीसेट करने के लिए गणना को उलट देती है, बिल्कुल वैसा ही व्यवहार करती है जैसा कि सिद्धांत भविष्यवाणी करता है। यह सत्यापन महत्वपूर्ण है क्योंकि यह दर्शाता है कि यह विधि उन छिपी हुई त्रुटियों से ग्रस्त नहीं है जो अक्सर क्वांटम सिमुलेशन में देखी जाती हैं।

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

शोधकर्ताओं ने यह भी पाया कि उनके हाइपरग्राफ समस्या वाले सर्किट का एक माध्यमिक उपयोग भी है। किसी विशिष्ट समाधान को खोजने के बजाय संकेतों के समय को मापकर, सर्किट यह अनुमान लगा सकता है कि कुल कितने वैध समूह सभी कनेक्शनों को कवर करते हैं। यह क्षमता सीधे एक गणितीय समस्या को हल करती है जिसे 'पॉजिटिव बुलेअन फंक्शन्स' (positive Boolean functions) का द्वैतीकरण (dualization) कहा जाता है, जो तर्क और सर्किट डिजाइन में महत्वपूर्ण है। हालांकि वर्तमान कार्य सिमुलेशन तक सीमित है, लेखक नोट करते हैं कि यह विधि क्वांटम संकेतों के सटीक समय पर निर्भर करती है, जो एक ऐसी आवश्यकता है जिसे भविष्य के अधिक उन्नत हार्डवेयर द्वारा पूरा किया जाना होगा। फिर भी, यह कार्य इन कुशल ऑरेकलों को बनाने के लिए एक स्पष्ट ब्लूप्रिंट प्रदान करता है और यह प्रदर्शित करता है कि इन कठिन संयोजी (combinatorial) समस्याओं को पहले की तुलना में काफी कम संसाधनों के साथ हल करना संभव है।

अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?

आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।

Digest आज़माएँ →