Caminata aleatoria

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 6 de octubre de 2022; la verificación requiere 1 edición .

Una caminata aleatoria  es un objeto matemático conocido como proceso estocástico o aleatorio que describe una ruta que consiste en una secuencia de pasos aleatorios en algún espacio matemático (por ejemplo, en el conjunto de números enteros ).

El ejemplo más simple de un paseo aleatorio es un paseo aleatorio a lo largo de la recta numérica de números enteros, que comienza en el punto 0 y se desplaza +1 o −1 en cada paso con igual probabilidad . Otros ejemplos son la trayectoria de una molécula en un líquido o gas ( movimiento browniano ), la búsqueda de caminos en animales durante la búsqueda de alimento , las fluctuaciones en los precios de las acciones en el mercado de valores , la condición financiera de un jugador : todos los casos descritos se pueden aproximar mediante un paseo aleatorio. modelos, a pesar de que pueden no ser completamente aleatorios en la vida real.

Como puede ver en los ejemplos, el modelo de paseo aleatorio se usa en ingeniería y en muchos campos científicos, incluidos la ecología, la psicología, la informática, la física, la química, la biología, la economía y la sociología. El paseo aleatorio explica el comportamiento observado de muchos procesos en estas regiones y, por lo tanto, sirve como modelo fundamental para la actividad estocástica registrada. Entonces, en matemáticas, el valor de π se puede aproximar usando un paseo aleatorio y un modelo basado en agentes. [1] [2] El concepto de paseo aleatorio fue introducido por primera vez por Karl Pearson en 1905. [3]

Los tipos de paseos aleatorios pueden ser de varios tipos de interés. El término en sí se refiere con mayor frecuencia a una categoría especial de cadenas de Markov o procesos de Markov, y muchos procesos dependientes del tiempo se denominan caminatas aleatorias con un modificador que indica sus propiedades especiales. Los paseos aleatorios (de Markov o no) también pueden ocurrir en una variedad de campos: los que se estudian comúnmente incluyen gráficos , la recta numérica de números enteros o reales , espacios vectoriales , superficies curvas , variedades multidimensionales de Riemann y grupos finitos , generados finitamente, grupos de Lie . El parámetro de tiempo también puede ser diferente. En el caso más simple, la caminata se realiza en tiempo discreto y es una secuencia de variables aleatorias ( X
t
) = ( X
una
, X
2
, ...)
, indexados por números naturales. Sin embargo, también hay caminatas aleatorias en las que los pasos ocurren en un momento arbitrario en el tiempo, y en este caso la posición X
t
debe definirse para todos los tiempos t ∈ [0,+∞) . Casos especiales de paseo aleatorio son los modelos de vuelo y difusión de Levy , como el movimiento browniano .

El paseo aleatorio es un tema fundamental en las discusiones sobre el proceso de Markov, y su estudio matemático es muy extenso.

Paseo aleatorio en una red

Un modelo bien conocido de caminata aleatoria es una caminata sobre una red regular, donde en cada paso la ubicación se mueve a un punto diferente de acuerdo con una cierta distribución de probabilidad.

En un recorrido aleatorio simple , una ubicación solo puede moverse a los puntos de cuadrícula vecinos, formando una ruta de cuadrícula. En una caminata aleatoria simétrica simple en una red limitada localmente, las probabilidades de que un punto vaya a cada uno de sus vecinos inmediatos son iguales. El ejemplo mejor estudiado es el paseo aleatorio en una red de enteros de dimensión d (a veces llamada red hipercúbica) . [cuatro]

Si el espacio de estado está limitado a un número finito de dimensiones, entonces dicho modelo de caminata aleatoria se denomina caminata aleatoria simétrica acotada simple , y las probabilidades de transición dependen de la ubicación del punto, porque el movimiento está limitado en los puntos de frontera y esquina. . [5]

Paseo aleatorio unidimensional

El ejemplo más simple de una caminata aleatoria es una caminata aleatoria a lo largo de la recta numérica de los números enteros , que comienza en el punto 0 y se mueve +1 o −1 con igual probabilidad en cada paso.

Este deambular se puede ilustrar de la siguiente manera. La marca se coloca en el cero de la recta numérica y se lanza una moneda "justa". Si sale cara, la etiqueta se mueve una unidad a la derecha, y si sale cruz, se mueve una unidad a la izquierda. Después de cinco lanzamientos, la marca puede ser -5, -3, -1, 1, 3, 5. Para cinco lanzamientos, incluidos tres caras y dos cruces, en cualquier secuencia, la marca será 1. Hay 10 formas para llegar al punto 1 (haciendo rodar tres caras y dos cruces), 10 formas de llegar al punto −1 (tres cruces y dos caras), 5 formas de llegar al punto 3 (cuatro caras) y una "cruz"), 5 formas de llegar al punto -3 (cuatro "cruces" y un "águila"), 1 forma de llegar al punto 5 (cinco "caras") y 1 forma de llegar al punto -5 (cinco "cruces").") . Los posibles resultados de los cinco lanzamientos se ilustran a continuación.

Para definir formalmente esta caminata, tomamos variables aleatorias independientes , donde cada variable es 1 o −1, con una probabilidad igual al 50% para cada valor, el conjunto y la serie se denominan caminata aleatoria simple . Esta serie (la suma de la secuencia −1 y 1) significa la distancia recorrida si cada parte de la caminata tiene una longitud igual a uno. La expectativa matemática de la serie es cero. Es decir, el valor promedio de todos los lanzamientos de monedas tiende a cero a medida que aumenta el número de lanzamientos. Esto se sigue de la propiedad de aditividad finita de la esperanza:

Argumentando de manera similar, usamos la independencia de las variables aleatorias y el hecho de que vemos:

Esto deja en claro que , la distancia esperada después de moverse n pasos, debe ser del orden de . De hecho, [6]

¿Cuántas veces la caminata aleatoria cruzará el límite si es posible deambular indefinidamente? La caminata aleatoria más simple cruzará cada punto un número infinito de veces. El efecto resultante tiene muchos nombres: el fenómeno de cruce de niveles , la recurrencia o el problema de la ruina del jugador . La razón para dar este último caso al nombre es la siguiente: un jugador con una cantidad finita de dinero perderá tarde o temprano si juega un juego limpio contra un bote con una cantidad ilimitada de dinero. El dinero del jugador es un paseo aleatorio, y en algún momento llegará a cero y el juego terminará.

