Hamiltonian Eigenvalue Transformation by Tridiagonal Gadgets
यह शोध पत्र एक एकल समय-स्वतंत्र स्थानीय हैमिल्टनियन (local Hamiltonian) को सहायक क्वबिट्स (ancilla qubits) की छोटी श्रृंखलाओं के साथ युग्मित करके, एक स्थानीय हैमिल्टनियन के मनमाने बहुपद रूपांतरणों (arbitrary polynomial transformations) को लागू करने की एक विधि प्रस्तुत करता है, जिससे सर्किट मॉडल द्वारा आवश्यक क्रमिक ओरेकल कॉल्स (sequential oracle calls) के बिना कुशल आइजनस्टेट फ़िल्टरिंग (eigenstate filtering) और एडियाबेटिक अनुकूलन (adiabatic optimization) सक्षम होता है।
मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें
एक ऐसी मशीन की कल्पना करें जिसे किसी समस्या को हल करने के लिए समय के साथ एक भौतिक प्रणाली को विकसित होने देने के लिए बनाया गया है। यह एनालॉग कंप्यूटिंग का वादा है, एक ऐसा क्षेत्र जहाँ भौतिकी के नियम स्वयं गणना करते हैं। इस दुनिया में, मशीन एक हैमिल्टनियन (Hamiltonian) द्वारा नियंत्रित होती है, जो एक गणितीय विवरण है कि कैसे ऊर्जा परस्पर क्रिया करने वाले भागों की एक प्रणाली के माध्यम से प्रवाहित होती है। इस दृष्टिकोण की सुंदरता यह है कि यदि मशीन को स्थानीय अंतःक्रियाओं (local interactions) से बनाया जाता है—जहाँ प्रत्येक भाग केवल अपने निकटतम पड़ोसियों से बात करता है—तो प्रणाली प्रबंधनीय और भौतिक रूप से साकार रहती है। हालाँकि, सबसे कठिन समस्याओं को हल करने के लिए डिज़ाइन किए गए एल्गोरिदम अक्सर ऐसी क्रियाओं की मांग करते हैं जो गैर-स्थानीय (non-local) होती हैं। वे प्रणाली से यह अपेक्षा करते हैं कि वह ऐसे व्यवहार करे जैसे कि प्रत्येक भाग एक ही समय में दूसरे प्रत्येक भाग से जुड़ा हुआ हो, जो एक ऐसा कार्य है जिसे कोई भी भौतिक उपकरण वास्तव में नहीं बना सकता। यह एक सुंदर सिद्धांत कि कंप्यूटर को क्या करना चाहिए और एक उपकरण क्या कर सकता है की मैली वास्तविकता के बीच एक अंतर पैदा करता है।
मुख्य प्रश्न शोधकर्ताओं के लिए यह है कि क्या हम इस अंतर को पाट सकते हैं। क्या हम एक सरल, स्थानीय मशीन को ले सकते हैं और इसे एक जटिल, गैर-स्थानीय मशीन की तरह व्यवहार करने के लिए मजबूर कर सकते हैं, बिना उन असंभव कनेक्शनों को बनाए बिना जिन्हें बनाना संभव नहीं है? आर्थर ब्राइडा, जोसेफ कनिंगहैम और जेरेमी रोलैंड का एक नया अध्ययन इस बात का उत्तर 'हाँ' में देता है, लेकिन एक विशिष्ट समझौते (trade-off) के साथ। उन्होंने दिखाया है कि कैसे एक स्थानीय उपकरण का निर्माण किया जा सकता है जो एक क्वांटम प्रणाली पर एक जटिल गणितीय फलन (function) की क्रिया की नकल करता है। असंभव कनेक्शनों को सीधे बनाने के बजाय, वे मुख्य प्रणाली से अतिरिक्त कणों की छोटी, सरल श्रृंखलाएँ जोड़ते हैं। ये श्रृंखलाएँ फिल्टर के रूप में कार्य करती हैं, जो प्रणाली की ऊर्जा को एक सटीक तरीके से नया आकार देती हैं। परिणाम एक एकल, स्थिर मशीन है जो एक जटिल रूपांतरण को तुरंत करती है, न कि चरणों के एक अनुक्रम के रूप में जिसे समय के साथ सटीक रूप से संचालित किया जाना चाहिए।
शोधकर्ताओं ने एक विशिष्ट प्रकार के गणितीय उपकरण पर ध्यान केंद्रित किया जिसे बहुपद (polynomial) कहा जाता है, जो एक वक्र या रूपांतरण को घातों के योग का उपयोग करके वर्णित करने का एक तरीका है। क्वांटम एल्गोरिदम में, इन बहुपदों का उपयोग सही उत्तर के संकेत (signal) को बढ़ाने और गलत उत्तरों के शोर (noise) को दबाने के लिए किया जाता है। समस्या यह है कि ऐसी बहुपद को एक भौतिक प्रणाली पर लागू करने के लिए आमतौर पर प्रणाली का अत्यधिक गैर-स्थानीय होना आवश्यक होता है, जो निर्माण के नियमों को तोड़ देता है। टीम का समाधान मुख्य प्रणाली से कणों की छोटी, खुली श्रृंखलाओं को जोड़ने में निहित है। प्रत्येक श्रृंखला कणों के स्थानों की एक सरल रेखा है जहाँ कण एक से दूसरे में कूद (hop) सकते हैं। शोधकर्ताओं ने पाया कि प्रत्येक श्रृंखला का एक अद्वितीय, अलग ऊर्जा स्तर होता है जो इनपुट प्रणाली पर एक बहुत ही विशिष्ट तरीके से निर्भर करता है।
इन श्रृंखलाओं का जादू उनकी लंबाई में निहित है। एक निश्चित संख्या के स्थानों वाली श्रृंखला एक ऊर्जा बदलाव उत्पन्न करती है जो इनपुट की एक विशिष्ट घात (power) से शुरू होता है। एक लंबी श्रृंखला एक ऐसा बदलाव उत्पन्न करती है जो उच्च घात से शुरू होता है। क्योंकि विभिन्न लंबाई की श्रृंखलाओं के लिए शुरुआती घातें अलग-अलग होती हैं, इसलिए शोधकर्ता उन्हें निर्माण खंडों (building blocks) की तरह मान सकते हैं। विभिन्न लंबाई की श्रृंखलाओं को जोड़कर और उन्हें विशिष्ट संख्याओं के साथ भारित करके, वे किसी भी वांछित गणितीय वक्र को फिर से बनाने के लिए उनके प्रभावों को जोड़ सकते हैं। यह वैसा ही है जैसे एक चित्रकार प्राथमिक रंगों को मिलाकर कोई भी शेड बनाता है; यहाँ, "रंग" विभिन्न लंबाई की श्रृंखलाओं से प्राप्त ऊर्जा बदलाव हैं, और "मिश्रण" अंतिम स्थानीय मशीन है।
टीम ने गणितीय निश्चितता के साथ सिद्ध किया कि यह विधि किसी भी इनपुट प्रणाली के लिए काम करती है जो बहुत अधिक शक्तिशाली नहीं है। उन्होंने दिखाया कि श्रृंखलाएं एक-दूसरे के साथ हस्तक्षेप नहीं करती हैं और परिणामी मशीन अभी भी स्थानीय है, जिसका अर्थ है कि इसे एक समय में केवल कुछ पड़ोसी कणों के बीच कनेक्शन की आवश्यकता होती है। इस रूपांतरण की लागत कनेक्शनों की जटिलता में नहीं, बल्कि आवश्यक अतिरिक्त कणों की संख्या और मशीन के ऊर्जा पैमाने में है। उच्च स्तर की सटीकता प्राप्त करने के लिए, मशीन को अतिरिक्त कणों की एक संख्या की आवश्यकता होती है जो कार्य की जटिलता के वर्ग के साथ बढ़ती है, और इसे चलाने के लिए आवश्यक ऊर्जा भी बढ़ती है। हालाँकि, यह पिछले तरीकों की तुलना में एक महत्वपूर्ण सुधार है, जिन्हें मशीन को क्रियाओं का एक लंबा अनुक्रम चलाना पड़ता, जो प्रभावी रूप से एनालॉग डिवाइस को डिजिटल डिवाइस में बदल देता।
इस कार्य के सबसे उल्लेखनीय अनुप्रयोगों में से एक एक विशाल प्रणाली के भीतर एक विशिष्ट अवस्था की खोज है, जिसे 'एनालॉग सर्च' के रूप में जाना जाता है। इसके आदर्श संस्करण में, मशीन को एक प्रोजेक्टर (projector) लागू करना चाहिए, जो एक गणितीय ऑपरेशन है जो अरबों संभावनाओं में से एक एकल सही उत्तर को अलग करता है। यह प्रोजेक्टर सबसे गैर-स्थानीय वस्तु है जिसकी कल्पना की जा सकती है, जो प्रत्येक कण को दूसरे प्रत्येक कण से जोड़ता है। शोधकर्ताओं ने प्रदर्शित किया कि उनका श्रृंखला-आधारित निर्माण उच्च सटीकता के साथ इस प्रोजेक्टर का अनुमान लगा सकता है। उन्होंने बीस कणों तक की प्रणालियों के लिए कंप्यूटर पर इस प्रक्रिया का अनुकरण किया और पाया कि उनके द्वारा बनाई गई स्थानीय मशीन ने सटीक ऊर्जा स्पेक्ट्रम और आदर्श, गैर-स्थानीय एल्गोरिदम के महत्वपूर्ण अंतराल (critical gaps) को सफलतापूर्वक पुनरुत्पादित किया। मशीन ने चिह्नित अवस्था को सफलतापूर्वक अलग किया, जिससे यह सिद्ध हुआ कि जटिल, वैश्विक ऑपरेशन को एक सरल, स्थानीय उपकरण द्वारा संचालित किया जा सकता है।
शोधकर्ताओं ने विशिष्ट कार्यों के लिए इस फिल्टर को बनाने के एक अधिक कुशल तरीके का भी पता लगाया। पूरे वक्र को एक बार में संश्लेषित करने के बजाय, उन्होंने दिखाया कि एक सरल दो-कण ब्लॉक को दोहराने (iterating) से वही परिणाम प्राप्त किया जा सकता है। यह विधि कम अतिरिक्त कणों का उपयोग करती है और ऊर्जा पैमाने को प्रबंधनीय रखती है, जो समस्या के आकार के साथ केवल बहुपद (polynomially) रूप से बढ़ता है। सिमुलेशन में, इस पुनरावृत्ति दृष्टिकोण ने आदर्श खोज एल्गोरिदम के व्यवहार की सफलतापूर्वक नकल की, जिससे वे महत्वपूर्ण ऊर्जा अंतराल बने रहे जो प्रणाली को कुशलतापूर्वक समाधान खोजने में सक्षम बनाते हैं। यह कार्य बताता है कि इन सरल क्वांटम श्रृंखलाओं का सटीक व्यवहार एक शक्तिशाली प्रिमिटिव (primitive) है, जो जटिल रूपांतरणों को करने में सक्षम है बिना उन जटिल, समय-निर्भर अनुक्रमों की आवश्यकता के जो आमतौर पर एनालॉग कंप्यूटिंग को प्रभावित करते हैं।
यह शोध यह दावा नहीं करता है कि इसने क्वांटम कंप्यूटिंग की हर समस्या को हल कर लिया है, न ही यह सुझाव देता है कि ये मशीनें कल लैब में बनाने के लिए तैयार हैं। आवश्यक ऊर्जा का पैमाना बड़ा है, और अतिरिक्त कणों की संख्या कार्य की कठिनाई के साथ बढ़ती है। हालाँकि, अध्ययन यह कठोर प्रमाण प्रदान करता है कि आदर्श एल्गोरिदम और भौतिक उपकरणों के बीच के अंतर को मिटाया जा सकता है। यह प्रदर्शित करता है कि एक जटिल बहुपद की क्रिया को करने के लिए एक स्थानीय, समय-स्वतंत्र हैमिल्टनियन का निर्माण किया जा सकता है, जो एनालॉग क्वांटम कंप्यूटरों को डिजाइन करने के लिए एक नया मार्ग प्रदान करता है। क्रियाओं के एक अनुक्रम को एक एकल, स्थिर संरचना में बदलकर, यह कार्य क्वांटम एल्गोरिदम की सैद्धांतिक शक्ति को निर्मित किए जा सकने वाले भौतिक वास्तविकता के करीब लाता है।
अपने क्षेत्र के पेपरों की भीड़ में उलझे हुए हैं?
आपके रिसर्च कीवर्ड से मेल खाने वाले सबसे नए और अलग सोच वाले पेपरों का रोज़ाना Digest पाएँ—तकनीकी सारांश के साथ, आपकी भाषा में।