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.

Geometric Computations on Indecisive and Uncertain Points

Uncertain random geometric programming problems

Stochastic K-Center and J-Flat-center Problems

Approximating optimization problems in graphs with locational uncertainty

Ε-Kernel Coresets for Stochastic Points

Method for Measurement Uncertainty Evaluation of Cylindricity Error Based on Good Point Set

Ill-Posed Configurations in Random and Experimental Data Points Collection

Computable error bounds for quasi-Monte Carlo using points with non-negative local discrepancy

Approximating the Expected Values for Combinatorial Optimization Problems over Stochastic Points.

Distributionally Robust Optimization with Data Geometry

Connectivity with Uncertainty Regions Given as Line Segments

A Geometric Method for Improved Uncertainty Estimation in Real-time

Uncertainty Visualization of Critical Points of 2D Scalar Fields for Parametric and Nonparametric Probabilistic Models

Calculating Radius of Robust Feasibility of Uncertain Linear Conic Programs via Semidefinite Programs

Efficient Statistics With Unknown Truncation, Polynomial Time Algorithms, Beyond Gaussians

Algorithms and a Library for the Exact Computation of the Cumulative Distribution Function of the Euclidean Distance Between a Point and a Random Variable Uniformly Distributed in Disks, Balls, or Polygones and Application to Probabilistic Seismic Hazard Analysis

Testing Thresholds for High-Dimensional Sparse Random Geometric Graphs

-Kernel Coresets for Stochastic Points

Conformal Uncertainty Sets for Robust Optimization

Probabilistic feasibility guarantees for solution sets to uncertain variational inequalities