0
$\begingroup$

We're given a vector $x\in \mathbb{R}^d$ whose coordinates where sampled from a known normal distribution $\mathcal{N}(0, \sigma^2)$.

How should I send this vector while maintaining (local) differential privacy? with some sensitivity over its $\ell_2$ norm (i.e., two close vectors should not be distinguishable). Is there a way to take the fact that we know the source distribution into account?

Thank you!

$\endgroup$
4
  • 2
    $\begingroup$ I guess relatively few people here know the concept of differential privacy (I do not), so you may get better response if you give a hint what it is all about, or perhaps rephrase your question in more standard terms. (At least, I'd be happy just to understand the question.) $\endgroup$ Commented Nov 8, 2021 at 18:33
  • $\begingroup$ @MateuszKwaśnicki the definitions are standard by now and I'm not sure it's appropriate to repeat here (also, they're not trivial, and I can't presume to write an easier explanation here, than what is found online). There is a nice self-contained summary in arxiv.org/pdf/1805.10559.pdf, Section 2.1 (no need to look anywhere else in the paper). $\endgroup$ Commented Nov 9, 2021 at 13:54
  • $\begingroup$ OK, thanks for the link, time permitting I'll give it a try. $\endgroup$ Commented Nov 9, 2021 at 16:22
  • $\begingroup$ Thank you for showing interest in any case $\endgroup$ Commented Nov 9, 2021 at 17:46

1 Answer 1

1
$\begingroup$

The fact that $x \sim N(0, \sigma^2 I)$ does not help you much because the sensitivity of two neighboring data points $x$ and $x'$ is unbounded. Differential privacy acts over all possible neighboring datasets, not just likely ones. For a discussion on this (very important) point, see https://differentialprivacy.org/average-case-dp/. In fact, the blog post discusses precisely your setting where the data points are assumed to be sampled from the Gaussian!

You will need to truncate the data points by clipping them to some norm $\Delta$:

$\bar{x} \leftarrow \frac{x}{max\left(1, \frac{\lVert x \rVert_2}{\Delta}\right)}$

Then typically you would add Gaussian noise with scale proportional to $\Delta$ to achieve $(\epsilon, \delta)$-approximate DP. Since Gaussian noise is tailored to zero-concentrated DP you could also use that privacy definition, in which case you will achieve $\rho = \frac{\Delta^2}{2 \sigma^2}$ zero concentrated DP (see Bun & Steinke 2016 proposition 1.6)

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .