Resetting-induced instability in queues fed by a search process in an interval

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

समस्या विवरण
यह शोध पत्र उन प्रणालियों में संसाधन संचय की दीर्घकालिक स्थिरता को संबोधित करता है जहाँ संसाधन एक ऐसी खोज प्रक्रिया द्वारा वितरित किए जाते हैं जो स्टोकेस्टिक रीसेटिंग (stochastic resetting) के अधीन होती है। विशेष रूप से, यह एक "लक्ष्य-केंद्रित" (target-centric) मॉडल की जांच करता है जहाँ एक विसरित कण (diffusing particle) एक एक-आयामी (1D) बंधे हुए अंतराल $[0, L]$ में एक अवशोषक लक्ष्य (absorbing target) की खोज करता है जो मूल बिंदु (origin) पर स्थित है। लक्ष्य को खोजने पर, कण एक संसाधन वितरित करता है, पुनः लोड करने के लिए अपने प्रारंभिक स्थान $x_0$ पर वापस लौटता है (एक रिफ्रैक्टरी अवधि), और फिर से खोज शुरू करता है। यह चक्र "बर्स्ट" घटनाओं (आगमन) का एक क्रम उत्पन्न करता है जो एक कतार प्रणाली (queueing system) को पोषित करते हैं जिसमें सर्वरों की एक सीमित संख्या ($c$) और घातीय सेवा समय (exponential service times - उपभोग) होता है।

मुख्य समस्या यह निर्धारित करना है कि स्टोकेस्टिक रीसेटिंग—जहाँ कण को दर $r$ पर तात्कालिक रूप से $x_0$ पर वापस भेज दिया जाता है—प्रक्रिया का प्रभाव प्रथम-पासेज समय (first-passage times - FPT) पर क्या पड़ता है और यह कतार में संसाधनों की संख्या के स्थिर अवस्था (steady state) में अभिसरण (convergence) को कैसे प्रभावित करता है। जबकि स्टोकेस्टिक रीसेटिंग के बारे में ज्ञात है कि यह अनबाउंडेड डोमेन या बंधे हुए डोमेन के विशिष्ट उप-क्षेत्रों में प्रथम-पासेज समय (FPT) को अनुकूलित करती है, यह शोध पत्र इस बात की जांच करता है कि क्या खोज प्रक्रिया की यह त्वरण (acceleration) अनजाने में आगमन दर को सेवा क्षमता से बढ़ाकर कतार प्रणाली को अस्थिर कर सकती है, जिससे संसाधनों का विस्फोट (blow-up) हो सकता है।

कार्यप्रणाली (Methodology)
लेखक शास्त्रीय कतार सिद्धांत (classical queuing theory) को स्टोकेस्टिक रीसेटिंग के तहत प्रथम-पासेज प्रक्रियाओं के सांख्यिकी के साथ जोड़ते हैं।

1. क्यूइंग थ्योरी में मानचित्रण (Mapping to Queuing Theory): खोज-और-कैप्चर प्रक्रिया को $G/M/c$ कतार प्रणाली में मैप किया गया है। कतार के अंतर-आगमन समय (inter-arrival times) FPT (रीसेटिंग के साथ) और रिफ्रैक्टरी अवधि के योग द्वारा निर्धारित होते हैं। सेवा समय $\mu$ दर के साथ मार्कोवियन (घातीय रूप से वितरित) होते हैं।
2. अभिसरण स्थिति (Convergence Condition): प्रणाली एक स्थिर अवस्था में अभिसरित होती है यदि और केवल यदि ट्रैफिक तीव्रता $\rho = \lambda / (c\mu) < 1$ हो, जहाँ $\lambda$ औसत आगमन दर है।
3. विश्लेणात्मक व्युत्पत्ति (Analytical Derivation):
   • लेखक स्टोकेस्टिक रीसेटिंग के साथ एक बंधे हुए अंतराल में विसरित कण के FPT घनत्व के लाप्लास ट्रांसफॉर्म (Laplace transform) का उपयोग करके माध्य FPT, $T_r(x_0)$ प्राप्त करते हैं।
   • वे रीसेटिंग दर $r$, अंतराल की लंबाई $L$, सर्वरों की संख्या $c$, और अन्य मापदंडों के फलन के रूप में महत्वपूर्ण प्रारंभिक स्थिति $x^*_r$ को व्युत्पन्न करते हैं। अभिसरण तब होता है यदि $x_0 > x^*_r$ हो।
   • वे विभिन्न $r$ के तहत $x^*_r$ के व्यवहार और अभिसरण के लिए आवश्यक न्यूनतम अंतराल लंबाई $L^*_r$ का विश्लेषण करते हैं।
4. पैरामीटर स्पेस विश्लेषण: अध्ययन दो प्राथमिक परिदृश्यों की जांच करता है:
   • परिवर्तनशील अंतराल लंबाई $L$ के साथ स्थिर रीसेटिंग दर $r$।
   • परिवर्तनशील रीसेटिंग दर $r$ के साथ स्थिर अंतराल लंबाई $L$।

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

