SubTropica

यहाँ शोध पत्र "SubTropica: उष्णकटिबंधीय ज्यामिति (tropical geometry) का उपयोग करके बहु-बहुलॉगैरिद्मिक (multi-polylogarithmic) समाकलों के प्रतीकात्मक समाकलन (symbolic integration) के लिए एक Mathematica पैकेज" का विस्तृत तकनीकी सारांश दिया गया है।

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

उच्च-ऊर्जा भौतिकी की गणनाएँ, विशेष रूप से प्रवर्द्धक क्वांटम फील्ड थ्योरी (QFT) में, बहु-आयामी समाकलों के मूल्यांकन पर अत्यधिक निर्भर करती हैं। इनमें शामिल हैं:

• फैनमैन समाकल (Feynman integrals): मल्टी-लूप स्कैटरिंग आयाम (scattering amplitudes)।
• फेज़-स्पेस समाकल (Phase-space integrals): क्रॉस-सेक्शन गणनाओं में प्रयुक्त।
• सहसंबंधक (Correlators): ऊर्जा-ऊर्जा सहसंबंधक और कॉस्मोलॉजिकल सहसंबंधक।

ये समाकल सामान्यतः यूलर समाकल (Euler integrals) की श्रेणी में आते हैं, जिन्हें इस प्रकार परिभाषित किया जाता है:
$$I(\varepsilon, s) = \int_{\mathbb{R}_{\ge 0}^n} \prod_i dx_i \prod_j P_j(x, s)^{a_j \varepsilon + b_j}$$
जहाँ $P_j$ बहुपद (polynomials) हैं, $s$ गतिक चरों (kinematic variables) का प्रतिनिधित्व करता है, और $\varepsilon$ एक आयामी नियामक (dimensional regulator) है (जैसे, $D = 4 - 2\varepsilon$)।

मुख्य चुनौतियाँ:

1. अपसरण (Divergences): $\varepsilon$ में इंटीग्रैंड (integrand) का सीधा विस्तार अक्सर अर्थहीन अभिव्यक्तियों की ओर ले जाता है क्योंकि समाकलन का क्षेत्र (integration domain) विशिष्ट सीमाओं पर अपसारी (divergent) होता है।
2. रैखिक न्यूनीकरणता (Linear Reducibility): हाइपरलॉगैरिदम (iterated integrals) का उपयोग करके इन समाकलों को विश्लेषणात्मक रूप से एकीकृत करने के लिए, इंटीग्रैंड "रैखिक रूप से न्यूनीकरण योग्य" होना चाहिए। इसका अर्थ है कि प्रत्येक चरण में पुनरावर्ती समाकलन (iterated integration) के दौरान, इंटीग्रैंड की सिंगुलैरिटीज़ (singularities/poles) वर्तमान एकीकरण चर में रैखिक होनी चाहिए। यदि यह स्थिति विफल होती है, तो मानक एल्गोरिदम (जैसे Maple के HyperInt या FORM के HyperFORM) विफल हो जाते हैं या गैर-बंद रूप (non-closed forms) उत्पन्न करते हैं।
3. कार्यप्रवाह विखंडन (Workflow Fragmentation): जबकि Maple और FORM में शक्तिशाली उपकरण मौजूद हैं, उच्च-ऊर्जा भौतिकी समुदाय मुख्य रूप से Mathematica का उपयोग करता है। मौजूदा उपकरणों के लिए गणना के विभिन्न चरणों (उत्पत्ति, न्यूनीकरण, समाकलन, संख्यात्मक सत्यापन) के लिए अलग-अलग प्लेटफॉर्म बदलना आवश्यक होता है।

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

यह शोध पत्र SubTropica नामक एक Mathematica पैकेज प्रस्तुत करता है जो दो मुख्य सैद्धांतिक स्तंभों को जोड़कर इन समाकलों के मूल्यांकन को स्वचालित करता है:

A. उष्णकटिबंधीय घटाव (Tropical Subtraction) और निलसन-पासारे निरंतरता (Nilsson–Passare Continuation)

अपसरणों को संभालने के लिए, पैकेज उष्णकटिबंधीय ज्यामिति (tropical geometry) का उपयोग करता है।

