वोटर मॉडल

संभाव्यता के गणितीय सिद्धांत में, वोटर मॉडल एक प्रकार का अंतःक्रियात्मक कण प्रणाली है। और यह प्रणाली 1975 में रिचर्ड ए. होली और थॉमस एम. लिगेट द्वारा प्रांरम्भ की गई थीl

आप यह कल्पना कर सकता है कि कनेक्टेड ग्राफ़ पर प्रत्येक बिंदु पर वोटर है, जहां कनेक्शन इंगित करते हैं कि वोटर की एक जोड़ी (नोड्स) के बीच किसी प्रकार की अन्तःक्रिया होती है। किसी मुद्दे पर किसी भी वोटर की राय उसके निकटवर्ती की राय के प्रभाव में यादृच्छिक समय पर बदल जाती है। किसी भी समय एक वोटर की राय 0 और 1 लेबल वाले दो मानों में से एक ले सकती है। यादृच्छिक समय पर, एक यादृच्छिक व्यक्ति का चयन किया जाता है और उस वोटर की राय को स्टोकेस्टिक नियम के अनुसार बदल दिया जाता है। विशेष रूप से, चुने गए वोटर के निकटवर्ती में से एक को संभावनाओं के दिए गए सेट के अनुसार चुना जाता है और उस  निकटवर्ती की राय चुने हुए वोटर को अंतरित कर दी जाती है।

एक वैकल्पिक व्याख्या स्थानिक संघर्ष के संदर्भ में है। मान लीजिए कि दो राष्ट्र 0 या 1 लेबल वाले क्षेत्रों (नोड्स के सेट) को नियंत्रित करते हैं। किसी दिए गए स्थान पर 0 से 1 तक का फ्लिप दूसरे राष्ट्र द्वारा उस साइट पर आक्रमण का संकेत देता है।

ध्यान दें कि हर बार केवल एक फ्लिप होता है। वोटर मॉडल से जुड़ी समस्याओं को प्रायः दोहरी प्रणाली के संदर्भ में पुनर्गठित किया जाएगा एकजुट होने का मार्कोव चेन है। प्रायः ये समस्याएं स्वतंत्र मार्कोव श्रृंखलाओं से जुड़ी अन्य समस्याओं तक कम हो जाती हैl

परिभाषा
वोटर मॉडल एक (निरंतर समय) मार्कोव प्रक्रिया है $$\eta_t $$ राज्य स्थान के साथ $$S=\{0,1\}^{Z^d} $$ और संक्रमण दरें कार्य करती हैं $$c(x,\eta) $$, जहाँ $$Z^d $$ एक डी-आयामी पूर्णांक जाली है, और $$c( $$•,•$$ ) $$ के एक फलन के रूप में गैर-ऋणात्मक, समान रूप से परिबद्ध और सतत माना जाता है $$ \eta $$ उत्पाद टोपोलॉजी में $$ S $$. प्रत्येक घटक $$ \eta \in S $$ कॉन्फ़िगरेशन कहा जाता हैl यह स्पष्ट करने के लिए कि $$ \eta(x) $$ कॉन्फ़िगरेशन में साइट x का मान दर्शाता है $$ \eta(.) $$; जबकि $$ \eta_t(x) $$ इसका तात्पर्य है कॉन्फ़िगरेशन में साइट x का मान है $$ \eta(.) $$ समय पर $$ t$$.

प्रक्रिया की गतिशीलता संक्रमण दरों के संग्रह द्वारा निर्दिष्ट की जाती है। वोटर मॉडल के लिए, जिस दर पर परिवर्तन होता है $$\scriptstyle x $$ 0 से 1 तक या इसके विपरीत एक फलन $$ c(x,\eta) $$ साइट के $$ x $$ द्वारा दिया जाता हैl इसमें निम्नलिखित गुण हैं:

