D IFFERENTIALLY P RIVATE D ATASET C ONDENSATION
Anonymous authors
Paper under double-blind review
A BSTRACT
Recent work in ICML’22 builds a theoretical connection between dataset condensation (DC) and differential privacy (DP) and claims that DC can provide privacy protection for free.
However, the connection is problematic because of two controversial assumptions.
In this paper, we revisit the ICML’22 work and elucidate the issues in the two controversial assumptions.
To correctly connect DC and DP, we propose two differentially private dataset condensation (DPDC) algorithms—
LDPDC and NDPDC.
Through extensive evaluations, we demonstrate that LDPDC has comparable performance to recent DP generative methods despite its simplicity.
NDPDC provides acceptable DP guarantees with a mild utility loss, compared to distribution matching (DM).
Additionally, NDPDC allows a flexible trade-off between the synthetic data utility and DP budget.
I NTRODUCTION
Although deep learning has pushed forward the frontiers of many applications in the past decade, it still needs to overcome some challenges for broader academic and commercial use (Dilmegani, 2022).
One challenge is the costly process of algorithm design and practical implementation in deep learning, which typically requires inspection and evaluation by training many models on ample data.
The growing privacy concern is another challenge.
Due to the privacy concern, an increasing number of customers are reluctant to provide their data for the academia or industry to train deep learning models, and some regulations are further created to restrict access to sensitive data.
Recently, dataset condensation (DC) has emerged as a potential technique to address the two challenges with one shot (Zhao et al., 2021; Zhao & Bilen, 2021b).
The main objective of dataset condensation is to condense the original dataset into a small synthetic dataset while maintaining the synthetic data utility to the greatest extent for training deep learning models.
For the first challenge, both academia and industry can save computation and storage costs if using DC-generated small synthetic datasets to develop their algorithms and debug their implementations.
In terms of the second challenge, since the DC-generated synthetic data may not exist in the real world, sharing
DC-generated data seems less risky than sharing the original data.
Nevertheless, DC-generated data may memorize a fair amount of sensitive information during the optimization process on the original data.
In other words, sharing DC-generated data still exposes the data owners to privacy risk.
Moreover, this privacy risk is unknown since the prior literature on DC has not proved any rigorous connection between DC and privacy.
Although an ICML’22 outstanding paper (Dong et al., 2022) proved a proposition to support the claim that DC can provide certain differential privacy (DP) guarantee for free, the proof is problematic because of two controversial assumptions, as discussed in Section 3.1.
To correctly connect DC and DP for bounding the privacy risk of DC, we propose two differentially private dataset condensation (DPDC) algorithms—LDPDC and NDPDC.
LDPDC (Algorithm 1) adds random noise to the sum of randomly sampled original data and then divides the randomized sum by the fixed expected sample size to construct the synthetic data.
Based on the framework of
R ´ enyi Differential Privacy (RDP) (Mironov, 2017; Mironov et al., 2019), we prove Theorem 3.1 to bound the privacy risk of LDPDC.
NDPDC (Algorithm 2) optimizes randomly initialized synthetic data by matching the norm-clipped representations of the synthetic data and the randomized normclipped representations of the original data.
For NDPDC, we prove Theorem 3.2 bound to its privacy risk.
The potential benefits brought by DPDC algorithms include (i) reducing the cost of data storage and model training; (ii) mitigating the privacy concerns from data owners; (iii) providing DP guarantees for the hyperparameter fine-tuning process and the trained models on the DPDC-generated synthetic datasets, due to the post-processing property.
We conduct extensive experiments to evaluate our DPDC algorithms on multiple datasets, including
MNIST, FMNIST, CIFAR10, and CelebA. We mainly compare our DPDC algorithms with a nonprivate dataset condensation method, i.e., distribution matching (Zhao & Bilen, 2021a), and two recent differentially private generative methods, i.e., DP-MERF and DP-Sinkhorn (Cao et al., 2021;
Harder et al., 2021).
We demonstrate that (i) LDPDC shows comparable performance to DP-MERF and DP-Sinkhorn despite its simplicity; (ii) NDPDC can provide DP protection with a mild utility loss, compared to distribution matching; (iii) NDPDC allows a flexible trade-off between privacy and utility and can use low DP budgets to achieve better performance than DP-MERF and DP-Sinkhorn.
B ACKGROUND AND R ELATED W ORK 2. D ATASET C ONDENSATION
We denote a data sample by x and its label by y .
In this paper, we mainly study classification problems, where f θ ( · ) refers to the model with parameters θ .
ℓ ( f θ ( x ) , y ) refers to the cross-entropy between the model output f θ ( x ) and the label y .
Let T and S denote the original dataset and the synthetic dataset, respectively, then we can formulate the dataset condensation problem as
[Equation]
θ
[Equation] S [Equation] An intuitive method to solve the above objective is meta-learning (Wang et al., 2018), with an inner optimization step to update θ and a outer optimization step to update S .
However, this intuitive method needs a lot of cost for implicitly using second-order terms in the outer optimization step.
Nguyen et al.
(2020) considered the classification task as a ridge regression problem and derived an algorithm called kernel inducing points (KIP) to simplify the meta-learning process.
Gradient matching is an alternative method (Zhao et al., 2021) for dataset condensation, which minimizes a matching loss between the model gradients on the original and synthetic data, i.e.,
[Equation]
Π M refers to the matching loss in (Zhao et al., 2021); ∇ θ L S ( θ i ) and ∇ θ L T ( θ i ) refer to the model gradients on the synthetic and original data, respectively; θ i is updated on the synthetic data to obtain θ i +1 .
To boost the performance, Zhao & Bilen (2021b) further applied differentiable Siamese augmentation A w ( · ) with parameters w to the original data samples and the synthetic data samples.
Recently, Zhao & Bilen (2021a) proposed to match the feature distributions of the original and synthetic data for dataset condensation.
Zhao & Bilen (2021a) used an empirical estimate of maximum mean discrepancy (MMD) as the matching loss, i.e.,
[Equation]
where Φ θ ( · ) is the feature extractor, and P θ is a parameter distribution.
With the help of differentiable data augmentation (Zhao & Bilen, 2021b), the distribution matching method (DM) (Zhao &
Bilen, 2021a) achieves the state-of-the-art performance on dataset condensation.
2. D IFFERENTIAL P RIVACY
Differential Privacy (DP) (Dwork et al., 2006) is the most widely-used mathematical definition of privacy, so we first introduce the definition of DP in the following.
Definition 2.1 (Differential Privacy (DP))
For two adjacent datasets D and D ′ , and every possible output set O , if a randomized mechanism M satisfies P [ M ( D ) ∈ O ] ≤ e ϵ P
[ M ( D ′ ) ∈
O ]
+ δ , then M obeys ( ϵ, δ )
-DP.
Based on the framework of DP, Abadi et al.
(2016) developed DP-SGD with a moments accountant for learning differentially private models.
We also introduce the concept of R´enyi Differential Privacy (RDP), as RDP gives us a unified view of pure DP and ( ϵ, δ ) -DP, graceful composition bounds, and tighter bounds for the (sub)sampled
Gaussian mechanism (Definition A.1) (Wang et al., 2019; Mironov et al., 2019).
Due to the benefits of RDP, Meta’s Opacus library (Yousefpour et al., 2021) also relies on (Mironov et al., 2019) for DP analysis.
We begin the brief introduction of RDP with two basic definitions:
Definition 2.2 (R´enyi Divergence (R´enyi et al., 1961)) Let P and Q be two distributions on Z over the same probability space, the R`enyi divergence between P and Q is
[Equation]
where p ( z ) and q ( z ) are the respective probability density functions of P and Q .
Without ambiguity,
D α ( P ∥ Q ) can also be written as D α ( p ( z ) ∥
q ( z )) .
Definition 2.3 (R´enyi Differential Privacy (RDP) (Mironov, 2017))
For two adjacent datasets D and D ′ , if a randomized mechanism M satisfies D α ( M ( D ) ∥M ( D ′ )) ≤ ϵ ( α > 1 ), then M obeys ( α, ϵ ) -RDP, where D α refers to R´enyi divergence.
We can easily connect RDP and DP by Lemma 2.1 and Corollary 2.1.
Lemma 2.1 (RDP to DP Conversion (Balle et al., 2020))
If a randomized mechanism M guarantees ( α, ϵ ) -RDP, then it also obeys ( ϵ + log
(( α − 1) /α ) − (log δ + log α ) /
( α − 1) , δ ) -DP.
In Appendix A (Page 15), we show that Lemma 2.1 is tighter than Mironov (2017)’s conversion law.
Corollary 2.
According to Lemma 2.1, if a mechanism M obeys ( α, ϵ ( α )) -RDP for α > 1 , then
M obeys (min α> 1 ( ϵ ( α ) + log(( α − 1) /α ) − (log δ + log α ) / ( α − 1)) , δ ) -DP.
One main advantage of RDP is that RDP allows a graceful composition of the privacy budgets spent by multiple randomized mechanisms, as illustrated in Lemma 2.2.
Lemma 2.2 (RDP Composition (Mironov, 2017))
If M 1 is ( α, ϵ 1 ) -RDP, M 2 is ( α, ϵ 2 ) -RDP, then their composition obeys ( α, ϵ 1 + ϵ 2 ) -RDP.
Furthermore, RDP allows a graceful parallel composition, as shown in Lemma 2.3.
Lemma 2.3 (Parallel Composition (Chaudhuri et al., 2019))
If two datasets D 1 and D 2 are disjoint ( D 1 ∩ D 2 = ∅ ), and M 1 is ( α, ϵ 1 ) -RDP, M 2 is ( α, ϵ 2 ) -RDP, then the combined release ( M 1 ( D 1 ) , M 2 ( D 2 )) obeys ( α, max( ϵ 1 , ϵ 2 ))
-RDP for D 1 ∪ D 2 .
In Appendix E, we discuss more related work on differential privacy and generative methods.
D ATASET C ONDENSATION AND D IFFERENTIAL P RIVACY 3. R EVISIT THE ICML’22 WORK (D ONG ET AL ., 2022)
Dong et al.
(2022) first established a connection between DC and DP by Proposition 4.10 in their paper, which is unfortunately proved upon two controversial assumptions.
One explicit controversial assumption is regarding the posterior model parameter distribution, as stated in Assumption 3.1.
Assumption 3.1 (Assumption 4.8 in (Dong et al., 2022))
Given the training dataset S and loss function ℓ , the distribution of the model parameters is
[Equation]
Although (Dong et al., 2022) presents the assumption on T , it actually uses the assumption on the synthetic dataset S in the proof of its Proposition 4.10.
The original version of Assumption 3.1in (Sablayrolles et al., 2019), quoted by Dong et al.
(2022), is given below.
Assumption 3.2 (Original Assumption in (Sablayrolles et al., 2019))
Given the training dataset
S and loss function ℓ , the distribution of the model parameters is
[Equation]
Comparing the above two assumptions, we observe that Assumption 3.1 has a controversial issue—
Given the same loss function and model architecture, the posterior model parameter distribution assumed in Assumption 3.1 is fixed, regardless of the stochasticity and the learning method.
Note that in an extreme case, if we use gradient ascent with fixed seeds, the parameter distribution could collapse into a Dirac distribution.
In contrast, Eq. 6 in Assumption 3.2 has a temperature hyperparameter T depending on the stochasticity and the learning method, i.e., T → 0 corresponds to MAP, and a small T corresponds to averaged SGD (Polyak & Juditsky, 1992; Sablayrolles et al., 2019).
From this viewpoint, although it is intractable to verify the correctness of Assumption 3.2, it is intuitive that Assumption 3.1 is controversial.
Here a natural question to ask is—Could we instead use
Assumption 3.2 in the proof of Proposition 4.10 in (Dong et al., 2022)?
The answer is No because when T is small, we could not approximate exp( 1 T (cid:80) |S| i =1 ( ℓ ( f θ ( s i ) , y i ) − ℓ ( f θ ( s ′ i ) , y i )))
− 1 by 1 T (cid:80) |S| i =1 ( ℓ ( f θ ( s i ) , y i ) − ℓ ( f θ ( s ′ i ) , y i )) .
Thus, we could not have Eq.
in the proof of Proposition 4.10 in (Dong et al., 2022) with Assumption 3.2.
In the following, we introduce the other controversial assumption which is implicitly used in the proof of Proposition 4.10 in (Dong et al., 2022)
(Eq. 35 in (Dong et al., 2022)).
Assumption 3.3 (Implicit Assumption in (Dong et al., 2022))
With random initialization ˜
s i ∼
N ( 0 , I d ) , the synthetic data ˜ s ∗ i that minimizes the distribution matching loss (Eq. 3) is
[Equation]
where the data is represented under an orthogonal basis E = { e 1 , e 2 , ..., e d } with E T
= { e 1 , e 2 , ..., e dim ( span ( T )) } forming the orthogonal basis of span ( T ) (Dong et al., 2022).
Let Q be the transformation matrix from E to the standard basis.
We then have
[Equation]
where s ∗ i and x j represent ˜ s ∗ i and ˜ x
j under the standard basis.
In Appendix C, we detail how to compute the transformation matrix and the synthetic data given in Eq. 8 for each class.
Actually, we need to use T c * instead of T to compute the synthetic data for class c .
Assumption 3.3 is only proved on linear feature extractors, but it is directly used in the proof of
Proposition 4.10 in (Dong et al., 2022)
(Eq. 35 in (Dong et al., 2022)), which attempts to prove a general privacy bound for dataset condensation.
Unfortunately, Assumption 3.3 is not always true when we use nonlinear feature extractors to learn the synthetic data.
We conduct an experiment to verify the above claim: We use the same data initialization to compute a set of 500 synthetic data samples with Eq.
(See Appendix C) and learn a set of 500 synthetic data samples by DM with nonlinear extractors on CIFAR10.
We then compute the DM loss on the synthetic data by Eq.
3 with nonlinear extractors.
The DM loss on the synthetic data computed with Eq. 8 is much higher than the DM loss on the DM-learned synthetic data, which conflicts with
Assumption 3.3.
We further train two ConvNet models on the two sets of synthetic data, respectively.
The model trained on the synthetic data computed by Eq.
8 only has about 25% accuracy † , while the model trained on the DM-generated synthetic data achieves approximately 60% accuracy.
Moreover, we test whether the distributions of the synthetic data computed by Eq.
8 and the synthetic data generated by DM with nonlinear extractors may have the same population mean for each class c .
Specifically, we define the null hypothesis as
H 0 : µ c ( synthetic data defined by Eq. 8 ) = µ c ( synthetic data generated by nonlinear DM )
We use BS test (Bai & Saranadasa, 1996) since the conventional Hotelling’s T 2 test (Hotelling, 1992) is only applicable to the case
that d < N 1 + N 2 − 2 , where d is the data dimension, and
N 1 and N 2 refer to the number of samples from the two populations.
We compute the test statistic of BS test, denoted by Z BS for the 10 classes of CIFAR10.
The smallest Z BS is approximately − 3 .
03 < − z 0 .
005 ‡ , which gives us sufficient evidence to reject the null hypothesis.
Thus, even with the same random initialization, the synthetic data defined by Eq. 8 and the synthetic data generated by DM with nonlinear feature extractors can have completely different distributions.
Therefore, it is problematic to use Assumption 3.3 to prove a general privacy bound for dataset condensation.
3. D IFFERENTALLY P RIVATE D ATASET C ONDENSATION (DPDC)
We show that the privacy bound proved by Dong et al.
(2022) is problematic due to two controversial assumptions.
To correctly connect DC and DP, we propose two differentially private dataset condensation (DPDC) algorithms—a linear algorithm (LDPDC) and a nonlinear algorithm (NDPDC).
Linear DPDC (LDPDC)
We illustrate LDPDC in Algorithm 1.
For each class c , we construct
M synthetic data samples { s cj } Mj =1 .
For each synthetic sample s cj , we randomly sample a subset { x ck } L cj k =1 from T c by Poisson Sampling with probability L/N c .
L is the group size (Abadi et al., 2016), and N c = |T
c | .
L cj follows a Poisson distribution with expectation L .
Similar to the q = L/N in (Abadi et al., 2016) and the Opacus library, the sampling probability q c = L/N c is fixed for each class in the execution of the algorithms—For the adjacent datasets of T c , we still consider q c as the sampling probability, then we could exploit the prior theoretical results on subsampling for DP analysis (similar to Opacus).
With { x ck } L cj k =1 , we compute s cj by s cj
= 1 L ( N ( 0 , σ 2 I d ) + (cid:80) L cj k
=1 x ck ) where N ( 0 , σ 2 I d ) refers to Gaussian random noise with standard deviation σ .
We do not use a formula similar to Eq.
8 to construct synthetic data because Q leaks private information.
Require: Original Dataset T =
T 1 ∪ T 2 ... ∪ T C ; the number of classes C ; number of data samples per class N c ; number of synthetic samples per class M ; group size L .
for each class c do for j = 1 to M do
Take a randomly sampled subset D c = { x ck , c } L cj k =1 from T c with sampling probability L/N c (by Poisson Sampling, similar to (Abadi et al., 2016; Yousefpour et al., 2021)) .
[Equation]
end for end for
Nonlinear DPDC (NDPDC)
We illustrate NDPDC in Algorithm 2, which is designed upon the idea of matching the representations of original and synthetic data.
We follow (Zhao & Bilen, 2021a) to use differentiable augmentation function A w c ( · ) § to boost the performance ( Φ θ ( A w c ( · )) is similar to a composite function).
In each iteration of Algorithm 2, we first sample random parameters θ for the feature extractor Φ θ (not pretrained) and initialize the loss as 0 .
After that, for each class c , we sample the augmentation parameters w c and randomly sample a subset from T c by Poisson sampling with sampling probability L/N c .
We then compute the representations of the original data and synthetic data and clip the representations with a pre-defined threshold G .
We remark that it is essential to clip both the representations of original and synthetic data: We clip the representations of the original data for the purpose of bounding the ℓ 2 sensitivity; We also clip the representations of the synthetic data in order to match the representations on a similar scale.
Since G is pre-defined as the constant 1 (not computed from original data), the operation of clipping the synthetic data representations ( i.e., ˜ r ( s cj ) = min(1 ,
G ∥ r ( s cj ) ∥ 2 ) r ( s cj ) in Algorithm 2) does not leak private information regarding the original data.
After clipping the representations, we add Gaussian noise to the sum of the clipped original data representations.
We use the squared ℓ 2 distance between the randomized sum of the clipped original data representations ( i.e., N ( 0 , σ 2 I ) + (cid:80) | D c | i =1 ˜ r ( x ci ) ) and the sum of the clipped synthetic data representations multiplied by a factor L/M ( i.e., LM (cid:80) Mj
=1 ˜ r
( s cj ) ) as the loss.
We use the factor L/M because (cid:80) | D c | i =
˜ r
( x ci ) sums up | D c
| ( E ( | D c | ) =
L ) representations, while (cid:80) Mj
=1 ˜ r
( s cj ) sums up M representations.
At the end of each iteration, we update the synthetic data S with the gradient of the loss ℓ with respect to S , similar to Algorithm 1 in (Zhao & Bilen, 2021a).
In practical implementation , following (Zhao et al., 2021; Zhao & Bilen, 2021b;a), we implement S as a tensor variable with size [ N, data shape ] (e.g., [ N, 3 , 32 , 32] on CIFAR10), where N is the size of the synthetic dataset.
Here a natural question to ask is—Why not combine distribution matching and DP-SGD for differentially private data condensation?
For many common deep learning tasks, we could compute sample-wise loss so that DP-SGD can clip the sample-wise loss gradients to bound the sensitivity.
However, distribution matching uses the squared ℓ 2 distance between the averaged original data representations and the averaged synthetic data representations as loss, so we could not directly compute sample-wise loss and apply DP-SGD to distribution matching.
Condensation (NDPDC)
Require: Original Dataset T =
T 1 ∪ T 2 ... ∪ T C ; the number of classes C ; the number of data samples per class N c ; the number of synthetic samples per class M ; feature extractors Φ θ (not pretrained); parameter distribution P θ ; group size L ; number of iterations I .
Initialize S
=
{{ s cj } Mj =1 } Cc =1 with random noise from N ( 0 , I d ) for each iteration (total number of iterations is I ) do
Randomly sample θ from P θ and initialize the loss as ℓ =for each class c do
Sample the augmentation parameters w c .
Take a randomly sampled subset D c from T c with sampling probability L/N c (by Poisson
Sampling, similar to (Abadi et al., 2016; Yousefpour et al., 2021)).
Compute Representations: r ( x ci ) =
Φ θ ( A w c ( x ci )) for the subset D c = { x ci , c } | D c | i =1 ; r ( s cj )
=
Φ θ ( A w c ( s cj )) for S c = { s cj } Mj =1 .
Norm Clipping: ˜ r
( s cj )
= min(1 ,
G ∥ r ( s cj ) ∥ 2 ) r ( s cj ) ;
˜ r ( x ci ) = min(1 ,
G
∥ r ( x ci ) ∥ 2 ) r ( x ci ) .
Compute Loss: ℓ = ℓ + ∥ LM (cid:80) Mj
=1 ˜ r
( s cj ) − ( N ( 0 , σ 2 I )
+ (cid:80) | D c | i =
˜ r ( x ci ))
∥ 22 . end for
S = S − η ∇ S ℓ ( s cj = s cj − η ∇ s cj ℓ ∀ s cj ∈ S ).
end for
Output the synthetic dataset S
= {{ s cj } Mj =1 } Cc =
Theorem 3.1 and Theorem 3.2 bound the privacy risk of Algorithm 1 and Algorithm 2, respectively.
Theorem 3.1 Suppose the original data x satisfies x ∈ [ − b, b ] d , and let Ω q, ˜ σ 1 ( α ) ≜
D α ((1 − q ) N (0 , ˜ σ 21 )+ q N (1 , ˜ σ 21 ) ∥N (0 , ˜ σ 21 )) with ˜ σ 1 = σ/ ( b √ d ) and q = max c ( L/N c ) , then LDPDC obeys ( α, M Ω q, ˜ σ 1 ( α ))
-RDP
and (min α> 1 ( M Ω q, ˜ σ 1 ( α )+log(( α − 1) /α ) − (log δ +log α ) /
( α − 1)) , δ ) -DP.
Theorem 3.2 Let Ω q, ˜ σ 2 ( α ) ≜ D α
((1 − q ) N (0 , ˜
σ 22 )
+ q N (1 , ˜ σ
) ∥N (0 , ˜ σ 22 )) with ˜ σ 2 = σ/G and q = max c ( L/N c ) , then NDPDC obeys ( α, I Ω q, ˜
σ 2 ( α )) -RDP and (min α> 1 ( I Ω q, ˜ σ 2 ( α ) + log(( α − 1) /α ) − (log δ + log α ) /
( α − 1)) , δ ) -DP, where I is the number of iterations.
We detail the proof of Theorem 3.1 and Theorem 3.2 in Appendix A.
The basic idea is to prove the
RDP bound on T c
= { x i , c } N c i =1 , where we only need to consider x i due to the same c , followed by generalizing the theoretical result to T using Lemma 2.3.
In the experiments, we follow Opacus to exploit Mironov et al.
(2019)’s method for computing Ω q,σ ( α ) .
We note that Mironov et al.
(2019) did not provide convergence analysis for their computation method when α is a fractional number.
For completeness, we present our convergence analysis for the computation method in Appendix B.
[Table]
[Table]
E XPERIMENTS 4. E XPERIMENTAL S ETUP
We follow (Zhao & Bilen, 2021b;a; Dong et al., 2022) to conduct experiments on four widelyused datasets: MNIST (Deng, 2012), Fashion-MNIST (Xiao et al., 2017), CIFAR10 (Krizhevsky et al., 2009)
[Table]
and CelebA (gender classification) (Liu et al., 2015).
In the following, we introduce the baselines, DPDC settings, and the method for evaluating the synthetic data utility.
We provide
DPDC’s code in the supplementary material, where the readers could find more technical details.
Baselines We compare DPDC with the state-of-the-art dataset condensation method, i.e., distribution matching (DM) (Zhao & Bilen, 2021a), and two recent DP generative methods, i.e., DPSinkhorn (Cao et al., 2021) and DP-MERF (Harder et al., 2021).
For DP-Sinkhorn, we use Cao et al.
(2021)’s code ¶ to run the experiments.
We set m to 1 and the target ϵ to 10 .
For DP-MERF, we use Harder et al.
’s code || and follow (Harder et al., 2021) to set σ to 5 .
DPDC Settings For LDPDC, we set σ = √ d , M = 50 , L = 50 by default.
Given that b = 1 , ˜ σ 1 = σ/ ( b √ d ) = 1 .
For NDPDC, the default settings are σ = 1 , G = 1 , M = 50 , L = 50 ,
I = 10000 , and η = 1 .
We set G = 1 , so ˜
σ 2 = σ/G = 1 .
We follow (Zhao & Bilen, 2021a) to use three-layer convolutional neural networks as the feature extractors (also called ConvNetbased feature extractors) for NDPDC.
Batch normalization (BN) (Ioffe & Szegedy, 2015) is not
DP friendly since a sample’s normalized value depends on other samples (Yousefpour et al., 2021).
Therefore, we do not use BN in the extractors.
Since the data statistics like channel-wise means and channel-wise standard deviation may leak private information, we follow (Cao et al., 2021) to use a fixed value 0 . 5 for normalizing the images, which does not make obvious difference in the performance of DPDC and the baselines.
After normalization, the pixel values range from − 1 to 1 .
Performance Evaluation We employ the evaluation method in (Zhao & Bilen, 2021b;a; Dong et al., 2022) to compare the performance of DM, DP-Sinkhorn, DP-MERF, and our DPDC algo-
[Table]
rithms.
The evaluation method is to train deep learning models on the synthetic data from scratch and compare their accuracy on the real testing data.
Higher testing accuracy indicates better synthetic data utility for training deep learning models (better performance).
We also follow (Zhao & Bilen, 2021b;a) to train a variety of model architectures, including MLP (Haykin, 1994), LeNet (LeCun et al., 1998), AlexNet (Krizhevsky et al., 2017), VGG11 (Simonyan & Zisserman, 2014), and ResNet18 (He et al., 2016), on DPDC-generated synthetic data to evaluate the data utility.
4. M AIN R ESULTS
We report the main experimental results in Table 1: Our LDPDC algorithm achieves comparable performance to DP-MERF and DP-Sinkhorn with low DP budgets.
Our NDPDC algorithm provides acceptable DP guarantees ( ϵ < 10 ) with a mild utility loss, compared to the random-initialized non-private DM method (Zhao & Bilen, 2021a).
Furthermore, NDPDC allows a flexible trade-off between synthetic data utility and DP budget—If we are not satisfied with NDPDC’s DP budgets in Table 1, we could increase σ to reduce the budget.
As shown in Table 2, even with low DP budgets ϵ = 1 , NDPDC still outperforms LDPDC, DP-Sinkhorn, and DP-MERF.
For DP-MERF, even if we decrease σ to 0 .
5 ( ϵ > 10 ), the accuracy increment is only about 7% on FMNIST and less than 5% on the other datasets, as shown in Table 9 in Appendix D.
We conjecture that a small amount of NDPDC-condensed synthetic data is more useful than a small amount of DP-generator generated synthetic data because DP generative methods optimize the generative model parameters, while NDPDC directly optimizes the small amount of synthetic data.
It is worth noting that DPMix (Lee et al., 2019) is a recent linear DP data publishing method, which seems similar to LDPDC.
However, LDPDC and DPMix still have some differences as discussed in Appendix F, indicating that LDPDC may be better than DPMix.
Compared to LDPDC and DPMix, NDPDC is more suitable for solving nonlinear problems such as image recognition.
According to the results in (Lee et al., 2019), NDPDC outperforms DPMix by 13%-24% in testing accuracy on MNIST and CIFAR10.
We further train a variety of model architectures on the synthetic data generated by LDPDC and
NDPDC and report the testing accuracy in Table 3.
Since LDPDC does not rely on deep networks to learn the synthetic data, it is hard to predict which network architecture can make the best use of the LDPDC-generated synthetic data.
According to the results in Table 3, on FMNIST, CIFAR10, and CelebA, MLP makes the best use of the simple LDPDC-generated synthetic data, while on
MNIST, ResNet18 makes the best use of the synthetic data.
For NDPDC, since the synthetic data is learned on ConvNet-based extractors, ConvNet makes better use of the synthetic data than the other architectures.
Besides, we visualize the synthetic images in Appendix D: NDPDC-generated images look more diverse and more useful than the synthetic images generated by DP-Sinkhorn, DP-MERF, and DPMix (Fig.
in (Lee et al., 2019) provides synthetic images generated by DPMix.).
4. A BLATION S TUDY ON NDPDC
Although LDPDC is simple and comparable to recent DP generative methods here, we still recommend the readers to use NDPDC in practice because of its outstanding performance.
In this subsection, we conduct ablation study for NDPDC on MNIST, FMNIST, and CIFAR10 with recommendations on how to select hyperparameters for executing NDPDC.
When we study the effects of one hyperparameter, we fix the other hyperparameters as the default settings.
[Table]
Effects of Noise Multiplier σ on Privacy and Utility
We plot the DP budgets of NDPDC with different σ in Fig.
1 in Appendix D and report the corresponding testing accuracy in Table 4.
Fig.and Table 4 indicate that, as σ increases, ϵ will decrease, and the testing accuracy will also decrease.
But the testing accuracy does not decrease much as σ increases.
Thus, if we are unsatisfied with the DP budget, we could simply increase σ to obtain a low DP budget with a little loss of synthetic data utility.
Additionally, we do not recommend to set σ/G ≤ 0 .
75 , otherwise ϵ will be larger than 10 , then the DP guarantee is not very useful.
[Table]
Effects of Group Size L on Privacy and Utility
We plot the DP budgets with
different
L in
Fig.
1 in Appendix D and show the testing accuracy in Table 5.
If we increase L , it is expected that more original data will be sampled in each step for learning the synthetic data, and thus, both ϵ and the testing accuracy will increase.
According to Fig.
1 and Table 5, if we are unsatisfied with the DP budgets, we could also decrease L to 25 to obtain better DP budgets with a minor utility loss.
[Table]
Effects of Number of Iterations I on Privacy and Utility We plot the DP budgets in Fig.in Appendix D and show the testing accuracy in
Table 6.
If we increase I , since NDPDC will learn on the original data for more iterations, both the DP budget and testing accuracy will increase.
Since the testing accuracy does not increase much when I is large, reducing I is another good choice beyond increasing σ and reducing L to save DP budget with acceptable utility loss.
[Table]
Effects of Synthetic Data Size M on Privacy
and Utility We show the testing accuracy with different M in Table 7: As M increases from 10 to 200 , the testing accuracy also increases but will almost stop the uptrend around a certain M .
This is probably because more synthetic data has the potential to capture more information, but the
DP guarantee also limits the information leaked from the original data.
Since the DP budget is unchanged, after the amount of synthetic data is enough for capturing all the limited information, more synthetic data could not capture more useful information.
Given the experimental results,
M = 50 is a good setting here.
We do not recommend setting a larger M ( M > 50 ), which will result in marginal performance gain but much more cost in the downstream applications.
C ONCLUSION
In this paper, we revisit a recent proposal in ICML’22 on privacy-preserving dataset condensation and reveal that its proposed privacy bound is problematic because of two controversial assumptions.
To correctly connect data condensation and differential privacy, we propose two differentially private dataset condensation (DPDC) algorithms—LDPDC and NDPDC.
We demonstrate that LDPDC can use low DP budgets to achieve comparable performance to DP-Sinkhorn and DP-MERF.
Moreover, we show that NDPDC can provide DP guarantees with a mild utility loss compared to the distribution matching method.
We hope our work can inspire further research in this potential direction to alleviate the cost burden and privacy concern in deep learning.
A O MITTED P ROOF
We first prove Lemma A.1.
Based on Lemma A.1, we can easily prove Corollary A.1, which will be used in the proof of Theorem 3.1 & 3.2.
Lemma A.1 Let u ( z ) and ν ( z ) be two differentiable probability density functions on a domain Z ( u, ν : Z (cid:55)→ R ).
If u ( z ) ̸ =
ν ( z ) and u ( z ) , ν ( z ) > 0 on Z , then D α ((1 − q ) u ( z ) + qν ( z ) ∥ u ( z )) is an increasing function w.r.t.
q when α > 1 and q ∈ [0 , 1] .
Lemma A.1 is easy to understand: As q increases, the weight of u ( z ) in the mixture (1 − q ) u ( z ) + qν ( z ) decreases, thus the divergence between (1 − q ) u ( z ) + qν ( z ) and u ( z ) should increase.
To our best knowledge, we are the first to present Lemma A.1, so we detail the proof in the following.
Proof [proof of Lemma A.1] The R´enyi divergence D
α
((1 − q ) u ( z )
+ qν ( z ) ∥
u ( z )) is defined as
[Equation]
The derivative of Eq.
9 w.r.t q is
[Equation]
To prove Lemma A.1, we need to show Eq.
10 is positive when q ∈ [0 , 1] .
Since α > 1 and u ( z )(1 − q + q ν ( z ) u ( z ) )
α >
(If q ̸ = 0 , 1 − q + q ν ( z ) u ( z ) > 1 − q ≥ 0 ), we only need to prove (cid:82) Z ( ν ( z ) − u
( z ))(1 − q + q ν ( z ) u
( z ) )
α − 1 d z > 0 .
We divide Z into Z 1 and Z 2 , where Z 1 = { z ∈ Z| ν
( z ) <
u
( z ) } and Z 2 = { z ∈ Z|
ν
( z ) ≥ u ( z ) } .
Apparently, Z 1 and Z 2 are disjoint, and
Z =
Z 1 ∪ Z 2 .
Thus, we can rewrite (cid:82) Z ( ν ( z ) − u ( z ))
(1 − q + q ν ( z ) u ( z
[Equation]
α − 1 d z as
[Equation]
When z ∈ Z 1 , we have (i) ν
( z ) − u ( z ) < 0 ; (ii) ν
( z ) u
( z ) < 1 ( 0 < ν ( z ) <
u
( z ) ); (iii) 0 < (1 − q + q ν ( z ) u
( z ) )
α − 1 < 1 ( 1 = 1 − q + q > 1 − q + q ν ( z ) u ( z ) > 1 − q ≥ 0 ).
Therefore,
[Equation]
When z ∈ Z 2 , we have (i) ν
( z ) − u ( z ) ≥ 0 ; (ii) ν
( z ) u ( z ) ≥ 1 ( 0 < u ( z ) ≤ ν ( z ) ); (iii) (1 − q + q ν ( z ) u ( z ) )
α − 1 ≥ 1 .
Therefore,
[Equation]
As a result,
[Equation]
Thus, the derivative of Eq.
9 w.r.t q is positive.
This concludes the proof of Lemma A.1.
Corollary A.1 Let Ω q c ,σ ( α ) ≜
D α ((1 − q c ) N (0 , σ 2 ) + q c N (1 , σ 2 ) ∥N (0 , σ 2 )) , where c = 1 , 2 , ..., C .
We have max c Ω q c ,σ ( α ) =
Ω max c ( q c ) ,σ ( α ) .
Proof [proof of Corollary A.1] Let u ( z ) ≜ N (0 , σ 2 ) and ν ( z ) ≜ N (1 , σ 2 ) ( Z ≜ R ), then based on Lemma A.1, we know that Ω q,σ ( α ) is an increasing function w.r.t.
q .
Thus, the maximum of Ω q c ,σ ( α ) is achieved at max c ( q c ) .
This concludes the proof of Corollary A.1.
In addition to Corollary A.1, we also need to use a definition and a lemma from (Mironov et al., 2019) in the proof of Theorem 3.1 & 3.2:
Definition A.1 ((Mironov et al., 2019))
Let f be a function mapping subsets of a dataset D to R n .
Mironov et al.
(2019) define Sampled Gaussian Mechanism (SGM) as
[Equation]
Lemma A.2 ((Mironov et al., 2019))
Given the notations in Definition A.1, if for any two adjacent subsets D 1 and D 2 sampled from D , ∥ f ( D 1 ) − f
( D 2 ) ∥ ≤ 1 , then SGM q,σ ( D ) obeys ( α, ϵ ) -RDP, where
ϵ = D α
((1 − q ) N (0 , σ 2 )
+ q N (1 , σ 2 ) ∥N (0 , σ 2 )) .
Proof [proof of Lemma A.2]
Given the proof of Theorem 4 in (Mironov et al., 2019), we know that SGM q,σ ( D ) obeys ( α, ϵ )
-RDP, where ϵ could be max {
D α ((1 − q ) N (0 , σ 2 )
+ q N (1 , σ 2 ) ∥N (0 , σ 2 ))
, D α ( N (0 , σ 2 ) ∥ (1 − q ) N (0 , σ 2 ) + q N (1 , σ 2 )) } .
According to Theorem 5 in (Mironov et al., 2019), D α ((1 − q ) N (0 , σ 2 ) + q N (1 , σ 2 ) ∥N (0 , σ 2 )) ≥
D α ( N (0 , σ 2 ) ∥ (1 − q ) N (0 , σ 2 ) + q N (1 , σ 2 )) .
Thus, ϵ = Ω q,σ ( α ) , where Ω q,σ ( α ) ≜
D α
((1 − q ) N (0 , σ 2 )
+ q N (1 , σ 2 ) ∥N (0 , σ 2 )) .
Eventually, we can present the proof of our theorems.
Proof [proof of Theorem 3.1] Define g ( D ) =
(cid:80) | D | i =
1 x i , where D =
x i , c } | D | i =1 ; g ( ∅ )
= 0 .
For any two adjacent datasets D, D ′ ⊂ T c ( D ′ =
D ∪ { x ′ } ), we have
[Equation]
Thus, ∥ 1 b √ d g ( D ) − 1 b √ d g ( D ′ )
∥ 2 ≤ 1 .
In Algorithm 1, a synthetic data sample can be represented by
[Equation]
where ˜ σ
[Equation]
σ/
[Equation]
b √ d
[Equation]
(16) where D c is a subset sampled from T c with by Poisson sampling with sampling probability q c =
L/N c .
Apparently, SG q, ˜ σ 1 ( T c ) = 1 b √ d g ( D c ) + N ( 0 , ˜ σ 21 I ) is a sampled Gaussian mechanism (SGM), and ∥ 1 b √ d g ( D ) − 1 b √ d g ( D ′ )
∥ 2 ≤ 1 .
Given Lemma A.2, SG q, ˜ σ 1 ( T c ) obeys ( α, Ω q c , ˜ σ 1 ( α ))
-RDP with ˜ σ 1 = σ/ ( b √ d ) and q c = L/N c .
According to the post-processing property, s c also guarantees ( α, Ω q c , ˜ σ 1 ( α )) -RDP.
Since Algorithm 1 outputs M synthetic samples for each class c , according to Lemma 2.2, Algorithm 1 guarantees ( α, M Ω q c , ˜ σ 1 ( α ))
-RDP for T c .
Since T 1 , T 2 , ... T C are disjoint, according to
Lemma 2.3, Algorithm 1 guarantees ( α, max c ( M Ω q c , ˜ σ 1 ( α )))
-RDP for T
=
T 1 ∪ T 2 ... ∪ T C .
Corollary A.1 indicates that max c ( M Ω q c , ˜ σ 1 ( α )) =
M Ω max c ( q c ) , ˜ σ 1 ( α ) .
Therefore, Algorithmobeys ( α, M Ω q, ˜ σ 1 ( α )) -RDP with q = max c ( L/N c ) and ˜ σ 1 = σ/ ( b √ d ) .
Proof [Proof of Theorem 3.2] For D = { x i , y i } | D | i =1 , define g ( D ) =
(cid:80) | D | i =1 min(1 ,
G ∥ r ( x i ) ∥ 2 ) r
( x i ) , where r ( x i ) =
Φ θ ( A w c ( x i )) .
Also, define g ( ∅ ) = 0 .
For any two adjacent subsets D, D ′ ⊂ T c , and D ′ =
D ∪ { x ′ } , we have
[Equation]
Thus, ∥ 1 G g ( D ) − 1 G g
( D ′ )
∥ 2 ≤ 1 .
In each iteration of Algorithm 2, we rewrite N ( 0 , σ 2 I ) + (cid:80) | D c | i =
1 ˜ r ( x ci ) as
G ( N ( 0 , ˜ σ 22 I ) + 1 G g ( D c )) , where ˜ σ 2 = σ/G (18)
Apparently, SG q c , ˜ σ 2 ( T c ) =
1 G g ( D c )+ N ( 0 , ˜ σ 22 I ) with ˜ σ 2 = σ/G and q c =
L/N c is also a sampled
Gaussian mechanism (SGM).
Since ∥ 1 G g ( D ) − 1 G g
( D ′ )
∥ 2 ≤ 1 , SG q c , ˜ σ 2 ( T c ) obeys ( α, Ω q c , ˜ σ 2 ( α )) -
RDP, where Ω q c , ˜ σ 2 ( α ) ≜
D α ((1 − q c ) N (0 , ˜ σ 22 ) + q c N (1 , ˜ σ 22 ) ∥N (0 , ˜ σ 22 )) .
Given the post-processing property, N ( 0 , σ 2 I )
+ g
( D c ) also guarantees ( α, Ω q c , ˜ σ 2 ( α ))
-RDP with q c =
L/N c and ˜ σ 2 = σ/G .
According to Lemma 2.2, Algorithm 2 guarantees ( α, I Ω q c , ˜ σ 2 ( α ))
-RDP for T c .
Since T 1 , T 2 , ... T C are disjoint, based on Lemma 2.3, we know that Algorithm 2 guarantees ( α, max c ( I Ω q c , ˜ σ 2 ( α ))) -
RDP for T =
T 1 ∪ T 2 ... ∪ T C .
Corollary A.1 indicates that max c ( I Ω q c , ˜ σ 2 ( α ))
=
I Ω max c ( q c ) , ˜ σ 2 ( α ) .
Thus, Algorithm 2 obeys ( α, I Ω max c ( q c ) , ˜ σ 2 ( α ))
-RDP with q = max c ( L/N c ) and ˜ σ 2 = σ/G .
Here we also prove that Lemma 2.1 is tighter than Mironov (2017)’s conversion law.
Proof We first provide Mironov (2017)’s conversion law:
Lemma A.3 (RDP to DP Conversion (Mironov, 2017))
If a randomized mechanism M guarantees ( α, ϵ ) -RDP, then it also obeys ( ϵ + log(1 /δ ) /
( α − 1) , δ ) -DP.
Since ( α − 1) /α < 1 , log(( α − 1) /α ) < 0 .
Since α > 1 , log α > 0 , and thus − (log α ) / ( α − 1) < 0 .
Combining log(( α − 1) /α ) < 0 and − (log α ) / ( α − 1) < 0 , we have
[Equation]
[Equation]
We add ϵ + log(1 /δ ) /
( α − 1) to both sides of the above inequality and obtain ϵ
[Equation]
> 1 .
Therefore, Lemma 2.1 is a tighter conversion law compared to Lemma A.3.
B C OMPUTATION M ETHOD FOR Ω q,σ ( α )
In this section, we briefly introduce the computation method in (Mironov et al., 2019), which is used in Meta’s Opacus library (Yousefpour et al., 2021).
Mironov et al.
(2019) did not provide convergence analysis on the infinite series for computing the integral when α is a fractional number.
So for completeness, we provide detailed convergence proof in this section.
Let u ( z ) ≜ N (0 , σ 2 ) and ν ( z ) ≜ N (1 , σ 2 ) , we can express Ω q,σ ( α ) as
[Equation]
If α is an integer
[Equation]
the integral can be expressed as the sum of a finite number of terms by applying binomial expansion,
i
[Equation]
e.,
[Equation]
Thus, Ω q,σ ( α ) can be rewritten as
[Equation]
The remaining problem is to compute E z ∼ u
( z ) [( ν ( z ) u
( z ) )
k ] .
Given that u ( z ) =
[Equation]
exp( −
[Equation] [Equation]
and ν
[Equation]
=
[Equation]
, it is not hard to derive that
[Equation]
[Equation]
Therefore, there is an analytical solution to Ω q,σ ( α ) when α is an integer, i.e., Ω q
[Equation]
σ ( α
[Equation]
If α is a fractional number ( α ∈ R ), then we need to rely on the general binomial theorem to expand (1 − q + q ν ( z ) u ( z ) )
α .
Lemma B.1 (General Binomial Theorem)
If α, γ ∈ R and | β | < 1 , then (1 + γ ) α can be expressed as a convergent series, i.e., (1 +
[Equation]
=
[Equation]
αk (cid:1) γ k , where (cid:0) αk (cid:1) =
(cid:81)
k − 1 m =
( α − m ) k ! .
Based on Lemma B.1, we have the following corollary:
Corollary B.
If α, β, γ ∈ R and | γ | < | β | , then ( β + γ ) α can also be expressed as a convergent series, i.e., β α (1 + γβ )
[Equation]
=
[Equation]
∞ k
[Equation]
∞ k
=
[Equation]
(cid:1)
[Equation]
k
[Equation]
k , where (cid:0) αk (cid:1) =
(cid:81)
k − 1 m =
( α − m ) k ! .
Given that z 0 = 12 + σ 2 ln( q − 1 − 1) ( z 1 in (Mironov et al., 2019)), 1 − q > q ν ( z ) u ( z ) when z < z 0 , and 1 − q < q ν
( z ) u
( z )
when z > z 0 .
According to Corollary B.1, we have the following convergent series:
[Equation]
In the following, we prove that the two series in Eq.
26 are also convergent at z = z 0 .
Proof [Eq. 26 is convergent at z
= z 0 ]
If we substitute z in Eq. 26 with z 0 ( 1 − q = q ν ( z 0 ) u ( z 0 ) ), we can obtain ∞ (cid:88)
[Equation]
We first show that lim k → + ∞ | (cid:0) αk (cid:1) | = 0 by representing | (cid:0) αk (cid:1) | as a product of three partitions, i.e., |
[Equation]
α
[Equation]
When m ≥ ⌊ α ⌋ + 1 , | α − m | = m − α < m .
Thus, | α − mm | < 1 when m ≥ ⌊ α ⌋ + 1 .
So we have | (cid:81)
k − 1 m =
⌊ α ⌋ +
α − mm | < 1 .
Since | (cid:81)
⌊ α ⌋ m =
( α − m )
⌊ α ⌋ !
| is a finite number and lim k → + ∞ 1 k = 0 , we have lim k
→ + ∞ | (cid:0) αk (cid:1) | = 0 .
In summary, the series (1 − q ) α (cid:80) ∞ k =0 (cid:0) αk (cid:1) satisfies the following conditions: (i)
lim k
→ + ∞ | (cid:0) αk (cid:1)
| =(ii) When k ≥ ⌊ α ⌋ + 1 (or k > α ), (cid:0) αk (cid:1) and (cid:0) αk +1 (cid:1) have different signs (iii) | (cid:0) αk +1 (cid:1)
| < | (cid:0) αk (cid:1) | since | (cid:0) αk +1 (cid:1) | / | (cid:0) αk (cid:1)
| =
| α − k k +1 | < 1 .
Given the above conditions, according to the alternating series test, we can conclude that (cid:80) ∞ k =0 (cid:0) αk (cid:1) is a convergent series with (cid:0) αk (cid:1) =
(cid:81)
k − 1 m =
( α − m ) k ! .
Therefore, we can rewrite Eq.
26 as (Eq.
12 in (Mironov et al., 2019))
[Equation]
= (cid:40)(cid:80) ∞
k
[Equation]
(cid:0) αk (cid:1) (1 − q )
α − k q k ( ν ( z ) u ( z ) ) k when z ≤ z(cid:80) ∞
k
[Equation]
0 (cid:0) αk (cid:1) (1 − q ) k q
[Equation]
− k (
[Equation]
( z ) u ( z ) )
α − k when z ≥ z(29)
As a result, we could rewrite Ω q,σ ( α ) as Ω q,σ ( α ) =
[Equation]
( (cid:90)
[Equation]
−∞
[Equation]
( z ) ∞ (cid:88) k
= (cid:18) α k
(cid:19)
[Equation]
According to (Mironov et al., 2019)
[Equation]
we could compute the integrals in the above series by
[Equation]
The remaining problem is to prove that Eq.
30 is convergent.
Since Mironov et al.
(2019) did not provide convergence analysis, for completeness, we detail the convergence proof in the following.
Proof [Eq. 30 is convergent]
We first prove that the first half in ln( · ) in Eq.
, i.e., (cid:80) ∞ k =0 (cid:0) αk (cid:1) (1 − q )
α − k q k (cid:82) z
−∞ u ( z )( ν ( z ) u ( z ) )
k dz is a convergent series.
We rewrite the series as
[Equation]
Given that z 0 = 12 + σ 2 ln ( q − 1 − 1) , we have
[Equation]
Thus,
[Equation]
q
[Equation]
Since z − z 0 ≤ 0 for z ∈ ( −∞ , z 0 ] , exp( 2( z − z 0 ) 2 σ 2 ) ≤ 1 , and thus,
[Equation] [Equation]
Therefore, ( q 1 − q ) k (cid:82) z
−∞ u ( z )( ν ( z ) u ( z ) )
k dz is non-increasing w.r.t.
k .
Given that | (cid:0) αk +1 (cid:1) | < | (cid:0) αk (cid:1) | , we have one condition for the alternating convergence test, i.e., | (cid:0) αk (cid:1) ( q 1 − q ) k (cid:82) z
−∞ u ( z )( ν ( z ) u ( z ) )
k dz | is decreasing w.r.t.
k .
Since ( q
[Equation]
q )
[Equation]
=
[Equation]
1 and lim
[Equation]
| = 0 , we have another condition for the alternating convergence test, i.e.,
[Equation]
Given that (1 − q ) α − k q k (cid:82) z
−∞ u ( z )( ν ( z ) u ( z ) )
k is positive, and when k ≥ ⌊ α ⌋ + 1 , (cid:0) αk (cid:1) and (cid:0) αk +1 (cid:1) have different signs, we know that when k ≥ ⌊ α ⌋ + 1 , (cid:0) αk (cid:1) (
[Equation]
( z ) )
k dz and (cid:0) αk +1 (cid:1) ( q 1 − q )
k
+1 (cid:82) z
−∞ u ( z )( ν ( z ) u ( z ) )
k
+1 dz have different signs.
Therefore, according to the alternating series test, we can conclude that the first half in ln( · ) in
Eq. 30, i.e., (1 − q ) α (cid:80) ∞
k =0 (cid:0) αk (cid:1) ( q 1 − q ) k (cid:82) z
−∞ u ( z )( ν ( z
[Equation]
u ( z ) )
k dz , is a convergent series.
Next, we prove that the second half in ln( · ) in Eq.
, i.e., (cid:80) ∞ k =0 (cid:0) αk (cid:1) (1 − q )
[Equation]
+ ∞ zu ( z )( ν ( z ) u
( z ) )
α − k dz is a convergent series.
We rewrite the series as
[Equation]
Given that z 0 = 12 + σ 2 ln ( q − 1 − 1) , we have exp
[Equation]
Thus, ( q
[Equation]
} dz (39)
Since z − z 0 ≥ 0 for z ∈ [ z 0 , + ∞ ] , exp( − 2( z − z 0 ) 2 σ) ≤ 1 .
We then have
[Equation]
Hence, ( q 1 − q )
α − k (cid:82) + ∞ zu ( z )( ν ( z ) u
( z ) )
α − k dz is non-increasing w.r.t.
k .
Given that | (cid:0) αk +1 (cid:1) | < | (cid:0) αk (cid:1) | , we have one condition for the alternating convergence test, i.e., | (cid:0) αk (cid:1) ( q 1 − q )
α − k (cid:82) + ∞ zu ( z )( ν ( z ) u
( z ) )
α − k dz | is decreasing w.r.t.
k .
When k > α , ( q 1 − q )
α − k (cid:82) + ∞ z
[Equation]
1 σ
[Equation]
π (cid:82)
[Equation]
∞ zexp( − z 2 2 σ 2 ) dz ≤ 1 because 2( α − k )( z − z 0 ) ≤ 0 when k > α .
As a result, we have another condition for the alternating convergence test, i.e.,
[Equation]
Since ( q
[Equation]
q )
[Equation]
u ( z )( ν ( z ) u ( z ) )
α − k dz is positive, and when k ≥ ⌊ α ⌋ + 1 , (cid:0) αk (cid:1) and (cid:0) αk +1 (cid:1) have different signs, we know that when k ≥ ⌊ α ⌋ + 1 , (cid:0) αk (cid:1) ( q 1 − q )
α − k (cid:82) + ∞ zu ( z )
[Equation]
ν
[Equation]
z
[Equation]
u
[Equation]
z
[Equation]
α − k dz and (cid:0)
[Equation]
u ( z )
[Equation]
z ) u
[Equation]
z
[Equation]
) α − ( k
[Equation]
) dz have different signs.
Therefore, according to the alternating series test, we conclude that the second half in ln( · ) in Eq.
, i.e., (cid:80) ∞ k =0 (cid:0) αk (cid:1) (1 − q ) k
q α − k
(cid:82) + ∞ zu
( z )( ν ( z ) u
( z ) )
α − k dz is a convergent series.
All in all, Eq. 30 is convergent.
The practical computation of Ω q,σ ( α ) when α is a fractional number proceeds by computing (cid:82) z−∞ u ( z )( ν ( z )
u ( z ) )
k dz and (cid:82) + ∞ zu ( z )( ν ( z ) u
( z ) )
α − k dz with Eq. 31 and then plugging in the results into the series Eq. 30 until convergence (Mironov et al., 2019).
C S YNTHETIC D ATA D EFINED BY E Q .
According to (Dong et al., 2022), the synthetic data defined by Eq.
7 is represented under the orthogonal basis E = { e 1 , e 2 , ..., e d } .
Thus, we need to transform the synthetic data back to the standard basis with Eq. 8.
Here we explain how to compute the synthetic dataset defined by Eq. 8.
For each class c , we flatten and concatenate the data from T c into a data matrix X c with |T c | rows and d columns.
Each row of X c is a data sample with dimension d .
We then compute the transformation matrix by QR decomposition, i.e., X c = Q c ˜ X c .
After that, we randomly sample M Gaussian noise samples { ˜ s c,i } Mi =1 from N ( 0 , I d ) and compute M synthetic samples for class c by Eq.
8, i.e., s ∗ c,i =
Q c ˜ s c,i + 1 |T c | (cid:80) |T
c | j =1 x c,j , where T c = { x c,j , c } |T c | j =1 and x c,j is also flattened.
Finally, we reshape s ∗ c,i into the original data shape.
The synthetic dataset is {{ s ∗ c,i } Mi =1 } Cc =1 .
Dataset
Noise
Test Acc
DP budget
MNIST σ
=96 .
46% ± 0 .
20% (2 . 16 , 10 − 5 )
-DP σ =95 .
89% ± 0 .
07% (1 . 32 , 10 − 5 )
-DP σ =95 .
59% ± 0 .
95 , 10 − 5 )
-DP σ =94 .
96% ± 0 .
19% (0 . 74 , 10 − 5 )
-DP
FMNIST σ =80 .
96% ± 0 .
39% (1 . 93 , 10 − 5 )
-DP σ =79 .
43% ± 0 .
46% (1 . 19 , 10 − 5 )
-DP σ =78 .
42% ± 0 .
41% (0 . 85 , 10 − 5 )
-DP σ =77 .
81% ± 0 .
67 , 10 − 5 )
-DP
CIFAR σ =47 .
93% ± 0 .
43% (2 . 36 , 10 − 5 )
-DP σ =45 .
03% ± 0 .
62% (1 . 44 , 10 − 5 )
-DP σ =42 .
73% ± 0 .
54% (1 . 04 , 10 − 5 )
-DP σ =41 .
20% ± 0 .
51% (0 . 81 , 10 − 5 )
-DP
CelebA σ =78 .
49% ± 0 .
42% (0 . 17 , 10 − 5 )
-DP σ =77 .
38% ± 1 .
05% (0 . 09 , 10 − 5 )
-DP σ =76 .
46% ± 1 .
32% (0 . 07 , 10 − 5 )
-DP
[Table]
[Figure] [Figure]
D A DDITIONAL E XPERIMENTAL R ESULTS
We visualize synthetic images generated by DM, DP-Sinkhorn, DP-MERF, LDPDC, and NDPDC in Fig.
2 and Fig.
Compared to DM-generated images, NDPDC-generated images are more noisy due to the DP guarantees.
A surprising result is that LDPDC-generated images look like noise but the models still can learn some information from LDPDC-generated images.
We conjecture that this is because LDPDC-generated images still have certain patterns, but the patterns are hardly perceptible by human beings because of the high noise ( σ = √ d ).
We remark that, although the synthetic images generated by DP-Sinkhorn on CelebA look like faces, they are not very colorful and not diverse.
Therefore, when being tested on the colorful and diverse original CelebA images, the model trained on NDPDC-generated images has better accuracy than the model trained on DP-Sinkhorn generated images.
[Table]
Beyond the visualization results, we report the results of NDPDC with high σ and low DP budgets in
Table 8.
We set σ set to 0 .
5 and report the results of DP-MERF (Harder et al., 2021) in Table 9.
We also evaluate DP-HP using Vinaroz et al.
’s publicly available code ** and report the results on
MNIST and FMNIST in Table 10.
[Table]
E E XTENDED R ELATED W ORK
Generative Methods The previous literature has proposed an array of generative methods for synthetic data generation (Kingma & Welling, 2013; Goodfellow et al., 2014; Mirza & Osindero, 2014; Higgins et al., 2016; Arjovsky et al., 2017; Brock et al., 2018).
Due to the growing privacy concern, recent research also focuses on developing differentially private generative methods (Xie et al., 2018; Jordon et al., 2018;
Torkzadehmahani et al., 2019; Long et al., 2021).
Xie et al.
(2018) first combined DP-SGD and GAN to generate private synthetic data.
Torkzadehmahani et al.
combined conditional GAN and DP-SGD to generate class-conditional private data.
Jordon et al.
(2018) applied PATE (Papernot et al., 2016) to GAN and developed a differentially private GAN framework called PATE-GAN.
PATE-GAN trains a student discriminator on the labels output by the PATE mechanism and trains the generator on the generative loss computed over the student discriminator.
(Long et al., 2021) proposed a framework called G-PATE with a private gradient aggregation mechanism to enable a better combination of PATE and GAN.
GS-WGAN
(Chen et al., 2020) proposed to selectively apply the randomized mechanism in DP-SGD to maximally preserve the true gradient direction and use the Wasserstein objective to improve the amount of gradient information flow during training the generative models.
DP-MERF (Harder et al., 2021) proposed to train the generator by matching the mean embeddings of the real data and the generator-output synthetic data.
The main differences between DP-MERF and NDPDC include (i) NDPDC uses neural network based feature extractors to compute the representations, while DP-MERF uses random
Fourier features to compute the embeddings; (ii) NDPDC directly optimizes on the synthetic data, while DP-MERF optimizes the generative model parameters; (iii) NDPDC and DP-MERF apply the Gaussian mechanism in a different way.
DP-Shinkhorn (Cao et al., 2021) framed the generative learning problem as minimizing the optimal transport distance and trained the generative models using a semi-debiased Sinkhorn loss.
Cao et al.
(2021) demonstrated that, using (10 , 10 − 5 ) -DP budget, DP-Shinkhorn can generate synthetic data with better utility and quality than G-PATE and
GS-WGAN on MNIST and FashionMNIST.
Differential Privacy
In addition to DP and RDP, the prior research has proposed some other differential privacy notations, such as Concentrated Differential Privacy (CDP) (Dwork & Rothblum, 2016), zero CDP (Bun & Steinke, 2016), and truncated CDP (Bun et al., 2018).
CDP (Dwork &
Rothblum, 2016) is a relaxation of DP—An algorithm obeys ( µ, τ ) -CDP if privacy loss random variable has mean µ , and its deviation from µ is subgaussian with standard τ .
Zero CDP (Bun & Steinke, 2016) is an alternative formulation of CDP, and truncated CDP is a relaxation of zero
CDP.
Beyond proposing new notations for enhancing privacy analysis, the prior literature also studied privacy amplification by (sub)sampling, which was first proposed in (Kasiviswanathan et al., 2011; Beimel et al., 2013).
The randomness introduced by sampling benefits the analysis in (Bassily et al., 2014; Foulds et al., 2016).
Recently, Wang et al.
; Mironov et al.
(2019) studied the (sub)sampled Gaussian mechanism—a combination of subsampling and the Gaussian mechanism and delivered privacy analysis under the framework of RDP.
We follow Opacus (Yousefpour et al., 2021) to exploit (Mironov et al., 2019)’s results in our proof and experiments and provide detailed convergence analysis for (Mironov et al., 2019)’s computation method.
F A DDITIONAL D ISCUSSION
Additional Discussion on LDPDC and DPMix Similar to LDPDC, DPMix (Lee et al., 2019) is a linear algorithm for differentially private data generation.
However, there are some differences between LDPDC and DPMix:
LDPDC does not need to randomize the labels with the help of the parallel composition law, but DPMix needs to randomize the labels.
We note that adding noise to the labels may hurt the model performance.
LDPDC adds noise to the sum of samples and divides it by the fixed group size L , while DPMix directly adds noise to the mean of the samples.
For LDPDC, dividing the randomized result by the group size L could help dilute the negative effects of random noise on model performance.
Actually, we find that, for LDPDC, if we directly add noise to mean of samples like DPMix, the performance of LDPDC will become much worse.
DPMix uses sampling without replacement, while LDPDC uses Poisson sampling.
Note that Poisson sampling is the standard sampling method used in the state-of-the-art Pytorch library for differentially private deep learning (Yousefpour et al., 2021).
We have reproduced DPMix and observe that LDPDC has better performance than DPMix with the settings for dataset condensation.
Specifically, we set σ X =
σ Y = 1 , L = 50 , and M = 50 , the result that we reproduce for DPMix is only 10.22% ± 1.23% on CIFAR10.
We conjecture that this may be because (i) The operations of adding noise to the labels and the mean of the samples in
DPMix cause more negative effects on model performance, compared to LDPDC.
(ii) DPMix may be only able to use a large number of synthetic samples to achieve the results reported in (Lee et al., 2019).
(iii)
There are some missing details in the published version of (Lee et al., 2019) that may affect the effectiveness of DPMix.
If we instead refer to the results reported in (Lee et al., 2019), we also observe that LDPDC can use lower DP budgets to achieve comparable performance to DPMix.
General DP Data Generation vs. DP Dataset Condensation There is a major difference between general DP data generation methods and DP dataset condensation methods: General DP data generation methods typically target at training generative models to generate new synthetic data samples, while DP dataset condensation methods aim to condense the original dataset into a small synthetic dataset and maintain the data utility for training models.
To achieve the respective goals,
DP generative methods optimize the generative model parameters, while NDPDC directly optimizes the small synthetic dataset.
Thus, DP data generation methods may be more useful for generating new data samples with the learned generators, but DP dataset condensation is more useful for dataefficient learning (Zhao & Bilen, 2021a;
Zhao et al., 2021; Zhao & Bilen, 2021b).
This is because
DP dataset condensation significantly reduces the cost of data storage and model training, and the models trained on a small amount of data produced by DP dataset condensation methods have better utility than the models trained on a small amount of data generated by DP generative methods.
Practical Use of DP Dataset Condensation A useful and practical application of DP dataset condensation methods is: Data owners with privacy concerns could condense their datasets into small synthetic datasets by DP dataset condensation methods.
With DP protection, the data owners would feel more comfortable to share the synthetic datasets with other users or devices.
Even if some users or devices do not have much computational resource or storage, they could store the small synthetic datasets and train models with not bad utility.
The data owners could also share their data with trusted entities such as governments, hospitals, or banks.
To mitigate the data owners’ concerns, the trusted entities can execute DP dataset condensation methods on the collected data and share the small synthetic datasets with other users or devices.
In this application, DP dataset condensation is a better choice than general DP data generation methods since the models trained on the small synthetic datasets produced by DP dataset condensation methods have better utility than the models trained on the data generated by DP generation methods.