Computation-Utility-Privacy Tradeoffs in Bayesian Estimation

TL;DR

This paper develops efficient differentially private Bayesian estimation algorithms for Gaussian mean and linear regression, revealing a computational-statistical gap and introducing new sum-of-squares techniques for privacy-preserving inference.

Contribution

It provides the first efficient algorithms achieving near-optimal error for private Bayesian estimation and uncovers a computational gap compared to exponential-time methods.

Findings

Efficient algorithms achieve mean-squared error close to the Bayes-optimal.

A computational-statistical gap exists between efficient and exponential-time algorithms.

New sum-of-squares constraints improve privacy-preserving estimation methods.

Abstract

Bayesian methods lie at the heart of modern data science and provide a powerful scaffolding for estimation in data-constrained settings and principled quantification and propagation of uncertainty. Yet in many real-world use cases where these methods are deployed, there is a natural need to preserve the privacy of the individuals whose data is being scrutinized. While a number of works have attempted to approach the problem of differentially private Bayesian estimation through either reasoning about the inherent privacy of the posterior distribution or privatizing off-the-shelf Bayesian methods, these works generally do not come with rigorous utility guarantees beyond low-dimensional settings. In fact, even for the prototypical tasks of Gaussian mean estimation and linear regression, it was unknown how close one could get to the Bayes-optimal error with a private algorithm, even in the simplest case where the unknown parameter comes from a Gaussian prior. In this work, we give the first efficient algorithms for both of these problems that achieve mean-squared error $(1+o(1))\mathrm{OPT}$ and additionally show that both tasks exhibit an intriguing computational-statistical gap. For Bayesian mean estimation, we prove that the excess risk achieved by our method is optimal among all efficient algorithms within the low-degree framework, yet is provably worse than what is achievable by an exponential-time algorithm. For linear regression, we prove a qualitatively similar lower bound. Our algorithms draw upon the privacy-to-robustness framework of arXiv:2212.05015, but with the curious twist that to achieve private Bayes-optimal estimation, we need to design sum-of-squares-based robust estimators for inherently non-robust objects like the empirical mean and OLS estimator. Along the way we also add to the sum-of-squares toolkit a new kind of constraint based on short-flat decompositions.