Title:The square lattice Ising model on the rectangle I: Finite systems

Abstract:The partition function of the square lattice Ising model on the rectangle is calculated exactly for arbitrary system size $L\times M$ and temperature. We start with the dimer method of Kasteleyn, McCoy & Wu, construct a highly symmetric block transfer matrix and derive a factorization of the involved determinant, effectively decomposing the free energy into two parts, $F(L,M)=F_{\infty}^{\leftrightarrow}(L,M)+F_\mathrm{res}^{\leftrightarrow}(L,M)$. The residual part $F_\mathrm{res}^{\leftrightarrow}(L,M)$ contains the nontrivial finite-size contributions and becomes exponentially small for large $L/M$ and off-critical temperatures. It is given by the determinant of a $\frac{M}{2}\times\frac{M}{2}$ matrix and can be mapped onto an effective spin model with $M$ spins and long-range interactions. The relations to the Casimir potential and the Casimir force scaling functions are discussed.