Arrow Research search

Author name cluster

Roie Levin

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

8 papers
2 author rows

Possible papers

8

ICML Conference 2025 Conference Paper

Competitively Consistent Clustering

  • Niv Buchbinder
  • Roie Levin
  • Yue Yang

In fully-dynamic consistent clustering, we are given a finite metric space $(M, d)$, and a set $F\subseteq M$ of possible locations for opening centers. Data points arrive and depart, and the goal is to maintain an approximately optimal clustering solution at all times while minimizing the recourse, the total number of additions/deletions of centers over time. Specifically, we study fully dynamic versions of the classical $k$-center, facility location, and $k$-median problems. We design algorithms that, given a parameter $\beta\geq 1$, maintain an $O(\beta)$-approximate solution at all times, and whose total recourse is bounded by $O(\log |F| \log \Delta) \cdot OPT_{rec}^{\beta}$. Here $OPT_{rec}^{\beta}$ is the minimal recourse of an offline algorithm that maintains a $\beta$-approximate solution at all times, and $\Delta$ is the metric aspect ratio. We obtain our results via a reduction to the recently proposed Positive Body Chasing framework of [Bhattacharya Buchbinder Levin Saranurak, FOCS 2023], which we show gives fractional solutions to our clustering problems online. Our contribution is to round these fractional solutions while preserving the approximation and recourse guarantees. We complement our positive results with logarithmic lower bounds which show that our bounds are nearly tight.

FOCS Conference 2023 Conference Paper

Chasing Positive Bodies

  • Sayan Bhattacharya
  • Niv Buchbinder
  • Roie Levin
  • Thatchaphol Saranurak

We study the problem of chasing positive bodies in $\ell_{1}$: given a sequence of bodies $K_{t}=\left\{x^{t} \in \mathbb{R}_{+}^{n} \mid C^{t} x^{t} \geq 1, P^{t} x^{t} \leq 1\right\}$ revealed online, where $C^{t}$ and $P^{t}$ are nonnegative matrices, the goal is to (approximately) maintain a point $x_{t} \in K_{t}$ such that $\sum_{t}\left\|x_{t}-x_{t-1}\right\|_{1}$ is minimized. This captures the fully-dynamic low-recourse variant of any problem that can be expressed as a mixed packing-covering linear program and thus also the fractional version of many central problems in dynamic algorithms such as set cover, load balancing, hyperedge orientation, minimum spanning tree, and matching. We give an $O(\log d)$-competitive algorithm for this problem, where d is the maximum row sparsity of any matrix $C^{t}$. This bypasses and improves exponentially over the lower bound of $\sqrt{n}$ known for general convex bodies. Our algorithm is based on iterated information projections, and, in contrast to general convex body chasing algorithms, is entirely memoryless. We also show how to round our solution dynamically to obtain the first fully dynamic algorithms with competitive recourse for all the stated problems above; i. e. their recourse is less than the recourse of every other algorithm on every update sequence, up to polylogarithmic factors. This is a significantly stronger notion than the notion of absolute recourse in the dynamic algorithms literature.

FOCS Conference 2021 Conference Paper

Random Order Online Set Cover is as Easy as Offline

  • Anupam Gupta 0001
  • Gregory Kehne
  • Roie Levin

We give a polynomial-time algorithm for Online-SetCover with a competitive ratio of $O(\log mn)$ when the elements are revealed in random order, matching the best possible offline bound of $O(\log n)$ when the number of sets $m$ is polynomial in the number of elements $n$, and circumventing the $\Omega(\log m \log n)$ lower bound known in adversarial order. We also extend the result to solving pure covering IPs when constraints arrive in random order. The algorithm is a multiplicative-weights-based round-and-solve approach we call LearnOrCover. We maintain a coarse fractional solution that is neither feasible nor monotone increasing, but can nevertheless be rounded online to achieve the claimed guarantee (in the random order model). This gives a new offline algorithm for Setcover that performs a single pass through the elements, which may be of independent interest.

SODA Conference 2021 Conference Paper

