Loading Events

FOLDS seminar: Differentially Private Space-Efficient Algorithms for Counting Distinct Elements in the Turnstile Model

March 23 at 12:00 PM - 1:00 PM
Details
Date: March 23, 2026
Time: 12:00 PM - 1:00 PM
Event Category: ColloquiumSeminar
Event Tags:
Organizers
IDEAS Center
View Website
Wharton Statistics and Data Science Department
Penn AI
Venue
Glandt Forum, Singh Center for Nanotechnology 3205 Walnut Street
Philadelphia
PA 19104
Google Map

ATTENTION: NEW DATE AND LOCATION

Monday, March 23, 2026
(Noon – 1 pm)

Glandt Forum, Singh Center 
3205 Walnut St,
Philadelphia, PA 19104

Zoom link: https://upenn.zoom.us/j/98220304722

 

The turnstile continual release model of differential privacy captures scenarios where a privacy-preserving real-time analysis is sought for a dataset evolving through additions and deletions. In typical applications of real-time data analysis, both the length of the stream T and the size of the universe |U| from which data come can be extremely large. This motivates the study of private algorithms in the turnstile setting using space sublinear in both T and |U|. In this paper, we give the first sublinear space differentially private algorithms for the fundamental problem of counting distinct elements in the turnstile streaming model. Our algorithm achieves, on arbitrary streams, O(T^{1/3}) space and additive error, and a (1+\eta)-relative approximation for all \eta \in (0,1). Our result significantly improves upon the space requirements of the state-of-the-art algorithms for this problem, which is linear, approaching the known Omega(T^{1/4}) additive error lower bound for arbitrary streams. Moreover, when a bound W on the number of times an item appears in the stream is known, our algorithm provides O(\sqrt{W}) additive error, using O(\sqrt{W}) space. This additive error asymptotically matches that of prior work which required linear space.  Our results address an open question about designing low-memory mechanisms for this problem. We complement these results with a space lower bound, which shows that any algorithm that uses similar techniques must use space \Omega(T^{1/3}) on arbitrary streams.
Joint work with Alessandro Epasto, Jieming Mao, Tamalika Mukherjee, Tingting Ou, and Peilin Zhong. Paper available at: https://arxiv.org/abs/2505.23682