Planar first-passage geometry and the absence of bigeodesics

Proves that planar first-passage percolation has no doubly infinite geodesic for iid nonnegative nonatomic edge weights when the minimum of four weights has finite second moment. For exponential weights, the limit shape is strictly convex with C¹ boundary. Differentiability also holds for every Gamma law with positive shape and rate.