Universal energy-space localization and stable quantum phases against time-dependent perturbations
Yu, Wei
Stability against perturbation is a highly nontrivial property of quantum systems and is often a requirement to define new phases. In most systems where stability can be rigorously established, only static perturbations are considered; whether a system is stable against generic time-dependent perturbations remains largely elusive. In this work, we identify a universal phenomenon in $q$-local Hamiltonians called energy-space localization and prove that it can survive under generic time-dependent perturbations, where the evolving state is exponentially localized in an energy window of the instantaneous spectrum. The property holds ubiquitously, and the leakage bounds remain invariant under arbitrarily monotonic rescaling of evolution time. This flexibility enables the energy-space localization to be a powerful tool in proving the stability of systems. For spin glass models where the configuration spaces are separated by large energy barriers, the localization in energy space can induce a true localization in the configuration space and robustly break ergodicity. We then demonstrate the applications of our results in several systems with such barriers. For certain LDPC codes, we show that the evolving state is localized near the original codeword for an exponentially long time even under generic time-dependent perturbations. We also extend the stability of LDPC codes against static $q$-local perturbations to quasi-$q$-local. In addition, we show that for some classical hard optimization problems with clustered solution space, the stability becomes an obstacle for quantum Hamiltonian-based algorithms to drive the system out of local minima. Our work provides a new lens for analyzing the non-equilibrium dynamics of generic quantum systems, and versatile mathematical tools for stability proving and quantum algorithm design.
academic
सार्वभौमिक ऊर्जा-स्पेस स्थानीयकरण और समय-निर्भर विक्षोभों के विरुद्ध स्थिर क्वांटम चरण
यह पेपर q-स्थानीय हैमिल्टनियन में एक सार्वभौमिक घटना की पहचान और प्रमाण देता है — ऊर्जा-स्पेस स्थानीयकरण (energy-space localization), जो सामान्य समय-निर्भर विक्षोभों के तहत जीवित रह सकता है। विकसित अवस्था तात्कालिक स्पेक्ट्रम की ऊर्जा खिड़की के भीतर घातांकीय रूप से स्थानीयकृत होती है। यह गुण सार्वभौमिक है, और रिसाव सीमा विकास समय के किसी भी एकरस पुनः-स्केलिंग के तहत अपरिवर्तित रहती है। विन्यास स्पेस को बड़ी ऊर्जा बाधाओं द्वारा अलग किए गए स्पिन ग्लास मॉडल के लिए, ऊर्जा स्पेस में स्थानीयकरण विन्यास स्पेस में वास्तविक स्थानीयकरण को प्रेरित कर सकता है और दृढ़ता से ergodicity को तोड़ सकता है।
समय-निर्भर विक्षोभों के तहत स्थिरता समस्या: अधिकांश क्वांटम चरणों की स्थिरता का प्रमाण केवल स्थिर विक्षोभों तक सीमित है, जबकि वास्तविकता में विक्षोभ अक्सर समय-निर्भर होते हैं। सामान्य समय-निर्भर विक्षोभों के तहत लंबे समय के विकास के लिए, कठोर सीमाएं और गणितीय उपकरणों की कमी है।
मौजूदा विधियों की सीमाएं: मौजूदा विधियां विकास समय t की शक्ति श्रृंखला देती हैं, जो t बढ़ने के साथ अंततः विचलित हो जाती हैं, केवल स्थिर (या सिस्टम आकार के लॉगरिदम) विकास समय के भीतर त्रुटि को नियंत्रित कर सकती हैं।
अनुसंधान प्रेरणा: लेखक समस्या को एक अलग कोण से हल करते हैं — पहले यह पहचानना कि कौन से गुण सामान्य समय-निर्भर विक्षोभों के तहत जीवित रह सकते हैं, फिर इसे संबंधित मॉडल खोजने के लिए एक गाइड के रूप में उपयोग करना।
समय-निर्भर विक्षोभों के अनियंत्रणीय प्रभाव (जैसे उच्च उत्तेजना और बड़ी तापीय अवशोषण) अवस्था को प्रारंभिक विन्यास से दूर वैश्विक स्थान में ले जा सकते हैं
क्वांटम त्रुटि सुधार कोड और क्वांटम एल्गोरिदम डिजाइन के लिए महत्वपूर्ण व्यावहारिक महत्व
सामान्य क्वांटम सिस्टम की गैर-संतुलन गतिविज्ञान का विश्लेषण करने के लिए नया दृष्टिकोण प्रदान करता है
ऊर्जा-स्पेस स्थानीयकरण की सार्वभौमिकता की पहचान और प्रमाण: q-स्थानीय हैमिल्टनियन के लिए, जब प्रारंभिक eigenstate को सामान्य समय-निर्भर हैमिल्टनियन के तहत विकसित किया जाता है, तो यह तात्कालिक ऊर्जा स्पेक्ट्रम की ऊर्जा खिड़की के भीतर घातांकीय रूप से स्थानीयकृत होता है।
कठोर गणितीय ढांचे की स्थापना: दो मुख्य प्रमेय (Theorem 1 और 2) प्रदान करता है, जो क्रमशः गतिशील और स्थिर मामलों को संभालते हैं, घातांकीय रूप से छोटी रिसाव सीमाएं देते हैं।
LDPC कोड की कई स्थिरता को प्रमाणित किया:
सामान्य समय-निर्भर विक्षोभों के तहत घातांकीय लंबी गतिशील स्थानीयकरण
स्थिर q-स्थानीय विक्षोभों की स्थिरता को अर्ध-q-स्थानीय विक्षोभों तक विस्तारित किया
Gibbs नमूनाकार की मजबूत धीमी मिश्रण संपत्ति को प्रमाणित किया
कठिन अनुकूलन समस्याओं में एल्गोरिदमिक बाधाओं का खुलासा: क्लस्टर किए गए समाधान स्पेस वाली शास्त्रीय कठिन अनुकूलन समस्याओं के लिए, स्थिरता हैमिल्टनियन-आधारित क्वांटम एल्गोरिदम को स्थानीय न्यूनतम से बचने के लिए ड्राइव करने में बाधा बन जाती है।
Theorem 1 (अनौपचारिक कथन): मान लीजिए प्रारंभिक अवस्था |ψ(0)⟩ H(0) का eigenstate है, ऊर्जा E₀ के साथ। यदि अवस्था को t=0 से T तक H(t) के अनुसार विकसित होने दिया जाए, तो किसी भी समय t पर अवस्था H(t) के तात्कालिक स्पेक्ट्रम की ऊर्जा खिड़की E₀⁽ᵈ⁾≡E₀-dn, E₀+dn के भीतर घातांकीय रूप से स्थानीयकृत होती है।
Cases 1,2,4 के लिए, रिसाव ε⁽¹⁾ निम्न द्वारा सीमित है:
मुख्य चरण किसी भी k-वें आघूर्ण ⟨(H(t)-E₀)²ᵏ⟩_t की वृद्धि को सीमित करना है। नेस्टेड कम्यूटेटर ad^m_H(t)(H'(t)) की वृद्धि का अनुमान लगाकर यह प्राप्त किया जाता है।
Definition 1 (क्लस्टरिंग संपत्ति): हैमिल्टनियन H ऊर्जा खिड़की E₁,E₂ में क्लस्टरिंग संपत्ति रखता है, यदि इस खिड़की के भीतर सभी eigenstates को क्लस्टर {wⱼ} में विभाजित किया जा सकता है, जैसे कि:
एक ही क्लस्टर के भीतर अवस्थाओं की दूरी D(|φ⟩,|φ'⟩) ≤ ν₁
विभिन्न क्लस्टरों के बीच अवस्थाओं की दूरी D(|φ⟩,|φ'⟩) ≥ ν₂
Proposition III.1: रैखिक soundness वाले LDPC कोड के लिए, समय-निर्भर विक्षोभों के तहत, जब तक λ < (b-ε₀)/2, अवस्था मूल कोडवर्ड के पास स्थानीयकृत रहने का समय T ~ (1/λ)e^Ω(n) है, रिसाव e^(-Ω(n)) है।
स्थिर हैमिल्टनियन H = Hc + V₀ + Hd के लिए, यदि λ काफी छोटा है, तो प्रत्येक विक्षोभ eigenstate |ψ⟩ एक कोडवर्ड |w⟩ के पास घातांकीय रूप से स्थानीयकृत होता है।
Proposition III.4: H = Hc + V₀ के लिए, यदि λ काफी छोटा है, तो इसका स्थिर अवस्था e^(-βH) का स्थानीय Gibbs नमूनाकार घातांकीय लंबी मिश्रण समय e^Ω(n) रखता है।
Proposition IV.1 (समाधानों का जमना): यदि हैमिल्टनियन H(t) का कुल भिन्नता Λ B/2 से कम है, तो कोई भी प्रारंभिक अवस्था जो क्लस्टर w₀ के भीतर है और ऊर्जा E_B - 2Λ से कम है, w₀ के भीतर स्थानीयकृत रहेगी, समय T ~ (1/Λ)e^Ω(Λ/M) तक।
यह दर्शाता है कि अपर्याप्त बड़ी भिन्नता वाले क्वांटम एल्गोरिदम के लिए, निकट-इष्टतम समाधान खोजना संभव नहीं है।