Normal approximation for statistics of randomly weighted complexes

Shu Kanazawa,Khanh Duy Trinh,D. Yogeshwaran
2024-07-17
Abstract:We prove normal approximation bounds for statistics of randomly weighted (simplicial) complexes. In particular, we consider the complete $d$-dimensional complex on $n$ vertices with $d$-simplices equipped with i.i.d. weights. Our normal approximation bounds are quantified in terms of stabilization of difference operators, i.e., the effect on the statistic under addition/deletion of simplices. Our proof is based on Chatterjee's normal approximation bound and is a higher-dimensional analogue of the work of Cao on sparse Erdős-Rényi random graphs but our bounds are more in the spirit of `quantitative two-scale stabilization' bounds by Lachièze-Rey, Peccati, and Yang. As applications, we prove a CLT for nearest face-weights in randomly weighted $d$-complexes and give a normal approximation bound for local statistics of random $d$-complexes.
Probability
What problem does this paper attempt to address?
This paper attempts to address the problem of normal approximation of statistics on randomly weighted simplicial complexes. Specifically, the authors consider the case where each \(d\)-simplex in a complete \(d\)-dimensional complex is assigned independently and identically distributed weights, and they quantify the approximation of these statistics to the normal distribution through the effect of stabilization difference operators. The authors prove the Central Limit Theorem (CLT) for certain specific statistics on randomly weighted complexes, such as the statistics of nearest neighbor face weights. Additionally, their method is also applicable to the normal approximation of local statistics of random \(d\)-complexes. This work is a high-dimensional extension of similar problems studied on sparse random graphs, such as Erdős–Rényi random graphs. Compared to previous work, the method proposed in this paper avoids directly quantifying the rate at which random complexes converge to acyclic complexes. Instead, it achieves the goal by comparing difference operators at different scales, which is more practical in computations.