Lower Bounds for Approximating Graph Parameters via Communication Complexity

In a celebrated work, Blais, Brody, and Matulef developed a technique for proving property testing lower bounds via reductions from communication complexity. Their work focused on testing properties of functions, and yielded new lower bounds as well as simplified analyses of known lower bounds. Here, we take a further step in generalizing the methodology of Blais et al. to analyze the query complexity of graph parameter estimation problems. In particular, our technique decouples the lower bound arguments from the representation of the graph, allowing it to work with any query type. We illustrate our technique by providing new simpler proofs of previously known tight lower bounds for the query complexity of several graph problems: estimating the number of edges in a graph, sampling edges from an almost-uniform distribution, estimating the number of triangles (and more generally, $r$-cliques) in a graph, and estimating the moments of the degree distribution of a graph. We also prove new lower bounds for estimating the edge connectivity of a graph and estimating the number of instances of any fixed subgraph in a graph. We show that the lower bounds for estimating the number of triangles and edge connectivity also hold in a strictly stronger computational model that allows access to uniformly random edge samples.

[1]  Dana Ron,et al.  Approximately Counting Triangles in Sublinear Time , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

[2]  Noga Alon,et al.  Testing triangle-freeness in general graphs , 2006, SODA '06.

[3]  Dana Ron,et al.  Property Testing in Bounded Degree Graphs , 2002, STOC '97.

[4]  Ziv Bar-Yossef,et al.  An information statistics approach to data stream and communication complexity , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[5]  Janos Simon,et al.  Probabilistic Communication Complexity , 1986, J. Comput. Syst. Sci..

[6]  Andrew Chi-Chih Yao,et al.  Some complexity questions related to distributive computing(Preliminary Report) , 1979, STOC.

[7]  Dana Ron,et al.  Testing the diameter of graphs , 1999, RANDOM-APPROX.

[8]  Clément L. Canonne,et al.  Distribution Testing Lower Bounds via Reductions from Communication Complexity , 2017, Computational Complexity Conference.

[9]  Dana Ron,et al.  Sublinear Time Estimation of Degree Distribution Moments: The Degeneracy Connection , 2016, ICALP.

[10]  Alexander A. Razborov,et al.  On the Distributional Complexity of Disjointness , 1992, Theor. Comput. Sci..

[11]  Dana Ron,et al.  Tight Bounds for Testing Bipartiteness in General Graphs , 2004, RANDOM-APPROX.

[12]  Joshua Brody,et al.  Property Testing Lower Bounds via Communication Complexity , 2011, computational complexity.

[13]  L. Moser,et al.  AN EXTREMAL PROBLEM IN GRAPH THEORY , 2001 .

[14]  Dana Ron,et al.  On approximating the number of k-cliques in sublinear time , 2017, STOC.

[15]  Noga Alon,et al.  The space complexity of approximating the frequency moments , 1996, STOC '96.

[16]  Ronitt Rubinfeld,et al.  Sublinear-Time Algorithms for Counting Star Subgraphs with Applications to Join Selectivity Estimation , 2016, ArXiv.

[17]  Rafail Ostrovsky,et al.  A Stable Marriage Requires Communication , 2014, SODA.

[18]  Bala Kalyanasundaram,et al.  The Probabilistic Communication Complexity of Set Intersection , 1992, SIAM J. Discret. Math..

[19]  P. Erdös On an extremal problem in graph theory , 1970 .

[20]  Dana Ron,et al.  A pr 2 01 6 Sublinear Time Estimation of Degree Distribution Moments : The Arboricity Connection ( Full Version ) Talya Eden , 2016 .

[21]  Uriel Feige,et al.  On sums of independent random variables with unbounded variance, and estimating the average degree in a graph , 2004, STOC '04.

[22]  Bala Kalyanasundaram,et al.  Communication Complexity and Lower Bounds for Sequential Computation , 1992, Informatik.

[23]  Oded Goldreich On the Communication Complexity Methodology for Proving Lower Bounds on the Query Complexity of Property Testing , 2013, Electron. Colloquium Comput. Complex..

[24]  Uriel Feige,et al.  On Sums of Independent Random Variables with Unbounded Variance and Estimating the Average Degree in a Graph , 2006, SIAM J. Comput..

[25]  Will Rosenbaum,et al.  On Sampling Edges Almost Uniformly , 2017, SOSA.

[26]  Dana Ron,et al.  Approximating average parameters of graphs , 2008, Random Struct. Algorithms.

[27]  Dana Ron,et al.  Property testing and its connection to learning and approximation , 1998, JACM.

[28]  C. Nash-Williams Decomposition of Finite Graphs Into Forests , 1964 .

[29]  Dana Ron,et al.  Counting stars and other small subgraphs in sublinear time , 2010, SODA '10.

[30]  Avi Wigderson,et al.  Monotone circuits for connectivity require super-logarithmic depth , 1990, STOC '88.

[31]  A. Razborov Communication Complexity , 2011 .

[32]  Amit Chakrabarti,et al.  Towards Tighter Space Bounds for Counting Triangles and Other Substructures in Graph Streams , 2017, STACS.

[33]  Gregory Valiant,et al.  Memory, Communication, and Statistical Queries , 2016, COLT.

[34]  C. Nash-Williams Edge-disjoint spanning trees of finite graphs , 1961 .

[35]  Rajeev Motwani,et al.  Estimating Sum by Weighted Sampling , 2007, ICALP.