Approximating geodesics via random points

Given a 'cost' functional F on paths γ in a domain D ⊂ R^d, in the form F(γ) = ^R₀¹ f(γ(t), γ' (t))dt, it is of interest to approximate its minimum cost and geodesic paths. Let X₁,..., Xn be points drawn independently from D according to a distribution with a density. Form a random geometric graph on the points where X_i and X_j are connected when 0 < |X_i − X_j| < ε, and the length scale ε = εn vanishes at a suitable rate. For a general class of functionals F, associated to Finsler and other distances on D, using a probabilistic form of Gamma convergence, we show that the minimum costs and geodesic paths, with respect to types of approximating discrete 'cost' functionals, built from the random geometric graph, converge almost surely in various senses to those corresponding to the continuum cost F, as the number of sample points diverges. In particular, the geodesic path convergence shown appears to be among the first results of its kind.

60D05, 58E10, 62-07, 49J55, 49J45, 53C22, 05C82