On perturbations that preserve the connectivity properties in tree percolations

तकनीकी सारांश: उन विक्षोभों पर जो वृक्ष परकोलेशन (Tree Percolations) में संबद्धता गुणों को संरक्षित करते हैं

समस्या विवरण
यह शोध पत्र अनंत, स्थानीय रूप से परिमित वृक्षों (trees) पर परिभाषित सामान्य बॉन्ड परकोलेशन मॉडलों में संबद्धता गुणों की स्थिरता की जांच करता है। विशेष रूप से, लेखक इस बात का परीक्षण करते हैं कि जब किनारों के प्रतिधारण प्रायिकता (edge retention probabilities) $p_e$ को स्तर-निर्भर विक्षोभों (level-dependent perturbations) के अधीन किया जाता है, तो अनंत क्लस्टर्स (clusters) के अस्तित्व (या अनुपस्थिति) पर क्या प्रभाव पड़ता है। यह विक्षोभ मूल प्रायिकता $p_e$ को $\min\{1, q_{|e|}p_e\}$ से बदल देता है, जहाँ $\{q_n\}_{n \ge 1}$ धनात्मक कारकों का एक अनुक्रम है और $|e|$ मूल (root) से किनारे की ग्राफ दूरी को दर्शाता है।

अध्ययन दो विशिष्ट व्यवस्थाओं (regimes) को संबोधित करता है:

1. अनुपस्थिति की स्थिरता (Stability of Absence): यदि मूल मॉडल में कोई अनंत क्लस्टर नहीं है ($P_p(I)=0$), तो $q_n \ge 1$ वाले विक्षोभ (जो संबद्धता को बढ़ाते हैं) के तहत, क्या प्रणाली अनंत क्लस्टर्स से रहित रहती है?
2. अस्तित्व की स्थिरता (Stability of Existence): यदि मूल मॉडल में अनंत क्लस्टर्स हैं (विशेष रूप से, धनात्मक प्रायिकता के साथ अनगिनत सीमा क्लस्टर्स), तो $0 < q_n \le 1$ वाले विक्षोभ (जो संबद्धता को कम करते हैं) के तहत, अनंत क्लस्टर्स का अस्तित्व बना रहता है या नहीं।

लेखक ध्यान देते हैं कि जबकि निरर्थक विक्षोभ (जहाँ उत्पाद $\prod q_n$ एक परिमित गैर-शून्य सीमा तक अभिसरित होता है) केवल प्रायिकताओं को पुन: स्केल करते हैं, "वास्तव में दिलचस्प" मामले वे हैं जिनमें अपसारी विक्षोभ (divergent perturbations) शामिल हैं जहाँ $\prod q_n = 0$ (संचयी कमी/thinning) या $\prod q_n = \infty$ (संचयी वृद्धि/enhancement) होता है। सरल प्रति-उदाहरण (counterexamples) प्रदर्शित करते हैं कि बिना विशिष्ट संरचनात्मक शर्तों के, सामान्यतः स्थिरता की गारंटी नहीं दी जा सकती।

