Invariant Measures for Soliton Systems Generated by Mealy Automata

Sintesi Tecnica: Misure Invarianti per Sistemi di Solitoni Generati da Automi di Mealy

Enunciato del Problema
Il documento affronta la caratterizzazione delle misure invarianti per sistemi di solitoni descritti da automi di Mealy, concentrandosi specificamente su tre modelli recentemente introdotti: BBS-C(2), BBS-S(2) e BBS-V(2). Sebbene il Box-Ball System (BBS) possieda una teoria ben consolidata delle misure invarianti basata sulla decomposizione dei solitoni, la struttura delle misure invarianti per queste specifiche varianti di automi di Mealy rimane in gran parte inesplorata. Gli autori mirano a formulare l'evoluzione temporale di questi sistemi su spazi di configurazione bi-infiniti e a derivare condizioni sufficienti sotto le quali le misure di prodotto di Bernoulli o le distribuzioni di Markov bi-lato spazio-omogenee rimangono invarianti rispetto alla dinamica dell'automa.

Metodologia
Gli autori impiegano un rigoroso quadro matematico che combina la teoria degli automi, la teoria ergodica e la fisica statistica:

1. Formalismo degli Automi di Mealy: L'evoluzione temporale è definita da un automa di Mealy $A = (Q, S, \phi, \psi)$ che agisce su sequenze binarie bi-infinite $\eta \in \{0, 1\}^\mathbb{Z}$. Lo stato $Q$ rappresenta un "carrier" (vettore) che si muove attraverso il reticolo, raccogliendo e rilasciando palle (1) in base alle funzioni di transizione ($\phi$) e di output ($\psi$).
2. Spazi di Configurazione: Gli autori definiscono uno specifico spazio di configurazione $\Omega$ costituito da sequenze in cui blocchi arbitrariamente lunghi di siti vuoti (0) appaiono infinitamente spesso in entrambe le direzioni. Dimostrano che per i modelli di interesse questo spazio è invariante sotto la mappa di evoluzione temporale $T_A$.
3. Criteri di Invarianza:
   • Distribuzioni di Markov: Viene derivato un criterio generale (Teorema II.12) affinché una distribuzione di Markov bi-lato spazio-omogenea $\nu_M$ (caratterizzata dalle probabilità di transizione $p$ e $r$) sia invariante. Ciò comporta la verifica di un rapporto specifico di probabilità coinvolgendo le mappe inverse dell'automa.
   • Distribuzioni di Bernoulli: Viene stabilita una condizione sufficiente (Teorema II.13) affinché le misure di prodotto di Bernoulli $\nu_p$ siano invarianti. Questa condizione si basa sul fatto che l'automa sia "particle-preserving" (conserva una somma pesata di stati e input) e soddisfi specifiche assunzioni strutturali (biettività, esistenza di un punto fisso unico per l'input vuoto).
4. Analisi dei Solitoni: Gli autori analizzano la dinamica dei solitoni dei tre modelli, definendo algoritmi di decomposizione dei solitoni, calcolando le velocità nude (bare velocities) e determinando gli spostamenti di fase (phase shifts) risultanti dalle interazioni tra solitoni.

Contributi Chiave e Risultati

• Quadro Generale: Il documento stabilisce una teoria generale per l'invarianza di misure di Markov e di Bernoulli per automi che soddisfano le condizioni (A1)–(A3) (biettività, specifico comportamento del punto fisso e proprietà di reset).
• Applicazione ai Tre Modelli:
  • BBS-S(2) e BBS-V(2): Gli autori dimostrano che per questi due modelli le misure di prodotto di Bernoulli $\nu_p$ sono invarianti per ogni $p \in (0, 1)$. Ciò viene ottenuto verificando che questi automi sono "particle-preserving" e soddisfano le condizioni strutturali richieste dal Teorema II.13.
  • BBS-C(2): Per questo modello, le misure di Bernoulli non sono generalmente invarianti. Inveve, gli autori dimostrano che la classe più ampia di distribuzioni di Markov bi-lato spazio-omogenee (dove la probabilità di transizione $r$ non è necessariamente $1-p$) è invariante. Questo risultato è derivato verificando esplicitamente la condizione di invarianza (Teorema II.12) attraverso un'analisi dettagliata della dinamica inversa.
• Caratteristiche dei Solitoni:
  • Velocità: Le velocità nude sono calcolate: $v=2$ per i solitoni di dimensione-$k$ in BBS-C(2); $v=1$ e $v=2$ per i solitoni "11" e "10" in BBS-S(2); e $v_m = (m+1)/m$ per gli $m$-solitoni in BBS-V(2).
  • Spostamenti di Fase: Sono calcolati gli spostamenti di fase risultanti dalle interazioni tra solitoni. Notevolmente, si scopre che gli spostamenti di fase in BBS-S(2) e BBS-V(2) sono non-antisimmetrici ($\Phi(J, K) \neq -\Phi(K, J)$), distinguendosi dal BBS standard.
• Invarianza Marginale: Il documento dimostra che per tutti e tre i modelli, anche quando la misura completa non è invariante, la distribuzione marginale in ogni sito (la densità delle particelle) rimane invariata sotto l'evoluzione temporale, una diretta conseguenza della proprietà di conservazione delle particelle (particle-preserving).

Significatività
Il documento fornisce un quadro fondamentale per lo studio delle misure invarianti, degli ensemble di Gibbs generalizzati (GGE) e dei comportamenti idrodinamici generalizzati (GHD) nei sistemi di solitoni di automi di Mealy. Identificando specifiche misure invarianti (Bernoulli per BBS-S(2)/BBS-V(2) e Markov per BBS-C(2)), gli autori consentono l'applicazione delle teorie GGE e GHD a questi sistemi. I risultati suggeriscono che questi tre modelli fungono da quadri di riferimento convenienti per testare idee relative ai sistemi integrabili descritti da automi, in particolare riguardo a come diversi tipi di misure invarianti (prodotto vs. Markov) emergano da specifiche strutture di automi. Gli spostamenti di fase non-antisimmetrici osservati in BBS-S(2) e BBS-V(2) evidenziano comportamenti idrodinamici unici, distinti dal classico BBS.