Skrypnik, W.I.
(Український математичний журнал, 2004)
Long-range order is proved to exist for lattice linear oscillator systems with ferromagnetic potential energy containing a term with strong nearest-neighbor (n-n) quadratic pair potential. A contour bound and a generalized ...