⚛️ quantum physics

Locally Acting Grover Mixers for Constraint-Preserving QAOA

यह शोध पत्र स्थानीय रूप से कार्य करने वाले ग्रोवर मिक्सर्स (Grover mixers) का प्रस्ताव करता है जो GM-QAOA में महंगी ग्लोबल मल्टी-कंट्रोल्ड फेज-शिफ्ट गेट्स के स्थान पर विलगित (disjoint) क्वबिट उपप्रणालियों पर कुशल स्थानीय ऑपरेशन्स का उपयोग करते हैं, जिससे एग्जैक्ट कवर (exact cover) और ट्रैवलिंग सेल्समैन प्रॉब्लम (traveling salesman problem) जैसी समस्याओं के लिए सर्किट डेप्थ और गेट काउंट को महत्वपूर्ण रूप से कम करते हुए मूल विधि के समान अभिसरण (convergence) प्राप्त होता है।

मूल लेखक: Minjin Choi, Dongkeun Lee, Junghee Ryu

प्रकाशित 2026-06-11

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

CC BY 4.0

मूल लेखक: Minjin Choi, Dongkeun Lee, Junghee Ryu

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

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

यह शोध पत्र इस नाजुक कंप्यूटर को बेहतर तरीके से मार्गदर्शन करने का एक नया तरीका पेश करता है ताकि यह टूटे बिना इन पहेलियों को बेहतर ढंग से हल कर सके।

समस्या: "ग्लोबल" (वैश्विक) नियम पुस्तिका

शोधकर्ता एक विधि पर काम कर रहे हैं जिसे QAOA (क्वांटम एप्रोक्सिमेट ऑप्टिमाइज़ेशन एल्गोरिदम) कहा जाता है। सोचिए कि QAOA एक हाइकर (पगडंडी पर चलने वाला) है जो धुंधली घाटी के सबसे निचले बिंदु (सर्वोत्तम समाधान) को खोजने की कोशिश कर रहा है। यह करने के लिए हाइकर को दो उपकरणों की आवश्यकता होती है:

एक नक्शा (फेज सेपरेशन): जो हाइकर को दिखाता है कि "बुरे" स्थान कहाँ हैं।
एक दिशा-सूचक यंत्र या कंपास (द मिक्सर): जो हाइकर को नए स्थानों की खोज करने के लिए इधर-उधर घूमने में मदद करता है।

इस विधि के मानक संस्करण (जिसे GM-QAOA कहा जाता है) में, "कंपास" एक ग्लोबल मल्टी-कंट्रोल्ड गेट है।

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

समाधान: "लोकल" (स्थानीय) पड़ोस निगरानी

शोधकर्ताओं ने इस कंपास को बनाने का एक स्मार्ट तरीका प्रस्तावित किया है। वे इसे Locally Acting Grover Mixers कहते हैं।

उपमा: पूरे कमरे के लिए एक विशाल नियम के बजाय, वे 100 लोगों को छोटे, स्वतंत्र समूहों में विभाजित करते हैं (जैसे 10 लोगों की 10 मेजें)। अब, पूरे कमरे की जाँच करने वाली एक विशाल मशीन के बजाय, आपके पास 10 छोटी, सरल मशीनें हैं। प्रत्येक मशीन केवल अपनी मेज की जाँच करती है।
- मेज 1 की मशीन कहती है: "यदि मेज 1 पर सभी लोग फॉर्मेशन में हैं, तो हिलें।"
- मेज 2 की मशीन कहती है: "यदि मेज 2 पर सभी लोग फॉर्मेशन में हैं, तो हिलें।"
परिणाम: ये छोटी मशीनें बनाने में बहुत आसान हैं, कम जगह लेती हैं, और इनके टूटने की संभावना बहुत कम है। महत्वपूर्ण बात यह है कि क्योंकि समूह स्वतंत्र हैं, इसलिए समग्र परिणाम विशाल मशीन के समान ही अच्छा होता है।

उन्होंने यह कैसे किया

शोधकर्ताओं ने महसूस किया कि कई पहेलियों के लिए, आपको शुरुआती सेटअप में हर एक नियम को जबरन डालने की आवश्यकता नहीं होती है।

आंशिक एन्कोडिंग (Partial Encoding): कंप्यूटर को एक ऐसा समाधान लेकर शुरू करने के लिए मजबूर करने के बजाय जो सभी नियमों का पालन करता हो, वे इसे एक ऐसे समाधान के साथ शुरू होने देते हैं जो केवल कुछ नियमों का पालन करता है। यह एक "प्रोडक्ट स्ट्रक्चर" (उल्लिखित स्वतंत्र समूह) बनाता है।
लोकल मिक्सिंग (Local Mixing): वे फिर उन छोटे समूहों के भीतर चीजों को मिलाने के लिए अपने नए "लोकल कंपास" का उपयोग करते हैं।

