Uniform Hiding of Haar Block Transpose Gram Matrices

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

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

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

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

यह अध्ययन उस परिदृश्य पर केंद्रित है जहाँ प्रकाश समान शक्ति के साथ और बिना किसी अतिरिक्त विस्थापन के मशीन में प्रवेश करता है, एक ऐसा सेटअप जो आवश्यक क्वांटम विशेषताओं को खोए बिना गणित को सरल बनाता है। शोधकर्ता ने दिखाया है कि भले ही इनपुट फोटॉन की संख्या मशीन में उपलब्ध पथों के तुलनीय हो, फिर भी अंतिम आउटपुट आदर्श यादृच्छिक नियम की ओर अभिसरित (converge) होता है। यह एक महत्वपूर्ण अंतर है क्योंकि सन्निकटन (approximation) की पिछली विधियाँ तब टूट जाती थीं जब इनपुट इतने घने होते थे। यह प्रमाण ज्यामितीय अंतर्दृष्टि और सांख्यिकीय सीमाओं के एक चतुर संयोजन पर निर्भर करता है, जो प्रभावी रूप से यह दिखाता है कि आदर्श नियम से विचलन या "शोर" (noise) मशीन के बड़े होने पर तेजी से घटता है। त्रुटि सीमा (error bound) स्पष्ट है और केवल डिवाइस के कुल आकार के सापेक्ष आउटपुट आकार पर निर्भर करती है, यह सुनिश्चित करती है कि परिणाम तब भी सत्य रहता है जब कितने भी इनपुट सक्रिय हों, जब तक कि डिवाइस पर्याप्त बड़ा हो और विशिष्ट शर्त $M > C^* N^2$ को पूरा करता हो।

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

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

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