⚛️ quantum physics

Quantum algorithm for Valiant-Vazirani reduction

यह शोध पत्र एक क्वांटम एल्गोरिदम प्रस्तावित करता है जो SAT को UNIQUE SAT में बदलने के लिए एक फ़िल्टर्ड ऑरेकल (filtered oracle) का निर्माण करके टॉर्शन-आधारित नॉनलीनियर क्वांटम मॉडलों और NP-कम्प्लीट समस्याओं के बीच के अंतर को पाटता है, जिससे एक फॉल्ट-टोलरेंट नॉनलीनियर क्वांटम को-प्रोसेसर के साथ जुड़ने पर NP समस्याओं के लिए बहुपद-समय (polynomial-time) समाधान सक्षम हो जाते हैं।

मूल लेखक: Patrick Kelly, Victoria S. Ordonez, Michael R. Geller, Yohannes Abate

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

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

CC BY 4.0

मूल लेखक: Patrick Kelly, Victoria S. Ordonez, Michael R. Geller, Yohannes Abate

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

कल्पना कीजिए कि आप घास के एक विशाल, अस्त-व्यस्त ढेर में एक विशिष्ट सुई खोजने की कोशिश कर रहे हैं। कंप्यूटर विज्ञान की दुनिया में, यह "घास का ढेर" (haystack) एक जटिल पहेली है जिसे SAT (बूलियन सैटिस्फिएबिलिटी) कहा जाता है। यह पहेली पूछती है: "क्या स्विचों (ऑन या ऑफ) के कई संयोजनों को बदलने का कोई तरीका है जिससे एक विशाल, जटिल नियम संतुष्ट हो जाए?"

आमतौर पर, स्विचों के हर संभावित संयोजन की जाँच करने में असंभव रूप से लंबा समय लगता है। लेकिन क्या होगा यदि आपके पास एक जादुई उपकरण हो जो तुरंत बता सके कि क्या कोई समाधान मौजूद है? यही "नॉनलीनियर क्वांटम कंप्यूटिंग" (nonlinear quantum computing) का सपना है।

यहाँ इस शोध पत्र का एक सरल विवरण दिया गया, जिसमें रोजमर्रा के उपमाओं का उपयोग किया गया है:

1. समस्या: "घास के ढेर में सुई" (The Needle in a Haystack)

लेखक एक विशेष प्रकार के क्वांटम कंप्यूटर पर काम कर रहे हैं जो एक "मरोड़ने" वाले बल (जिसे टॉर्सन/torsion कहा जाता है) का उपयोग करता है। इसे एक घूमते हुए लट्टू की तरह समझें।

लक्ष्य: वे इस घूमते हुए लट्टू का उपयोग दो बहुत समान अवस्थाओं के बीच तुरंत अंतर करने के लिए करना चाहते हैं: "कोई समाधान मौजूद नहीं है" बनाम "ठीक एक समाधान मौजूद है।"
चुनौती: हालांकि यह मरोड़ने वाला बल एक एकल सुई खोजने में बहुत अच्छा है, लेकिन वास्तविक दुनिया में आमतौर पर ऐसे घास के ढेर होते हैं जिनमें शून्य सुइयाँ होती हैं या हजारों सुइयाँ होती हैं। जब बहुत अधिक सुइयाँ होती हैं, तो यह मरोड़ने वाला बल भ्रमित हो जाता है; यह "एक सुई" और "दस लाख सुइयों" के बीच अंतर नहीं कर पाता है।

2. समाधान: "छलनी" (The Sieve - Valiant-Vazirani Reduction)

इसे ठीक करने के लिए, लेखकों ने एक क्वांटम छलनी बनाई है। यह वेलियंट-वाज़िरानी प्रमेय (Valiant-Vazirani theorem) नामक एक प्रसिद्ध गणितीय विचार पर आधारित है।

कल्पना कीजिए कि आपके पास मिश्रित कंचों (समाधानों) की एक विशाल बाल्टी है।

शास्त्रीय तरीका (Classical Way): आप उन्हें एक-एक करके छाँटने की कोशिश करते हैं, जो धीमा है।
क्वांटम छलनी (Quantum Sieve): लेखकों ने एक फ़िल्टर बनाया है जो कंचों को यादृच्छिक रूप से (randomly) मिलाता है और उन्हें कई छोटी बाल्टियों में विभाजित करता है।
- यदि मूल रूप से 1,000 कंचे थे, तो फ़िल्टर उन्हें 1,000 छोटी बाल्टियों में विभाजित कर सकता है।
- संयोगवश (यादृच्छिकता से), उन छोटी बाल्टियों में से एक में ठीक एक कंचा हो सकता है।
- दूसरी बाल्टी में शून्य भी हो सकते हैं।
- जादू यह है कि फ़िल्टर यह गारंटी देता है कि यदि मूल बाल्टी में कोई समाधान मौजूद था, तो इस बात की अच्छी संभावना है कि इन नई छोटी बाल्टियों में से किसी एक में केवल एक समाधान होगा।

