46 votos

¿El juego de la vida de Conway admite una noción de energía?

(No estoy seguro de si esto es una pregunta de matemáticas o de física, así que no estoy seguro de dónde publicarla. Lo estoy publicando aquí porque el tema principal es un universo irreal que es puramente un tema de análisis teórico matemático, pero hay bastante obvio y conexiones con el estudio de la física de la vida real en nuestro propio universo).

Esto es algo que me he preguntado. El juego de la vida de Conway proporciona un universo ficticio en el que parece que son posibles muchos comportamientos altamente complejos (incluyendo lo que podría considerarse hasta cierto punto una forma de vida, es decir, sistemas de procesamiento de información autorreplicantes), pero los objetos también están sujetos de forma interesante a una inestabilidad extrema y a una rápida entropización, en el sentido de que una pequeña perturbación de un sistema ordenado, como la adición o eliminación de una sola "célula" o cuadrado de rejilla lleno, causará una rápida desintegración de ese sistema.

Y esto, naturalmente, invita a comparaciones con nuestro propio universo de la vida real: en éste, fortuitamente, las perturbaciones de los sistemas, que son increíblemente pequeñas, no suelen conducir a aumentos catastróficos de la entropía, pero hay es todavía una tendencia hacia el aumento de la entropía de alguna manera, y parece por lo tanto que el universo CGoL podría ser pensado como tal vez en algunos aspectos de tener una versión "más agresiva" de la 2 ª ley de la termodinámica.

Sin embargo, en otros aspectos, parece violar fuertemente las leyes de la termodinámica que funcionan en nuestro universo: las máquinas o las formas de vida generalmente funcionarán para siempre sin ningún cambio, e incluso se pueden crear flujos infinitos de "materia", como con una pistola planeadora. Parece que, en particular, la energía no se conserva, y lo que llamamos "movimiento perpetuo" es posible en el universo CGoL pero no es posible en el nuestro.

Pero me pregunto a qué se debe esto, desde el punto de vista de las estructuras matemáticas de ambos, en particular en lo que se refiere a las restricciones al movimiento perpetuo que conocemos en nuestro universo. En particular, la réplica típica de por qué es imposible una máquina de movimiento perpetuo es alguna variación de la primera y la segunda ley de la termodinámica (no estoy seguro de lo que sería una máquina de la "tercera ley de la termodinámica" -supongo que es una máquina que podría refrigerar algo hasta exactamente el cero absoluto, y luego obtener el 100% de eficiencia usándolo como un baño frío). La razón típica por la que se afirma que la primera ley es inviolable es el teorema de Noether: la dinámica es simétrica en la traslación temporal, lo que significa que, para una configuración dada de partículas, su historia futura no depende de si esa configuración se crea ahora o se crea (digamos) dentro de diez mil años.

Pero el universo de Conway también tiene esta propiedad de simetría de traslación temporal. Las reglas tienen no dependencia temporal explícita. Se trata de un sistema dinámico de tiempo discreto (DTDS), seguro, pero el grupo de simetría temporal es máximo, por lo que se puede acceder a traslaciones temporales arbitrarias (un contraejemplo sería un universo en el que ese comportamiento fuera de una manera para números de generación pares y de otra para números de generación Impares), y así se puede propagar una cantidad a lo largo de una línea de corriente en el espacio de fase, por lo que no estoy seguro de por qué las mismas formas en las que se podría argumentar a favor de Noether en nuestro universo no seguirían pasando por la mayor parte.

¿Es esto correcto? ¿La simetría de traslación temporal del universo de Conway da lugar a una cantidad conservada, que podríamos llamar "energía"? Si es así, ¿cómo concuerda o no la fácil aparición de máquinas de movimiento perpetuo con su conservación? Además, ¿podría esto implicar también que si, digamos, hipotéticamente y algún día se encontrara una laguna en nuestro universo que pudiera permitir lo que cualquier otro podría llamar como movimiento perpetuo, sería no ¿Implica necesariamente un fallo de simetría temporal de Noether, sino quizás sólo una redefinición o expansión adecuada de la idea de energía? Y si no, ¿por qué no?

