Abstract:Graphon estimation has been one of the most fundamental problems in network analysis and has received considerable attention in the past decade. From the statistical perspective, the minimax error rate of graphon estimation has been established by Gao et al (2015) for both stochastic block model and nonparametric graphon estimation. The statistical optimal estimators are based on constrained least squares and have computational complexity exponential in the dimension. From the computational perspective, the best-known polynomial-time estimator is based universal singular value thresholding, but it can only achieve a much slower estimation error rate than the minimax one. The computational optimality of the USVT or the existence of a computational barrier in graphon estimation has been a long-standing open problem. In this work, we provide rigorous evidence for the computational barrier in graphon estimation via low-degree polynomials. Specifically, in SBM graphon estimation, we show that for low-degree polynomial estimators, their estimation error rates cannot be significantly better than that of the USVT under a wide range of parameter regimes and in nonparametric graphon estimation, we show low-degree polynomial estimators achieve estimation error rates strictly slower than the minimax rate. Our results are proved based on the recent development of low-degree polynomials by Schramm and Wein (2022), while we overcome a few key challenges in applying it to the general graphon estimation problem. By leveraging our main results, we also provide a computational lower bound on the clustering error for community detection in SBM with a growing number of communities and this yields a new piece of evidence for the conjectured Kesten-Stigum threshold for efficient community recovery. Finally, we extend our computational lower bounds to sparse graphon estimation and biclustering.

A quasi-optimal lower bound for skew polynomial multiplication

Exact Parameterized Multilinear Monomial Counting via k-Layer Subset Convolution and k-Disjoint Sum.

An Upper Bound on the Complexity of Multiplication of Polynomials Modulo a Power of an Irreducible Polynomial

Strong bounds for skew corner-free sets

Bounds on bilinear forms with Kloosterman sums

Grothendieck inequalities characterize converses to the polynomial method

Zeros with multiplicity, Hasse derivatives and linear factors of general skew polynomials

On converses to the polynomial method

Oracle Tractability of Skew Bisubmodular Functions

Computational Lower Bounds for Graphon Estimation via Low-degree Polynomials

A General Analysis Framework of Lower Complexity Bounds for Finite-Sum Optimization

Communication Lower Bounds and Optimal Algorithms for Symmetric Matrix Computations

New Bounds on Quotient Polynomials with Applications to Exact Divisibility and Divisibility Testing of Sparse Polynomials

Asymptotic Bound for Multiplication Complexity in the Extensions of Small Finite Fields

Bilinear Kloosterman sums in function fields and the distribution of irreducible polynomials

Computing skew left braces of small orders

Multiplicity-free skew Schur polynomials

Lower Bounds for Weighted Chebyshev and Orthogonal Polynomials

Parallel Integer Polynomial Multiplication

Theory and applications of linearized multivariate skew polynomials

Lower Bounds for Kernelizations.