क्वांटम एल्गोरिदम
क्वांटम कम्प्यूटिंग में, क्वांटम एल्गोरिदम एक एल्गोरिदम है जो क्वांटम गणना के यथार्थवादी मॉडल पर चलता है, सबसे अधिक प्रयोग किया जाने वाला मॉडल गणना का क्वांटम सर्किट मॉडल है।[1][2] एक चिरप्रतिष्ठित (या गैर-क्वांटम) एल्गोरिदम निर्देशों का एक सीमित अनुक्रम है, या किसी समस्या को हल करने के लिए चरण-दर-चरण प्रक्रिया है, जहां प्रत्येक चरण या निर्देश को चिरसम्मत कंप्यूटर पर निष्पादित किया जा सकता है। इसी प्रकार, क्वांटम एल्गोरिदम एक चरण-दर-चरण प्रक्रिया है, जहां प्रत्येक चरण को क्वांटम कंप्यूटर पर निष्पादित किया जा सकता है। हालाँकि सभी चिरप्रतिष्ठित एल्गोरिदम को क्वांटम कंप्यूटर पर भी निष्पादित किया जा सकता है,[3]: 126 क्वांटम एल्गोरिदम शब्द का उपयोग प्रायः उन एल्गोरिदम के लिए किया जाता है जो स्वाभाविक रूप से क्वांटम लगते हैं, या क्वांटम गणना की कुछ आवश्यक विशेषता जैसे कि सुपरइम्पोज़िशन या क्वांटम एनटंगलेमेंट का उपयोग करते हैं।
वे समस्याएँ जो चिरप्रतिष्ठित कंप्यूटरों का उपयोग करके अनिर्णीत होती हैं, क्वांटम कंप्यूटरों का उपयोग करके अनिर्णीत रहती हैं।[4]: 127 क्वांटम एल्गोरिदम को जो दिलचस्प बनाता है वह यह है कि वे चिरप्रतिष्ठित एल्गोरिदम की तुलना में कुछ समस्याओं को तेजी से हल करने में सक्षम हो सकते हैं क्योंकि क्वांटम सुपरपोजिशन और क्वांटम एनटंगलेमेंट जो क्वांटम एल्गोरिदम शोषण करते हैं उन्हें संभवतः चिरप्रतिष्ठित कंप्यूटरों पर कुशलतापूर्वक अनुकरण नहीं किया जा सकता है (क्वांटम सर्वोच्चता देखें)।
सबसे प्रसिद्ध एल्गोरिदम फैक्टरिंग के लिए शोर का एल्गोरिदम और असंरचित डेटाबेस या अव्यवस्थित सूची की खोज के लिए ग्रोवर का एल्गोरिदम हैं। शोर का एल्गोरिदम फैक्टरिंग के लिए सबसे प्रसिद्ध चिरप्रतिष्ठित एल्गोरिदम, सामान्य संख्या फ़ील्ड सीव की तुलना में शोर का एल्गोरिदम बहुत तेज़ (लगभग घातीय रूप से) चलता है।[5] एक ही कार्य, एक रैखिक खोज के लिए सर्वोत्तम संभव चिरप्रतिष्ठित एल्गोरिदम की तुलना में चतुष्कोणीय[6] रूप से तेज़ चलता है।
अवलोकन
क्वांटम एल्गोरिदम का वर्णन प्रायः क्वांटम गणना के प्रायः प्रयोग किए जाने वाले सर्किट मॉडल में एक क्वांटम सर्किट द्वारा किया जाता है जो कुछ इनपुट क्यूबिट पर कार्य करता है और माप के साथ समाप्त होता है। क्वांटम सर्किट में सरल क्वांटम गेट होते हैं जो अधिकतम निश्चित संख्या में क्यूबिट पर कार्य करते हैं। क्यूबिट की संख्या निश्चित करनी होगी क्योंकि क्यूबिट की बदलती संख्या गैर-एकात्मक विकास को दर्शाती है। क्वांटम एल्गोरिदम को क्वांटम गणना के अन्य मॉडलों में भी बताया जा सकता है, जैसे हैमिल्टनियन ओरेकल मॉडल।[7]
क्वांटम एल्गोरिदम को एल्गोरिदम द्वारा उपयोग की जाने वाली मुख्य तकनीकों के अनुसार वर्गीकृत किया जा सकता है। क्वांटम एल्गोरिदम में प्रायः उपयोग की जाने वाली कुछ तकनीकों/विचारों में चरण किक-बैक, चरण अनुमान, क्वांटम फूरियर ट्रांसफॉर्म, क्वांटम वॉक, आयाम प्रवर्धन और टोपोलॉजिकल क्वांटम क्षेत्र सिद्धांत सम्मिलित हैं। क्वांटम एल्गोरिदम को हल की गई समस्या के प्रकार के आधार पर भी समूहीकृत किया जा सकता है, उदाहरण के लिए बीजगणितीय समस्याओं के लिए क्वांटम एल्गोरिदम पर सर्वेक्षण देखें।
क्वांटम फूरियर ट्रांसफॉर्म पर आधारित एल्गोरिदम
असतत फूरियर रूपांतरण असतत फूरियर ट्रांसफॉर्म का क्वांटम एनालॉग है, और इसका उपयोग कई क्वांटम एल्गोरिदम में किया जाता है। हैडामर्ड परिवर्तन भी क्षेत्र F2 पर एक एन-आयामी वेक्टर स्पेस पर क्वांटम फूरियर ट्रांसफॉर्म का एक उदाहरण है। क्वांटम फूरियर ट्रांसफॉर्म को केवल क्वांटम गेट्स की बहुपद संख्या का उपयोग करके क्वांटम कंप्यूटर पर कुशलतापूर्वक कार्यान्वित किया जा सकता है।[citation needed]
डॉयचे-जोज़सा एल्गोरिथम
डॉयचे-जोज़सा एल्गोरिथ्म एक ब्लैक-बॉक्स समस्या को हल करता है जिसके लिए संभवतः किसी भी नियतात्मक चिरप्रतिष्ठित कंप्यूटर के लिए ब्लैक बॉक्स में तेजी से कई प्रश्नों की आवश्यकता होती है, लेकिन क्वांटम कंप्यूटर द्वारा एक क्वेरी के साथ ऐसा किया जा सकता है। हालाँकि, बाउंडेड-एरर क्लासिकल और क्वांटम एल्गोरिदम की तुलना करते समय, कोई गति नहीं होती है क्योंकि एक क्लासिकल संभाव्य एल्गोरिदम त्रुटि की कम संभावना के साथ निरंतर संख्या में प्रश्नों के साथ समस्या को हल कर सकता है। एल्गोरिदम यह निर्धारित करता है कि फ़ंक्शन f या तो स्थिर है (सभी इनपुट पर 0 या सभी इनपुट पर 1) या संतुलित है (इनपुट डोमेन के आधे के लिए 1 और दूसरे आधे के लिए 0 लौटाता है)।
बर्नस्टीन-वज़ीरानी एल्गोरिदम
बर्नस्टीन-वज़ीरानी एल्गोरिदम पहला क्वांटम एल्गोरिदम है जो किसी समस्या को सबसे प्रसिद्ध चिरप्रतिष्ठित एल्गोरिदम की तुलना में अधिक कुशलता से हल करता है। इसे बीक्यूपी और बीपीपी के बीच एक ओरेकल पृथक्करण बनाने के लिए डिज़ाइन किया गया था।
साइमन का एल्गोरिदम
साइमन का एल्गोरिदम ब्लैक-बॉक्स समस्या को किसी भी चिरप्रतिष्ठित एल्गोरिदम की तुलना में तेजी से हल करता है, जिसमें बाउंडेड-एरर प्रोबेबिलिस्टिक एल्गोरिदम भी सम्मिलित है। यह एल्गोरिदम, जो सभी चिरप्रतिष्ठित एल्गोरिदम पर एक घातीय गति प्राप्त करता है जिसे हम कुशल मानते हैं, शोर के फैक्टरिंग एल्गोरिदम के लिए प्रेरणा थी।
क्वांटम चरण अनुमान एल्गोरिदम
क्वांटम चरण अनुमान एल्गोरिथ्म का उपयोग एकात्मक गेट के आइजेनवेक्टर के आइजेनफेज को निर्धारित करने के लिए किया जाता है, जिसे आइजेनवेक्टर के आनुपातिक क्वांटम स्थिति और गेट तक पहुंच दी जाती है। इस एल्गोरिथ्म को प्रायः अन्य एल्गोरिदम में सबरूटीन के रूप में उपयोग किया जाता है।
शोर का एल्गोरिदम
शोर का एल्गोरिदम बहुपद समय में असतत लघुगणक समस्या और पूर्णांक गुणनखंडन समस्या को हल करता है,[8] जबकि सबसे प्रसिद्ध चिरप्रतिष्ठित एल्गोरिदम सुपर-बहुपद समय लेते हैं। इन समस्याओं को पी या एनपी-पूर्ण में नहीं जाना जाता है। यह कुछ क्वांटम एल्गोरिदम में से एक है जो बहुपद समय में एक गैर-ब्लैक-बॉक्स समस्या को हल करता है जहां सबसे प्रसिद्ध चिरप्रतिष्ठित एल्गोरिदम सुपर-बहुपद समय में चलते हैं।
हिडन उपसमूह समस्या
एबेलियन हिडन उपसमूह समस्या कई समस्याओं का सामान्यीकरण है जिन्हें क्वांटम कंप्यूटर द्वारा हल किया जा सकता है, जैसे साइमन की समस्या, पेल के समीकरण को हल करना, रिंग आर के मूल आइडियल और पूर्णांक गुणनखंडन का परीक्षण करना। एबेलियन हिडन उपसमूह समस्या के लिए कुशल क्वांटम एल्गोरिदम ज्ञात हैं।[9] अधिक सामान्य छिपी हुई उपसमूह समस्या, जहां समूह आवश्यक रूप से एबेलियन नहीं है, पहले उल्लिखित समस्याओं और ग्राफ समरूपता और कुछ जालक समस्याओं का सामान्यीकरण है। कुशल क्वांटम एल्गोरिदम कुछ गैर-एबेलियन समूहों के लिए जाने जाते हैं। हालाँकि, सममित समूह के लिए कोई कुशल एल्गोरिदम ज्ञात नहीं है, जो ग्राफ़ समरूपता और डायहेड्रल समूह के लिए एक कुशल एल्गोरिदम देगा,[10] जो कुछ जालक समस्याओं को हल करेगा।[11]
गॉस राशि का अनुमान लगाना
गॉस योग एक प्रकार का घातीय योग है। इन राशियों का अनुमान लगाने के लिए सबसे प्रसिद्ध चिरप्रतिष्ठित एल्गोरिदम में घातीय समय लगता है। चूंकि असतत लघुगणक समस्या गॉस योग अनुमान तक कम हो जाती है, गॉस योग का अनुमान लगाने के लिए एक कुशल चिरप्रतिष्ठित एल्गोरिदम असतत लघुगणक की गणना के लिए एक कुशल चिरप्रतिष्ठित एल्गोरिदम का संकेत देगा, जिसे असंभावित माना जाता है। हालाँकि, क्वांटम कंप्यूटर बहुपद समय में बहुपद परिशुद्धता के लिए गॉस योग का अनुमान लगा सकते हैं।[12]
फूरियर फिशिंग और फूरियर चेकिंग
हमारे पास एक ओरेकल है जिसमें n यादृच्छिक बूलियन फ़ंक्शंस सम्मिलित हैं जो n-बिट स्ट्रिंग्स को बूलियन मान पर मैप करते हैं। हमें n n-बिट स्ट्रिंग्स z1,...,zn को इस तरह ढूंढना आवश्यक है कि हैडामर्ड-फूरियर ट्रांसफॉर्म के लिए, कम से कम 3/4 स्ट्रिंग्स संतुष्ट होते हों
और कम से कम 1/4 संतुष्ट करता है
यह परिबद्ध-त्रुटि क्वांटम बहुपद समय (बीक्यूपी) में किया जा सकता है।[13]
आयाम प्रवर्धन पर आधारित एल्गोरिदम
आयाम प्रवर्धन एक ऐसी तकनीक है जो क्वांटम अवस्था के चुने हुए उपस्थान के प्रवर्धन की अनुमति देती है। आयाम प्रवर्धन के अनुप्रयोग प्रायः संबंधित चिरप्रतिष्ठित एल्गोरिदम पर द्विघात गति को जन्म देते हैं। इसे ग्रोवर के एल्गोरिदम का सामान्यीकरण माना जा सकता है।
ग्रोवर का एल्गोरिदम
ग्रोवर का एल्गोरिदम एन प्रविष्टियों के साथ एक असंरचित डेटाबेस (या एक अव्यवस्थित सूची) की खोज करता है, एक चिह्नित प्रविष्टि के लिए, चिरप्रतिष्ठित रूप से आवश्यक प्रश्नों के बजाय केवल केवल प्रश्नों का उपयोग करता है।[14] चिरप्रतिष्ठित रूप से बाउंडेड-एरर संभाव्य एल्गोरिदम की अनुमति देने के लिए भी प्रश्नों की आवश्यकता होती है।
सिद्धांतकारों ने एक मानक क्वांटम कंप्यूटर के एक काल्पनिक सामान्यीकरण पर विचार किया है जो डी बोहमियन यांत्रिकी में छिपे चर के इतिहास तक पहुंच सकता है। (ऐसा कंप्यूटर पूरी तरह से काल्पनिक है और एक मानक क्वांटम कंप्यूटर नहीं होगा, या क्वांटम यांत्रिकी के मानक सिद्धांत के तहत भी संभव नहीं होगा।) ऐसा काल्पनिक कंप्यूटर अधिकतम चरणों में एन-आइटम डेटाबेस की खोज को कार्यान्वित कर सकता है। यह ग्रोवर के एल्गोरिदम द्वारा उठाए गए चरणों से थोड़ा तेज़ है। कोई भी खोज विधि क्वांटम कंप्यूटर के किसी भी मॉडल को बहुपद समय में एनपी-पूर्ण समस्याओं को हल करने की अनुमति नहीं देगी।[15]
क्वांटम गणना
क्वांटम गणना खोज समस्या का सामान्यीकरण हल करती है। यह केवल यह पता लगाने के बजाय कि कोई मौजूद है या नहीं, एक अव्यवस्थित सूची में चिह्नित प्रविष्टियों की संख्या गिनने की समस्या को हल करता है। विशेष रूप से, यह -तत्व सूची में चिह्नित प्रविष्टियों की संख्या की गणना करता है, त्रुटि के साथ केवल प्रश्न बनाता है, जहां सूची में चिह्नित तत्वों की संख्या है।[16][17] अधिक सटीक रूप से, एल्गोरिदम निम्न सटीकता के साथ, के लिए एक अनुमान , चिह्नित प्रविष्टियों की संख्या आउटपुट करता है: .
क्वांटम वॉक पर आधारित एल्गोरिदम
क्वांटम वॉक चिरप्रतिष्ठित यादृच्छिक वॉक का क्वांटम एनालॉग है, जिसे कुछ अवस्थाओं में संभाव्यता वितरण द्वारा वर्णित किया जा सकता है। क्वांटम वॉक को अवस्थाओं पर क्वांटम सुपरपोजिशन द्वारा वर्णित किया जा सकता है। क्वांटम वॉक को कुछ ब्लैक-बॉक्स समस्याओं के लिए तेजी से गति प्रदान करने के लिए जाना जाता है।[18][19] वे कई समस्याओं के लिए बहुपद स्पीडअप भी प्रदान करते हैं। क्वांटम वॉक एल्गोरिदम के निर्माण के लिए एक रूपरेखा निहीत है और यह काफी बहुमुखी उपकरण है।[20]
बोसोन नमूनाकरण समस्या
प्रायोगिक विन्यास में बोसोन नमूनाकरण समस्या मानती है[21] मध्यम संख्या के बोसॉन (उदा. प्रकाश के फोटॉन) का एक इनपुट एक परिभाषित इकाई द्वारा बाधित बड़ी संख्या में आउटपुट मोड में बेतरतीब ढंग से बिखर जाता है। जब प्रकाश के अलग-अलग फोटॉन का उपयोग किया जाता है तो समस्या मल्टी-फोटॉन क्वांटम वॉक के लिए आइसोमोर्फिक होती है।[22] फिर समस्या आउटपुट की संभाव्यता वितरण का एक उचित नमूना तैयार करने की है जो बोसॉन और यूनिटेरिटी की इनपुट व्यवस्था पर निर्भर है।[23] चिरप्रतिष्ठित कंप्यूटर एल्गोरिदम के साथ इस समस्या को हल करने के लिए एकात्मक परिवर्तन मैट्रिक्स के स्थायी गणना करने की आवश्यकता होती है, जो या तो असंभव हो सकता है या इसमें बहुत लंबा समय लग सकता है। 2014 में इसका प्रस्ताव रखा गया था[24] एकल फोटॉन स्थिति उत्पन्न करने की मौजूदा तकनीक और मानक संभाव्य तरीकों का उपयोग उपयुक्त क्वांटम गणना योग्य रैखिक ऑप्टिकल क्वांटम कंप्यूटिंग में इनपुट के रूप में किया जा सकता है और क्वांटम एल्गोरिदम का उपयोग करके आउटपुट संभाव्यता वितरण का नमूना स्पष्ट रूप से बेहतर होगा। 2015 जांच में अनुमान लगाया गया था कि[25] नमूनाकरण समस्या में फॉक स्थिति फोटॉनों के अलावा अन्य इनपुट के लिए समान जटिलता थी और सुसंगत आयाम इनपुट के आकार पर निर्भर, चिरप्रतिष्ठित रूप से अनुकरणीय से बोसॉन नमूनाकरण समस्या जितनी कठिन कम्प्यूटेशनल जटिलता में एक संक्रमण की पहचान की गई थी।
तत्व विशिष्टता समस्या
तत्व विशिष्टता समस्या यह निर्धारित करने की समस्या है कि किसी सूची के सभी तत्व अलग हैं या नहीं। चिरप्रतिष्ठित रूप से, आकार N की सूची के लिए Ω(N) प्रश्नों की आवश्यकता होती है। हालाँकि, इसे क्वांटम कंप्यूटर पर प्रश्नों में हल किया जा सकता है। इष्टतम एल्गोरिदम एंड्रीस अंबैनिस द्वारा बनाया गया है।[26] जब सीमा का आकार पर्याप्त रूप से बड़ा होता है तो याओयुन शी ने पहली बार एक तंग निचली सीमा प्रमाणित की।[27] अम्बैनीस[28] और कुटिन[29] स्वतंत्र रूप से (और विभिन्न प्रमाणों के माध्यम से) सभी फंक्शन्स के लिए निचली सीमा प्राप्त करने के लिए अपने कार्य को बढ़ाया।
त्रिभुज खोजने की समस्या
त्रिभुज-खोज समस्या यह निर्धारित करने की समस्या है कि दिए गए ग्राफ़ में एक त्रिभुज (आकार 3 का एक समूह) है या नहीं। क्वांटम एल्गोरिदम के लिए सबसे प्रसिद्ध निचली सीमा Ω(N) है, लेकिन ज्ञात सबसे अच्छे एल्गोरिदम के लिए O(N1.297) प्रश्नों की आवश्यकता होती है),[30] जो पिछले सर्वोत्तम O(N1.3) प्रश्नों की तुलना में एक सुधार है।[20][31]
सूत्र मूल्यांकन
सूत्र एक पेड़ है जिसमें प्रत्येक आंतरिक नोड पर एक गेट और प्रत्येक पत्ती नोड पर एक इनपुट बिट होता है। समस्या सूत्र का मूल्यांकन करने की है, जो रूट नोड का आउटपुट है, ओरेकल को इनपुट तक पहुंच दी गई है।
एक अच्छी तरह से अध्ययन किया गया फॉर्मूला केवल NAND गेट्स वाला संतुलित बाइनरी ट्री है।[32] इस प्रकार के सूत्र के लिए Θ(N) की आवश्यकता होती हैc) यादृच्छिकता का उपयोग करते हुए प्रश्न,[33] कहाँ . हालाँकि, क्वांटम एल्गोरिथ्म के साथ, इसे Θ(N) में हल किया जा सकता है0.5) प्रश्न. इस मामले के लिए कोई बेहतर क्वांटम एल्गोरिदम तब तक ज्ञात नहीं था जब तक कि एक अपरंपरागत हैमिल्टनियन ऑरेकल मॉडल के लिए नहीं मिला था।[7]मानक सेटिंग के लिए भी जल्द ही वही परिणाम आया।[34] अधिक जटिल सूत्रों के लिए तेज़ क्वांटम एल्गोरिदम भी ज्ञात हैं।[35]
समूह क्रमविनिमेयता
समस्या यह निर्धारित करना है कि k जनरेटर द्वारा दिया गया ब्लैक बॉक्स समूह, क्रमपरिवर्तनशीलता है या नहीं। एक ब्लैक बॉक्स समूह एक ओरेकल फ़ंक्शन वाला एक समूह है, जिसका उपयोग समूह संचालन (गुणा, व्युत्क्रम और पहचान के साथ तुलना) करने के लिए किया जाना चाहिए। हम क्वेरी जटिलता में रुचि रखते हैं, जो समस्या को हल करने के लिए आवश्यक ओरेकल कॉल की संख्या है। नियतात्मक और यादृच्छिक क्वेरी जटिलताएँ हैं और क्रमश।[36] एक क्वांटम एल्गोरिदम की आवश्यकता है प्रश्न लेकिन सबसे प्रसिद्ध एल्गोरिदम का उपयोग करता है प्रश्न.[37]
बीक्यूपी-संपूर्ण समस्याएँ
जटिलता वर्ग बीक्यूपी (बाध्य-त्रुटि क्वांटम बहुपद समय) सभी उदाहरणों के लिए अधिकतम 1/3 की त्रुटि संभावना के साथ बहुपद समय में क्वांटम कंप्यूटर द्वारा हल की जाने वाली निर्णय समस्याओं का समूह है।[38] यह चिरप्रतिष्ठित जटिलता वर्ग BPP (जटिलता) का क्वांटम एनालॉग है।
एक समस्या BQP-पूर्ण है यदि वह BQP में है और BQP में कोई भी समस्या बहुपद समय में कमी (जटिलता) हो सकती है। अनौपचारिक रूप से, BQP-पूर्ण समस्याओं का वर्ग वे हैं जो BQP की सबसे कठिन समस्याओं जितनी ही कठिन हैं और स्वयं क्वांटम कंप्यूटर द्वारा कुशलतापूर्वक हल करने योग्य हैं (सीमाबद्ध त्रुटि के साथ)।
कंप्यूटिंग गाँठ अपरिवर्तनीय
विटन ने दिखाया था कि चेर्न-साइमन्स टोपोलॉजिकल क्वांटम फील्ड सिद्धांत (टीक्यूएफटी) को जोन्स बहुपद के संदर्भ में हल किया जा सकता है। एक क्वांटम कंप्यूटर एक TQFT का अनुकरण कर सकता है, और इस प्रकार जोन्स बहुपद का अनुमान लगा सकता है,[39] जहाँ तक हम जानते हैं, सबसे खराब स्थिति में चिरप्रतिष्ठित रूप से गणना करना कठिन है।[citation needed]
क्वांटम सिमुलेशन
यह विचार कि क्वांटम कंप्यूटर चिरप्रतिष्ठित कंप्यूटरों की तुलना में अधिक शक्तिशाली हो सकते हैं, रिचर्ड फेनमैन के अवलोकन से उत्पन्न हुआ कि चिरप्रतिष्ठित कंप्यूटरों को कई-कण क्वांटम सिस्टम का अनुकरण करने के लिए घातीय समय की आवश्यकता होती है।[40] तब से, यह विचार कि क्वांटम कंप्यूटर चिरप्रतिष्ठित कंप्यूटरों की तुलना में तेजी से क्वांटम भौतिक प्रक्रियाओं का अनुकरण कर सकते हैं, को बहुत अधिक स्पष्ट और विस्तृत किया गया है। बोसोनिक और फर्मिओनिक दोनों प्रणालियों के अनुकरण के लिए कुशल (अर्थात, बहुपद-समय) क्वांटम एल्गोरिदम विकसित किए गए हैं[41] और विशेष रूप से, वर्तमान चिरप्रतिष्ठित सुपर कंप्यूटर की क्षमताओं से परे रासायनिक प्रतिक्रियाओं के अनुकरण के लिए केवल कुछ सौ क्यूबिट की आवश्यकता होती है।[42] क्वांटम कंप्यूटर टोपोलॉजिकल क्वांटम क्षेत्र सिद्धांतों का कुशलतापूर्वक अनुकरण भी कर सकते हैं।[43] अपनी आंतरिक रुचि के अलावा, इस परिणाम ने जोन्स बहुपद जैसे क्वांटम अपरिवर्तनीय का अनुमान लगाने के लिए कुशल क्वांटम एल्गोरिदम को जन्म दिया है।[44] और HOMFLY बहुपद,[45] और त्रि-आयामी मैनिफोल्ड्स का तुराएव-विरो अपरिवर्तनीय।[46]
समीकरणों की एक रैखिक प्रणाली को हल करना
2009 में अराम हैरो, अविनाटन हासिडिम और सेठ लॉयड ने रैखिक समीकरणों की प्रणाली को हल करने के लिए एक क्वांटम एल्गोरिदम तैयार किया। समीकरणों की रैखिक प्रणालियों के लिए क्वांटम एल्गोरिदम समीकरणों की दी गई रैखिक प्रणाली के समाधान वेक्टर पर एक स्केलर माप के परिणाम का अनुमान लगाता है।[47] बशर्ते रैखिक प्रणाली एक विरल मैट्रिक्स हो और उसकी स्थिति संख्या कम हो , और यह कि उपयोगकर्ता स्वयं समाधान वेक्टर के मानों के बजाय समाधान वेक्टर पर स्केलर माप के परिणाम में रुचि रखता है, तो एल्गोरिदम का रनटाइम होता है , कहाँ रैखिक प्रणाली में चरों की संख्या है। यह सबसे तेज़ चिरप्रतिष्ठित एल्गोरिदम पर एक घातीय स्पीडअप प्रदान करता है, जो चलता है (या सकारात्मक अर्धनिश्चित मैट्रिक्स के लिए)।
हाइब्रिड क्वांटम/चिरप्रतिष्ठित एल्गोरिदम
हाइब्रिड क्वांटम/चिरप्रतिष्ठित एल्गोरिदम क्वांटम स्थिति की तैयारी और माप को चिरप्रतिष्ठित अनुकूलन के साथ जोड़ते हैं।[48] इन एल्गोरिदम का लक्ष्य आम तौर पर हर्मिटियन ऑपरेटर की जमीनी स्थिति आइजनवेक्टर और आइजेनवैल्यू निर्धारित करना है।
क्यूएओए
क्वांटम अनुमानित अनुकूलन एल्गोरिदम क्वांटम एनीलिंग का एक खिलौना मॉडल है जिसका उपयोग ग्राफ सिद्धांत में समस्याओं को हल करने के लिए किया जा सकता है।[49] एल्गोरिदम किसी उद्देश्य फ़ंक्शन को अधिकतम करने के लिए क्वांटम संचालन के चिरप्रतिष्ठित अनुकूलन का उपयोग करता है।
वैरिएबल क्वांटम ईगेनसॉल्वर
वैरिएबल क्वांटम ईजेनसोल्वर (वीक्यूई) एल्गोरिदम एक अणु की जमीनी अवस्था ऊर्जा का पता लगाने के लिए एन्सैट्ज़ की ऊर्जा अपेक्षा को कम करने के लिए चिरप्रतिष्ठित अनुकूलन लागू करता है।[50] इसे अणुओं की उत्तेजित ऊर्जा का पता लगाने के लिए भी बढ़ाया जा सकता है।[51]
अनुबंधित क्वांटम ईजेनसोल्वर
सीक्यूई एल्गोरिदम एक अणु की जमीनी या उत्तेजित-अवस्था ऊर्जा और दो-इलेक्ट्रॉन कम घनत्व मैट्रिक्स को खोजने के लिए दो (या अधिक) इलेक्ट्रॉनों के स्थान पर श्रोडिंगर समीकरण के संकुचन (या प्रक्षेपण) के अवशेष को कम करता है।[52] यह सीधे एंटी-हर्मिटियन अनुबंधित श्रोडिंगर समीकरण से ऊर्जा और दो-इलेक्ट्रॉन कम घनत्व वाले मैट्रिक्स को हल करने के चिरप्रतिष्ठित तरीकों पर आधारित है।[53]
यह भी देखें
- क्वांटम मशीन लर्निंग
- क्वांटम अनुकूलन एल्गोरिदम
- क्वांटम सॉर्ट
- प्राथमिकता परीक्षण
संदर्भ
- ↑ Nielsen, Michael A.; Chuang, Isaac L. (2000). क्वांटम संगणना और क्वांटम सूचना. Cambridge University Press. ISBN 978-0-521-63503-5.
- ↑ Mosca, M. (2008). "क्वांटम एल्गोरिदम". arXiv:0808.0369 [quant-ph].
- ↑ Lanzagorta, Marco; Uhlmann, Jeffrey K. (1 January 2009). क्वांटम कंप्यूटर विज्ञान. Morgan & Claypool Publishers. ISBN 9781598297324.
- ↑ Nielsen, Michael A.; Chuang, Isaac L. (2010). क्वांटम संगणना और क्वांटम सूचना (2nd ed.). Cambridge: Cambridge University Press. ISBN 978-1-107-00217-3.
- ↑ "Shor's algorithm".
- ↑ "IBM quantum composer user guide: Grover's algorithm". quantum-computing.ibm.com. Retrieved 7 June 2022.
- ↑ 7.0 7.1 Farhi, Edward; Goldstone, Jeffrey; Gutmann, Sam (2008). "हैमिल्टनियन नंद वृक्ष के लिए एक क्वांटम एल्गोरिदम". Theory of Computing. 4: 169–190. arXiv:quant-ph/0702144. doi:10.4086/toc.2008.v004a008.
- ↑ Shor, P. W. (1997). "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer". SIAM Journal on Scientific and Statistical Computing. 26 (5): 1484–1509. arXiv:quant-ph/9508027. Bibcode:1995quant.ph..8027S. doi:10.1137/s0097539795293172. S2CID 2337707.
- ↑ Boneh, D.; Lipton, R. J. (1995). "Quantum cryptoanalysis of hidden linear functions". In Coppersmith, D. (ed.). Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology. Springer-Verlag. pp. 424–437. ISBN 3-540-60221-6.
- ↑ Regev, O. (2003). "Quantum Computation and Lattice Problems". arXiv:cs/0304005.
- ↑ Moore, C.; Russell, A.; Schulman, L. J. (2005). "The Symmetric Group Defies Strong Fourier Sampling: Part I". arXiv:quant-ph/0501056.
- ↑ van Dam, W.; Seroussi, G. (2002). "Efficient Quantum Algorithms for Estimating Gauss Sums". arXiv:quant-ph/0207131.
- ↑ Aaronson, S. (2009). "BQP and the Polynomial Hierarchy". arXiv:0910.4698 [quant-ph].
- ↑ Grover, Lov K. (1996). "A fast quantum mechanical algorithm for database search". arXiv:quant-ph/9605043.
- ↑ Aaronson, Scott. "क्वांटम कंप्यूटिंग और छिपे हुए चर" (PDF).
- ↑ Brassard, G.; Hoyer, P.; Tapp, A. (1998). Quantum Counting. Lecture Notes in Computer Science. Vol. 1443. pp. 820–831. arXiv:quant-ph/9805082. doi:10.1007/BFb0055105. ISBN 978-3-540-64781-2. S2CID 14147978.
- ↑ Brassard, G.; Hoyer, P.; Mosca, M.; Tapp, A. (2002). "Quantum Amplitude Amplification and Estimation". In Samuel J. Lomonaco, Jr. (ed.). Quantum Computation and Quantum Information. AMS Contemporary Mathematics. Vol. 305. pp. 53–74. arXiv:quant-ph/0005055. Bibcode:2000quant.ph..5055B. doi:10.1090/conm/305/05215. ISBN 9780821821404. S2CID 54753.
- ↑ Childs, A. M.; Cleve, R.; Deotto, E.; Farhi, E.; Gutmann, S.; Spielman, D. A. (2003). "Exponential algorithmic speedup by quantum walk". Proceedings of the 35th Symposium on Theory of Computing. Association for Computing Machinery. pp. 59–68. arXiv:quant-ph/0209131. doi:10.1145/780542.780552. ISBN 1-58113-674-9.
- ↑ Childs, A. M.; Schulman, L. J.; Vazirani, U. V. (2007). "Quantum Algorithms for Hidden Nonlinear Structures". Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science. IEEE. pp. 395–404. arXiv:0705.2784. doi:10.1109/FOCS.2007.18. ISBN 978-0-7695-3010-9.
- ↑ 20.0 20.1 Magniez, F.; Nayak, A.; Roland, J.; Santha, M. (2007). "क्वांटम वॉक के माध्यम से खोजें". Proceedings of the 39th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery. pp. 575–584. arXiv:quant-ph/0608026. doi:10.1145/1250790.1250874. ISBN 978-1-59593-631-8.
- ↑ Ralph, T.C. (July 2013). "Figure 1: The boson-sampling problem". Nature Photonics. Nature. 7 (7): 514–515. doi:10.1038/nphoton.2013.175. S2CID 110342419. Retrieved 12 September 2014.
- ↑ Peruzzo, Alberto; Lobino, Mirko; Matthews, Jonathan C. F.; Matsuda, Nobuyuki; Politi, Alberto; Poulios, Konstantinos; Zhou, Xiao-Qi; Lahini, Yoav; Ismail, Nur; Wörhoff, Kerstin; Bromberg, Yaron; Silberberg, Yaron; Thompson, Mark G.; OBrien, Jeremy L. (17 September 2010). "सहसंबद्ध फोटॉनों की क्वांटम चालें". Science (in English). 329 (5998): 1500–1503. arXiv:1006.4764. Bibcode:2010Sci...329.1500P. doi:10.1126/science.1193515. ISSN 0036-8075. PMID 20847264. S2CID 13896075.
- ↑ Lund, A.P.; Laing, A.; Rahimi-Keshari, S.; Rudolph, T.; O'Brien, J.L.; Ralph, T.C. (5 September 2014). "गाऊसी राज्यों से बोसोन नमूनाकरण". Phys. Rev. Lett. 113 (10): 100502. arXiv:1305.4346. Bibcode:2014PhRvL.113j0502L. doi:10.1103/PhysRevLett.113.100502. PMID 25238340. S2CID 27742471.
- ↑ "क्वांटम क्रांति एक कदम और करीब है". Phys.org. Omicron Technology Limited. Retrieved 12 September 2014.
- ↑ Seshadreesan, Kaushik P.; Olson, Jonathan P.; Motes, Keith R.; Rohde, Peter P.; Dowling, Jonathan P. (2015). "Boson sampling with displaced single-photon Fock states versus single-photon-added coherent states: The quantum-classical divide and computational-complexity transitions in linear optics". Physical Review A. 91 (2): 022334. arXiv:1402.0531. Bibcode:2015PhRvA..91b2334S. doi:10.1103/PhysRevA.91.022334. S2CID 55455992.
- ↑ Ambainis, A. (2007). "Quantum Walk Algorithm for Element Distinctness". SIAM Journal on Computing. 37 (1): 210–239. arXiv:quant-ph/0311001. doi:10.1137/S0097539705447311. S2CID 6581885.
- ↑ Shi, Y. (2002). "Quantum lower bounds for the collision and the element distinctness problems". The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings. Proceedings of the 43rd Symposium on Foundations of Computer Science. pp. 513–519. arXiv:quant-ph/0112086. doi:10.1109/SFCS.2002.1181975. ISBN 0-7695-1822-2.
- ↑ Ambainis, A. (2005). "Polynomial Degree and Lower Bounds in Quantum Complexity: Collision and Element Distinctness with Small Range". Theory of Computing. 1 (1): 37–46. doi:10.4086/toc.2005.v001a003.
- ↑ Kutin, S. (2005). "Quantum Lower Bound for the Collision Problem with Small Range". Theory of Computing. 1 (1): 29–36. doi:10.4086/toc.2005.v001a002.
- ↑ Aleksandrs Belovs (2011). "लगातार आकार वाले 1-प्रमाणपत्र वाले कार्यों के लिए स्पैन प्रोग्राम". arXiv:1105.4024 [quant-ph].
- ↑ Magniez, F.; Santha, M.; Szegedy, M. (2007). "Quantum Algorithms for the Triangle Problem". SIAM Journal on Computing. 37 (2): 413–424. arXiv:quant-ph/0310134. doi:10.1137/050643684. S2CID 594494.
- ↑ Aaronson, S. (3 February 2007). "NAND now for something completely different". Shtetl-Optimized. Retrieved 17 December 2009.
- ↑ Saks, M.E.; Wigderson, A. (1986). "Probabilistic Boolean Decision Trees and the Complexity of Evaluating Game Trees" (PDF). Proceedings of the 27th Annual Symposium on Foundations of Computer Science. IEEE. pp. 29–38. doi:10.1109/SFCS.1986.44. ISBN 0-8186-0740-8.
- ↑ Ambainis, A. (2007). "A nearly optimal discrete query quantum algorithm for evaluating NAND formulas". arXiv:0704.3628 [quant-ph].
- ↑ Reichardt, B. W.; Spalek, R. (2008). "Span-program-based quantum algorithm for evaluating formulas". Proceedings of the 40th Annual ACM symposium on Theory of Computing. Association for Computing Machinery. pp. 103–112. arXiv:0710.2630. doi:10.1145/1374376.1374394. ISBN 978-1-60558-047-0.
- ↑ Pak, Igor (2012). "Testing commutativity of a group and the power of randomization". LMS Journal of Computation and Mathematics. 15: 38–43. doi:10.1112/S1461157012000046.
- ↑ Magniez, F.; Nayak, A. (2007). "Quantum Complexity of Testing Group Commutativity". Algorithmica. 48 (3): 221–232. arXiv:quant-ph/0506265. doi:10.1007/s00453-007-0057-8. S2CID 3163328.
- ↑ Michael Nielsen and Isaac Chuang (2000). Quantum Computation and Quantum Information. Cambridge: Cambridge University Press. ISBN 0-521-63503-9.
- ↑ Aharonov, D.; Jones, V.; Landau, Z. (2006). "A polynomial quantum algorithm for approximating the Jones polynomial". Proceedings of the 38th Annual ACM symposium on Theory of Computing. Association for Computing Machinery. pp. 427–436. arXiv:quant-ph/0511096. doi:10.1145/1132516.1132579. ISBN 1595931341.
- ↑ Feynman, R. P. (1982). "Simulating physics with computers". International Journal of Theoretical Physics. 21 (6–7): 467–488. Bibcode:1982IJTP...21..467F. CiteSeerX 10.1.1.45.9310. doi:10.1007/BF02650179. S2CID 124545445.
- ↑ Abrams, D. S.; Lloyd, S. (1997). "Simulation of many-body Fermi systems on a universal quantum computer". Physical Review Letters. 79 (13): 2586–2589. arXiv:quant-ph/9703054. Bibcode:1997PhRvL..79.2586A. doi:10.1103/PhysRevLett.79.2586. S2CID 18231521.
- ↑ Kassal, I.; Jordan, S. P.; Love, P. J.; Mohseni, M.; Aspuru-Guzik, A. (2008). "Polynomial-time quantum algorithm for the simulation of chemical dynamics". Proceedings of the National Academy of Sciences of the United States of America. 105 (48): 18681–86. arXiv:0801.2986. Bibcode:2008PNAS..10518681K. doi:10.1073/pnas.0808245105. PMC 2596249. PMID 19033207.
- ↑ Freedman, M.; Kitaev, A.; Wang, Z. (2002). "Simulation of Topological Field Theories by Quantum Computers". Communications in Mathematical Physics. 227 (3): 587–603. arXiv:quant-ph/0001071. Bibcode:2002CMaPh.227..587F. doi:10.1007/s002200200635. S2CID 449219.
- ↑ Aharonov, D.; Jones, V.; Landau, Z. (2009). "A polynomial quantum algorithm for approximating the Jones polynomial". Algorithmica. 55 (3): 395–421. arXiv:quant-ph/0511096. doi:10.1007/s00453-008-9168-0. S2CID 7058660.
- ↑ Wocjan, P.; Yard, J. (2008). "The Jones polynomial: quantum algorithms and applications in quantum complexity theory". Quantum Information and Computation. 8 (1): 147–180. arXiv:quant-ph/0603069. Bibcode:2006quant.ph..3069W. doi:10.26421/QIC8.1-2-10. S2CID 14494227.
- ↑ Alagic, G.; Jordan, S.P.; König, R.; Reichardt, B. W. (2010). "Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation". Physical Review A. 82 (4): 040302. arXiv:1003.0923. Bibcode:2010PhRvA..82d0302A. doi:10.1103/PhysRevA.82.040302. S2CID 28281402.
- ↑ Harrow, Aram W; Hassidim, Avinatan; Lloyd, Seth (2008). "समीकरणों की रैखिक प्रणालियों को हल करने के लिए क्वांटम एल्गोरिदम". Physical Review Letters. 103 (15): 150502. arXiv:0811.3171. Bibcode:2009PhRvL.103o0502H. doi:10.1103/PhysRevLett.103.150502. PMID 19905613. S2CID 5187993.
- ↑ Moll, Nikolaj; Barkoutsos, Panagiotis; Bishop, Lev S.; Chow, Jerry M.; Cross, Andrew; Egger, Daniel J.; Filipp, Stefan; Fuhrer, Andreas; Gambetta, Jay M.; Ganzhorn, Marc; Kandala, Abhinav; Mezzacapo, Antonio; Müller, Peter; Riess, Walter; Salis, Gian; Smolin, John; Tavernelli, Ivano; Temme, Kristan (2018). "निकटवर्ती क्वांटम उपकरणों पर परिवर्तनशील एल्गोरिदम का उपयोग करके क्वांटम अनुकूलन". Quantum Science and Technology. 3 (3): 030503. arXiv:1710.01022. Bibcode:2018QS&T....3c0503M. doi:10.1088/2058-9565/aab822. S2CID 56376912.
- ↑ Farhi, Edward; Goldstone, Jeffrey; Gutmann, Sam (14 November 2014). "एक क्वांटम अनुमानित अनुकूलन एल्गोरिदम". arXiv:1411.4028 [quant-ph].
- ↑ Peruzzo, Alberto; McClean, Jarrod; Shadbolt, Peter; Yung, Man-Hong; Zhou, Xiao-Qi; Love, Peter J.; Aspuru-Guzik, Alán; O’Brien, Jeremy L. (23 July 2014). "एक फोटोनिक क्वांटम प्रोसेसर पर एक वैरिएबल आइजेनवैल्यू सॉल्वर". Nature Communications (in English). 5 (1): 4213. arXiv:1304.3061. Bibcode:2014NatCo...5.4213P. doi:10.1038/ncomms5213. ISSN 2041-1723. PMC 4124861. PMID 25055053.
- ↑ Higgott, Oscar; Wang, Daochen; Brierley, Stephen (2019). "उत्तेजित अवस्थाओं की विविध क्वांटम गणना". Quantum. 3: 156. arXiv:1805.08138. Bibcode:2019Quant...3..156H. doi:10.22331/q-2019-07-01-156. S2CID 119185497.
- ↑ Smart, Scott; Mazziotti, David (18 February 2021). "क्वांटम कंप्यूटिंग उपकरणों पर स्केलेबल आणविक सिमुलेशन के लिए अनुबंधित आइजेनवैल्यू समीकरणों का क्वांटम सॉल्वर". Phys. Rev. Lett. (in English). 125 (7): 070504. arXiv:2004.11416. Bibcode:2021PhRvL.126g0504S. doi:10.1103/PhysRevLett.126.070504. PMID 33666467. S2CID 216144443.
- ↑ Mazziotti, David (6 October 2006). "Anti-Hermitian Contracted Schrödinger Equation: Direct Determination of the Two-Electron Reduced Density Matrices of Many-Electron Molecules". Phys. Rev. Lett. (in English). 97 (14): 143002. Bibcode:2006PhRvL..97n3002M. doi:10.1103/PhysRevLett.97.143002. PMID 17155245.
बाहरी संबंध
- The Quantum Algorithm Zoo: A comprehensive list of quantum algorithms that provide a speedup over the fastest known classical algorithms.
- Andrew Childs' lecture notes on quantum algorithms
- The Quantum search algorithm - brute force.
सर्वेक्षण
- Smith, J.; Mosca, M. (2012). "Algorithms for Quantum Computers". प्राकृतिक कंप्यूटिंग की पुस्तिका. p. 1451. doi:10.1007/978-3-540-92910-9_43. ISBN 978-3-540-92909-3. S2CID 16565723.
- Childs, A. M.; Van Dam, W. (2010). "बीजगणितीय समस्याओं के लिए क्वांटम एल्गोरिदम". Reviews of Modern Physics. 82 (1): 1–52. arXiv:0812.0380. Bibcode:2010RvMP...82....1C. doi:10.1103/RevModPhys.82.1. S2CID 119261679.
श्रेणी:क्वांटम कंप्यूटिंग
श्रेणी:सैद्धांतिक कंप्यूटर विज्ञान
श्रेणी:क्वांटम एल्गोरिदम
श्रेणी:उभरती प्रौद्योगिकियाँ