Abstract:SIAM Journal on Computing, Ahead of Print. The random geometric graph model [math] is a distribution over graphs in which the edges capture a latent geometry. To sample [math], we identify each of our [math] vertices with an independently and uniformly sampled vector from the [math]-dimensional unit sphere [math], and we connect pairs of vertices whose vectors are "sufficiently close," such that the marginal probability of an edge is [math]. Because of the underlying geometry, this model is natural for applications in data science and beyond. We investigate the problem of testing for this latent geometry, or, in other words, distinguishing an Erdős–Rényi graph [math] from a random geometric graph [math]. It is not too difficult to show that if [math] while [math] is held fixed, the two distributions become indistinguishable; we wish to understand how fast [math] must grow as a function of [math] for indistinguishability to occur. When [math] for constant [math], we prove that if [math], the total variation distance between the two distributions is close to 0; this improves upon the best previous bound of Brennan, Bresler, and Nagaraj (2020), which required [math], and further our result is nearly tight, resolving a conjecture of Bubeck, Ding, Eldan, and Rácz (2016) up to logarithmic factors. We also obtain improved upper bounds on the statistical indistinguishability thresholds in [math] for the full range of [math] satisfying [math], improving upon the previous bounds by polynomial factors. Our analysis uses the belief propagation algorithm to characterize the distributions of (subsets of) the random vectors conditioned on producing a particular graph. In this sense, our analysis is connected to the "cavity method" from statistical physics. To analyze this process, we rely on novel sharp estimates for the area of the intersection of a random sphere cap with an arbitrary subset of [math], which we prove using optimal transport maps and entropy-transport inequalities on the unit sphere. We believe these techniques may be of independent interest.

Reappraising the distribution of the number of edge crossings of graphs on a sphere

Edge crossings in random linear arrangements

Fast calculation of the variance of edge crossings in random arrangements

Central limit theorem for crossings in randomly embedded graphs

The sum of edge lengths in random linear arrangements

Generating Probability Distributions on Intervals and Spheres with Application to Finite Element Method.

Testing Thresholds for High-Dimensional Sparse Random Geometric Graphs

Stationary distribution of a two-dimensional SRBM: geometric views and boundary measures

A note on the 2-colored rectilinear crossing number of random point sets in the unit square

Quantitative Russo-Seymour-Welsh for random walk on random graphs and decorrelation of UST

Scale-invariant random geometry from mating of trees: a numerical study

Walking on Spheres and Talking to Neighbors: Variance Reduction for Laplace's Equation

Random walk on sphere packings and Delaunay triangulations in arbitrary dimension

Fractional and scaled Brownian motion on the sphere: The effects of long-time correlations on navigation strategies

Renormalization of crossing probabilities in the planar random-cluster model

The number of minima in random landscapes generated by constrained random walk and L'evy flights: universal properties

Distributions of Angles in Random Packing on Spheres

The angular nature of road networks

The number of minima in random landscapes generated by constrained random walk and Lévy flights: universal properties

The most uniform distribution of points on the sphere