Non-fixation for Biased Activated Random Walks

We prove that the model of Activated Random Walks on Z^d with biased jump distribution does not fixate for any positive density, if the sleep rate is small enough, as well as for any finite sleep rate, if the density is close enough to 1. The proof uses a new criterion for non-fixation. We provide a pathwise construction of the process, of independent interest, used in the proof of this non-fixation criterion.