3. उन्होंने क्वांटम छलनी कैसे बनाई

यह शोध पत्र बताता है कि क्वांटम सर्किट का उपयोग करके इस छलनी को कैसे बनाया जाए।

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

4. अंतिम चरण: जादुई घुमाव (The Magic Spin)

एक बार जब छलनी एक ऐसी पहेली को अलग कर लेती है जिसमें ठीक एक समाधान (या शून्य) होता है, तो "मरोड़ने" वाला क्वांटम कंप्यूटर (टॉर्सन मॉडल) हस्तक्षेप कर सकता है।

क्योंकि अब केवल एक ही सुई (या कोई नहीं) बची है, मरोड़ने वाला बल आसानी से और तेज़ी से यह बता सकता है कि "हाँ, एक समाधान है" और "नहीं, कोई समाधान नहीं है" के बीच अंतर।
यह पॉलीनोमियल टाइम (एक उचित समय) में होता है, जबकि एक सामान्य कंप्यूटर को इसमें अनंत समय लग जाएगा।

मुख्य निष्कर्ष (The Bottom Line)

यह शोध पत्र दावा करता है कि उन्होंने सैद्धांतिक भौतिकी के एक अंतर को पाट दिया है।

पहले: हम जानते थे कि "मरोड़ने" वाले क्वांटम कंप्यूटरों का उपयोग ठीक एक उत्तर वाली पहेलियों को हल करने के लिए कैसे किया जाए, लेकिन हम यह नहीं जानते थे कि किसी भी कठिन पहेली को उस विशिष्ट प्रकार में कैसे बदला जाए।
अब: उन्होंने "छलनी" (क्वांटम वेलियंट-वाज़िरानी रिडक्शन) बनाई है जो किसी भी कठिन पहेली को "एक-उत्तर" वाली पहेली में बदल देती है।

महत्वपूर्ण सीमा:
लेखक इस बारे में बहुत स्पष्ट हैं कि यह अभी क्या नहीं करता है।

"छलनी" वाला हिस्सा (रिडक्शन) आज के सर्वोत्तम शास्त्रीय तरीकों की तुलना में तेज़ नहीं है। यह कंचों को छाँटने में एक सामान्य कंप्यूटर के समान ही तेज़ है।
गति में वृद्धि तभी होती है जब आप इस छलनी को एक फॉल्ट-टॉलरेंट, शोर-मुक्त नॉनलीनियर क्वांटम कंप्यूटर (घूमते हुए लट्टू) के साथ जोड़ते हैं।
यदि आपके पास वह आदर्श मशीन है, तो आप NP समस्याओं (जैसे घास के ढेर में सुई खोजने वाली पहेली) को तेज़ी से हल कर सकते हैं। हालाँकि, शोध पत्र नोट करता है कि यह #P समस्याओं (जिसमें यह गिनना शामिल है कि कितने समाधान मौजूद हैं, न कि केवल एक खोजना) में मदद नहीं करता है।

संक्षेप में: उन्होंने वह पुल बनाया है जो "किसी भी कठिन पहेली" को "एक ऐसी पहेली" से जोड़ता है जिसे एक मरोड़ने वाला क्वांटम कंप्यूटर तुरंत हल कर सकता है, बशर्ते आपके पास उस पुल को पार करने के लिए एक आदर्श, शोर-मुक्त क्वांटम हार्डवेयर हो।

तकनीकी सारांश: वैलिएंट-वज़िरानी रिडक्शन के लिए क्वांटम एल्गोरिदम