Por cierto, he aquí algunas observaciones sobre cómo tendría que ser una posible función "energética".

  • Una propiedad interesante de los patrones de Conway es que no sólo pueden expandirse perpetuamente, como en el cañón del planeador, sino que también pueden desaparecer por completo . Si vamos a suponer un funcional de energía conservada para un patrón particular, sería lógico que cualquier patrón que finalmente muera por completo debe tener una energía igual a la del vacío (presumiblemente, podríamos simplemente ponerla a 0 conways).
  • Sería bonito si, al menos en algunas circunstancias adecuadas y bien definidas, las energías son aditivas, es decir, si ponemos dos patrones uno al lado del otro en una cuadrícula adecuada y no interactúan entre sí, la energía total en la cuadrícula debería ser igual a la suma de las energías de los dos patrones. Obsérvese que la no interactividad es vital: podríamos imaginar un par de patrones que, por sí mismos, tuvieran una energía positiva, pero que al componerse convenientemente, aunque no se superpongan inmediatamente, dieran lugar a un patrón que desapareciera por completo, por lo que la composición debe tener una energía igual a la del vacío.
  • Presumiblemente, el patrón estable más pequeño, que es el de 3 celdas en una barra horizontal o vertical (técnicamente no es "estable" en el sentido más estricto porque oscila entre la orientación horizontal y la vertical, pero yo lo llamaría estable porque nunca muere y además mantiene su forma), debería tener la menor energía positiva, pero también es posible que compita con el cuadrado (4 celdas) porque, aunque tiene una celda más, no se mueve.

¿Existe tal función energética? Si es así, pero no es única, ¿qué otras condiciones podrían hacer que fuera única? Si no existe, ¿qué condiciones deberíamos relajar y/o sustituir, y con qué? ¿Y qué sugerirían tales funciones de energía cuando se aplicaran a las situaciones que parecerían violaciones de la conservación según las normas del universo de la vida real, como la pistola planeadora? Nótese que personalmente también me inclinaría a pensar que las condiciones anteriores son demasiado restrictivas en cierto modo, ya que aparentemente siguen intentando asumir o salvar una conexión entre la energía y el número de células, y si acaso deberíamos tomar la existencia de pistolas, patrones con un número de células cambiante, etc., como una gran bandera roja que sugiere "ni te molestes" con ese enfoque. Sin embargo, entonces necesitamos una estrategia diferente para tratar de encontrar axiomas útiles.

(Nota, claramente siempre hay una función de energía trivial, dada por asignar el mismo valor a cada patrón. Eso tampoco es claramente lo que queremos, pero no estoy seguro de cómo eliminarlo).

También es importante señalar las muchas diferencias entre las simetrías de la dinámica del universo de Conway y las de lo que sabemos hasta ahora sobre la dinámica del nuestro. Por un lado, las simetrías del universo de Conway son discretas, como he mencionado anteriormente. Puede que eso, por sí solo, sea suficiente para explicar por completo cómo esa traslación del tiempo puede convivir con infinitos cañones de deslizamiento, pero no estoy seguro. Por otra parte, faltan algunas simetrías clave que están presentes en la nuestra: por un lado, la simetría rotacional no está presente, excepto en la forma simple de cuatro. Por otro, impulsar la simetría no está presente para cualquier noción razonable de impulso - es decir, el universo de Conway admite un marco de reposo absoluto preferido: a saber, aquel en el que un cuadrado de 2x2 se mantiene. Me parece que cualquiera de ellas podría frustrar o al menos exigir un replanteamiento radical de lo que tendría que significar la "energía". ¿Quizás estas diferencias saboteen total e irremediablemente la idea de energía?

46voto

kixx Puntos 2452

Q: ¿La simetría de traslación temporal del universo de Conway da lugar a una cantidad conservada, que podríamos llamar "energía"?

Como notado en los primeros estudios del Juego de la Vida de Conway, no tiene ley de conservación local --- no es posible definir un funcional de energía localmente conservado.

La dinámica tiene simetría de traslación temporal, pero el teorema de Noether (que vincula una simetría a una ley de conservación) no se aplica, en primer lugar, porque la dinámica está discretizada en el espacio y en el tiempo y, en segundo lugar, porque la dinámica no se basa en un lagrangiano. Así que incluso una generalización del tipo SmoothLife no sería suficiente para aplicar el teorema de Noether.

27voto

shingara Puntos 146

Las cantidades conservadas, como la energía, son características de los sistemas dinámicos reversibles en el tiempo. El Juego de la Vida de Conway es un sistema disipativo y no reversible en el tiempo, por lo que no es probable que tenga leyes de conservación no triviales.