प्रमाण: एक्सटैक्ट कवर और ट्रैवलिंग सेल्समैन

उन्होंने इस विचार का परीक्षण दो प्रसिद्ध पहेलियों पर किया:

एक्सटैक्ट कवर प्रॉब्लम (Exact Cover Problem): वस्तुओं को ठीक एक बार कवर करने के बारे में एक तर्क संबंधी पहेली।
ट्रैवलिंग सेल्समैन प्रॉब्लम (TSP): कई शहरों की यात्रा करने वाला सबसे छोटा रास्ता खोजना।

निष्कर्ष:

समान गुणवत्ता: नए "लोकल" तरीके ने पुराने "ग्लोबल" तरीके के समान ही अच्छे समाधान खोजे।
बहुत सरल: नए तरीके ने 87% कम जटिल "एंटैंगलमेंट" गेट्स (सर्किट के वे हिस्से जिनके टूटने की सबसे अधिक संभावना होती है) का उपयोग किया।
समझौता (Trade-off): नए तरीके को अपनी सेटिंग्स को ट्यून करने के लिए सर्किट को थोड़ा अधिक बार चलाने की आवश्यकता होती है (क्योंकि घुमाने के लिए अधिक नॉब्स हैं)। हालाँकि, चूँकि सर्किट स्वयं बहुत सरल है और टूटने के प्रति कम संवेदनशील है, इसलिए यह समझौता आज के शोर वाले कंप्यूटरों के लिए एक बड़ी जीत है।

मुख्य निष्कर्ष

यह शोध पत्र तर्क देता है कि हमारे पास अभी जो क्वांटम कंप्यूटर हैं (जो छोटे और शोर वाले हैं), उनके लिए एक "लोकल" रणनीति का उपयोग करना बेहतर है।

पुराना तरीका: एक विशाल, जटिल मशीन बनाना जो सब कुछ पूरी तरह से करने की कोशिश करती है लेकिन आसानी से टूट जाती है।
नया तरीका: कई छोटी, सरल मशीनें बनाना जो मिलकर काम करती हैं। उन्हें सेटिंग्स को सही करने के लिए कुछ अधिक प्रयासों की आवश्यकता हो सकती है, लेकिन वे बहुत अधिक विश्वसनीय हैं और आज के हार्डवेयर पर फिट बैठती हैं।

संक्षेप में, लेखकों ने क्वांटम एल्गोरिदम को बाधाओं वाली समस्याओं के लिए हल्का, सरल और अधिक मजबूत बनाने का एक तरीका खोजा है, बिना उत्तरों की गुणवत्ता से समझौता किए।

तकनीकी सारांश: बाधा-संरक्षण (Constraint-Preserving) QAOA के लिए स्थानीय रूप से कार्य करने वाले ग्रोवर मिक्सर

समस्या विवरण
क्वांटम एप्रोक्सिमेट ऑप्टिमाइज़ेशन एल्गोरिदम (QAOA) और इसके सामान्यीकरण, क्वांटम अल्टरनेटिंग ऑपरेटर एंसेट (QAOA), संय combinación (combinatorial) अनुकूलन के लिए प्रमुख वेरिएशनल एल्गोरिदम हैं। बाधाओं द्वारा परिभाषित व्यवहार्य उप-स्थान (feasible subspace) के भीतर क्वांटम विकास को सुनिश्चित करने के लिए एक महत्वपूर्ण चुनौती यह है कि क्वांटम विकास बाधाओं द्वारा परिभाषित व्यवहार्य उप-स्थान के भीतर ही रहे। ग्रोवर मिक्सर QAOA (GM-QAOA) इसे प्रारंभिक अवस्था के प्रोजेक्टर द्वारा जनरेट किए गए मिक्सिंग ऑपरेटर का उपयोग करके संबोधित करता है, जो गणितीय रूप से व्यवहार्य उप-स्थान के संरक्षण की गारंटी देता है।

