Heisenberg Spin Chains
Finding low energy states in chains of atoms.

Motivation
There is a cottage industry in physics dedicated to the study of how magnets work. Modern models of magnetism depend on the spin of atoms in a given material, and how they interact. To incorporate our knowledge about physics at the small scale, it is no surprise that these models are quantum mechanical. This means that the system isn't in a fixed state. Rather, the system is described as a linear combination of possible states that occur with some probability after repeated observation.
Quantum mechanics of many body systems are often very difficult to deal with. In order to get a better grasp of the dynamics of these kinds of systems, we can try to reduce the dimensionality. One way to reduce the problem is by considering the quantum mechanics of a one-dimensional chain of atoms that behave like a magnet. This motivates the study of quantum spin chains. A spin chain is a model for atoms lined up in a lattice that interact with each other in some way through their spins.
Let's start with a simple example. Adjacent atoms that are lined up with opposite spins might be given an energy penalty that encourages them to align with the same spin. There are fascinating question in quantum mechanics about the energy and states of these kind of systems. Each 'site' has an assigned set of states it could be in - this is called a Hilbert space. The number of states on each site depends on the spin of the particle. If the particle is an electron, it has an up and a down spin state, and the particle in this site will be some linear combination of these states. When we combine multiple sites in a chain, the Hilbert space is described by the tensor product of these sub-Hilbert spaces. In other words, the total Hilbert space is described as below, where H_i denotes the Hilbert space of a 1 particle site.
$$ H = H _ 1 \otimes H_ 2 \otimes H _ 3 \otimes \cdots \otimes H _ l $$
What do states in this space look like? States are constructed as a superposition of basis states - this is possible because Schrodinger's equation is linear. One possible basis would be the set of products of up and down states in each site. The dimension of a Hilbert space is the number of elements in its basis, and this number is invariant no matter what basis you choose.
$$ B _ { H_ 1 \otimes H _ 2 } = \{ \uparrow \uparrow, \, \downarrow \downarrow, \uparrow \downarrow, \downarrow \uparrow \} $$
States could be entangled. It is completely plausible that the state of a two-site spin chain can be described as the superposition of two up states and two down states, shown below. This is entangled because if we measure the first state, we instantly know that the state of the second atom will have the same spin direction. We could also have another basis that looks like entangled superpositions of these states.
The Heisenberg Spin Chain Model
In this section, I'll go into some specifics about what current spin chain models look like. Now, the energy of any quantum system is determined by the Hamiltonian. A spin chain describes a model of atoms that interact with their adjacent neighbours on a chain, based on the spin that these particles have. Now, I've been confused many times over which operator acts on what, so I'll be explicit here about which operators act on which spaces. Explicitly, it looks like the sum of spin terms, each acting on pairs of adjacent places in the chain. In the example below, I present a simple three atom Hamiltonian.
$$ H = - S ^ x \otimes S ^ x \otimes \mathbb I - S ^ y \otimes S ^ y \otimes \mathbb I - S ^ z \otimes S ^ z \otimes \mathbb I - \mathbb I \otimes S ^ x \otimes S ^ x - \mathbb I \otimes S ^ y \otimes S ^ y - \mathbb I \otimes S ^ z \otimes S ^ z $$
To figure out the energy of this system, we work iteratively by analysing the Hamiltonian of the left most site in the beginning, and then building it up slowly whilst keeping track of the eigenvalues. Slowly, we build up the full Hamiltonian by continuously updating edge states. Now, how do we build up this Hamiltonian iteratively? This will be the subject of the next section.
Combining Hamiltonians
Finding the ground state of a system like this is very difficult because the search space of states is huge. Hence, we resort to trying to come up with useful numerical methods. Numerical methods like the DMRG method require us to figure out the ground state method iteratively by first taking the ground state of a smaller subset of the chain, and then updating it by adding sites one by one.
In this model, suppose that we have the Hamiltonian of the first n sites, and we know what this object looks like. Let S_n be spin operator acting on the nth site - in other words the boundary of these n sites. The rule to update this to the Hamiltonian describing n+1 sites would be as follows. We first need to extend the Hilbert space by taking a tensor product with the identity to leave the first n states unchanged, and then include an interaction of the nth and (n-1)th site.
$$ H_ n \mapsto H_n \otimes I - I \otimes \cdots \otimes I \otimes \mathbf S_ n \otimes \mathbf {S} _ { n + 1 } $$
We also need to update the new boundary of the block by shifting it one site. This is achieved by doing again the tensor product as follows
$$ S_{\text{boundary}} \mapsto I \times S_{\text{boundary}} $$
In a future post, I'll go into more detail about how we can build this model using DMRG, and use that to find the ground state.
