Sample Complexity Bounds on Differentially Private Learning via Communication Complexity

Vitaly Feldman, David Xiao
2015 SIAM journal on computing (Print)  
In this work we analyze the sample complexity of classification by differentially private algorithms. Differential privacy is a strong and well-studied notion of privacy introduced by Dwork et al. [2006] that ensures that the output of an algorithm leaks little information about the data point provided by any of the participating individuals. Sample complexity of private PAC and agnostic learning was studied in a number of prior works starting with [Kasiviswanathan et al., 2011] . However, a
more » ... ber of basic questions still remain open [Beimel et al., 2010 , Chaudhuri and Hsu, 2011 , Beimel et al., 2013a , most notably whether learning with privacy requires more samples than learning without privacy. We show that the sample complexity of learning with (pure) differential privacy can be arbitrarily higher than the sample complexity of learning without the privacy constraint or the sample complexity of learning with approximate differential privacy. Our second contribution and the main tool is an equivalence between the sample complexity of (pure) differentially private learning of a concept class C (or SCDP(C)) and the randomized one-way communication complexity of the evaluation problem for concepts from C. Using this equivalence we prove the following bounds: • SCDP(C) = Ω(LDim(C)), where LDim(C) is the Littlestone's dimension characterizing the number of mistakes in the online-mistake-bound learning model [Littlestone, 1987] . Known bounds on LDim(C) then imply that SCDP(C) can be much higher than the VC-dimension of C. • For any t, there exists a class C such that LDim(C) = 2 but SCDP(C) ≥ t. • For any t, there exists a class C such that the sample complexity of (pure) α-differentially private PAC learning is Ω(t/α) but the sample complexity of the approximate (α, β)-differentially private PAC learning is O(log(1/β)/α). This resolves an open problem from [Beimel et al., 2013b] .
doi:10.1137/140991844 fatcat:cpslhvmun5a33gdyrc3iqlxe3a