Geodesics, bigeodesics, and coalescence in first passage percolation in general dimension

We consider geodesics for first passage percolation (FPP) on Z(d) with iid passage times. As has been common in the literature, we assume that the FPP system satisfies certain basic properties conjectured to be true, and derive consequences from these properties. The assumptions are roughly as follows: (i) the fluctuation scale sigma(r) of the passage time on scale r grows approximately as a positive power r(chi), in the sense that two natural definitions of sigma(r) and chi yield the same value chi, and (ii) the limit shape boundary has curvature uniformly bounded away from 0 and infinity (a requirement we can sometimes limit to a neighborhood of some fixed direction.) The main a.s. consequences derived are the following, with nu denoting a subpolynomial function and xi = (1 + chi)=2 the transverse wandering exponent: (a) for one-ended geodesic rays with a given asymptotic direction theta, starting in a natural halfspace H, for the hyperplane at distance r from H, the density of "entry points" where some geodesic ray first crosses the hyperplane is at most nu(r)/r((d-1)xi), (b) the system has no bigeodesics, i.e. two-ended infinite geodesics, (c) given two sites x, y, and a third site z at distance at least l from x and y, the probability that the geodesic from x to y passes through z is at most nu(l)=l((d-1)xi), and (d) in d = 2, the probability that the geodesic rays in a given direction from two sites have not coalesced after distance r decays like r(-xi) to within a subpolynomial factor. Our entry-point density bound compares to a natural conjecture of c/r((d-1)xi), corresponding to a spacing of order r(xi) between entry points, which is the conjectured scale of the transverse wandering.