Streaming Submodular Matching Meets the Primal-Dual Method

  • Roie Levin
  • David Wajc

We study streaming submodular maximization subject to matching/ b -matching constraints (MSM/MS b M), and present improved upper and lower bounds for these problems. On the upper bounds front, we give primaldual algorithms achieving the following approximation ratios. for monotone MSM, improving the previous best ratio of 7. 75. for non-monotone MSM, improving the previous best ratio of 9. 899. for maximum weight b-matching, improving the previous best ratio of 4 + ∊. On the lower bounds front, we improve on the previous best lower bound of for MSM, and show ETH-based lower bounds of ≈ 1. 914 for polytime monotone MSM streaming algorithms. Our most substantial contributions are our algorithmic techniques. We show that the (randomized) primal-dual method, which originated in the study of maximum weight matching (MWM), is also useful in the context of MSM. To our knowledge, this is the first use of primal-dual based analysis for streaming submodular optimization. We also show how to reinterpret previous algorithms for MSM in our framework; hence, we hope our work is a step towards unifying old and new techniques for streaming submodular maximization, and that it paves the way for further new results.

FOCS Conference 2020 Conference Paper

Fully-Dynamic Submodular Cover with Bounded Recourse

  • Anupam Gupta 0001
  • Roie Levin

In submodular covering problems, we are given a monotone, nonnegative submodular function f: 2 N → R + and wish to find the min-cost set S ⊆ N such that f(S)=f(N). When f is a coverage function, this captures Setcover as a special case. We introduce a general framework for solving such problems in a fully-dynamic setting where the function f changes over time, and only a bounded number of updates to the solution (a. k. a. recourse) is allowed. For concreteness, suppose a nonnegative monotone submodular integer-valued function gt is added or removed from an active set G (t) at each time t. If f (t) =Σ(g∈G (t) g) is the sum of all active functions, we wish to maintain a competitive solution to Submodularcover for f (t) as this active set changes, and with low recourse. For example, if each gt is the (weighted) rank function of a matroid, we would be dynamically maintaining a low-cost common spanning set for a changing collection of matroids. We give an algorithm that maintains an O(log(f max /f min )) - competitive solution, where f max, f min are the largest/smallest marginals of f (t). The algorithm guarantees a total recourse of O(log(c max /c min )·Σ t≤Tgt (N)), where c max, c min are the largest/smallest costs of elements in N. This competitive ratio is best possible even in the offline setting, and the recourse bound is optimal up to the logarithmic factor. For monotone sub-modular functions that also have positive mixed third derivatives, we show an optimal recourse bound of O(Σ t≤Tgt (N)). This structured class includes set-coverage functions, so our algorithm matches the known O(log n)-competitiveness and O(1) recourse guarantees for fully-dynamic Setcover. Our work simultaneously simplifies and unifies previous results, as well as generalizes to a significantly larger class of covering problems. Our key technique is a new potential function inspired by Tsallis entropy. We also extensively use the idea of Mutual Coverage, which generalizes the classic notion of mutual information.

NeurIPS Conference 2018 Conference Paper

Robust Subspace Approximation in a Stream

  • Roie Levin
  • Anish Prasad Sevekari
  • David Woodruff

We study robust subspace estimation in the streaming and distributed settings. Given a set of n data points {a i} {i=1}^n in R^d and an integer k, we wish to find a linear subspace S of dimension k for which sum i M(dist(S, a i)) is minimized, where dist(S, x): = min_{y in S} |x-y|_2, and M() is some loss function. When M is the identity function, S gives a subspace that is more robust to outliers than that provided by the truncated SVD. Though the problem is NP-hard, it is approximable within a (1+epsilon) factor in polynomial time when k and epsilon are constant. We give the first sublinear approximation algorithm for this problem in the turnstile streaming and arbitrary partition distributed models, achieving the same time guarantees as in the offline case. Our algorithm is the first based entirely on oblivious dimensionality reduction, and significantly simplifies prior methods for this problem, which held in neither the streaming nor distributed models.

v2026.09.13