Pith. sign in

REVIEW 3 major objections 4 minor 68 references

The paper claims that replacing the Gaussian mechanism in DP-SGD with a two-parameter randomized-scale Laplace noise can improve model accuracy in the high-privacy regime, reporting gains of roughly 10 to 40 accuracy points at epsilon aroun

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-04 23:54 UTC pith:HGRWZJFK

load-bearing objection The mechanism is clever and the experiments are impressive, but the multivariate privacy bound in Theorem 4.9 is not valid, so the headline epsilon values are unsupported. the 3 major comments →

arxiv 2509.06264 v1 pith:HGRWZJFK submitted 2025-09-08 cs.CR cs.LG

PLRV-O: Advancing Differentially Private Deep Learning via Privacy Loss Random Variable Optimization

classification cs.CR cs.LG
keywords differential privacyDP-SGDprivacy loss random variablerandomized-scale Laplace mechanismmoments accountantsubsampling amplificationmajorizationprivate fine-tuning
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper's central claim is that the standard Gaussian noise in DP-SGD is an unnecessarily restrictive choice, and that a two-parameter family of Laplace noises with randomized scale can be both privacy-accounted and tuned to the task. PLRV-O builds this family by drawing the inverse scale from a gamma distribution, and derives a moments accountant for it that works with l2 clipping via a majorization bound. The payoff is a claimed separation of privacy cost from distortion: for the same reported epsilon, the optimized noise can tolerate larger clipping thresholds and preserves more signal. Reported results include 94.03% accuracy at epsilon about 0.5 on CIFAR-10 ViT fine-tuning versus 83.93% for Gaussian, and 92.20% at epsilon about 0.2 on SST-2 RoBERTa-large versus 50.25%.

Core claim

PLRV-O claims that the privacy loss random variable, not the noise distribution itself, is the right target for mechanism design in DP-SGD. It introduces a search space of randomized-scale Laplace mechanisms, where the inverse scale u=1/b follows a gamma distribution with shape k and scale theta. For this family, Theorem 4.9 bounds the subsampled multivariate moments accountant by a sum of per-coordinate terms evaluated on the majorization set x_i = C(sqrt(i)-sqrt(i-1)), with each term depending on the moment generating function of u; because that MGF is (1 - t theta)^{-k}, the account is closed-form and can support thousands of moment orders. This turns noise design into a constrained optim

What carries the argument