Sean a y b  números enteros positivos, entonces el número esperado de pasos cuando una caminata aleatoria unidimensional simple que comienza en 0 llega primero a b o −a es ab . La probabilidad de que una caminata dada llegue a b antes de llegar a −a es , que se deduce del hecho de que una caminata aleatoria simple es una martingala .

Algunos de los resultados mencionados anteriormente se pueden derivar de las propiedades del triángulo de Pascal . El número de todos los paseos distintos sobre n

pasos, donde cada paso es +1 o −1 es igual a 2 n . Para un paseo aleatorio simple, cada uno de estos pasos es equiprobable. Para igualar el número k , es necesario y suficiente que el número de pasos por +1 en la caminata exceda a los de -1 por el número k . Por lo tanto, un paso en +1 debe ocurrir (n + k)/2 veces entre n paseos, por lo tanto, el número de paseos que satisfacen la condición es igual al número de formas de seleccionar (n + k)/2 elementos de un conjunto de n elementos. [7] Esto se denota como . Para que esta expresión tenga sentido, es necesario que la suma n + k sea un número par, lo que significa que los números n y k deben ser pares o impares al mismo tiempo. Por lo tanto, la probabilidad de que será igual a Representando las entradas del triángulo de Pascal en términos de factoriales y utilizando la fórmula de Stirling , se pueden obtener buenas estimaciones de estas probabilidades para valores grandes de .

Si el espacio está limitado a + por brevedad, entonces el número de formas en que la caminata aleatoria se detiene en algún número después de cinco pasos se puede mostrar como {0,5,0,4,0,1}.

Demostremos esta correspondencia con el triángulo de Pascal para valores pequeños de n . En el paso cero, la única posibilidad es permanecer en cero. Sin embargo, ya en el primer movimiento, existe la posibilidad de terminar en -1 o en 1. En el segundo movimiento, desde 1, puede moverse al punto 2 o volver a cero. Puede pasar de -1 a -2 o volver a cero. Por lo tanto, hay un caso cuando estamos en el punto −2, dos casos cuando estamos en cero y un caso cuando estamos en el punto 2.

k −5 −4 −3 −2 −1 0 una 2 3 cuatro 5
una
una una
una 2 una
una 3 3 una
una cuatro 6 cuatro una
una 5 diez diez 5 una

El teorema del límite central y la ley del logaritmo iterado describen aspectos importantes del comportamiento de un paseo aleatorio simple sobre . En particular, a medida que n aumenta, las probabilidades (en proporción a los números de cada fila) tienden hacia una distribución normal .

Los paseos aleatorios en redes cristalinas (gráficos abelianos infinitamente múltiples que cubren gráficos finitos) pueden considerarse una generalización directa. De hecho, bajo tales condiciones es incluso posible afirmar el teorema del límite central y el teorema de la gran desviación. [8] [9]

Como una cadena de Markov

Un paseo aleatorio discreto unidimensional es una cadena de Markov de estado entero cuya distribución inicial está dada por la función de probabilidad de la variable aleatoria y la matriz de probabilidad de transición es

,

eso es

Dimensiones elevadas

En dimensiones superiores, el conjunto de puntos de recorrido aleatorio tiene propiedades geométricas bastante interesantes. De hecho, obtenemos un fractal discreto, es decir, un conjunto que muestra autosimilitud estocástica cuando se acerca. A pequeña escala, puede observar la "irregularidad" en la cuadrícula en la que se realiza la caminata. Los dos libros de Lawler citados son buenas fuentes de material sobre el tema. La trayectoria de una caminata aleatoria es una colección de puntos visitados, considerados como un conjunto hasta el momento en que la caminata llegó al punto. En una dimensión, la trayectoria es simplemente todos los puntos entre la altura mínima y la altura máxima que ha alcanzado el desvío (ambos, en promedio, del orden de ).

Para visualizar un caso bidimensional, uno puede imaginar a una persona caminando aleatoriamente por la ciudad. Esta ciudad es virtualmente interminable y está dispuesta en una cuadrícula de aceras. En cada intersección, una persona elige al azar una de las cuatro rutas posibles (incluida la de donde vino). Formalmente, se trata de un paseo aleatorio sobre el conjunto de todos los puntos del plano con coordenadas enteras .

¿Volverá alguna vez esta persona al punto de partida del deambular? Este caso es el equivalente 2D del problema de paso a nivel discutido anteriormente. En 1921 , György Pólya demostró que una persona regresaría casi con certeza en el caso de una caminata aleatoria bidimensional, pero para tres dimensiones o más, la probabilidad de regresar disminuye a medida que aumenta el número de dimensiones. En el caso tridimensional, la probabilidad disminuye a alrededor del 34%. [10] El matemático Shizuo Kakutani es famoso por su cita sobre este resultado: "Un borracho tarde o temprano encontrará el camino a casa, pero un pájaro borracho puede perderse para siempre". [once]

Otra versión de esta pregunta, que también hizo Poya, es: si dos personas parten del mismo punto de partida, ¿se encontrarán alguna vez? [12] Se puede razonar que la diferencia entre sus ubicaciones (dos paseos aleatorios independientes) también es un paseo aleatorio simple, por lo que es casi seguro que se encontrarán en un paseo bidimensional, pero para tres dimensiones o más, la probabilidad de retorno es la al igual que en el caso anterior, disminuye al aumentar el número de mediciones. Pal Erdős y Samuel James Taylor también demostraron en 1960 que, para dimensiones menores o iguales a 4, dos recorridos aleatorios independientes, que comienzan en dos puntos dados, casi con certeza tienen un número infinito de intersecciones, pero para dimensiones mayores a 5, casi con certeza solo se cruzan un número finito de veces. [13]

La función asintótica para un paseo aleatorio 2D a medida que aumenta el número de pasos viene dada por la distribución de Rayleigh . La distribución de probabilidad es una función del radio desde el origen, y para cada paso la longitud del paso es constante.

Relación con el proceso de Wiener

El proceso de Wiener  es un proceso estocástico que es similar en su comportamiento al movimiento browniano , un fenómeno físico de difusión de pequeñas partículas en un líquido. (A veces, un proceso de Wiener se denomina movimiento browniano, aunque estrictamente hablando, un proceso de Wiener es un modelo y un movimiento browniano es un fenómeno modelado).