• न्यूटन पॉलीटोप विश्लेषण (Newton Polytope Analysis): इंटीग्रैंड के बहुपदों के न्यूटन पॉलीटोप की ज्यामिति में समाकल की सिंगुलैरिटीज़ एनकोडेड होती हैं। पैकेज पॉलीटोप की गणना करने और "अपसारी किरणों" (divergent rays - वे दिशाएँ जहाँ समाकल अपसारित होता है) की पहचान करने के लिए बाहरी टूल polymake का उपयोग करता है।
• उष्णकटिबंधीय घटाव (Tropical Subtraction): सीधे इंटीग्रैंड का विस्तार करने के बजाय, SubTropica पॉलीटोप के फलकों (facets) की संयोजन संरचना के आधार पर काउंटर-टर्म्स (counter-terms) का निर्माण करता है। यह मूल इंटीग्रैंड से इन काउंटर-टर्म्स को घटाकर एक "पुनर्सामान्यीकृत" (renormalized) इंटीग्रैंड बनाता है जो स्थानीय रूप से परिमित (locally finite) होता है।
• निलसन-पासारे निरंतरता (Nilsson–Passare Continuation): उन मामलों के लिए जहाँ इंटीग्रैंड विशिष्ट ज्यामितीय गुणों (जैसे गैर-लॉगैरिद्मिक अपसरण) को संतुष्ट नहीं करता है, पैकेज विशिष्ट किरणों के साथ एक विश्लेषणात्मक निरंतरता (analytical continuation) करता है ताकि समाकल को स्थानीय रूप से परिमित पदों के योग में परिवर्तित किया जा सके।

B. हाइपरलॉगैरिदम एकीकरण (Hyperlogarithm Integration - HyperIntica)

एक बार जब इंटीग्रैंड को स्थानीय रूप से परिमित बना दिया जाता है, तो इसे $\varepsilon$ में विस्तारित किया जाता है। परिणामी पदों को HyperIntica का उपयोग करके एकीकृत किया जाता है, जो कि HyperInt एल्गोरिदम (मूल रूप से Panzer द्वारा विकसित) का एक नेटिव Mathematica पुन: कार्यान्वयन (reimplementation) है।

• एल्गोरिदम: यह एल्गोरिदम चरों को एक-एक करके एकीकृत करता है। यह हाइपरलगणों के शफल बीजगणित (shuffle algebra) पर निर्भर करता है ताकि पुनरावर्ती समाकलों के उत्पादों को पुनर्गठित किया जा सके।
• रैखिक न्यूनीकरणता जाँच (Linear Reducibility Check): एकीकरण से पहले, पैकेज एक फूबिनी न्यूनीकरण (Fubini reduction) एल्गोरिदम का उपयोग करता है ताकि एक ऐसा एकीकरण क्रम खोजा जा सके जहाँ सभी बहुपद एकीकरण चर में रैखिक बने रहें। यदि स्वाभाविक रूप से ऐसा कोई क्रम मौजूद नहीं है, तो यह रैखिक न्यूनीकरणता बहाल करने के लिए बीजगणिक मूल (algebraic roots/square roots) पेश कर सकता है।
• नियमितीकरण (Regularization): पैकेज समाकलन अंत बिंदुओं ($0, 1, \infty$) पर अपसरणों को संभालने के लिए शफल नियमितीकरण (shuffle regularization) को लागू करता है, जिससे बीजगणिक संबंधों को सुरक्षित रखते हुए परिमित भागों को निकाला जा सके।

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

1. SubTropica पैकेज: एक व्यापक Mathematica टूल जो फैनमैन आरेख (Feynman diagram) से लेकर $\varepsilon$ में अंतिम लॉरेंट विस्तार (Laurent expansion) तक की पूरी प्रक्रिया को स्वचालित करता है।

   • इनपुट प्रारूप: फैनमैन आरेख (ग्राफ टोपोलॉजी), प्रोपेगेटरों की सूची (टेन्सर न्यूमेरेटर और रैखिककृत/ईकोनल प्रोपेगेटरों के साथ), और जेनेरिक यूलर इंटीग्रैंड स्वीकार करता है।
   • GUI: इसमें आरेख बनाने और पैरामीटर कॉन्फ़िगर करने के लिए एक ग्राफिकल यूजर इंटरफेस (GUI) है, जो प्रवेश की बाधा को कम करता है।
   • HyperIntica: यह हाइपरलॉगैरिदम एकीकरण इंजन का एक स्टैंडअलोन, स्व-निहित Mathematica कार्यान्वयन है, जो उष्णकटिबंधीय घटाव तर्क से स्वतंत्र है।

2. AI-संचालित लाइब्रेरी: लेखकों ने साहित्य में पाए गए फैनमैन समाकलों की एक विस्तृत, ओपन-सोर्स लाइब्रेरी जारी की है।

   • डेटाबेस: इसमें आरेख, संदर्भ और संगणित परिणाम (हाइपरलॉगैरिदम) शामिल हैं।
   • इंटरफेस: यह वेब GUI (subtropi.ca) और Mathematica पैकेज के माध्यम से सुलभ है, जिससे उपयोगकर्ताओं को परिणामों को खोजने, विज़ुअलाइज़ करने और पुनः प्राप्त करने की अनुमति मिलती है।
   • AI एकीकरण: बीजगणिक हेरफेर, वर्गमूल के परिमेयकरण (rationalization), और संख्यात्मक सत्यापन के लिए लाइब्रेरी निर्माण में AI (Claude Opus) की सहायता ली गई थी।

