2025-11-15T06:49:11.290097

Long-range nonstabilizerness and phases of matter

Korbany, Gullans, Piroli
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.
academic

दीर्घ-परास अस्थिरकारिता और पदार्थ के चरण

मूल जानकारी

  • पेपर ID: 2502.19504
  • शीर्षक: दीर्घ-परास अस्थिरकारिता और पदार्थ के चरण
  • लेखक: डेविड अराम कोरबनी¹, माइकल जे. गुलांस², लोरेंजो पिरोली¹
  • संस्थान: ¹बोलोग्ना विश्वविद्यालय और INFN, ²मेरीलैंड विश्वविद्यालय और NIST
  • वर्गीकरण: quant-ph cond-mat.stat-mech
  • प्रकाशन तिथि: 26 फरवरी 2025
  • पेपर लिंक: https://arxiv.org/abs/2502.19504

सारांश

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

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

  1. स्थिरकारक अवस्थाएं और क्लिफोर्ड संचालन: स्थिरकारक अवस्थाएं और क्लिफोर्ड संचालन क्वांटम सूचना सिद्धांत के मौलिक उपकरण हैं, जिन्हें शास्त्रीय कंप्यूटर पर कुशलतापूर्वक अनुकरण किया जा सकता है, क्वांटम कंप्यूटिंग के लिए उपयोगी खिलौना मॉडल प्रदान करते हैं, और क्वांटम त्रुटि सुधार कोड के निर्माण के लिए आदर्श निर्माण खंड प्रदान करते हैं।
  2. अस्थिरकारिता (Nonstabilizerness): जिसे "जादू" (magic) भी कहा जाता है, मोटे तौर पर किसी अवस्था के स्थिरकारक अवस्थाओं से विचलन की मात्रा को परिमाणित करता है। सहनशील क्वांटम कंप्यूटिंग की प्रगति के साथ, अस्थिरकारिता को तेजी से अधिक ध्यान मिल रहा है।
  3. दीर्घ-परास अस्थिरकारिता की परिभाषा: दीर्घ-परास उलझन की अवधारणा के समान, दीर्घ-परास अस्थिरकारिता को उस अस्थिरकारिता की मात्रा के रूप में परिभाषित किया जा सकता है जिसे उथले स्थानीय क्वांटम परिपथों के माध्यम से हटाया नहीं जा सकता।

अनुसंधान प्रेरणा

  1. क्वांटम सिमुलेशन का महत्व: बहु-निकाय भौतिकी में, लोग आमतौर पर दीर्घ-परास सहसंबंधों की परवाह करते हैं, जो स्थानीय एकात्मक रूपांतरों (जैसे उथले क्वांटम परिपथों) द्वारा नहीं बदले जाते हैं।
  2. व्यावहारिक अनुप्रयोग मूल्य: जब लक्ष्य अवस्था में दीर्घ-परास अस्थिरकारिता नहीं होती है, तो एक अन्य अवस्था खोजी जा सकती है जिसमें समान दीर्घ-परास सहसंबंध हों लेकिन यह एक स्थिरकारक अवस्था हो, जिससे सहनशील क्वांटम कंप्यूटर पर कार्यान्वयन आसान हो जाता है।
  3. सैद्धांतिक रिक्तता: हालांकि कुछ अनुसंधान हो चुका है, दीर्घ-परास अस्थिरकारिता की अवधारणा काफी हद तक अपर्याप्त रूप से अन्वेषित रही है, विशेष रूप से आधार अवस्था भौतिकी के संदर्भ में, अवस्था तरंग फलन में दीर्घ-परास अस्थिरकारिता की विशेषताओं को खोजना एक महत्वपूर्ण खुली समस्या बनी हुई है।

मुख्य योगदान

  1. दीर्घ-परास अस्थिरकारिता की सार्वभौमिकता का प्रमाण: गणना तर्क के माध्यम से दर्शाया गया कि दीर्घ-परास अस्थिरकारिता बहु-निकाय क्वांटम अवस्थाओं का विशिष्ट गुण है।
  2. पर्याप्त शर्त प्रमेय प्रस्तावित किया: एक-आयामी अनुवाद-अपरिवर्तनीय MPS की दीर्घ-परास अस्थिरकारिता के लिए RG निश्चित बिंदु पर आधारित पर्याप्त शर्तें प्रदान कीं (प्रमेय 1)।
  3. आवश्यक शर्त प्रमेय स्थापित किया: सटीक अल्प-परास अस्थिरकारिता के लिए आवश्यक शर्तें प्रदान कीं (प्रमेय 2)।
  4. भौतिक तंत्र का खुलासा किया: दीर्घ-परास अस्थिरकारिता को स्थिरकारक अवस्था पारस्परिक सूचना के परिमाणीकरण गुणों से निकटता से संबंधित साबित किया।
  5. वर्गीकरण ढांचा प्रदान किया: अल्प-परास/दीर्घ-परास उलझन और अल्प-परास/दीर्घ-परास अस्थिरकारिता के बीच संबंध स्थापित किए (तालिका I)।

