stochastic Ising model, spectral gap, lower bound