Jul 2026· ACM Symposium on Parallelism in Algorithms and Architectures· 0 citations· 23 references
Computer Science
Abstract
We present a new solver-free parallel spectral sparsification algorithm for weighted graphs that relies only on parallel low-diameter decompositions and independent sampling. This yields the first algorithmic improvement over prior, solver-free parallel sparsification approaches since Koutis (2014) and, for the first time for a practical algorithm, eliminates any dependence on the target approximation accuracy ε in the algorithm's work and depth. Our algorithm works by sub-sampling edges according to their robust connectivity, as introduced by Kapralov and Panigrahy (2012). We show how to estimate the robust connectivities of G in an extremely simple manner: we create multiple random sub graphs Gp, where each edge in G is sub-sampled independently with probability pe = min {we · p, 1}. Then, we run a Low Diameter Decomposition in each of the graphs. If u and v often share a cluster in the LDDs, then this provides us with an upper bound on the robust connectivity of the edge e = (u,v). Carefully invoking this procedure for O (log n) different values of the probabilities p then allows us to obtain sufficiently good estimates for sub-sampling. We additionally complement the theory with an experimental evaluation demonstrating strong performance across relevant graphs and sparsity regimes.
The rank-independent theorem sharpens many later guarantees that inherit their sampling bounds by strengthening the independent STOC 2023 works of Lee and Jambulapati--Liu--Sidford by removing their rank dependence and answering Lee's open question on whether this loss is inherent.
This work proposes a simple and effective column-selective graph sampling algorithm based on a minimum inner product greedy selection rule, well-suited for large-scale graphs where the full Laplacian cannot be stored in memory.
A work-efficient parallel algorithm for expander decompositions whose main cut-finding procedure requires no flow computations, and which shows that a weak expander decomposition for any target expansion Φ can be extracted from a hierarchical congestion approximator in linear time.
Robin Münk· ACM Symposium on Parallelism...· 0 citations
Four mixed-integer linear programming formulations are proposed, including a compact flow-based model and a representatives model, and corresponding solution methods are designed, and the polytopes associated with the linear relaxation of the proposed formulations are compared.
Boyue Lin, Phablo F. S. Moura, Roel Leus· arXiv.org· 0 citations
This is the first $O(1)$-approximate algorithm for densest subgraph to break the $\Theta(\sqrt{\lg n})$ round-complexity barrier in the sub-linear MPC model and achieves the following round-approximation tradeoffs.