तकनीकी सारांश: इष्टतम परिवहन मानचित्रों की स्थिरता और 2-मोनो-कैंटरोविच दूरी का द्वितीय विचरण

1. समस्या विवरण

यह शोध पत्र द्विघात लागत ($p=2$) के संदर्भ में इष्टतम परिवहन मानचित्रों (optimal transport maps) और विभवों (potentials) की मात्रात्मक स्थिरता (quantitative stability) को संबोधित करता है। विशेष रूप से, यह जांच करता है कि जब स्रोत घनत्व $f$ और लक्ष्य घनत्व $g$ को विचलित (perturb) किया जाता है, तो इष्टतम परिवहन मानचित्र $T = \nabla \phi$ और संबंधित ब्रिएर विभव (Brenier potential) $\phi$ कैसे बदलते हैं।

जबकि गुणात्मक स्थिरता (माप में अभिसरण या मजबूत धारणाओं के तहत एकसमान अभिसरण) कॉम्पैक्टनेस तर्कों के माध्यम से अच्छी तरह से स्थापित है, लेखक मात्रात्मक अनुमानों (quantitative estimates) को प्राप्त करने पर ध्यान केंद्रित करते हैं। ये अनुमान विभिन्न घनत्वों के बीच के अंतर को उन घनत्वों के बीच की दूरी (जिसे $L^p$, $L^2$, या 2-मोनो-कैंटरोविच दूरी द्वारा मापा जाता है) के संदर्भ में बांधते हैं। कार्य विशेष रूप से उन सेटिंग्स को लक्षित करता है जहाँ घनत्व गैर-अपभ्रष्ट (non-degenerate) (शून्य से दूर सीमित) हैं और जिनमें होल्डर नियमितता (Hölder regularity) है, जो समान रूप से उत्तल डोमेन (uniformly convex domains) पर स्थित हैं।

2. कार्यप्रणाली

मुख्य तकनीकी रणनीति डेटा के सुचारू अंतर्वेशन (smooth interpolations) के साथ मोनो-एम्पीयर समीकरण (Monge–Ampère equation) का रेखीयकरण (linearization) करना है। कार्यप्रणाली इस प्रकार आगे बढ़ती है:

1. अंतर्वेशन (Interpolation): घनत्वों के दो युग्मों $(f_0, g_0)$ और $(f_1, g_1)$ के दिए जाने पर, लेखक घनत्वों की एक सुचारू वक्र $\{(f_t, g_t)\}_{t \in [0,1]}$ का निर्माण करते हैं।
   • थ्योरम 1.1 के लिए, वे 2-मोनो-कैंटरोविच जियोडेसिक्स (Benamou–Brenier formulation) का उपयोग करते हैं।
   • थ्योरम 1.2 और 1.3 के लिए, वे $L^p$ स्थानों में रेखीय अंतर्वेशन (linear interpolation) का उपयोग करते हैं।
2. विभवों का अवकलन (Differentiation of Potentials): वे $(f_t, g_t)$ के अनुरूप ब्रिएर विभवों की एक वक्र $\phi_t$ को परिभाषित करते हैं। $\phi_1 - \phi_0$ को इसके समय के व्युत्पन्न के समाकलन के रूप में व्यक्त किया जाता है: $\phi_1 - \phi_0 = \int_0^1 \partial_t \phi_t \, dt$।
3. रेखीयकृत समीकरण (Linearized Equation): व्युत्पन्न $\xi_t = \partial_t \phi_t$ को डाइवर्जेंस रूप (divergence form) में व्युत्पन्न एक रेखीयकृत मोनो-एम्पीयर समीकरण के अद्वितीय समाधान के रूप में अभिलक्षित किया जाता है:
   $$-\text{div}\left[ f_t (D^2 \phi_t)^{-1} \nabla \xi_t \right] = \left( \frac{\partial_t g_t(\nabla \phi_t)}{g_t(\nabla \phi_t)} - \frac{\partial_t f_t}{f_t} \right) f_t \quad \text{in } \Omega,$$
   नेयमैन सीमा स्थितियों (Neumann boundary conditions) के अधीन।
4. नियमितता और दीर्घवृत्तीयता (Regularity and Ellipticity): एक महत्वपूर्ण चरण यह स्थापित करना है कि गुणांक आव्यूह (coefficient matrix) $(D^2 \phi_t)^{-1}$ समान रूप से दीर्घवृत्तीय (uniformly elliptic) बना रहे और समाधान $\xi_t$ अंतर्वेशन पथ के साथ पर्याप्त नियमितता (जैसे, $C^{1,\alpha}$) बनाए रखे। यह निम्नलिखित पर निर्भर करता है:
   • लेम्मा 1.7: एक कॉम्पैक्टनेस तर्क जो सिद्ध करता है कि यदि घनत्व $C^{0,\beta}$ हैं और गैर-अपभ्रष्ट हैं, तो ब्रिएर विभव सीमा तक $C^{2,\alpha}$ है।
   • इम्प्लिसिट फंक्शन थ्योरम (Implicit Function Theorem): उपयुक्त बानच स्थानों (Banach spaces) में मानचित्र $t \mapsto \phi_t$ की सुचारूता को सिद्ध करने के लिए उपयोग किया गया है (थ्योरम 1.5)।
