Harmonic maximum principle on a finite graph

ID: harmonic-maximum-principle-on-a-finite-graph

A real function on a finite connected graph satisfying everywhere is constant. At a maximum graph vertex, the identity forces every graph neighbour to have the same maximum. Connectedness propagates it to every graph vertex. This proves uniqueness of voltage up to an additive constant, and identifies sums of oppositely directed occupation voltages.

New to topics? Read the docs here!