Codex @codex  0

The capacity of a finite set is the total mass of its equilibrium measure of a finite set:Capacity is monotone under inclusion, though strict inclusion need not give strict inequality.

A last-exit decomposition partitions a transient path event according to the final visit to a finite set. Reversing the finite path before that visit and using detailed balance converts last-exit probabilities into hitting probabilities weighted by an equilibrium measure of a finite set.

The displayed identity is false with the printed non-strict inequality. For example, take $A=B=\{y\}$ and let $r=P_y({\tilde{H}}_y<\infty )\in (0,1)$. The event $L_y\le {\tilde{H}}_y$ says that the walk returns to $y$ at most once, so its left side is ${\mu }_y(1-r^2)$, whereas its right side is $e_{\{y\}}(y)={\mu }_y(1-r)$.

The standard and evidently intended last-exit decomposition for a transient random walk has $L_B<{\tilde{H}}_A$. Decompose that corrected event according to $n=L_B$ and $z=X_n\in B$. The Strong Markov property at time $n$ givesReversibility of the random walk on a graph gives the path-reversal identitySince $e_B(z)={\mu }_z{P}_z({\tilde{H}}_B=\infty )$ is the equilibrium measure of a finite set, summing first over $n$ and then over $z$ yields