MEAN-FIELD CRITICAL-BEHAVIOR FOR PERCOLATION IN HIGH DIMENSIONS

The triangle condition for percolation states that {Mathematical expression} is finite at the critical point, where τ(x, y) is the probability that the sites x and y are connected. We use an expansion related to the lace expansion for a self-avoiding walk to prove that the triangle condition is satisfied in two situations: (i) for nearest-neighbour independent bond percolation on the d-dimensional hypercubic lattice, if d is sufficiently large, and (ii) in more than six dimensions for a class of "spread-out" models of independent bond percolation which are believed to be in the same universality class as the nearest-neighbour model. The class of models in (ii) includes the case where the bond occupation probability is constant for bonds of length less than some large number, and is zero otherwise. In the course of the proof an infrared bound is obtained. The triangle condition is known to imply that various critical exponents take their mean-field (Bethe lattice) values {Mathematical expression} and that the percolation density is continuous at the critical point. We also prove that v2 in (i) and (ii), where v2 is the critical exponent for the correlation length. © 1990 Springer-Verlag.