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

Problematica
Il documento affronta la soluzione esatta della funzione di correlazione spazio-temporale per il modello di Glauber-Ising unidimensionale sottoposto a quench alla temperatura $T=0$ su un reticolo a semi-aperto di lunghezza finita $N$. Mentre la dinamica del sistema infinito e delle catene finite periodiche è ben compresa, il trattamento delle condizioni al contorno non periodiche (specificamente semi-aperte) presenta una sfida. L'equazione standard del moto del correlatore $C_n(t)$ implica un vincolo $C_0(t)=1$ (dovuto a uno spin fissato) e, nel caso semi-aperto, una condizione di annullamento all'altra estremità ($C_N(t)=0$). Questi vincoli precludono l'applicazione immediata dei metodi standard delle serie di Fourier, che tipicamente si basano sulla periodicità. Gli autori mirano a derivare la funzione di correlazione esatta per questa geometria e ad analizzare come gli effetti di dimensione finita modifichino il comportamento di scaling dinamico atteso nel limite di dimensione infinita. Inoltre, il documento cerca di sfruttare la dualità tra il modello di Glauber-Ising e il processo di coalescenza-diffusione 1D per determinare le probabilità esatte di intervallo vuoto e le concentrazioni di particelle su un anello periodico finito.

Metodologia
Gli autori impiegano un metodo di simmetria spaziale per trasformare il problema del valore al contorno in una forma risolvibile tramite analisi di Fourier. La tecnica centrale consiste nel:

1. Continuazione Analitica: Invece di risolvere direttamente l'equazione differenziale alle derivate parziali (PDE) con condizioni al contorno rigide, gli autori estendono la funzione di correlazione fisica $C(t; x)$ ad argomenti spaziali negativi utilizzando specifiche relazioni di simmetria.
   • Per il caso periodico, la funzione viene estesa in modo che $C(t; -x) = 2 - C(t; x)$ e $C(t; x) = C(t; N-x)$, risultando in una periodicità di $2N$.
   • Per il caso semi-aperto (spin fisso in $x=0$, annullamento in $x=N$), la funzione viene estesa in modo che $C(t; -x) = 2 - C(t; x)$ e viene applicata una trasformazione lineare per soddisfare la condizione al contorno di annullamento in $N$. Ciò introduce una funzione ausiliaria $B(t; x)$ che si dimostra essere antisimmetrica e periodica con periodo $2N$.
2. Rappresentazione in Serie di Fourier: Incorporando i vincoli fisici nelle simmetrie spaziali della funzione continuata analiticamente, gli autori costruiscono una rappresentazione in serie di Fourier. Ciò permette di risolvere esattamente l'equazione del moto (un'equazione di diffusione nel limite continuo) nello spazio di Fourier.
3. Mappatura di Dualità: La soluzione esatta risultante per il modello di Glauber-Ising semi-aperto viene mappata sulla probabilità di intervallo vuoto $E(t, x)$ del processo duale di coalescenza-diffusione su un anello periodico. Questa mappatura si basa sull'identità delle equazioni del moto (fino a una riscalatura temporale) e delle condizioni al contorno tra i due sistemi.
4. Analisi di Scaling: Le soluzioni esatte vengono analizzate nel limite di scaling ($t \to \infty, N \to \infty, |x| \to \infty$) con variabili di scaling finite $u = |x|/\sqrt{t}$ e $v = N/\sqrt{t}$. Gli autori testano anche un ansatz di scaling semplificato $C_{scal}(t; x) = F(x/\sqrt{t})$ rispetto ai risultati esatti per determinarne l'intervallo di validità.

Contributi Chiave e Risultati

