The Influence Function of Transport-based Quantiles

तकनीकी सारांश: ट्रांसपोर्ट-आधारित क्वांटाइल्स का इन्फ्लुएंस फंक्शन (Influence Function)

समस्या विवरण (Problem Statement)
ट्रांसपोर्ट-आधारित क्वांटाइल्स (Transport-based quantiles), ऑप्टिमल ट्रांसपोर्ट (OT) के माध्यम से एकव्रीय (univariate) क्वांटाइल्स का एक मानक बहुचलामी (multivariate) विस्तार प्रदान करते हैं। जबकि हालिया साहित्य ने उपयुक्त स्थितियों के तहत इन एस्टिमेटर्स के उच्च ब्रेकडाउन पॉइंट्स (high breakdown points) की उपस्थिति को स्थापित किया है, उनके सूक्ष्म परिवर्तनों (infinitesimal perturbations) के संबंध में रोबस्टनेस गुणों—विशेष रूप से इन्फ्लुएंस फंक्शन (IF)—के प्रति उनकी स्थिरता की व्यवस्थित जांच नहीं की गई है। यह शोध पत्र ट्रांसपोर्ट क्वांटाइल मैप $Q_P$ (वह OT मैप जो एक निश्चित संदर्भ माप $\mu$ को लक्ष्य वितरण $P$ पर पज करता है) की स्थिरता को समझने के अंतराल को संबोधित करता है, जब $P$ को हबर-टाइप (Huber-type) संदूषण (contamination) के अधीन किया जाता है, जिसे $P_t = (1-t)P + t\delta_{x_0}$ के रूप में परिभाषित किया गया है।

कार्यप्रणाली (Methodology)
लेखक ऑप्टिमल ट्रांसपोर्ट मैप्स के PDE (आंशिक अवकल समीकरण) लक्षण वर्णन पर आधारित एक कठोर विश्लेषण का उपयोग करते हैं। क्लासिकल अप्रोच के विपरीत, जो यहाँ 'इम्प्लिसिट फंक्शन थ्योरम' पर निर्भर करती है (जो पॉइंट-मास परटर्बेशन की नॉन-स्मूथ प्रकृति के कारण विफल हो जाती है), यह शोध पत्र एक बहु-चरणीय विश्लेषणात्मक रणनीति का उपयोग करता है:

1. $L^2$ स्थिरता अनुमान ($L^2$ Stability Estimates): विश्लेषण विक्षेपित (perturbed) ट्रांसपोर्ट मैप $Q_{P_t}$ के अनविक्षेपित मैप $Q_P$ से विचलन पर $L^2$ बाउंड्स स्थापित करने से शुरू होता है। लेखक सिद्ध करते हैं कि स्क्वेर्ड $L^2(\mu)$ विस्थापन $d \ge 3$ के लिए $O(t^{1+2/d})$ और $d=2$ के लिए $O(t^2 |\log t|)$ के रूप में स्केल करता है।
2. रैखिकीकरण और $L^q$ बाउंड्स (Linearization and $L^q$ Bounds): प्रथम-क्रम सीमा (first-order limit/इन्फ्लुएंस फंक्शन) का विश्लेषण करने के लिए, लेखक अनुक्रम $\xi_t = (Q_{P_t} - Q_P)/t$ का अध्ययन करते हैं। वे प्रदर्शित करते हैं कि जबकि यह अनुक्रम $L^2$ में अपसारी (diverge) होता है, यह एक विशिष्ट रेंज $q \in (1, \frac{d(d+2)}{d^2+2d-4})$ के लिए $L^q(\Omega_\mu)$ में समान रूप से सीमित (uniformly bounded) रहता है।
3. PDE लक्षण वर्णन (PDE Characterization): $\xi_t$ से जुड़े पोटेंशियल फंक्शन के सीमा (limit) को एक यूनिफॉर्मली एलिप्टिक PDE के अद्वितीय वीक सॉल्यूशन (weak solution) के रूप में पहचाना जाता है, जिसमें एक डायरैक सोर्स टर्म और होमोजेनियस न्यूमैन बाउंड्री कंडीशंस होती हैं।
4. लोकलाइजेशन और सिंगुलैरिटी विश्लेषण (Localization and Singularity Analysis): परटर्बेशन पॉइंट को बाहर करने और स्थानीय मैक्सिमा प्रिंसिपल्स (Moser iteration के माध्यम से) तथा शेडर एस्टीमेट्स (Schauder estimates) का उपयोग करके, लेखक सिंगुलैरिटी से दूर स्थानीय $C^{2,\alpha}$ बाउंड्स प्राप्त करते हैं। यह सिंगुलैरिटी के पास व्यवहार के सटीक लक्षण वर्णन की अनुमति देता है।

मुख्य योगदान और परिणाम (Key Contributions and Results)

• अस्तित्व और प्रतिनिधित्व (Existence and Representation): यह शोध पत्र सभी $x_0 \neq Q_P(z)$ के लिए इन्फ्लुएंस फंक्शन $I(x_0; Q_P(z))$ के अस्तित्व और विशिष्टता को स्थापित करता है। यह दिखाया गया है कि $I(x_0; Q_P(z)) = \nabla G_{x_0}(z)$ है, जहाँ $G_{x_0}$ वह पोटेंशियल है जो एलिप्टिक PDE को हल करता है:
  $$\text{div}(f_\mu [\nabla Q_P]^{-1} \nabla G_{x_0}) = \mu - \delta_{z_0}$$
  जहाँ $z_0 = F_P(x_0)$ है, जो परटर्बेशन पॉइंट पर ट्रांसपोर्ट डिस्ट्रीब्यूशन फंक्शन का मूल्यांकन है, और $F_P = Q_P^{-1}$ है।

