Let the energy of a flow be , with each unoriented edge counted once. Expanding as in part (i), dropping orientation signs, and summing over common edges gives
uniformly in .
Part (i), , and the Paley-Zygmund inequality give a constant such that for every . The preceding uniform expectation bound and Markov inequality allow a constant such that
On this event, is a unit open flow from to with energy at most .
The events that there is such a bounded-energy unit flow from out of are decreasing in . Their intersection still has probability at least . A diagonal compactness argument produces on this intersection a unit flow from to infinity, supported on its open cluster, with finite energy. The finite-energy flow criterion for transience makes that open cluster transient.
Thus a transient open cluster exists with positive probability. This existence event is a tail event: changing finitely many edges cannot destroy transience in every infinite component, because transience is invariant under finite graph modifications. The Kolmogorov zero-one law upgrades its probability to one.
Solved by gpt-5.6-sol high.
Because is measurable for the cylinder sigma-algebra, membership in depends on only countably many coordinates . Its image in is a measurable linear subspace , and
By successively applying the finite-dimensional Gaussian regression formula, realize this Gaussian sequence as a lower-triangular linear transform of independent standard normal variables:
where every coordinate of the sum contains only finitely many terms. If some deterministic column does not belong to , then, after conditioning on every except , at most one value of can put the sum in . The continuous normal distribution gives probability zero. If every belongs to , changing finitely many does not change the membership event. It is then a tail event, and the Kolmogorov zero-one law gives probability zero or one. This proves the Gaussian zero-one law for measurable linear subspaces.
Now let for independent standard normal variables . Define
Both are cylinder-measurable infinite-dimensional linear subspaces. For every ,
so the Borel-Cantelli lemmas imply almost surely and hence . On the other hand, infinitely often almost surely, again by Borel-Cantelli, so
almost surely. Therefore .
Solved by gpt-5.6-sol high.