Two interlocking pieces. The first is the PLRV noise itself: a multivariate Laplace mechanism whose scale b is a random draw from a seed density, so the noise density is a mixture of Laplace densities. The second is a privacy accountant for it: after l2 clipping, the coordinate-wise subsampled moments are Schur-convex, and the majorization set x_i = C(sqrt(i)-sqrt(i-1)) dominates the clipped gradient magnitudes in weak majorization order; therefore the total moments bound is the sum of the univariate bounds, with each univariate bound expressed through the MGF M_u(t)=(1-t theta)^{-k} for gamma seeds. The separation of k (which mostly controls entropy and utility) and theta (which mostly cont

Load-bearing premise

The whole privacy accounting assumes that the privacy loss of one training step can be bounded by the sum of per-coordinate privacy-loss bounds, which requires the subsampling events and the random noise scale to be independent across coordinates; in the actual algorithm they are shared, so correlated coordinate losses could make the true loss exceed the bound.

What would settle it

Run one iteration of the actual PLRV-O algorithm (shared batch mask and a single sampled scale b for all coordinates) on a small model, compute the full multivariate privacy-loss distribution numerically by exact or PLD-style accounting, and compare the resulting epsilon with the sum-of-coordinate bound; if the direct epsilon is larger than the reported bound, the privacy guarantee is understated.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • At strictly small epsilon, PLRV-O reports accuracy gains over Gaussian DP-SGD large enough to change deployment choices: e.g., 94.03% vs 83.93% on CIFAR-10 ViT at epsilon about 0.5, and 92.20% vs 50.25% on SST-2 RoBERTa-large at epsilon about 0.2.
  • Because the accountant runs per coordinate and sums via a majorization set, the method avoids the sqrt(n) noise inflation that made Laplace noise impractical for deep nets, so it applies to models with tens of millions of parameters.
  • The same noise mechanism can be dropped into other DP algorithms: the paper reports consistent gains when PLRV-O noise replaces Gaussian noise in DP-FTRL on MNIST and CIFAR-10.
  • The framework supports tailoring noise to task properties such as model size, number of steps, batch sampling rate, and clipping threshold; the reported runs also show faster convergence at the same epsilon.
  • Any seed distribution with a known moment generating function can be used in the same accounting, so the gamma family is an instance rather than an endpoint.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The central reported epsilons inherit a risk: because one scale b is sampled per update and shared by all parameters, the per-coordinate independence assumption in the moments accountant may understate true privacy loss; a numerical PLD audit of the exact multivariate mechanism would settle this.
  • If the multivariate bound fails, the strong-accuracy results would need to be re-read at their true (larger) epsilon; the Gaussian comparisons might still favor PLRV-O, but the margin would shrink.
  • The optimization objective C(k-1)theta is a signal-to-noise surrogate, not an accuracy guarantee; the paper does not prove that maximizing this objective maximizes test accuracy, so the reported gains are empirical rather than optimality-based.
  • A natural next step is to test the same randomized-scale construction with other distortion measures beyond l1 error, such as l2 or per-coordinate heterogeneous costs, since the accountant only needs the MGF of the reciprocal scale.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper introduces PLRV-O, a framework for DP-SGD in which the noise distribution is a multivariate Laplace mechanism whose scale parameter is itself randomized (Definition 4.6). The scale is drawn from a Gamma distribution, giving two tunable parameters (k, theta) in addition to the clipping threshold C. The authors derive a moments accountant for this mechanism (Theorem 4.9), apply majorization to support ℓ2 clipping, and then optimize the parameters with a constrained nonlinear solver. The empirical sections report large utility improvements at very small ε: e.g., 94.03% CIFAR-10 ViT accuracy at ε≈0.5 and 92.20% SST-2 RoBERTa-large accuracy at ε≈0.2, compared to Gaussian baselines. The central claim is that PLRV-O achieves these results under valid (ε, δ)-DP guarantees with a tight accountant.

Significance. If the privacy accounting were sound, this would be a significant contribution: it proposes a genuinely non-Gaussian DP-SGD noise family, gives a closed-form moments accountant, and demonstrates substantial utility gains at strong privacy levels across both vision and language tasks. The paper includes source code and extensive experiments, and the attempt to optimize the privacy loss random variable itself is an interesting angle. However, the central privacy bound is not a valid upper bound on the true joint moments accountant. Since the headline ε values and all comparisons depend on that bound, the main scientific claim is currently unsupported.

major comments (3)
  1. [Theorem 4.5, Eq. (16)] Eq. (19) bounds the multivariate PLRV mechanism's moments accountant by the sum of per-coordinate univariate moment bounds. This is not a valid upper bound, because the PLRV mechanism in Definitions 4.6–4.7 draws a single scale b for the whole vector, and the DP-SGD subsampling event is shared across all coordinates. For one iteration, after the binomial expansion the true subsampled moment contains a term of the form E_b[∏_i F_i(b)] (where the product is over coordinates and F_i depends on the coordinate's majorized sensitivity x_i and the same random b), while the proof uses ∏_i E_b[F_i(b)]. The functions F_i(b) are comonotone (decreasing) in b, so E_b[∏_i F_i(b)] ≥ ∏_i E_b[F_i(b)]. Thus Eq. (19) underestimates the privacy loss. The 'composition over coordinates' argument in §4.1 would require releasing coordinates with independent randomness; it does not apply to a one-shot vector-val
  2. The same flaw already appears in Theorem 4.5 for the standard multivariate Laplace mechanism: Eq. (15) sets the total MAF to Σ_i α_{g_i}(λ), and Eq. (16) bounds it by summing per-coordinate univariate subsampled Laplace bounds. Conditional on the scale b, coordinates are independent, but the batch-inclusion event is common to all coordinates, so the mixture induced by subsampling does not factor across coordinates. Even for fixed b, the joint moment is log E_{(I,z)}[(1−ζ+ζ r(z))^{λ+1}] with r(z) = exp(Σ_i (|z_i| − |z_i−g_i|)/b), not the sum of per-coordinate log-moments. Consequently the resulting bound is not an upper bound. Since Theorem 4.9 inherits this structure from Theorem 4.5, the central privacy guarantee of the paper is unsupported.
  3. [§6.4] The privacy audit reports only empirical lower bounds on ε under specific attacks (ClipBKD), with a finite number of trials. Such an audit cannot certify the claimed (ε, δ)-DP guarantees. The validation of the headline privacy numbers must come from the moments accountant, which is exactly the step that fails. The audit therefore does not mitigate the flaw in Theorem 4.9.
