Algebraic locality and non-invertible Gauss laws

तकनीकी सारांश: बीजगणितीय स्थानीयता और गैर-व्युत्क्रमणीय गौस नियम (Algebraic Locality and Non-Invertible Gauss Laws)

समस्या विवरण
यह शोध पत्र बीजगणितीय स्थानीयता (algebraic locality)—विशेष रूप से हेग द्वैतता (Haag duality) और विसंयुक्त योज्यता (disjoint additivity)—के सिद्धांतों की जांच करता है, जो गैर-व्युत्क्रमणीय समरूपताओं (non-invertible symmetries) द्वारा नियंत्रित बाधित लैट्टिस प्रणालियों (constrained lattice systems) के संदर्भ में है। जबकि पूर्ववर्ती कार्य (arXiv:2509.03589) ने यह स्थापित किया था कि व्युत्क्रमणीय (group-like) गेज समरूपताओं वाले लैट्टिस सिस्टम के लिए ये स्थानीयता सिद्धांत सटीक रूप से लागू होते हैं, गैर-व्युत्क्रमणीय बाधाओं (non-invertible constraints) के तहत इन सिद्धांतों के व्यवहार का अन्वेषण नहीं किया गया था। लेखक क्वांटम डबल मॉडल पर ध्यान केंद्रित करते हैं जहाँ चुंबकीय बाधा (magnetic constraint) को सटीक रूप से लागू किया जाता है, और इस बाधा को एक गैर-व्युत्क्रमणीय $\text{Rep}(G)$ समरूपता (या अधिक सामान्य रूप से, एक हॉफ बीजगणिक (Hopf algebra) समरूपता) के लिए गौस नियम के रूप में व्याख्यायित करते हैं। केंद्रीय प्रश्न यह है कि क्या बाधित उप-स्थान (constrained subspace) में स्थानीय ऑपरेटर बीजगणित (local operator algebras) उन्हीं कठोर स्थानीयता स्थितियों को संतुष्ट करते हैं जो उनके व्युत्क्रमणीय समकक्षों के लिए होती हैं, या क्या गैर-व्युत्क्रमणीय प्रकृति की प्रकृति इसमें बाधा उत्पन्न करती है।

कार्यप्रणाली (Methodology)
लेखक परिमित लैट्टिस पर ऑपरेटर बीजगणित के ढांचे का उपयोग करते हैं। वे पूर्ण हिल्बर्ट स्पेस (Hilbert space) के भीतर बाधा-संरक्षण करने वाले ऑपरेटरों के रूप में "लिफ्ट" किए जा सकने वाले ऑपरेटरों के सेट के रूप में स्थानीय ऑपरेटर बीजगणित $A_0(R)$ को परिभाषित करते हैं, जिनका समर्थन क्षेत्र $R$ में होता है। विश्लेषण निम्नलिखित चरणों के माध्यम से आगे बढ़ता है:

1. प्रतिनिधित्व-सैद्धांतिक पुनर्गठन (Representation-Theoretic Reformulation): एक परिमित समूह $G$ पर आधारित क्वांटम डबल मॉडल की चुंबकीय बाधा को डुअल ग्रुप बीजगणिक $\mathbb{C}[G]^\vee$ की क्रिया के तहत एक सिंगलेट प्रोजेक्शन (singlet projection) के रूप में पुनर्व्याख्यायित किया जाता है। इसे एक परिमित-आयामी $C^*$-हॉफ बीजगणिक (Hopf algebra) $H$ और उसके डुअल $H^\vee$ की क्रिया के लिए सामान्यीकृत किया जाता है।
2. प्रति-उदाहरण निर्माण (Counterexample Construction): हेग द्वैतता की सीमाओं का परीक्षण करने के लिए, लेखक शून्य केंद्र (trivial centers) वाले गैर-अबेलियन समूहों के लिए बंद लैट्टिस पर स्पष्ट प्रति-उदाहरणों का निर्माण करते हैं। वे उन क्षेत्रों के व्यवहार का विश्लेषण करते हैं जिनमें "कस्प्स" (cusps - ऐसे वर्टिक्स जहाँ क्षेत्र के किनारे डुअल ग्राफ में विच्छेदित होते हैं) शामिल होते हैं।
3. प्रोजेक्शन सूत्र और लिफ्ट (Projection Formulas and Lifts): ऑपरेटरों के "न्यूट्रल घटकों" (neutral components) का विश्लेषण ऑपरेटरों के लिए मुख्य तकनीकी उपकरण है। ऑपरेटरों को स्थानीय समरूपता के अपरिमित निरूपणों (irreducible representations) में विघटित करके (हाार इंटीग्रल या सिंगलेट प्रोजेक्टरों का उपयोग करके), लेखक प्रोजेक्शन सूत्र प्राप्त करते हैं जो अनबाधित बीजगणित में मौजूद ऑपरेटरों को बाधित बीजगणित से जोड़ते हैं।
4. हॉफ बीजगणिकों तक सामान्यीकरण (Generalization to Hopf Algebras): समूह-आधारित डबल मॉडलों के परिणामों को हैर इंटीग्रल/मेजर के गुणों और पीटर-वेइल अपघटन (Peter-Weyl decomposition) का उपयोग करते हुए व्यापक श्रेणी के हॉफ बीजगणिक डबल मॉडलों तक विस्तारित किया गया है।

