2-Fold Forrelation is in QAC$^0$

सैद्धांतिक कंप्यूटर विज्ञान के शांत, उच्च-दांव वाले क्षेत्र में, शोधकर्ता लगातार इस बात की सीमाओं का परीक्षण कर रहे हैं कि मशीनें क्या कर सकती हैं। इस जांच के केंद्र में एक सरल लेकिन गहरा प्रश्न निहित है: जब एक मशीन क्वांटम यांत्रिकी के अजीब, अंतर्ज्ञान के विपरीत नियमों का उपयोग कर सकती है, तो उसे कितनी शक्ति प्राप्त होती है? दांव को समझने के लिए, दो प्रकार के कंप्यूटरों की कल्पना करें। पहला एक मानक क्लासिकल कंप्यूटर है, जो आपके फोन या लैपटॉप को चलाता है। यह सूचना को एक सीधा, रैखिक (linear) तरीके से संसाधित करता है, स्विचों को ऑन और ऑफ करता है। दूसरा एक क्वांटम कंप्यूटर है, जो एक ही समय में कई अवस्थाओं में मौजूद हो सकता है, जिससे यह एक साथ कई संभावनाओं को तलाशने में सक्षम होता है। दशकों से, वैज्ञानिक इन दोनों दुनियाओं के बीच की सटीक सीमा को मैप करने की कोशिश कर रहे हैं। वे जानना चाहते हैं कि क्या ऐसे विशिष्ट कार्य हैं जिन्हें एक क्वांटम कंप्यूटर आसानी से हल कर सकता है, जबकि एक क्लासिकल कंप्यूटर, भले ही उसे बहुत अधिक समय दिया जाए, उसमें बुरी तरह संघर्ष करेगा। यह केवल तेज़ मशीनें बनाने के बारे में नहीं है; यह सूचना और स्वयं ब्रह्मांड की मौलिक प्रकृति को समझने के बारे में है।

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

यूसी बर्कले की फ्रांसिस्का वास्कोंसेलोस का एक हालिया शोध पत्र इस रहस्य को सीधे तौरते हुए, "फोररिलेशन" (Forrelation) नामक एक विशिष्ट गणितीय पहेली पर ध्यान केंद्रित करता है। इस समस्या में संख्याओं की दो लंबी कतारों के बीच एक छिपे हुए सहसंबंध (correlation) को खोजना शामिल है। यह एक ऐसा कार्य है जिसे करने में क्वांटम कंप्यूटर कुशल माने जाते हैं, लेकिन चुनौती हमेशा यह रही है कि डेटा को मशीन में कैसे फीड किया जाए। इस समस्या के लिए पारंपरिक क्वांटम एल्गोरिदम यह मान लेते हैं कि कंप्यूटर के पास डेटा को देखने का एक विशेष, जादुई तरीका है, जैसे कि एक लाइब्रेरियन जो बिना गलियारों में चले केवल शीर्षक से तुरंत किताब ढूंढ सकता है। हालांकि, वास्तविक दुनिया के सर्किट में यह जादू नहीं होता। उन्हें डेटा को बिट्स की एक लंबी सूची के रूप में प्राप्त करना होता है, ठीक वैसे ही जैसे एक क्लासिकल कंप्यूटर करता है। प्रश्न यह था: क्या एक सरल, उथला क्वांटम सर्किट इस पहेली को हल कर सकता है जब उसे डेटा को स्पष्ट रूप से (explicitly) पढ़ना पड़ता है, बिना किसी शॉर्टकट के?

वास्कोंसेलोस के काम ने इस पर एक निर्णायक उत्तर दिया है। शोधकर्ताओं ने प्रदर्शित किया कि एक उथला क्वांटम सर्किट वास्तव में इस समस्या को हल कर सकता है, भले ही डेटा को सबसे सीधा, स्पष्ट तरीके से प्रस्तुत किया गया हो। उन्होंने डेटा को संभालने का एक नया तरीका आविष्कार करके इसे हासिल किया जो "कॉपी" करने के वर्जित ऑपरेशन की आवश्यकता को दरकिनार करता है। इनपुट बिट्स को कई जगहों पर कॉपी करने की कोशिश करने के बजाय, सर्किट एक विशेष क्वांटम अवस्था का उपयोग करता है जो सूचना को स्वाभाविक रूप से पूरे सिस्टम में फैला देती है। यह अवस्था एक पूर्व-निर्धारित मानचित्र की तरह कार्य करती है, जिससे सर्किट को डेटा के साथ ठीक एक बार इंटरैक्ट करके आवश्यक गणनाएं करने की अनुमति मिलती है। परिणाम एक ऐसा सर्किट है जो छिपे हुए सहसंबंध को खोजने की अपनी क्षमता में शक्तिशाली है, हालांकि इसके साथ एक महत्वपूर्ण समझौता भी आता है: जबकि सर्किट की गहराई (depth) स्थिर (constant) है, इसका आकार इनपुट बिट्स को इंडेक्स करने के लिए उपयोग किए गए एड्रेस की लंबाई के सापेक्ष घातांकीय (exponential) हो सकता है।

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

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

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

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