Table of Contents
Fetching ...

On the Generalization Error of Differentially Private Algorithms Via Typicality

Yanxiao Liu, Chun Hei Michael Shiu, Lele Wang, Deniz Gündüz

TL;DR

The paper addresses generalization guarantees for stochastic learning under privacy constraints by adopting an information-theoretic framework. It sharpens mutual-information bounds for differential privacy via stability and typicality arguments, providing explicit, computable bounds that improve prior work. It also introduces novel maximal-leakage bounds, including DP-specific results, which translate into tightened generalization guarantees. Together, these results yield tighter, practically usable tools for certifying generalization under privacy constraints and deepen the link between privacy stability and information leakage.

Abstract

We study the generalization error of stochastic learning algorithms from an information-theoretic perspective, with a particular emphasis on deriving sharper bounds for differentially private algorithms. It is well known that the generalization error of stochastic learning algorithms can be bounded in terms of mutual information and maximal leakage, yielding in-expectation and high-probability guarantees, respectively. In this work, we further upper bound mutual information and maximal leakage by explicit, easily computable formulas, using typicality-based arguments and exploiting the stability properties of private algorithms. In the first part of the paper, we strictly improve the mutual-information bounds by Rodríguez-Gálvez et al. (IEEE Trans. Inf. Theory, 2021). In the second part, we derive new upper bounds on the maximal leakage of learning algorithms. In both cases, the resulting bounds on information measures translate directly into generalization error guarantees.

On the Generalization Error of Differentially Private Algorithms Via Typicality

TL;DR

The paper addresses generalization guarantees for stochastic learning under privacy constraints by adopting an information-theoretic framework. It sharpens mutual-information bounds for differential privacy via stability and typicality arguments, providing explicit, computable bounds that improve prior work. It also introduces novel maximal-leakage bounds, including DP-specific results, which translate into tightened generalization guarantees. Together, these results yield tighter, practically usable tools for certifying generalization under privacy constraints and deepen the link between privacy stability and information leakage.

Abstract

We study the generalization error of stochastic learning algorithms from an information-theoretic perspective, with a particular emphasis on deriving sharper bounds for differentially private algorithms. It is well known that the generalization error of stochastic learning algorithms can be bounded in terms of mutual information and maximal leakage, yielding in-expectation and high-probability guarantees, respectively. In this work, we further upper bound mutual information and maximal leakage by explicit, easily computable formulas, using typicality-based arguments and exploiting the stability properties of private algorithms. In the first part of the paper, we strictly improve the mutual-information bounds by Rodríguez-Gálvez et al. (IEEE Trans. Inf. Theory, 2021). In the second part, we derive new upper bounds on the maximal leakage of learning algorithms. In both cases, the resulting bounds on information measures translate directly into generalization error guarantees.
Paper Structure (17 sections, 9 theorems, 84 equations, 2 figures)

This paper contains 17 sections, 9 theorems, 84 equations, 2 figures.

Key Result

Proposition 1

Let $S\in\mathcal{S}$ be a dataset of $N$ instances $Z^N\in\mathcal{Z}^N$ sampled i.i.d. from $P_Z$. Let also $W\in\mathcal{W}$ be a hypothesis obtained with an algorithm $\mathcal{A}$, characterized by $P_{W|S}$. For all $s\in\mathcal{S}$, there exists a distribution $Q_W$ such that

Figures (2)

  • Figure 1: Dataset is of size $1\times 10^{3}$ with $|\mathcal{Z}| = 2$.
  • Figure 2: Dataset is of size $1\times 10^{7}$ with $|\mathcal{Z}| = 1\times 10^{6}$.

Theorems & Definitions (26)

  • Definition 1: cover1999elements
  • Claim 1: Claim 1 of rodriguez2021upper
  • Definition 2: Definition 5 of rodriguez2021upper
  • Definition 3
  • Proposition 1: rodriguez2021upper
  • Claim 2
  • Lemma 2: Lemma 2 of rodriguez2021upper
  • Lemma 3
  • Remark 1
  • Remark 2
  • ...and 16 more