मुख्य योगदान और परिणाम

• कस्प वाले क्षेत्रों के लिए सटीक हेग द्वैतता का उल्लंघन: यह शोध पत्र प्रदर्शित करता है कि शून्य केंद्र वाले गैर-अबेलियन समूहों के लिए, "कस्प वाले" वर्टिक्स वाले क्षेत्रों में सटीक हेग द्वैतता ($A_0(R)' = A_0(R')$) विफल हो जाती है। ऐसे क्षेत्रों में, स्थानीय बीजगणित का कम्यूटेंट (commutant) पूरक के बीजगणित से बड़ा होता है।
• दुर्बल हेग द्वैतता और कॉलर (Weak Haag Duality and Collars): लेखक स्थापित करते हैं कि एक "दुर्बल" हेग द्वैतता सार्वभौमिक रूप से मान्य है। विशेष रूप से, $A_0(R_+)' \subseteq A_0(R')$, जहाँ $R_+$ एक "कोलर वाला" क्षेत्र है जिसे $R$ के किसी भी कस्प वाले वर्टेक्स में किनारे जोड़कर प्राप्त किया जाता है। "कस्प-रहित" (cuspless) क्षेत्रों के लिए (जहाँ प्रत्येक वर्टेक्स पर क्षेत्र के किनारे डुअल ग्राफ में एक जुड़ा हुआ सेट बनाते हैं), कॉलर अनावश्यक है, और सटीक हेग द्वैतता बनी रहती है।
• ट्राईवैलेंट लैट्टिस (Trivalent Lattices): एक महत्वपूर्ण परिणाम यह है कि ट्राईवैलेंट लैट्टिस पर, प्रत्येक क्षेत्र कस्प-रहित होता है। फलस्वरूप, चुंबकीय रूप से बाधित डबल मॉडलों में सभी क्षेत्रों के लिए सटीक हेग द्वैतता बनी रहती है, चाहे उनकी समरूपता व्युत्क्रमणीय हो या गैर-व्युत्क्रमणीय।
• विसंयुक्त योज्यता (Disjoint Additivity):
  • समूह-आधारित डबल मॉडलों के लिए, लेखक सिद्ध करते हैं कि सटीक विसंयुक्त योज्यता ($A_0(R_1 \cup R_2) = A_0(R_1) \vee A_0(R_2)$) उन क्षेत्रों के लिए भी मान्य है जिनमें कस्प हैं, बशर्ते कि क्षेत्र इस अर्थ में विसंयुक्त हों कि कोई भी वर्टेक्स दोनों क्षेत्रों में किनारे न रखता हो।
  • सामान्य हॉफ बीजगणिक डबल मॉडलों के लिए, लेखक एक कमजोरित विसंयुक्त योज्यता सिद्ध करते हैं: $A_0(R_1 \cup R_2) \subseteq A_0(R_1^+) \vee A_0(R_2^+)$। वे नोट करते हैं कि हालांकि उन्होंने सामान्य हॉफ सेटिंग में मजबूत रूप (बिना कॉलर के सटीक योज्यता) के लिए कोई प्रति-उदाहरण नहीं पाया है, फिर भी उन्हें इसके होने का संदेह है।
• हॉफ बीजगणिक सामान्यीकरण: विश्लेषण को परिमित-आयामी $C^*$-हॉफ बीजगणिकों पर आधारित डबल मॉडलों के लिए सफलतापूर्वक सामान्यीकृत किया गया है। चुंबकीय बाधा को स्थानीय $\text{Rep}(H)$ गैर-व्युत्क्रमणीय समरूपता के लिए एक गौस नियम के रूप में पहचाना गया है। कस्प वाले क्षेत्रों के लिए दुर्बल हेग द्वैतता और कॉलर की आवश्यकता से संबंधित समान संरचनात्मक परिणाम लागू होते हैं।

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