Bootstrapping Symmetries in Quantum Many-Body Systems from the Cross Spectral Form Factor

यहाँ चेन बाई, ज़िहान झोउ, बास्टियन लैपिएरे और शिनसेई र्यू के शोध पत्र "Bootstrapping Symmetries in Quantum Many-Body Systems from the Cross Spectral Form Factor" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

सममिति (Symmetries) क्वांटम मेनी-बॉडी भौतिकी को व्यवस्थित करने, अवस्था संक्रमण (phase transitions) को नियंत्रित करने और पदार्थ की अवस्थाओं को वर्गीकृत करने के लिए मौलिक हैं। हालाँकि, छिपी हुई सममितियों (hidden symmetries) को पहचानना—जो हैमिल्टनियन के स्थानीय ऑपरेटरों में स्पष्ट नहीं होतीं या गैर-स्थानीय जनरेटरों (non-local generators), उभरते हुए बीजगणितीय संरचनाओं (emergent algebraic structures), या हिल्बर्ट स्पेस विखंडन (Hilbert space fragmentation) से उत्पन्न होती हैं—एक महत्वपूर्ण चुनौती बनी हुई है।

मौजूदा विधियाँ दो श्रेणियों में आती हैं, जिनमें दोनों की सीमाएँ हैं:

• बीजगणितीय विधियाँ (Algebraic Methods): ये हैमिल्टनियन के कम्यूटेंट बीजगणित (commutant algebra) का निर्माण करती हैं। यद्यपि सिद्धांत रूप में ये सटीक हैं, लेकिन इन्हें वेवफंक्शंस (wavefunctions) तक स्पष्ट पहुँच की आवश्यकता होती है और सिस्टम के आकार के साथ इनकी जटिलता तेजी से (exponentially) बढ़ती है।
• स्पेक्ट्रल विधियाँ (Spectral Methods): ये स्तर-स्पेस सांख्यिकी (जैसे कि गैप रेश्यो) का उपयोग छिपी हुई सममितियों की उपस्थिति का पता लगाने या सममिति क्षेत्रों (symmetry sectors) की संख्या का अनुमान लगाने के लिए करती हैं। हालाँकि, ये "कोर्स" (coarse) डायग्नोस्टिक्स हैं; ये विशिष्ट सममिति समूह को पहचान नहीं सकतीं, अपरिवर्तनीय निरूपणों (irreducible representations - irreps) की गणना नहीं कर सकतीं, या बीजगणितीय संरचना (fusion rules, character tables) निर्धारित नहीं कर सकतीं।

अंतराल (The Gap): स्पेक्ट्रल डेटा का उपयोग करके, बिना किसी पूर्व ज्ञान के, छिपी हुई सममिति समूह $G$ के पूर्ण प्रतिनिधित्व-सैद्धांतिक डेटा (representation-theoretic data) को पुनर्गठित करने के लिए कोई व्यवस्थित विधि उपलब्ध नहीं है।

2. कार्यप्रणाली: बूटस्ट्रैप ढांचा (Methodology: The Bootstrap Framework)

लेखक एक बूटस्ट्रैप ढांचे का प्रस्ताव करते हैं जो संख्यात्मक स्पेक्ट्रल डेटा को बीजगणितीय निरंतरता शर्तों (algebraic consistency conditions) के साथ जोड़कर एक छिपे हुए परिमित समूह $G$ के प्रतिनिधित्व सिद्धांत (representation theory) का पुनर्गठन करता है।

A. भौतिक सेटअप और इनपुट (Physical Setup and Inputs)

• ज्ञात उपसमूह ($N$): यह विधि आंशिक ज्ञान मानकर चलती है: एक उपसमूह $N \subset G$ ज्ञात है (इसके जनरेटर और irreps सुलभ हैं)। हिल्बर्ट स्पेस को $N$-सममिति क्षेत्रों में विभाजित किया जा सकता है।
• अज्ञात तत्व (Unknowns): पूर्ण समूह $G$, इसके irreps, और महत्वपूर्ण रूप से, ब्रांचिंग मल्टीप्लिसिटीज (branching multiplicities) ($b_{\lambda, \alpha}$), जो यह वर्णन करती हैं कि $G$ का प्रत्येक irrep $\lambda$ के प्रतिबंध (restriction) पर कैसे विभाजित होता है।

