Ergodicity of the hard-core PCA with a random walk method

The hard-core probabilistic cellular automaton has attracted a renewed interest in the last few years, thanks to its connection with the study of a combinatorial game on percolation configurations. We provide an alternative proof for the ergodicity of this PCA for a neighbourhood of size $2$ and $3$, using the notion of decorrelated islands introduced by Casse in 2023, together with some new ideas. This shortens the previous proofs and provides a more intuitive and unified approach.