arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.36577

An Unconditional Space-Approximation Lower Bound for Semi-Streaming Matching

Yang P. Liu·Kheeran Naidu·Hoai-An Nguyen·Janani Sundaresan
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove the first unconditional lower bound tradeoff between the number of passes and the approximation factor of maximum matchings in the semi-streaming model. Specifically, we show that any algorithm that outputs an $(1-\varepsilon)$-approximation to maximum matching requires $Ω(\log(1/\varepsilon))$ passes for constant $\varepsilon \in (0,1)$. Prior to our result, such tradeoffs were proven only conditioned on a certain combinatorial assumption about the density of Ruzsa-Szemerédi graphs. The state-of-the-art unconditional lower bound rules out any approximation factor better than $(8/9)$ in two passes but leaves open the possibility of a $(1-\varepsilon)$-approximation for any $\varepsilon > 0$ even in three passes. We provide two different proofs of our result: the first proof uses the recent hierarchical-embedding framework of Assadi, Konrad, Naidu, and Sundaresan (STOC 2024) along with combinatorial constructions using Ruzsa-Szemerédi graphs. The second extends the two-level Ruzsa-Szemerédi hierarchy of Konrad and Naidu (SODA 2024) beyond two levels and proves the corresponding communication lower bound directly by induction, rather than through a reduction to Index.

Explore related subjects

cs.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yang P. Liu, Kheeran Naidu, Hoai-An Nguyen, Janani Sundaresan. 2026-10-27. An Unconditional Space-Approximation Lower Bound for Semi-Streaming Matching. https://arxiv.org/abs/2610.36577

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Faster Auction Algorithm for Weighted Matroid Intersection

We consider the weighted matroid intersection problem in the independence-oracle model. A sequence of works by Huang--Kakimura--Kamiyama~[SODA'16 \& Math. Program'19], Chekuri--Quanrud~[SODA'16], Quanrud~[ICALP'24], and Dudeja--Grilnberger~[IPCO'26] has developed efficient $(1-\varepsilon)$-approximation algorithms for this problem. We present a simple deterministic auction algorithm that, given two matroids on a common ground set of size $n$, computes a $(1-\varepsilon)$-approximate maximum-weight common independent set using $O(n \varepsilon^{-2} \log^2(n))$ independence-oracle queries. This is the first deterministic $(1-\varepsilon)$-approximation algorithm for the weighted matroid intersection problem whose query complexity is nearly linear in $n$ and polynomial in $1/\varepsilon$. Our algorithm builds on the auction algorithm for unweighted matroid intersection by Huang--Kobayashi~['26].

cs.DS↗
arXiv2026

Uniformity Testing for the Monomer-Dimer Model

We study uniformity testing for the monomer-dimer model on a known graph $G=(V,E)$. Given samples from an unknown distribution $D_w(M)\propto \prod_{e\in M} w_e$ over matchings $M$ of $G$, we ask whether $D_w$ is the uniform distribution over all matchings of $G$ or is $\varepsilon$-far from it in total variation distance. Our main result is that, for every maximum-degree bound $Δ$, uniformity can be tested with $\widetilde O_Δ(\sqrt m/\varepsilon^2)$ samples, where $m=|E|$. We complement this with an information-theoretic lower bound for general graphs: for every pair of parameters $n\le m\le n^2$, there are graphs with $Θ(n)$ vertices and $Θ(m)$ edges on which every tester requires $Ω(\sqrt m/\varepsilon^2)$ samples. Thus, for bounded-degree graph families with $m=Θ(n)$, testing uniformity over the space of matchings has $\widetilde Θ(\sqrt n/\varepsilon^2)$ sample complexity, in contrast with the $Θ(n/\varepsilon^2)$ samples needed to estimate $D_w$ in total variation distance.

cs.DS↗
arXiv2026

Single-Range-Cover Search on DAGs: Average-Case Analysis, Efficient Implementations, Privacy Guarantees

Extracting exact and complete information using range queries is not only time-inefficient, on average, but also susceptible to privacy breaches. As a remedy, Demertzis et al.~\cite{demertzis2016practical} (SIGMOD'16) introduced, in the context of searchable symmetric encryption, the principle of covering a query with a single canonical range using a DAG structure (TDAG). It was later formalized by Falzon et al.~\cite{falzon2022range} (VLDB'22) as the single range cover (SRC) search algorithm -- a faster and potentially privacy-preserving search principle. SRC-search can, however, produce false positives. In this work we study how a family of specific Directed Acyclic Graphs (DAGs) could substantially decrease the false-positive ratio, without asymptotic increase of SRC-search time and storage, compared to the classical 1D-Tree. We perform a competitive analysis of a $c$-DAG with respect to the 1D-Tree and derive only an {\bf\em additive constant Returned Level Overhead} while reaching a substantial {\bf\em multiplicative logarithmic improvement in the Accuracy Ratio}, on average. We also provide a generic framework extending our results to non-uniform datasets whose level overhead distribution is close to that of a uniform dataset. We define and analyze several single-path local selection rules that can substantially speed up the original SRC-search algorithm, which was based on exhaustive search, and their privacy implications. Experiments on the Gowalla and NYC Yellow Taxi datasets show that the level overhead stays at or below the proven constant, up to sampling error, and that the level overhead distribution of real data is close to a uniform baseline in most configurations.

cs.DS↗