Dobrushin-Lanford-Ruelle approach; Gibbs state; KMS state; temperature loop spaces; Dobrushin criteria; Feynman-Kac formula; Lee-Yang theorem; strong quantum effects; phase transitions