El proceso de Wiener es el límite escalable de un paseo aleatorio unidimensional. Esto significa que si realiza una caminata aleatoria con pasos muy pequeños, puede obtener una aproximación al proceso de Wiener (y, con menos precisión, al movimiento browniano). Más precisamente, si la longitud del paso es ε, se debe realizar una caminata de longitud L / ε 2 para aproximar el camino de Wiener L . A medida que la longitud del paso se acerca a cero (y el número de pasos aumenta proporcionalmente), la caminata aleatoria cubre el proceso de Wiener en un sentido apropiado. Formalmente, si B es el espacio de todos los caminos de longitud L con la topología máxima, y ​​si M  es el espacio de medidas sobre B con la topología normal, entonces la convergencia está en el espacio M. Por analogía, un proceso de Wiener en múltiples dimensiones es el límite escalable de una caminata aleatoria en el mismo número de dimensiones.

Un paseo aleatorio es un fractal discreto (una función con un número entero de dimensiones: 1, 2, ...), mientras que la trayectoria del proceso de Wiener es un fractal real, y existe una cierta conexión entre los dos. Por ejemplo, demos un paseo aleatorio y "caminaremos" hasta pasar un círculo de radio r veces la longitud del paso. Entonces el número promedio de pasos requeridos para completar la caminata será igual a r 2 . Este hecho es una versión discreta del hecho de que el proceso de Wiener es un fractal de dimensión 2 de Hausdorff .

En el espacio bidimensional, el número promedio de puntos por los que pasa una caminata aleatoria en el límite de su trayectoria es r 4/3 . Esto es consistente con el hecho de que el límite de la trayectoria de un proceso de Wiener es un fractal 4/3, lo cual fue sugerido por Mandelbrot mediante el uso de simulaciones, pero Lawler, Schramm y Werner no lo probaron hasta el año 2000 . [catorce]

El proceso de Wiener tiene muchas simetrías a diferencia del paseo aleatorio. Por ejemplo, el recorrido de un proceso de Wiener es invariante en rotación, pero un recorrido aleatorio no lo es, porque su cuadrícula no es invariante en rotación (el recorrido aleatorio es invariante en rotación en 90 grados, mientras que los procesos de Wiener son invariantes en rotación, digamos, otros 17 grados). ). Esto significa que, en muchos casos, los problemas dados en una caminata aleatoria son más fáciles de resolver de la siguiente manera: transfiera el problema al proceso de Wiener, resuelva el problema allí y luego vuelva a transferirlo. Por otro lado, algunos problemas son más fáciles de resolver en un paseo aleatorio debido a su naturaleza discreta.

La convergencia de un camino aleatorio a un proceso de Wiener se realiza mediante el teorema del límite central y el teorema de Donsker. Para una partícula en una posición fija conocida en t = 0, el teorema del límite central nos dice que después de un gran número de pasos de caminata aleatoria independientes, la posición del vagabundo se distribuirá de acuerdo con la distribución de varianza normal :

donde t  es el tiempo transcurrido desde el inicio de la caminata aleatoria,  es el tamaño del paso de la caminata y  es el tiempo transcurrido entre dos pasos sucesivos.

Este caso corresponde a la función de Green de la ecuación de difusión , que describe el proceso de Wiener, lo que sugiere que después de un número suficientemente grande de pasos, la caminata aleatoria converge al proceso de Wiener.

En el caso 3D, la varianza correspondiente a la función de Green de la ecuación de difusión es:

Igualando este valor con la varianza asociada a la posición del caminante aleatorio, se puede obtener el coeficiente de difusión equivalente, considerado para un proceso asintótico de Wiener al que converge el paseo aleatorio después de un número suficientemente grande de pasos:

(solo tiene sentido en el caso de tres dimensiones).

Nota: Las dos expresiones de varianza anteriores corresponden a una distribución asociada con un vector que conecta los dos extremos de una caminata aleatoria en tres dimensiones. La diferencia asociada con cada componente, o , es solo un tercio del valor total (aún en 3D).

Para 2D: [15]

Para 1D: [16]

Teorema de Donsker

Considere una caminata aleatoria , donde .

El teorema del límite central establece que por distribución en .

Sin embargo, para paseos aleatorios esta afirmación puede reforzarse significativamente.

Construimos un proceso aleatorio con respecto a , definiéndolo de la siguiente manera: , y para el resto, definimos el proceso por una continuación lineal:

Del teorema del límite central sobre la distribución para

Esto significa la convergencia de las distribuciones unidimensionales del proceso a las distribuciones unidimensionales del proceso de Wiener . El teorema de Donsker, también llamado principio de invariancia, establece que existe una débil convergencia de procesos,

La convergencia débil de procesos significa la convergencia de funcionales que son continuas con respecto a la medida de Wiener, es decir, permite calcular los valores de los funcionales a partir del movimiento browniano (por ejemplo, máximo, mínimo, último cero, el momento del primer alcance). el nivel, y otros) pasando al límite a partir de un simple paseo aleatorio.

Paseo aleatorio gaussiano

Una caminata aleatoria con una longitud de paso que varía con una distribución normal se usa como datos de series temporales del mundo real, como los mercados financieros. La fórmula Black-Schools , por ejemplo, utiliza un paseo aleatorio gaussiano como suposición subyacente.

En este caso, el tamaño del paso es la distribución normal acumulativa inversa donde 0 ≤ z ≤ 1 y es un número aleatorio distribuido uniformemente, y μ y σ son la media y la desviación estándar de la distribución normal, respectivamente.

Si μ no es cero, la caminata aleatoria seguirá una tendencia lineal. Si v s es el valor inicial de la caminata aleatoria, entonces el valor esperado después de n pasos es v s + n μ.

Para el caso especial donde μ es cero, después de n pasos, la distribución de probabilidad de la distancia recorrida se define como N (0, n σ 2 ), donde N () es la notación de la distribución normal, n es el número de pasos , y σ se toma de la distribución normal acumulativa inversa anterior.

Prueba: un paseo aleatorio gaussiano se puede representar como la suma de una secuencia de variables aleatorias independientes e idénticamente distribuidas, Xi de una distribución normal acumulativa inversa, donde la media es cero y σ se toma de la distribución normal acumulativa inversa original:

Z = ,

pero tenemos una distribución para la suma de dos variables aleatorias independientes normalmente distribuidas, Z = X + Y, obtenida gracias a