विधि विवरण

कार्य परिभाषा

एक-आयामी क्वांटम प्रणाली में MPS अवस्थाओं की दीर्घ-परास अस्थिरकारिता विशेषताओं का अध्ययन, इनपुट के रूप में MPS टेंसर, आउटपुट के रूप में यह निर्णय कि क्या अवस्था में दीर्घ-परास अस्थिरकारिता है।

मुख्य परिभाषाएं

परिभाषा 1 (दीर्घ-परास अस्थिरकारिता): अवस्था परिवार {ψN}NN\{|\psi_N\rangle\}_{N\in\mathbb{N}} में अल्प-परास अस्थिरकारिता है, यदि और केवल यदि सभी ε0>0\varepsilon_0 > 0 और α>0\alpha > 0 के लिए, गहराई DN=O(polylog(N))D_N = O(\text{polylog}(N)) वाला एक स्थानीय क्वांटम परिपथ QDNQ_{D_N} और एक स्थिरकारक अवस्था SN|S_N\rangle मौजूद है, जैसे कि पर्याप्त बड़े NN के लिए:

Δ(QDNψN,SN)ε0Nα=εN\Delta(Q_{D_N}|\psi_N\rangle, |S_N\rangle) \leq \frac{\varepsilon_0}{N^\alpha} = \varepsilon_N

जहां Δ(ψ,ϕ)=1ψϕ2\Delta(|\psi\rangle, |\phi\rangle) = \sqrt{1-|\langle\psi|\phi\rangle|^2} ट्रेस दूरी है।

मॉडल आर्किटेक्चर

MPS पुनर्सामान्यीकरण समूह विधि

  1. MPS विहित रूप: कोई भी अनुवाद-अपरिवर्तनीय MPS को इस प्रकार प्रदर्शित किया जा सकता है: ϕN=1cNj=1bβj(N)v(N)(Aj)|\phi_N\rangle = \frac{1}{c_N}\sum_{j=1}^b \beta_j^{(N)}|v^{(N)}(A_j)\rangle
  2. RG निश्चित बिंदु: अवरुद्धता और ध्रुवीय अपघटन की पुनरावृत्ति प्रक्रिया के माध्यम से, MPS निम्नलिखित रूप वाले निश्चित बिंदुओं की ओर प्रवाहित होता है: ϕ~N=j=1bαj(N)Ωj|\tilde{\phi}_N\rangle = \sum_{j=1}^b \alpha_j^{(N)}|\Omega_j\rangle

पारस्परिक सूचना विश्लेषण विधि

तीन-विभाजन Λ=ACB\Lambda = A \cup C \cup B के लिए, पारस्परिक सूचना को परिभाषित करें: IA,B[ψ]=S(ρA)+S(ρB)S(ρAB)I_{A,B}[\psi] = S(\rho_A) + S(\rho_B) - S(\rho_{AB})

तकनीकी नवाचार बिंदु

  1. स्थिरकारक अवस्थाओं के परिमाणीकरण गुणों का उपयोग: मुख्य अंतर्दृष्टि यह है कि स्थिरकारक अवस्थाओं की पारस्परिक सूचना हमेशा पूर्णांक होती है, यह गुण उथले क्वांटम परिपथों की क्रिया के तहत संरक्षित रहता है।
  2. RG निश्चित बिंदु विश्लेषण: MPS की RG निश्चित बिंदु संरचना का विश्लेषण करके, जटिल MPS समस्या को अधिक सुगम रूप में सरल बनाया जाता है।
  3. स्थानीय ऑर्थोगोनैलिटी का उपयोग: विभिन्न RG निश्चित बिंदु घटकों की स्थानीय ऑर्थोगोनैलिटी का उपयोग करके, पारस्परिक सूचना की गणना को व्यावहार्य बनाया जाता है।

प्रायोगिक सेटअप

सैद्धांतिक विश्लेषण ढांचा

यह कार्य मुख्य रूप से सैद्धांतिक है, इसमें पारंपरिक अर्थ में संख्यात्मक प्रयोग नहीं हैं, बल्कि कठोर गणितीय प्रमाणों के माध्यम से सैद्धांतिक परिणामों को सत्यापित किया जाता है।

