Recursive Packing Bounds for Supercritical Disconnection in Bernoulli Site Percolation

यहाँ झोंगयांग ली के शोध पत्र "Recursive Packing Bounds for Supercritical Disconnection in Bernoulli Site Percolation" का विस्तृत तकनीकी सारांख्यिकीय विवरण दिया गया है।

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

यह शोध पत्र अनंत, संयोजित (connected), स्थानीय रूप से परिमित (locally finite) ग्राफ़ $G = (V, E)$ पर बर्नौली साइट परकोलेशन (Bernoulli site percolation) में सुपरक्रिटिकल डिस्कनेक्शन (supercritical disconnection) की प्रायिकता पर मात्रात्मक ऊपरी सीमाएँ (quantitative upper bounds) प्राप्त करने की समस्या को संबोधित करता है।

• संदर्भ: सुपरक्रिटिकल शासन (regime) ($p > p_c^{\text{site}}(G)$) में, शीर्षों (vertices) के अनंत क्लस्टर (infinite clusters) का हिस्सा होने की प्रायिकता धनात्मक होती है।
• घटना (The Event): शीर्षों के एक सेट $S \subset V$ के लिए, यह शोध पत्र $P_p(S \nleftrightarrow \infty)$ का अध्ययन करता है, जो इस घटना को दर्शाता है कि कोई भी शीर्ष $S$ अनंत से नहीं जुड़ता (अर्थात, पूरा सेट $S$ अनंत क्लस्टर से विच्छेदित/डिस्कनेक्टेड है)।
• चुनौती: जबकि गुणात्मक परिणाम (अनंत क्लस्टर्स का अस्तित्व) सुस्थापित हैं, सामान्य ग्राफ़ों (जहाँ ट्रांसिटिविटी या विशिष्ट ज्यामितीय समरूपता का अभाव हो) पर किसी भी सेट $S$ (परिमित या अनंत) के विच्छेद के लिए स्पष्ट, मात्रात्मक सीमाएँ प्राप्त करना कठिन रहा है। पिछले परिणाम अक्सर विशिष्ट ज्यामितीय धारणाओं (जैसे यूक्लिडियन लैटिस) पर निर्भर करते थे या गैर-स्पष्ट (non-explicit) सीमाएँ प्रदान करते थे।

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

लेखक एक नवीन रिकर्सिव पैकिंग/एम्प्लीफिकेशन सिद्धांत (recursive packing/amplification principle) पेश करते हैं जो स्थानीय कनेक्टिविटी सूचना को वैश्विक विच्छेदन अनुमानों में परिवर्तित करता है। यह कार्यप्रणाली तीन घटकों से बनी है:

A. स्थानीय कार्यात्मक लक्षण (Local Functional Characterization - $\phi_v^p$)

यह शोध पत्र एक स्थानीय फलन $\phi_v^p(S)$ का उपयोग करता है जिसे पिछले कार्य [4] में प्रस्तुत किया गया था। यह फलन परिमित-आयतन कनेक्टिविटी डेटा का उपयोग करके क्रिटिकल थ्रेशोल्ड $p_c^{\text{site}}(G)$ को लक्षणित करता है।

• यह एक शीर्ष $v$ के अनंत से जुड़ने की प्रायिकता पर एक मात्रात्मक निचली सीमा प्रदान करता है।
• विशेष रूप से, यदि $p > p_c$, तो एक शीर्ष $w$ और एक परिमित सेट $S_w$ मौजूद होता है जहाँ फलन 1 के करीब होता है, जो अनंत से जुड़ने की उच्च प्रायिकता को दर्शाता है।

B. रिकर्सिव पैकिंग संख्या (Recursive Packing Number - $PK_{p, \epsilon, c}(S)$)

मुख्य नवाचार $(p, \epsilon, c)$-पैकिंग संख्या की परिभाषा है, जिसे $PK_{p, \epsilon, c}(S)$ द्वारा दर्शाया गया है। यह एक पुनरावर्ती (recursively) रूप से परिभाषित कॉम्बिनेटोरियल मात्रा है:

1. चयन (Selection): एक शीर्ष $w_1 \in S$ चुनें।
2. विटनेस बॉल (Witness Ball): $w_1$ के चारों ओर एक "विटनेस बॉल" $B(w_1, D_1)$ को संबद्ध करें।
3. शर्त (Condition): शीर्ष $w_1$ के मूल ग्राफ़ में कम से कम $c$ प्रायिकता के साथ अनंत से जुड़ने की संभावना होनी चाहिए, और अनंत से न जुड़ने की घटना को विटनेस बॉल की आंतरिक सीमा तक न पहुँचने की घटना द्वारा (कारक $1+\epsilon$ तक) कैप्चर किया जाना चाहिए।
4. पुनरावृत्ति (Recursion): ग्राफ़ $G_1$ बनाने के लिए मूल ग्राफ़ से बॉल $B(w_1, D_1)$ को हटा दें। अगला शीर्ष $w_2$ को $S \setminus B(w_1, D_1)$ से इस प्रकार चुनें कि वह $G_1$ के भीतर भी उन्हीं शर्तों को पूरा करता हो।
5. गणना (Count): $PK_{p, \epsilon, c}(S)$ इस प्रकार चुने गए शीर्षों की अधिकतम संख्या है।

यह संख्या अनिवार्य रूप से उन शीर्षों की अधिकतम संख्या को गिनती है जो वैश्विक विच्छेदन घटना के लिए अनिवार्य रूप से स्वतंत्र स्थानीय विटनेस (essentially independent local witnesses) का एक परिवार बनाते हैं।

C. एम्प्लीफिकेशन चरण (Amplification Step)

प्रमाण कनेक्शन प्रायिकताओं के स्थानीय निचले स्तर के अनुमान को "विटनेस बॉल" घटनाओं की स्वतंत्रता के साथ जोड़ता है। $k$ ऐसे शीर्षों को चुनने से, उन सभी के अनंत से न जुड़ने की प्रायिकता लगभग $(1-c)^k$ के रूप में घटती है। पुनरावर्ती संरचना लेखक को बॉल्स को हटाने से उत्पन्न होने वाली निर्भरताओं (dependencies) को संभालने की अनुमति देती है, जिससे त्रुटि पदों (error terms) को पैरामीटर $\epsilon$ का उपयोग करके सीमित किया जाता है।

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

मुख्य प्रमेय (पैकिंग बाउंड)

यह शोध पत्र निम्नलिखित संरचनात्मक अनुमान (Theorem 1.1) स्थापित करता है:
$$P_p(S \nleftrightarrow \infty) \leq \frac{\epsilon(1-c)}{c} + (1-c)^{PK_{p, \epsilon, c}(S)}$$

• व्याख्या: विच्छेदन की प्रायिकता पैकिंग संख्या पर निर्भर एक पद द्वारा सीमित है। प्रत्येक अतिरिक्त स्वीकार्य पैकिंग केंद्र $(1-c)$ का एक गुणात्मक कारक जोड़ता है, जिससे यदि पैकिंग संख्या बड़ी है, तो घातांकीय क्षय (exponential decay) होता है।
• व्यापकता (Generality): यह बाउंड किसी भी अनंत, संयोजित, स्थानीय रूप से परिमित ग्राफ़ के लिए मान्य है।

स्पष्ट सुपरक्रिटिकल अनुमान (Explicit Supercritical Estimate)

पैरामीटर $c$ को $p_c$ के स्थानीय कार्यात्मक लक्षण के आधार पर चुनकर (विशेष रूप से $p_1 \in (p_c, p)$ का उपयोग करके), लेखक एक स्पष्ट बाउंड (Corollary 2.7) प्राप्त करते हैं:
$$P_p(S \nleftrightarrow \infty) \leq \inf_{p_1, \epsilon, \delta} \left[ \frac{\delta (\frac{1-p}{1-p_1})^{1-\epsilon}}{1 - (\frac{1-p}{1-p_1})^{1-\epsilon}} + \left(\frac{1-p}{1-p_1}\right)^{(1-\epsilon) PK_{p, \delta, c}(S)} \right]$$
यह किसी भी ऐसे ग्राफ़ के लिए एक ठोस, गणना योग्य ऊपरी बाउंड प्रदान करता है जहाँ पैकिंग संख्या का अनुमान लगाया जा सकता है।

रे-होमोजेनियस ट्रीज़ (Ray-Homogeneous Trees) पर ठोस उदाहरण

यह दिखाने के लिए कि पैकिंग संख्या केवल एक औपचारिक निर्माण नहीं है बल्कि गणना योग्य है, यह शोध पत्र रे-होमोजेनियस ट्रीज़ का विश्लेषण करता है:

• परिभाषा: ऐसे ट्रीज़ जहाँ एक विशिष्ट जियोडेसिक रे (geodesic ray) $\gamma$ के साथ ज्यामिति होमोजेनस होती है (एक शीर्ष $F_1$ नामक रूटेड ट्री के रूप में "पीछे" की संरचना और शुरुआत में $F_0$ की संरचना)।
• परिणाम (Proposition 3.3): रे $\gamma$ के विरल (sparse) परिमित उपसमुच्चय $A$ के लिए (जहाँ बिंदु एक दूरी $R_\epsilon$ द्वारा अलग होते हैं), पैकिंग संख्या सेट की कार्डिनैलिटी (cardinality) के बराबर होती है:
  $$PK_{p, \epsilon, c}(A) = |A|$$
• अनुप्रयोग:
  1. रेगुलर ट्रीज़ ($T_d$): पर्याप्त दूरी पर स्थित बिंदुओं के लिए पैकिंग संख्या सेट के आकार के बराबर होती है।
  2. नॉन-रेगुलर डेकोरेटेड स्पाइन (Non-Regular Decorated Spine): एक ट्री जिसे एक द्वि-अनंत पथ (bi-infinite path) से टर्नरी ट्रीज़ जोड़कर बनाया गया है। ट्रांसिटिविटी के अभाव के बावजूद, स्पाइन पर विरल सेटों के लिए पैकिंग संख्या सटीक रूप से कार्डिनैलिटी के बराबर है।

4. महत्व (Significance)

1. सार्वभौमिकता (Universality): पिछले कार्यों के विपरीत जिन्हें $\mathbb{Z}^d$ जैसे ट्रांसिटिव या क्वाजी-ट्रांसिटिव ग्राफ़ की आवश्यकता थी, यह परिणाम किसी भी अनंत, संयोजित, स्थानीय रूप से परिमित ग्राफ़ पर लागू होता है। यह सभी ज्यामितीय जटिलता को ग्राफ़-निर्भर पैकिंग संख्या में समाहित कर देता है।
2. मात्रात्मक सटीकता (Quantitative Precision): यह गुणात्मक कथनों (जैसे, "विच्छेदन की प्रायिकता घातांकीय रूप से घटती है") से आगे बढ़कर $p$, $c$, और पैकिंग संख्या जैसे मापदंडों को शामिल करते हुए स्पष्ट, मात्रात्मक सीमाएँ प्रदान करता है।
3. नवीन तंत्र (New Mechanism): "रिकर्सिव पैकिंग/एम्प्लीफिकेशन" सिद्धांत परकोलेशन थ्योरी के लिए एक नया टूलकिट प्रदान करता है। यह प्रभावी रूप से स्थानीय कनेक्टिविटी गुणों (वन-पॉइंट अनुमान) और वैश्विक विच्छेदन घटनाओं (मेनी-पॉइंट अनुमान) के बीच के अंतर को बिना प्लेनर ड्यूअलिटी या विशिष्ट लैटिस समरूपता पर निर्भर हुए पाटता है।
4. गणना योग्यता (Computability): यह दिखाकर कि रे-होमोजेनियस ट्रीज़ (गैर-नियमित सहित) पर विरल सेटों के लिए पैकिंग संख्या सेट की कार्डिनैलिटी के बराबर है, यह शोध पत्र सिद्ध करता है कि ये सीमाएँ केवल सैद्धांतिक निर्माण नहीं बल्कि स्पष्ट और गणना योग्य हैं।

संक्षेप में, झोंगयांग ली सामान्य ग्राफ़ों पर सुपरक्रिटिकल विच्छेदन प्रायिकताओं का अनुमान लगाने के लिए एक मजबूत ढांचा प्रदान करते हैं, जिसमें एक रिकर्सिव पैकिंग संख्या पेश की गई है जो यह मापती है कि एक सेट के भीतर स्थानीय विच्छेदन घटनाएँ कितनी "स्वतंत्र" हो सकती हैं।