Invariant Measures for Soliton Systems Generated by Mealy Automata

Resumo Técnico: Medidas Invariantes para Sistemas de Solitons Gerados por Autômatos de Mealy

Enunciado do Problema
O artigo aborda a caracterização de medidas invariantes para sistemas de solitons descritos por autômatos de Mealy, focando especificamente em três modelos recentemente introduzidos: BBS-C(2), BBS-S(2) e BBS-V(2). Embora o Sistema de Box-Ball (BBS) possua uma teoria bem estabelecida de medidas invariantes baseada na decomposição de solitons, a estrutura das medidas invariantes para essas variantes específicas de autômatos de Mealy permanece amplamente inexplorada. Os autores visam formular a evolução temporal desses sistemas em espaços de configuração bi-infinitos e derivar condições suficientes sob as quais medidas de produto de Bernoulli ou distribuições de Markov de dois lados e homogêneas no espaço permanecem invariantes sob a dinâmica do autômato.

Metodologia
Os autores empregam um arcabouço matemático rigoroso combinando teoria de autômatos, teoria ergódica e física estatística:

1. Formalismo de Autômatos de Mealy: A evolução temporal é definida por um autômato de Mealy $A = (Q, S, \phi, \psi)$ atuando sobre sequências binárias bi-infinitas $\eta \in \{0, 1\}^\mathbb{Z}$. O espaço de estados $Q$ representa um "transportador" (carrier) que se move através da rede, coletando e liberando bolas (1s) com base em funções de transição ($\phi$) e saída ($\psi$).
2. Espaços de Configuração: Os autores definem um espaço de configuração específico $\Omega$ consistindo de sequências onde blocos arbitrariamente longos de sítios vazios (0s) aparecem infinitamente em ambas as direções. Eles provam que, para os modelos de interesse, este espaço é invariante sob o mapa de evolução temporal $T_A$.
3. Critérios de Invariância:
   • Distribuições de Markov: Um critério geral (Teorema II.12) é derivado para uma distribuição de Markov de dois lados e homogênea no espaço $\nu_M$ (caracterizada pelas probabilidades de transição $p$ e $r$) para ser invariante. Isso envolve a verificação de uma razão específica de probabilidades envolvendo os mapas inversos do autômato.
   • Distribuições de Bernoulli: Uma condição suficiente (Teorema II.13) é estabelecida para medidas de produto de Bernoulli $\nu_p$ serem invariantes. Esta condição depende de o autômato ser "preservador de partículas" (conservando uma soma ponderada de estados e entradas) e satisfazer pressupostos estruturais específicos (bijetividade, existência de um ponto fixo único para a entrada vazia).
4. Análise de Solitons: Os autores analisam a dinâmica de solitons dos três modelos, definindo algoritmos de decomposição de solitons, calculando velocidades puras (bare velocities) e determinando deslocamentos de fase resultantes de interações de solitons.

Principais Contribuições e Resultados

• Estrutura Geral: O artigo estabelece uma teoria geral para a invariância de medidas de Markov e de Bernoulli para autômatos que satisfazem as condições (A1)–(A3) (bijetividade, comportamento de ponto fixo específico e propriedades de reinicialização).
• Aplicação a Três Modelos:
  • BBS-S(2) e BBS-V(2): Os autores provam que, para estes dois modelos, medidas de produto de Bernoulli $\nu_p$ são invariantes para qualquer $p \in (0, 1)$. Isso é alcançado ao verificar que estes autômatos são preservadores de partículas e satisfazem as condições estruturais exigidas pelo Teorema II.13.
  • BBS-C(2): Para este modelo, medidas de Bernoulli não são geralmente invariantes. Em vez disso, os autores provam que a classe mais ampla de distribuições de Markov de dois lados e homogêneas no espaço (onde a probabilidade de transição $r$ não é necessariamente $1-p$) é invariante. Este resultado é derivado ao verificar explicitamente a condição de invariância (Teorema II.12) através de uma análise detalhada da dinâmica inversa.
• Características de Solitons:
  • Velocidades: As velocidades puras são computadas: $v=2$ para solitons de tamanho-$k$ em BBS-C(2); $v=1$ e $v=2$ para solitons "11" e "10" em BBS-S(2); e $v_m = (m+1)/m$ para $m$-solitons em BBS-V(2).
  • Deslocamentos de Fase: Os deslocamentos de fase resultantes de interações de solitons são calculados. Notavelmente, os deslocamentos de fase em BBS-S(2) e BBS-V(2) são encontrados como não-antissimétricos ($\Phi(J, K) \neq -\Phi(K, J)$), distinguindo-os do BBS padrão.
• Invariância Marginal: O artigo demonstra que, para todos os três modelos, mesmo quando a medida completa não é invariante, a distribuição marginal em cada sítio (a densidade de partículas) permanece inalterada sob a evolução temporal, uma consequência direta da propriedade de preservação de partículas.

Significância
O artigo fornece um arcabouço fundamental para o estudo de medidas invariantes, conjuntos de Gibbs generalizados (GGE) e comportamento hidrodinâmico generalizado (GHD) em sistemas de solitons de autômatos de Mealy. Ao identificar medidas invariantes específicas (Bernoulli para BBS-S(2)/BBS-V(2) e Markov para BBS-C(2)), os autores permitem a aplicação das teorias de GGE e GHD a estes sistemas. Os resultados sugerem que estes três modelos servem como estruturas convenientes para testar ideias relacionadas a sistemas integráveis descritos por autômatos, particularmente sobre como diferentes tipos de medidas invariantes (produto vs. Markov) surgem de estruturas de autômatos específicas. Os deslocamentos de fase não-antissimétricos observados em BBS-S(2) e BBS-V(2) destacam comportamentos hidrodinâmicos únicos, distintos do BBS clássico.