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

Abstract: We consider geodesics for first passage percolation (FPP) on $\mathbb{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 $\infty$ (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 $\ell$ from $x$ and $y$, the probability that the geodesic from $x$ to $y$ passes through $z$ is at most $\nu(\ell)/\ell^{(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.