  We show the validity of the cluster expansion in the canonical ensemble for
the Ising model. We compare the lower bound of its radius of convergence with
the one computed by the virial expansion working in the grand-canonical
ensemble. Using the cluster expansion we give direct proofs with quantification
of the higher order error terms for the decay of correlations, central limit
theorem and large deviations.
