quantum crystal; Euclidean Gibbs state; phase transition; quantum effect