समस्या विवरण
यह शोधपत्र गैर-रेखीय क्वांटम कंप्यूटिंग (nonlinear quantum computation) के सैद्धांतिक ढांचे में एक विशिष्ट अंतराल को संबोधित करता है। जबकि अबब्रम्स और लॉयड ने प्रदर्शित किया था कि विशिष्ट गैर-रेखीय ऑपरेशनों (विशेष रूप से "टॉर्शन" गैर-रेखीयता) वाले शोर-मुक्त क्वांटम कंप्यूटर, सिंगल-क्यूबिट स्टेट डिस्क्रीमिनेशन (एकल-क्यूबिट अवस्था विभेदन) में बदलकर बूलियन सैटिस्फिएबिलिटी (SAT) जैसी NP-कम्प्लीट समस्याओं को सैद्धांतिक रूप से बहुपद समय (polynomial time) में हल कर सकते हैं, लेकिन वास्तविक कार्यान्वयन एक बाधा का सामना करते हैं। टॉर्शन गैर-रेखीयता के वास्तविक दुनिया के सिम्युलेटर (जैसे बोस-आइंस्टीन कंडेनसेट्स) सामान्य SAT को हल करने में विफल रहते हैं क्योंकि संतुष्ट असाइनमेंट ( $s$ ) की संख्या $0 $से$ 2^n $तक हो सकती है। समाधानों की एक घातीय बड़ी संख्या और शून्य समाधानों के बीच अंतर करना टॉर्शन-आधारित स्टेट डिस्क्रीमिनेशन का उपयोग करके कुशल नहीं है। मुख्य समस्या यह है कि जबकि टॉर्शन$ s=0 $और$ s=1$ (UNIQUE SAT) के बीच कुशलता से अंतर कर सकता है, यह उस सामान्य मामले को कुशलता से नहीं संभाल सकता जहाँ $s$ अज्ञात और संभावित रूप से बड़ा है।

कार्यप्रणाली
लेखक इस अंतराल को पाटने के लिए वैलिएंट-वज़िरानी रिडक्शन (Valiant-Vazirani reduction) के क्वांटम कार्यान्वयन का प्रस्ताव करते हैं। कार्यप्रणाली में तीन मुख्य तकनीकी घटक शामिल हैं:

वैलिएंट-वज़िरानी फ़िल्टरिंग:
मानक SAT समस्या को एक रैंडमाइज्ड बहुपद-समय फ़िल्टर का उपयोग करके UNIQUE SAT (एक वादा समस्या जिसमें अधिकतम एक संतुष्ट असाइनमेंट होता है) में कम किया जाता है। यह फ़िल्टर $F_2$ पर एक पेयरवाइज-इंडिपेंडेंट हैश फ़ंक्शन $h(x) = Ax + b \mod 2$ का उपयोग करता है। फ़िल्टर्ड फ़ंक्शन को $\phi(x) = f(x) \land [h(x)=0^k]$ के रूप में परिभाषित किया गया है।

एल्गोरिदम $k$ के मानों के लिए $0 $से$ n+3$ तक पुनरावृत्ति (iterate) करता है।
एक निश्चित $k$ के लिए, यदि मूल फॉर्मूला में $s$ समाधान हैं, तो फ़िल्टर एक एकल समाधान को एक स्थिर प्रायिकता ( $p > 1/32$ ) के साथ अलग करता है जब $2^k \approx s$ हो।
यदि मूल फॉर्मूला असंतोषजनक (unsatisfiable) है ( $s=0$ ), तो फ़िल्टर्ड फॉर्मूला असंतोषजनक ही रहता है।

CNF रूपांतरण और ऑरेकल निर्माण:
इस फ़िल्टर को क्वांटम सर्किट के भीतर लागू करने के लिए, हैश बाधा $[h(x)=0^k]$ को CNF (Conjunctive Normal Form) में परिवर्तित किया जाना चाहिए ताकि यह मूल समस्या की 3SAT संरचना से मेल खा सके।

