A. Sudbury, A METHOD FOR FINDING BOUNDS ON CRITICAL-VALUES FOR NON-ATTRACTIVE INTERACTING PARTICLE-SYSTEMS, Journal of physics. A, mathematical and general (Print), 31(41), 1998, pp. 8323-8331
The method is to use a computer to find a function for the process tha
t always has negative expectation by considering all relevant configur
ations of 0's and 1's at the boundary of a finite process in one dimen
sion. It is shown that a branching annihilating random walk will die o
ut if the diffusion parameter rho is greater than 0.176. The method ma
y also be applied to attractive processes, and is used for the contact
process in one dimension obtaining the same values as Ziezold and Gri
llenberger (1988) for up to 10 places in from the boundaries.