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.
Articles by others on the same topic
There are currently no matching articles.