Invariant Measures for Soliton Systems Generated by Mealy Automata

Resumen Técnico: Medidas Invariantes para Sistemas de Solitones Generados por Autómatas de Mealy

Planteamiento del Problema
El artículo aborda la caracterización de las medidas invariantes para sistemas de solitones descritos por autómatas de Mealy, centrándose específicamente en tres modelos introducidos recientemente: BBS-C(2), BBS-S(2) y BBS-V(2). Si bien el Sistema de Caja-Bola (BBS) posee una teoría bien establecida de medidas invariantes basada en la descomposición de solitones, la estructura de las medidas invariantes para estas variantes específicas de autómatas de Mealy permanece en gran medida inexplorada. Los autores pretenden formular la evolución temporal de estos sistemas en espacios de configuración bi-infinitos y derivar condiciones suficientes bajo las cuales las medidas de producto de Bernoulli o las distribuciones de Markov de dos lados espacio-homogéneas permanecen invariantes bajo la dinámica del autómata.

Metodología
Los autores emplean un marco matemático riguroso que combina la teoría de autómatas, la teoría ergódica y la física estadística:

1. Formalismo de los Autómatas de Mealy: La evolución temporal se define mediante un autómata de Mealy $A = (Q, S, \phi, \psi)$ que actúa sobre secuencias binarias bi-infinitas $\eta \in \{0, 1\}^\mathbb{Z}$. El espacio de estados $Q$ representa un "portador" (carrier) que se desplaza a través de la red, recogiendo y soltando bolas (1s) basándose en las funciones de transición ($\phi$) y de salida ($\psi$).
2. Espacios de Configuración: Los autores definen un espacio de configuración específico $\Omega$ que consiste en secuencias donde bloques arbitrariamente largos de sitios vacíos (0s) aparecen infinitamente often en ambas direcciones. Demuestran que para los modelos de interés, este espacio es invariante bajo el mapa de evolución temporal $T_A$.
3. Criterios de Invarianza:
   • Distribuciones de Markov: Se deriva un criterio general (Teorema II.12) para que una distribución de Markov de dos lados espacio-homogénea $\nu_M$ (caracterizada por las probabilidades de transición $p$ y $r$) sea invariante. Esto implica verificar un ratio específico de probabilidades que involucra los mapas inversos del autómata.
   • Distribuciones de Bernoulli: Se establece una condición suficiente (Teorema II.13) para que las medidas de producto de Bernoulli $\nu_p$ sean invariantes. Esta condición depende de que el autómata sea "preservador de partículas" (conserva una suma ponderada de estados y entradas) y cumpla con supuestos estructurales específicos (biyectividad, existencia de un punto fijo único para la entrada vacía).
4. Análisis de Solitones: Los autores analizan la dinámica de los solitones de los tres modelos, definiendo algoritmos de descomposición de solitones, calculando velocidades puras (bare velocities) y determinando los desplazamientos de fase resultantes de las interacciones entre solitones.

Contribuciones Clave y Resultados

• Marco General: El artículo establece una teoría general para la invarianza de medidas de Markov y de Bernoulli para autómatas que satisfacen las condiciones (A1)–(A3) (biyectividad, comportamiento de punto fijo específico y propiedades de reinicio).
• Aplicación a Tres Modelos:
  • BBS-S(2) y BBS-V(2): Los autores demuestran que para estos dos modelos, las medidas de producto de Bernoulli $\nu_p$ son invariantes para cualquier $p \in (0, 1)$. Esto se logra verificando que estos autómatas son preservadores de partículas y satisfacen las condiciones estructurales requeridas por el Teorema II.13.
  • BBS-C(2): Para este modelo, las medidas de Bernoulli no son generalmente invariantes. En su lugar, los autores demuestran que la clase más amplia de distribuciones de Markov de dos lados espacio-homogéneas (donde la probabilidad de transición $r$ no es necesariamente $1-p$) es invariante. Este resultado se deriva de la verificación explícita de la condición de invarianza (Teorema II.12) mediante un análisis detallado de casos de la dinámica inversa.
• Características de los Solitones:
  • Velocidades: Las velocidades puras se computan: $v=2$ para solitones de tamaño-$k$ en BBS-C(2); $v=1$ y $v=2$ para solitones "11" y "10" en BBS-S(2); y $v_m = (m+1)/m$ para $m$-solitones en BBS-V(2).
  • Desplazamientos de Fase: Se calculan los desplazamientos de fase resultantes de las interacciones de los solitones. Notablemente, se encuentra que los desplazamientos de fase en BBS-S(2) y BBS-V(2) son no-antisimétricos ($\Phi(J, K) \neq -\Phi(K, J)$), lo que los distingue del BBS estándar.
• Invarianza Marginal: El artículo demuestra que para los tres modelos, incluso cuando la medida completa no es invariante, la distribución marginal en cada sitio (la densidad de partículas) permanece inalterada bajo la evolución temporal, como consecuencia directa de la propiedad de preservación de partículas.

Significancia
El artículo proporciona un marco fundacional para estudiar medidas invariantes, conjuntos de Gibbs generalizados (GGE) y comportamientos hidrodinámicos generalizados (GHD) en sistemas de solitones de autómatas de Mealy. Al identificar medidas invariantes específicas (Bernoulli para BBS-S(2)/BBS-V(2) y Markov para BBS-C(2)), los autores permiten la aplicación de las teorías de GGE y GHD a estos sistemas. Los resultados sugieren que estos tres modelos sirven como marcos convenientes para probar ideas relacionadas con sistemas integrables descritos por autómatas, particularmente respecto a cómo diferentes tipos de medidas invariantes (producto vs. Markov) surgen de estructuras de autómatas específicas. Los desplazamientos de fase no antisimétricos observados en BBS-S(2) y BBS-V(2) resaltan comportamientos hidrodinámicos únicos, distintos del BBS clásico.