An Efficient Parallel Algorithm for Spectral Sparsification of Laplacian and SDDM Matrix Polynomials

preprint2016arXivOpen access

Abstract

For "large" class C\mathcal{C} of continuous probability density functions (p.d.f.), we demonstrate that for every w∈Cw\in\mathcal{C} there is mixture of discrete Binomial distributions (MDBD) with T≥Nϕw/δT\geq N\sqrt{ϕ_{w}/δ} distinct Binomial distributions B(⋅,N)B(\cdot,N) that δδ-approximates a discretized p.d.f. w^(i/N)≜w(i/N)/[∑ℓ=0Nw(ℓ/N)]\widehat{w}(i/N)\triangleq w(i/N)/[\sum_{\ell=0}^{N}w(\ell/N)] for all i∈[3:N−3]i\in[3:N-3], where ϕw≥max⁡x∈[0,1]∣w(x)∣ϕ_{w}\geq\max_{x\in[0,1]}|w(x)|. Also, we give two efficient parallel algorithms to find such MDBD. Moreover, we propose a sequential algorithm that on input MDBD with N=2kN=2^k for k∈N+k\in\mathbb{N}_{+} that induces a discretized p.d.f. ββ, B=D−MB=D-M that is either Laplacian or SDDM matrix and parameter ε∈(0,1)ε\in(0,1), outputs in O^(ε−2m+ε−4nT)\widehat{O}(ε^{-2}m + ε^{-4}nT) time a spectral sparsifier D−M^N≈εD−D∑i=0Nβi(D−1M)iD-\widehat{M}_{N} \approx_ε D-D\sum_{i=0}^{N}β_{i}(D^{-1} M)^i of a matrix-polynomial, where O^(⋅)\widehat{O}(\cdot) notation hides poly(log⁡n,log⁡N)\mathrm{poly}(\log n,\log N) factors. This improves the Cheng et al.'s [CCLPT15] algorithm whose run time is O^(ε−2mN2+NT)\widehat{O}(ε^{-2} m N^2 + NT). Furthermore, our algorithm is parallelizable and runs in work O^(ε−2m+ε−4nT)\widehat{O}(ε^{-2}m + ε^{-4}nT) and depth O(log⁡N⋅poly(log⁡n)+log⁡T)O(\log N\cdot\mathrm{poly}(\log n)+\log T). Our main algorithmic contribution is to propose the first efficient parallel algorithm that on input continuous p.d.f. w∈Cw\in\mathcal{C}, matrix B=D−MB=D-M as above, outputs a spectral sparsifier of matrix-polynomial whose coefficients approximate component-wise the discretized p.d.f. w^\widehat{w}. Our results yield the first efficient and parallel algorithm that runs in nearly linear work and poly-logarithmic depth and analyzes the long term behaviour of Markov chains in non-trivial settings. In addition, we strengthen the Spielman and Peng's [PS14] parallel SDD solver.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.