First-passage processes in a deterministic one-dimensional cellular automaton model of traffic flow

तकनीकी सारांश: यातायात प्रवाह के एक नियतात्मक एक-आयामी सेलुलर ऑटोमेटा मॉडल में प्रथम-प्रवेश प्रक्रियाएं (First-passage processes)

समस्या विवरण
यह शोध पत्र 'डिटरमिनिस्टिक सिंपल ट्रैफिक-फ्लो' (DSTF) मॉडल के क्षणिक गतिकी (transient dynamics) और विश्रांति प्रक्रियाओं (relaxation processes) की जांच करता है, जो वॉल्फ्राम के नियम 184 के अनुरूप एक एक-आयामी सेलुलर ऑटोमेटा (CA) है। जबकि पिछले अध्ययनों ने मुख्य रूप से सामूहिक स्थिर-अवस्था गुणों (जो मौलिक आरेख द्वारा पकड़े जाते हैं) या जाम की ज्यामितीय संरचना पर ध्यान केंद्रित किया है, यह कार्य एक यादृच्छिक प्रारंभिक अवस्था से स्थिर अवस्था की ओर विश्रांति के दौरान व्यक्तिगत कार प्रक्षेप पथों (trajectories) के सांख्यिकीय गुणों को संबोधित करता है। विशेष रूप से, लेखक प्रथम-प्रवेश प्रक्रियाओं (first-passage processes) का विश्लेषण करके भीड़भाड़ और विश्रांति के समय-पैमानों को लक्षणित करने का लक्ष्य रखते हैं: वे समय जब कारें पहली बार रुकती हैं, अंतिम बार रुकती हैं, और उनके द्वारा अनुभव किए जाने वाले रुकने की घटनाओं की कुल संख्या।

कार्यप्रणाली
यह अध्ययन आवधिक सीमा स्थितियों (periodic boundary conditions) के साथ लंबाई $L$ वाले एक नियतात्मक 1D जाली (lattice) पर लागू प्रथम-प्रवेश प्रक्रियाओं के ढांचे का उपयोग करता है। सिस्टम $t=0$ पर घनत्व $p$ के साथ कारों की एक यादृच्छिक विन्यास (configuration) से शुरू होता है। गतिकी नियतात्मक है: एक कार एक कदम दाईं ओर चलती है यदि उसके आगे का सेल खाली है; अन्यथा, वह रुक जाती है।

मुख्य विश्लेषणात्मक तकनीक यातायात विन्यास को एक "पर्वत परिदृश्य" (mountain landscape - एक विविक्त रैंडम वॉक) में मैप करने पर आधारित है। इस मैपिंग में:

• भरा हुआ सेल ऊपर की ओर बढ़ते कदमों (ascending steps) के अनुरूप है।
• खाली सेल नीचे की ओर उतरते कदमों (descending steps) के अनुरूप है।
• एक चयनित कार के लिए रुकने की घटनाएँ रैंडम वॉक में "ऊपर की ओर बढ़ते रिकॉर्ड्स" (ascending records/ladder epochs) के अनुरूप होती हैं, जहाँ ऊंचाई का प्रोफाइल पिछले सभी ऊंचाइयों से अधिक हो जाता है।

इस पत्राचार (correspondence) का उपयोग करते हुए, लेखक विभिन्न प्रायिकता वितरणों के लिए सटीक क्लोज्ड-फॉर्म अभिव्यक्तियों को प्राप्त करने के लिए कॉम्बिनेटरियल गणित, विशेष रूप से कैटलन संख्याओं (Catalan numbers) और लोब संख्याओं (Lobb numbers) का उपयोग करते हैं। विश्लेषण कम-घनत्व चरण ($0 < p < 1/2$), जहाँ सिस्टम एक मुक्त-प्रवाह वाली आवधिक (FFP) अवस्था में विकसित होता है, और उच्च-घनत्व चरण ($1/2 < p < 1$), जहाँ जाम बने रहते हैं, दोनों को कवर करता है।

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

1. प्रथम-रुकने (First-Stopping - FS) समय वितरण:
   लेखक एक क्लोज्ड-फॉर्म अभिव्यक्ति $P(T_{FS} = t)$ प्राप्त करते हैं, जो इस बात की प्रायिकता है कि एक यादृच्छिक चुनी गई कार समय $t$ पर पहली बार रुकती है।

• $0 < p < 1/2$ के लिए, वितरण इस शर्त पर आधारित है कि कार कम से कम एक बार रुकती है। कार के कभी न रुकने की प्रायिकता $P_{NS} = 1 - \frac{2p}{1-p}$ है।
• $1/2 < p < 1$ के लिए, प्रत्येक कार कम से कम एक बार रुकती है, और वितरण सामान्यीकृत (normalized) है।
• क्रांतिक घनत्व $p = 1/2$ पर, वितरण एक शुद्ध पावर-लॉ क्षय (power-law decay) $P(T_{FS} = t) \sim t^{-3/2}$ का पालन करता है। क्रांतिक बिंदु से दूर, वितरण एक एक्सपोनेंशियलली ट्रंकेटेड पावर-लॉ व्यवहार प्रदर्शित करता है।
• FS समय का माध्य (mean) और विचरण (variance) निकाला गया है, जो $p \to 1/2$ होने पर अपसारी (diverge) होता है।