1. रीसेटिंग के साथ महत्वपूर्ण प्रारंभिक स्थिति:
   लेखक एक स्पष्ट अभिव्यक्ति $x^*_r$ (समीकरण 20) व्युत्पन्न करते हैं जो अभिसरण सुनिश्चित करती है। यदि खोज $x_0 > x^*_r$ से शुरू होती है, तो कतार अभिसरित होती है; अन्यथा, संसाधनों की संख्या अनियंत्रित रूप से बढ़ जाती है। गैर-रीसेटिंग मामले में जहाँ $L \to \infty$ होने पर $x^*_0 \to 0$ होता है, वहीं रीसेटिंग की उपस्थिति में हाफ-लाइन (half-line) के लिए एक गैर-शून्य सीमा $x^{hl}_r$ प्राप्त होती है, जिसका अर्थ है कि बड़े डोमेन में भी अभिसरण तब तक गारंटीकृत नहीं है जब तक कि सर्वरों की संख्या न बढ़ाई जाए।

2. थ्रेशोल्ड अंतराल लंबाई ($L_{eq}$):
   एक निश्चित रीसेटिंग दर के लिए, लेखक एक थ्रेशोल्ड अंतराल लंबाई $L_{eq}$ (समीकार 24 में निहित रूप से परिभाषित) की पहचान करते हैं।

• $L < L_{eq}$ के लिए, स्टोकेस्टिक रीसेटिंग अभिसरण क्षेत्र का विस्तार करता है (उन $x_0$ की सीमा को चौड़ा करता है जो स्थिरता की ओर ले जाती है)।
• $L > L_{eq}$ के लिए, स्टोसेस्टिक रीसेटिंग अभिसरण क्षेत्र को संकुचित करता है, जिससे प्रणाली अस्थिरता के प्रति अधिक संवेदनशील हो जाती है।
  यह एक संक्रमण (transition) को दर्शाता है जहाँ रीसेटिंग का लाभ (खोज को तेज करना) लंबे अंतरालों में कतार स्थिरता के लिए हानिकारक हो जाता है।

3. थ्रेशोल्ड रीसेटिंग दर ($r_{eq}$ और $r_{max}$):
   एक निश्चित अंतराल लंबाई के लिए, लेखक एक महत्वपूर्ण रीसेटिंग दर $r_{eq}$ की पहचान करते हैं जहाँ रीसेटिंग के प्रभाव अभिसरण क्षेत्र को संकुचित करने से विस्तार करने की ओर बदलते हैं।

• $r_{max}$: एक विशिष्ट दर $r_{max}$ मौजूद है जो महत्वपूर्ण प्रारंभिक स्थिति $x^*_r$ को अधिकतम करती है, जिससे अभिसरण क्षेत्र न्यूनतम (अस्थिरता अधिकतम) हो जाता है।
• $r_{eq}$: यह वह दर है जिस पर रीसेटिंग के साथ अभिसरण क्षेत्र, बिना रीसेटिंग वाले क्षेत्र के बराबर होता है।
• सर्वरों के साथ स्केलिंग (Scaling with Servers): शोध पत्र पाता है कि $r_{max}$ सर्वरों की संख्या ($c$) के साथ रैखिक रूप से स्केल करता है, जबकि $r_{eq}$ एक पावर लॉ ($c^\beta$ के साथ $\beta > 2$) के रूप में स्केल करता है। फलस्वरूप, जैसे-जैसे सर्वरों की संख्या बढ़ती है, अभिसरण क्षेत्र को सुधारने (विस्तार करने) के लिए आवश्यक रीसेटिंग दर तेजी से बढ़ती है, जबकि अभिसरण को खराब करने वाली दर केवल रैखिक रूप से बढ़ती है।

4. अस्थिरता तंत्र (Instability Mechanism):
   अध्ययन प्रदर्शित करता है कि उन परिदृश्यों में जहाँ खोज प्रक्रिया स्वाभाविक रूप से धनात्मक पुनरावर्ती (positive recurrent - बिना रीसेटिंग के सीमित MFPT) है, स्टोकेस्टिक रीसेटिंग को पेश करने से MFPT कम हो सकता है। कतार के संदर्भ में, अंतर-आगमन समय में यह कमी ट्रैफिक तीव्रता $\rho$ को बढ़ा देती है। यदि $\rho > 1$ हो जाता है, तो प्रणाली एक अभिसारी स्थिर अवस्था से अनियंत्रित वृद्धि (blow-up) की ओर स्थानांतरित हो जाती है।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह खोज गतिशीलता (search dynamics) और स्टोकेस्टिक रीसेटिंग को संसाधन संचय की स्थिरता से जोड़ने वाला एक सैद्धांतिक ढांचा प्रदान करता है। इसका प्राथमिक महत्व यह पहचानना है कि स्टोसेस्टिक रीसेटिंग, जो आम तौर पर खोज दक्षता के लिए फायदेमंद है, संसाधन-सीमित प्रणालियों में रीसेटिंग-प्रेरित अस्थिरता उत्पन्न कर सकती है।

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

यह कार्य नए प्रयोगात्मक प्रोटोकॉल या अनुप्रयोगों का प्रस्ताव नहीं करता है, बल्कि रीसेटिंग खोज प्रक्रियाओं द्वारा संचालित $G/M/c$ प्रणालियों में स्थिरता सीमाओं को निर्धारित करने के लिए विश्लेषणात्मक परिणाम और निहित समीकरण प्रदान करता है। भविष्य की दिशाओं में $G/G/c$ प्रणालियों, कई लक्ष्यों और परस्पर क्रिया करने वाले खोजकर्ताओं (interacting searchers) तक मॉडल का विस्तार करना शामिल है।