Compare simple random walk with the independent sampler , whose spectral gap is one. Both stationary distributions are uniform. Route each transition of the sampler along a uniformly selected shortest path. For a directed graph edge ,
Part i therefore bounds the congestion by
Part a, equivalently the Canonical paths comparison theorem, gives
For reversible chains with stationary laws , assign to every directed -edge a path of -edges. If
and , the Canonical paths comparison theorem gives , with equivalent conventions absorbing into the congestion.