On Distributed Differential Privacy and Counting Distinct Elements
- URL: http://arxiv.org/abs/2009.09604v1
- Date: Mon, 21 Sep 2020 04:13:34 GMT
- Title: On Distributed Differential Privacy and Counting Distinct Elements
- Authors: Lijie Chen, Badih Ghazi, Ravi Kumar, Pasin Manurangsi
- Abstract summary: We study the setup where each of $n$ users holds an element from a discrete set.
The goal is to count the number of distinct elements across all users.
- Score: 52.701425652208734
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We study the setup where each of $n$ users holds an element from a discrete
set, and the goal is to count the number of distinct elements across all users,
under the constraint of $(\epsilon, \delta)$-differentially privacy:
- In the non-interactive local setting, we prove that the additive error of
any protocol is $\Omega(n)$ for any constant $\epsilon$ and for any $\delta$
inverse polynomial in $n$.
- In the single-message shuffle setting, we prove a lower bound of
$\Omega(n)$ on the error for any constant $\epsilon$ and for some $\delta$
inverse quasi-polynomial in $n$. We do so by building on the moment-matching
method from the literature on distribution estimation.
- In the multi-message shuffle setting, we give a protocol with at most one
message per user in expectation and with an error of $\tilde{O}(\sqrt(n))$ for
any constant $\epsilon$ and for any $\delta$ inverse polynomial in $n$. Our
protocol is also robustly shuffle private, and our error of $\sqrt(n)$ matches
a known lower bound for such protocols.
Our proof technique relies on a new notion, that we call dominated protocols,
and which can also be used to obtain the first non-trivial lower bounds against
multi-message shuffle protocols for the well-studied problems of selection and
learning parity.
Our first lower bound for estimating the number of distinct elements provides
the first $\omega(\sqrt(n))$ separation between global sensitivity and error in
local differential privacy, thus answering an open question of Vadhan (2017).
We also provide a simple construction that gives $\tilde{\Omega}(n)$ separation
between global sensitivity and error in two-party differential privacy, thereby
answering an open question of McGregor et al. (2011).
Related papers
- The Communication Complexity of Approximating Matrix Rank [50.6867896228563]
We show that this problem has randomized communication complexity $Omega(frac1kcdot n2log|mathbbF|)$.
As an application, we obtain an $Omega(frac1kcdot n2log|mathbbF|)$ space lower bound for any streaming algorithm with $k$ passes.
arXiv Detail & Related papers (2024-10-26T06:21:42Z) - Asynchronous Approximate Agreement with Quadratic Communication [23.27199615640474]
We consider an asynchronous network of $n$ message-sending parties, up to $t$ of which are byzantine.
We study approximate agreement, where the parties obtain approximately equal outputs in the convex hull of their inputs.
This takes $Theta(n2)$ messages per reliable broadcast, or $Theta(n3)$ messages per iteration.
arXiv Detail & Related papers (2024-08-10T09:03:06Z) - Private Vector Mean Estimation in the Shuffle Model: Optimal Rates Require Many Messages [63.366380571397]
We study the problem of private vector mean estimation in the shuffle model of privacy where $n$ users each have a unit vector $v(i) inmathbbRd$.
We propose a new multi-message protocol that achieves the optimal error using $tildemathcalOleft(min(nvarepsilon2,d)right)$ messages per user.
arXiv Detail & Related papers (2024-04-16T00:56:36Z) - Differentially Private Approximate Pattern Matching [0.0]
We consider the $k$-approximate pattern matching problem under differential privacy.
The goal is to report or count allimate variants of a given string $S$ which have a Hamming distance at most $k$ to a pattern $P$.
We give 1) an $epsilon$-differentially private algorithm with an additive error of $O(epsilon-1log n)$ and no multiplicative error for the existence variant; 2) an $epsilon$-differentially private algorithm with an additive error $O(epsilon-1
arXiv Detail & Related papers (2023-11-13T15:53:45Z) - The Approximate Degree of DNF and CNF Formulas [95.94432031144716]
For every $delta>0,$ we construct CNF and formulas of size with approximate degree $Omega(n1-delta),$ essentially matching the trivial upper bound of $n.
We show that for every $delta>0$, these models require $Omega(n1-delta)$, $Omega(n/4kk2)1-delta$, and $Omega(n/4kk2)1-delta$, respectively.
arXiv Detail & Related papers (2022-09-04T10:01:39Z) - Tight Bounds for the Randomized and Quantum Communication Complexities
of Equality with Small Error [1.6522364074260811]
We investigate the randomized and quantum communication complexities of the Equality function with small error probability $epsilon$.
We show that any $log(n/epsilon)-loglog(sqrtn/epsilon)+3$ protocol communicates at least $log(n/epsilon)-log(sqrtn/epsilon)-O(1)$ qubits.
arXiv Detail & Related papers (2021-07-25T13:52:42Z) - On Avoiding the Union Bound When Answering Multiple Differentially
Private Queries [49.453751858361265]
We give an algorithm for this task that achieves an expected $ell_infty$ error bound of $O(frac1epsilonsqrtk log frac1delta)$.
On the other hand, the algorithm of Dagan and Kur has a remarkable advantage that the $ell_infty$ error bound of $O(frac1epsilonsqrtk log frac1delta)$ holds not only in expectation but always.
arXiv Detail & Related papers (2020-12-16T17:58:45Z) - A bounded-noise mechanism for differential privacy [3.9596068699962323]
We output an approximation of the average $frac1nsum_i=1n vecx(i)$ of vectors $vecx(i) in [0,1]k$, while preserving the privacy with respect to any $vecx(i)$.
We present an $(epsilon,delta)$-private mechanism with optimal $ell_infty$ error for most values of $delta$.
arXiv Detail & Related papers (2020-12-07T16:03:21Z) - Locally Private Hypothesis Selection [96.06118559817057]
We output a distribution from $mathcalQ$ whose total variation distance to $p$ is comparable to the best such distribution.
We show that the constraint of local differential privacy incurs an exponential increase in cost.
Our algorithms result in exponential improvements on the round complexity of previous methods.
arXiv Detail & Related papers (2020-02-21T18:30:48Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.