2. रुकने की प्रायिकता $P_S(t)$:
   यह शोध पत्र $P_S(t)$ की प्रायिकता प्राप्त करता है कि एक कार एक विशिष्ट समय $t$ पर रुकती है।

• इसे लोब संख्याओं और हाइपरजियोमेट्रिक फलनों (hypergeometric functions) का उपयोग करके व्यक्त किया गया है।
• कम-घनत्व चरण में, $P_S(t)$ शून्य की ओर क्षय होता है। उच्च-घनत्व चरण में, यह एक गैर-शून्य स्थिर मान $(2p-1)/p$ पर अभिसरित होता है।
• संक्रमण $p=1/2$ पर, $P_S(t)$ का क्षय $t^{-1/2}$ के रूप में होता है।
• लेखक इस क्षय को बैलिस्टिक एनिहिलेशन (ballistic annihilation) प्रक्रियाओं से जोड़ते हैं, जिसमें कारों और रिक्तियों (vacancies) को क्वासी-कणों (quasi-particles) के रूप में पहचाना जाता है जहाँ कारों और रिक्तियों के जोड़े आपस में टकराने पर नष्ट (annihilate) हो जाते हैं।

3. अंतिम-रुकने (Last-Stopping - LS) समय वितरण:
   कम-घनत्व चरण ($0 < p < 1/2$) में, जहाँ कारें अंततः अनिश्चित काल तक स्वतंत्र रूप से चलती हैं, लेखक $P(T_{LS} = t)$ प्राप्त करते हैं, जो इस बात की प्रायिकता है कि एक कार अंतिम बार समय $t$ पर रुकती है।

• वितरण को इस शर्त पर प्राप्त किया गया है कि कार के आगे वाला हिस्सा शुरुआत से ही स्वतंत्र रूप से चल रहा हो।
• LS समय का माध्य $p \to 1/2^-$ होने पर अपसारित (diverge) हो जाता है।

4. LS समय और रुकने की घटनाओं का संयुक्त वितरण:
   यह शोध पत्र अंतिम-रुकने के समय ($T_{LS}$) और उस समय तक रुकने की कुल घटनाओं ($N_S$) के बीच संबंध का विश्लेषण करता है।

• $N_S$ के मार्जिनल वितरण को एक ज्यामितीय वितरण (geometric distribution) के रूप में पाया गया है: $P(N_S = n) = \frac{1-2p}{1-p} (\frac{p}{1-p})^n$।
• संयुक्त वितरण $P(T_{LS}=t, N_S=n)$ और सशर्त वितरण $P(T_{LS}=t | N_S=n)$ और $P(N_S=n | T_{LS}=t)$ के लिए क्लोज्ड-फॉर्म अभिव्यक्तियाँ प्रदान की गई हैं।
• $T_{LS}$ और $N_S$ के बीच सहसंबंध गुणांक (correlation coefficient) की गणना की गई है, जो कम घनत्व पर $1/\sqrt{2}$ से लेकर क्रांतिक बिंदु के पास $1/\sqrt{3}$ तक निरंतर घटता है।

महत्व और दावे
लेखक दावा करते हैं कि ये परिणाम नियतात्मक यातायात प्रवाह में भीड़भाड़ और विश्रांति के समय-पैमानों के बारे में विस्तृत सूक्ष्म (microscopic) अंतर्दृष्टि प्रदान करते हैं। सामूहिक औसत के बजाय व्यक्तिगत प्रक्षेप पथों पर ध्यान केंद्रित करके, यह अध्ययन विश्रांति प्रक्रिया की सांख्यिकीय प्रकृति को प्रकट करता है।

यह शोध पत्र तर्क देता है कि ये निष्कर्ष यातायात प्रवाह से परे भी विस्तृत होते हैं। विश्रांति प्रक्रिया की गणितीय संरचना, जिसमें कई परस्पर क्रिया करने वाले कण और रिकॉर्ड सांख्यिकी शामिल है, अन्य नियतात्मक प्रणालियों में जटिल विश्रांति प्रक्रियाओं के बारे में अंतर्दृष्टि प्रदान करती है, विशेष रूप से नियतात्मक सतह वृद्धि (deterministic surface growth) और दो-आयामी यातायात के BML (Biham-Middleton-Levine) मॉडल का उल्लेख करते हुए। लेखक नोट करते हैं कि BML मॉडल के होमोटिपिक इंटरैक्शन में देखे गए समय-पैमानों का पृथक्करण यहाँ प्राप्त $P_S(t)$ के समतुल्य है।

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