B. क्रॉस स्पेक्ट्रल फॉर्म फैक्टर (xSFF)

छिपी हुई ब्रांचिंग मल्टीप्लिसिटीज पर प्रतिबंध लगाने के लिए लेखक एक नया अवलोकन योग्य (observable) पेश करते हैं: क्रॉस स्पेक्ट्रल फॉर्म फैक्टर (xSFF)।

• परिभाषा: यह मानक स्पेक्ट्रल फॉर्म फैक्टर (SFF) का एक सामान्यीकरण है जो ज्ञात उपसमूह $N$ के विभिन्न सममिति क्षेत्रों के बीच क्रॉस-सहसंबंधों (cross-correlations) को मापता है।
  $$K^{(N)}_{\lambda_a, \lambda_b}(t) = \text{Re} \left\langle \frac{\text{tr}[P_{\lambda_a} U(t)] \text{tr}[P_{\lambda_b} U^\dagger(t)]}{d_{\lambda_a} d_{\lambda_b}} \right\rangle$$
  जहाँ $P_\lambda$, $N$-irrep सेक्टर $\lambda$ पर प्रोजेक्ट करता है।
• भौतिक अंतर्दृष्टि: जबकि SFF का मध्यवर्ती-समय रैंप (intermediate-time ramp) अराजकता (chaos) बनाम एकीकरण (integrability) पर निर्भर करता है, विलंब-समय प्लेटो (late-time plateau) सार्वभौमिक होता है। xSFF प्लेटो की ऊँचाई पूरी तरह से ब्रांचिंग नियमों (branching rules) और मल्टीप्लिसिटी स्पेस के आयामों द्वारा निर्धारित होती है, जो सिस्टम की गतिशील प्रकृति (चाहे वह अराजक हो या एकीकृत) से स्वतंत्र होती है।
• व्युत्पन्न प्रतिबंध (Constraints Derived):
  1. गैर-शून्य प्लेटो (Non-vanishing Plateaus): यदि $K^{(N)}_{\lambda_a, \lambda_b} > 0$, तो संगत ग्राम मैट्रिक्स तत्व $G_{\lambda_a \lambda_b} = \sum_\alpha b_{\lambda_a, \alpha} b_{\lambda_b, \alpha}$ को धनात्मक होना चाहिए।
  2. डिजेनरेट प्लेटो (Degenerate Plateaus): यदि $K^{(N)}_{\lambda_a, \lambda_a} = K^{(N)}_{\lambda_b, \lambda_b} = K^{(N)}_{\lambda_a, \lambda_b}$, तो ब्रांचिंग वेक्टर समान हैं ($\vec{b}_{\lambda_a} = \vec{b}_{\lambda_b}$)।
  3. मल्टीप्लिसिटी-फ्री चेक (Multiplicity-Free Check): डायगोनल प्लेटो की सैद्धांतिक बेंचमार्क लाइनों के साथ तुलना करने से यह निर्धारित होता है कि क्या ब्रांचिंग मल्टीप्लिसिटीज $\{0, 1\}$ तक सीमित हैं।

C. बूटस्ट्रैप एल्गोरिदम (The Bootstrap Algorithm)

एल्गोरिदम एक ऐसे संभावित समूह $G$ (जो इसके रैंक $r$, यानी irreps की संख्या द्वारा पैरामीटराइज्ड है) की खोज करता है जो निम्नलिखित को संतुष्ट करता है:

1. संख्यात्मक प्रतिबंध (Numerical Constraints): xSFF प्लेटो (ब्रांचिंग वेक्टर प्रकार और डिजेनेरेसी) से प्राप्त।
2. बीजगणितीय प्रतिबंध (Algebraic Constraints):
   • मोनोइडलिटी (Monoidality): प्रतिबंधित निरूपणों का फ्यूजन (fusion), फ्यूज किए गए निरूपणों के प्रतिबंध के बराबर होना चाहिए (Eq. 21)।
   • आयामीता (Dimensionality): $\sum N_{\alpha_i \alpha_j}^{\alpha_k} d_{\alpha_k} = d_{\alpha_i} d_{\alpha_j}$।
   • एसोसिएटिविटी और कम्यूटेटिविटी (Associativity & Commutativity): मानक फ्यूजन बीजगणित गुण।
   • रिजिडिटी (Rigidity): ड्यूल निरूपणों (dual representations) और एकता (unity) की स्थिति का अस्तित्व।
3. आउटपुट: एल्गोरिदम ब्रांचिंग मैट्रिक्स $B_{\lambda, \alpha}$, फ्यूजन गुणांक $N_{\alpha_i \alpha_j}^{\alpha_k}$, और $G$ की कैरेक्टर टेबल (character table) आउटपुट करता है।

एल्गोरिदम लीनियर रिप्रेजेंटेशन (मानक समूह) और को-रिप्रेजेंटेशन (मैग्नेटिक समूह जिनमें एंटी-यूनिटरी सममिति होती है) दोनों को संभालता है।

3. मुख्य योगदान (Key Contributions)

1. xSFF का परिचय: एक नया स्पेक्ट्रल ऑब्जर्वेबल जो ब्रांचिंग स्ट्रक्चर की जानकारी को एनकोड करता है, जो कोर्स स्पेक्ट्रल स्टैटिस्टिक्स और विस्तृत बीजगणितीय पहचान के बीच के अंतर को पाटता है।
2. व्यवस्थित पुनर्गठन (Systematic Reconstruction): एक कम्प्यूटेशनल प्रोटोकॉल जो केवल स्पेक्ट्रल डेटा और एक ज्ञात उपसमूह का उपयोग करके, छिपे हुए सममिति समूहों और उनके पूर्ण प्रतिनिधित्व सिद्धांत (irreps, dimensions, fusion rules, character tables) को अनूठे रूप से पहचानता है।
3. जटिलता का प्रबंधन (Handling Complexity): यह ढांचा सफलतापूर्वक निम्नलिखित को संबोधित करता है:
   • गैर-स्थानीय छिपी हुई सममिति (Kennedy-Tasaki रूपांतरण)।
   • उच्च ब्रांचिंग मल्टीप्लिसिटीज (multiplicity-free बनाम non-free)।
   • एंटी-यूनिटरी सममिति और गैर-सामान्य (non-normal) उपसमूह।
   • प्रोजेक्टिव रिप्रेजेंटेशन और कॉम्पैक्ट ली समूह (विस्तार)।

4. परिणाम और उदाहरण (Results and Examples)

लेखकों ने अपने ढांचे को कई क्वांटम लैटिस मॉडलों पर सत्यापित किया है:

• उदाहरण I: $S_3$ सममिति (O'Brien-Fendley मॉडल):
  • इनपुट: ज्ञात $Z_3$ उपसमूह।
  • परिणाम: छिपी हुई $S_3$ सममिति को सफलतापूर्वक पुनर्गठित किया, सही ब्रांचिंग नियम, फ्यूजन रिंग और कैरेक्टर टेबल प्राप्त की।
• उदाहरण II: गैर-स्थानीय छिपी हुई सममिति (Kennedy-Tasaki रूपांतरित स्पिन-1 चेन):
  • इनपुट: ज्ञात ऑन-साइट $V_4 \cong Z_2 \times Z_2$ सममिति। वास्तविक सममिति $D_4$ एक गैर-स्थानीय यूनिटरी रूपांतरण द्वारा छिपी हुई है।
  • परिणाम: बूटस्ट्रैप ने बिना किसी स्पष्ट गैर-स्थानीय रूपांतरण को खोजे $D_4$ की पहचान की, जो जटिल ऑपरेटर विश्लेषण को दरकिनार करने की इसकी क्षमता को दर्शाता है।
• उदाहरण III: उच्च ब्रांचिंग मल्टीप्लिसिटीज (विस्तारित Ashkin-Teller मॉडल):
  • इनपुट: ज्ञात $V_4$ उपसमूह।
  • परिणाम: इसने उन मामलों को सफलतापूर्वक संभाला जहाँ ब्रांचिंग मल्टीप्लिसिटीज $b_{\lambda, \alpha} > 1$ थीं, और $S_4$ सममिति समूह को पुनर्गठित किया।
• उदाहरण IV: एंटी-यूनिटरी और गैर-सामान्य उपसमूह (थ्री-स्टेट क्वांटम टोरस चेन):
  • इनपुट: ज्ञात यूनिटरी उपसमूह $N \cong Z_3^2 \rtimes Z_2$।
  • परिणाम:
    • जेनेरिक बिंदुओं पर, को-रिप्रेजेंटेशन थ्योरी के माध्यम से मैग्नेटिक ग्रुप संरचना ($S_3^2$) को सही ढंग से पहचाना।
    • सेल्फ-ड्यूल पॉइंट पर, एक छिपी हुई $Z_3^2 \rtimes Z_4$ सममिति की पहचान की जहाँ ज्ञात उपसमूह सामान्य (normal) नहीं है, जो एक ऐसी स्थिति है जिसे पहले संभालना कठिन था।
• विस्तार (Extensions):
  • प्रोजेक्टिव रिप्रेजेंटेशन: संचालित (driven) Bose-Hubbard मॉडल पर लागू किया गया, $D_8 \times Z_2$ के प्रोजेक्टिव रिप्रेजेंटेशन के संकेतों का पता लगाया।
  • ली समूह (Lie Groups): 1D Fermi-Hubbard मॉडल पर लागू किया गया, $U(1) \times U(1)$ डेटा से प्रसिद्ध $\eta$-पेयरिंग $SO(4)$ सममिति को पुनः प्राप्त किया।

5. महत्व और भविष्य की संभावनाएं (Significance and Outlook)

• सममिति खोज का व्यावहारिक मार्ग: यह कार्य सीधे गतिशील स्पेक्ट्रल ऑब्जर्वेबल्स से छिपी हुई सममितियों को पहचानने के लिए एक व्यावहारिक, डेटा-संचालित मार्ग प्रदान करता है, जो स्पष्ट वेवफंक्शन विश्लेषण या गैर-स्थानीय ऑपरेटरों के अनुमान की आवश्यकता को समाप्त करता है।
• सार्वभौमिकता (Universality): यह विधि अराजक (chaotic) और एकीकृत (integrable) दोनों प्रणालियों के लिए काम करती है, क्योंकि विलंब-समय प्लेटो एक सार्वभौमिक विशेषता है जो सममिति संरचना द्वारा निर्धारित होती है।
• प्रायोगिक व्यवहार्यता (Experimental Feasibility): लेखक क्वांटम सिम्युलेटर्स (हालिया SFF प्रयोगों के समान) पर रैंडमाइज्ड मेजरमेंट्स का उपयोग करके xSFF मापने के लिए एक प्रोटोकॉल प्रस्तावित करते हैं, जिससे यह निकट-अवधि के क्वांटम उपकरणों के लिए एक व्यवहार्य उपकरण बन जाता है।
• भविष्य की दिशाएं: यह ढांचा सामान्यीकृत सममितियों (गैर-इन्वर्टिबल, हायर-फॉर्म), उच्च-मोमेंट xSFF के माध्यम से F-सिंबल निकालने, और केवल हैमिल्टनियन के बजाय क्वांटम अवस्थाओं (वेवफंक्शंस) पर समान बूटस्ट्रैप तकनीकों को लागू करने के द्वार खोलता है।

संक्षेप में, यह शोध पत्र एक शक्तिशाली "स्पेक्ट्रल बूटस्ट्रैप" स्थापित करता है जो कच्चे ऊर्जा-स्तर सहसंबंधों (energy-level correlations) को छिपी हुई सममितियों के पूर्ण बीजगणितीय विवरण में बदल देता है, जो क्वांटम मेनी-बॉडी सिस्टम के विश्लेषण के टूलकिट को मौलिक रूप से उन्नत करता है।