Group-theoretic and equivalence-symmetry analysis of a susceptible–infected–AIDS HIV model

तकनीकी सारांश: एक सुसेप्टिबल-इंफेक्टेड-एड्स (SICA) HIV मॉडल का समूह-सैद्धांतिक और तुल्यता-सममिति विश्लेषण

समस्या विवरण
HIV संक्रमण के गणितीय मॉडलिंग, विशेष रूप से सुसेप्टिबल-इंफेक्टेड-एड्स (SICA) ढांचे के भीतर, सममिति विश्लेषण में दो अलग-अलग अवधारणाओं को अक्सर मिला दिया जाता है: ली पॉइंट सिमिट्रीज (वे रूपांतरण जो एक ही निश्चित मॉडल के समाधानों को उसी मॉडल के अन्य समाधानों से जोड़ते हैं) और तुल्यता रूपांतरण (वे रूपांतरण जो दोनों अवस्थाओं और मापदंडों को समायोजित करके एक मॉडल परिवार को दूसरे मॉडल से जोड़ते हैं)। यह घालमेल अमान्य न्यूनीकरण (reductions) की ओर ले जा सकता है, जैसे कि यह मान लेना कि जनसंख्या स्केलिंग एक निश्चित-पैरामीटर वाले सिस्टम की सिमिट्री है, जबकि वे वास्तव में नहीं हैं। यह शोध पत्र एक मानक तीन-कंपार्टमेंट HIV मॉडल के लिए इन दोनों अवधारणाओं के बीच कठोरता से अंतर स्थापित करने के उद्देश्य से इस समस्या को संबोधित करता है, ताकि एक पुनरुत्पादित (reproducible) सिमेट्री विश्लेषण का खाका तैयार किया जा सके जो गैर-मौजूद प्रथम समाकलों (first integrals) को मानने या मॉडल-परिवार की तुल्यता को गतिशील अपरिवर्तनीयता (dynamical invariants) के रूप में गलत पहचानने से बच सके।

कार्यप्रणाली
लेखक एक व्यवस्थित ली समूह विश्लेषण दृष्टिकोण का उपयोग करता है:

1. मॉडल सूत्रीकरण: एक नियतात्मक (deterministic) SICA मॉडल को परिभाषित किया गया है जिसमें अवस्था चर $S$ (सुसेप्टिबल), $I$ (इंफेक्टेड), और $A$ (एड्स) हैं, जो भर्ती ($\Sigma$), संचरण ($\gamma$), प्राकृतिक मृत्यु ($\alpha$), प्रगति ($\omega$), और एड्स-प्रेरित मृत्यु ($\delta$) द्वारा नियंत्रित होते हैं।
2. गतिकीय विश्लेषण (Dynamical Analysis): लेखक पहले गैर-ऋणात्मक अष्टक (nonnegative octant) की अग्रवर्ती अपरिवर्तनीयता (forward invariance), समाधानों की परिबद्धता (boundedness), और बेसिक रिप्रोडक्शन नंबर ($R_0$) द्वारा विभाजित रोग-मुक्त और स्थानिक (endemic) साम्यावस्थाओं की स्थापना करता है।
3. ली पॉइंट सिमेट्री परीक्षण: पहले प्रोलॉन्गेशन (prolongation) का उपयोग करते हुए, लेखक सीधे निर्धारित समीकरणों (determining equations) के विरुद्ध उम्मीदवार जनरेटरों का परीक्षण करता है। वे विशेष रूप से समय अनुवाद (time translation) और सहज जनसंख्या स्केलिंग (सभी अवस्थाओं का समान स्केलिंग और संक्रमित वर्गों का स्केलिंग) का परीक्षण करते हैं, जबकि मापदंडों को स्थिर रखते हैं।
4. तुल्यता समूह निर्माण (Equivalence Group Construction): यह पहचानते हुए कि जनसंख्या स्केलिंग पॉइंट सिमिट्री के रूप में विफल रहती है, लेखक विश्लेषण को संयुक्त अवस्था-मापदंड स्थान (joint state–parameter space) तक विस्तारित करता है। वे एक तुल्यता समूह का निर्माण करते हैं जहाँ अवस्था चरों के साथ-साथ मापदंड भी रूपांतरित होते हैं ताकि अवकल समीकरणों का रूप बना रहे।
5. विमहीन न्यूनीकरण (Dimensionless Reduction): तुल्यता समूह के भीतर कम्यूटिंग डाइलेशन जनरेटरों के संयुक्त अपरिवर्तनीयों (joint invariants) की पहचान करके, लेखक एक न्यूनीकृत विमहीन मॉडल व्युत्पन्न करता है।
6. संख्यात्मक सत्यापन: सैद्धांतिक निष्कर्षों को स्वतंत्र संख्यात्मक प्रयोगों के माध्यम से मान्य किया जाता है, जिसमें एक आधार मॉडल और व्युत्पन्न अपरिवर्तनीयों के माध्यम से मैप किए गए एक रूपांतरित मॉडल के प्रक्षेपवक्र (trajectories) की तुलना की जाती है।

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