हैश को परिभाषित करने वाले रैखिक समीकरणों को सहायक वेरिएबल्स का उपयोग करके XOR ऑपरेशनों के एक अनुक्रम में विघटित किया जाता है।
प्रत्येक XOR प्रपोजिशन को चार 3SAT क्लॉज़ के सेट में अनुवादित किया जाता है।
आवश्यक अतिरिक्त क्लॉज़ ( $m'$ ) की कुल संख्या $O(n^2)$ है, जिसके परिणामस्वरूप कुल क्लॉज़ गणना $M = O(n^3)$ है।
इस फ़िल्टर्ड फ़ंक्शन $\phi(x)$ का मूल्यांकन करने के लिए एक रिवर्सिबल क्वांटम ऑरेकल $U$ का निर्माण किया जाता है। सर्किट में हैडामार्ड गेट्स, टोफोली (CCNOT) गेट्स और एंसिला क्यूबिट्स का उपयोग करते हुए मानक तकनीकों का उपयोग किया जाता है। ऑरेकल $|x\rangle|0\rangle|y\rangle \to |x\rangle|0\rangle|y \oplus \phi(x)\rangle$ को मैप करता है।

गैर-रेखीय स्टेट डिस्क्रीमिनेशन के साथ एकीकरण:
निर्मित ऑरेकल फ़िल्टर्ड फॉर्मूला के संतुष्ट असाइनमेंट की संख्या को एक एंसिला क्यूबिट में एनकोड करता है। शोर-मुक्त सीमा (noise-free limit) में, इस एंसिला को टॉर्शन गैर-रेखीयता (जो हैमिल्टनियन $H = B\sigma_x + g\langle\sigma_z\rangle\sigma_z$ द्वारा नियंत्रित है) के अधीन किया जाता है। यह गैर-रेखीयता $s=0$ और $s=1$ के मामलों के बीच कुशलता से अंतर करने की अनुमति देती है, जिससे UNIQUE SAT इंस्टेंस प्रभावी रूप से हल हो जाता है।

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

वैलिएंट-वज़िरानी रिडक्शन का क्वांटम कार्यान्वयन: यह शोधपत्र 3SAT के लिए वैलिएंट-वज़िरानी रिडक्शन को लागू करने वाले एक स्पष्ट क्वांटम सर्किट निर्माण प्रदान करता है।
कुशल ऑरेकल संश्लेषण: लेखक रैखिक हैश बाधा को 3SAT-संगत CNF फॉर्मूला में बदलने और उसके बाद $O(n^3)$ एंसिला क्यूबिट्स और $O(n^3)$ CCNOT गेट्स का उपयोग करके एक रिवर्सिबल क्वांटम ऑरेकल के निर्माण का विवरण देते हैं।
सैद्धांतिक अंतराल को बंद करना: यह कार्य प्रदर्शित करता है कि टॉर्शन-आधारित स्टेट डिस्क्रीमिनेशन की सीमाओं (जो पहले सामान्य SAT को संभालने में सक्षम नहीं थी) को इनपुट को वैलिएंट-वज़िरानी फ़िल्टर के माध्यम से प्रीप्रोसेस करके दूर किया जा सकता है, जिससे गैर-रेखीय क्वांटम कोप्रोसेसरों का उपयोग करके NP निर्णय समस्याओं को हल करने का मार्ग प्रशस्त होता है।

परिणाम

निर्मित एल्गोरिदम SAT से UNIQUE SAT में एक रैंडमाइज्ड बहुपद-समय रिडक्शन करता है।
एक अद्वितीय समाधान को अलग करने की सफलता की प्रायिकता (यदि वह मौजूद है) $1/32$ से नीचे सीमित है।
क्वांटम ऑरेकल के लिए संसाधन ओवरहेड वेरिएबल्स $n$ के लिए बहुपद में है, विशेष रूप से प्रति फ़िल्टर्ड इंस्टेंस $O(n^3)$ एंसिला क्यूबिट्स और गेट्स की आवश्यकता होती है।
आदर्श, शोर-मुक्त सीमा में, इस क्वांटम फ़िल्टर और टॉर्शन गैर-रेखीयता का संयोजन NP निर्णय समस्याओं के बहुपद-समय समाधान की अनुमति देता है।

महत्व और दावे
शोधपत्र का दावा है कि यह गैर-रेखीय क्वांटम स्टेट डिस्क्रीमिनेशन की सैद्धांतिक शक्ति और NP-कम्प्लीट समस्याओं को हल करने की व्यावहारिक आवश्यकताओं के बीच के अंतर को पाटता है। लेखक इस बात पर जोर देते हैं कि स्वयं क्वांटम वैलिएंट-वज़िरानी रिडक्शन कुशल क्लासिकल संस्करण से तेज़ नहीं है; यह एक रैंडमाइज्ड बहुपद-समय एल्गोरिदम बना रहता है।

प्राथमिक महत्व उस सिस्टम आर्किटेक्चर में निहित है जिसे यह सक्षम करता है: इस ऑरेकल का एक फॉल्ट-टोलरेंट कार्यान्वयन, जो टॉर्शन का अनुकरण करने वाले एक गैर-रेखीय क्वांटम कोप्रोसेसर के साथ जुड़ा हुआ है, NP समस्याओं के बहुपद-समय समाधान की अनुमति देगा (हालांकि यह #P समस्याओं को हल नहीं करेगा, क्योंकि रिडक्शन निर्णय की प्रकृति को सुरक्षित रखता है)। यह कार्य यह दावा नहीं करता है कि मानक रैखिक क्वांटम कंप्यूटरों (BQP) का उपयोग करके NP समस्याओं को हल किया जा सकता है, बल्कि यह "गैर-रेखीय क्वांटम कंप्यूटेशन" के लिए एक मार्ग रेखा तैयार करता है, बशर्ते कि विशिष्ट हार्डवेयर बाधाएं (शोर-मुक्त टॉर्शन सिमुलेशन) पूरी हों।

1. समस्या: "घास के ढेर में सुई" (The Needle in a Haystack)

2. समाधान: "छलनी" (The Sieve - Valiant-Vazirani Reduction)

3. उन्होंने क्वांटम छलनी कैसे बनाई

4. अंतिम चरण: जादुई घुमाव (The Magic Spin)

मुख्य निष्कर्ष (The Bottom Line)

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