A dimension-free interpolation of Caffarelli's contraction theorem

तकनीकी सारांश: कैफरेली के संकुचन प्रमेय का एक आयामी-मुक्त अंतर्वेशन (Dimension-Free Interpolation)

समस्या विवरण
यह शोध पत्र $\mathbb{R}^n$ पर दो प्रायिकता मापों (probability measures) के बीच ब्रिएर मैप (ब्रेनर मैप - द्विघात लागत के लिए इष्टतम परिवहन मानचित्र) की नियमितता (regularity) को संबोधित करता है। विशेष रूप से, यह परिवहन क्षमता (transport potential) के ग्रेडिएंट $\nabla \phi$ के लिए वैश्विक लिप्सचिट्ज़ अनुमान (global Lipschitz estimates) खोजने का प्रयास करता है, जब स्रोत और लक्ष्य घनत्व (source and target densities) मापों के एक विशिष्ट परिवार से संबंधित होते हैं जो बहुपद-प्रकार (polynomial-type) के घनत्वों और लॉग-कॉन्केव (log-concave) घनत्वों के बीच अंतर्वेशन (interpolate) करते हैं।

घनत्वों को इस प्रकार परिभाषित किया गया है:
$$\rho_{U,p} = Z_{U,p}^{-1} \exp(-\Theta_p(U)), \quad \text{जहाँ } \Theta_p(t) = p \log\left(1 + \frac{t}{p}\right)$$
यहाँ $p \in [n, +\infty]$ है। $p = +\infty$ का मामला लॉग-कॉन्केव घनत्वों ($\Theta_\infty(t) = t$) के अनुरूप है, जिनका अध्ययन कैफरेली के प्रसिद्ध संकुचन प्रमेय (Caffarelli's contraction theorem) में किया गया है। लेखक एक परिवहन मानचित्र पर विचार करते हैं जो स्रोत माप $\rho_{V,d}$ को लक्ष्य माप $\rho_{W,D}$ में अग्रगामी (push forward) करता है, जहाँ पैरामीटर $d$ और $D$ इस प्रकार हैं कि $n \le d \le D \le +\infty$।

मुख्य चुनौती परिवहन क्षमता के हेसियन (Hessian) ($\|D^2\phi\|_{L^\infty}$) के लिए आयाम-मुक्त (dimension-free) बाउंड स्थापित करना है, जो आयाम $n$ और अंतर्वेशन पैरामीटर $d$ और $D$ के संबंध में समान रूप से (uniformly) मान्य हों। लेखकों और अन्य लोगों (विशेष रूप से [5]) के पिछले कार्यों ने बहुपद-से-बहुपद मामले ($d=D < \infty$) के लिए अनुमान प्रदान किए थे, लेकिन वे आयाम पर घातांकीय निर्भरता (exponential dependence) से ग्रस्त थे। कैफरेली का प्रमेय ($d=D=\infty$) एक सटीक, आयाम-मुक्त बाउंड प्रदान करता है, लेकिन मध्यवर्ती बहुपद शासन (intermediate polynomial regime) में समान स्थिरांकों के साथ इस तीक्ष्णता (sharpness) को विस्तारित करना एक खुला प्रश्न बना हुआ था।

कार्यप्रणाली (Methodology)
लेखक साहित्य में पाए जाने वाले दो अलग-अलग विश्लेषणात्मक दृष्टिकोणों को संयोजित करते हैं:

1. अधिकतम सिद्धांत तर्क (Maximum Principle Argument): [5] के दृष्टिकोण का अनुसरण करते हुए, लेखक मोन-एम्पेयर (Monge-Ampère) समीकरण और क्षमता के द्वितीय डेरिवेटिव पर लागू अधिकतम सिद्धांत का उपयोग करते हैं। इसमें उस बिंदु पर समीकरण का विश्लेषण शामिल है जहाँ दूसरा दिशात्मक डेरिवेटिव अपना अधिकतम मान प्राप्त करता है।
2. एकदिशता और वृद्धि अनुमान (Monotonicity and Growth Estimates): [9] (फाथी से प्रेरित) के दृष्टिकोण का अनुसरण करते हुए, लेखक परिवहन मानचित्र के गुणों (monotonicity properties) और एकाग्रता असमानताओं (concentration inequalities) का उपयोग करके मानचित्र पर मात्रात्मक वृद्धि बाउंड (quantitative growth bounds) प्राप्त करने के लिए करते हैं (अर्थात, $|\nabla \phi|$ पर बाउंड)।

मुख्य तकनीकी नवाचार इन दो दृष्टिकोणों का एकीकरण है। लेखक पहले एक "दो-पैरामीटर अधिकतम सिद्धांत" (लेम्मा 2.1) व्युत्पन्न करते हैं जो क्षमता के हेसियन को $V$ और $W$ के हेसियन और मानचित्र के ग्रेडिएंट से जोड़ता है। इसके बाद, वे इस अधिकतम सिद्धांत असमानता में फाथी के तर्क (प्रपोजिशन 2.2 और 2.3 के माध्यम से प्राप्त) का उपयोग करके $|\nabla \phi|$ के लिए स्पष्ट, परिमित-पैरामीटर वृद्धि अनुमान सम्मिलित करते हैं।

कार्यप्रणाली का एक महत्वपूर्ण पहलू सीमाओं (limits) का सावधानीपूर्वक प्रबंधन है। $d, D \to \infty$ की सीमा में कैफरेली के सटीक बाउंड को पुनः प्राप्त करने के लिए, लेखक यह प्रदर्शित करते हैं कि सीमाओं का क्रम महत्वपूर्ण है: एक को पहले एक त्रिज्या $R$ को स्थिर करना चाहिए, फिर $D \to \infty$ और $d \to \infty$ करना चाहिए, और उसके बाद $R \to \infty$ करना चाहिए। यह क्रम सुनिश्चित करता है कि स्थिरांक स्थिर रहें और सटीक मानों की ओर अभिसरित (converge) हों।

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

1. वैश्विक आयाम-मुक्त हेसियन अनुमान (Theorem 1.2):
   यह शोध पत्र $\rho_{V,d}$ और $\rho_{W,D}$ के बीच ब्रिएर मैप के लिए एक वैश्विक लिप्सचिट्ज़ बाउंड स्थापित करता है जहाँ $d \le D$ है। यह बाउंड आयाम $n$ और पैरामीटर $d, D$ के संबंध में समान (uniform) है।

   • [5] पर सुधार: $d=D < \infty$ के मामले में, यह परिणाम आयाम $d$ पर घातांकीय निर्भरता को हटाकर [5] के अनुमानों में सुधार करता है।
   • संरचना: स्थिरांक $C_{glob}$, क्षमताओं $V$ और $W$ के संरचनात्मक मात्राओं (विशेष रूप से उनके हेसियन बाउंड $C_V^{(2)}, c_W^{(2)}$ और ग्रेडिएंट बाउंड) पर निर्भर करता है लेकिन $n$ से स्वतंत्र है।

2. स्थानीयकृत हेसियन अनुमान (Theorem 1.3):
   लेखक एक निश्चित बॉल $B_R(0)$ के भीतर क्षमता के हेसियन के लिए एक परिष्कृत अनुमान सिद्ध करते हैं। इस स्थानीयकृत बाउंड में स्थिरांक ($R_{d,D}(R)$ और $G_{d,D}(R)$) शामिल हैं जो परिवहन मानचित्र की वृद्धि को नियंत्रित करते हैं।

   • स्थिरता: ये स्थानीयकृत स्थिरांक $d, D \to +\infty$ की सीमाओं के तहत स्थिर हैं।
   • तंत्र: प्रमाण एक "फाथी त्रिज्या" $R_{d,D}(R)$ को परिभाषित करने पर निर्भर करता है जो परिवहन मानचित्र के तहत बॉल $B_R(0)$ के प्रतिबिंब (image) को बांधता है, जिससे यह सुनिश्चित होता है कि अधिकतम सिद्धांत को एक नियंत्रित डोमेन के भीतर प्रभावी ढंग से लागू किया जा सके।

3. कैफरेली के प्रमेय की प्राप्ति (Corollaries 1.4 और 1.5):
   $D \to +\infty$ (बहुपद-से-लॉग-कॉन्केव मामला) और उसके बाद $d \to +\infty$ लेकर, लेखक सटीक स्थिरांकों के साथ कैफरेली का संकुचन प्रमेय पुनः प्राप्त करते हैं।

   • Corollary 1.4: यह $D=+\infty$ और परिमित $d$ के मामले के लिए एक बाउंड प्रदान करता है, जो दिखाता है कि वृद्धि कारक (growth factor) लुप्त हो जाता है।
   • Corollary 1.5: विशिष्ट क्रम में सीमाओं को लेकर ($D \to \infty$, फिर $d \to \infty$, फिर $R \to \infty$), लेखक कठोरता से शास्त्रीय परिणाम को पुनः प्राप्त करते हैं: यदि $f=e^{-V}$ और $g=e^{-W}$ है जहाँ $D^2V \le C_V^{(2)}I$ और $D^2W \ge c_W^{(2)}I$, तो $\|DT\|_{L^\infty} \le \sqrt{C_V^{(2)}/c_W^{(2)}}$।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह बहुपद-प्रकार के घनत्वों और लॉग-कॉन्केव घनत्वों के बीच एक एकीकृत ढांचा प्रदान करता है, जबकि आयाम-मुक्त नियंत्रण बनाए रखता है।

• एकरूपता (Uniformity): प्राथमिक महत्व अनुमानों की एकरूपता का है। बाउंड तब खराब नहीं होते जब आयाम $n$ बढ़ता है, और न ही वे $d, D$ के पैरामीटर्स पर घातांकीय रूप से निर्भर करते हैं।
• तीक्ष्णता (Sharpness): कार्यप्रणाली कैफरेली के प्रमेय में सटीक स्थिरांकों को पुनः प्राप्त करने की अनुमति देती है, जिसे पिछले बहुपद-से-बहुपद अनुमान अपनी आयामी निर्भरता के कारण प्राप्त नहीं कर सके थे।
• मजबूती (Robustness): इस दृष्टिकोण को "अत्यंत मजबूत" बताया गया है, जो विभिन्न स्रोत और लक्ष्य पैरामीटर्स ($d \le D$) को संभालता है और ज्ञात परिणामों को विशेष मामलों (जैसे [5] का बहुपद-से-बहुपद मामला और कैफरेली का लॉग-कॉन्केव मामला) के रूप में पुनः प्राप्त करता है।

लेखक ध्यान देते हैं कि $d \le D$ का प्रतिबंध स्वाभाविक है; यदि $d > D$ है, तो परिवहन मानचित्र अनंत पर सुपरलीनियर वृद्धि (superlinear growth) प्रदर्शित कर सकता है, जो वैश्विक लिप्सचिट्ज़ बाउंड को रोक देता है। शोध पत्र मानक नियमितीकरण तर्कों (standard regularization arguments) के साथ समाप्त होता है ताकि स्मूथ मैक्सिमम प्रिंसिपल परिणामों को सामान्य $C^{1,1}_{loc}$ सेटिंग तक विस्तारित किया जा सके, जो कि परिकल्पनाओं के लिए आवश्यक है।