• Funzioni di Correlazione Esatte: Il documento deriva l'espressione esatta del correlatore a tempo singolo $C(t; x)$ su una catena semi-aperta. La soluzione è espressa in termini di funzioni theta di Jacobi ($\vartheta_2, \vartheta_3$) e dipende dalle variabili di scaling di dimensione finita $|x|/N$ e $t/N^2$.
  • Per il caso semi-aperto: $C_{semi}(t; x) = 1 - \int_0^{|x|/N} dv \, \vartheta_3(\frac{\pi}{2}v, e^{-\pi^2 t / 2N^2}) + \text{termini di condizione iniziale}$.
  • Per il caso periodico, viene recuperata una forma esatta simile, confermando la coerenza con la letteratura precedente.
• Scaling di Dimensione Finita: I risultati dimostrano che le funzioni di correlazione soddisfano lo scaling di dimensione finita dinamico, $C(t; x; N) = F_C(|x|/\sqrt{t}, N/\sqrt{t})$. La funzione di scaling universale $F_C$ mostra di dipendere dalle condizioni al contorno.
  • Il correlatore semi-aperto si annulla esattamente a $x=N$, mentre il correlatore periodico decade esponenzialmente verso lo zero a $x=N/2$ (nella variabile scalata) per grandi $N$.
  • Il comportamento del correlatore semi-aperto nell'intervallo $0 \le |x|/N \le 1$ è analogo al correlatore periodico in $0 \le |x|/N \le 1/2$, sebbene le condizioni al contorno inducano caratteristiche qualitative distinte (ad esempio, il "cuspide" a $x=0$ dovuto agli spin di Ising fissi).
• Applicazione alla Coalescenza-Diffusione: Utilizzando la dualità, gli autori forniscono la probabilità esatta di intervallo vuoto $E(t, x)$ per le particelle su un anello periodico e derivano la concentrazione di particelle dipendente dal tempo $c(t)$.
  • La concentrazione è data da $c(t) = \frac{1}{N}\vartheta_3(0, e^{-2\pi^2 t/N^2}) + \text{termini di condizione iniziale}$.
  • Il decadimento a lungo termine $c(t) \sim t^{-1/2}$ è riprodotto, in linea con il comportamento noto per i processi di coalescenza in $d=1$.
• Validazione dell'Ansatz di Scaling: Il documento testa un ansatz di scaling semplificato (che porta a una forma di funzione errore) rispetto alla soluzione esatta.
  • L'ansatz $C_{scal}(t; x) = 1 - \text{erf}(x/\sqrt{2t})/\text{erf}(N/\sqrt{2t})$ si rivela un'ottima approssimazione solo quando la variabile di scaling $y = N/\sqrt{t} \gtrsim 2$.
  • Per piccoli valori di $y$ (dove la dimensione del dominio $\ell(t) \sim \sqrt{t}$ diventa comparabile a $N$), il semplice ansatz fallisce nel catturare il comportamento di crossover, indicando che l'assunzione di scaling a singola variabile è una sovra-semplificazione per geometrie finite vicino al regime di crossover.

Significatività
Il lavoro fornisce i primi risultati esatti espliciti per sistemi molti-corpo fuori dall'equilibio con condizioni al contorno non periodiche (semi-aperte). Adattando con successo il metodo della simmetria spaziale ai bordi aperti, gli autori offrono un benchmark rigoroso per la teoria dello scaling di dimensione finita nella dinamica. Il lavoro chiarisce come le condizioni al contorno influenzino la forma delle funzioni di scaling universali, un dettaglio spesso oscurato dalle approssimazioni di sistemi infiniti. La soluzione esatta per il processo di coalescenza-diffusione su un anello finito offre uno strumento preciso per studiare il decadimento della concentrazione di particelle e le probabilità di intervallo vuoto, che sono rilevanti per comprendere l'invecchiamento fisico e il trasporto anomalo in una dimensione. Gli autori suggeriscono che queste tecniche potrebbero servire come base per studi più generici sugli effetti di dimensione finita e potrebbero essere estendibili alla dinamica quantistica e alle catene integrabili, sebbene tali estensioni siano menzionate come direzioni future piuttosto che come risultati immediati di questo lavoro.