 Solution

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

Solved by gpt-5.6-sol high.