गुण (1) ऐसा कहती है $$ \eta\equiv 0 $$ और $$ \eta\equiv 1 $$ विकास के लिए निश्चित बिंदु हैं। (2) इंगित करता है कि 0 और 1 की भूमिकाओं को बदलने से विकास अपरिवर्तित है। गुण (3), में $$ \eta\leq \zeta $$ तात्पर्य है $$ \forall x,\eta(x)\leq\zeta(x) $$, और $$ \eta \leq \zeta $$ तात्पर्य $$ c(x,\eta)\leq c(x,\zeta) $$ अगर $$ \eta(x)=\zeta(x)=0 $$, और इसका तात्पर्य है $$ c(x,\eta)\geq c(x,\zeta) $$ अगर $$ \eta(x)=\zeta(x)=1 $$.
 * 1) $$ c(x,\eta)=0 $$ प्रत्येक के लिए $$ x \in Z^d $$ अगर $$ \eta \equiv 0$$ या अगर $$ \eta \equiv 1 $$
 * 2) $$ c(x,\eta)=c(x,\zeta) $$ प्रत्येक के लिए $$ x \in Z^d $$ अगर $$ \eta(y)+\zeta(y)=1 $$ सभी के लिए $$ y \in Z^d $$
 * 3) $$ c(x,\eta)\leq c(x,\zeta) $$ अगर $$ \eta\leq \zeta $$ और $$ \eta(x)=\zeta(x)=0 $$
 * 4) $$ c(x,\eta) $$ में बदलाव के तहत अपरिवर्तनीय है $$\scriptstyle Z^d $$

क्लस्टरिंग और सह-अस्तित्व
क्लस्टरिंग और सह-अस्तित्व, रुचि मॉडलों के सीमित व्यवहार में हैl चूँकि किसी साइट की फ्लिप दरें उसके निकटवर्ती पर निर्भर करती हैं, इसलिए यह स्पष्ट है कि जब सभी साइट समान मूल्य लेती हैं, तो पूरी प्रणाली सदैव के लिए बदलना बंद कर देती है। इसलिए, एक वोटर मॉडल में दो साधारण चरम स्थिर वितरण होते हैं, बिंदु-द्रव्यमान $$\scriptstyle \delta_0 $$ और $$\scriptstyle \delta_1 $$ पर $$\scriptstyle \eta \equiv 0 $$ या $$\scriptstyle \eta\equiv 1 $$ क्रमशः, जो सर्वसम्मति का प्रतिनिधित्व करते हैं। चर्चा का मुख्य प्रश्न यह है कि क्या अन्य भी हैं, जो संतुलन में विभिन्न के विचार सह-अस्तित्व का प्रतिनिधित्व करते है। ऐसा कहा जाता है कि सह-अस्तित्व तब होता है जब कोई स्थिर वितरण होता है जो अनंत 0 और 1 के साथ कॉन्फ़िगरेशन पर ध्यान केंद्रित करता है। दूसरी ओर, यदि सभी के लिए $$\scriptstyle x,y\in Z^d $$ और फिर सभी प्रारंभिक कॉन्फ़िगरेशन

\lim_{t\rightarrow \infty}P[\eta_t(x)\neq\eta_t(y)]=0 $$ ऐसा कहा जाता है कि क्लस्टरिंग होती है.

क्लस्टरिंग को क्लस्टर की अवधारणा से अलग करना महत्वपूर्ण है। क्लस्टर को जुड़े हुए घटकों के रूप में परिभाषित किया गया है $$\scriptstyle \{x:\eta(x)=0\}$$ या $$\scriptstyle \{x:\eta(x)=1\}$$.

मॉडल विवरण
यह अनुभाग बुनियादी वोटर मॉडल में से एक, रैखिक वोटर मॉडल को समर्पित होगा।

अगर $$\scriptstyle p( $$•,•$$\scriptstyle)$$ एक अघुलनशील यादृच्छिक चाल के लिए संक्रमण संभावनाएं बनें $$\scriptstyle Z^d $$, तब:

p(x,y)\geq 0 \quad\text{and} \sum_{y}p(x,y)=1 $$ फिर रैखिक वोटर मॉडल में, संक्रमण दरें रैखिक फलन हैं $$\scriptstyle \eta $$:

