Ising model, Glauber dynamics, phase separation, spectral gap