• सरल स्केलिंग सिमिट्री का खंडन: विश्लेषण सिद्ध करता है कि एक निश्चित-पैरामीटर वाले मॉडल के लिए, एकमात्र स्वीकृत प्राथमिक ली पॉइंट सिमिट्री समय अनुवाद ($X_0 = \partial_t$) है। यह सामान्य धारणा कि जनसंख्या स्केलिंग (जैसे, $S \to kS, I \to kI$) सिमिट्री है, गलत साबित होती है; निर्धारित समीकरण निरंतर भर्ती पद ($\Sigma$) और द्विपद उद्दीपन पद ($\gamma SI$) के कारण गैर-शून्य अवशेष (residuals) उत्पन्न करते हैं।
• तुल्यता समूह की पहचान: जनसंख्या स्केलिंग को तुल्यता रूपांतरणों के रूप में पुनर्स्थापित किया जाता है। जब जनसंख्या के साथ-साथ मापदंडों ($\Sigma, \gamma, \alpha, \omega, \delta$) को पुनर्गठित किया जाता है, तो यह प्रणाली एक सुलभ तीन-पैरामीटर तुल्यता समूह बनाती है। इस समूह में समय अनुवाद, समय डाइलेशन (दर मापदंडों को संकुचित करना), और जनसंख्या डाइलेशन (अवस्थाओं और विशिष्ट मापदंडों को पुनर्गठित करना) शामिल हैं।
• विमहीन न्यूनीकरण: दो कम्यूटिंग डाइलेशन के संयुक्त अपरिवर्तनीय मूल पाँच आयामी मापदंडों ($\Sigma, \gamma, \alpha, \omega, \delta$) को तीन स्वतंत्र विमहीन मापदंडों में कम कर देते हैं:
  • $\beta = \gamma\Sigma/\alpha^2$ (जनसांख्यिकीय पैमाने के सापेक्ष संचरण शक्ति)
  • $q = \omega/\alpha$ (प्राकृतिक मृत्यु के सापेक्ष प्रगति दर)
  • $d = \delta/\alpha$ (प्राकृतिक मृत्यु के सापेक्ष अतिरिक्त एड्स मृत्यु दर)
    विमहीन समय $\tau = \alpha t$ है, और जनसंख्या को $\Sigma/\alpha$ द्वारा स्केल किया गया है।