c(x,\eta)= \left\{ \begin{array}{l} \sum_y p(x,y)\eta(y) \quad \text{for all}\quad \eta(x)=0 \\ \sum_y p(x,y)(1-\eta(y)) \quad \text{for all}\quad \eta(x)=1  \\ \end{array} \right. $$ या अगर $$\scriptstyle \eta_x $$ इंगित करता है कि एक फ्लिप होता है $$\scriptstyle x$$, तो संक्रमण दरें बस हैं:

\eta\rightarrow\eta_x \quad\text{at rate} \sum_{y:\eta(y)\neq\eta(x)}p(x,y). $$ यादृच्छिक सैर को एकजुट करना की एक प्रक्रिया $$\scriptstyle A_t\subset Z^d $$ को इस प्रकार परिभाषित किया गया है। यहाँ $$\scriptstyle A_t$$ समय पर इन यादृच्छिक चालों द्वारा कब्जा की गई साइटों के सेट को दर्शाता है $$\scriptstyle t $$. परिभाषित करने के लिए $$\scriptstyle A_t $$, कई (निरंतर समय) यादृच्छिक सैर पर विचार करें $$\scriptstyle Z^d $$ इकाई घातीय होल्डिंग समय और संक्रमण संभावनाओं के साथ $$\scriptstyle p( $$•,•$$\scriptstyle ) $$, और उन्हें तब तक स्वतंत्र मानें जब तक उनमें से दो मिल न जाएं। उस समय, जो दोनों मिलते हैं वे एक कण में मिल जाते हैं, जो संक्रमण संभावनाओं के साथ एक यादृच्छिक चाल की तरह चलता रहता है  $$\scriptstyle p( $$•,•$$\scriptstyle ) $$.

वोटर मॉडल के व्यवहार का विश्लेषण करने के लिए द्वैत (गणित) (डुअलिटी) की अवधारणा आवश्यक है। रैखिक वोटर मॉडल द्वंद्व के एक बहुत ही उपयोगी रूप को संतुष्ट करते हैं, जिसे द्वैत को एकजुट करने (कलेसकिन्ग डुअलिटी) के रूप में जाना जाता है, जो है:

P^\eta(\eta_t\equiv 1 \quad\text{on }A)=P^A(\eta(A_t)\equiv 1), $$ जहाँ $$\scriptstyle \eta \in \{0,1\}^{Z^d} $$ का प्रारंभिक विन्यास है $$\scriptstyle \eta_t $$ और $$\scriptstyle A=\{x\in Z^d, \eta(x)=1\}\subset Z^d $$ समन्वित यादृच्छिक चाल की प्रारंभिक अवस्था है $$\scriptstyle A_t$$.

रैखिक वोटर मॉडल के व्यवहार को सीमित करना
होने देना $$\scriptstyle p(x,y) $$ एक अघुलनशील यादृच्छिक चाल के लिए संक्रमण संभावनाएं बनें $$\scriptstyle Z^d $$ और $$\scriptstyle p(x,y)=p(0,x-y) $$, तो ऐसे रैखिक वोटर मॉडल के लिए द्वैत संबंध यही कहता है $$\scriptstyle \forall\eta\in S=\{0,1\}^{Z^d} $$

P^{\eta}[\eta_t(x)\neq\eta_t(y)]=P[\eta(X_t)\neq\eta(Y_t)] $$ जहाँ $$\scriptstyle X_t $$ और $$\scriptstyle Y_t $$ (निरंतर समय) यादृच्छिक चलते हैं $$\scriptstyle Z^d $$ साथ $$\scriptstyle X_0=x $$, $$\scriptstyle Y_0=y $$, और $$\scriptstyle \eta(X_t) $$ समय पर यादृच्छिक चाल द्वारा ली गई स्थिति है $$\scriptstyle t $$. $$\scriptstyle X_t $$ और $$\scriptstyle Y_t $$ खंड 2.1 के अंत में वर्णित एक सम्मिलित यादृच्छिक चाल बनाता है। $$\scriptstyle X(t)-Y(t) $$ एक सममित यादृच्छिक चाल है। अगर  $$\scriptstyle X(t)-Y(t) $$ आवर्ती है और $$\scriptstyle d\leq 2 $$, $$\scriptstyle X_t $$ और $$\scriptstyle Y_t $$ अंततः संभावना 1 के साथ टकराएगा, और इसलिए

P^{\eta}[\eta_t(x)\neq\eta_t(y)]=P[\eta(X_t)\neq\eta(Y_t)]\leq P[X_t\neq Y_t]\rightarrow 0\quad\text{as}\quad t\to 0 $$ इसलिए, प्रक्रिया क्लस्टर होती है।

दूसरी ओर, जब $$d\geq 3 $$, सिस्टम सह-अस्तित्व में है। ऐसा इसलिए है क्योंकि $$\scriptstyle d\geq 3 $$, $$\scriptstyle X(t)-Y(t) $$ क्षणिक है, इस प्रकार एक घनात्मक संभावना है कि यादृच्छिक चाल कभी भी हिट नहीं होती है, और इसलिए $$\scriptstyle x\neq y $$

\lim_{t\rightarrow\infty}P[\eta_t(x)\neq\eta_t(y)]=C\lim_{t\rightarrow\infty}P[X_t\neq Y_t]>0 $$ कुछ स्थिरांक के लिए $$ C $$ प्रारंभिक वितरण के अनुरूप।

अगर $$\scriptstyle \tilde{X}(t)=X(t)-Y(t) $$ एक सममित यादृच्छिक चाल हो, तो निम्नलिखित प्रमेय हैं:

प्रमेय 2.1

रैखिक वोटर मॉडल $$\scriptstyle \eta_t $$ क्लस्टर यदि $$\scriptstyle \tilde{X}_t $$ आवर्ती है, और यदि सह-अस्तित्व में है $$\scriptstyle \tilde{X}_t $$ क्षणिक है. विशेष रूप से,


 * 1) प्रक्रिया क्लस्टर यदि $$\scriptstyle d=1 $$ और $$\scriptstyle \sum_x |x|p(0,x)\le \infty $$, या अगर $$\scriptstyle d=2 $$ और $$\scriptstyle \sum_x |x|^2p(0,x)\le\infty $$;
 * 2) प्रक्रिया सह-अस्तित्व में है यदि $$\scriptstyle d \geq 3 $$.

