Lamplighter graphs do not admit harmonic functions of finite energy

Abstract

We prove that a lamplighter graph of a locally finite graph over a finite graph does not admit a non-constant harmonic function of finite Dirichlet energy.