De hecho, ni siquiera puedo pensar en ninguna propiedad booleana invariable no trivial preservada por la regla de actualización del CGoL:

  • "Hay células vivas" no es una propiedad invariable, ya que los patrones pueden morir.
  • "Hay un número finito de células vivas" no es una propiedad invariable, ya que incluso los patrones infinitos pueden morir.
  • "Hay exactamente cuatro células vivas dispuestas en un bloque de 2x2" no es una propiedad invariable, ya que otros patrones pueden convertirse en un bloque.
  • "Este patrón oscila con un periodo de $n$ Los "pasos" no son una propiedad invariable, ya que los patrones no oscilantes pueden evolucionar hasta convertirse en osciladores.
  • "No hay Jardín del Edén El "patrón" no es una invariante, ya que un GdE puede estar presente en la primera generación (pero nunca estará presente en ninguna otra posterior).
  • "No hay patrón huérfano " tampoco es una invariante, ya que incluso los huérfanos pueden morir si se les interrumpe desde el exterior.

En principio, una regla de autómata celular podría tienen invariantes no triviales, como un " superestable patrón "huérfano" que no puede formarse a menos que ya esté presente en la red ni destruirse si lo está. Pero, por lo que sé, no existen tales patrones en el Juego de la Vida de Conway (ni parecen ser exactamente lo que buscas, incluso si existieran).

Hay, por supuesto, invariantes triviales basados en la evolución eventual del patrón bajo la regla de actualización iterada de la CGoL, como "este patrón acabará muriendo". (Por cierto, también estoy bastante seguro de que esta propiedad, y otras similares, son computacionalmente indecidibles - debería ser posible construir un patrón en CGoL que simule una máquina de Turing y que muera si y sólo si la máquina se detiene). Pero una propiedad conservada que sólo puede calcularse simulando el sistema durante un número ilimitado de pasos no es muy útil para hacer física.


Dicho esto, si eso no es un problema para usted, es es De hecho, es posible definir una cantidad conservada aditiva para el Juego de la Vida de Conway (o, de hecho, para cualquier autómata celular o sistema similar) que satisfaga todas las propiedades enumeradas en su pregunta:

Teorema: Dejemos que $E: \{0,1\}^{\mathbb Z^2} \to \mathbb R \cup \{-\infty, +\infty\}$ sea una función aditiva arbitraria que asigne una "energía instantánea" a un estado particular de la red (por ejemplo, $E(L)$ podría simplemente contar el número de células vivas en la red $L$ ) y definir $$E_\infty(L) = \lim_{n \to \infty} \frac1n \sum_{k=0}^n E(S^{(k)}(L)),$$ donde $S^{(k)}(L)$ denota el estado de la red obtenido mediante la evolución del estado de la red $L$ por $k$ generaciones bajo la regla del CGOL. Entonces $E_\infty$ donde se define, es una cantidad conservada aditiva. Específicamente:

  • Por definición, $E_\infty$ se conserva, ya que sólo depende del límite medio a largo plazo de $E$ a medida que el tiempo tiende al infinito. En particular, no es difícil demostrar que si $E_\infty(L)$ se define, entonces $E_\infty(S^{(k)}(L)) = E_\infty(L)$ para cualquier $k$ .

  • Si $E$ es aditivo para patrones no interactivos, entonces $E_\infty$ también es aditivo para los patrones que nunca interactúan a medida que evolucionan. En particular, si el operador $\oplus$ denota algún método de fusión de dos estados de la red en uno, tal que $E(A \oplus B) = E(A) + E(B)$ siempre que ambas expresiones estén bien definidas, y si $L_1$ y $L_2$ son dos estados de la red tales que $S^{(k)}(L_1 \oplus L_2) = S^{(k)}(L_1) \oplus S^{(k)}(L_2)$ para todos $k \ge 0$ (es decir, si las evoluciones de $L_1$ y $L_2$ no interactúan cuando se combinan utilizando $\oplus$ ), entonces $E_\infty(L_1 \oplus L_2) = E_\infty(L_1) + E_\infty(L_2)$ .

El precio a pagar por estas propiedades aparentemente convenientes es que la "energía media eventual" funcional $E_\infty$ también tiene un par de características incómodas:

  • $E_\infty$ puede ser infinito para patrones finitos si crecen sin límite, como lo hacen muchos patrones en CGoL. (Esto por sí solo no es una característica particularmente horrible, tal como van las cosas, pero vale la pena notarlo para completarlo).

  • $E_\infty$ puede ser indefinido si la media a largo plazo de $E$ nunca converge a un límite (finito o infinito). En particular, creo que hay diente de sierra patrones cuyo promedio de células vivas a largo plazo nunca converge.

  • Como se ha señalado anteriormente, el valor de $E_\infty$ (o incluso si el límite existe o no) puede ser computacionalmente indecidible: debería ser posible construir una (familia de) patrón(es) que codifique(n) una máquina de Turing arbitraria y su entrada, tal que $E_\infty$ para el patrón resultante depende de si la máquina de Turing codificada se detiene o no.

  • Además, mientras $E_\infty$ es aditivo para los patrones que nunca interactúan como se definió anteriormente, es no una "cantidad conservada aditiva de rango $\alpha$ "tal y como se define, por ejemplo, en Hattori & Takesue (1991) . En particular, el requisito de "los patrones nunca interactuarán" para la aditividad significa que $E_\infty$ no puede definirse como una suma de "energías locales" para cada célula de la red, donde la "energía local" de una célula sólo depende de los estados de un número limitado de células cercanas.

