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.

Sharp one-point estimates and Minkowski content for the scaling limit of three-dimensional loop-erased random walk

Convergence of three-dimensional loop-erased random walk in the natural parametrization

Capacity of loop-erased random walk

Growth exponent for loop-erased random walk in three dimensions

Sharp asymptotics for finite point-to-plane connections in supercritical bond percolation in dimension at least three

Limiting Spectra of inhomogeneous random graphs

Scaling limits and universality: Critical percolation on weighted graphs converging to an $L^3$ graphon

Sharp estimates for distinguished random walks on affine buildings of type Ar

Sharp estimates and inequalities on Riemannian manifolds with Euclidean volume growth

Sharp detection of low-dimensional structure in probability measures via dimensional logarithmic Sobolev inequalities

Scaling limit for line ensembles of random walks with geometric area tilts

Scaling limit of the occupation measure of random walk cut points

Testing Thresholds for High-Dimensional Sparse Random Geometric Graphs

Sharp bounds for ordinary and signless Laplacian spectral radii of uniform hypergraphs

Scaling limits for random walks on long range percolation clusters

Annealed transition density of simple random walk on a high-dimensional loop-erased random walk

Empirical measures and random walks on compact spaces in the quadratic Wasserstein metric

A Ray-Knight theorem for $\nablaϕ$ interface models and scaling limits

A Ray–Knight theorem for interface models and scaling limits

Integrability of Conformal Loop Ensemble: Imaginary DOZZ Formula and Beyond

Sharp maximal function estimates for Hilbert transforms along monomial curves in higher dimensions