Abstract

In this paper, we study private optimization problems for non-smooth convex functions F(x)=Eifi(x)F(x)=\mathbb{E}_i f_i(x) on Rd\mathbb{R}^d. We show that modifying the exponential mechanism by adding an ℓ22\ell_2^2 regularizer to F(x)F(x) and sampling from π(x)∝exp⁡(−k(F(x)+μ∥x∥22/2))π(x)\propto \exp(-k(F(x)+μ\|x\|_2^2/2)) recovers both the known optimal empirical risk and population loss under (ε,δ)(ε,δ)-DP. Furthermore, we show how to implement this mechanism using O~(nmin⁡(d,n))\widetilde{O}(n \min(d, n)) queries to fi(x)f_i(x) for the DP-SCO where nn is the number of samples/users and dd is the ambient dimension. We also give a (nearly) matching lower bound Ω~(nmin⁡(d,n))\widetildeΩ(n \min(d, n)) on the number of evaluation queries. Our results utilize the following tools that are of independent interest: (1) We prove Gaussian Differential Privacy (GDP) of the exponential mechanism if the loss function is strongly convex and the perturbation is Lipschitz. Our privacy bound is \emph{optimal} as it includes the privacy of Gaussian mechanism as a special case and is proved using the isoperimetric inequality for strongly log-concave measures. (2) We show how to sample from exp⁡(−F(x)−μ∥x∥22/2)\exp(-F(x)-μ\|x\|^2_2/2) for GG-Lipschitz FF with ηη error in total variation (TV) distance using O~((G2/μ)log⁡2(d/η))\widetilde{O}((G^2/μ) \log^2(d/η)) unbiased queries to F(x)F(x). This is the first sampler whose query complexity has \emph{polylogarithmic dependence} on both dimension dd and accuracy ηη.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.