कार्यप्रणाली (Methodology)
प्रमाण मुख्य रूप से वृक्षों पर परकोलेशन के लॉयन्स की क्षमता लक्षण वर्णन (Lyons' capacity characterisation) पर आधारित हैं, जो विविक्त संभाव्यता सिद्धांत (discrete potential theory) का एक परिणाम है। मुख्य कार्यप्रणाली में शामिल हैं:

• क्षमता और ऊर्जा (Capacity and Energy): सेट $E \subseteq \partial T$ तक परकोलेशन की प्रायिकता और सेट की क्षमता, $capp(E)$ के बीच संबंध का उपयोग करना। यह क्षमता एक गेज फलन (gauge function) $\Psi_p(x) = 1/P_p[o \to x]$ से जुड़े ऊर्जा फलन $E_p(\mu)$ के माध्यम से परिभाषित की जाती है।
• लॉयन्स का प्रमेय (Lyons' Theorem): $capp(E) \le P_p[o \to E] \le 2capp(E)$ संबंध को लागू करना, जो संभाव्यतात्मक संबद्धता को संभाव्यता-सैद्धांतिक क्षमता से जोड़ता है।
• विक्षोभ विश्लेषण (Perturbation Analysis): विक्षोभित प्रायिकताओं $q p$ के तहत ऊर्जा फलन में होने वाले परिवर्तनों का विश्लेषण करना। लेखक विशिष्ट विक्षोभ अनुक्रमों $\{q_n\}$ का निर्माण करते हैं और यह प्रदर्शित करते हैं कि कुछ अपसारी स्थितियों के तहत क्षमता (capacity) का धनात्मक होना और ऊर्जा फलन की परिमितता बनी रहती है।
• सहायक लेम्मा (Auxiliary Lemmas): प्रमाण में संक्रामक अनुक्रमों (summable sequences) से संबंधित प्रारंभिक लेम्मा का उपयोग करके विशिष्ट वर्धमान अनुक्रमों $\{Q_n\}$ (जो $q_n$ के संचयी उत्पाद से संबंधित हैं) का निर्माण किया गया है, जो विक्षोभित ऊर्जा फलन के अभिसरण को सुनिश्चित करते हैं।

प्रमुख योगदान और परिणाम
यह शोध पत्र प्रमेय A (Theorem A) प्रस्तुत करता है, जो न्यूनतम धारणाओं के तहत परकोलेटिव व्यवस्थाओं की मजबूती स्थापित करता है:

1. अनंत क्लस्टर्स की अनुपस्थिति में स्थिरता (भाग i):
   यदि मूल मॉडल में लगभग निश्चित रूप से (almost surely) कोई अनंत क्लस्टर नहीं है, और विक्षोभ अनुक्रम $q_n \ge 1$ निम्नलिखित शर्त को संतुष्ट करता है:
   $$\liminf_{n \to \infty} \left( \prod_{i=1}^n q_i \right) \cdot P_p[o \to V_n] = 0$$
   (जहाँ $V_n$ स्तर $n$ के शीर्षों का सेट है), तो विक्षोभित मॉडल में भी लगभग निश्चित रूप से कोई अनंत क्लस्टर नहीं होगा। लेखक दिखाते हैं कि ऐसा विक्षोभ अनुक्रम हमेशा मौजूद होता है, भले ही $\prod q_n = \infty$ हो।

2. अनगिनत क्लस्टर्स की स्थिरता (भाग ii):
   यदि मूल मॉडल में धनात्मक प्रायिकता के साथ एक अनगिनत सीमा क्लस्टर है ($P_p[o \xrightarrow{u} \partial T] > 0$), तो एक विक्षोभ अनुक्रम $q_n \in (0, 1)$ मौजूद है जिससे $\lim_{n \to \infty} q_n = 1$ है और अनगिनत क्लस्टर का लगभग-निश्चित अस्तित्व बना रहता है।

   • शर्तों की आवश्यकता: शोध पत्र नोट करता है कि अनगिनत क्लस्टर होने की शर्त आवश्यक है; यदि क्लस्टर गणनीय (countable) है (जैसे, एक एकल किरण/ray), तो अपसारी कमी वाले विक्षोभ परकोलेशन को नष्ट कर सकते हैं (जैसा कि उदाहरण 1.1 में दिखाया गया है)।
   • समरूप मामला (Homogeneous Case): समरूप परकोलेशन ($p_e = p$) के लिए, यदि विक्षोभित मॉडल परकोलेट करता है, तो लेखक वृक्ष के ब्रांचिंग नंबर और विक्षोभ कारकों को शामिल करते हुए एक आवश्यक शर्त व्युत्पन्न करते हैं:
     $$\sum_{n=1}^\infty \frac{1 - q_n p}{p^n (\# E_n) \prod_{i=1}^n q_i} < \infty$$
     जहाँ $\# E_n$ स्तर $n$ पर शीर्षों की संख्या है।

महत्व और अनुप्रयोग
लेखक दावा करते हैं कि उनके परिणाम दर्शाते हैं कि परकोलेटिव व्यवस्था "काफी मजबूत" (rather robust) है, बशर्ते कि वह "नाजुक" (fragile) न हो (अर्थात, केवल एक किरण पर निर्भर न हो)।

एक प्राथमिक अनुप्रयोग एर्डोस समानता अनुमान (Erdős similarity conjecture) के लिए है जो कैंटर सेट्स (Cantor sets) पर लागू होता है। एक डायैडिक ट्री (dyadic tree) के उप-वृक्ष $T_C$ के रूप में कैंटर सेट $C \subset [0, 1]$ को एनकोड करके, लेखक प्रमेय A (ii) का उपयोग करके स्तर-निर्भर भारों $\{q_n\}$ (जहाँ $\prod q_n = 0$) का निर्माण करते हैं, ताकि किसी भी एफाइन कॉपी (affine copy) $\lambda C + t$ के लिए विक्षोभित परकोलेशन में सीमा (boundary) तक जुड़ने की धनात्मक प्रायिकता बनी रहे।

• इससे परिणाम 4.2 (Corollary 4.2) प्राप्त होता है, जो कहता है कि किसी भी कैंटर सेट $C$ के लिए, एक शून्य लेबेग माप (Lebesgue measure) वाला सेट $B$ मौजूद है, जिससे लगभग सभी $\lambda, t$ के लिए $B \cap (\lambda C + t) \neq \emptyset$ होता है।
• यह शोध पत्र एर्डोस समानता समस्या के अध्ययन के लिए एक संभावित मार्ग के रूप में इस कार्य को रखता है, यह नोट करते हुए कि हालांकि "प्रतिच्छेदन की विशालता" (largeness of intersection) स्थापित की गई है, लेकिन $(\lambda, t)$ के सापेक्ष इस गुण की निरंतरता पूर्ण समाधान के लिए एक खुला प्रश्न बनी हुई है।

यह कार्य संक्षिप्त और व्यापकता से प्रमाण प्रदान करने के लिए संभाव्यता-सैद्धांतिक लक्षणों के उपयोग द्वारा विशिष्ट है, जो अधिक सरल लेकिन जटिल संयोजनात्मक (combinatorial) विधियों से बचता है।