Ising model, 
 Random path representation, 
Ornstein-Zernike decay of correlations, Brownian bridge, 
  Ruelle operator, renormalization, local limit theorems