¿Esta definición sirve para algo? No estoy seguro. Por un lado, te permite asignar una "energía" a patrones simples como bodegones, osciladores y naves espaciales, y hacer que sea aditiva siempre que esos patrones nunca interactúen. Incluso se puede asignar una energía a cualquier sopa que finalmente decae en una cantidad finita de ceniza no interactiva. Por otro lado, no hay una forma general de determinar la energía de un patrón arbitrario (o incluso de determinar si está definido o no) más que simulándolo hasta que se asiente en una colección de partes no interactuantes cuyo crecimiento poblacional sea predecible. Algunos patrones nunca lo hacen, y para algunos es posible que nunca se pueda saber si lo hacen o no.

18voto

Ville Salo Puntos 371

Creo que la cuestión de la existencia de cantidades conservadas aditivas para Game of Life no está al alcance de los métodos conocidos. Como señaló Ilmari Karonen, si no existen tales cantidades, entonces no existen "patrones superestables" en la terminología de este puesto de MO . Se trata de (una versión de) un conocido problema abierto. Por otro lado, no conozco una cantidad conservada.

Voy a expresar un resultado reciente mío y de Ilkka Törmä en el espíritu de las cantidades conservadas, a saber, que sabemos algo ligeramente no trivial sobre las "cantidades aditivas no crecientes".

Dejemos que $X \subset A^{\mathbb{Z}^d}$ ser un subdesplazamiento en punta es decir, un conjunto cerrado invariable por desplazamiento en el que hemos elegido un punto cero $z = 0^{\mathbb{Z}^d}$ . Sea $f : X \to X$ sea un autómata celular, es decir, una función continua invariable por desplazamiento que satisfaga $f(z) = z$ . Podemos definir un Cantidad (aditiva) como una función continua $g : X \to \mathbb{R}$ tal que $G(x) = \sum_{\vec v \in \mathbb{Z}^d} g(\sigma^{\vec v}(x)) < \infty$ para todo soporte finito $x \in X$ (es decir, todos los $x$ con $\{\vec v \in \mathbb{Z}^2 \;|\; x_{\vec v} \neq 0 \} < \infty$ ), donde $\sigma^{\vec v}$ es el desplazamiento por vector $\vec v$ . (En lo que sigue, las cantidades $g$ consideradas dependen sólo de un número finito de coordenadas, y la condición de suma finita se cumple si y sólo si $g(z) = 0$ .) A cantidad no creciente es $g$ tal que tenemos $G(f(x)) \leq G(x)$ para todos $x \in X$ .

Ahora, considere $f$ el Juego de la Vida. No es subjetivo en el turno completo $Y = \{0,1\}^{\mathbb{Z}^2}$ por lo que trivialmente tiene cantidades conservadas no crecientes: el número de copias de un determinado huérfano en una región sólo puede disminuir, de hecho este recuento cae inmediatamente a $0$ al aplicar la regla.

Una pregunta un poco más interesante es, ¿qué sucede si restringimos a la límite establecido $X = \bigcap_n f^{n}(Y)$ ¿el conjunto de configuraciones que admiten una cadena infinita de preimágenes? (Cabe esperar que $f$ es incluso biyectiva en $X$ pero este no es el caso).

Ahora, se deduce de un resultado reciente mío y de Ilkka Törmä que Game of Life restringido a su conjunto límite sigue teniendo cantidades no crecientes. Concretamente, en [1] demostramos que el patrón self-enforcing pattern

no puede ser producido por la regla de la vida a partir de otro patrón que no sea él mismo. Pero puede extenderse fácilmente a una configuración de soporte finito fijada bajo $f$ (que está entonces en el conjunto de límites $X$ ). Así que el mapa $g$ que cuenta el número de apariciones de este patrón es una cantidad aditiva no creciente para $X$ . Por desgracia, no se conserva, ya que es fácil destruir este patrón desde el exterior.

[1]: Ville Salo e Ilkka Törmä. ¿Qué pueden enseñarnos los oráculos sobre el destino final de la vida? ICALP 2022: 131:1-131:20

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X