Spontaneous magnetization of the Ising model on the Sierpinski carpet fractal, a rigorous result

We give a rigorous proof of the existence of spontaneous magnetization at finite temperature for the Ising spin model defined on the Sierpinski carpet fractal. The theorem is inspired by the classical Peierls argument for the two-dimensional lattice. Therefore, this exact result proves the existence of spontaneous magnetization for the Ising model in low-dimensional structures, i.e. structures with dimension smaller than 2.