(μ X + μ Y , σ 2 X + σ 2 Y )

En nuestro caso, μ X = μ Y = 0 y σ 2 X = σ 2 Y = σ 2 dan:

(0, 2σ 2 )

Por inducción, para n pasos tenemos:

Z ~ (0, n σ 2 ).

Para pasos distribuidos de acuerdo con cualquier distribución con media cero y varianza finita (no necesariamente solo una distribución normal), la raíz cuadrada media de la distancia recorrida después de n pasos viene dada por:

Pero para una caminata aleatoria gaussiana, esta es solo la desviación estándar de la distribución de la distancia recorrida después de n pasos. Por lo tanto, si μ es cero y si la distancia rms recorrida es una desviación estándar, hay un 68,27 % de posibilidades de que la distancia rms recorrida después de n pasos esté entre ± σ . Además, existe un 50% de probabilidad de que la distancia recorrida después de n pasos esté entre ± 0.6745σ .

Difusión anómala

En sistemas desordenados, como los medios porosos y los fractales, puede ser proporcional no a , sino a . El exponente se denomina exponente de difusión anómala y puede ser mayor o menor que 2. [17] La ​​difusión anómala también se puede expresar como σ r 2 ~ Dt α donde α es el parámetro de anomalía. Algunas difusiones en un entorno aleatorio son incluso proporcionales a la potencia del logaritmo del tiempo, como la caminata de Sinaí o la difusión de Brox.

Número de ubicaciones diferentes

La cantidad de ubicaciones distintas visitadas por un solo caminante aleatorio se ha estudiado ampliamente para redes y fractales cuadrados y cúbicos. [18] [19] Este valor es útil para analizar problemas de puntos muertos ( trapping en inglés ) y reacciones cinéticas. También está relacionado con la densidad vibratoria de los estados, [20] [21] las reacciones de difusión de los procesos [22] y la distribución de las poblaciones en ecología. [23] [24] Recientemente se ha estudiado una generalización de este problema al número de lugares distintos visitados por caminantes aleatorios, denotados como , para redes euclidianas d -dimensionales. [25] El número de lugares diferentes visitados por N caminantes no está simplemente relacionado con el número de lugares diferentes visitados por cada caminante.

Estimación de la cantidad de información

Estimación de la cantidad de información de un paseo aleatorio gaussiano con respecto al cuadrado de la distancia de error, es decir, su función de distorsión cuadrática, dada paramétricamente: [26]

donde _ Por lo tanto, no es posible codificar en binario con menos bits y luego decodificar con un error RMS esperado menor a . Por otro lado, para cualquier , hay un código binario lo suficientemente grande con no más de elementos, de modo que el error cuadrático medio esperado al recuperarse de este código no es más que .

Aplicaciones

Como ya se mencionó, la gama de fenómenos naturales que algunas variedades de recorridos aleatorios han tratado de describir es significativa. En particular, en física, [27] [28] química, [29] ciencia de los materiales , [30] [31] biología [32] y otras ciencias diversas. [33] [34] Aquí hay algunas aplicaciones de la caminata aleatoria:

  • En economía financiera, la "hipótesis del paseo aleatorio" se utiliza para modelar los precios de las acciones y otros factores. Pero los estudios empíricos han encontrado discrepancias con el modelo teórico, especialmente en las relaciones de corto y largo plazo.
  • En genética de poblaciones , el paseo aleatorio describe las propiedades estadísticas de la deriva genética .
  • En física , los paseos aleatorios se utilizan como modelos simplificados de movimiento y difusión brownianos , como el movimiento aleatorio de moléculas en líquidos y gases. Por ejemplo, agregación difusamente limitada. También en física, los paseos aleatorios y algunos de los paseos de interacción propia juegan un papel importante en la teoría cuántica de campos .
  • En ecología matemática, los paseos aleatorios se utilizan para describir los movimientos individuales de los animales, para respaldar empíricamente los procesos de biodifusión y, a veces, para modelar la dinámica de la población .
  • En física de polímeros , un paseo aleatorio describe una cadena ideal, el modelo más simple para estudiar polímeros . [35]
  • En otras áreas de las matemáticas, la caminata aleatoria se usa para encontrar soluciones a la ecuación de Laplace , para estimar la medida armónica y para varias construcciones en análisis y combinatoria .
  • En informática , se utilizan recorridos aleatorios para estimar el tamaño de Internet . [36]
  • En la segmentación de imágenes , se utilizan recorridos aleatorios para determinar etiquetas (como "objeto" o "fondo") para asociar con cada píxel. [37] Este algoritmo se conoce comúnmente como el algoritmo de segmentación de "caminante aleatorio".

