ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1504.05800
38
39

On the Generalization Properties of Differential Privacy

22 April 2015
Kobbi Nissim
Uri Stemmer
    FedML
ArXivPDFHTML
Abstract

A new line of work, started with Dwork et al., studies the task of answering statistical queries using a sample and relates the problem to the concept of differential privacy. By the Hoeffding bound, a sample of size O(log⁡k/α2)O(\log k/\alpha^2)O(logk/α2) suffices to answer kkk non-adaptive queries within error α\alphaα, where the answers are computed by evaluating the statistical queries on the sample. This argument fails when the queries are chosen adaptively (and can hence depend on the sample). Dwork et al. showed that if the answers are computed with (ϵ,δ)(\epsilon,\delta)(ϵ,δ)-differential privacy then O(ϵ)O(\epsilon)O(ϵ) accuracy is guaranteed with probability 1−O(δϵ)1-O(\delta^\epsilon)1−O(δϵ). Using the Private Multiplicative Weights mechanism, they concluded that the sample size can still grow polylogarithmically with the kkk. Very recently, Bassily et al. presented an improved bound and showed that (a variant of) the private multiplicative weights algorithm can answer kkk adaptively chosen statistical queries using sample complexity that grows logarithmically in kkk. However, their results no longer hold for every differentially private algorithm, and require modifying the private multiplicative weights algorithm in order to obtain their high probability bounds. We greatly simplify the results of Dwork et al. and improve on the bound by showing that differential privacy guarantees O(ϵ)O(\epsilon)O(ϵ) accuracy with probability 1−O(δlog⁡(1/ϵ)/ϵ)1-O(\delta\log(1/\epsilon)/\epsilon)1−O(δlog(1/ϵ)/ϵ). It would be tempting to guess that an (ϵ,δ)(\epsilon,\delta)(ϵ,δ)-differentially private computation should guarantee O(ϵ)O(\epsilon)O(ϵ) accuracy with probability 1−O(δ)1-O(\delta)1−O(δ). However, we show that this is not the case, and that our bound is tight (up to logarithmic factors).

View on arXiv
Comments on this paper