class: center, middle # An efficient cluster algorithm for spin systems in a symmetry-breaking field ## Jaron Kent-Dobias & James Sethna ### Cornell University ## 9 March 2018 --- # Spin systems Described by Hamiltonians $$\mathcal H=-\sum_{\langle ij\rangle}Z(s_i,s_j)-\sum_iH(s_i)$$ for \\(Z\\) invariant under rotations \\(R\\): \\(Z(R(s),R(t))=Z(s,t)\\).
\(s\)
\(R\)
\(Z(s_i,s_j)\)
\(H(s)\)
Ising model
\(\{-1,1\}\)
\(s\mapsto-s\)
\(s_is_j\)
\(Hs\)
Order-\(n\) model
\(S^n\)
\(\mathop{\mathrm{SO}}(n)\) (rotation)
\(s_i\cdot s_j\)
\(H\cdot s\)
Potts model
\(\mathbb Z/q\mathbb Z\)
addition mod \(q\)
\(\delta(s_i,s_j)\)
\(\sum_iH_i\delta(i,s)\)
Clock model
\(\mathbb Z/q\mathbb Z\)
addition mod \(q\)
\(\cos(2\pi\frac{s_i-s_j}q)\)
\(\sum_iH_i\cos(2\pi\frac{s-i}q)\)
Relatively simple with extremely rich behavior, phase transition galore! --- # Local Monte Carlo: Not Great Standard approach to modelling arbitrary stat mech system: metropolis. 1. Pick random spin. 2. Pick random rotation \\(R\\). 3. Compute change in energy \\(\Delta\mathcal H\\) resulting from taking \\(s\\) to \\(R(s)\\). 4. Take \\(s\\) to \\(R(s)\\) with probability \\(\max\\{1,e^{-\beta\Delta\mathcal H}\\}\\). Problem: Scales very poorly near phase transitions. Correlation time `\(\tau\sim L^z\)` at critical point, `\(\tau\sim t^{-z/\nu}\)` approaching it. `\(z\)` takes large integer values for Ising, order-`\(n\)`, Potts model critical --- class: split-40 # Wolff: wow, what a solution .column[ 1. Pick random spin, add to cluster. 2. Pick random rotation `\(R\)`. 3. For every neighboring spin, add to cluster with probability `\(\min\{0,1-e^{-\beta(Z(R(s),t)-Z(R(s),R(t)))}\}\)`. 4. Repeat 3 for every spin added to cluster. 5. Transform entire cluster with rotation `\(R\)`. Relies on symmetry of `\(Z\)` Fast near the critical point: early studies thought `\(z\)` was zero, actually 0.1–0.4. ] .column[
] --- # We want to apply an external field, though The external field `\(H\)` is not invariant under global rotations! Let's make it that way: introduce an extra spin `\(s_0\)`, let `\(R_s\)` be the rotation that takes `\(s\)` to the identity `\[ \tilde Z(s_i,s_j)= \begin{cases} Z(s_i,s_j) & \text{if $i,j\neq0$}\\ H(R_{s_0}s_i) & \text{if $j=0$}\\ H(R_{s_0}s_j) & \text{if $i=0$} \end{cases} \]` Exact correspondence between expectation values of operators in old and new models: if `\(A(s)\)` is an observable on old model, `\(\tilde A(s_0,s)=A(R_{s_0}s)\)` has the property `\[ \langle\tilde A\rangle=\mathop{\mathrm{Tr}}\nolimits_s\mathop{\mathrm{Tr}}\nolimits_{s_0}\tilde A(s_0,s)=\mathop{\mathrm{Tr}}\nolimits_sA(s)=\langle A\rangle \]` --- ![scooped](figs/wolff-scoop_title.png) --- ![scoop details](figs/wolff-scoop_explanation.png)