टिप्पणियाँ: थ्रेसहोल्ड वोटर मॉडल के व्यवहार के साथ इसकी तुलना करने के लिए, जिस पर अगले भाग में चर्चा की जाएगी, ध्यान दें कि रैखिक वोटर मॉडल क्लस्टर या सह-अस्तित्व लगभग विशेष रूप से साइट के सेट के आयाम पर निर्भर करता है, न कि आकार पर। अंतःक्रिया की सीमा.

प्रमेय 2.2 कल्पना करना $$\scriptstyle \mu $$ स्थानिक रूप से कोई भी अनुवाद एर्गोडिक प्रक्रिया और राज्य स्थान पर अपरिवर्तनीय माप है $$\scriptstyle S=\{0,1\}^{Z^d} $$, तब


 * 1) अगर $$\scriptstyle \tilde{X}_t $$ फिर आवर्ती है $$\scriptstyle \mu S(t)\Rightarrow \rho\delta_1+(1-\rho)\delta_0\quad\text{as}\quad t\to\infty $$;
 * 2) अगर $$\scriptstyle \tilde{X}_t $$ तो फिर क्षणिक है $$\scriptstyle \mu S(t)\Rightarrow \mu_\rho $$.

जहाँ $$\scriptstyle \mu S(t) $$ का वितरण है $$\scriptstyle \eta_t $$; $$\scriptstyle \Rightarrow $$ अशक्त अभिसरण का तात्पर्य है है, $$\scriptstyle \mu_{\rho} $$ एक गैरतुच्छ चरम अपरिवर्तनीय उपाय है और $$\scriptstyle \rho=\mu(\{\eta:\eta(x)=1\}) $$.

एक विशेष रैखिक वोटर मॉडल
रैखिक वोटर मॉडल के दिलचस्प विशेष परिस्थितियों में से एक, जिसे बेसिक रैखिक वोटर मॉडल के रूप में जाना जाता है,  अवस्था समष्टि के लिए है $$\scriptstyle \{0,1\}^{Z^d}$$:



p(x,y)= \begin{cases} 1/2d & \text{if } |x-y|=1 \text{ and } \eta(x)\neq\eta(y) \\[8pt] 0 & \text{otherwise} \end{cases} $$ ताकि

