Polynomial-time local-unitary equivalence of graph states

क्वांटम भौतिकी की अजीब और विरोधाभासी दुनिया में, सूचना अक्सर एकल कणों में नहीं, बल्कि कई कणों के बीच के जटिल संबंधों में संग्रहीत होती है। कल्पना कीजिए कि छोटे चुंबकों या क्यूबिट्स (qubits) का एक समूह है, जो एक-दूसरे से इतनी गहराई से जुड़े हुए हैं कि एक की स्थिति तुरंत दूसरों को प्रभावित करती है, चाहे वे कितनी भी दूर क्यों न हों। इस घटना को एंटैंगलमेंट (entanglement) कहा जाता है। इन जटिल समूहों को व्यवस्थित करने और अध्ययन करने का वैज्ञानिकों के पास एक सरल तरीका है: एक ग्राफ बनाना। इस मानचित्र में, प्रत्येक बिंदु एक कण का प्रतिनिधित्व करता है, और दो बिंदुओं को जोड़ने वाली प्रत्येक रेखा उनके बीच किए गए एक विशिष्ट इंटरेक्शन (interaction) को दर्शाती है। ये "ग्राफ स्टेट्स" आधुनिक क्वांटम तकनीक के कार्यबल हैं, जो क्वांटम कंप्यूटरों, सुरक्षित संचार नेटवर्क और त्रुटि-सुधार कोड (error-correcting codes) के लिए कच्चे माल के रूप में कार्य करते हैं जो नाजुक डेटा की रक्षा करते हैं।

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

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

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

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

परिणाम एक शक्तिशाली उपकरण है जो केवल "हाँ" या "नहीं" कहने से कहीं अधिक करता है। यह इन क्वांटम अवस्थाओं के बीच के संबंध की संरचना को प्रकट करता है। शोधकर्ता ने पाया कि किसी भी समतुल्य अवस्थाओं के समूह के भीतर, अवस्थाओं को इस आधार पर उपसमूहों में वर्गीकृत किया जा सकता है कि बुनियादी टूलकिट का उपयोग करके उन्हें कितनी आसानी से रूपांतरित किया जा सकता है। उन्होंने सिद्ध किया कि इन उपसमूहों की संख्या हमेशा दो की घात (power of two) होती है, और उनका एल्गोरिदम उन्हें सटीक रूप से गिन सकता है। यह क्वांटम कंप्यूटिंग के लिए उपलब्ध संसाधनों को समझने के लिए महत्वपूर्ण है। यदि किसी शोधकर्ता के पास एक विशिष्ट क्वांटम अवस्था है और वह जानना चाहता है कि क्या वह बुनियादी टूलकिट का उपयोग करके अपने परिवार की प्रत्येक अन्य अवस्था तक पहुँच सकता है, तो यह विधि उत्तर प्रदान करती है। यदि उत्तर "नहीं" है, तो एल्गोरिदम एक ऐसे राज्य का ठोस उदाहरण प्रदान करता है जो केवल अधिक उन्नत, लचीले समायोजनों के साथ सुलभ है, और उस परिवर्तन को करने के लिए सटीक निर्देश भी देता है।

केवल ग्राफ स्टेट्स के अलावा, यह विधि क्वांटम सूचना के अन्य महत्वपूर्ण क्षेत्रों में भी विस्तार करती है। यह निर्धारित कर सकती है कि क्या दो क्वांटम एरर-करेक्टिंग कोड्स, जिन्हें शोर (noise) से डेटा की रक्षा के लिए डिज़ाइन किया गया है, मूल रूप से एक ही हैं। यह यह भी तय कर सकती है कि क्या दो शुद्ध क्वांटम अवस्थाएँ "स्टोकेस्टिक लोकल ऑपरेशन्स" (stochastic local operations) के एक व्यापक वर्ग के तहत समतुल्य हैं, जो वास्तविक दुनिया के शोर वाले वातावरण में क्वांटम सूचना के हेरफेर के लिए प्रासंगिक हैं। ग्राफ स्टेट समस्या को हल करके, शोधकर्ता ने प्रभावी रूप से गणितीय निश्चितता के साथ विभिन्न प्रकार के क्वांटम संसाधनों को वर्गीकृत करने और तुलना करने की क्षमता को अनलॉक कर दिया है।

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

अंत में, यह कार्य एक ऐसा अध्याय समाप्त करता है जो एक दशक से अधिक समय से खुला था। यह एक दशक की अनिश्चितता को एक स्पष्ट, कुशल मार्ग में बदल देता है। शोधकर्ता ने दिखाया है कि यह प्रश्न कि क्या दो क्वांटम मानचित्र एक ही हैं, एक असंभव पहेली नहीं, बल्कि एक सुल्झने वाली पहेली है। एक जटिल, निरंतर समस्या को एक संरचित, विविक्त (discrete) समस्या में बदलकर, उन्होंने क्वांटम समुदाय को एंटैंगल्ड अवस्थाओं के परिदृश्य में नेविगेट करने का एक निश्चित तरीका प्रदान किया है। यह स्पष्टता संभवतः क्वांटम प्रौद्योगिकियों के विकास को गति देगी, यह सुनिश्चित करते हुए कि जैसे-जैसे हम इन शक्तिशाली मशीनों का निर्माण करते हैं, हम उन संसाधनों का उपयोग एक सटीक समझ के साथ कर सकें जिनका हम उपयोग कर रहे हैं। लोकल-यूनिटरी इक्विवेलेंस का रहस्य अब रहस्य नहीं है; यह एक हल की गई समस्या है, जो काम करने के लिए तैयार है।