Stabiliser codes over prime fields as weighted graphs and as quantum sets of lines

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

शोधकर्ताओं ने अब इन अमूर्त क्वांटम कोडों को एक अधिक परिचित क्षेत्र में मैप किया है: ग्राफ की दुनिया। गणित में, एक ग्राफ सरल रूप से बिंदुओं का एक संग्रह है, जिन्हें वर्टिस (vertices) कहा जाता है, जो रेखाओं, जिन्हें एडजेस (edges) कहा जाता है, द्वारा जुड़े होते हैं। शोधकर्ताओं ने सिद्ध किया कि किसी भी अभाज्य संख्या प्रणाली (prime number system) पर परिभाषित स्टेबिलाइज़र कोड को एक भारित ग्राफ (weighted graph) के रूप में पूरी तरह से दर्शाया जा सकता है। इस नए चित्र में, कोड केवल समीकरणों की एक सूची नहीं है, बल्कि बिंदुओं और कनेक्शनों का एक नेटवर्क है। बिंदुओं को दो समूहों में विभाजित किया गया है: एक समूह उस डेटा का प्रतिनिधित्व करता है जिसे सुरक्षित किया जा रहा है, और दूसरा उन नियमों का जो इसे सुरक्षित रखते हैं। इन बिंदुओं के बीच के संबंध संख्यात्मक भार (numerical weights) वहन करते हैं, जो उनके बीच के संबंध की शक्ति या प्रकार के रूप में कार्य करते हैं। यह परिवर्तन महत्वपूर्ण है क्योंकि यह एक कठिन बीजगणितीय समस्या को एक दृश्य समस्या में बदल देता है, जिससे वैज्ञानिकों को कोड की संरचना को एक ऐसे आकार के रूप में देखने की अनुमति मिलती है जिसे वे चित्रित और अध्ययन कर सकते हैं।

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

यह सुनिश्चित करने के लिए कि ये ग्राफिकल विवरण केवल सुंदर चित्र नहीं थे बल्कि वास्तविकता के सटीक प्रतिनिधित्व थे, टीम ने इसे ज्यामिति की एक अवधारणा, यानी प्रोजेक्टिव स्पेस (projective space) में रेखाओं के एक सेट से जोड़ा। एक ऐसी जगह की कल्पना करें जहाँ मूल बिंदु (origin) से गुजरने वाली प्रत्येक रेखा को एक एकल बिंदु माना जाता है; इस सेटिंग में, क्वांटम कोड रेखाओं का एक संग्रह बन जाता है। शोधकर्ताओं ने दिखाया कि एक कोड की त्रुटियों का पता लगाने और उन्हें सुधारने की क्षमता, जिसे न्यूनतम दूरी (minimum distance) कहा जाता है, इन रेखाओं के विन्यास को देखकर निर्धारित किया जा सकता है। विशेष रूप से, दूरी उन रेखाओं की संख्या से संबंधित है जो ज्यामितीय अर्थ में एक-दूसरे पर "निर्भर" (dependent) पाई जाती हैं। यह ज्यामितीय दृष्टिकोण वैज्ञानिकों को इन रेखाओं के स्थानिक संबंधों की जांच करके एक कोड की शक्ति की गणना करने की अनुमति देता है, जो बेहतर त्रुटि-सुधार प्रणालियों को डिजाइन करने के लिए एक नया दृष्टिकोण प्रदान करता है।

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

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

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