Articulo de referencia

Sistema de partículas interactuantes

En teoría de la probabilidad , un sistema de partículas interactuantes ( IPS ) es un proceso estocástico. ( incógnita ( t ) ) t ∈ R + {\displaystyle (X(t))_{t\in \mathbb {R} ^{+...

En teoría de la probabilidad , un sistema de partículas interactuantes ( IPS ) es un proceso estocástico.(incógnita(t))tR+{\displaystyle (X(t))_{t\in \mathbb {R} ^{+}}}en algún espacio de configuraciónΩ=SGRAMO{\displaystyle \Omega =S^{G}}dado por un espacio de sitio, un grafo de orden infinitamente numerableGRAMO{\displaystyle G}y un espacio de estado local, un espacio métrico compactoS{\displaystyle S}Más precisamente, los IPS son procesos de salto de Markov en tiempo continuo que describen el comportamiento colectivo de componentes que interactúan estocásticamente. Los IPS son el análogo en tiempo continuo de los autómatas celulares estocásticos .

Entre los principales ejemplos se encuentran el modelo de votante , el proceso de contacto , el proceso de exclusión simple asimétrico (ASEP), la dinámica de Glauber y, en particular, el modelo estocástico de Ising .

Los IPS se definen generalmente mediante su generador de Markov, que da lugar a un proceso de Markov único utilizando semigrupos de Markov y el teorema de Hille-Yosida . El generador, a su vez, viene dado por las llamadas tasas de transición.doΛ(η,ξ)>0{\displaystyle c_{\Lambda }(\eta ,\xi )>0}dóndeΛGRAMO{\displaystyle \Lambda \subset G}es un conjunto finito de sitios yη,ξΩ{\displaystyle \eta ,\xi \in \Omega }conηi=ξi{\displaystyle \eta _{i}=\xi _{i}}a pesar deiΛ{\displaystyle i\notin \Lambda }Las tasas describen tiempos de espera exponenciales del proceso para saltar de una configuración a otra.η{\displaystyle \eta }en configuraciónξ{\displaystyle \xi }De forma más general, las tasas de transición se dan en forma de una medida finita.doΛ(η,dξ){\displaystyle c_{\Lambda }(\eta ,d\xi )}enSΛ{\displaystyle S^{\Lambda }}.

El generadorL{\displaystyle L}de un IPS tiene la siguiente forma. Primero, el dominio deL{\displaystyle L}es un subconjunto del espacio de "observables", es decir, el conjunto de funciones continuas de valor real en el espacio de configuración.Ω{\displaystyle \Omega }. Entonces, para cualquier observableF{\displaystyle f}en el dominio deL{\displaystyle L}, uno tiene

LF(η)=Λξ:ξΛdo=ηΛdodoΛ(η,dξ)[F(ξ)F(η)]{\displaystyle Lf(\eta )=\sum _{\Lambda }\int _{\xi :\xi _{\Lambda ^{c}}=\eta _{\Lambda ^{c}}}c_{\Lambda }(\eta ,d\xi )[f(\xi )-f(\eta )]} .

Por ejemplo, para el modelo de Ising estocástico tenemosGRAMO=Zd{\displaystyle G=\mathbb {Z} ^{d}},S={1,+1}{\displaystyle S=\{-1,+1\}},doΛ=0{\displaystyle c_{\Lambda }=0}siΛ{i}{\displaystyle \Lambda \neq \{i\}}para algunosiGRAMO{\displaystyle i\in G}y

doi(η,ηi)=exp[βj:|ji|=1ηiηj]{\displaystyle c_{i}(\eta ,\eta ^{i})=\exp[-\beta \sum _{j:|j-i|=1}\eta _{i}\eta _{j}]}

dóndeηi{\displaystyle \eta ^{i}}¿La configuración es igual a?η{\displaystyle \eta }excepto que se voltea en el sitioi{\displaystyle i}.β{\displaystyle \beta }es un nuevo parámetro que modela la temperatura inversa.

El modelo del votante

El modelo de votante (generalmente en tiempo continuo, pero también existen versiones discretas) es un proceso similar al proceso de contacto . En este procesoη(incógnita){\displaystyle \eta (x)}Se considera que representa la actitud de un votante sobre un tema en particular. Los votantes reconsideran sus opiniones en momentos distribuidos según variables aleatorias exponenciales independientes (esto da lugar a un proceso de Poisson localmente; cabe señalar que, en general, hay infinitos votantes, por lo que no se puede utilizar un proceso de Poisson global). En los momentos de reconsideración, un votante elige a un vecino de forma uniforme entre todos los vecinos y toma en cuenta su opinión. El proceso se puede generalizar permitiendo que la selección de vecinos no sea uniforme.

Proceso de tiempo discreto

En el modelo de votante de tiempo discreto en una dimensión,ξt(incógnita):Z{0,1}{\displaystyle \xi _{t}(x):\mathbb {Z} \to \{0,1\}}representa el estado de la partículaincógnita{\displaystyle x}en ese momentot{\displaystyle t}. De manera informal, cada individuo está dispuesto en una línea y puede "ver" a otros individuos que se encuentran dentro de un radio,r{\displaystyle r}. Si más de cierta proporción,θ{\displaystyle \theta }Si alguna de estas personas no está de acuerdo, entonces el individuo cambia su actitud; de lo contrario, la mantiene igual. Durrett y Steif (1993) y Steif (1994) muestran que para radios grandes existe un valor crítico.θdo{\displaystyle \theta _{c}}de tal manera que siθ>θdo{\displaystyle \theta >\theta _{c}} La mayoría de los individuos nunca cambian, y paraθ(1/2,θdo){\displaystyle \theta \in (1/2,\theta _{c})}en el límite la mayoría de los sitios coinciden. (Ambos resultados asumen la probabilidad deξ0(incógnita)=1{\displaystyle \xi _{0}(x)=1}es la mitad.)

Este proceso tiene una generalización natural a más dimensiones, algunos resultados al respecto se discuten en Durrett y Steif (1993).

Proceso de tiempo continuo

El proceso de tiempo continuo es similar en el sentido de que supone que cada individuo tiene una creencia en un momento dado y la modifica en función de las actitudes de sus vecinos. Liggett (1985, pág. 226) describe informalmente este proceso: «Periódicamente (es decir, en intervalos de tiempo exponenciales independientes), un individuo reevalúa su punto de vista de una manera bastante sencilla: elige a un "amigo" al azar con ciertas probabilidades y adopta su postura». Holley y Liggett (1975) construyeron un modelo con esta interpretación .

Este proceso es equivalente a uno propuesto inicialmente por Clifford y Sudbury (1973), en el que los animales se disputan el territorio y se encuentran en igualdad de condiciones. En un momento dado, se selecciona un sitio para que sea invadido por un vecino.

Referencias

  • Clifford, Peter; Aidan Sudbury (1973). "Un modelo para el conflicto espacial". Biometrika . 60 (3): 581– 588. doi : 10.1093/biomet/60.3.581 .
  • Durrett, Richard ; Jeffrey E. Steif (1993). "Resultados de fijación para sistemas de votación de umbral" . The Annals of Probability . 21 (1): 232– 247. doi : 10.1214/aop/1176989403 .
  • Holley, Richard A.; Thomas M. Liggett (1975). "Teoremas ergódicos para sistemas infinitos de interacción débil y el modelo del votante" . The Annals of Probability . 3 (4): 643– 663. doi : 10.1214/aop/1176996306 .
  • Steif, Jeffrey E. (1994). "El autómata votante umbral en un punto crítico" . The Annals of Probability . 22 (3): 1121– 1139. doi : 10.1214/aop/1176988597 .
  • Liggett, Thomas M. (1997). "Modelos estocásticos de sistemas interactuantes" . The Annals of Probability . 25 (1). Institute of Mathematical Statistics: 1– 29. doi : 10.1214/aop/1024404276 . ISSN 0091-1798 . 
  • Liggett, Thomas M. (1985). Sistemas de partículas interactuantes . Nueva York: Springer Verlag. ISBN 0-387-96069-4.