5. अनुमान (Estimation): $\xi_t$ का अनुमान लगाने के लिए दीर्घवृत्तीय नियमितता सिद्धांत (Schauder estimates, $L^\infty$ बाउंड्स) का उपयोग करके और $t$ पर समाकलन करके, लेखक अंतिम स्थिरता सीमाएँ प्राप्त करते हैं।

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

A. मात्रात्मक स्थिरता अनुमान (Quantitative Stability Estimates)

यह शोध पत्र सुचारू सीमाओं वाले समान रूप से उत्तल डोमेन पर गैर-अपभ्रष्ट, होल्डर निरंतर घनत्वों की धारणा के तहत तीन मुख्य स्थिरता थ्योरम स्थापित करता है:

• थ्योरम 1.1 (लिप्सिट्ज़ $L^2$ स्थिरता):
  होल्डर निरंतर घनत्वों के लिए, लेखक घनत्वों के बीच 2-मोनो-कैंटरोविच दूरी ($d_2$) के सापेक्ष $L^2$ नॉर्म में इष्टतम परिवहन मानचित्रों की लिप्सिट्ज़ निरंतरता (Lipschitz continuity) सिद्ध करते हैं:
  $$\|\nabla \phi_1 - \nabla \phi_0\|_{L^2} \leq C [d_2(f_0, f_1) + d_2(g_0, g_1)].$$
  यह पिछले परिणामों (जैसे, बर्मन [20]) में सुधार करता है जो अक्सर आयाम-निर्भर घातांकों (dimension-dependent exponents) को शामिल करते थे या अधिक मजबूत नियमितता की आवश्यकता रखते थे। लेखक नोट करते हैं कि यह लिप्सिट्ज़ व्यवहार नियमित, गैर-अपभ्रष्ट मापों की एक विशेष विशेषता है।

• थ्योरम 1.2 (निरंतरता धारणा के बिना स्थिरता):
  होल्डर निरंतरता की धारणा को हटाते हुए लेकिन $L^2$ समाकलनीयता और गैर-अपभ्रष्टता को बनाए रखते हुए, लेखक $L^2$ नॉर्म में ब्रिएर विभवों के लिए लिप्सिट्ज़ स्थिरता अनुमान प्राप्त करते हैं:
  $$\|\phi_0 - \phi_1\|_{L^2} \leq C (\|f_0 - f_1\|_{L^2} + \|g_0 - g_1\|_{L^2}).$$
  वे $1/3$ पावर घातांक के साथ ग्रेडिएंट्स के लिए एक संगत अनुमान भी प्राप्त करते हैं। लेखक का अनुमान है कि यदि रेखीयकृत ऑपरेटर के लिए एक विशिष्ट सोबोलेव असमानता (Sobolev inequality) सिद्ध की जा सके, तो विभवों के लिए $L^2$ बाउंड को संभावित रूप से $L^\infty$ बाउंड में सुधारा जा सकता है।

• थ्योरम 1.3 (समान $C^{1,\alpha}$ स्थिरता):
  एक समान मेट्रिक सेटिंग में, लेखक सिद्ध करते हैं कि $C^{0,\beta}$ घनत्वों के लिए, इष्टतम मानचित्र घनत्वों की $L^p$ दूरियों के सापेक्ष $C^{1,\alpha}$ नॉर्म में स्थिर हैं (जहाँ $p = d/(1-\alpha)$):
  $$\|\phi_1 - \phi_0\|_{C^{1,\alpha}} \leq C (\|f_1 - f_0\|_{L^p} + \|g_1 - g_0\|_{L^p}).$$
  पिछले आंतरिक अनुमानों (जैसे, [28, 29]) के विपरीत, यह परिणाम वैश्विक (global) है, गैर-तत्काल मानचित्रों के आसपास के परिवर्तनों पर लागू होता है, और इससे आयाम-घटते घातांक (dimension-decaying exponents) प्रभावित नहीं होते हैं। लेखक इस बात पर जोर देते हैं कि निचली सीमा की स्थिति ($g_i \geq a > 0$) मौलिक है; इसके बिना, यहाँ तक कि 1D में भी, कोई होल्डर स्थिरता घातांक $\eta < 1$ मौजूद नहीं है।

B. दूरी का द्वितीय विचरण (Second Variation of the Distance)

