$p$-Body $\simeq$ Range $p-1$: Exact Order-Range Mapping and Dual-Unitarity

तकनीकी सारांश: $p$-Body $\simeq$ Range $p-1$: सटीक क्रम-सीमा मानचित्रण और द्वैत-एकीकृतता (Dual-Unitarity)

समस्या विवरण
परस्पर क्रिया करने वाले क्वांटम अनेक-निकाय प्रणालियों (many-body systems) की गैर-संतुलन गतिशीलता (non-equilibrium dynamics) को समझना एक केंद्रीय चुनौती है, क्योंकि हिल्बर्ट स्पेस के आयाम का घातांकीय विकास होता है। यद्यपि स्थान-समय समरूपताओं, विशेष रूप से द्वैत-एकीकृतता (dual-unitarity) पर आधारित विश्लेषणात्मक रूप से सुलभ मॉडल, सहसंबंध फलनों (correlation functions), एंटैंगलमेंट प्रसार (entanglement spreading) और स्पेक्ट्रल फॉर्म फैक्टर्स के लिए सटीक समाधान प्रदान करते हैं, मौजूदा ढांचे मुख्य रूप से द्वि-निकाय (two-body) अंतःक्रियाओं पर निर्भर करते हैं। यद्यपि वास्तविक बहु-निकाय (multi-body) अंतःक्रियाएं लैटिस गेज सिद्धांतों, प्रभावी स्पिन हैमिल्टोनियन (ring-exchange प्रक्रियाओं के साथ), और क्वांटॉन सूचना मॉडलों में स्वाभाविक रूप से उत्पन्न होती हैं, निरंतर $p$-body अंतःक्रियाओं वाले द्वैत-एकीकृत फ्लोकेट मॉडलों (dual-unitary Floquet models) के निर्माण और विश्लेषण के लिए व्यवस्थित विधियों का अभाव है।

कार्यप्रणाली (Methodology)
लेखक निरंतर $p$-body अंतःक्रियाओं वाले एक आयामी स्पिन-1/2 आइसिंग मॉडल के आवर्ती किक (periodically kicked) संस्करण को प्रस्तुत करते हैं। यह प्रणाली इस हैमिल्टोनियन द्वारा परिभाषित है:
$$H^{(pB)} = \sum_{j=1}^L J \sigma_j^z \sigma_{j+1}^z \cdots \sigma_{j+p-1}^z + \sum_{j=1}^L b \sigma_j^x + \sum_{j=1}^L h_j \sigma_j^z$$
जो आवधिक सीमा स्थितियों (periodic boundary conditions) के अधीन है। गतिशीलता फ्लोकेट विकास ऑपरेटर $U^{(pB)}_{KFIM} = U_K U_I$ द्वारा शासित होती है, जहाँ $U_K = e^{-iH_K}$ और $U_I = e^{-iH_I}$ है।

मुख्य कार्यप्रणाली एक सटीक अंतःक्रिया क्रम-सीमा मानचित्रण (exact interaction order–range mapping) स्थापित करना है। $J$ के मान ($J = n\pi/4$ जहाँ $n$ एक पूर्णांक है) को विशिष्ट मानों के लिए ट्यून करके, लेखक पाउली मैट्रिसेस से संबंधित बीजगणितीय पहचानों का उपयोग करते हैं ताकि $p$-body अंतःक्रिया पद को विघटित किया जा सके। विशेष रूप से, वे सिद्ध करते हैं कि इन विशिष्ट सामर्थ्यों के लिए, $p$-body अंतःक्रिया ऑपरेटर के चरघातांकीय (exponential) को एक ऐसे ऑपरेटर में सटीक रूप से मैप किया जा सकता है जिसमें केवल 2-body अंतःक्रियाएं और अधिकतम सीमा (range) $p-1$ है, एक वैश्विक चरण (global phase) तक।

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

1. सटीक क्रम-सीमा मानचित्रण प्रमेय (Exact Order–Range Mapping Theorem):
   प्राथमिक परिणाम प्रमेय 1 है, जो बताता है कि $J = n\pi/4$ के लिए एक $p$-body आइसिंग मॉडल हेतु, फ्लोकेट विकास ऑपरेटर $U^{(pB)}_{KFIM}$ एक स्पिन-1/2 मॉडल के फ्लोकेट विकास ऑपरेटर के बिल्कुल समान है जिसमें 2-body अंतःक्रियाएं और अधिकतम सीमा $p-1$ है ($U^{(p-1)R}$)।

• मैप्ड हैमिल्टोनियन $H^{((p-1)R)}_{KFIM}$ किक संरचना को बनाए रखता है लेकिन इसमें एक विशिष्ट युग्मन प्रोफाइल (coupling profile) होता है: निकटतम-पड़ोसी युग्मन $(p-1)$ द्वारा भारित होते हैं, अगले-निकटतम $(p-2)$ द्वारा, और इसी तरह सीमा $p-1$ तक।
• यह मानचित्रण किकिंग स्ट्रेंथ $b$ से स्वतंत्र है और स्थानीय क्षेत्रों $h_j$ के सामान्य मानों के लिए भी मान्य है।

