Journal of Statistical Physics, Vol. 67, Nos. 3/4, 1992. p. 675-780.
A rigorous proof for the existence of bipolaronic states is given for the adiabatic Holstein model for any lattice at any dimension, periodic or not, and for an arbitrary band filling, provided that the electron-phonon coupling (in dimensionless units) is large enough. The existence of mixed polaronic-bipolaronic states is also proven, but for larger electron phonon coupling. These states consist of arbitrary distributions of bipolarons (or of bipolarons and polarons) localized in real space which can be simply labeled by pseudospin configurations as for a lattice gas model. The theory not only applies to periodic crystals, but also to quasicrystals, amorphous structures, polymer network, etc...