Table of Contents
Fetching ...

Spectra of high-dimensional sparse random geometric graphs

Yifan Cao, Yizhe Zhu

TL;DR

This work analyzes the spectrum of high-dimensional, sparse random geometric graphs $\mathcal{G}(n,d,p)$ formed by thresholding inner products of random sphere points. It proves a universal semicircle law for the centered/adaptively scaled adjacency matrix in the regime $d=\omega(np\log^2(1/p))$, $np\to\infty$, and establishes a matching limiting spectrum $\nu_{\alpha}$ for $p=\alpha/n$ when $d=\omega(\log^2 n)$, showing universality with Erdős–Rényi graphs. The authors develop a novel moment method with a recursive decomposition based on block-cut trees and ear decompositions to control non-tree closed walks, enabling near-optimal second-eigenvalue bounds $\lambda(A)=O(\log^4 n\sqrt{np}+\tau np)$ and improving sparsity/dimensional thresholds for spontaneous synchronization of the Kuramoto model on these graphs. They also provide an application to synchronization, removing prior technical constraints and tightening parameter regimes. Overall, the paper advances understanding of how geometry-induced dependencies influence global spectral behavior and dynamic processes on random graphs in high dimensions.

Abstract

We analyze the spectral properties of the high-dimensional random geometric graph $\mathcal G(n, d, p)$, formed by sampling $n$ i.i.d vectors $\{v_i\}_{i=1}^{n}$ uniformly on a $d$-dimensional unit sphere and connecting each pair $\{i,j\}$ whenever $\langle v_i, v_j \rangle \geq τ$ so that $p=\mathbb P(\langle v_i,v_j\rangle \geq τ)$. This model defines a nonlinear random matrix ensemble with dependent entries. We show that if $d =ω( np\log^{2}(1/p))$ and $np\to\infty$, the limiting spectral distribution of the normalized adjacency matrix $\frac{A}{\sqrt{np(1-p)}}$ is the semicircle law. To our knowledge, this is the first such result for $G(n, d, p)$ in the sparse regime. In the constant sparsity case $p=α/n$, we further show that if $d=ω(\log^2(n))$ the limiting spectral distribution of $A$ in $G(n,α/n)$ coincides with that of the Erdős-Rényi graph $\mathcal G(n,α/n)$. Our approach combines the classical moment method in random matrix theory with a novel recursive decomposition of closed-walk graphs, leveraging block-cut trees and ear decompositions, to control the moments of the empirical spectral distribution. A refined high trace analysis further yields a near-optimal bound on the second eigenvalue when $np=Ω(\log^4 (n))$, removing technical conditions previously imposed in (Liu et al. 2023). As an application, we demonstrate that this improved eigenvalue bound sharpens the parameter requirements on $d$ and $p$ for spontaneous synchronization on random geometric graphs in (Abdalla et al. 2024) under the homogeneous Kuramoto model.

Spectra of high-dimensional sparse random geometric graphs

TL;DR

This work analyzes the spectrum of high-dimensional, sparse random geometric graphs formed by thresholding inner products of random sphere points. It proves a universal semicircle law for the centered/adaptively scaled adjacency matrix in the regime , , and establishes a matching limiting spectrum for when , showing universality with Erdős–Rényi graphs. The authors develop a novel moment method with a recursive decomposition based on block-cut trees and ear decompositions to control non-tree closed walks, enabling near-optimal second-eigenvalue bounds and improving sparsity/dimensional thresholds for spontaneous synchronization of the Kuramoto model on these graphs. They also provide an application to synchronization, removing prior technical constraints and tightening parameter regimes. Overall, the paper advances understanding of how geometry-induced dependencies influence global spectral behavior and dynamic processes on random graphs in high dimensions.

Abstract

We analyze the spectral properties of the high-dimensional random geometric graph , formed by sampling i.i.d vectors uniformly on a -dimensional unit sphere and connecting each pair whenever so that . This model defines a nonlinear random matrix ensemble with dependent entries. We show that if and , the limiting spectral distribution of the normalized adjacency matrix is the semicircle law. To our knowledge, this is the first such result for in the sparse regime. In the constant sparsity case , we further show that if the limiting spectral distribution of in coincides with that of the Erdős-Rényi graph . Our approach combines the classical moment method in random matrix theory with a novel recursive decomposition of closed-walk graphs, leveraging block-cut trees and ear decompositions, to control the moments of the empirical spectral distribution. A refined high trace analysis further yields a near-optimal bound on the second eigenvalue when , removing technical conditions previously imposed in (Liu et al. 2023). As an application, we demonstrate that this improved eigenvalue bound sharpens the parameter requirements on and for spontaneous synchronization on random geometric graphs in (Abdalla et al. 2024) under the homogeneous Kuramoto model.

Paper Structure

This paper contains 29 sections, 14 theorems, 95 equations, 3 figures, 1 algorithm.

Key Result

Theorem 2.1

Let $\mathbf{A}$ be the adjacency matrix of a random graph $G\sim \mathcal{G}(n,d,p)$. Assume $p\in (0,p_0]$ for any constant $p_0<1/2$, $np\to\infty$ and $d=\omega( np \log^2(1/p))$. Then the empirical spectral distribution of $\frac{\mathbf{A}}{\sqrt{np(1-p)}}$ converges weakly to the semicircle l

Figures (3)

  • Figure 1: Empirical spectral distributions of the Erdős-Rényi graph $\mathcal{G}(2500, 0.01)$ (left) and the geometric graph $\mathcal{G}(2500, 300, 0.01)$ (right).
  • Figure 3: Ear decomposition of a 2-edge-connected graph with 11 vertices, where $R_1=\{(1,2) (2,3),(3,4), (4,1)\}$, $R_2=\{ (2,5), (5,6), (6,7), (7,4) \}$, $R_3=\{(4,11), (11,7)\}$, and $R_4=\{(5,8),(8,9), (9,10),(10,7)\}$
  • Figure 4: In this example, the graph contains one bridge component (shown in red), $(8,2,1,5)$, and two 2-edge-connected components (shown in black): $(8,9,10)$ and $(2,3,4,6,7)$.

Theorems & Definitions (32)

  • Theorem 2.1: Semicircle law
  • Theorem 2.2: Bounded expected degree
  • Theorem 2.3: Second largest eigenvalue
  • Remark 2.4: Relaxing the conditions in liu2023local
  • Definition 2.5
  • Theorem 2.6: Spontaneous synchronization
  • Remark 2.7: Comparison with abdalla2024guarantees
  • Definition 3.1: Empirical spectral distribution
  • Lemma 3.2: Lemma B.3 in bai2010spectral
  • Definition 3.3: $k$-edge-connected
  • ...and 22 more