A refinement of Simon's correlation inequality

A general formulation is given of Simon's Ising model inequality: whereB is any set of spins separating from . We show that _b can be replaced by _{b A} whereA is the spin system insideB containing . An advantage of this is that a finite algorithm can be given to compute the transition temperature to any desired accuracy. The analogous inequality for plane rotors is shown to hold if a certain conjecture can be proved. This conjecture is indeed verified in the simplest case, and leads to an upper bound on the critical temperature. (The conjecture has been proved in general by Rivasseau. See notes added in proof.)Work partially supported by U.S. National Science Foundation grant PHY-7825390 A01