No percolation in low temperature spin glass

We consider the Edwards-Anderson Ising Spin Glass model for temperatures T >= 0 : We define notions of Boltzmann-Gibbs measure for the Edwards-Anderson spin glass at a given temperature, and of unsatisfied (frustrated) edges, and recall the notion of ground states. We prove that for low positive temperatures, in almost every spin configuration the graph formed by the unsatisfied edges is made of finite connected components. Similarly, for zero temperature, we show that in almost every ground state the graph of unsatisfied edges is a forest all of whose components are finite. In other words, for low enough temperatures the unsatisfied edges do not percolate.