Single pass spectral sparsification in dynamic streams

M Kapralov, YT Lee, CN Musco, CP Musco… - SIAM Journal on …, 2017 - SIAM
SIAM Journal on Computing, 2017SIAM
We present the first single pass algorithm for computing spectral sparsifiers for graphs in the
dynamic semi-streaming model. Given a single pass over a stream containing insertions and
deletions of edges to a graph G, our algorithm maintains a randomized linear sketch of the
incidence matrix of G into dimension O(1ϵ^2npolylog(n)). Using this sketch, at any point, the
algorithm can output a (1±ϵ) spectral sparsifier for G with high probability. While
O(1ϵ^2npolylog(n)) space algorithms are known for computing cut sparsifiers in dynamic …
We present the first single pass algorithm for computing spectral sparsifiers for graphs in the dynamic semi-streaming model. Given a single pass over a stream containing insertions and deletions of edges to a graph , our algorithm maintains a randomized linear sketch of the incidence matrix of into dimension . Using this sketch, at any point, the algorithm can output a spectral sparsifier for with high probability. While space algorithms are known for computing cut sparsifiers in dynamic streams [K. J. Ahn, S. Guha, and A. McGregor, in Proceedings of the 31st ACM Symposium on Principles of Database Systems, 2012, pp. 5--14; A. Goel, M. Kapralov, and I. Post, \hrefhttp://arXiv.org/abs/1203.4900 arXiv:1203.4900, 2002] and spectral sparsifiers in insertion-only streams [J. A. Kelner and A. Levin, Theory Comput. Syst., 53 (2013), pp. 243--262], prior to our work, the best known single pass algorithm for maintaining spectral sparsifiers in dynamic streams required sketches of dimension [K. J. Ahn, S. Guha, and A. McGregor, in Proceedings of the 16th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, 2013, pp. 1--10]. To achieve our result, we show that using a coarse sparsifier for and a linear sketch of 's incidence matrix, it is possible to sample edges by effective resistance, obtaining a spectral sparsifier of arbitrary precision. Sampling from the sketch requires a novel application of sparse recovery, a natural extension of the methods used for cut sparsifiers in [K. J. Ahn, S. Guha, and A. McGregor, in Proceedings of the 31st ACM Symposium on Principles of Database Systems, 2012, pp. 5--14]. Recent work on row sampling for matrix approximation gives a recursive approach for obtaining the required coarse sparsifiers [G. L. Miller and R. Peng, ŭlhttp://arXiv.org/abs/1211.2713v1, 2012]. Under certain restrictions, our approach also extends to the problem of maintaining a spectral approximation for a general matrix given a stream of updates to rows in .
Society for Industrial and Applied Mathematics