The Liouville and the intersection properties are equivalent for planar graphs

Itai Benjamini, Nicolas Curien, Agelos Georgakopoulos

It is shown that if a planar graph admits no non-constant bounded harmonic functions then the trajectories of two independent simple random walks intersect almost surely.