En todos estos casos, la caminata aleatoria a menudo se reemplaza por el movimiento browniano:

  • En la investigación del cerebro , se utilizan caminatas aleatorias para modelar cascadas de activación neuronal.
  • En la ciencia de la visión, la deriva ocular tiende a comportarse como un paseo aleatorio. [38] Según algunos autores, los movimientos oculares fijos generalmente también se describen como un paseo aleatorio. [39]
  • En psicología , los paseos aleatorios explican con precisión la relación entre el tiempo que se tarda en tomar una decisión y la probabilidad de que se tome una determinada decisión. [40]
  • Los paseos aleatorios se pueden utilizar para tomar muestras de un espacio de estado que es muy grande o desconocido, como para seleccionar una página aleatoria en Internet o para investigar las condiciones de trabajo de un trabajador aleatorio en un país determinado.
  • Cuando se usa en informática, el último enfoque se conoce como cadena de Markov Monte Carlo (MCMC). A menudo, el muestreo de algún espacio de estado complejo también proporciona una estimación probabilística del tamaño del espacio. Estimar la permanente de una gran matriz de ceros y unos fue el primer gran problema asociado con el uso de este enfoque.
  • Las caminatas aleatorias se utilizan a menudo para muestrear gráficos masivos en línea, como las redes sociales .
  • En las redes informáticas inalámbricas , el paseo aleatorio se utiliza para modelar el movimiento de un nodo.
  • Las bacterias móviles realizan caminatas aleatorias sesgadas . [41]
  • Los paseos aleatorios se utilizan para modelar los juegos de azar .
  • En física, los paseos aleatorios están en el corazón del método de estimación de Fermi.
  • Twitter utiliza caminatas aleatorias para sugerir a quién podría valer la pena seguir [42]
  • Dave Byer y Percy Diaconis demostraron que 7 barajes son suficientes para barajar un mazo de cartas (consulte la sección Barajar para obtener más información ). Este resultado se traduce en una afirmación sobre un paseo aleatorio en un grupo simétrico, que es lo que prueban, con un uso decisivo de la estructura del grupo mediante el análisis de Fourier.
  • Con el uso de paseos aleatorios, es posible organizar la trayectoria de movimiento en el espacio de parámetros de la función objetivo optimizada , que se utiliza en la resolución de problemas de optimización [43] . Cuando se utiliza una ley especial de distribución de variables aleatorias se puede obtener una modificación del de paseo aleatorio, llamado vuelos de Levy
  • Usando paseos aleatorios, uno puede resolver el problema del valor límite para las ecuaciones de Maxwell en forma integral. La integral se calcula usando el método de Monte Carlo, mientras que el integrando se muestrea usando un paseo aleatorio. Por lo tanto, es posible encontrar las capacitancias mutuas de los conductores en circuitos integrados, pasando por alto los requisitos de los métodos de elementos finitos y de contorno para la discretización espacial, lo que juega un papel decisivo en la elección de un método, teniendo en cuenta el aumento en el número de puertas en circuitos integrados modernos. A diferencia de los métodos de elementos finitos y de límite, el método de recorrido aleatorio encuentra inmediatamente la integral del campo, y no el campo en cada punto, que luego se integra para encontrar la capacidad. [44] Los métodos de caminata aleatoria se convirtieron en el estándar de facto a principios del siglo XXI para encontrar capacitancias parásitas en circuitos integrados.
  • Se utiliza para resolver la ecuación de transferencia de radiación óptica en un medio utilizando el método Monte Carlo.h*

Opciones

Se ha descubierto que varios tipos de procesos aleatorios son similares a los paseos aleatorios puros, pero en los que la estructura simple puede generalizarse más. Una estructura pura se puede caracterizar por pasos definidos por variables aleatorias independientes e idénticamente distribuidas .

En gráficos

Una caminata aleatoria de longitud k en un gráfico G posiblemente infinito con raíz 0 es un proceso estocástico con variables aleatorias tales que , y este es un vértice uniformemente elegido aleatoriamente entre vecinos . Entonces el número  es la probabilidad de que una caminata aleatoria de longitud k comience en v y termine en w . En particular, si G es un gráfico con raíz en 0 ,  es la probabilidad de que la caminata aleatoria paso a paso regrese a 0 .

Por analogía con el apartado anterior (dimensiones aumentadas), supongamos que ahora nuestra ciudad ya no es una cuadrícula perfecta. Cuando nuestra persona llega a un determinado cruce, elige con igual probabilidad entre diferentes caminos disponibles. Por lo tanto, si hay siete salidas en la intersección, una persona irá a cada una con una probabilidad de un séptimo. Por lo tanto, obtenemos un paseo aleatorio en el gráfico. ¿Llegará nuestro hombre a su casa? Resulta que, en condiciones bastante buenas, la respuesta sigue siendo sí, [45] pero, según el gráfico, para la siguiente pregunta ('¿Se encontrarán dos personas?') la respuesta "infinitamente a menudo" ya no puede ser casi una cierto evento. [46]

Un ejemplo en el que es casi seguro que una persona llegará a la casa es cuando las longitudes de todos los bloques están en el rango de a a b (donde a y b son dos números positivos finitos). Importante: no asumimos que el grafo es plano , es decir, pueden existir túneles y puentes en la ciudad. Una forma de probar este resultado es conectándose a redes eléctricas . Tome un mapa de la ciudad y coloque una resistencia de 1 ohm en cada bloque. Ahora vamos a medir la "resistencia entre el punto y el infinito". En otras palabras, elijamos algún número R y tomemos todos los puntos de la red eléctrica con una distancia entre ellos y nuestro punto mayor que R, y conéctelos entre sí. Obtenemos una red eléctrica finita en la que podemos medir la resistencia entre nuestro punto y otros puntos de la red. Sea R que tienda a infinito. El límite resultante se llama resistencia entre el punto y el infinito .

Resulta que la siguiente conjetura es verdadera (una prueba elemental se puede encontrar en el libro de Doyle y Snell):

Teorema : Un grafo es transitorio si y solo si la resistencia entre el punto y el infinito es finita. Además, la elección de un punto no es importante si la gráfica es conexa.

En otras palabras, en un sistema transitorio, solo se necesita superar una resistencia finita para alcanzar el infinito desde cualquier punto. En un sistema recurrente, la resistencia entre cualquier punto e infinito es infinita.

Un paseo aleatorio en un gráfico es un caso especial de una cadena de Markov . A diferencia de una cadena de Markov general, una caminata aleatoria en un gráfico tiene una propiedad llamada simetría temporal o reversibilidad . En términos generales, esta propiedad, también llamada principio de equilibrio detallado , significa que las probabilidades de cruzar un camino dado en una dirección u otra tienen una relación muy simple entre ellas (si la gráfica es regular , entonces son iguales). Esta propiedad tiene implicaciones importantes.

Desde la década de 1980, se han realizado muchas investigaciones para relacionar las propiedades de los gráficos con los paseos aleatorios. Además de la red eléctrica descrita anteriormente, también hay conexiones con desigualdades isoperimétricas, desigualdades funcionales como las desigualdades de Sobolev y Poincaré , y con las propiedades de las soluciones de la ecuación de Laplace . Gran parte de esta investigación se ha centrado en los gráficos de Cayley de grupos generados finitamente. En muchos casos, estos resultados discretos se trasladan o se derivan de variedades y grupos de Lie .

Hablando de grafos aleatorios , en particular del modelo de Erdős-Rényi , se han obtenido resultados analíticos para algunas propiedades de los caminantes aleatorios. Incluyen la distribución de los primeros [47] y últimos [48] hits (ing. hit time) del caminante, donde el primer hit es la primera vez que el caminante pisa por primera vez un lugar visitado previamente, y el último coincide con el caso de que el caminante no tenga adónde ir, salvo el lugar visitado previamente.

