Proof of the Peierls instability in one dimension

Fröhlich and Peierls showed that a one-dimensional system with a half-filled band can lower its ground-state energy by a dimerization from period 1 to period 2. It was an open question whether or not this dimerization was exact, i.e., whether additional symmetry breaking would further lower the energy. We prove that the dimerization is exact for a periodic chain of infinitely massive, harmonically bound atoms with nearest-neighbor electron hopping matrix elements that vary linearly with the nearest-neighbor distance.