हालाँकि, मानक GM-QAOA मिक्सर को सभी $n$ क्विबिट्स पर कार्य करने वाले ग्लोबल मल्टी-कंट्रोल्ड फेज-शिफ्ट गेट की आवश्यकता होती है। निकट-अवधि शोरयुक्त मध्यवर्ती-पैमाने के क्वांटम (NISQ) उपकरणों पर, जो मूल रूप से केवल एक- और दो-क्विबिट ऑपरेशन्स का समर्थन करते हैं, ऐसे ग्लोबल गेट को मौलिक गेट्स में विघटित (decompose) करने से पर्याप्त सर्किट ओवरहेड उत्पन्न होता है। इन विघटनों के कारण सर्किट की गहराई (depth) और गेट काउंट तेजी से बढ़ता है, जो व्यावहारिक कार्यान्वयन के लिए एक महत्वपूर्ण बाधा है और हार्डवेयर शोर के प्रति संवेदनशीलता को बढ़ाता है।

कार्यप्रणाली
लेखक एक "स्थानीय रूप से कार्य करने वाले" (locally acting) ग्रोवर मिक्सर वेरिएंट का प्रस्ताव करते हैं, जो उन प्रारंभिक अवस्थाओं के लिए तैयार किया गया है जिनमें विलगित (disjoint) क्विबिट उप-प्रणालियों (subsystems) पर एक प्रोडक्ट स्ट्रक्चर (product structure) होता है। यह दृष्टिकोण इस अवलोकन का लाभ उठाता है कि कई संय combination समस्याओं में, बाधाओं को प्रारंभिक अवस्था तैयारी में आंशिक रूप से एनकोड किया जा सकता है, जिससे शेष बाधाओं को कॉस्ट हैमिल्टोनियन में पेनल्टी टर्म्स के माध्यम से संभाला जा सके।

प्रोडक्ट-स्ट्रक्चर्ड प्रारंभिक अवस्थाएँ: विधि मानती है कि प्रारंभिक अवस्था $|\psi_0\rangle$ को $|\psi^{(1)}_0\rangle \otimes |\psi^{(2)}_0\rangle \otimes \dots \otimes |\psi^{(\ell)}_0\rangle$ के रूप में गुणनखंडित (factorize) किया जा सकता है, जहाँ प्रत्येक $|\psi^{(j)}_0\rangle$ क्विबिट्स के एक विलगित सेट पर स्थित है। यह संरचना अवस्था तैयारी के दौरान बाधाओं के एक उपसमुच्चय (subset) को एनकोड करके प्राप्त की जाती है।
लोकल मिक्सिंग यूनिटरी: एक एकल ग्लोबल मिक्सर $e^{-i\beta |\psi_0\rangle\langle\psi_0|}$ के बजाय, प्रस्तावित विधि मिक्सिंग यूनिटरी को स्थानीय यूनिटरीज के टेंसर उत्पाद के रूप में निर्मित करती है:
$U_M(\beta^{(1)}, \dots, \beta^{(\ell)}) = \bigotimes_{j=1}^{\ell} e^{-i\beta^{(j)} |\psi^{(j)}_0\rangle\langle\psi^{(j)}_0|}$
प्रत्येक स्थानीय यूनिटरी अपने संबंधित उप-प्रणाली पर एक मल्टी-कंट्रोल्ड फेज-शिफ्ट गेट का उपयोग करके स्वतंत्र रूप से कार्य करती है।
पैरामीट्राइजेशन: एंसेट प्रत्येक उप-प्रणाली के लिए स्वतंत्र वेरिएशनल पैरामीटर $\beta^{(j)}$ पेश करता है। $\ell$ उप-प्रणालियों वाले $p$ -लेयर सर्किट के लिए, कुल मिक्सिंग पैरामीटर्स की संख्या $p\ell$ है, जबकि मूल GM-QAOA में यह $p$ है। हालाँकि यह क्लासिकल ऑप्टिमाइज़ेशन लैंडस्केप के आयाम को बढ़ाता है, लेकिन यह एक विशाल ग्लोबल गेट को $\ell$ छोटे स्थानीय गेट्स से बदल देता है।

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

