Unextendible stabiliser bases

कल्पना कीजिए कि आप केवल एक विशिष्ट प्रकार के लेगो (Lego) ब्रिक का उपयोग करके एक घर बनाने की कोशिश कर रहे हैं। क्वांटम भौतिकी की दुनिया में, इन विशेष ब्रिक्स को "स्टेबलाइजर स्टेट्स" (stabiliser states) कहा जाता है। ये सबसे आसानी से बनाए जाने वाले और हेरफेर किए जाने वाले क्वांटम स्टेट्स हैं, और एक सुपरकंप्यूटर इनका पूरी तरह से अनुकरण (simulate) कर सकता है। क्योंकि ये बहुत ही सुव्यवस्थित हैं, इसलिए ये कई क्वांटम एरर-करेक्शन योजनाओं का आधार हैं। हालाँकि, एक वास्तव में शक्तिशाली, सार्वभौमिक क्वांटम कंप्यूटर बनाने के लिए, जो किसी भी समस्या को हल कर सके, आपको थोड़ा सा "जादू" (magic) जोड़ना होगा। यह जादू विशेष, कठिन-से-बनाने वाले क्वांटम स्टेट्स से आता है जो आसान ब्रिक्स के नियमों को तोड़ते हैं। वैज्ञानिक वर्तमान में इन मैजिक स्टेट्स की ज्यामिति (geometry) को समझने के लिए जुनूनी हैं: वे कहाँ छिपे हैं, और वे आसान ब्रिक्स के साथ कैसे परस्पर क्रिया करते हैं?

इस क्षेत्र के सबसे बड़े रहस्यों में से एक है "सेट को पूरा करना" (completing the set)। कल्पना कीजिए कि आपके पास ऑर्थोगोनल (परस्पर अनन्य) स्टेबलाइजर स्टेट्स का एक संग्रह है। एक आदर्श दुनिया में, आप अपने संग्रह में और अधिक स्टेबलाइजर स्टेट्स जोड़ सकते हैं जब तक कि आप पूरे कमरे को भर न दें, जिससे एक पूर्ण "बेसिस" (basis) बन जाए जहाँ हर संभव दिशा को एक स्टेबलाइजर ब्रिक द्वारा कवर किया गया हो। लेकिन क्या होगा यदि आप एक दीवार से टकरा जाते हैं? क्या होगा यदि आपके पास इन विशेष ब्रिक्स का एक समूह है, और आप कितनी भी कोशिश कर लें, आप एक भी नया स्टेबलाइजर ब्रिक नहीं पा सकते जो उनके साथ पूरी तरह से फिट हो सके बिना आपस में टकराए? यह एक "अनएक्सटेंडिबल" (unextendible - जिसे बढ़ाया न जा सके) सेट की अवधारणा है। यह एक पहेली को पूरा करने की कोशिश करने जैसा है जहाँ आप अचानक महसूस करते हैं कि शेष खाली स्थान का आकार ऐसा है कि कोई भी मानक पहेली का टुकड़ा उसे कभी भर नहीं सकता। यह शोध पत्र इस अजीब ज्यामितीय बाधा की गहराई में जाता है, और ठीक से पूछता है कि ये "अपूर्ण" अंतराल क्वांटम दुनिया में कब और कैसे प्रकट होते हैं।

इस शोध पत्र के लेखक, मार्कस फ्रेम्स (Markus Frembs) ने खोजा है कि ये अपूरणीय अंतराल, जिन्हें वे "अनएक्सटेंडिबल स्टेबलाइजर बेसेस" (USB) कहते हैं, वास्तविक हैं और आश्चर्यजनक रूप से सामान्य हैं, लेकिन वे केवल तभी प्रकट होते हैं जब आपके पास पर्याप्त क्वांटम कण हों जो पहेली को जटिल बना सकें। विशेष रूप से, उन्होंने सिद्ध किया कि यदि आप केवल कुछ ही कणों के साथ काम कर रहे हैं, तो आप हमेशा सेट को पूरा कर सकते हैं। लेकिन एक बार जब आप एक निश्चित सीमा तक पहुँच जाते हैं, तो क्वांटम दुनिया की ज्यामिति बदल जाती है, और आप स्टेबलाइजर स्टेट्स का एक ऐसा समूह बना सकते हैं जिसे पूरा करना असंभव है।

