arrow
Return

Online Algorithms for Spectral Hypergraph Sparsification

delete2025-12-01
delete0
PRE
AI
T
Tasuku Soma *
K
Kam Chuen Tung
Y
Yuichi Yoshida
DOI:10.1007/s10107-025-02315-zdelete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
We provide the first online algorithm for spectral hypergraph sparsification. In the online setting, hyperedges with positive weights are arriving in a stream, and upon the arrival of each hyperedge, we must irrevocably decide whether or not to include it in the sparsifier. Our algorithm produces an (epsilon,delta)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\varepsilon , \delta )$$\end{document}-spectral sparsifier with multiplicative error epsilon\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon $$\end{document} and additive error delta\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\delta $$\end{document} that has O(epsilon-2nlognlogrlog(1+epsilon W/delta n))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(\varepsilon <^>{-2} n \log n \log r \log (1 + \varepsilon W/\delta n))$$\end{document} hyperedges with high probability, where epsilon,delta is an element of(0,1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon , \delta \in (0,1)$$\end{document}, n is the number of nodes, r is the rank of the hypergraph, and W is the sum of edge weights. The space complexity of our algorithm is O(n2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(n<^>2)$$\end{document}, while previous algorithms required space complexity Omega(m)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varOmega (m)$$\end{document}, where m is the number of hyperedges. This provides an exponential improvement in the space complexity since m can be exponential in n.
Keywords:
Online Algorithms
Hypergraph Sparsification
Spectral Algorithms
Generic Chaining.

Journal

M
Mathematical Programming
IF:
2.5
Papers:
85
Citations:
0

Organization

I
institute of statistical mathematics (ism) - japan
Scholars:
347
Papers: 320
Citations: 0
R
research organization of information & systems (rois)
Scholars:
2.8K
Papers: 3.2K
Citations: 2
U
University of Waterloo
Scholars:
2.2W
Papers: 2.3W
Citations: 3.3W
researcher View more organizations