Every added spin doubles the list
Take a row of spins, each of which can point up or down along a chosen axis. A quantum state of the row assigns one complex amplitude to every pattern of ups and downs, and the squared magnitude of that amplitude is the probability of finding that pattern. Two spins have four patterns, three spins have eight, and each further spin doubles the count.
Stored in double precision, a complex number takes sixteen bytes. Twenty spins then need about seventeen million bytes, which any laptop holds. Thirty-two spins need about 69 billion bytes, and forty spins need about eighteen trillion. No machine stores a general state of a hundred spins.
The two chains this course uses
The first chain is the transverse-field Ising chain. Neighbouring spins want to align along one axis, and a field along a perpendicular axis tries to tip every spin. The coupling sets the energy unit. With the field below the coupling the chain orders; above it, the spins follow the field and there is an energy gap to the first excitation; at equal values the chain is critical and the gap closes.
The second chain is the spin one-half Heisenberg antiferromagnet, in which neighbouring spins prefer to point opposite each other in every direction. Both chains here have open ends, so the first and last spins have only one neighbour each. These two models were chosen because exact answers exist for them: free fermions for the Ising chain and the Bethe ansatz for the Heisenberg chain.
Worked example
Count the memory for a 32-spin ground state
The Hamiltonians above have only real entries when written in the up–down basis, so their ground states can be stored with real amplitudes of eight bytes each. A full list for 32 spins still takes about 34 billion bytes.
The DMRG Lab instead stores a matrix product state, the format built in chapter three. Its default run keeps at most sixteen states across each link between neighbouring spins, and fewer near the ends. Count the entries of the matrices along the finished chain: they total 11,048 real numbers, about 88 kilobytes. With that storage the energy of the critical Ising chain matches the exact free-fermion value to within a few parts in ten billion of the coupling.
The saving is not a trick of the format. The same format applied to a random state of the same length would need almost the full list. The next section says why.
What makes ground states special
Cut the chain between two neighbouring spins. Chapter two defines a number, the entanglement entropy, that measures how strongly the two sides depend on each other. It is zero when the state is a product of a left state and a right state. For a twelve-spin chain cut in the middle it can be at most six times the natural logarithm of two, about 4.16.
The ground states in the compression Lab sit far below that ceiling. The critical Ising chain carries 0.40 across its middle cut, and the gapped chain at a field of 2.5 carries only 0.06. A random twelve-spin state carries 3.66. Schollwöck traces this to the area law: in one dimension, the entanglement of a gapped ground state stays bounded as the chain grows, while a random state has extensive entanglement, growing in proportion to the size of the block.
Verstraete and Cirac turned this into a statement about errors. They bound how well a matrix product state of a given size can approximate a state, using the entanglement of its blocks, and conclude that ground states of one-dimensional chains are represented faithfully. The compression Lab shows the contrast directly. The critical ground state keeps 296 of its 4,096 numbers with a squared error of about six in a million. The random state keeps 2,728 and still misses about half of its squared norm.