S-matrices in the holomorphic modular bootstrap approach

यहाँ Govindarajan, Jain, और Sadanandan द्वारा लिखित शोध पत्र "S-matrices in the holomorphic modular bootstrap approach" (जिसके परिशिष्ट में Kidambi का योगदान है) का विस्तृत तकनीकी सारांश दिया गया है।

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

होलोमॉर्फिक मॉड्यूलर बूटस्ट्रैप (Holomorphic Modular Bootstrap) एक ऐसा ढांचा है जिसका उपयोग Rational Conformal Field Theories (RCFTs) को वर्गीकृत करने के लिए किया जाता है, जिसमें उनके Virasoro characters को एक Modular Linear Differential Equation (MLDE) के स्वतंत्र समाधानों के रूप में माना जाता है।

• चुनौती: जबकि MLDE दृष्टिकोण "सक्षम" (admissible) समाधानों (जिनके $q$-series गुणांक गैर-ऋणात्मक पूर्णांक होते हैं) की पहचान करने में सफल रहा है, यह अक्सर पूर्ण मॉड्यूलर डेटा प्रदान करने में विफल रहता है जो यह सत्यापित करने के लिए आवश्यक है कि कोई समाधान एक भौतिक CFT के अनुरूप है या नहीं।
• विशिष्ट अंतराल (Gap): किसी दिए गए सक्षम समाधान के लिए, S-मैट्रिक्स (जो Verlinde formula के माध्यम से फ्यूजन नियमों को कूटबद्ध करता है) सामान्यतः अज्ञात रहता है जब तक कि MLDE हाइपरजियोमेट्रिक प्रकार का न हो। S-मैट्रिक्स के बिना, फ्यूजन बीजगणित (fusion algebra) को निर्धारित करना या यूनिटैरिटी (unitarity) की पुष्टि करना संभव नहीं है।
• मौजूदा सीमाएँ: S-मैट्रिक्स को पुनः प्राप्त करने के लिए पिछले तरीके अप्रत्यक्ष निर्माणों (जैसे, generalized cosets, Hecke operators, या vector-valued modular forms) पर निर्भर करते हैं, जिन्हें अक्सर बाहरी इनपुट या द्वैत सिद्धांतों (dual theories) के ज्ञान की आवश्यकता होती है, न कि S-मैट्रिक्स को सीधे MLDE से प्राप्त करने की।

2. कार्यप्रणाली (Methodology)

लेखक connection formulae और Galois symmetry का उपयोग करके MLDE ढांचे के भीतर सीधे S-मैट्रिक्स की गणना करने के लिए एक नवीन, अंतर्निहित (intrinsic) विधि प्रस्तावित करते हैं।

A. Connection Matrices के माध्यम से संख्यात्मक निर्धारण

1. चर रूपांतरण (Variable Transformation): MLDE का विश्लेषण चर $z = J(\tau)/1728$ में किया जाता है, जहाँ $J$ क्लेन इनवेरिएंट (Klein invariant) है। विलक्षण बिंदु (singular points) $z=0, 1, \infty$ हैं।
   • $z=0$ T-मैट्रिक्स (monodromy) के अनुरूप है।
   • $z=1$ S-मैट्रिक्स (monodromy) के अनुरूप है।
   • $z=\infty$ U-मैट्रिक्स के अनुरूप है।
2. स्थानीय समाधान (Local Solutions): लेखक $w = 1/z$ में चर बदलते हैं ताकि T-मैट्रिक्स को $w=0$ पर मोनोड्रोमी और S-मैट्रिक्स को $w=1$ पर मोनोड्रोमी के साथ संरेखित किया जा सके।
3. Frobenius Series: वे Frobenius power series विधि का उपयोग करके $w=0$ के आसपास स्थानीय आधार (local basis) $B_0(w)$ और $u=1-w=0$ के आसपास $B_1(u)$ का निर्माण करते हैं।
4. मिलान (Matching): दोनों आधारों को एक मध्यवर्ती नियमित बिंदु $w_0 = 1/2 + \epsilon$ पर मिलाया जाता है। इससे Connection Matrix $C$ को हल करने के लिए एक रैखिक प्रणाली प्राप्त होती है, जो दोनों आधारों को जोड़ती है:
   $$B_1(1-w_0) = C \cdot B_0(w_0)$$
