Exact solution of the Glauber-Ising model on the finite-length semi-open chain

Enunciado do Problema
O artigo aborda a solução exata da função de correlação espaço-temporal para o modelo de Glauber-Ising unidimensional submetido a um quench para a temperatura $T=0$ em uma rede de comprimento finito e semiaberta de tamanho $N$. Embora a dinâmica do sistema infinito e de cadeias finitas periódicas seja bem compreendida, o tratamento de condições de contorno não periódicas (especificamente semiabertas) apresenta um desafio. A equação de movimento padrão para o correlator $C_n(t)$ envolve uma restrição $C_0(t)=1$ (devido a um spin fixo) e, no caso semiaberto, uma condição de nulidade na outra extremidade ($C_N(t)=0$). Essas restrições impedem a aplicação imediata dos métodos padrão de séries de Fourier, que tipicamente dependem de periodicidade. Os autores visam derivar a função de correlação exata para esta geometria e analisar como os efeitos de tamanho finito modificam o comportamento de escala dinâmica esperado no limite de tamanho infinito. Adicionalmente, o artigo busca explorar a dualidade entre o modelo de Glauber-Ising e o processo de coagulação-difusão 1D para determinar probabilidades exatas de intervalos vazios e concentrações de partículas em um anel finito periódico.

Metodologia
Os autores empregam um método de simetria espacial para transformar o problema de valor de contorno em uma forma solucionável por análise de Fourier. A técnica central envolve:

1. Continuação Analítica: Em vez de resolver a equação diferencial parcial (PDE) diretamente com condições de contorno rígidas, os autores estendem a função de correlação física $C(t; x)$ para argumentos espaciais negativos usando relações de simetria específicas.
   • Para o caso periódico, a função é estendida tal que $C(t; -x) = 2 - C(t; x)$ e $C(t; x) = C(t; N-x)$, resultando em uma periodicidade de $2N$.
   • Para o caso semiaberto (spin fixo em $x=0$, nulo em $x=N$), a função é estendida de modo que $C(t; -x) = 2 - C(t; x)$ e uma transformação linear é aplicada para satisfazer a condição de contorno nula em $N$. Isso introduz uma função auxiliar $B(t; x)$ que é mostrada como antissimétrica e periódica com período $2N$.
2. Representação por Série de Fourier: Ao incorporar as restrições físicas nas simetrias espaciais da função continuada analiticamente, os autores constroem uma representação de série de Fourier. Isso permite que a equação de movimento (uma equação de difusão no limite contínuo) seja resolvida exatamente no espaço de Fourier.
3. Mapeamento de Dualidade: A solução exata resultante para o modelo de Glauber-Ising semiaberto é mapeada para a probabilidade de intervalo vazio $E(t, x)$ do processo dual de coagulação-difusão em um anel periódico. Esse mapeamento baseia-se na identidade das equações de movimento (até uma reescala de tempo) e das condições de contorno entre os dois sistemas.
4. Análise de Escala: As soluções exatas são analisadas no limite de escala ($t \to \infty, N \to \infty, |x| \to \infty$) com variáveis de escala finitas $u = |x|/\sqrt{t}$ e $v = N/\sqrt{t}$. Os autores também testam um ansatz de escala simplificado $C_{scal}(t; x) = F(x/\sqrt{t})$ contra os resultados exatos para determinar sua validade.

Principais Contribuições e Resultados

• Funções de Correlação Exatas: O artigo deriva a expressão exata do correlator de tempo único $C(t; x)$ em uma cadeia semiaberta. A solução é expressa em termos de funções theta de Jacobi ($\vartheta_2, \vartheta_3$) e depende das variáveis de escala de tamanho finito $|x|/N$ e $t/N^2$.
  • Para o caso semiaberto: $C_{semi}(t; x) = 1 - \int_0^{|x|/N} dv \, \vartheta_3(\frac{\pi}{2}v, e^{-\pi^2 t / 2N^2}) + \text{termos de condição inicial}$.
  • Para o caso periódico, uma forma exata semelhante é recuperada, confirmando a consistência com a literatura prévia.
• Escala de Tamanho Finito: Os resultados demonstram que as funções de correlação satisfazem a escala de tamanho finito dinâmica, $C(t; x; N) = F_C(|x|/\sqrt{t}, N/\sqrt{t})$. A função de escala universal $F_C$ mostra-se dependente das condições de contorno.
  • O correlator semiaberto anula-se exatamente em $x=N$, enquanto o correlator periódico decai exponencialmente para zero em $x=N/2$ (na variável escalonada) para $N$ grande.
  • O comportamento do correlator semiaberto no intervalo $0 \le |x|/N \le 1$ é análogo ao do correlator periódico em $0 \le |x|/N \le 1/2$, embora as condições de contorno induzam características qualitativas distintas (ex: o "cusp" ou ponta em $x=0$ devido aos spins de Ising rígidos).
• Aplicação de Coagulação-Difusão: Usando a dualidade, os autores fornecem a probabilidade exata de intervalo vazio $E(t, x)$ para partículas em um anel periódico e derivam a concentração de partículas dependente do tempo $c(t)$.
  • A concentração é dada por $c(t) = \frac{1}{N}\vartheta_3(0, e^{-2\pi^2 t/N^2}) + \text{termos de condição inicial}$.
  • O decaimento de longo tempo $c(t) \sim t^{-1/2}$ é reproduzido, consistente com o comportamento conhecido para processos de coagulação em $d=1$.
• Validação do Ansatz de Escala: O artigo testa um ansatz de escala simplificado (levando a uma forma de função de erro) contra a solução exata.
  • O ansatz $C_{scal}(t; x) = 1 - \text{erf}(x/\sqrt{2t})/\text{erf}(N/\sqrt{2t})$ é encontrado como uma excelente aproximação apenas quando a variável de escala $y = N/\sqrt{t} \gtrsim 2$.
  • Para $y$ pequeno (onde o domínio de tamanho $\ell(t) \sim \sqrt{t}$ torna-se comparável a $N$), o simples ansatz falha em capturar o comportamento de crossover, indicando que a suposição de escala de variável única é uma simplificação excessiva para geometrias finitas próximas ao regime de crossover.

Significância
O artigo fornece os primeiros resultados exatos explícitos para sistemas de muitos corpos fora do equilíbrio dinâmico com condições de contorno não periódicas (semiabertas). Ao adaptar com sucesso o método de simetria espacial para contornos abertos, os autores oferecem um benchmark rigoroso para a teoria de escala de tamanho finito em dinâmica. O trabalho esclarece como as condições de contorno influenciam a forma das funções de escala universais, um detalhe frequentemente obscurecido por aproximações de sistemas infinitos. A solução exata para o processo de coagulação-difusão em um anel finito oferece também uma ferramenta precisa para estudar o decaimento da concentração de partículas e as probabilidades de intervalo vazio, que são relevantes para entender o envelhecimento físico e o transporte anômalo em uma dimensão. Os autores sugerem que estas técnicas poderiam servir como base para estudos mais genéricos de efeitos de tamanho finito e podem ser extensíveis para a dinâmica quântica e cadeias integráveis, embora tais extensões sejam notadas como direções futuras potenciais, e não resultados imediatos deste trabalho.