• न्यूनीकृत मॉडल की गतिशीलता: न्यूनीकृत प्रणाली पूर्ण प्रणाली की महामारी विज्ञान संबंधी गतिशीलता को सटीक रूप से पुनरुत्पादित करती है। यह $R_0 = 1$ पर ट्रांसक्रिटिकल बाइफरकेशन (transcritical bifurcation) को सुरक्षित रखती है, जहाँ रोग-मुक्त साम्यावस्था अस्थिर हो जाती है और एक अद्वितीय स्थानिक साम्यावस्था उभरती है। न्यूनीकृत रूप में बेसिक रिप्रोडक्शन नंबर $R_0 = \beta / (1+q)$ है।
• संख्यात्मक पुष्टि: एक स्वतंत्र संख्यात्मक प्रयोग तुल्यता समूह को लगभग दस महत्वपूर्ण अंकों तक (अधिकतम विसंगति $3.9 \times 10^{-11}$) प्रमाणित करता है, जो दर्शाता है कि व्युत्पन्न अपरिवर्तनीयों के माध्यम से मैप किए जाने पर अलग-अलग आयामी मॉडल एक ही न्यूनीकृत कक्षा (orbit) में समाहित हो जाते हैं।
• संवेदनशीलता विश्लेषण: शोध पत्र $R_0$ के लिए सटीक विश्लेषणात्मक संवेदनशीलता सूचकांक व्युत्पन्न करता है, जिससे पता चलता है कि संचरण ($\gamma$) और भर्ती ($\Sigma$) की लोच (elasticity) इकाई है, जबकि प्राकृतिक मृत्यु ($\alpha$) सबसे मजबूत डैम्पिंग कारक के रूप में कार्य करती है।

महत्व और दावे
लेखक का दावा है कि उनका प्राथमिक योगदान पद्धतिगत (methodological) है न कि किसी नई महामारी विज्ञान संबंधी तंत्र की खोज। इसका महत्व निम्नलिखित में निहित है:

1. एक सामान्य त्रुटि का सुधार: यह पॉइंट सिमिट्री (गतिशील अपरिवर्तनीयता) और तुल्यता रूपांतरण (एक मॉडल परिवार के संरचनात्मक अपरिवर्तनीय) के बीच एक स्पष्ट, कठोर अंतर प्रदान करता है, जो स्केलिंग नियमों को एक विशिष्ट महामारी प्रक्षेपवक्र के संरक्षित मात्रा के रूप में गलत समझने से रोकता है।
2. एक टेम्पलेट प्रदान करना: यह समृद्ध HIV मॉडलों (उपचार, आयु संरचना, या स्थानिक प्रसार सहित) के विश्लेषण के लिए एक पुनरुत्पादित ढांचा प्रदान करता है। लेखक का तर्क है कि निर्धारित समीकरणों का सीधा परीक्षण करने और पॉइंट सिमिट्री को तुल्यता से अलग करने का अनुशासन भविष्य के विस्तार के लिए आवश्यक है।
3. कैलिब्रेशन में दक्षता: पाँच मापदंडों को तीन विमहीन समूहों में कम करके, यह विश्लेषण उस पैरामीटर स्पेस को छोटा कर देता है जिसे कैलिब्रेशन या नियंत्रण अध्ययन के लिए खोजना आवश्यक है, बिना मूल आयामी प्रणाली में परिणामों को मैप करने की क्षमता खोए।
4. हस्तक्षेपों के प्रति मजबूती: शोध पत्र नोट करता है कि जबकि समय-निर्भर हस्तक्षेप (जैसे, मौसमी बल) समय-अनुवाद सिमिट्री को तोड़ देते हैं, तुल्यता संरचना तब भी लागू रहती है यदि गुणांक फलन (coefficient functions) सुसंगत रूप से रूपांतरित होते हैं, जिससे न्यूनीकरण पैरामीटर-फंक्शन रूप में जीवित रहता है।

लेखक इस बात पर जोर देते हैं कि किसी भी गैर-स्थिर प्रथम समाकल (nonconstant first integral) को न तो माना गया है और न ही पाया गया है; न्यूनीकरण पूरी तरह से तुल्यता बीजगणित (equivalence algebra) की सुलभ संरचना पर निर्भर करता है। यह कार्य गणितीय महामारी विज्ञान समुदाय के लिए एक आधारभूत सुधार और उपकरण के रूप में कार्य करता है।