minor comments (4)
  1. [§1] The phrase 'Mironov et al. [42] and Sander et al. [42, 51]' appears to have a citation error: reference [42] is listed twice. Please correct.
  2. [Appendix B.2] The proof refers to 'Proof B.2 (Theorem 3.2)', but there is no Theorem 3.2 in the paper; the intended reference is likely Theorem 4.2. Similar internal cross-reference issues appear elsewhere.
  3. [Algorithm 3] The algorithm header includes 'φ2' but the algorithm signature uses 'φ1'; this appears to be an artifact. Also, line 3 computes T = ⌈E/q⌉ while the text earlier uses T = ⌈E·N/B⌉; please reconcile the notation.
  4. [Figures 10–11] The y-axis in the audit plots is labeled 'Estimate' but the caption says 'empirical ε'. Clarify whether these are lower bounds on ε and how the confidence level 0.01 maps to the displayed values.

Circularity Check

0 steps flagged

No significant circularity: PLRV-O's privacy bound is derived from the mechanism, and the utility numbers are empirical outcomes, not refits of the bound.

full rationale

The paper's central derivation chain is: Definitions 4.6/4.7 define PLRV noise/mechanism; Theorem 4.8 derives a univariate subsampled PLRV moments accountant by applying the law of total expectation to the fixed-scale Laplace bound (Theorem 4.2) and using the MGF of the reciprocal scale; Theorem 4.9 extends this to n coordinates via a Schur-convexity/majorization argument (Theorem 4.3, Lemma 4.4). None of these steps defines the conclusion in terms of the inputs: the MAF bound is an analytic upper bound in (k, theta, C, zeta, T), and the reported epsilon values come from plugging chosen parameters into that bound, not from fitting epsilon to the observed accuracies. The optimization (Algorithm 1) maximizes a surrogate J = C(k-1)theta and imposes heuristic constraints (Cmin, rho=2, distortion cap 10); these are tuning heuristics and do not make the privacy guarantee a renamed fit. The citations to the authors' prior work (e.g., [43], [21], [22]) are contextual or for orthogonal applications, not load-bearing for the privacy proof; the load-bearing references (Mironov et al. [42], majorization [41,56]) are external. Footnote 6 flags that the multivariate bound sums per-coordinate accountants 'similar to how composability traditionally applies over iterations'; this is a potential validity gap (the shared scale b and shared subsampling event make coordinate privacy losses positively correlated, so the sum may under-estimate the true joint MAF), but a correctness gap is not a circularity. The privacy audit in Sec. 6.4 gives empirical lower bounds and is not used to calibrate the theoretical epsilon. Hence no step in the paper's derivation reduces to its own inputs by construction.

Axiom & Free-Parameter Ledger

6 free parameters · 5 axioms · 0 invented entities

The central theoretical construction, the multivariate PLRV moments accountant, depends on the questionable assumption that per-coordinate subsampled bounds can be summed. The free parameters k, theta, C and heuristic constraints are needed to make the optimization tractable. No new physical entities are introduced.

free parameters (6)
  • k (Gamma shape) = Examples: 141.06, 5242.4, 60000, 10000
    Optimized by Algorithm 1 to maximize SNR subject to privacy and distortion constraints.
  • theta (Gamma scale) = Examples: 8.32e-4, 2.08e-5, 1e-5
    Optimized together with k and C; controls the scale of the Laplace noise.
  • C (clipping threshold) = Examples: 0.1, 0.3, 0.5, 5.0, 10.0, 15.0
    Optimized within the heuristic range [Cmin, 2Cmin].
  • rho (clip-span ratio) = approximately 2
    Hand-set in Algorithm 1: Cmax = rho * Cmin.
  • Distortion cap = 10
    Hand-set constraint c4: theta >= 0.1/(k-1), used to filter the search space.
  • lambda_max (max moment order) = Large, e.g., 10^3
    Heuristic bound on the Rényi moment order for the MAF computation.
axioms (5)
  • standard math Standard moments accountant and Rényi DP composition theorems (Mironov et al.)
    Used to define the MAF and its composability over iterations.
  • domain assumption Poisson subsampling with rate zeta
    The privacy amplification analysis assumes each element is included independently with probability zeta.
  • standard math Post-processing: DP guarantee of a mechanism that outputs (b,z) transfers to marginal z
    Used to justify analyzing the joint distribution over scale b and noise z instead of the marginal z.
  • standard math Schur-convexity of the univariate Laplace MAF and the majorization set bound (Lemma 4.4)
    The proof of Lemma 4.4 is correct, but its use for the multivariate PLRV mechanism is where the invalid decomposition occurs.
  • ad hoc to paper Heuristic constraints c0-c4 in Algorithm 1
    Cmax=2Cmin, Gamma CDF stability, distortion cap, and k>1 are hand-tuned and not derived from first principles.

