Modulated symmetries are internal symmetries that are not invariant under spacetime symmetry actions. We propose a general way to describe the lattice translation modulated symmetries in 1+1D, including the non-invertible ones, via the tensor network language. We demonstrate that the modulations can be described by some autoequivalences of the categories. Although the topological behaviors are broken because of the presence of modulations, we can still construct the modulated version of the symmetry TFT bulks by inserting a series of domain walls described by invertible bimodule categories. This structure not only recovers some known results on invertible modulated symmetries but also provides a general framework to tackle modulated symmetries in a more general setting.
संशोधित समरूपताएं आंतरिक समरूपताएं हैं जो स्पेसटाइम समरूपता अपरिवर्तनीयता को संतुष्ट नहीं करती हैं। यह पेपर 1+1 आयामों में जालक अनुवाद संशोधित समरूपताओं का वर्णन करने के लिए एक सार्वभौमिक विधि प्रस्तावित करता है, जिसमें गैर-प्रतिवर्ती स्थितियां भी शामिल हैं, टेंसर नेटवर्क भाषा का उपयोग करते हुए। अनुसंधान से पता चलता है कि संशोधन को श्रेणी के कुछ स्व-समतुल्यताओं द्वारा वर्णित किया जा सकता है। यद्यपि संशोधन की उपस्थिति के कारण टोपोलॉजिकल व्यवहार नष्ट हो जाता है, फिर भी प्रतिवर्ती द्विमॉड्यूल श्रेणियों द्वारा वर्णित डोमेन दीवारों की एक श्रृंखला को सम्मिलित करके समरूपता टोपोलॉजिकल क्षेत्र सिद्धांत (SymTFT) बल्क के संशोधित संस्करण का निर्माण किया जा सकता है। यह संरचना न केवल प्रतिवर्ती संशोधित समरूपताओं के कुछ ज्ञात परिणामों को पुनः प्राप्त करती है, बल्कि अधिक सामान्य सेटिंग में संशोधित समरूपताओं से निपटने के लिए एक सार्वभौमिक ढांचा भी प्रदान करती है।
पारंपरिक समरूपता-संरक्षित टोपोलॉजिकल (SPT) चरण और समरूपता टोपोलॉजिकल क्षेत्र सिद्धांत (SymTFT) ढांचा इस धारणा पर आधारित है कि समरूपता ऑपरेटरों में टोपोलॉजिकल गुण हैं। हालांकि, वास्तविक भौतिक प्रणालियों में संशोधित समरूपताएं (modulated symmetries) की एक बड़ी संख्या मौजूद है—ये आंतरिक समरूपताएं स्पेसटाइम समरूपता क्रिया के तहत अपरिवर्तित नहीं रहती हैं, जैसे:
बहुध्रुव समरूपताएं (multipole symmetries): जैसे द्विध्रुव समरूपता
घातीय समरूपताएं (exponential symmetries)
उप-प्रणाली समरूपताएं (subsystem symmetries): फ्रैक्टल क्रम (fracton orders) की असाधारण घटनाओं से संबंधित
सैद्धांतिक पूर्णता: मौजूदा समरूपता वर्गीकरण ढांचा संशोधित समरूपताओं पर सीधे लागू नहीं हो सकता है, नई सैद्धांतिक उपकरणों के विकास की आवश्यकता है
भौतिक प्रासंगिकता: संशोधित समरूपताएं संघनित पदार्थ भौतिकी में व्यापक रूप से मौजूद हैं, और फ्रैक्टल टोपोलॉजिकल क्रम जैसे अग्रणी विषयों से निकटता से संबंधित हैं
वर्गीकरण समस्या: संशोधित समरूपता-संरक्षित टोपोलॉजिकल चरणों (modulated SPT) का वर्गीकरण अभी भी अधूरा है, विशेष रूप से गैर-प्रतिवर्ती स्थितियों में
श्रेणी-सैद्धांतिक वर्णन ढांचा: 1+1D जालक अनुवाद संशोधित समरूपताओं का वर्णन करने के लिए टेंसर नेटवर्क भाषा और श्रेणी सिद्धांत का उपयोग करके एक विधि प्रस्तावित करता है, संशोधन को संलयन श्रेणी C के मोनोइडल स्व-समतुल्यताFT:C→C के रूप में एन्कोड करता है
चरणों का वर्गीकरण: साबित करता है कि संशोधित SPT चरणों को FT-विकृत C-मॉड्यूल स्व-समतुल्यता FTM:M→M से सुसज्जित अविघटनीय अर्ध-सरल C-मॉड्यूल श्रेणियों M द्वारा वर्गीकृत किया जाता है, विभिन्न विकल्प कमजोर SPT चरणों के अनुरूप हैं
मिश्रित विसंगति लक्षण वर्णन: प्रतिवर्ती समरूपता के लिए, साबित करता है कि आंतरिक समरूपता और जालक अनुवाद के बीच मिश्रित विसंगति को H2(G;U(1)) में सह-समरूपता वर्ग द्वारा लक्षित किया जाता है
संशोधित SymTFT निर्माण: जालक अनुवाद दिशा के साथ प्रतिवर्ती द्विमॉड्यूल श्रेणियोंT=DidDFTD द्वारा वर्णित डोमेन दीवारों की एक श्रृंखला को सम्मिलित करके संशोधित 2+1D SymTFT के निर्माण का प्रस्ताव करता है
ठोस कार्यान्वयन: ZN द्विध्रुव समरूपता के संशोधित Levin-Wen मॉडल का निर्माण करता है, और साबित करता है कि निरंतर सीमा पत्तीदार BF सिद्धांत को पुनः प्राप्त करती है
अनियन संघनन शर्तें: संशोधित स्थिति में सीमा ऊर्जा-अंतराल चरणों और बल्क अनियन संघनन के बीच पत्राचार स्थापित करता है: Lagrangian बीजगणित A ऊर्जा-अंतराल सीमा के अनुरूप है यदि और केवल यदि Φ(T)A और A Morita समतुल्य हैं
समरूपता ऑपरेटर: संलयन श्रेणी C की एकल वस्तु X∈I(C) द्वारा चिह्नित स्थान-निर्भर MPO (चित्र 1):
स्थिति i: [A_i^X] - [A_i^X] - [A_i^X] - ...
संलयन नियम: संतुष्ट करते हैं
X1⊗X2≃⨁X3∣BX1,X2X3∣X3
जहां BX1,X2X3⊂HomC(X1⊗X2,X3) एक ऑर्थोनॉर्मल आधार है।
मुख्य नवाचार—संशोधन का श्रेणी-सैद्धांतिक लक्षण वर्णन:
जालक अनुवाद T(i+1)-वें द्वार को i-वें द्वार में मानचित्रित करता है, परिभाषित करता है:
FTX:=(i+1)-वेंXकाद्वारi-वेंद्वारकेरूपमें
बंद करने की शर्त के माध्यम से साबित करता है कि FTC की मोनोइडल स्व-समतुल्यता है, प्राकृतिक समरूपता से सुसज्जित:
(ηT)X1,X2:FT(X1⊗X2)∼FTX1⊗FTX2
टेंसर नेटवर्क प्रतिनिधित्व समीकरण (2.14)-(2.16) के रूप में, मुख्य बात निम्नलिखित विनिमय आरेख को साबित करना है:
आधार अवस्था वर्णन: अविघटनीय अर्ध-सरल C-मॉड्यूल श्रेणी M की एकल वस्तु M∈I(M) द्वारा चिह्नित संशोधित MPS (चित्र 2)।
समरूपता क्रिया: द्वि-फंक्टर ▹:C×M→M, समान सहयोगिता और टेंसर नेटवर्क संबंधों को संतुष्ट करता है (2.21)-(2.28)।
चरण का लक्षण वर्णन: M एक चरण के अनुरूप है यदि और केवल यदि FT-विकृत C-मॉड्यूल स्व-समतुल्यता FTM:M→M से सुसज्जित है, विनिमय आरेख को संतुष्ट करता है (2.36):
डोमेन दीवारों का भौतिक अर्थ: प्रतिवर्ती द्विमॉड्यूल श्रेणी T संशोधन जानकारी को सटीक रूप से एन्कोड करता है, डोमेन दीवार के माध्यम से अनियन परिवर्तन Φ(T) द्वारा लक्षित है
सीमा-बल्क पत्राचार: संशोधित स्थिति में अनियन संघनन शर्त (3.19) मानक पत्राचार को सामान्यीकृत करता है, संघनन बीजगणित को डोमेन दीवार क्रिया के तहत Morita अपरिवर्तित होने की आवश्यकता है
भूमिका परस्पर परिवर्तन घटना: खुरदरी सीमा पर एकध्रुव और द्विध्रुव की भूमिका परस्पर परिवर्तन विभिन्न FTM विकल्पों (कमजोर SPT) से उत्पन्न होता है, [β]∈H1(ZN×ZN) द्वारा पैरामीटर किया जाता है
गैर-प्रतिवर्ती सामान्यीकरण: ढांचा स्वाभाविक रूप से गैर-प्रतिवर्ती समरूपताओं (जैसे गेज-निर्धारित समरूपताएं) पर लागू होता है, केवल C को सामान्य संलयन श्रेणी की आवश्यकता है
एकीकृत ढांचा: जालक अनुवाद संशोधित समरूपताओं का श्रेणी-सैद्धांतिक विवरण स्थापित करता है, प्रतिवर्ती और गैर-प्रतिवर्ती स्थितियों पर लागू होता है
चरणों का वर्गीकरण: संशोधित SPT चरणों को FT-विकृत मॉड्यूल स्व-समतुल्यता से सुसज्जित मॉड्यूल श्रेणियों द्वारा वर्गीकृत किया जाता है, विभिन्न विकल्प कमजोर SPT के अनुरूप हैं
बल्क सिद्धांत निर्माण: प्रतिवर्ती द्विमॉड्यूल श्रेणियों द्वारा वर्णित डोमेन दीवारों को सम्मिलित करके संशोधित SymTFT का निर्माण करता है, डोमेन दीवार के माध्यम से अनियन Φ(T) द्वारा रूपांतरित होते हैं
ठोस सत्यापन: ZN द्विध्रुव समरूपता का पूर्ण कार्यान्वयन (जालक मॉडल, सीमा चरण, निरंतर सीमा) ढांचे की प्रभावशीलता को सत्यापित करता है
आयाम प्रतिबंध: वर्तमान कार्य 1+1D पर केंद्रित है, उच्च आयामों में सामान्यीकरण (विशेष रूप से 3+1D फ्रैक्टल क्रम) अधिक जटिल श्रेणी संरचनाओं की आवश्यकता है
गतिशील गुण: मुख्य रूप से आधार अवस्था वर्गीकरण पर केंद्रित है, उत्तेजित अवस्थाएं और गतिशील प्रक्रियाएं (जैसे विसरण व्यवहार 17,20) शामिल नहीं हैं
ठोस मॉडल: केवल ZN द्विध्रुव समरूपता का विस्तार से विश्लेषण किया गया है, अधिक गैर-तुच्छ उदाहरण (जैसे घातीय समरूपता, उप-प्रणाली समरूपता) अभी भी अनुसंधान की प्रतीक्षा में हैं
गैर-अर्ध-सरल स्थिति: ढांचा अर्ध-सरल श्रेणियों को मानता है (ऊर्जा-अंतराल चरणों के अनुरूप), महत्वपूर्ण प्रणालियों के लिए गैर-अर्ध-सरल श्रेणियों का सामान्यीकरण आवश्यक है
कम्प्यूटेशनल जटिलता: उच्च-क्रम समूह सह-समरूपता और F-प्रतीकों की गणना अत्यंत जटिल हो सकती है
श्रेणी-सैद्धांतिक एकीकरण: पहली बार स्व-समतुल्यता प्रणाली का उपयोग करके संशोधन का वर्णन करता है, समय-स्थान निर्भरता को श्रेणी संरचना में एन्कोड करता है, अत्यंत मौलिक है
गैर-प्रतिवर्ती सामान्यीकरण: ढांचा स्वाभाविक रूप से गैर-प्रतिवर्ती समरूपताओं को शामिल करता है, मौजूदा कार्य की सीमाओं को तोड़ता है
डोमेन दीवार व्याख्या: संशोधित SymTFT को डोमेन दीवारों को सम्मिलित करने वाले बल्क सिद्धांत के रूप में व्याख्या करता है, भौतिक चित्र स्पष्ट और गणितीय रूप से कठोर है
यह पेपर संशोधित समरूपता सिद्धांत में महत्वपूर्ण प्रगति है, श्रेणी-सैद्धांतिक भाषा के माध्यम से एकीकृत और कठोर ढांचा स्थापित करता है। सबसे बड़ी विशेषता संशोधन को स्व-समतुल्यता के रूप में एन्कोड करना और डोमेन दीवारों का उपयोग करके संशोधित SymTFT का निर्माण करने का नवीन विचार है, साथ ही ZN द्विध्रुव समरूपता का पूर्ण कार्यान्वयन है। मुख्य कमियां गैर-तुच्छ उदाहरणों (विशेष रूप से गैर-प्रतिवर्ती स्थितियों) की कमी और भौतिक चित्र की अमूर्तता हैं। फिर भी, यह कार्य भविष्य के अनुसंधान के लिए ठोस आधार स्थापित करता है, विशेष रूप से फ्रैक्टल टोपोलॉजिकल क्रम और उच्च-आयामी संशोधित समरूपता में महत्वपूर्ण मार्गदर्शन मूल्य है। अनुशंसित अनुवर्ती कार्य: (1) अधिक स्पष्ट मॉडल का निर्माण; (2) संख्यात्मक एल्गोरिदम विकास; (3) प्रायोगिक संबंधों की खोज।