\eta_t(x)\to 1-\eta_t(x)\quad\text{at rate}\quad (2d)^{-1}|\{y:|y-x|=1,\eta_t(y)\neq\eta_t(x)\}| $$ इस स्थिति में, प्रक्रिया क्लस्टर हो जाती है $$\scriptstyle d\leq 2 $$, जबकि सह-अस्तित्व में है $$\scriptstyle d\geq 3 $$. यह द्वंद्व इस तथ्य से निकटता से संबंधित है कि सरल यादृच्छिक चलना $$\scriptstyle Z^d $$ यदि आवर्ती है $$\scriptstyle d\leq2 $$ और क्षणिक यदि $$\scriptstyle d\geq 3 $$.

एक आयाम में क्लस्टर d = 1
विशेष स्थिति के लिए $$\scriptstyle d=1 $$, $$\scriptstyle S=Z^1 $$ और $$\scriptstyle p(x,x+1)=p(x,x-1)=\frac{1}{2} $$ प्रत्येक के लिए $$\scriptstyle x $$.

प्रमेय 2.2 से, $$\scriptstyle \mu S(t)\Rightarrow \rho\delta_1+(1-\rho)\delta_0 $$, इस प्रकार इस स्थिति में क्लस्टरिंग होती है। इस अनुभाग का उद्देश्य इस क्लस्टरिंग का अधिक सटीक विवरण देना है।

जैसा कि पहले उल्लेख किया गया है, $$\scriptstyle \eta $$ के समूह के जुड़े हुए घटकों के रूप में परिभाषित किए गए हैं $$\scriptstyle \{x:\eta(x)=0\} $$ या $$\scriptstyle \{x:\eta(x)=1\} $$. के लिए औसत क्लस्टर आकार $$\scriptstyle \eta $$ परिभाषित किया गया है:

C(\eta)=\lim_{n\rightarrow\infty}\frac{2n}{\text{number of clusters in} [-n,n]} $$ बशर्ते सीमा उपस्थित हो.

प्रस्ताव 2.3

मान लीजिए कि वोटर मॉडल प्रारंभिक वितरण के साथ है $$\scriptstyle \mu $$ और $$\scriptstyle \mu $$ तो, एक अनुवाद अपरिवर्तनीय संभाव्यता माप है

P\left(C(\eta)=\frac{1}{P[\eta_t(0)\neq \eta_t(1)]}\right)=1. $$

कार्य समय
बेसिक रैखिक वोटर मॉडल के व्यवसाय समय कार्यात्मकताओं को इस प्रकार परिभाषित करें:

T_t^x=\int_0^t \eta^\rho_s(x)\mathrm{d}s. $$ प्रमेय 2.4

मान लें कि सभी साइट x और समय t के लिए, $$\scriptstyle P(\eta_t(x)=1)=\rho$$, फिर ऐसे $$\scriptstyle t\rightarrow \infty $$, $$\scriptstyle T_t^x/t\rightarrow \rho $$ लगभग निश्चित रूप से अगर $$\scriptstyle d\geq 2 $$ सबूत

चेबीशेव की असमानता और बोरेल-कैंटेली लेम्मा द्वारा, नीचे समीकरण है:

P\left(\frac{\rho}{r}\leq \lim \inf_{t\rightarrow\infty}\frac{T_t}{t}\leq\lim\sup_{t\rightarrow\infty}\frac{T_t}{t}\leq \rho r\right)=1; \quad\forall r>1 $$ देने पर प्रमेय अनुसरण करता है $$\scriptstyle r\searrow 1 $$.

मॉडल विवरण
यह खंड, एक प्रकार के गैर-रेखीय वोटर मॉडल पर ध्यान केंद्रित करता है, जिसे थ्रेशोल्ड वोटर मॉडल के रूप में जाना जाता है। इसे परिभाषित करने के लिए आइए $$\scriptstyle \mathcal{N} $$ का सामीप्य हो $$\scriptstyle 0\in Z^d $$ जो प्रतिच्छेद करके प्राप्त किया जाता है $$\scriptstyle Z^d $$ किसी भी कॉम्पैक्ट, उत्तल, सममित सेट के साथ $$\scriptstyle R^d $$; दूसरे शब्दों में, $$\scriptstyle \mathcal{N} $$ यह एक परिमित समुच्चय माना जाता है जो सभी प्रतिबिंबों के संबंध में सममित है और अप्रासंगिक है (अर्थात यह जो समूह उत्पन्न करता है वह है $$\scriptstyle Z^d $$). ऐसा सदैव माना जा सकता है $$\scriptstyle \mathcal{N} $$ इसमें सभी यूनिट वेक्टर सम्मिलित हैं $$\scriptstyle (1,0,0,\dots,0),\dots,(0,\dots,0,1) $$. एक घनात्मक पूर्णांक के लिए $$\scriptstyle T $$, सामीप्य के साथ थ्रेशोल्ड वोटर मॉडल $$\scriptstyle \mathcal{N} $$ और थ्रेशोल्ड $$\scriptstyle T $$ दर फलन वाला एक है:



c(x,\eta)= \left\{ \begin{array}{l} 1 \quad \text{if}\quad |\{y\in x+\mathcal{N}:\eta(y)\neq\eta(x)\}|\geq T \\ 0 \quad \text{otherwise}  \\ \end{array} \right. $$ सीधे शब्दों में कहें तो साइट की संक्रमण दर $$\scriptstyle x $$ 1 है यदि समान मान न लेने वाली साइटों की संख्या थ्रेशोल्ड T से बड़ी या उसके बराबर है। अन्यथा, साइट $$\scriptstyle x $$ वर्तमान स्थिति पर रहता है और पलटेगा नहीं।

उदाहरण के लिए, यदि $$\scriptstyle d=1 $$, $$\scriptstyle \mathcal{N}=\{-1,0,1\} $$ और $$\scriptstyle T=2 $$, फिर कॉन्फ़िगरेशन $$\scriptstyle \dots1\quad 1\quad 0\quad 0\quad 1\quad 1\quad 0\quad 0\dots $$ प्रक्रिया के लिए एक अवशोषित अवस्था या जाल है।

सीमावर्ती वोटर मॉडल का सीमित व्यवहार
यदि एक सीमा वोटर मॉडल तय नहीं होता है, तो यह उम्मीद की जानी चाहिए कि यह प्रक्रिया छोटी सीमा के लिए और बड़ी सीमा के लिए क्लस्टर के रूप में सह-अस्तित्व में होगी, जहां बड़े और छोटे की व्याख्या सामीप्य के आकार के सापेक्ष की जाती है, $$\scriptstyle |\mathcal{N}| $$. अंतर्ज्ञान यह है कि छोटी सीमा होने से फ़्लिप होना आसान हो जाता है, इसलिए यह संभावना है कि हर समय 0 और 1 दोनों के आसपास बहुत कुछ होगा। निम्नलिखित तीन प्रमुख परिणाम हैं:
 * 1) अगर $$\scriptstyle T>\frac{|\mathcal{N}|-1}{2} $$, तो यह प्रक्रिया इस अर्थ में स्थिर हो जाती है कि प्रत्येक साइट केवल सीमित रूप से ही फ़्लिप होती है।
 * 2) अगर $$\scriptstyle d=1 $$ और $$\scriptstyle T=\frac{|\mathcal{N}|-1}{2} $$, फिर प्रक्रिया क्लस्टर।
 * 3) अगर $$\scriptstyle T=\theta|\mathcal{N}| $$ साथ $$\scriptstyle \theta $$ पर्याप्त रूप से छोटा($$\scriptstyle \theta<\frac{1}{4} $$) और $$\scriptstyle |\mathcal{N}| $$ पर्याप्त रूप से बड़ा, तो प्रक्रिया सह-अस्तित्व में रहती है।

यहां गुण (1) और (2) के अनुरूप दो प्रमेय हैं।

प्रमेय 3.1

अगर $$\scriptstyle T>\frac{|\mathcal{N}|-1}{2} $$, फिर प्रक्रिया ठीक हो जाती है।

प्रमेय 3.2

एक आयाम में थ्रेशोल्ड वोटर मॉडल ($$\scriptstyle d=1 $$) साथ $$\scriptstyle \mathcal{N}=\{-T,\dots,T\}, T\geq 1 $$, क्लस्टर।

सबूत

