The prospect of realizing highly entangled states on quantum processors with fundamentally different hardware geometries raises the question: to what extent does a state of a quantum spin system have an intrinsic geometry? In this paper, we propose that both states and dynamics of a spin system have a canonically associated coarse geometry, in the sense of Roe, on the set of sites in the thermodynamic limit. For a state $Ï$ on an (abstract) spin system with an infinite collection of sites $X$, we define a universal coarse structure $\mathcal{E}_Ï$ on the set $X$ with the property that a state has decay of correlations with respect to a coarse structure $\mathcal{E}$ on $X$ if and only if $\mathcal{E}_Ï\subseteq \mathcal{E}$. We show that under mild assumptions, the coarsely connected completion $(\mathcal{E}_Ï)_{con}$ is stable under quasi-local perturbations of the state $Ï$. We also develop in parallel a dynamical coarse structure for arbitrary quantum channels, and prove a similar stability result. We show that several order parameters of a state only depend on the coarse structure of an underlying spatial metric, and we establish a basic compatibility between the dynamical coarse structure associated to a quantum circuit $α$ and the coarse structure of the state $Ï\circ α$ where $Ï$ is any product state.
- पेपर ID: 2411.07912
- शीर्षक: Universal coarse geometry of spin systems (स्पिन सिस्टम की सार्वभौमिक मोटी ज्यामिति)
- लेखक: Ali Elokl (उत्तरी कैरोलिना स्टेट विश्वविद्यालय), Corey Jones (उत्तरी कैरोलिना स्टेट विश्वविद्यालय)
- वर्गीकरण: quant-ph math-ph math.MG math.MP
- प्रकाशन समय: 30 दिसंबर 2024 (arXiv v2)
- पेपर लिंक: https://arxiv.org/abs/2411.07912
यह पेपर मौलिक रूप से भिन्न हार्डवेयर ज्यामितीय संरचना वाले क्वांटम प्रोसेसर पर अत्यधिक उलझे हुए अवस्थाओं को लागू करने की संभावना की खोज करता है। लेखकों ने एक मूल प्रश्न प्रस्तावित किया: क्वांटम स्पिन सिस्टम की अवस्थाओं में कितनी हद तक अंतर्निहित ज्यामितीय संरचना होती है? लेखकों का प्रस्ताव है कि ऊष्मागतिकीय सीमा में, स्पिन सिस्टम की अवस्थाएं और गतिविज्ञान दोनों ही नियमबद्ध संबंधित मोटी ज्यामिति (coarse geometry) रखते हैं। अनंत समुच्चय X पर अमूर्त स्पिन सिस्टम अवस्था φ के लिए, लेखकों ने एक सार्वभौमिक मोटी संरचना E_φ परिभाषित की है, जिससे अवस्था मोटी संरचना E के संबंध में संबंधित क्षय रखती है यदि और केवल यदि E_φ⊆E। हल्के अनुमानों के तहत, मोटी संयोजकता पूर्णता (E_φ)_con अवस्था के अर्ध-स्थानीय विक्षोभ के तहत स्थिर रहती है।
इस पेपर की मूल समस्या क्वांटम सूचना प्रयोगों की हाल की प्रगति से उत्पन्न होती है: जब क्वांटम प्रोसेसर पर अत्यधिक उलझी हुई स्थलीय क्रमबद्ध अवस्थाओं को लागू किया जाता है, तो प्रोसेसर की हार्डवेयर ज्यामितीय संरचना सैद्धांतिक मॉडल की ज्यामितीय संरचना के साथ असंगत हो सकती है। उदाहरण के लिए, 2D हार्डवेयर पर 3D स्पिन तरल की आधार अवस्था को लागू करने के लिए गैर-स्थानीय कोडिंग योजना की आवश्यकता होती है। यह एक मौलिक प्रश्न उठाता है: क्या एक सटीक गणितीय अर्थ में ऐसा कोई तरीका है जिससे स्पिन सिस्टम में उलझाव-आधारित क्रम पैरामीटर को परिभाषित करने के लिए उपयोग की जाने वाली "सही" ज्यामितीय संरचना अवस्था की अंतर्निहित विशेषता है?
- प्रयोग-संचालित सैद्धांतिक आवश्यकता: क्वांटम प्रोसेसर पर स्थलीय क्रमबद्ध अवस्थाओं को लागू करने के हाल के प्रयोग दिखाते हैं कि अवस्था की अंतर्निहित ज्यामितीय विशेषताओं को समझने के लिए सैद्धांतिक ढांचे की आवश्यकता है
- क्वांटम चरण समतुल्यता का सैद्धांतिक आधार: परंपरागत रूप से हैमिल्टनियन पथ के माध्यम से क्वांटम चरणों को परिभाषित किया जाता है, लेकिन क्वांटम सूचना दृष्टिकोण अवस्था-आधारित समतुल्यता परिभाषा को बढ़ावा देता है
- स्थानीयता का अमूर्तीकरण: भौतिक प्रणालियों में स्थानीयता संबंधित कार्यों के दूरी क्षय के माध्यम से प्रकट होती है, यह स्थानीयता अवधारणा केवल मेट्रिक की बड़े पैमाने की ज्यामितीय संरचना पर निर्भर करती है
- परंपरागत तरीके पूर्व-निर्धारित स्थानिक ज्यामितीय संरचना पर निर्भर करते हैं
- अवस्था से ज्यामितीय जानकारी निकालने के लिए व्यवस्थित ढांचे की कमी
- विभिन्न हार्डवेयर ज्यामितीय संरचनाओं की संगतता समस्या के लिए सैद्धांतिक मार्गदर्शन की कमी
- सार्वभौमिक मोटी संरचना सिद्धांत: किसी भी फलन f: X×X → R⁺ के लिए सार्वभौमिक मोटी संरचना E_f परिभाषित की गई है, जिससे f मोटी संरचना E के संबंध में नियंत्रित क्षय रखता है यदि और केवल यदि E_f⊆E
- संबंधित मोटी संरचना: क्वांटम स्पिन सिस्टम की अवस्था φ के लिए संबंधित मोटी संरचना E_φ और उच्च-क्रम संस्करण E_φ̃ परिभाषित किए गए हैं, जो अवस्था की अंतर्निहित ज्यामितीय विशेषताओं को दर्शाते हैं
- गतिविज्ञान मोटी संरचना: क्वांटम चैनल α के लिए गतिविज्ञान मोटी संरचना E_α परिभाषित की गई है, जो गतिविज्ञान स्थानीयता का अंतर्निहित विवरण प्रदान करती है
- स्थिरता प्रमेय: उपयुक्त शर्तों के तहत, (E_φ)_con और (E_α)_con अर्ध-स्थानीय विक्षोभ के तहत स्थिर रहते हैं, यह साबित किया गया है
- क्रम पैरामीटर की मोटी निर्भरता: साबित किया गया है कि अतिचयन क्षेत्र और महत्वपूर्ण घातांक जैसे महत्वपूर्ण क्रम पैरामीटर केवल मेट्रिक के मोटी समतुल्य वर्ग पर निर्भर करते हैं
- अवस्था तैयारी जटिलता: अवस्था तैयार करने के लिए उपयोग किए जाने वाले क्वांटम सर्किट और अवस्था स्वयं के बीच मोटी संरचना संगतता संबंध स्थापित किए गए हैं
परिभाषा 2.1: असतत C*-बीजगणित नेट में शामिल हैं:
- गणनीय समुच्चय X (जाली बिंदु)
- इकाई C*-बीजगणित A (अर्ध-स्थानीय बीजगणित)
- प्रत्येक परिमित उपसमुच्चय F⊆X के लिए, इकाई उप-बीजगणित A_F⊆A (स्थानीय उप-बीजगणित)
शर्तें संतुष्ट करते हैं:
- यदि F⊆G, तो A_F⊆A_G
- यदि F∩G=∅, तो A_F, A_G=0
- ⋃_{F∈F(X)}A_F A में सघन है
परिभाषा 3.1: समुच्चय X पर मोटी संरचना E, X×X के उप-समुच्चय का परिवार है, जो संतुष्ट करता है:
- विकर्ण को शामिल करता है, उप-समुच्चय और परिमित संघ के लिए बंद है
- यदि E∈E, तो E⁻¹∈E
- यदि E,F∈E, तो E∘F∈E
मूल निर्माण:
फलन f: X×X → R⁺∪{∞} के लिए, परिभाषित करें:
- E_{f,ε} := {(x,y) ∈ X×X : f(x,y) ≥ ε}
- E_f := ⋃{ε>0} ⟨E{f,ε}⟩
परिभाषा 4.13: अवस्था φ के लिए, द्विबिंदु संबंधित फलन परिभाषित करें:
Cφ(x,y)=supa∈(Ax)1,b∈(Ay)1‖φ(ab)−φ(a)φ(b)‖
उच्च-क्रम संबंधित फलन:
C~φ(F,G)=supa∈(AF)1,b∈(AG)1‖φ(ab)−φ(a)φ(b)‖
संबंधित मोटी संरचना परिभाषित करें: E_φ := E_{C_φ}, E_φ̃ := E_{\tilde{C}_φ}
परिभाषा 4.23: क्वांटम चैनल α: A→A के लिए, पूंछ फलन परिभाषित करें:
Qα(x,y):=supa∈(Ax)1,b∈(Ay)1‖[α(a),b]‖
गतिविज्ञान मोटी संरचना: E_α := E_{Q_α}
प्रमेय 4.2: किसी भी फलन f: X×X → R⁺∪{∞} के लिए, मोटी संरचना E_f मौजूद है जिससे: f मोटी संरचना E के संबंध में नियंत्रित क्षय रखता है यदि और केवल यदि E_f⊆E।
प्रमेय 5.3 (संबंधित मोटी संरचना स्थिरता): मान लें φ: A→B एक ucp मानचित्र है, और E_φ सत्य और एकल-उत्पन्न है। तब किसी भी अर्ध-स्थानीय विक्षोभ Ψ: A→A के लिए, (E_{φ∘Ψ}) = (E_φ)।
प्रमेय 5.7 (गतिविज्ञान मोटी संरचना स्थिरता): समान स्थिरता परिणाम गतिविज्ञान मोटी संरचना के लिए मान्य हैं।
प्रमेय 1.5: यदि φ एक अवस्था है, और α गुणनफल अवस्था से φ तैयार करने वाला सर्किट है, तो E_φ̃ ⊆ E_α̃।
इसका अर्थ है कि निश्चित मोटी जटिलता वाली अवस्था तैयार करने के लिए कम से कम समान रूप से जटिल सर्किट की आवश्यकता होती है।
प्रस्ताव 7.6: संबंधित लंबाई 0, परिमित संबंधित लंबाई और अनंत संबंधित लंबाई की परिभाषाएं केवल मेट्रिक के अर्ध-समतुल्य वर्ग पर निर्भर करती हैं।
प्रस्ताव 7.10: बीजगणितीय क्षय के संबंधित फलन और महत्वपूर्ण घातांक मेट्रिक के अर्ध-समतुल्य वर्ग से स्वतंत्र हैं।
- ऊर्जा-अंतराल हैमिल्टनियन की आधार अवस्था: घातांकीय क्षय के संबंधित फलन रखते हैं
- संतुलन अवस्था: गिब्स अवस्था या KMS अवस्था कम और उच्च तापमान पर नियंत्रित क्षय रखते हैं
- क्वांटम कोशिकीय स्वचालन: गतिविज्ञान मोटी संरचना मूल ज्यामितीय संरचना को पुनः प्राप्त करती है
- Cayley ग्राफ पर स्पिन सिस्टम: अनुवाद-अपरिवर्तनीय कारक अवस्थाओं की मोटी संरचना समूह की मोटी संरचना में निहित है
परिभाषा 7.3: हिल्बर्ट स्पेस प्रतिनिधित्व H (X,d) पर मोटी अति-चयन मानदंड को संतुष्ट करता है, यदि किसी भी त्रिगुण L,C,D के लिए, स्थिरांक R≥0 मौजूद है जिससे किसी भी मोटी L,C,D शंकु f: D→X के लिए, H को f(D)+R में स्थानीयकृत किया जा सकता है।
प्रस्ताव 7.4:
- यदि d' और d अर्ध-समदूरस्थ हैं, तो Sec^d_φ = Sec^{d'}_φ
- यदि (X,d) = Z^n, तो Sec^d_φ = Sec_φ
- सैद्धांतिक नवीनता: पहली बार मोटी ज्यामिति सिद्धांत को क्वांटम बहु-निकाय प्रणालियों पर व्यवस्थित रूप से लागू किया गया है, जो अवस्था की अंतर्निहित ज्यामितीय विशेषताओं के लिए कठोर गणितीय ढांचा प्रदान करता है
- सार्वभौमिकता: ढांचा शास्त्रीय और क्वांटम प्रणालियों, और अधिक जटिल बीजगणितीय संरचनाओं पर लागू होता है
- स्थिरता गारंटी: साबित किया गया है कि मोटी संरचना भौतिकी-प्रासंगिक विक्षोभ के तहत स्थिर है, जो व्यावहारिक अनुप्रयोगों के लिए सैद्धांतिक आश्वासन प्रदान करता है
- गणना व्यवहार्यता: स्पर्शोन्मुख आयाम और वृद्धि फलनों के माध्यम से परिमित प्रणालियों में मोटी संरचना का अनुमान लगाने के तरीके प्रदान करता है
- गहरी अंतर्दृष्टि: कई "सार्वभौमिक" गुणों को वास्तव में मोटी ज्यामिति गुणों के रूप में प्रकट करता है, जो पुनर्सामान्यीकरण समूह सिद्धांत के लिए नया दृष्टिकोण प्रदान करता है
- व्यावहारिक सीमाएं: सैद्धांतिक ढांचा मुख्य रूप से ऊष्मागतिकीय सीमा पर लागू होता है, परिमित प्रणालियों पर अनुप्रयोग के लिए आगे विकास की आवश्यकता है
- गणना जटिलता: व्यवहार में मोटी संरचना को पूरी तरह से निर्धारित करना गणना जटिल हो सकता है, कुशल एल्गोरिदम विकसित करने की आवश्यकता है
- भौतिक अंतर्दृष्टि: अत्यधिक अमूर्त गणितीय ढांचा भौतिक अंतर्दृष्टि के साथ सीधा संबंध स्थापित करना मुश्किल हो सकता है
- प्रायोगिक सत्यापन: सैद्धांतिक भविष्यवाणियों के प्रायोगिक सत्यापन के तरीके अभी तक पर्याप्त रूप से विकसित नहीं हुए हैं
- सैद्धांतिक भौतिकी: संघनित पदार्थ भौतिकी में चरण वर्गीकरण और महत्वपूर्ण घटनाओं के लिए नए गणितीय उपकरण प्रदान करता है
- क्वांटम सूचना: क्वांटम प्रोसेसर पर अवस्था कार्यान्वयन के लिए ज्यामितीय संगतता का सैद्धांतिक मार्गदर्शन प्रदान करता है
- गणितीय भौतिकी: संचालक बीजगणित सिद्धांत और मोटी ज्यामिति के बीच गहरा संबंध स्थापित करता है
- अंतः-विषयक प्रभाव: विधि नेटवर्क सिद्धांत, स्थलीय डेटा विश्लेषण आदि अन्य क्षेत्रों पर लागू हो सकती है
- क्वांटम सिमुलेशन: विभिन्न हार्डवेयर ज्यामिति पर लक्ष्य क्वांटम अवस्थाओं के कार्यान्वयन को निर्देशित करता है
- चरण वर्गीकरण: मोटी ज्यामिति-आधारित क्वांटम चरण समतुल्यता वर्गीकरण
- महत्वपूर्ण घटनाएं: महत्वपूर्ण बिंदु के पास सार्वभौमिक गुणों का अध्ययन
- स्थलीय क्वांटम कंप्यूटिंग: स्थलीय क्रम की ज्यामितीय निर्भरता को समझना
यह पेपर क्वांटम स्पिन सिस्टम की अवस्थाओं और गतिविज्ञान की अंतर्निहित ज्यामितीय संरचना का कठोर गणितीय सिद्धांत स्थापित करता है। मोटी ज्यामिति ढांचे के माध्यम से, लेखकों ने साबित किया है कि कई महत्वपूर्ण भौतिक गुण वास्तव में केवल बड़े पैमाने की ज्यामितीय संरचना पर निर्भर करते हैं, न कि विशिष्ट मेट्रिक विवरण पर। यह सिद्धांत न केवल क्वांटम बहु-निकाय प्रणालियों को समझने के लिए नया दृष्टिकोण प्रदान करता है, बल्कि क्वांटम सूचना प्रसंस्करण में ज्यामितीय संगतता समस्याओं के लिए समाधान भी प्रदान करता है।
भविष्य के अनुसंधान दिशाएं शामिल हैं:
- परिमित प्रणालियों में मोटी संरचना की कुशल गणना विधियों का विकास
- निरंतर समरूपता जैसे स्थलीय डेटा विश्लेषण उपकरणों के साथ संबंध स्थापित करना
- क्वांटम क्षेत्र सिद्धांत में मोटी ज्यामिति ढांचे के अनुप्रयोग की खोज
- मोटी ज्यामिति-आधारित क्वांटम चरण वर्गीकरण सिद्धांत का विकास
यह कार्य गणितीय भौतिकी और क्वांटम सूचना के अंतः-विषयक अनुसंधान के लिए नई दिशाएं खोलता है, जिसका महत्वपूर्ण सैद्धांतिक मूल्य और संभावित व्यावहारिक महत्व है।