Long-range nonstabilizerness can be defined as the amount of nonstabilizerness which cannot be removed by shallow local quantum circuits. In this work, we study long-range nonstabilizerness in the context of many-body quantum physics, a task with possible implications for quantum-state preparation protocols and implementation of quantum-error correcting codes. After presenting a simple argument showing that long-range nonstabilizerness is a generic property of many-body states, we restrict to the class of ground states of gapped local Hamiltonians. We focus on one-dimensional systems and present rigorous results in the context of translation-invariant matrix product states (MPSs). By analyzing the fixed points of the MPS renormalization-group flow, we provide a sufficient condition for long-range nonstabilizerness, which depends entirely on the local MPS tensors. Physically, our condition captures the fact that the mutual information between distant regions of stabilizer fixed points is quantized, and this fact is not changed after applying shallow quantum circuits. We also discuss possible ramifications in the classification of phases of matter and quantum error correction.
दीर्घ-परास अस्थिरकारिता (Long-range nonstabilizerness) को उस अस्थिरकारिता की मात्रा के रूप में परिभाषित किया जा सकता है जिसे उथले स्थानीय क्वांटम परिपथों के माध्यम से हटाया नहीं जा सकता। यह कार्य बहु-निकाय क्वांटम भौतिकी के संदर्भ में दीर्घ-परास अस्थिरकारिता का अध्ययन करता है, जो क्वांटम अवस्था तैयारी प्रोटोकॉल और क्वांटम त्रुटि सुधार कोड के कार्यान्वयन के लिए महत्वपूर्ण है। लेखकों ने पहले एक सरल तर्क प्रस्तुत किया है जो दर्शाता है कि दीर्घ-परास अस्थिरकारिता बहु-निकाय अवस्थाओं का एक सामान्य गुण है, फिर अध्ययन को अंतराल वाले स्थानीय हैमिल्टनियन की आधार अवस्थाओं तक सीमित किया है। एक-आयामी प्रणालियों पर ध्यान केंद्रित करते हुए, अनुवाद-अपरिवर्तनीय मैट्रिक्स उत्पाद अवस्थाओं (MPS) के संदर्भ में कठोर परिणाम प्रदान किए गए हैं। MPS पुनर्सामान्यीकरण समूह प्रवाह के निश्चित बिंदुओं का विश्लेषण करके, दीर्घ-परास अस्थिरकारिता के लिए पर्याप्त शर्तें प्रदान की गई हैं, जो पूरी तरह से स्थानीय MPS टेंसर पर निर्भर करती हैं। भौतिक रूप से, यह शर्त स्थिरकारक निश्चित बिंदुओं में दूरस्थ क्षेत्रों के बीच पारस्परिक सूचना के परिमाणीकरण को पकड़ती है, जो उथले क्वांटम परिपथों के अनुप्रयोग के बाद नहीं बदलता है।
स्थिरकारक अवस्थाएं और क्लिफोर्ड संचालन: स्थिरकारक अवस्थाएं और क्लिफोर्ड संचालन क्वांटम सूचना सिद्धांत के मौलिक उपकरण हैं, जिन्हें शास्त्रीय कंप्यूटर पर कुशलतापूर्वक अनुकरण किया जा सकता है, क्वांटम कंप्यूटिंग के लिए उपयोगी खिलौना मॉडल प्रदान करते हैं, और क्वांटम त्रुटि सुधार कोड के निर्माण के लिए आदर्श निर्माण खंड प्रदान करते हैं।
अस्थिरकारिता (Nonstabilizerness): जिसे "जादू" (magic) भी कहा जाता है, मोटे तौर पर किसी अवस्था के स्थिरकारक अवस्थाओं से विचलन की मात्रा को परिमाणित करता है। सहनशील क्वांटम कंप्यूटिंग की प्रगति के साथ, अस्थिरकारिता को तेजी से अधिक ध्यान मिल रहा है।
दीर्घ-परास अस्थिरकारिता की परिभाषा: दीर्घ-परास उलझन की अवधारणा के समान, दीर्घ-परास अस्थिरकारिता को उस अस्थिरकारिता की मात्रा के रूप में परिभाषित किया जा सकता है जिसे उथले स्थानीय क्वांटम परिपथों के माध्यम से हटाया नहीं जा सकता।
क्वांटम सिमुलेशन का महत्व: बहु-निकाय भौतिकी में, लोग आमतौर पर दीर्घ-परास सहसंबंधों की परवाह करते हैं, जो स्थानीय एकात्मक रूपांतरों (जैसे उथले क्वांटम परिपथों) द्वारा नहीं बदले जाते हैं।
व्यावहारिक अनुप्रयोग मूल्य: जब लक्ष्य अवस्था में दीर्घ-परास अस्थिरकारिता नहीं होती है, तो एक अन्य अवस्था खोजी जा सकती है जिसमें समान दीर्घ-परास सहसंबंध हों लेकिन यह एक स्थिरकारक अवस्था हो, जिससे सहनशील क्वांटम कंप्यूटर पर कार्यान्वयन आसान हो जाता है।
सैद्धांतिक रिक्तता: हालांकि कुछ अनुसंधान हो चुका है, दीर्घ-परास अस्थिरकारिता की अवधारणा काफी हद तक अपर्याप्त रूप से अन्वेषित रही है, विशेष रूप से आधार अवस्था भौतिकी के संदर्भ में, अवस्था तरंग फलन में दीर्घ-परास अस्थिरकारिता की विशेषताओं को खोजना एक महत्वपूर्ण खुली समस्या बनी हुई है।
दीर्घ-परास अस्थिरकारिता की सार्वभौमिकता का प्रमाण: गणना तर्क के माध्यम से दर्शाया गया कि दीर्घ-परास अस्थिरकारिता बहु-निकाय क्वांटम अवस्थाओं का विशिष्ट गुण है।
पर्याप्त शर्त प्रमेय प्रस्तावित किया: एक-आयामी अनुवाद-अपरिवर्तनीय MPS की दीर्घ-परास अस्थिरकारिता के लिए RG निश्चित बिंदु पर आधारित पर्याप्त शर्तें प्रदान कीं (प्रमेय 1)।
आवश्यक शर्त प्रमेय स्थापित किया: सटीक अल्प-परास अस्थिरकारिता के लिए आवश्यक शर्तें प्रदान कीं (प्रमेय 2)।
भौतिक तंत्र का खुलासा किया: दीर्घ-परास अस्थिरकारिता को स्थिरकारक अवस्था पारस्परिक सूचना के परिमाणीकरण गुणों से निकटता से संबंधित साबित किया।
वर्गीकरण ढांचा प्रदान किया: अल्प-परास/दीर्घ-परास उलझन और अल्प-परास/दीर्घ-परास अस्थिरकारिता के बीच संबंध स्थापित किए (तालिका I)।
एक-आयामी क्वांटम प्रणाली में MPS अवस्थाओं की दीर्घ-परास अस्थिरकारिता विशेषताओं का अध्ययन, इनपुट के रूप में MPS टेंसर, आउटपुट के रूप में यह निर्णय कि क्या अवस्था में दीर्घ-परास अस्थिरकारिता है।
परिभाषा 1 (दीर्घ-परास अस्थिरकारिता):
अवस्था परिवार {∣ψN⟩}N∈N में अल्प-परास अस्थिरकारिता है, यदि और केवल यदि सभी ε0>0 और α>0 के लिए, गहराई DN=O(polylog(N)) वाला एक स्थानीय क्वांटम परिपथ QDN और एक स्थिरकारक अवस्था ∣SN⟩ मौजूद है, जैसे कि पर्याप्त बड़े N के लिए:
MPS विहित रूप: कोई भी अनुवाद-अपरिवर्तनीय MPS को इस प्रकार प्रदर्शित किया जा सकता है:
∣ϕN⟩=cN1∑j=1bβj(N)∣v(N)(Aj)⟩
RG निश्चित बिंदु: अवरुद्धता और ध्रुवीय अपघटन की पुनरावृत्ति प्रक्रिया के माध्यम से, MPS निम्नलिखित रूप वाले निश्चित बिंदुओं की ओर प्रवाहित होता है:
∣ϕ~N⟩=∑j=1bαj(N)∣Ωj⟩
स्थिरकारक अवस्थाओं के परिमाणीकरण गुणों का उपयोग: मुख्य अंतर्दृष्टि यह है कि स्थिरकारक अवस्थाओं की पारस्परिक सूचना हमेशा पूर्णांक होती है, यह गुण उथले क्वांटम परिपथों की क्रिया के तहत संरक्षित रहता है।
RG निश्चित बिंदु विश्लेषण: MPS की RG निश्चित बिंदु संरचना का विश्लेषण करके, जटिल MPS समस्या को अधिक सुगम रूप में सरल बनाया जाता है।
स्थानीय ऑर्थोगोनैलिटी का उपयोग: विभिन्न RG निश्चित बिंदु घटकों की स्थानीय ऑर्थोगोनैलिटी का उपयोग करके, पारस्परिक सूचना की गणना को व्यावहार्य बनाया जाता है।
यह कार्य मुख्य रूप से सैद्धांतिक है, इसमें पारंपरिक अर्थ में संख्यात्मक प्रयोग नहीं हैं, बल्कि कठोर गणितीय प्रमाणों के माध्यम से सैद्धांतिक परिणामों को सत्यापित किया जाता है।
प्रमेय 1 (पर्याप्त शर्त):
MPS में दीर्घ-परास अस्थिरकारिता होने की पर्याप्त शर्त यह है कि इसके RG निश्चित बिंदु को संतुष्ट करें:
limN→∞H({∣αj(N)∣2})∈/N
जहां H({pj})=−∑jpjlog2(pj) शैनन एंट्रॉपी है।
प्रमेय 2 (आवश्यक शर्त):
RG निश्चित बिंदु में सटीक अल्प-परास अस्थिरकारिता होने की आवश्यक शर्त यह है कि सभी i=j के लिए:
∣αi∣4/∣αj∣4∈Q
गणना तर्क के माध्यम से प्रमाणित किया गया:
limN→∞nBnCnS→0
जहां nB, nS, nC क्रमशः हिल्बर्ट स्पेस में विभेद्य अवस्थाओं की संख्या, स्थिरकारक अवस्थाओं की संख्या और उथले क्वांटम परिपथों की संख्या हैं।
Gottesman, D. Stabilizer codes and quantum error correction. (1997)
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (2011)
Cirac, J. I., Perez-Garcia, D., Schuch, N. & Verstraete, F. Matrix product states and projected entangled pair states (2021)
White, C. D., Cao, C. & Swingle, B. Phys. Rev. B 103, 075145 (2021)
Ellison, T. D., Kato, K., Liu, Z.-W. & Hsieh, T. H. Quantum 5, 612 (2021)
यह पेपर क्वांटम बहु-निकाय सिद्धांत के लिए महत्वपूर्ण सैद्धांतिक योगदान प्रदान करता है, दीर्घ-परास अस्थिरकारिता के लिए एक कठोर गणितीय ढांचा स्थापित करता है, और इसके क्वांटम सूचना ज्यामिति के साथ गहरे संबंधों का खुलासा करता है। हालांकि कुछ तकनीकी सीमाएं हैं, इसकी नवीन विधि और गहन भौतिक अंतर्दृष्टि इसे इस क्षेत्र में महत्वपूर्ण प्रगति बनाती हैं।