Interpretable Analytic Calabi-Yau Metrics via Symbolic Distillation

तकनीकी सारांश: प्रतीकात्मक आसवन (Symbolic Distillation) के माध्यम से व्याख्या योग्य विश्लेषणात्मक कैलाबी-यौ (Calabi–Yau) मेट्रिक्स

समस्या विवरण
यह शोध पत्र संक्षिप्त, विश्लेषणात्मक रिची-फ्लैट (Ricci-flat) कैलाबी-यौ (CY) मेट्रिक्स प्राप्त करने की चुनौती को संबोधित करता है। यद्यपि यौ का प्रमेय (Yau's theorem) ऐसे मेट्रिक्स के अस्तित्व की गारंटी देता है, लेकिन यह बंद-रूप सूत्र (closed-form formulas) प्रदान नहीं करता है। वर्तमान संख्यात्मक दृष्टिकोण, जैसे कि डोनाल्डसन का बैलेंस्ड-मेट्रिक कार्यक्रम, सटीक सन्निकटन तो देते हैं लेकिन इनके परिणामस्वरूप बड़े बीजगणितीय ऑब्जेक्ट्स (जैसे $H$-मैट्रिक्स) प्राप्त होते हैं, न कि संरचनात्मक, व्याख्या योग्य सूत्र। लेखक इस मेट्रिक से प्राप्त एक विशिष्ट, ज्यामितीय रूप से सार्थक स्केलर अवलोकनीय (observable) पर ध्यान केंद्रित करते हैं: पॉइंटवाइज लॉग-डिटरमिनेंट-रेशियो, $R_\psi(z) = \log(\det g_{RF}(z; \psi) / \det g_{FS}(z))$। यह अवलोकनीय फ्युबिनी-स्टुडी (Fubini–Study) बेसलाइन से विचलन को मापता है। केंद्रीय प्रश्न यह है कि क्या इस स्केलर फील्ड को कुछ चुनिटे प्रोजेक्टिव इनवेरियंट्स (projective invariants) का उपयोग करके संक्षिप्त रूप में वर्णित किया जा सकता है और क्या ऐसा वर्णन कॉम्प्लेक्स-स्ट्रक्चर मॉडुलि (complex-structure moduli) के पार स्थिर रहता है।

कार्यप्रणाली
लेखक एक "प्रतीकात्मक आसवन" (symbolic distillation) रणनीति का उपयोग करते हैं, जिसमें एक उच्च-सटीकता वाले संख्यात्मक समाधान को एक 'टीचर' के रूप में मानकर उसे एक विरल (sparse) प्रतीकात्मक सूत्र में संकुचित किया जाता है।

1. बीजगणितीय टीचर निर्माण:

   • अध्ययन ड्वार्क क्विंटिक परिवार (Dwork quintic family) पर केंद्रित है, जिसे $\sum z_i^5 - 5\psi \prod z_i = 0$ द्वारा परिभाषित किया गया है।
   • पॉलीनोमियल डिग्री $k=10$ (आधार आकार 875) पर डोनाल्डसन का बैलेंस्ड-मेट्रिक एल्गोरिदम लागू किया गया है ताकि एक बीजगणितीय टीचर मेट्रिक ($g_{alg}$) उत्पन्न किया जा सके।
   • "रिची-फ्लैटनेस इंडिकेटर" $\sigma(\eta)$, जो $\eta = \det(g) |\Omega|^2 / \det(g_{FS})$ का मानक विचलन है, का उपयोग टीचर के सत्यापन के लिए किया जाता है। फर्माट पॉइंट ($\psi=0$) पर, $\sigma \approx 0.65\%$ है, जो एक उच्च-गुणवत्ता वाले सन्निकटन को दर्शाता है। विरूपित बिंदुओं ($\psi \in [0.2, 0.8]$) पर, $\sigma \approx 8-9\%$ है, जो स्थानीय अन्वेषणात्मक टीचर्स के रूप में कार्य करता है।
   • डेटा $10^5$ बिंदुओं को क्विंटिक पर रैंडम कॉम्प्लेक्स लाइनों के प्रतिच्छेदन के माध्यम से नमूना लेकर (sampling) जनरेट किया गया है, जिसे $\sum |z_i|^2 = 1$ के रूप में सामान्यीकृत (normalize) किया गया है।

2. प्रतिबंधित फीचर स्पेस (Restricted Feature Space):

   • पूर्ण इनवेरिएंट अलजेब्रा के बजाय, लेखक रिग्रेशन को कोऑर्डिनेट मॉडुलि $|z_i|^2$ के परम्यूटेशन-सिमेट्रिक फलनों तक सीमित करते हैं।
   • उम्मीदवार फीचर सेट में पावर सम $p_k = \sum |z_i|^{2k}$ और एलिमेंट्री सिमेट्रिक पॉलिनोमिअल्स $e_k$ शामिल हैं।
   • अध्ययन विशेष रूप से दो सबसे निचले क्रम के गैर-तुच्छ जनरेटरों, $p_2$ और $\sigma_3 = e_3$ की पर्याप्तता का परीक्षण करता है।

3. प्रतीकात्मक रिग्रेशन (Symbolic Regression):

   • PySR लाइब्रेरी का उपयोग $(p_2, \sigma_3)$ को लक्ष्य $R_\psi$ से मैप करने वाले संक्षिप्त सूत्रों की खोज के लिए किया गया है।
   • खोज स्थान (search space) में मानक अंकगणितीय ऑपरेटर, लॉगरिदम और वर्गमूल शामिल हैं।
   • मॉडल चयन लॉस (loss) और जटिलता के बीच संतुलन बनाने वाले पारेटो मानदंड (Pareto criterion) का उपयोग करता है।

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

1. अवलोकनीय की निकट-द्वि-आयामीता (Near-Two-Dimensionality):

   • एब्लेशन अध्ययन: प्रतिबंधित सिमेट्रिक फीचर क्लास के भीतर, अवलोकनीय $R_\psi$ लगभग पूरी तरह से केवल दो कोऑर्डिनेट्स, $p_2$ और $\sigma_3$ द्वारा कैप्चर किया गया है।
   • डिग्री-3 पॉलिनोमियल मॉडल में उच्च-क्रम के सिमेट्रिक जनरेटरों ($e_4, e_5, p_3, \dots$) को जोड़ने से होल्ड-आउट टेस्ट $R^2$ में $10^{-3}$ से भी कम की वृद्धि होती है (0.9447 से 0.9453)।
   • यह सुझाव देता है कि इस विशिष्ट फीचर क्लास के भीतर, अवलोकनीय प्रभावी रूप से द्वि-आयामी है।

2. रेशनल स्कैफोल्ड डिस्कवरी (Rational Scaffold Discovery):

   • जबकि निम्न-डिग्री पॉलिनोमिअल्स $R^2 \approx 0.944$ पर संतृप्त (saturate) हो जाते हैं, प्रतीकात्मक रिग्रेशन एक पांच-पद वाला रेशनल-पॉलिनोमियल स्कैफोल्ड पहचानता है जो एक होल्ड-आउट टेस्ट $R^2 = 0.998$ (RMSE = 0.0205) प्राप्त करता है।
   • प्रतिनिधि रूप इस प्रकार है:
     $$\log\left(\frac{\det g_{alg}}{\det g_{FS}}\right) \approx c_0 + c_1 \frac{1}{p_2^2} + c_2 \frac{\sigma_3}{p_2^3} + c_3 p_2 + c_4 \sigma_3$$
   • इनवर्स-पावर टर्म्स ($1/p_2^n$) महत्वपूर्ण हैं; उन्हें हटाने से प्रदर्शन गिर जाता है, और वे 100% स्वतंत्र रिग्रेशन रन में दिखाई देते हैं। ये टर्म्स मैनिफोल्ड पर बाध्य (bounded) हैं ($p_2 \ge 1/5$) और संभवतः चरम-कोऑर्डिनेट व्यवहार को दर्शाते हैं।

3. मॉडुलि स्थिरता और रीफिटिंग (Moduli Stability and Refitting):

   • स्कैफोल्ड का कार्यात्मक रूप $\psi \in [0, 0.8]$ की मॉडुलि रेंज में वैध रहता है।
   • $\psi=0$ पर खोजे गए कार्यात्मक रूप को स्थिर रखते हुए, प्रत्येक नए $\psi$ पर केवल पांच स्केलर गुणांकों को लीस्ट-स्क्वायर के माध्यम से रीफिट करके, मॉडल $R^2 \ge 0.947$ बनाए रखता है।
   • गुणांक सुचारू रूप से बदलते हैं, जहाँ $c_1$ निरंतर घटता है और $c_2$, $\psi=0.6$ और $0.8$ के बीच अपना चिह्न बदल देता है।

4. रोबस्टनेस चेक (Robustness Checks):

   • मल्टी-सीड वैलिडेशन: 10 स्वतंत्र रिग्रेशन रन लगातार $(p_2, \sigma_3)$ जोड़े को रिकवर करते हैं, जिसका औसत $R^2 = 0.997$ है।
   • क्रॉस-$k$ वैलिडेशन: $k=10$ डेटा पर प्रशिक्षित स्कैफोल्ड $k=6$ और $k=8$ टीचर्स (ऑफसेट सुधार के बाद) पर सामान्यीकृत (generalize) होता है, जो सुझाव देता है कि यह रूप $k$-फिनिट आर्टिफैक्ट्स के बजाय अवलोकनीय की संरचना को दर्शाता है।
   • परम्यूटेशन टेस्ट: $p_2$ या $\sigma_3$ को शफल करने से $R^2$ नकारात्मक मानों तक गिर जाता है, जो उनकी भविष्य कहने वाली आवश्यकता (predictive necessity) की पुष्टि करता है।

महत्व और दायरा
यह शोध पत्र एक संरचनात्मक (structural) न कि सॉल्वर-स्तरीय (solver-level) योगदान का दावा करता है। यह पूर्ण रिची-फ्लैट मेट्रिक या कैलर पोटेंशियल (Kähler potential) के लिए बंद-रूप सूत्र प्रदान नहीं करता है। इसके बजाय, यह प्रदर्शित करता है कि $R_\psi$ के लिए विशिष्ट अवलोकनीय हेतु, ड्वार्क क्विंटिक की जटिल ज्यामिति को केवल दो सिमेट्रिक इनवेरियंट्स वाले एक संक्षिप्त, व्याख्या योग्य रेशनल एक्सप्रेशन में संकुचित किया जा सकता है।

• व्याख्यात्मकता (Interpretability): परिणामी सूत्र इतना छोटा है कि इसे पद-दर-पद (term-by-term) देखा जा सकता है, जो यह समझने में अंतर्दृष्टि प्रदान करता है कि मेट्रिक विचलन कोऑर्डिनेट वितरण ($p_2$) और तीन-तरफा सहसंबंधों ($\sigma_3$) के साथ कैसे स्केल करता है।
• दक्षता (Efficiency): स्कैफोल्ड स्थापित होने के बाद, अवलोकनीय का मूल्यांकन सीधे डोनाल्डसन $H$-मैट्रिक्स मूल्यांकन की तुलना में $10,000\times$ तेज़ है।
• सीमाएँ (Limitations): परिणाम डिस्टिलेशन के लिए उपयोग किए गए परिमित-$k$ टीचर द्वारा सीमित हैं। लेखक स्पष्ट रूप से कहते हैं कि वे यह दावा नहीं करते हैं कि सटीक रिची-फ्लैट मेट्रिक द्वि-आयामी है, न ही वे इसे मेट्रिक-संवेदनशील भौतिक मात्राओं (जैसे कर्वेचर इंटीग्रल्स या फिजिकल युकावा कपलिंग्स) के विरुद्ध मान्य करते हैं, जिनके लिए पूर्ण मेट्रिक टेंसर की आवश्यकता होती है। होलोमोर्फिक युकावा कपलिंग $\kappa_{111}=5$ को केवल एक नॉर्मलाइजेशन चेक के रूप में पुनरुत्पादित किया गया है, न कि मेट्रिक-संवेदनशील सत्यापन के रूप में।

संक्षेप में, यह कार्य स्थापित करता है कि ड्वार्क परिवार पर एक विशिष्ट मेट्रिक-व्युत्पन्न स्केलर अवलोकनीय, एक प्रतिबंधित सिमेट्रिक फीचर स्पेस के भीतर, एक अत्यधिक संक्षिप्त, स्थिर और व्याख्या योग्य प्रतीकात्मक विवरण स्वीकार करता है, जो उस विशिष्ट अवलोकनीय के लिए संख्यात्मक सटीकता और संरचनात्मक समझ के बीच के अंतर को पाटता है।