प्रमाण का विचार यादृच्छिक समय के दो अनुक्रमों का निर्माण करना है $$\scriptstyle U_n $$, $$\scriptstyle V_n $$ के लिए $$\scriptstyle n\geq 1 $$ निम्नलिखित गुणों के साथ:


 * 1) $$\scriptstyle 0=V_0<U_1<V_1<U_2<V_2<\dots $$,
 * 2) $$\scriptstyle \{U_{k+1}-V_k,k\geq0\} $$ i.i.d.के साथ हैं $$\scriptstyle \mathrm{E}(U_{k+1}-V_k)<\infty $$,
 * 3) $$\scriptstyle \{V_{k}-U_k,k\geq1\} $$ i.i.d.के साथ हैं $$\scriptstyle \mathrm{E}(V_{k}-U_k)=\infty $$,
 * 4) (b) और (c) में यादृच्छिक चर एक दूसरे से स्वतंत्र हैं,
 * 5) घटना ए=$$\scriptstyle \{\eta_t(.) $$ निरंतर चालू है $$\scriptstyle \{-T,\dots,T\}\} $$, और घटना ए प्रत्येक के लिए मान्य है $$\scriptstyle t \in \cup_{k=1}^\infty [U_k,V_k] $$.

एक बार यह निर्माण हो जाने के बाद, यह नवीनीकरण सिद्धांत का पालन करेगा

P(A)\geq P(t \in \cup_{k=1}^\infty [U_k,V_k])\to 1 \quad\text{as}\quad t\to\infty $$ इस तरह,$$\scriptstyle \lim_{t\rightarrow \infty}P(\eta_t(1)\neq \eta_t(0))=0 $$, ताकि प्रक्रिया क्लस्टर हो जाए।

टिप्पणियाँ: (a) उच्च आयामों में थ्रेशोल्ड मॉडल आवश्यक रूप से क्लस्टर नहीं करते हैं $$\scriptstyle T=\frac{|\mathcal{N}|-1}{2} $$. उदाहरण के लिए, लीजिए $$\scriptstyle d=2,T=2 $$ और $$\scriptstyle \mathcal{N}=\{(0,0),(0,1),(1,0),(0,-1),(-1,0)\} $$. अगर $$\scriptstyle \eta $$ बारी-बारी से ऊर्ध्वाधर अनंत पट्टियों पर स्थिर है, जो कि सभी के लिए है $$\scriptstyle i,j $$:

\eta(4i,j)=\eta(4i+1,j)=1,\quad \eta(4i+2,j)=\eta(4i+3,j)=0 $$ तब कभी कोई संक्रमण नहीं होता, और प्रक्रिया स्थिर हो जाती है।

(b) प्रमेय 3.2 की धारणा के तहत, प्रक्रिया स्थिर नहीं होती है। इसे देखने के लिए, प्रारंभिक कॉन्फ़िगरेशन पर विचार करें $$\scriptstyle \dots 0 0 0 1 1 1 \dots $$, जिसमें अनंत अनेक शून्यों के बाद अनंत अनेक शून्य आते हैं। तब सीमा पर केवल शून्य और एक पलट सकते हैं, जिससे विन्यास सदैव एक जैसा दिखेगा सिवाय इसके कि सीमा एक सरल सममित यादृच्छिक चाल की तरह चलेगी। तथ्य यह है कि यह यादृच्छिक चलना आवर्ती है, इसका तात्पर्य यह है कि प्रत्येक साइट अनंत बार फ़्लिप करती है।

गुण 3 इंगित करती है कि थ्रेसहोल्ड वोटर मॉडल रैखिक वोटर मॉडल से काफी अलग है, जिसमें सह-अस्तित्व एक आयाम में भी होता है, बशर्ते कि सामीप्य बहुत छोटा न हो। थ्रेशोल्ड मॉडल का झुकाव  स्थानीय अल्पसंख्यक  की ओर है, जो रैखिक स्थिति में उपस्थित नहीं है।

थ्रेशोल्ड वोटर मॉडल के लिए सह-अस्तित्व के अधिकांश प्रमाण हाइब्रिड मॉडल के साथ तुलना पर आधारित हैं जिन्हें पैरामीटर के साथ थ्रेशोल्ड संपर्क प्रक्रिया के रूप में जाना जाता है $$\scriptstyle \lambda>0 $$. यह प्रक्रिया जारी है $$\scriptstyle [0,1]^{Z^d} $$ फ़्लिप दरों के साथ:

