The Liouville and the intersection properties are equivalent for planar graphs

Abstract

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.

4 pages, 1 figure