• थ्योरम 1.4: लेखक घनत्वों के विचलन के साथ वर्ग 2-मोनो-कैंटरोविच दूरी के द्वितीय विचरण के लिए एक स्पष्ट सूत्र व्युत्पन्न करते हैं।
  $$\frac{1}{2} \frac{d^2}{dt^2}\bigg|_{t=0} [d_2(f_t, g_t)^2] = \int_\Omega \langle (D^2 \phi_0)^{-1} \nabla \xi, \nabla \xi \rangle f \, dx,$$
  जहाँ $\xi$ रेखीयकृत समीकरण का समाधान है। यह सूत्र दूरी की रैखिक उत्तलता (linear convexity) को मात्रात्मक रूप से निर्धारित करता है और पूर्ववर्ती औपचारिक गणनाओं (जो पहचान मानचित्र के आसपास के परिवर्तनों तक सीमित थीं [30]) को सामान्य नियमित इष्टतम परिवहन मानचित्रों तक विस्तारित करता है।

C. तकनीकी उपकरण: समय अवकलनीयता (Time Differentiability)

• थ्योरम 1.5 और कोरोलरी 1.6: कार्य का एक महत्वपूर्ण हिस्सा यह सिद्ध करने के लिए समर्पित है कि ब्रिएर विभव $\phi_t$ अंतर्वेशन पैरामीटर $t$ के संबंध में अवकलनीय (differentiable) है। लेखक $\partial_t \phi_t$ को डाइवर्जेंस रूप में रेखीयकृत मोनो-एम्पीयर समीकरण के कमजोर समाधान (weak solution) के रूप में अभिलक्षित करते हैं। यह परिणाम समय-निर्भर इष्टतम परिवहन समस्याओं के विश्लेषण के लिए स्वतंत्र रूप से महत्वपूर्ण है।

4. महत्व और दावे

लेखक अपने कार्य को इष्टतम परिवहन की मात्रात्मक स्थिरता में एक महत्वपूर्ण प्रगति के रूप में प्रस्तुत करते हैं, जो एक सक्रिय अनुसंधान क्षेत्र है।

• घातांकों में सुधार: शोध पत्र दावा करता है कि यह उन सेटिंग्स में लिप्सिट्ज़ (घातांक 1) स्थिरता अनुमान प्रदान करता है जहाँ पिछले साहित्य में अक्सर उप-रैखिक (sub-linear) घातांक (जैसे, $1/2$, $1/5$, या आयाम-निर्भर घटते घातांक) प्राप्त हुए थे।
• वैश्विक बनाम आंतरिक: थ्योरम 1.3 को एक वैश्विक अनुमान के रूप में हाइलाइट किया गया है, जो पिछले परिणामों के विपरीत है जो अक्सर आंतरिक अनुमानों या विशिष्ट ज्यामितीय सेटिंग्स (जैसे, को-डायमेंशन-वन सतहों) तक सीमित थे।
• स्पष्ट द्वितीय विचरण: द्वितीय विचरण सूत्र का व्युत्पत्ति यह दिखाने के लिए एक उपकरण के रूप में प्रस्तुत किया गया है कि यह स्पष्ट रूप से मोनो-कैंटरोविच दूरी की उत्तलता को मात्रात्मक रूप से निर्धारित करता है, जो पहचान मानचित्र से परे सामान्य नियमित इष्टतम परिवहन मानचित्रों तक सैद्धांतिक समझ का विस्तार करता है।
• सीमाएँ: लेखक अपने दायरे के बारे में विनम्र हैं, वे स्पष्ट रूप से कहते हैं कि उनके परिणाम गैर-अपभ्रष्ट घनत्वों (शून्य से दूर सीमित) और होल्डर नियमितता पर निर्भर करते हैं। वे स्वीकार करते हैं कि असतत मापों (discrete measures) या लुप्त होते घनत्वों के लिए, अनुमानों की लिप्सिट्ज़ प्रकृति टूट जाती है, और इष्टतम घातांक कम हो सकते हैं (असतत लक्ष्यों के लिए $1/2$ होने का अनुमान है)। वे सामान्य खुरदरे मापों या विलक्षण लक्ष्यों (singular targets) के लिए स्थिरता को हल करने का दावा नहीं करते हैं।

संक्षेप में, यह शोध पत्र नियमितता और गैर-अपभ्रष्टता की धारणाओं के तहत इष्टतम परिवहन मानचित्रों और विभवों के लिए तीक्ष्ण, मात्रात्मक स्थिरता सीमा प्राप्त करने के लिए डाइवर्जेंस रूप में मोनो-एम्पीयर समीकरण के रेखीयकरण के लिए एक कठोर ढांचा प्रदान करता है, साथ ही परिवहन दूरी के दूसरे विचरण के लिए एक नया सूत्र भी प्रदान करता है।