Una buena referencia para una caminata aleatoria en un gráfico es este libro en línea. Para el estudio de los grupos son adecuados los libros de Wöss. Si el kernel de transición en sí es aleatorio (basado en el entorno ), entonces la caminata aleatoria se denomina "caminata aleatoria en un entorno aleatorio". Cuando la ley del paseo aleatorio incluye la aleatoriedad , la ley se denomina recocida (ing. recocido ); por otro lado, si se considera fija, la ley se llama templada (eng. apagada ).

Podemos elegir cada borde posible del gráfico con la misma probabilidad que el máximo local de incertidumbre (entropía). También podemos hacer esto globalmente: en un paseo aleatorio de máxima entropía (eng. paseo aleatorio de máxima entropía, MERW ) es necesario que todos los caminos sean igualmente probables o, en otras palabras, para dos vértices cualesquiera, cada camino de una longitud dada es igualmente probable. [49] Tal caminata tiene propiedades localizadoras mucho más fuertes.

Caminatas aleatorias auto-interactivas

Hay un tipo separado de paseo aleatorio en el que cada paso depende del anterior de alguna manera compleja. Son más difíciles de resolver analíticamente que los paseos aleatorios ordinarios; sin embargo, el comportamiento de cualquier modelo de caminante aleatorio se puede obtener usando computadoras. Por ejemplo:

Una caminata autoevitable de longitud n es una ruta aleatoria de longitud n pasos, que comienza en el origen, que solo pasa por puntos vecinos en y nunca pasa por el mismo punto dos veces. En el caso bidimensional, dicho camino suele ser muy corto [51] , mientras que en la dimensión elevada crece sin límite. Este modelo se usa a menudo en la física de polímeros (desde la década de 1960).

  • Paseo aleatorio con borrado de ciclo. [52] [53]
  • Caminata aleatoria reforzada. [54]
  • Proceso de investigación.
  • Caminata aleatoria multiagente. [55]

Caminatas correlacionadas a largo plazo

Las series de tiempo correlacionadas a largo plazo se encuentran en muchos sistemas biológicos, climatológicos y económicos:

  • Grabación de latidos [56]
  • Secuencias de ADN no codificantes [57]
  • Series temporales de volatilidad bursátil [58]
  • Récords de temperatura en todo el mundo [59]

Correlación de paseos aleatorios

Paseos aleatorios en los que la dirección del movimiento en un punto en el tiempo se correlaciona con la dirección del movimiento en el siguiente punto en el tiempo. Se utiliza para simular el movimiento de los animales. [60] [61]

Véase también