pith-pipeline@v1.3.0-alltime-deepseek · 39165 in / 33640 out tokens · 359409 ms · 2026-08-04T23:54:41.977876+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of PLRV-O: Advancing Differentially Private Deep Learning via Privacy Loss Random Variable Optimization." pith.science (2026). https://pith.science/paper/HGRWZJFK

@misc{pith2026250906264,
  author       = {Pith},
  title        = {Pith review of: PLRV-O: Advancing Differentially Private Deep Learning via Privacy Loss Random Variable Optimization},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HGRWZJFK}},
  note         = {Machine review of arXiv:2509.06264}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Differentially Private Stochastic Gradient Descent (DP-SGD) is a standard method for enforcing privacy in deep learning, typically using the Gaussian mechanism to perturb gradient updates. However, conventional mechanisms such as Gaussian and Laplacian noise are parameterized only by variance or scale. This single degree of freedom ties the magnitude of noise directly to both privacy loss and utility degradation, preventing independent control of these two factors. The problem becomes more pronounced when the number of composition rounds T and batch size B vary across tasks, as these variations induce task-dependent shifts in the privacy-utility trade-off, where small changes in noise parameters can disproportionately affect model accuracy. To address this limitation, we introduce PLRV-O, a framework that defines a broad search space of parameterized DP-SGD noise distributions, where privacy loss moments are tightly characterized yet can be optimized more independently with respect to utility loss. This formulation enables systematic adaptation of noise to task-specific requirements, including (i) model size, (ii) training duration, (iii) batch sampling strategies, and (iv) clipping thresholds under both training and fine-tuning settings. Empirical results demonstrate that PLRV-O substantially improves utility under strict privacy constraints. On CIFAR-10, a fine-tuned ViT achieves 94.03% accuracy at epsilon approximately 0.5, compared to 83.93% with Gaussian noise. On SST-2, RoBERTa-large reaches 92.20% accuracy at epsilon approximately 0.2, versus 50.25% with Gaussian.

Figures

Figures reproduced from arXiv: 2509.06264 by Ashish Kundu, Ayesha Samreen, Christopher J Quinn, Han Wang, Meisam Mohammady, Nicholas Stout, Qin Yang, Yan Yan, Yuan Hong.

