Table of Contents
Fetching ...

Efficiently Computing Similarities to Private Datasets

Arturs Backurs, Zinan Lin, Sepideh Mahabadi, Sandeep Silwal, Jakub Tarnawski

TL;DR

The simple methodology of classifying based on average similarity is orders of magnitude faster than prior DP-SGD based approaches for comparable accuracy and empirically exhibit improved query times and accuracy over prior state of the art.

Abstract

Many methods in differentially private model training rely on computing the similarity between a query point (such as public or synthetic data) and private data. We abstract out this common subroutine and study the following fundamental algorithmic problem: Given a similarity function $f$ and a large high-dimensional private dataset $X \subset \mathbb{R}^d$, output a differentially private (DP) data structure which approximates $\sum_{x \in X} f(x,y)$ for any query $y$. We consider the cases where $f$ is a kernel function, such as $f(x,y) = e^{-\|x-y\|_2^2/σ^2}$ (also known as DP kernel density estimation), or a distance function such as $f(x,y) = \|x-y\|_2$, among others. Our theoretical results improve upon prior work and give better privacy-utility trade-offs as well as faster query times for a wide range of kernels and distance functions. The unifying approach behind our results is leveraging `low-dimensional structures' present in the specific functions $f$ that we study, using tools such as provable dimensionality reduction, approximation theory, and one-dimensional decomposition of the functions. Our algorithms empirically exhibit improved query times and accuracy over prior state of the art. We also present an application to DP classification. Our experiments demonstrate that the simple methodology of classifying based on average similarity is orders of magnitude faster than prior DP-SGD based approaches for comparable accuracy.

Efficiently Computing Similarities to Private Datasets

TL;DR

The simple methodology of classifying based on average similarity is orders of magnitude faster than prior DP-SGD based approaches for comparable accuracy and empirically exhibit improved query times and accuracy over prior state of the art.

Abstract

Many methods in differentially private model training rely on computing the similarity between a query point (such as public or synthetic data) and private data. We abstract out this common subroutine and study the following fundamental algorithmic problem: Given a similarity function and a large high-dimensional private dataset , output a differentially private (DP) data structure which approximates for any query . We consider the cases where is a kernel function, such as (also known as DP kernel density estimation), or a distance function such as , among others. Our theoretical results improve upon prior work and give better privacy-utility trade-offs as well as faster query times for a wide range of kernels and distance functions. The unifying approach behind our results is leveraging `low-dimensional structures' present in the specific functions that we study, using tools such as provable dimensionality reduction, approximation theory, and one-dimensional decomposition of the functions. Our algorithms empirically exhibit improved query times and accuracy over prior state of the art. We also present an application to DP classification. Our experiments demonstrate that the simple methodology of classifying based on average similarity is orders of magnitude faster than prior DP-SGD based approaches for comparable accuracy.
Paper Structure (34 sections, 32 theorems, 39 equations, 4 figures, 2 tables, 4 algorithms)

This paper contains 34 sections, 32 theorems, 39 equations, 4 figures, 2 tables, 4 algorithms.

Key Result

Theorem 1.1

Suppose the data points have bounded diameter in $\ell_1$. For any $\alpha \in (0,1)$ and $\varepsilon > 0$, there exists an algorithm which outputs an $\varepsilon$-DP data structure $\mathcal{D}$ capable of answering any $\ell_1$ distance query with $\left(1+\alpha, \tilde{O}\left( \frac{d^{1.5}}{

Figures (4)

  • Figure 1: Our algorithm for $\ell_1$ queries has smaller error than prior SOTA of HuangR14.
  • Figure 2: Results for our dimensionality reduction experiments.
  • Figure 3: Runtime vs Accuracy.
  • Figure 4: Accuracy of all methods as a function of $\varepsilon$, ignoring all run-time constraints. The best hyper-parameter choices are used for all methods.

Theorems & Definitions (55)

  • Definition 1.1: dwork2006calibrating
  • Definition 1.2: Distance Query
  • Definition 1.3: KDE Query
  • Definition 1.4: Error Notation
  • Theorem 1.1: Informal; see Theorem \ref{['thm:dp_utility_high_d_l1']} and Corollary \ref{['cor:L2']}
  • Theorem 1.2: Informal; see Theorem \ref{['thm:high_dim_l1_lb']}
  • Theorem 1.3: Informal; see Theorems \ref{['thm:our_gaussian_kde']} and \ref{['thm:our_smooth_kde']}
  • Theorem 1.4: Informal; see Theorem \ref{['thm:improved_nondp_kde']}
  • Theorem 2.1: Informal; see Theorems \ref{['thm:exponential_kde_jl']} and \ref{['thm:smooth_dim']}
  • Theorem 3.1: HuangR14
  • ...and 45 more