5. S-Matrix निष्कर्षण: एक बार $C$ निर्धारित हो जाने के बाद, S-मैट्रिक्स को समानता रूपांतरण (similarity transformation) के माध्यम से निकाला जाता है:
   $$S = C^{-1} \cdot M_1 \cdot C$$
   जहाँ $M_1$ $w=1$ पर विकर्ण मोनोड्रोमी मैट्रिक्स है।

B. साइक्लोटोमिक पूर्णांकता (Cyclotomic Integrality) के माध्यम से सटीक पुनर्निर्माण

S-मैट्रिक्स प्रविष्टियों के संख्यात्मक अनुमानों को RCFTs के संख्या-सिद्धांत गुणों का उपयोग करके सटीक बीजगणितीय संख्याओं में परिवर्तित किया जाता है:

1. Galois Symmetry: सामान्यीकृत S-मैट्रिक्स ($\bar{S} = S/S_{00}$) की प्रविष्टियाँ एक साइक्लोटोमिक विस्तार $\mathbb{Z}[\zeta_{\bar{N}}]$ के पूर्णांक वलय (ring of integers) में स्थित होती हैं, जहाँ $\bar{N}$ सामान्यीकृत T-मैट्रिक्स का क्रम है।
2. पूर्णांक आधार (Integer Basis): लेखक प्रत्येक प्रविष्टि $\bar{S}_{ij}$ को $\mathbb{Z}[\zeta_{\bar{N}}]$ के आधार तत्वों के पूर्णांक गुणांकों के एक रैखिक संयोजन के रूप में व्यक्त करते हैं।
3. अनुकूलन (Optimization): संख्यात्मक अनुमान और बीजगणितीय रूप के बीच के अंतर को पूर्णांकों की एक सीमा पर न्यूनतम करके, वे अद्वितीय रूप से सटीक पूर्णांक गुणांकों की पहचान करते हैं, जिससे सटीक S-मैट्रिक्स प्राप्त होता है।

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

• अंतर्निहित S-Matrix गणना: यह शोध पत्र बाहरी द्वैतता या ज्ञात जनक सिद्धांतों (parent theories) पर निर्भर हुए बिना, MLDE ढांचे के भीतर पूरी तरह से S-मैट्रिक्स की गणना करने की पहली विधि प्रदान करता है।
• हाइपरजियोमेट्रिक मामलों से परे विस्तार: हाइपरजियोमेट्रिक MLDEs तक सीमित पिछले तरीकों के विपरीत, यह दृष्टिकोण गैर-हाइपरजियोमेट्रिक समीकरणों (जैसे, accessory parameters वाले) पर भी लागू होता है।
• विकृतियों (Degeneracies) का समाधान: यह विधि कभी-कभी पात्रों (characters) की विकृतियों (multiplicities) को ठीक कर सकती है, जो अन्यथा MLDE दृष्टिकोण में संदिग्ध होती हैं।
• गैर-यूनिटरी सिद्धांतों को संभालना: लेखक गैर-यूनिटरी CFTs (जहाँ निम्नतम आयाम का ऑपरेटर आइडेंटिटी नहीं है) से उत्पन्न होने वाली जटिलताओं को संबोधित करते हैं, जिसमें भौतिक आइडेंटिटी को निम्नतम आयाम के ऑपरेटर से जोड़ने के लिए Galois symmetries (Galois shuffles) का उपयोग किया जाता है।
• परिशिष्ट प्रमाण: अबिराम किदाम्बी एक संक्षिप्त प्रमाण प्रदान करते हैं जो पुष्टि करता है कि S-मैट्रिक्स प्रविष्टियाँ साइक्लोटोमिक रिंग $\mathbb{Z}[\zeta_{\bar{N}}]$ में आती हैं, जो सटीक पुनर्निर्माण चरण को न्यायसंगत बनाता है।

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

लेखक अपने तरीके को कई वर्गों के सिद्धांतों पर सत्यापित करते हैं:

• (3, 3) सिद्धांत: उन्होंने एक ज्ञात गैर-हाइपरजियोमेट्रिक सिद्धांत ($c=48/7$) और एक नए मामले ($c=5$ जहाँ $S_{00}=0$) के लिए S-मैट्रिक्स को पुनः प्राप्त किया। दूसरे मामले में, उन्होंने सफलतापूर्वक Coste-Gannon परिणाम को लागू किया (प्रविष्टियाँ $\mathbb{Q}(\zeta_N)$ में हैं), भले ही उस सिद्धांत में संगत CFT की कमी हो सकती है।
• (4, 0) और (4, 2) सिद्धांत:
  • Lee-Yang minimal model tensor product से जुड़े एक गैर-यूनिटरी सिद्धांत ($c_{eff}=6/5$) के लिए S-मैट्रिक्स को पुनः प्राप्त किया।
  • एक नए $(4, 2)$ सिद्धांत ($c=8/3$) के लिए S-मैट्रिक्स निर्धारित किया, जो एक छह-प्राइमरी (six-primary) CFT की पहचान करता है।
• (5, 0) और (5, 2) सिद्धांत: उन्होंने Thompson समूह और Monster समूह (conjugacy class 3C) से संबंधित GHM-dual सिद्धांतों के एक जोड़े का विश्लेषण किया। संख्यात्मक विधि ने दोनों द्वैतों (duals) के लिए समान S-मैट्रिक्स दिए, जो दृष्टिकोण की निरंतरता की पुष्टि करते हैं। प्रविष्टियों को $\mathbb{Z}[\zeta_{11}]$ के तत्वों के रूप में सफलतापूर्वक पहचाना गया।

5. महत्व और भविष्य की दिशाएँ (Significance and Future Directions)

• बूटस्ट्रैप को पूर्ण करना: यह विधि होलोमॉर्फिक मॉड्यूलर बूटस्ट्रैप में एक प्रमुख बाधा को दूर करती है, जिससे शोधकर्ताओं को बाहरी इनपुट के बिना सक्षम समाधानों (फ्यूजन नियमों सहित) को पूरी तरह से चित्रित करने की अनुमति मिलती है।
• नया भौतिक विज्ञान: यह नए RCFTs और Modular Tensor Categories (MTCs) की व्यवस्थित खोज को सक्षम बनाता है, जिससे प्राप्त S-मैट्रिक्स के आधार पर सक्षम समाधानों को फ़िल्टर किया जा सकता है।
• सैद्धांतिक खुले प्रश्न: लेखक इस बात पर प्रकाश डालते है कि हालांकि वे यह मान रहे हैं कि Galois symmetry सभी सक्षम समाधानों (न केवल भौतिक RCFTs) के लिए लागू होती है, लेकिन MLDEs के लिए Differential Galois Theory का उपयोग करके एक कठोर प्रमाण अभी भी एक खुला प्रश्न है।
• F और R Symbols: शोध पत्र सुझाव देता है कि इन कनेक्शन-मैचिंग तकनीकों का उपयोग संभावित रूप से F-symbols (कॉन्फॉर्मल ब्लॉक्स की साहचर्यता) और R-symbols की गणना के लिए किया जा सकता है, जो वर्तमान में कई उच्च-रैंक (higher-rank) सिद्धांतों के लिए अज्ञात हैं।

संक्षेप में, यह कार्य MLDE के संख्यात्मक समाधानों और RCFTs की सटीक बीजगणितीय संरचना के बीच के अंतर को पाटता है, जो कि Rational Conformal Field Theories के पूर्ण मॉड्यूलर डेटा को निर्धारित करने के लिए एक मजबूत, स्व-निहित एल्गोरिदम प्रदान करता है।