Polarization, free energy, phase transition,  quantum 
anharmonic crystal, Euclidean approach, Garsia-Rodemich-Rumsey 
inequality