c(x,\eta)= \left\{ \begin{array}{l} \lambda \quad \text{if}\quad\eta(x)=0\quad \text{and}|\{y\in x+\mathcal{N}:\eta(y)=1\}|\geq T; \\ 1 \quad \text{if}\quad \eta(x)=1;\\ 0 \quad \text{otherwise} \end{array}\right. $$ प्रस्ताव 3.3

किसी के लिए $$\scriptstyle d, \mathcal{N} $$ और $$\scriptstyle T $$, यदि थ्रेशोल्ड संपर्क प्रक्रिया के साथ $$\scriptstyle \lambda=1 $$ एक गैर-तुच्छ अपरिवर्तनीय माप है, तो थ्रेशोल्ड वोटर मॉडल सह-अस्तित्व में है।

मॉडल के साथ थ्रेशोल्ड T = 1
स्थिति यह है कि $$\scriptstyle T=1 $$ विशेष रुचि का है क्योंकि यह एकमात्र स्थिति है जिसमें यह ज्ञात है कि कौन से मॉडल सह-अस्तित्व में हैं और कौन से मॉडल क्लस्टर हैं।

विशेष रूप से, एक प्रकार के थ्रेसहोल्ड T=1 मॉडल में रुचि है $$\scriptstyle c(x,\eta) $$ वह इसके द्वारा दिया गया है:

c(x,\eta)= \left\{ \begin{array}{l} 1 \quad\text{if exists one}\quad y \quad\text{with}\quad |x-y|\leq N \quad\text{and}\quad \eta(x)\neq\eta(y) \\ 0 \quad \text{otherwise}\\ \end{array} \right. $$

$$\scriptstyle N $$ सामीप्य की त्रिज्या के रूप में व्याख्या की जा सकती है $$\scriptstyle \mathcal{N} $$; $$\scriptstyle N $$ सामीप्य का आकार निर्धारित करता है (अर्थात, यदि $$\scriptstyle \mathcal{N}_1=\{-2,-1,0,1,2\} $$, तब $$\scriptstyle N_1=2 $$; जबकि इसके लिए $$\scriptstyle \mathcal{N}_2=\{(0,0),(0,1),(1,0),(0,-1),(-1,0)\} $$, इसी $$\scriptstyle N_2=1 $$).

प्रमेय 3.2 के अनुसार, मॉडल के साथ $$\scriptstyle d=1 $$ और $$\scriptstyle \mathcal{N}=\{-1,0,1\} $$ समूह. निम्नलिखित प्रमेय इंगित करता है कि अन्य सभी विकल्पों के लिए $$\scriptstyle d $$ और $$\scriptstyle \mathcal{N} $$, मॉडल सह-अस्तित्व में है।

प्रमेय 3.4

लगता है कि $$\scriptstyle N\geq 1 $$, लेकिन $$\scriptstyle (N,d)\neq(1,1) $$. फिर थ्रेशोल्ड मॉडल $$\scriptstyle Z^d $$ पैरामीटर के साथ $$\scriptstyle N $$ सहअस्तित्व।

इस प्रमेय का प्रमाण थॉमस एम. लिगेट द्वारा  सह-अस्तित्व इन थ्रेशोल्ड वोटर मॉडल्स  नामक पेपर में दिया गया है।

यह भी देखें

 * स्टोकेस्टिक सेलुलर ऑटोमेटा
 * अनुक्रमिक गतिशील प्रणाली
 * संपर्क प्रक्रिया (गणित)

संदर्भ

 * Thomas M. Liggett, "Stochastic Interacting Systems: Contact, Voter and Exclusion Processes", Springer-Verlag, 1999.
 * Thomas M. Liggett, "Stochastic Interacting Systems: Contact, Voter and Exclusion Processes", Springer-Verlag, 1999.
 * Thomas M. Liggett, "Stochastic Interacting Systems: Contact, Voter and Exclusion Processes", Springer-Verlag, 1999.
 * Thomas M. Liggett, "Stochastic Interacting Systems: Contact, Voter and Exclusion Processes", Springer-Verlag, 1999.
 * Thomas M. Liggett, "Stochastic Interacting Systems: Contact, Voter and Exclusion Processes", Springer-Verlag, 1999.
 * Thomas M. Liggett, "Stochastic Interacting Systems: Contact, Voter and Exclusion Processes", Springer-Verlag, 1999.
 * Thomas M. Liggett, "Stochastic Interacting Systems: Contact, Voter and Exclusion Processes", Springer-Verlag, 1999.