• पोल-टाइप सिंगुलैरिटी (Pole-Type Singularity): एक केंद्रीय निष्कर्ष यह है कि आयाम $d \ge 2$ के लिए, इन्फ्लुएंस फंक्शन एक पोल-टाइप सिंगुलैरिटी प्रदर्शित करता है। विशेष रूप से, जैसे-जैसे परटर्बेशन पॉइंट $x_0$ क्वांटाइल $Q_P(z)$ के करीब पहुँचता है (अर्थात, जैसे-जैसे $F_P(x_0) \to z$), इन्फ्लुएंस फंक्शन का नॉर्म अपसारी (diverge) हो जाता है:
  $$\|I(x_0; Q_P(z))\| \asymp \frac{1}{\|z - F_P(x_0)\|^{d-1}}$$
  यह एकव्रीय क्वांटाइल्स ($d=1$) के बाउंडेड इन्फ्लुएंस फंक्शन के बिल्कुल विपरीत है।

• प्री-इमेजेस का ज्यामितीय लक्षण वर्णन (Geometric Characterization of Preimages): प्रमाण रणनीति के उप-उत्पाद के रूप में, यह शोध पत्र $K_{x_0, t} = Q_{P_t}^{-1}(x_0)$ के सेट का लक्षण वर्णन करता है, जो संदर्भ डोमेन के उन बिंदुओं को दर्शाता है जिन्हें परटर्बेशन लोकेशन पर मैप किया गया है। $d \ge 3$ के लिए, यह सेट $t \to 0$ होने पर $t^{1/d}$ त्रिज्या के एक बॉल के रूप में व्यवहार करता है।

• एम्पिरिकल क्वांटाइल्स के निहितार्थ (Implications for Empirical Quantiles): इन्फ्लुएंस फंक्शन की अनबाउंडेड प्रकृति यह दर्शाती है कि रैंडम वेरिएबल $I(X; Q_P(z))$, जहाँ $X \sim P$, का दूसरा मोमेंट अनंत है ($I \notin L^2(P)$)। फलस्वरूप, एम्पिरिकल ट्रांसपोर्ट क्वांटाइल $Q_{P_n}(z)$ में एक मानक $\sqrt{n}$-एसिम्प्टोटिकली लीनियर रिप्रेजेंटेशन नहीं मिल पाता है जिसमें स्क्वायर-इंटेग्रेबल इन्फ्लुएंस फंक्शन हो।

• हैवी-टेल्ड फ्लक्चुएशन पर अनुमान (Conjecture on Heavy-Tailed Fluctuations): इन्फ्लुएंस फंक्शन के टेल व्यवहार (जो $\lambda^{-d/(d-1)}$ के रूप में घटता है) के आधार पर, लेखक अनुमान लगाते हैं कि एम्पिरिकल ट्रांसपोर्ट क्वांटाइल एक नॉन-पैरामीट्रिक दर $r_n$ पर अभिसरित (converge) होता है (जहाँ $r_n \sim n^{1/d}$ है $d \ge 3$ के लिए) और एक स्टेबल, नॉन-गाऊसी (non-Gaussian) लिमिटिंग डिस्ट्रीब्यूशन का पालन करता है। $d=3$ आयाम में संख्यात्मक प्रयोग इस अनुमान का समर्थन करते हैं, जो दिखाते हैं कि एम्पिरिकल डिस्ट्रीब्यूशन इन्फ्लुएंस फंक्शन से प्राप्त लीनियर स्टैटिस्टिक के साथ संरेखित होता है और हैवी टेल्स प्रदर्शित करता है, जो बड़े सैंपल साइज पर भी गाऊसी व्यवहार से विचलित होता है।

महत्व (Significance)
यह शोध पत्र ट्रांसपोर्ट-आधारित क्वांटाइल्स की रोबस्टनेस की समझ को मौलिक रूप से बदल देता है। जबकि इन एस्टिमेटर्स में उच्च ब्रेकडाउन पॉइंट्स (गंभीर त्रुटियों के प्रति प्रतिरोध) होते हैं, इन्फ्लुएंस फंक्शन में पोल-टाइप सिंगुलैरिटी की खोज "इनलियर्स" (inliers - वे बिंदु जो क्वांटाइल के करीब हैं) के प्रति एक विशिष्ट संवेदनशीलता को प्रकट करती है। यह सिंगुलर व्यवहार स्पष्ट करता है कि मानक एसिम्प्टोटिक नॉर्मलिटी क्यों विफल हो जाती है और यह सुझाव देता है कि एम्पिरिकल ट्रांसपोर्ट क्वांटाइल का लिमिटिंग डिस्ट्रीब्यूशन हैवी-टेल्ड और संभावित रूप से स्टेबल है। यह कार्य गैर-मानक एसिम्प्टोटिक व्यवहारों का विश्लेषण करने के लिए आवश्यक सैद्धांतिक ढांचा (PDE लक्षण वर्णन के माध्यम से) प्रदान करता है, जो ऑप्टिमल ट्रांसपोर्ट थ्योरी को मल्टीवेरिएट सेटिंग में रोबस्ट स्टैटिस्टिक्स के साथ जोड़ता है।