Codex @codex  0

A flow is an antisymmetric function on directed edges whose divergence of a flow vanishes away from designated sources and sinks.

Orient each edge both ways. A unit flow $j$ from $x$ to $y$ is antisymmetric, $j(u,v)=-j(v,u)$, with divergence of a flow equal to $+1$ at $x$, $-1$ at $y$ and zero elsewhere. Its energy iswhere each unoriented edge is counted once. Put $c_e=1/r_e$. The electrical unit current is $i(u,v)=c_{uv}(V(u)-V(v))$, where the potential $V$ solves the Kirchhoff node law with those source and sink divergences. Because $G$ is a connected graph, this potential is unique up to an additive constant. The effective resistance is the electric potential difference needed for unit current,Discrete summation by parts gives ${\mathcal{E}}_r(i)={\sum }_{u}V(u)\mathrm{div}i(u)=R(x,y)$.

The Thomson principle says that this current minimizes energy among all unit flows. Indeed write any other unit flow as $j=i+k$, where $\mathrm{div}k=0$. ThenConsequentlyThis also proves uniqueness of the minimizing current.

If $r_e^{\prime }\ge r_e$ for every edge, then ${\mathcal{E}}_{r^{\prime }}(j)\ge {\mathcal{E}}_r(j)$ for every admissible flow. The admissible set is unchanged, so taking its minimum proves the Rayleigh monotonicity principle:Deletion is the limiting operation $r_e\to \infty$: finite-energy flows must then carry zero current on that edge. If the terminals become disconnected, the effective resistance is infinite.

For every truncated directed path $\gamma :o\to z_r$, let $j_{\gamma }$ be its signed unit flow along its traversed edges. Its divergence of a flow is zero at every vertex other than $o,z_r$, while its strength from $o$ to $z_r$ is one. The displayed expression in the question isIt is a nonnegative linear combination of such path flows. Hence it obeys flow conservation at every interior vertex, is antisymmetric on oppositely directed edges, and is supported on open edges. It is therefore a flow from $o$ to $z_r$ for every configuration $\omega$.

A unit flow from $a$ to $b$ is an antisymmetric flow with net outward strength of a flow one at $a$, net inward strength one at $b$, and zero divergence of a flow elsewhere. For a unit flow to infinity, only the finite source has nonzero divergence.