2. $p$-Body द्वैत-एकीकृत मॉडल का निर्माण:
   किकिंग स्ट्रेंथ को $|b| = \pi/4$ और अंतःक्रिया सामर्थ्य को $|J| = \pi/4$ तक और अधिक ट्यून करके, मैप्ड रेंज-$(p-1)$ मॉडल द्वैत-एकीकृतता की शर्तों को पूरा करता है (जैसा कि पूर्व साहित्य में दीर्घ-परासी किक किए गए आइसिंग श्रृंखलाओं के लिए स्थापित किया गया है)। फलस्वरूप, मूल $p$-body मॉडल को द्वैत-एकीकृत (dual-unitary) सिद्ध किया गया है। यह निरंतर $p$-body किक किए गए-आइसिंग फ्लोकेट मॉडल का पहला ठोस प्रमाण प्रदान करता है जो द्वैत-एकीकृत है।

3. $p=3$ मामले और श्रृंखला समता (Chain Parity) का विश्लेषण:
   लेखक न्यूनतम मामले $p=3$ (3-body अंतःक्रियाएं) का विश्लेषण करते हैं।

• सम निकाय आकार ($L$): मैप्ड मॉडल दो स्वतंत्र श्रृंखलाओं में विभाजित हो जाता है (एक विषम साइटों पर, एक सम साइटों पर), जिनमें से प्रत्येक में निकटतम-पड़ोसी अंतःक्रियाएं होती हैं। यह पॉइसन वितरण (Poissonian) स्तर अंतराल सांख्यिकी की ओर ले जाता है, जो विलगित (decoupled) क्षेत्रों के भीतर समाकलनीय (integrable) गतिशीलता का संकेत देता है।
• विषम निकाय आकार ($L$): आवधिक सीमा स्थितियों के कारण, दोनों क्षेत्र आपस में जुड़ जाते हैं, जिससे एक एकल जुड़ी हुई श्रृंखला प्राप्त होती है जो साइट पुन: लेबलिंग के बाद मानक किक किए गए आइसिंग मॉडल (KFIM) के समकक्ष होती है। यह विग्नर-डायसन (Wigner-Dyson) स्तर अंतराल सांख्यिकी (सर्कुलर ऑर्थोगोनल एनसेम्बल) प्रदान करता है, जो क्वांटम अराजकता (quantum chaos) का संकेत है।
• यह समता निर्भरता सभी विषम $p$ के लिए कोरोलरी 1 में सामान्यीकृत की गई है।

4. सटीक एंटैंगलमेंट गतिशीलता (Exact Entanglement Dynamics):
   मैप्ड मॉडल की द्वैत-एकीकृतता का लाभ उठाते हुए, लेखक विशिष्ट समाधान योग्य प्रारंभिक अवस्थाओं (ट्रांसवर्स $T$ और लॉन्गिट्यूडिनल $L$ प्रकार) के लिए $\alpha$-रेनी एंटैंगलमेंट एंट्रॉपी $S^{(\alpha)}_A(t)$ के सटीक व्यंजक प्राप्त करते हैं।

• बड़े सिस्टम आकार के लिए, एंटैंगलमेंट एंट्रॉपी समय के साथ रैखिक रूप से बढ़ती है: $\lim_{L\to\infty} S^{(\alpha)}_A(t) = \min(2(p-1)t, N) \ln(2)$।
• वृद्धि दर मैप्ड अंतःक्रियाओं की अधिकतम सीमा ($p-1$) द्वारा निर्धारित होती है।
• $p=3$ और $p=4$ के लिए संख्यात्मक सिमुलेशन इन रैखिक वृद्धि व्यवस्थाओं और संतृप्ति मानों की पुष्टि करते हैं, जो सैद्धांतिक मानचित्रण को मान्य करते हैं।

महत्व और दावे
यह शोध पत्र $p$-body द्वैत-एकीकृत फ्लोकेट मॉडलों के निर्माण और अध्ययन के लिए एक व्यवस्थित मार्ग प्रदान करने का दावा करता है। यह प्रदर्शित करके कि विशिष्ट $p$-body अंतःक्रियाओं को सटीक रूप से दीर्घ-परासी 2-body अंतःक्रियाओं में बदला जा सकता है, यह कार्य जटिल बहु-निकाय प्रणालियों और द्वैत-एकीकृतता के समाधान योग्य ढांचे के बीच के अंतर को पाटता है।

लेखक इस बात पर जोर देते हैं कि यह निरंतर $p$-body किक किए गए-आइसिंग मॉडल का पहला ठोस प्रमाण है जो द्वैत-एकीकृत है। यह कार्य किसी भी मापदंडों के लिए सामान्य गैर-संतुलन गतिशीलता को हल करने का दावा नहीं करता है, बल्कि विशिष्ट अंतःक्रिया सामर्थ्यों के लिए सटीक समाधान क्षमता स्थापित करता है। इसका महत्व वास्तविक बहु-निकाय अंतःक्रियाओं को शामिल करने के लिए विश्लेषणात्मक रूप से सुलभ मॉडलों की श्रेणी का विस्तार करने में निहित है, जिससे उच्च-क्रम अंतःक्रिया वाले तंत्रों में क्वांटम अराजकता, एंटैंगलमेंट प्रसार और स्पेक्ट्रल सांख्यिकी का अध्ययन करने के लिए नए मंच मिलते हैं। लेखक उल्लेख करते हैं कि हालांकि यह मानचित्रण स्पिन-1/2 प्रणालियों के लिए व्युत्पन्न किया गया है, फिर भी इसकी अपेक्षा कि-किए गए पॉट्स मॉडल के $p$-body सामान्यीकरणों तक विस्तृत होगी, जो $d=3, 4$ स्थानीय आयामों वाले द्वैत-एकीकृत मॉडल की ओर ले जा सकती है।