Sharp One-Dimensional Sub-Gaussian Comparison in Convex Order

यहाँ यिहान झांग (Yihan Zhang) के शोध पत्र "Sharp One-Dimensional Sub-Gaussian Comparison in Convex Order" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र यह निर्धारित करने की समस्या को संबोधित करता है कि किसी भी केंद्रित (centered), 1-सब-गौसियन (1-sub-Gaussian) यादृच्छिक चर (random variable) $X$ के लिए इष्टतम स्थिरांक (optimal constant) $c$ क्या होगा, ताकि $X$ को 'कॉन्वेक्स ऑर्डर' (convex order) में एक स्केल्ड मानक गौसियन $cG$ द्वारा डोमिनेट (dominate) किया जा सके।

• परिभाषाएँ:

  • 1-सब-गौसियन (MGF अर्थ में): एक यादृच्छिक चर $X$ 1-सब-गौसियन है यदि उसका मोमेंट जनरेटिंग फंक्शन (MGF) इस प्रकार संतुष्ट करता है: $M_X(\lambda) = \mathbb{E}[e^{\lambda X}] \leq e^{\lambda^2/2}$ सभी $\lambda \in \mathbb{R}$ के लिए।
  • कॉन्वेक्स ऑर्डर ($X \preceq Y$): $X$, $Y$ द्वारा डोमिनेट होता है यदि सभी कॉनवेक्स फलनों (convex functions) $f: \mathbb{R} \to \mathbb{R}$ के लिए $\mathbb{E}[f(X)] \leq \mathbb{E}[f(Y)]$ हो (यह मानते हुए कि प्रत्याशित मान/expectations मौजूद हैं)।
  • लक्ष्य: न्यूनतम स्थिरांक $c_{\text{mgf}}$ ज्ञात करना ताकि सभी $X$ के लिए, जो MGF की स्थिति को संतुष्ट करते हैं, $X \preceq c_{\text{mgf}} G$ हो, जहाँ $G \sim \mathcal{N}(0, 1)$।

• संदर्भ: पिछले कार्यों (जैसे, Han [2025], Davis & Power [2026]) ने ऐसे स्थिरांक के अस्तित्व को स्थापित किया था लेकिन वे "टेल-आधारित" (tail-based) सब-गौसियन परिभाषाओं या उच्च आयामों (higher dimensions) पर केंद्रित थे। टेल-आधारित परिभाषा के लिए इष्टतम स्थिरांक ($c_{\text{tail}} \approx 2.31$) ज्ञात था, लेकिन MGF परिभाषा के लिए स्थिरांक ($c_{\text{mgf}}$) एक खुला प्रश्न बना हुआ था, विशेष रूप से इस संबंध में कि क्या यह टेल-आधारित स्थिरांक से भिन्न है।

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

प्रमाण संभाव्य न्यूनीकरण तकनीकों (probabilistic reduction techniques) और सटीक विश्लेषणात्मक असमानताओं (sharp analytical inequalities) के संयोजन पर निर्भर करता है।

A. हिंज फलनों (Hinge Functions) और टू-पॉइंट डिस्ट्रीब्यूशन (Two-Point Distributions) में न्यूनीकरण

1. हिंज प्रतिनिधित्व (Hinge Representation): लेखक इस तथ्य का उपयोग करते हैं कि किसी भी कॉनवेक्स फलन $f$ को हिंज फलनों $(x-t)_+ = \max(x-t, 0)$ के रैखिक संयोजन (linear combination) के रूप में दर्शाया जा सकता है। फलस्वरूप, $X \preceq Y$ को सिद्ध करने के लिए यह दिखाना पर्याप्त है कि सभी $t \in \mathbb{R}$ के लिए $\mathbb{E}[(X-t)_+] \leq \mathbb{E}[(Y-t)_+]$ (प्रस्ताव 3)।
2. टू-पॉइंट न्यूनीकरण (Lemma 5): एक महत्वपूर्ण चरण यह दिखाना है कि किसी भी सब-गौसियन $X$ और किसी थ्रेशोल्ड $t$ के लिए, मात्रा $S_X(t) = \mathbb{E}[(X-t)_+]$ एक विशिष्ट टू-पॉइंट डिस्ट्रीब्यूशन $Y$ द्वारा अधिकतम की जाती है।
   • $Y$, प्रायिकता $p$ और $1-p$ के साथ मान $\mu_+$ और $\mu_-$ लेता है, जहाँ $p = \mathbb{P}(X > t)$ है।
   • लेखक सिद्ध करते हैं कि यदि $X$ 1-सब-गौसियन है, तो यह निर्मित $Y$ भी 1-सब-गौसियन है और $S_X(t)$ के मान को सुरक्षित रखता है।
   • यह अनंत-आयामी अनुकूलन (infinite-dimensional optimization) समस्या को टू-पॉइंट डिस्ट्रीब्यूशनों के एक परिवार के विश्लेषण में बदल देता है।

B. टू-पॉइंट डिस्ट्रीब्यूशन का अनुकूलन (Optimization)

एक टू-पॉइंट चर $Y$ के लिए जिसका माध्य 0 है और MGF $e^{\lambda^2/2}$ द्वारा सीमित है, लेखक $p$ के संदर्भ में पैरामीटर $\nu$ (जो दोनों बिंदुओं के बीच की दूरी को स्केल करता है) पर एक ऊपरी सीमा (upper bound) प्राप्त करते हैं।

• वे निम्नलिखित असमानता स्थापित करते हैं:
  $$p(1-p)\nu \leq \sqrt{\frac{\pi}{2}} I(p)$$
  जहाँ $I(p) = \phi(\Phi^{-1}(p))$ गौसियन आइसोपेरिक फंक्शन (standard normal का घनत्व जो $p$ के क्वांटाइल पर है) है।

C. आइसोपेरिक फंक्शन पर शार्प लोअर बाउंड

प्रमाण को पूरा करने के लिए, लेखकों को यह दिखाना आवश्यक है कि स्केल्ड गौसियन $cG$'कॉन्वेक्स डोमिनेंस' की स्थिति को संतुष्ट करता है। इसके लिए गौसियन के "स्टॉप-लॉस" फंक्शन$S_{cG}(t)$ पर एक निचली सीमा (lower bound) की आवश्यकता होती है।

• मुख्य तकनीकी लेम्मा (Lemma 2): शोध पत्र गौसियन आइसोपेरिक फंक्शन $I(p)$ के लिए एक शार्प लोअर बाउंड सिद्ध करता है:
  $$I(p) \geq \frac{2}{\sqrt{\pi}} p(1-p) \sqrt{\frac{\log(\frac{1-p}{p})}{1-2p}}$$
  यह असमानता हाइपरबोलिक फलनों, टेलर विस्तार (Taylor expansions), और सहायक फलनों (Appendix में लेम्मा 6–8) पर मोनोटोनिसिटी तर्कों का उपयोग करते हुए एक परिष्कृत विश्लेषणात्मक दृष्टिकोण के माध्यम से सिद्ध की गई है। स्थिरांक $2/\sqrt{\pi}$ को शार्प (sharp) दिखाया गया है।

3. मुख्य परिणाम (Key Results)

मुख्य प्रमेय (Theorem 1)

MGF-आधारित सब-गौसियन परिभाषा के लिए इष्टतम स्थिरांक है:
$$c_{\text{mgf}} = \sqrt{\frac{\pi}{2}} \approx 1.25331$$
इसका तात्पर्य यह है कि किसी भी 1-सब-गौसियन यादृच्छिक चर $X$ (MGF अर्थ में) के लिए, $X \preceq \sqrt{\frac{\pi}{2}} G$।

शार्पनेस (Sharpness)

यह बाउंड टाइट (tight) है। समानता तब प्राप्त होती है जब:

• $X \sim \text{Unif}(\{-1, 1\})$ (रेडेकर डिस्ट्रीब्यूशन/Rademacher distribution)।
• $f(x) = |x|$।
• इस मामले में, $\mathbb{E}[|X|] = 1$, जबकि $\mathbb{E}[|cG|] = c \sqrt{2/\pi}$। $1 = c \sqrt{2/\pi}$ को सेट करने पर $c = \sqrt{\pi/2}$ प्राप्त होता है।

टेल-आधारित स्थिरांकों के साथ तुलना

यह शोध पत्र परिभाषाओं के बीच एक महत्वपूर्ण अंतर को रेखांकित करता है:

• टेल-आधारित ($c_{\text{tail}}$): $\approx 2.30952$ (Davis & Power [2026] से)।
• MGF-आधारित ($c_{\text{mgf}}$): $\approx 1.25331$।
  MGF परिभाषा एक स्पष्ट रूप से छोटा (और इस प्रकार अधिक मजबूत) डोमिनेंस स्थिरांक प्रदान करती है। शोध पत्र नोट करता है कि $c_{\text{mgf}} = 1/\mathbb{E}[|G|]$ है।

4. महत्व और सीमाएँ (Significance and Limitations)

• व्याख्यात्मकता (Interpretability): परिणाम MGF परिभाषा के लिए एक स्वच्छ, व्याख्या योग्य स्थिरांक ($1/\mathbb{E}[|G|]$) प्रदान करता है, जो टेल-आधारित परिभाषा के लिए प्राप्त जटिल स्थिरांक के विपरीत है।
• खुले प्रश्न का समाधान: यह सैम पावर द्वारा पूछे गए MGF-आधारित सब-गौसियनिटी के इष्टतम स्थिरांक के प्रश्न का उत्तर देता है।
• एक-आयामी (Dimension 1) तक सीमित: प्रमाण एक-आयामी कॉनवेक्स फलनों (समीकरण 3) के हिंज प्रतिनिधित्व पर अत्यधिक निर्भर है। लेखक स्पष्ट रूप से कहते हैं कि उच्च आयामों ($d \geq 2$) में इस प्रकार के प्रतिनिधित्व का कोई प्राकृतिक समानांतर मौजूद नहीं है। इसलिए, यह विधि बहु-आयामी (multivariate) मामले में सामान्यीकृत नहीं होती है, जिससे $d \geq 2$ के लिए शार्प स्थिरांक एक खुला प्रश्न बना हुआ है।
• विश्लेषणात्मक योगदान: व्युत्पन्न किया गया गौसियन आइसोपेरिक फंक्शन पर लोअर बाउंड (लेम्मा 2) एक स्वतंत्र रुचि के परिणाम के रूप में प्रस्तुत किया गया है, जो एक सरल प्रारंभिक फलन (elementary function) प्रदान करता है जो $I(p)$ को बारीकी से बांधता है।

निष्कर्ष

यिहान झांग का शोध पत्र स्थापित करता है कि 1-सब-गौसियन यादृच्छिक चरों (MGF द्वारा परिभाषित) के लिए सबसे शार्प संभव कॉन्वेक्स ऑर्डर डोमिनेशन $\sqrt{\pi/2}$ द्वारा मानक गौसियन को स्केल करके प्राप्त किया जाता है। इसका प्रमाण संभाव्य न्यूनीकरण (टू-पॉइंट डिस्ट्रीब्यूशन तक) और गहरे विश्लेषणात्मक असमानताओं (गौसियन आइसोपेरिक फंक्शन पर) को कुशलतापूर्वक जोड़ता है, जो एक-आयामी मामले के लिए एक निर्णायक उत्तर प्रदान करता है और साथ ही इन परिणामों को उच्च आयामों तक विस्तारित करने की चुनौतियों को भी उजागर करता है।