Notas

  1. Wirth, E.; Szabo, G.; Czinkóczky, A. Mida la diversidad del paisaje con agentes exploradores lógicos  //  ISPRS - Archivos internacionales de fotogrametría, teledetección y ciencias de la información espacial: revista. - 2016. - 8 junio ( vol. XLI-B2 ). - pág. 491-495 . -doi : 10.5194 / isprs-archives-xli-b2-491-2016 . - .
  2. Wirth E. (2015). Pi de cruces fronterizos de agentes por paquete NetLogo . Archivo de la biblioteca Wolfram
  3. Pearson, K. El problema del paseo aleatorio   // Naturaleza . - 1905. - vol. 72 , núm. 1865 . — Pág. 294 . -doi : 10.1038/ 072294b0 . — .
  4. Pal, Révész (1990) Paseo aleatorio en entornos aleatorios y no aleatorios , World Scientific
  5. Kohls, Moritz; Hernández, Tanja. Cobertura esperada del algoritmo de movilidad de paseo aleatorio  (inglés)  : revista. - 2016. - . -arXiv : 1611.02861 . _
  6. Random Walk-1-Dimensional - de Wolfram MathWorld . Mathworld.wolfram.com (26 de abril de 2000). Recuperado: 2 de noviembre de 2016.
  7. Edward A. Colding et al, Random walk models in biology, Journal of the Royal Society Interface, 2008
  8. Kotani, M. y Sunada, T. Geometría espectral de redes cristalinas. - Contemporáneo. Matemáticas. - 2003. - T. 338. - S. 271-305. — (Matemáticas Contemporáneas). — ISBN 9780821833834 . -doi : 10.1090 / conm/338/06077 .
  9. Kotani, M. y Sunada, T. Gran desviación y el cono tangente en el infinito de una red cristalina  ,  Matemáticas . z : diario. - 2006. - vol. 254 , núm. 4 . - Pág. 837-870 . -doi : 10.1007/ s00209-006-0951-9 .
  10. Constantes de paseo aleatorio de Polia . Mathworld.wolfram.com. Recuperado: 2 de noviembre de 2016.
  11. Durret, Rick. Probabilidad: teoría y ejemplos . - Prensa de la Universidad de Cambridge , 2010. - Pág  . 191 . — ISBN 9781139491136 .
  12. Polia, George. Probabilidad ; combinatorias; Enseñanza y aprendizaje de las matemáticas  (inglés) . — Cambridge, Mass.: MIT Press , 1984. — P.  582–585 . — ISBN 0-262-16097-8 .
  13. Erdös, P.; Taylor, SJ Algunas propiedades de intersección de caminos aleatorios  // Acta Mathematica Academiae Scientiarum Hungaricae  : revista  . - 1960. - Vol. 11 , núm. 3-4 . - pág. 231-248 . — ISSN 0001-5954 . -doi : 10.1007/ BF02020942 .
  14. MacKenzie, D. MATEMÁTICAS: Tomando la medida de la danza más salvaje de la Tierra  //  Ciencia: diario. - 2000. - vol. 290 , núm. 5498 . - Pág. 1883-1884 . doi : 10.1126 / ciencia.290.5498.1883 . —PMID 17742050 .
  15. Capítulo 2 DIFUSIÓN Archivado el 9 de febrero de 2015 en Wayback Machine . dartmouth.edu.
  16. Ecuación de difusión para la caminata aleatoria . Archivado el 21 de abril de 2015 en Wayback Machine . física.uakron.edu.
  17. D. Ben-Avraham y S. Havlin, Diffusion and Reactions in Fractals and Disordered Systems Archivado el 4 de octubre de 2011 en Wayback Machine , Cambridge University Press, 2000.
  18. Weiss, George H.; Rubin, Robert J. Paseos aleatorios: teoría y aplicaciones seleccionadas // Avances en física química. - 1982. - T. 52. - S. 363-505. — ISBN 9780470142769 . -doi : 10.1002 / 9780470142769.ch5 .
  19. Blumen, A.; Klafter, J.; Zumofen, G. Modelos para la dinámica de reacción en vidrios // Espectroscopia óptica de vidrios. - 1986. - T. 1. - S. 199-265. - (Física y Química de Materiales con Estructuras de Baja Dimensionalidad). - ISBN 978-94-010-8566-3 . -doi : 10.1007 / 978-94-009-4650-7_5 .
  20. Alejandro, S.; Orbach, R. Densidad de estados en fractales: "fractones"  // Journal de Physique Lettres. - 1982. - T. 43 , N º 17 . - S. 625-631 . doi : 10.1051/jphyslet : 019820043017062500 .
  21. Rammal, R.; Toulouse, G. Paseos aleatorios sobre estructuras fractales y grupos de percolación  (inglés)  // Journal de Physique Lettres: revista. - 1983. - vol. 44 , núm. 1 . - P. 13-22 . -doi : 10.1051/jphyslet : 0198300440101300 .
  22. Smoluchowski, MV Versuch einer mathematischen Theorie der Koagulationskinetik kolloider Lösungen  (alemán)  // Z. Phys. química : tienda. - 1917. - S. 129-168 . , Rice, SA Reacciones limitadas por difusión . - Elsevier , 1985. - V. 25. - (Cinética Química Integral). — ISBN 978-0-444-42354-2 .
  23. Skellam, JG Dispersión aleatoria en poblaciones teóricas  // Biometrika  :  revista. - 1951. - vol. 38 , núm. 1/2 . - pág. 196-218 . -doi : 10.2307/ 2332328 . — PMID 14848123 . — .
  24. Skellam, JG Studies in Statistical Ecology: I. Spatial Pattern  (inglés)  // Biometrika  : journal. - 1952. - vol. 39 , núm. 3/4 . - Pág. 346-362 . -doi : 10.2307/ 2334030 . — .
  25. Larralde, Hernán; Trunño, Paul; Havlin, Shlomo; Stanley, H. Eugenio; Weiss, George H. Territorio cubierto por partículas difusoras de N   // Naturaleza . - 1992. - vol. 355 , núm. 6359 . - Pág. 423-426 . -doi : 10.1038/ 355423a0 . - . , Larralde, Hernán; Trunño, Paul; Havlin, Shlomo; Stanley, H.; Weiss, Jorge. Número de sitios distintos visitados por N caminantes aleatorios  // Revisión física A  : diario  . - 1992. - vol. 45 , núm. 10 _ - Pág. 7128-7138 . -doi : 10.1103 / PhysRevA.45.7128 . - . —PMID 9906785 . ; para obtener información sobre el problema de N caminantes aleatorios, consulte Shlesinger, Michael F. New paths for random walkers   // Nature . - 1992. - vol. 355 , núm. 6359 . - pág. 396-397 . -doi : 10.1038/ 355396a0 . — . y el material gráfico en color que ilustra el artículo.
  26. Berger, T. Tasas de información de los procesos de Wiener  // IEEE  Transactions on Information Theory : diario. - 1970. - vol. 16 , núm. 2 . - pág. 134-139 . -doi : 10.1109/ TIT.1970.1054423 .
  27. Risken H. (1984) La ecuación de Fokker-Planck . Springer, Berlín.
  28. De Gennes PG (1979) Conceptos de escala en física de polímeros . Cornell University Press, Ithaca y Londres.
  29. Van Kampen NG (1992) Stochastic Processes in Physics and Chemistry , edición revisada y ampliada. Holanda Septentrional, Ámsterdam.
  30. Weiss, George H.Aspectos y Aplicaciones del Paseo Aleatorio . - North-Holland Publishing Co., Amsterdam, 1994. - (Materiales y procesos aleatorios). - ISBN 978-0-444-81606-1 .
  31. Doi M. y Edwards SF (1986) La teoría de la dinámica de polímeros . Clarendon Press, Oxford
  32. Goel NW y Richter-Dyn N. (1974) Modelos estocásticos en biología . Prensa Académica, Nueva York.
  33. Redner S. (2001) Una guía para el proceso del primer pasaje . Prensa de la Universidad de Cambridge, Cambridge, Reino Unido.
  34. Cox D. R. (1962) Teoría de la renovación . Methuen, Londres.
  35. ↑ Jones , RAL Materia condensada blanda  . — Reimpresión. — Oxford [ua]: Oxford University Press , 2004. — P.  77–78 . — ISBN 978-0-19-850589-1 .
  36. Bar-Yosef, Ziv; Gurevich, Máximo. Muestreo aleatorio del índice de un motor de búsqueda  //  Revista de la ACM  : revista. - Asociación de Maquinaria de Computación (ACM), 2008. - Vol. 55 , núm. 5 . - Pág. 1-74 . — ISSN 0004-5411 . -doi : 10.1145/ 1411509.1411514 .
  37. Grady, L. Paseos aleatorios para la segmentación de imágenes  // IEEE  Transactions on Pattern Analysis and Machine Intelligence : diario. - 2006. - vol. 28 , núm. 11 _ - Pág. 1768-1783 . -doi : 10.1109/ TPAMI.2006.233 . —PMID 17063682 .
  38. Rucci, M; Victor, JD El ojo inestable: una etapa de procesamiento de información, no un error  //  Tendencias en neurociencias : diario. - Prensa celular , 2015. - Vol. 38 , núm. 4 . - pág. 195-206 . -doi : 10.1016/ j.tins.2015.01.005 . — PMID 25698649 .
  39. Engberto, R.; Mergenthaler, K.; Sinn, P.; Pikovsky, A. Un modelo integrado de movimientos oculares de fijación y microsacadas  (inglés)  // Actas de la Academia Nacional de Ciencias de los Estados Unidos de América  : revista. - 2011. - vol. 108 , núm. 39 . - P. E765-70 . -doi : 10.1073/ pnas.1102730108 . - . —PMID 21873243 .
  40. Nosofsky, R. M.; Palmeri, TJ Un modelo de caminata aleatoria basado en ejemplos de clasificación   acelerada // Revisión psicológica : diario. - 1997. - vol. 104 , núm. 2 . - P. 266-300 . -doi : 10.1037 / 0033-295x.104.2.266 . —PMID 9127583 . Archivado desde el original el 10 de diciembre de 2004.
  41. Codling, E. A; Plank, MJ; Benhamou, S. Modelos de caminata aleatoria en biología  //  Revista de la interfaz de la Royal Society : diario. - 2008. - 6 de agosto ( vol. 5 , no. 25 ). - Pág. 813-834 . -doi : 10.1098 / rsif.2008.0014 . —PMID 18426776 .
  42. Gupta, Pankaj et al. WTF: El sistema a quién seguir en Twitter , Actas de la 22ª conferencia internacional sobre la World Wide Web
  43. Karpenko A.P. Algoritmos modernos de optimización de motores de búsqueda. Algoritmos inspirados en la naturaleza. M.: editorial de MSTU im. N. E. Bauman, 2014. 446 p.
  44. Un algoritmo estocástico para la extracción de capacitancia de alta velocidad en circuitos integrados  // Confiabilidad de microelectrónica. — 1993-07. - T. 33 , n. 9 _ - S. 1420-1421 . — ISSN 0026-2714 . -doi : 10.1016 / 0026-2714(93)90150-w .
  45. Es interesante señalar que, en un gráfico general, el encuentro de dos caminantes aleatorios independientes no siempre se reduce al problema de un solo recorrido aleatorio que regresa a su punto de partida.
  46. Krishnapur, Manjunath; Peres, Yuval. Gráficos recurrentes donde dos paseos aleatorios independientes chocan con una frecuencia finita   // Comunicaciones electrónicas en probabilidad : diario. - 2004. - vol. 9 _ - Pág. 72-81 . — ISSN 1083-589X . -doi : 10.1214/ ECP.v9-1111 . - . — arXiv : matemáticas/0406487 .
  47. Tishby, Ido; Biham, Ofer; Katzav, Eytan. La distribución de los primeros tiempos de acierto de los paseos aleatorios en las redes Erdős-Rényi  //  Journal of Physics A: Mathematical and Theoretical : diario. - 2017. - Vol. 50 , núm. 11 _ — Pág. 115001 . -doi : 10.1088 / 1751-8121/aa5af3 . — . -arXiv : 1606.01560 . _
  48. Tishby, Ido; Biham, Ofer; Katzav, Eytan. La distribución de las longitudes de los caminos de los paseos autoevitables en las redes Erdős-Rényi  //  Journal of Physics A: Mathematical and Theoretical : diario. - 2016. - Vol. 49 , núm. 28 . — Pág. 285002 . -doi : 10.1088 / 1751-8113/49/28/285002 . - . -arXiv : 1603.06613 . _
  49. Burda, Z.; Duda, J.; Suerte, JM; Waclaw, B. Localización de la caminata aleatoria de máxima entropía  // Cartas de revisión física  : revista  . - 2009. - Vol. 102 , núm. 16 _ - Pág. 160602 . -doi : 10.1103 / PhysRevLett.102.160602 . - . -arXiv : 0810.4113 . _ —PMID 19518691 .
  50. Madras, Neal and Slade, Gordon (1996) The Self-Avoiding Walk , Birkhäuser Boston. ISBN 0-8176-3891-1 .
  51. Hemmer, S.; Hemmer, PC Una caminata aleatoria autoevitante promedio en la red cuadrada dura 71 pasos  //  Journal of Chemical Physics  : journal. - 1984. - vol. 81 , núm. 1 . - Pág. 584-585 . -doi : 10.1063/ 1.447349 . - .
  52. Lawler, Gregorio (1996). Intersección de paseos aleatorios , Birkhäuser Boston. ISBN 0-8176-3892-X .
  53. Lawler, Gregory Procesos conformemente invariantes en el plano , book.ps .
  54. Pemantle, Robin. Una encuesta de procesos aleatorios con refuerzo  // Encuestas de  probabilidad : diario. - 2007. - vol. 4 . - Pág. 1-79 . -doi : 10.1214 / 07-PS094 . — arXiv : matemáticas/0610076 .
  55. Alamgir, M y von Luxburg, U (2010). "Caminatas aleatorias multiagente para agrupamiento local en gráficos" , IEEE 10th International Conference on Data Mining (ICDM) , pp. 18-27.
  56. Peng, CK-K.; Mieto, J; Hausdorff, JM; Havlin, S; Stanley, HE; Goldberger, A.L. Anticorrelaciones de largo alcance y comportamiento no gaussiano del latido del corazón   // Phys . Rvdo. Letón.  : diario. - 1993. - vol. 70 , núm. 9 _ - P. 1343-1346 . -doi : 10.1103 / PhysRevLett.70.1343 . - . —PMID 10054352 .
  57. Peng, CK; Buldyrev, SV; Goldberger, AL; Havlin, S; Sciortino, F.; Simons, M; Stanley, HE Correlaciones de largo alcance en secuencias de nucleótidos   // Naturaleza . - 1992. - vol. 356 , núm. 6365 . - pág. 168-170 . -doi : 10.1038/ 356168a0 . — . — PMID 1301010 .
  58. Liu, Yanhui; Cizeau, Pierre; Meyer, Martín; Peng, CK-K.; Eugene Stanley, H. Correlaciones en series temporales económicas  //  Physica A : diario. - 1997. - vol. 245 , núm. 3-4 . - Pág. 437 . - doi : 10.1016/S0378-4371(97)00368-3 . — . -arXiv : cond - mat/9706021 .
  59. Koscielny-Bunde, Eva; Bunde, Armin; Havlin, Shlomo; Román, H. Eduardo; Goldreich, Yair; Schellnhuber, Hans-Joachim. Indicación de una ley de persistencia universal que gobierna la variabilidad atmosférica   // Phys . Rvdo. Letón.  : diario. - 1998. - vol. 81 , núm. 3 . — Pág. 729 . -doi : 10.1103 / PhysRevLett.81.729 . — .
  60. Bovet, Pierre; Benhamou, Simón. Análisis espacial de los movimientos de los animales utilizando un modelo de caminata aleatoria correlacionada  //  Journal of Theoretical Biology : diario. - 1988. - vol. 131 , núm. 4 . - Pág. 419-433 . - doi : 10.1016/S0022-5193(88)80038-9 .
  61. Kareiva, PM; Shigesada, N. Analizando el movimiento de los insectos como un paseo aleatorio correlacionado  (inglés)  // Oecologia  : revista. - 1983. - vol. 56 , núm. 2-3 . - pág. 234-238 . -doi : 10.1007/ BF00379695 . — . — PMID 28310199 .


Literatura

Enlaces