मानक क्वांटम बिट्स (qubits) वाले सिस्टम के लिए, लेखक ने दिखाया कि ऐसे अनएक्सटेंडिबल सेट बनाने के लिए आपको कम से कम चार क्वबिट्स की आवश्यकता होती है। उन्होंने चार क्वबिट्स का उपयोग करके विशेष रूप से एक उदाहरण बनाया जिसे किसी अन्य स्टेबलाइजर स्टेट द्वारा बढ़ाया नहीं जा सकता है। इसी तरह, "क्विडट्स" (qudits - दो से अधिक अवस्थाओं वाले क्वांटम इकाइयाँ, विशेष रूप से विषम अभाज्य संख्या जैसे 3, 5, या 7 वाली) के सिस्टम के लिए, जादू तीन कणों पर होता है। उन्होंने तीन क्विडट्स के लिए एक ठोस उदाहरण बनाया जो अनएक्सटेंडिबल भी है। यह पत्र सिद्ध करता है कि ये न्यूनतम संख्याएँ आवश्यक हैं; कम कणों (जैसे दो क्विडट्स या तीन क्वबिट्स) के साथ, आप हमेशा सेट को पूरा करने का तरीका ढूंढ सकते हैं। इसके अलावा, उन्होंने दिखाया कि एक बार जब आप इन न्यूनतम सीमाओं को पार कर लेते हैं, तो आप इन अनएक्सटेंडिबल सेट्स को किसी भी बड़े सिस्टम (चार या अधिक क्वबिट्स, तीन या अधिक क्विडट्स) के लिए बना सकते हैं।

यह शोध पत्र इस बात की भी जांच करता है कि इन अनएक्सटेंडिबल सेट्स द्वारा पीछे छोड़े गए खाली स्थान में क्या होता है। क्वांटम संसाधनों की दुनिया में, यह खाली स्थान अत्यंत दिलचस्प है। लेखक ने पाया कि इन अनएक्सटेंडिबल सेट्स का "छाया" (shadow) या पूरक स्थान (complementary space) में बिल्कुल भी स्टेबलाइजर स्टेट्स नहीं होते हैं। इसका मतलब है कि इस छाया में रहने वाला कोई भी क्वांटम स्टेट शुद्ध रूप से "मैजिक" है—यह एक ऐसा संसाधन है जिसका क्लासिकली अनुकरण नहीं किया जा सकता है। विषम अभाज्य आयामों (odd prime dimensions) वाले सिस्टम के लिए, यह जादू "बाउंड" (bound - बंधा हुआ) है, जिसका अर्थ है कि यह फंसा हुआ है और इसे अधिक शक्तिशाली रूप में आसानी से निकाला नहीं जा सकता है। हालाँकि, चार-क्वबिट मामले के लिए, जादू बाउंड नहीं है; इसे अनलॉक किया जा सकता है और उपयोग किया जा सकता है, जो क्वांटम कंप्यूटर बनाने के लिए एक महत्वपूर्ण अंतर है।

अंत में, यह पत्र एक व्यावहारिक प्रश्न का समाधान करता है: यदि आपके पास ये अनएक्सटेंडिबल सेट्स हैं, तो क्या आप उन्हें एक-दूसरे से अलग पहचान सकते हैं? अन्य क्वांटम परिदृश्यों में, अनएक्सटेंडिबल सेट्स इतने भ्रमित करने वाले होते हैं कि आप स्थानीय मापों (local measurements) का उपयोग करके उन्हें अलग नहीं कर सकते। लेखक ने पाया कि स्टेबलाइजर स्टेट्स के लिए, यह आवश्यक रूप से सच नहीं है। हालांकि सेट ज्यामितीय रूप से अनएक्सटेंडिबल हैं, यह स्वतः ही एक समान बाधा उत्पन्न नहीं करता है जो स्टेबलाइजर ऑपरेशन्स का उपयोग करके अवस्थाओं को अलग करने से रोकता है। आप उच्च संभावना के साथ उन्हें अलग कर सकते हैं, जिसका अर्थ है कि "अनएक्सटेंडिबिलिटी" एक ज्यामितीय जिज्ञासा है न कि एक पूर्ण परिचालन अवरोध (operational dead-end)।

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