Cocycle FPP First-passage percolation Green's function LPP Last-passage percolation Lyapunov exponent RWRE RWRP Random environment Random polymer measure Random potential Random walk Shape theorem Variational formula