3. उन्नत क्षमताएं:

   • बीजगणिक अक्षर (Algebraic Letters): यह स्वचालित रूप से उन्हें परिमेय बनाने (rationalize) द्वारा 'स्क्वायर-रूट लेटर्स' वाले समाकलों को संभालता है।
   • टेन्सर न्यूमेरेटर (Tensor Numerators): यह रैखिककृत प्रोपेगेटर और टेन्सर न्यूमेरेटर (जैसे $v \cdot k$) का समर्थन करता है।
   • स्कैटरिंग से परे: गुरुत्वाकर्षण ऊर्जा-ऊर्जा सहसंबंधक और स्मॉल-$x$ भौतिकी फूरियर रूपांतरण जैसे गैर-मानक समाकलों के लिए अपनी प्रयोज्यता प्रदर्शित की।

4. परिणाम और प्रदर्शन (Results and Performance)

पैकेज को श्रृंखला के माध्यम से बेंचमार्क और उदाहरणों के माध्यम से मान्य किया गया है:

• अत्याधुनिक बेंचमार्क: पैकेज ने पहली बार एक चार-लूप, नौ-प्रोपेगेटर वाले मासिव फैनमैन आरेख (पेपर के चित्र 1 में) का सफलतापूर्वक मूल्यांकन किया, जिससे $O(\varepsilon^0)$ तक का परिणाम प्राप्त हुआ।
  • प्रदर्शन: गणना में 32-कोर क्लस्टर पर लगभग 38 घंटे लगे, जिसमें उष्णकटिबंधीय घटाव चरण में ~4.7 सेकंड, रैखिक क्रम खोजने में ~1.2 घंटे और एकीकरण में ~36.6 घंटे लगे।
• मानक उदाहरण: इसने ज्ञात साहित्य परिणामों से मेल खाते हुए, बीजगणिक अक्षरों वाले वन-लूप बॉक्स और टू-लूप ट्राइएंगल-बॉक्स समाकलों को सफलतापूर्वक कंप्यूट किया।
• गैर-फैनमैन अनुप्रयोग:
  • $N=8$ सुपरग्रेविटी और शुद्ध आइंस्टीन ग्रेविटी में गुरुत्वाकर्षण ऊर्जा-ऊर्जा सहसंबंधक की गणना की।
  • लॉगरिदमिक न्यूमेरेटर और कई नियामकों वाले स्मॉल-$x$ QCD भौतिकी में फूरियर रूपांतरण का मूल्यांकन किया।
• संख्यात्मक सत्यापन: पैकेज में STVerify शामिल है, जो pySecDec, FIESTA, और AMFlow जैसे बैकएंड का उपयोग करके संख्यात्मक मूल्यांकन के विरुद्ध प्रतीकात्मक परिणामों की जांच करता है, जिससे $\sim 10^{-5}$ की सापेक्ष त्रुटि प्राप्त होती है।

5. महत्व (Significance)

• कार्यप्रवाह का एकीकरण: SubTropica पूरे गणना कार्यप्रवाह (आरेख परिभाषा, घटाव, एकीकरण और सत्यापन) को एक ही वातावरण (Mathematica) के भीतर रखता है, जो क्षेत्र में एक प्रमुख विखंडन समस्या को संबोधित करता है।
• सुलभता: GUI और जटिल चरणों (जैसे रैखिक क्रम खोजना और उष्णकटिबंधीय घटाव) का स्वचालित प्रबंधन उच्च-लूप गणनाओं को गैर-विशेषज्ञों के लिए सुलभ बनाता है।
• स्केलेबिलिटी: एक 4-लूप मासिव आरेख को सफलतापूर्वक हल करके, पैकेज यह प्रदर्शित करता है कि उष्णकटिबंधीय घटाव और हाइपरलॉगैरिदम एकीकरण को मिलाना नेक्स्ट-टू-नेक्स्ट-टू-नेक्स्ट-टू-लीडिंग ऑर्डर (N3LO) और उससे आगे की गणनाओं के लिए एक व्यवहार्य रणनीति है।
• ओपन साइंस: कोड (MIT लाइसेंस) और समुदाय-संचालित लाइब्रेरी (CC BY-NC-SA) का वितरण पुनरुत्पादकता और सहयोगात्मक विस्तार को बढ़ावा देता है।
• भविष्य की दृष्टि: लेखक भविष्य की दिशाओं के रूप में एलिप्टिक समाकल (elliptic integrals) तक पद्धति का विस्तार करने, गैर-धनात्मक इंटीग्रैंड (क्राउन डायग्राम) के प्रबंधन में सुधार करने और "क्षेत्रों द्वारा विस्तार" (expansion by regions) को लागू करने की पहचान करते हैं।

संक्षेप में, SubTropica गणनाओं के स्वचालन में एक महत्वपूर्ण छलांग है, जो अपसरणों को नियंत्रित करने के लिए उष्णकटिबंधीय ज्यामिति का लाभ उठाता है और प्रतीकात्मक समाकलन के लिए एक मजबूत, उपयोगकर्ता के अनुकूल मंच प्रदान करता है।