सर्किट दक्षता: प्राथमिक योगदान एक ग्लोबल मल्टी-कंट्रोल्ड फेज-शिफ्ट गेट को $\ell$ स्थानीय ऑपरेशन्स से बदलना है। यह मिक्सिंग स्टेप के लिए आवश्यक एंटैंगलिंग गेट्स (विशेष रूप से CNOTs) और सर्किट डेप्थ को नाटकीय रूप से कम कर देता है।
बाधा एनकोडिंग रणनीति: पेपर इस बात की जांच करता है कि सभी बाधाओं को प्रारंभिक अवस्था में एनकोड करने बनाम केवल एक उपसमुच्चय को एनकोड करने के बीच क्या ट्रेड-ऑफ है। यह प्रदर्शित करता है कि आंशिक बाधा एनकोडिंग, जो स्थानीय मिक्सर के लिए आवश्यक प्रोडक्ट स्ट्रक्चर को सक्षम बनाती है, पूर्ण बाधा एनकोडिंग की तुलना में अधिक कॉम्पैक्ट समग्र सर्किट प्रदान कर सकती है, भले ही पूर्ण एनकोडिंग खोज स्थान (search space) के आकार को कम कर देती हो।
व्यवहार्यता संरक्षण: विधि GM-QAOA का मुख्य लाभ बनाए रखती है: मिक्सिंग ऑपरेटर प्रारंभिक अवस्था द्वारा परिभाषित खोज स्थान को सुरक्षित रखता है, यह सुनिश्चित करता है कि एल्गोरिदम अयोग्य (infeasible) क्षेत्रों में न जाए।

परिणाम
लेखकों ने संख्यात्मक सिमुलेशन का उपयोग करके Exact-Cover समस्या और ट्रैवलिंग सेल्समैन प्रॉब्लम (TSP) पर प्रस्तावित विधि का मूल्यांकन किया।

Exact-Cover समस्या: सात-क्विबिट इंस्टेंस के लिए, प्रस्तावित विधि ने मूल GM-QAOA के समान अभिसरण (convergence) व्यवहार प्राप्त किया। महत्वपूर्ण रूप से, मिक्सिंग यूनिटरी को $\{RX, RY, RZ, CNOT\}$ गेट सेट में विघटित करने से CNOT काउंट 218 (मूल) से घटकर 28 (प्रस्तावित) हो गया, जो लगभग 87% की कमी है।
ट्रैवलिंग सेल्समैन प्रॉब्लम (TSP): चार-सिटी TSP इंस्टेंस (नौ क्विबिट) पर सिमुलेशन ने दिखाया कि प्रस्तावित विधि विभिन्न लेयर डेप्थ $p$ $p$ केAcross समाधान संभावनाओं (solution probabilities) को GM-QAOA के समान बनाए रखती है।
- शोर प्रतिरोध (Noise Resilience): एक डिपोलराइजिंग नॉइज़ मॉडल के तहत, प्रस्तावित विधि ने मूल GM-QAOA की तुलना में कॉस्ट हैमिल्टोनियन के एक्सपेक्टेशन वैल्यू में काफी कम सापेक्ष त्रुटि प्रदर्शित की, जिसका श्रेय कम सर्किट डेप्थ और गेट काउंट को दिया गया।
- संसाधन ट्रेड-ऑफ: हालांकि प्रस्तावित विधि को बढ़े हुए वेरिएशनल पैरामीटर्स के कारण क्लासिकल ऑप्टिमाइज़ेशन के दौरान अधिक सर्किट निष्पादन (executions) की आवश्यकता होती है, लेकिन क्वांटम सर्किट जटिलता (मिक्सिंग ऑपरेटर के लिए CNOT काउंट 572 से घटकर 54 होना) में कमी इसे शोरयुक्त हार्डवेयर के लिए अधिक व्यवहार्य बनाती है।
- आंशिक बनाम पूर्ण एनकोडिंग: TSP के लिए, केवल टाइम-स्टेप बाधा ( $P_1$ ) को प्रारंभिक अवस्था में एनकोड करने (आंशिक एनकोडिंग) और लोकल मिक्सर का उपयोग करने से इष्टतम प्रदर्शन ( $p=7$ ) पर 450 की सर्किट डेप्थ प्राप्त हुई। इसके विपरीत, टाइम-स्टेप और सिटी-विजिट बाधाओं ( $P_1$ और $P_2$ ) दोनों को प्रारंभिक अवस्था में एनकोड करने (पूर्ण एनकोडिंग) के लिए एक ग्लोबल मिक्सर की आवश्यकता थी और $p=1$ पर 4142 की सर्किट डेप्थ लगी, जबकि इसने उच्च समाधान संभावना तेजी से प्राप्त की। लेखक निष्कर्ष निकालते हैं कि आंशिक एनकोडिंग अधिक अनुकूल समग्र सर्किट जटिलता प्रदान करती है।

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

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

समस्या: "ग्लोबल" (वैश्विक) नियम पुस्तिका

समाधान: "लोकल" (स्थानीय) पड़ोस निगरानी

उन्होंने यह कैसे किया

प्रमाण: एक्सटैक्ट कवर और ट्रैवलिंग सेल्समैन

मुख्य निष्कर्ष

इसी तरह के और पेपर