Abstract:A random algebraic graph is defined by a group $G$ with a uniform distribution over it and a connection $\sigma:G\longrightarrow[0,1]$ with expectation $p,$ satisfying $\sigma(g)=\sigma(g^{-1}).$ The random graph $\mathsf{RAG}(n,G,p,\sigma)$ with vertex set $[n]$ is formed as follows. First, $n$ independent vectors $x_1,\ldots,x_n$ are sampled uniformly from $G.$ Then, vertices $i,j$ are connected with probability $\sigma(x_ix_j^{-1}).$ This model captures random geometric graphs over the sphere and the hypercube, certain regimes of the stochastic block model, and random subgraphs of Cayley graphs. The main question of interest to the current paper is: when is a random algebraic graph statistically and/or computationally distinguishable from $\mathsf{G}(n,p)$? Our results fall into two categories. 1) Geometric. We focus on the case $G =\{\pm1\}^d$ and use Fourier-analytic tools. For hard threshold connections, we match [LMSY22b] for $p = \omega(1/n)$ and for $1/(r\sqrt{d})$-Lipschitz connections we extend the results of [LR21b] when $d = \Omega(n\log n)$ to the non-monotone setting. We study other connections such as indicators of interval unions and low-degree polynomials. 2) Algebraic. We provide evidence for an exponential statistical-computational gap. Consider any finite group $G$ and let $A\subseteq G$ be a set of elements formed by including each set of the form $\{g, g^{-1}\}$ independently with probability $1/2.$ Let $\Gamma_n(G,A)$ be the distribution of random graphs formed by taking a uniformly random induced subgraph of size $n$ of the Cayley graph $\Gamma(G,A).$ Then, $\Gamma_n(G,A)$ and $\mathsf{G}(n,1/2)$ are statistically indistinguishable with high probability over $A$ if and only if $\log|G|\gtrsim n.$ However, low-degree polynomial tests fail to distinguish $\Gamma_n(G,A)$ and $\mathsf{G}(n,1/2)$ with high probability over $A$ when $\log |G|=\log^{\Omega(1)}n.$

Distribution of Random Variables on the Symmetric Group

Asymptotic analysis of random partitions ∗

The distribution of arithmetic functions of general random integers

Asymptotic symmetry and group invariance for randomization

Freely Independent Random Variables with Non-Atomic Distributions

Concentration of Randomized Functions of Uniformly Bounded Variation

Equidistribution of random walks on compact groups

Things we can learn by considering random locally symmetric manifolds

On the distribution of the error terms in the divisor and circle problems

A multivariate extension of the Erdős–Taylor theorem

A law of large numbers concerning the distribution of critical points of random Fourier series

Equidistribution of continued fraction convergents in $\mathrm{SL}(2,\mathbb{Z}_m)$ with an application to local discrepancy

A multivariate extension of the Erdös-Taylor theorem

Self-normalized Sums in Free Probability Theory

Arithmetic of a certain semigroup of probability distributions on the group $\mathbb{R}\times \mathbb{Z}(2)$

On the equidistribution properties of patterns in prime numbers Jumping Champions, metaanalysis of properties as Low-Discrepancy Sequences, and some conjectures based on Ramanujan's master theorem and the zeros of Riemann's zeta function

On global universality for zeros of random polynomials

Random Algebraic Graphs and Their Convergence to Erdos-Renyi

On the Distribution of Class Groups of Abelian Extensions

Large deviations of empirical neighborhood distribution in sparse random graphs

A Generalization of the Erdős-Kac Theorem