विशिष्ट उदाहरण विश्लेषण

  1. GHZ-जैसी अवस्थाएं: अवस्था ϕ~N[α,β]=α0N+β1N|\tilde{\phi}_N[\alpha,\beta]\rangle = \alpha|0\rangle^{\otimes N} + \beta|1\rangle^{\otimes N} पर विचार करें
  2. चार-घटक अवस्थाएं: निम्नलिखित रूप की अवस्थाओं का विश्लेषण करें: ϕ~N(t)=α1(t)00N/2+α2(t)01N/2+α3(t)10N/2+α4(t)11N/2|\tilde{\phi}_N(t)\rangle = \alpha_1(t)|00\rangle^{\otimes N/2} + \alpha_2(t)|01\rangle^{\otimes N/2} + \alpha_3(t)|10\rangle^{\otimes N/2} + \alpha_4(t)|11\rangle^{\otimes N/2}

प्रायोगिक परिणाम

मुख्य सैद्धांतिक परिणाम

प्रमेय 1 (पर्याप्त शर्त): MPS में दीर्घ-परास अस्थिरकारिता होने की पर्याप्त शर्त यह है कि इसके RG निश्चित बिंदु को संतुष्ट करें: limNH({αj(N)2})N\lim_{N\to\infty} H(\{|\alpha_j^{(N)}|^2\}) \notin \mathbb{N} जहां H({pj})=jpjlog2(pj)H(\{p_j\}) = -\sum_j p_j \log_2(p_j) शैनन एंट्रॉपी है।

प्रमेय 2 (आवश्यक शर्त): RG निश्चित बिंदु में सटीक अल्प-परास अस्थिरकारिता होने की आवश्यक शर्त यह है कि सभी iji \neq j के लिए: αi4/αj4Q|\alpha_i|^4/|\alpha_j|^4 \in \mathbb{Q}

सार्वभौमिकता परिणाम

गणना तर्क के माध्यम से प्रमाणित किया गया: limNnCnSnB0\lim_{N\to\infty} \frac{n_C n_S}{n_B} \to 0 जहां nBn_B, nSn_S, nCn_C क्रमशः हिल्बर्ट स्पेस में विभेद्य अवस्थाओं की संख्या, स्थिरकारक अवस्थाओं की संख्या और उथले क्वांटम परिपथों की संख्या हैं।

वर्गीकरण परिणाम

अल्प-परास/दीर्घ-परास उलझन और अल्प-परास/दीर्घ-परास अस्थिरकारिता के बीच संबंध स्थापित किए:

  • अल्प-परास उलझन वाली अवस्थाओं में अल्प-परास या दीर्घ-परास अस्थिरकारिता हो सकती है
  • दीर्घ-परास अस्थिरकारिता दीर्घ-परास उलझन का संकेत देती है
  • ऐसी अवस्थाएं मौजूद हैं जिनमें दीर्घ-परास उलझन है लेकिन दीर्घ-परास अस्थिरकारिता नहीं है

संबंधित कार्य

अस्थिरकारिता अनुसंधान

  1. मौलिक सिद्धांत: ब्रावी-किताएव आदि के अग्रणी कार्य ने अस्थिरकारिता की मौलिक अवधारणाएं स्थापित कीं
  2. गणना विधियां: हाल के वर्षों में गणनीय अस्थिरकारिता उपायों को खोजने में महत्वपूर्ण प्रगति हुई है
  3. बहु-निकाय भौतिकी अनुप्रयोग: अस्थिरकारिता को बहु-निकाय अवस्थाओं और पदार्थ के चरणों को चिह्नित करने के उपकरण के रूप में ध्यान मिल रहा है

दीर्घ-परास उलझन सिद्धांत

  1. टोपोलॉजिकल उलझन एंट्रॉपी: किताएव-प्रेस्किल और लेविन-वेन के कार्य ने दीर्घ-परास उलझन अवस्थाओं की विशेषताएं स्थापित कीं
  2. MPS सिद्धांत: सिराक आदि के सर्वेक्षण ने बहु-निकाय भौतिकी में MPS के सैद्धांतिक आधार को स्थापित किया

क्वांटम त्रुटि सुधार

  1. स्थिरकारक कोड: गॉटेसमैन के कार्य ने स्थिरकारक कोड का सैद्धांतिक ढांचा स्थापित किया
  2. सहनशील क्वांटम कंप्यूटिंग: ईस्टिन-नील प्रमेय आदि परिणाम सहनशील क्वांटम कंप्यूटिंग में अस्थिरकारिता के महत्व को प्रकट करते हैं

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. सार्वभौमिकता: दीर्घ-परास अस्थिरकारिता बहु-निकाय क्वांटम अवस्थाओं का विशिष्ट गुण है
  2. पहचान योग्यता: RG निश्चित बिंदु की शैनन एंट्रॉपी के माध्यम से दीर्घ-परास अस्थिरकारिता का पता लगाया जा सकता है
  3. भौतिक तंत्र: दीर्घ-परास अस्थिरकारिता पारस्परिक सूचना के गैर-पूर्णांक गुणों से निकटता से संबंधित है