Figure 1
Figure 1. Figure 1: Delta test ratio 𝛿 (𝜖 → 0) of the Gaussian to Laplace mechanisms under varying noise levels. Laplace mechanism significantly outperforms Gaussian in 𝜖 → 0. performance in high-dimensional spaces. Recall the relationship ∥𝑥 ∥1 ≤ √ 𝑛∥𝑥 ∥2, a direct consequence of the Cauchy–Schwarz in￾equality [55]. The volumes of clipped spaces—the ℓ1 cross-polytope and ℓ2 ball—scale as 𝑉ℓ1 (𝑛, C) = (2C) 𝑛 𝑛! and 𝑉ℓ2 (𝑛, C)… view at source ↗
Figure 2
Figure 2. Figure 2: The volume of 𝑛-dimensional vector space clipped by 𝐶-ℓ1 and 𝐶-ℓ2 norms. Second, task-specific DP-SGD optimization requires a much larger decision space than Gaussian or Laplace mechanisms, which each rely on a single parameter (variance 𝜎 2 or 2𝑏 2 ). Factors such as epochs (𝐸), batch size (𝐵), and whether the task is fine-tuning or pretraining directly shape privacy accounting and clipping needs, produci… view at source ↗
Figure 3
Figure 3. Figure 3: Visualization of 𝜃 controlling entropy (privacy, learnability) and 𝑘 controlling distortion (accuracy). Gamma-Distributed Seeds in PLRV. This composability enables flexible MAF dynamics optimized for learning parameters 𝑋 = (E, 𝐵,𝐶) and privacy targets (𝜖, 𝛿). Positive-domain distributions with known MGFs—e.g., exponential, chi-squared, Weibull—can be combined to tailor noise for specific trade-offs. Among… view at source ↗
Figure 4
Figure 4. Figure 4: An overview of the PLRV-O framework. Algorithm 2 PLRV-O Moments Accountant (MAF_PLRV-O) Input: Moment 𝜆 ∈ N+, Sampling rate 𝜁 , PLRV-O parameters (𝑘, 𝜃), Population 𝑁, Clipping threshold 𝐶 Output: Order-𝜆 log moment 𝛼𝜆 1: 𝑛 ← 𝜆 + 1 2: sum← 0 3: log𝑤𝜂 ← ∅ // Define PLRV-O coefficients 4: 𝑏1 (𝜂) ← 𝜂 2𝜂 − 1 5: 𝑏2 (𝜂) ← 𝜂 − 1 2𝜂 − 1 6: 𝛼1 (𝜂) ← 𝐶(𝜂 − 1)𝜃 7: 𝛼2 (𝜂) ← 𝐶𝜂𝜃 8: for 𝑖 = 1 to 𝑁 do // can be paralleli… view at source ↗
Figure 5
Figure 5. Figure 5: Signal-to-noise ratio (SNR) as a surrogate utility [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Model evaluation results for CV tasks [PITH_FULL_IMAGE:figures/full_fig_p009_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Model evaluation results for QNLI tasks using BERT and RoBERTa (Base and Large). [PITH_FULL_IMAGE:figures/full_fig_p011_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Model evaluation results for SST-2 tasks using BERT and RoBERTa (Base and Large). [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Privacy loss vs. T, clip. (a) 𝑘 = 414.2857, 𝜃 = 2.4196 ∗ 10−4 , 𝑞 = 0.00977631, 𝛿 = 10−5 and 𝑁 = 109482240. (b) 𝜎 = 0.1. classifier 𝑇 that distinguishes 𝒜(𝐷) from 𝒜(𝐷 ∪𝑆) with significant advantage over random guessing. We follow the auditing steps with ClipBKD, a clipping-aware backdoor attack robust to clipping [32]. For CV tasks, we use Fashion-MNIST [62] and Purchase-100 [53]; for NLP, SST-2 and QNLI. … view at source ↗
Figure 10
Figure 10. Figure 10: NLP performance of privacy attacks ClipBKD. [PITH_FULL_IMAGE:figures/full_fig_p012_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: CV performance of privacy attacks ClipBKD. [PITH_FULL_IMAGE:figures/full_fig_p012_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: Training accuracy over training steps for [PITH_FULL_IMAGE:figures/full_fig_p012_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: Γ-PLRV-O SS 50 125 200 k values 0 0.015 0.03 3 va l u e s Clip = 0:644444 0 2 [0:0; 0:5) 0 2 [0:5; 1:0) 0 2 [1:0; 2:0) 0 2 [2:0; 4:0) 20 110 200 k values 0 0.015 0.03 3 va l u e s Clip = 1:188889 0 2 [0:0; 0:5) 0 2 [0:5; 1:0) 0 2 [1:0; 2:0) 0 2 [2:0; 4:0) 50 125 200 k values 2 6.5 11 3 va l u e s #10!3Clip = 1:733333 0 2 [0:0; 0:5) 0 2 [0:5; 1:0) 0 2 [1:0; 2:0) 0 2 [2:0; 4:0) [PITH_FULL_IMAGE:figures/ful… view at source ↗
Figure 14
Figure 14. Figure 14: Search space for configurations in an MNLI task. [PITH_FULL_IMAGE:figures/full_fig_p022_14.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

68 extracted references · 65 canonical work pages · 1 internal anchor

  1. [1]

    Martin Abadi, Andy Chu, Ian Goodfellow, H Brendan McMahan, Ilya Mironov, Kunal Talwar, and Li Zhang. 2016. Deep learning with differential privacy. In CCS. 308–318

  2. [2]

    Borja Balle, Gilles Barthe, Marco Gaboardi, Justin Hsu, and Tetsuya Sato. 2020. Hypothesis Testing Interpretations and Rényi Differential Privacy. InAISTATS

  3. [3]

    Borja Balle and Yu-Xiang Wang. 2018. Improving the Gaussian mechanism for differential privacy: Analytical calibration and optimal denoising. InICML

  4. [4]

    Jeremy Bernstein, Jiawei Zhao, Kamyar Azizzadenesheli, and Anima Anandkumar

  5. [5]

    Paul T Boggs and Jon W Tolle. 1995. Sequential quadratic programming.Acta numerica4 (1995), 1–51

  6. [6]

    Zhiqi Bu, Sivakanth Gopi, Janardhan Kulkarni, Yin Tat Lee, Hanwen Shen, and Uthaipon Tantipongpipat. 2021. Fast and Memory Efficient Eifferentially Private- SGD via JL projections.NeurIPS34 (2021), 19680–19691

  7. [7]

    Zhiqi Bu, Jialin Mao, and Shiyun Xu. 2022. Scalable and efficient training of large convolutional neural networks with differential privacy.NeurIPS(2022)

  8. [8]

    Zhiqi Bu, Yu-Xiang Wang, Sheng Zha, and George Karypis. 2022. Differen- tially private bias-term only fine-tuning of foundation models. InNeurIPS 2022 Workshop on Trustworthy and Socially Responsible Machine Learning (TSRML)

  9. [9]

    Rothblum, and Thomas Steinke

    Mark Bun, Cynthia Dwork, Guy N. Rothblum, and Thomas Steinke. 2018. Com- posable and Versatile Privacy via Truncated CDP. InSTOC. 74–86

  10. [10]

    Richard H Byrd, Jean Charles Gilbert, and Jorge Nocedal. 2000. A trust region method based on interior point techniques for nonlinear programming.Mathe- matical programming89, 1 (2000), 149–185

  11. [11]

    Richard H Byrd, Mary E Hribar, and Jorge Nocedal. 1999. An interior point algorithm for large-scale nonlinear programming.SIAM Journal on Optimization 9, 4 (1999), 877–900

  12. [12]

    Nicholas Carlini, Chang Liu, Úlfar Erlingsson, Jeremy Kos, and Dawn Song. 2019. The Secret Sharer: Evaluating and Testing Unintended Memorization in Neural Networks. InUSENIX Security. 267–284

  13. [13]

    Giovanni Cherubin, Boris Köpf, Andrew Paverd, Shruti Tople, Lukas Wutschitz, and Santiago Zanella-Béguelin. 2024. Closed-Form Bounds for DP-SGD against Record-level Inference Attacks. InUSENIX Security. 4819–4836

  14. [14]

    Erik Daxberger, Agustinus Kristiadi, Alexander Immer, Runa Eschenhagen, Matthias Bauer, and Philipp Hennig. 2021. Laplace redux-effortless bayesian deep learning.NeurIPS34 (2021), 20089–20103

  15. [15]

    Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2019. BERT: Pre-training of deep bidirectional transformers for language understanding. In NAACL-HLT. 4171–4186

  16. [16]

    Minxin Du, Xiang Yue, Sherman SM Chow, Tianhao Wang, Chenyu Huang, and Huan Sun. 2023. Dp-forward: Fine-tuning and inference on language models with differential privacy in forward pass. InCCS. 2665–2679

  17. [17]

    Cynthia Dwork. 2006. Differential Privacy. InICALP. 1–12

  18. [18]

    Cynthia Dwork, Krishnaram Kenthapadi, Frank McSherry, Ilya Mironov, and Moni Naor. 2006. Our data, ourselves: Privacy via distributed noise generation. InAdvances in Cryptology—EUROCRYPT. 486–503

  19. [19]

    Cynthia Dwork, Aaron Roth, et al. 2014. The algorithmic foundations of differ- ential privacy.Foundations and Trends®in Theoretical Computer Science(2014)

  20. [20]

    Cynthia Dwork, Guy N Rothblum, and Salil Vadhan. 2010. Boosting and differen- tial privacy. InFOCS. 51–60

  21. [21]

    Shuya Feng, Meisam Mohammady, Hanbin Hong, Shenao Yan, Ashish Kundu, Binghui Wang, and Yuan Hong. 2025. Harmonizing Differential Privacy Mecha- nisms for Federated Learning: Boosting Accuracy and Convergence. InCODASPY

  22. [22]

    Shuya Feng, Meisam Mohammady, Han Wang, Xiaochen Li, Zhan Qin, and Yuan Hong. 2024. DPI: Ensuring Strict Differential Privacy for Infinite Data Streaming. InIEEE Symposium on Security and Privacy. 1009–1027

  23. [23]

    Jie Fu, Qingqing Ye, Haibo Hu, Zhili Chen, Lulu Wang, Kuncan Wang, and Xun Ran. 2024. DPSUR: accelerating differentially private stochastic gradient descent using selective update and release.VLDB(2024)

  24. [24]

    Jonas Geiping, Hartmut Bauermeister, Hannah Dröge, and Michael Moeller. 2020. Inverting gradients - how easy is it to break privacy in federated learning?. In NeurIPS

  25. [25]

    Quan Geng and Pramod Viswanath. 2014. The optimal mechanism in differential privacy. InISIT. 2371–2375

  26. [26]

    Quan Geng and Pramod Viswanath. 2015. The optimal noise-adding mechanism in differential privacy.IEEE Transactions on Information Theory(2015)

  27. [27]

    Sivakanth Gopi, Yin Tat Lee, and Lukas Wutschitz. 2021. Numerical composition of differential privacy.NeurIPS34 (2021), 11631–11642

  28. [28]

    Godfrey H Hardy. 1929. Some simple inequalities satisfied by convex functions. Messenger Math.58 (1929), 145–152

  29. [29]

    Naoise Holohan, Spiros Antonatos, Stefano Braghin, and Pól Mac Aonghusa

  30. [30]

    Hanbin Hong, Binghui Wang, and Yuan Hong. 2022. UniCR: Universally Approx- imated Certified Robustness via Randomized Smoothing. InECCV

  31. [31]

    Hanbin Hong, Xinyu Zhang, Binghui Wang, Zhongjie Ba, and Yuan Hong. 2024. Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking Defenses with Provable Confidence. InCCS. 600–614

  32. [32]

    Matthew Jagielski, Jonathan Ullman, and Alina Oprea. 2020. Auditing differen- tially private machine learning: How private is private SGD?NeurIPS(2020)

  33. [33]

    Jonggyu Jang, Seongjin Hwang, and Hyun Jong Yang. 2024. Rethinking DP-SGD in Discrete Domain: Exploring Logistic Distribution in the Realm of signSGD. In ICML

  34. [34]

    Peter Kairouz, Brendan McMahan, Shuang Song, Om Thakkar, Abhradeep Thakurta, and Zheng Xu. 2021. Practical and private (deep) learning without sampling or shuffling. InICML. 5213–5225

  35. [35]

    Peter Kairouz, Sewoong Oh, and Pramod Viswanath. 2015. The composition theorem for differential privacy. InICML. 1376–1385

  36. [36]

    Peter Kairouz, Sewoong Oh, and Pramod Viswanath. 2017. The Composition Theorem for Differential Privacy.IEEE Information Theory(2017), 4037–4049

  37. [37]

    Alex Krizhevsky, Geoffrey Hinton, et al. 2009. Learning multiple layers of features from tiny images. (2009)

  38. [38]

    Yann LeCun, Léon Bottou, Yoshua Bengio, and Patrick Haffner. 1998. Gradient- based learning applied to document recognition.Proc. IEEE86, 11 (1998)

  39. [39]

    Xuechen Li, Florian Tramer, Percy Liang, and Tatsunori Hashimoto. 2022. Large Language Models Can Be Strong Differentially Private Learners. InICLR

  40. [40]

    Yinhan Liu, Myle Ott, Naman Goyal, Jingfei Du, Mandar Joshi, Danqi Chen, Omer Levy, Mike Lewis, Luke Zettlemoyer, and Veselin Stoyanov. 2020. RoBERTa: A Robustly Optimized BERT Pretraining Approach. InICLR

  41. [41]

    Albert W Marshall, Ingram Olkin, and Barry C Arnold. 1979. Inequalities: theory of majorization and its applications. (1979)

  42. [42]

    Ilya Mironov, Kunal Talwar, and Li Zhang. 2019. Rényi Differential Privacy of the Sampled Gaussian Mechanism. InNeurIPS

  43. [43]

    Meisam Mohammady, Shangyu Xie, Yuan Hong, Mengyuan Zhang, Lingyu Wang, Makan Pourzandi, and Mourad Debbabi. 2020. R2dp: A universal and automated approach to optimizing the randomization mechanisms of differential privacy for utility metrics with no known optimal distributions. InCCS

  44. [44]

    Nima Naderloui, Shenao Yan, Binghui Wang, Jie Fu, Wendy Hui Wang, Weiran Liu, and Yuan Hong. 2025. Rectifying Privacy and Efficacy Measurements in Machine Unlearning: A New Inference Attack Perspective. InUSENIX Security

  45. [45]

    Linyong Nan, Dragomir Radev, Rui Zhang, Amrit Rau, Abhinand Sivaprasad, Chiachun Hsieh, Xiangru Tang, Aadit Vyas, Neha Verma, Pranav Krishna, Yangx- iaokang Liu, Nadia Irwanto, Jessica Pan, Faiaz Rahman, Ahmad Zaidi, Mutethia Mutuma, Yasin Tarabar, Ankit Gupta, Tao Yu, Yi Chern Tan, Xi Victoria Lin, Caiming Xiong, Richard Socher, and Nazneen Fatema Rajani...

  46. [46]

    Jekaterina Novikova, Ondřej Dušek, and Verena Rieser. 2017. The E2E Dataset: New Challenges For End-to-End Generation. (2017)

  47. [47]

    Constrained Nonlinear Optimization. 2025. https://www.mathworks.com/help/ optim/ug/constrained-nonlinear-optimization-algorithms.html. (2025)

  48. [48]

    1992.Convex functions, partial orderings, and statistical applications

    Josip E Peajcariaac and Yung Liang Tong. 1992.Convex functions, partial orderings, and statistical applications. Academic Press

  49. [49]

    Gege Qi, YueFeng Chen, Xiaofeng Mao, Binyuan Hui, Xiaodan Li, Rong Zhang, and Hui Xue. 2023. Model Inversion Attack via Dynamic Memory Learning. In MM. 5614–5622

  50. [50]

    Ahmed Salem, Apratim Bhattacharya, Michael Backes, Mario Fritz, and Yang Zhang. 2020. Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning. InUSENIX Security 20. 1291–1308

  51. [51]

    Tom Sander, Pierre Stock, and Alexandre Sablayrolles. 2023. TAN without a burn: scaling laws of DP-SGD. InICML

  52. [52]

    Issai Schur. 1923. Uber eine Klasse von Mittelbildungen mit Anwendungen auf die Determinantentheorie.Sitzungsberichte der Berliner Mathematischen Gesellschaft 22, 9-20 (1923), 51

  53. [53]

    Reza Shokri, Marco Stronati, Congzheng Song, and Vitaly Shmatikov. 2017. Mem- bership inference attacks against machine learning models. In2017 IEEE Sympo- sium on Security and Privacy (SP). IEEE, 3–18

  54. [54]

    David Sommer, Sebastian Meiser, and Esfandiar Mohammadi. 2018. Privacy loss classes: The central limit theorem in differential privacy.Cryptology ePrint Archive(2018)

  55. [55]

    Michael Steele

    J. Michael Steele. 2004.The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities. Cambridge University Press

  56. [56]

    Michel Talagrand. 1996. Majorizing Measures: The Generic Chaining.The Annals of Probability24, 3 (1996), 1049–1103

  57. [57]

    Sasha Targ, Diogo Almeida, and Kevin Lyman. 2016. Resnet in Resnet: Generaliz- ing Residual Architectures. InICLR Workshop

  58. [58]

    Adrian M. Walker. 1965. Probability Theory and Mathematical Statistics.The Mathematical Gazette49 (1965), 109 – 112

  59. [59]

    Alex Wang, Amanpreet Singh, Julian Michael, Felix Hill, Omer Levy, and Samuel R. Bowman. 2019. GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding. InICLR

  60. [60]

    Chendi Wang, Yuqing Zhu, Weijie J Su, and Yu-Xiang Wang. 2024. Neural Collapse meets Differential Privacy: Curious behaviors of NoisyGD with Near-Perfect Representation Learning. InICML, Vol. 235. 52334–52360

  61. [61]

    Yu-Xiang Wang, Borja Balle, and Shiva Prasad Kasiviswanathan. 2019. Subsam- pled rényi differential privacy and analytical moments accountant. InAISTATS

  62. [62]

    Han Xiao, Kashif Rasul, and Roland Vollgraf. 2017. Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms.arXiv preprint arXiv:1708.07747(2017)

  63. [63]

    Da Yu, Saurabh Naik, et al. 2021. Differentially Private Fine-tuning of Language Models. InICLR

  64. [64]

    Yaodong Yu, Maziar Sanjabi, Yi Ma, Kamalika Chaudhuri, and Chuan Guo. 2023. Vip: A differentially private foundation model for computer vision.arXiv preprint arXiv:2306.08842(2023)

  65. [65]

    Xinyu Zhang, Hanbin Hong, Yuan Hong, Peng Huang, Binghui Wang, Zhongjie Ba, and Kui Ren. 2024. Text-CRS: A Generalized Certified Robustness Framework against Textual Adversarial Attacks. InIEEE Symposium on Security and Privacy

  66. [66]

    𝜇(𝑧) 𝜇0(𝑧) 𝜆# ≤𝛼,and𝐵=E 𝑧∼𝜇0

    Ligeng Zhu, Zhijian Liu, and Song Han. 2019.Deep leakage from gradients. Curran Associates Inc., Red Hook, NY, USA. A Probability Theory Backgrounds A.1 Moment Generating Function (MGF) Definition A.1.Let 𝑓(𝑥) be the probability density function (PDF) of a random variable𝑋 . The moment generating function of𝑋 , if it exists, is defined as: ℳ𝑋(𝑡)=E[𝑒 𝑡𝑋]= ...

  67. [2018]

    The bounded laplace mechanism in differential privacy.arXiv preprint arXiv:1808.10410(2018)

  68. [2019]

    InInternational Conference on Learning Representations (ICLR)

    signSGD with Majority Vote is Communication Efficient and Fault Tolerant. InInternational Conference on Learning Representations (ICLR)