Efficient differentially private Flinear sketching

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Documents

A powerful feature of linear sketches is that from sketches of two data vectors, one can compute the sketch of the difference between the vectors. This allows us to answer fine-grained questions about the difference between two data sets. In this work we consider how to construct sketches for weighted F0, i.e., the summed weights of the elements in the data set, that are small, differentially private, and computationally efficient. Let a weight vector w ϵ (0, 1]u be given. For x ϵ {0, 1}u we are interested in estimating ||x o w||1 where o is the Hadamard product (entrywise product). Building on a technique of Kushilevitz et al. (STOC 1998), we introduce a sketch (depending on w) that is linear over GF(2), mapping a vector x ϵ {0, 1}u to Hx ϵ {0, 1}t for a matrix H sampled from a suitable distribution H. Differential privacy is achieved by using randomized response, flipping each bit of Hx with probability p < 1/2. That is, for a vector φ ϵ {0, 1}t where Pr[(f)j = 1] = p independently for each entry j, we consider the noisy sketch Hx + f, where the addition of noise happens over GF(2). We show that for every choice of 0 < β < 1 and ϵ = O(1) there exists p < 1/2 and a distribution H of linear sketches of size t = O(log2(u)ϵ-2β-2) such that: 1. For random H ~ H and noise vector f, given Hx + f we can compute an estimate of ||x o w||1 that is accurate within a factor 1 ± β, plus additive error O(log(u)ϵ-2β-2), w. p. 1 - u-1, and 2. For every H ~ H, Hx + f is e-differentially private over the randomness in f. The special case w = (1, . . ., 1) is unweighted F0. Previously, Mir et al. (PODS 2011) and Kenthapadi et al. (J. Priv. Confidentiality 2013) had described a differentially private way of sketching unweighted F0, but the algorithms for calibrating noise to their sketches are not computationally efficient, either using quasipolynomial time in the sketch size or superlinear time in the universe size u. For fixed e the size of our sketch is polynomially related to the lower bound of Ω(log(u)β-2)bits by Jayram & Woodruff (Trans. Algorithms 2013). The additive error is comparable to the bound of O(1/ϵ) of Hardt & Talwar (STOC 2010). An application of our sketch is that two sketches can be added to form a noisy sketch of the form H(x1 +x2)+(f1 +f2), which allows us to estimate ||(x1 + x2) || w||1. Since addition is over GF(2), this is the weight of the symmetric difference of the vectors x1 and x2. Recent work has shown how to privately and efficiently compute an estimate for the symmetric difference size of two sets using (non-linear) sketches such as FM-sketches and Bloom Filters, but these methods have an error bound no better than O(√m), where m is an upper bound on ||x1||0 and ||x2||0. This improves previous work when β = o (1/√m and log(u)/ϵ = mo(1). In conclusion our results both improve the efficiency of existing methods for unweighted F0 estimation and extend to a weighted generalization. We also give a distributed streaming implementation for estimating the size of the union between two input streams.

Original languageEnglish
Title of host publication24th International Conference on Database Theory, ICDT 2021
EditorsKe Yi, Zhewei Wei
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publication date2021
Pages1-19
Article number18
ISBN (Electronic)9783959771795
DOIs
Publication statusPublished - 2021
Event24th International Conference on Database Theory, ICDT 2021 - Nicosia, Cyprus
Duration: 23 Mar 202126 Mar 2021

Conference

Conference24th International Conference on Database Theory, ICDT 2021
LandCyprus
ByNicosia
Periode23/03/202126/03/2021
SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume186
ISSN1868-8969

    Research areas

  • Differential Privacy, Linear Sketches, Weighted F0 Estimation

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 301142097