सीमाएं

  1. पर्याप्तता: प्रमेय 1 केवल पर्याप्त शर्तें प्रदान करता है, आवश्यक शर्तें नहीं
  2. आयाम प्रतिबंध: परिणाम मुख्य रूप से एक-आयामी प्रणालियों के लिए हैं, उच्च-आयामी स्थितियां अधिक जटिल हैं
  3. सन्निकटन: परिभाषा में अनुमत त्रुटि पद कुछ सीमांत स्थितियों को संभालना कठिन बनाता है

भविष्य की दिशाएं

  1. उच्च-आयामी सामान्यीकरण: परिणामों को उच्च-आयामी प्रणालियों तक विस्तारित करना, विशेष रूप से गैर-अबेलियन टोपोलॉजिकल क्रम मॉडल
  2. सममिति-संरक्षित: सममिति-संरक्षित दीर्घ-परास अस्थिरकारिता का अध्ययन
  3. गतिशीलता: एकात्मक संचालकों की दीर्घ-परास अस्थिरकारिता का अध्ययन
  4. प्रायोगिक सत्यापन: प्रायोगिक रूप से मापने योग्य दीर्घ-परास अस्थिरकारिता विशेषताओं की खोज

गहन मूल्यांकन

शक्तियां

  1. सैद्धांतिक कठोरता: कठोर गणितीय प्रमाण प्रदान करता है, एक ठोस सैद्धांतिक आधार स्थापित करता है
  2. अवधारणा नवाचार: MPS में दीर्घ-परास अस्थिरकारिता का पहली बार व्यवस्थित अध्ययन
  3. विधि नवीनता: स्थिरकारक अवस्थाओं के परिमाणीकरण गुणों और RG विधि का चतुराई से उपयोग
  4. भौतिक अंतर्दृष्टि: अस्थिरकारिता और क्वांटम सूचना ज्यामिति के बीच गहरे संबंध का खुलासा

कमियां

  1. शर्त पूर्णता: पर्याप्त शर्तें आवश्यक नहीं हो सकती हैं, प्रतिउदाहरण आगे के अनुसंधान की आवश्यकता है
  2. गणना जटिलता: व्यावहारिक रूप से RG निश्चित बिंदु की गणना कुछ स्थितियों में कठिन हो सकती है
  3. प्रायोगिक संबंध: सैद्धांतिक परिणामों और प्रायोगिक अवलोकनीय मात्राओं के बीच संबंध को आगे स्थापित करने की आवश्यकता है

प्रभाव

  1. सैद्धांतिक योगदान: क्वांटम बहु-निकाय सिद्धांत के लिए नए विश्लेषण उपकरण प्रदान करता है
  2. अनुप्रयोग संभावनाएं: क्वांटम त्रुटि सुधार और क्वांटम सिमुलेशन के लिए संभावित अनुप्रयोग मूल्य
  3. अनुशासन अंतर्संबंध: क्वांटम सूचना, बहु-निकाय भौतिकी और टोपोलॉजिकल चरण संक्रमण जैसे क्षेत्रों को जोड़ता है

लागू परिदृश्य

  1. क्वांटम अवस्था वर्गीकरण: विभिन्न क्वांटम बहु-निकाय अवस्थाओं को वर्गीकृत और चिह्नित करने के लिए उपयोग किया जा सकता है
  2. क्वांटम एल्गोरिथ्म डिजाइन: कुशल क्वांटम अवस्था तैयारी प्रोटोकॉल डिजाइन करने के लिए मार्गदर्शन प्रदान करता है
  3. क्वांटम त्रुटि सुधार: क्वांटम त्रुटि सुधार कोड के निर्माण और विश्लेषण के लिए सैद्धांतिक समर्थन

संदर्भ

  1. Gottesman, D. Stabilizer codes and quantum error correction. (1997)
  2. Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (2011)
  3. Cirac, J. I., Perez-Garcia, D., Schuch, N. & Verstraete, F. Matrix product states and projected entangled pair states (2021)
  4. White, C. D., Cao, C. & Swingle, B. Phys. Rev. B 103, 075145 (2021)
  5. Ellison, T. D., Kato, K., Liu, Z.-W. & Hsieh, T. H. Quantum 5, 612 (2021)

यह पेपर क्वांटम बहु-निकाय सिद्धांत के लिए महत्वपूर्ण सैद्धांतिक योगदान प्रदान करता है, दीर्घ-परास अस्थिरकारिता के लिए एक कठोर गणितीय ढांचा स्थापित करता है, और इसके क्वांटम सूचना ज्यामिति के साथ गहरे संबंधों का खुलासा करता है। हालांकि कुछ तकनीकी सीमाएं हैं, इसकी नवीन विधि और गहन भौतिक अंतर्दृष्टि इसे इस क्षेत्र में महत्वपूर्ण प्रगति बनाती हैं।