arXiv:2605.06259cs.LGcs.CR2026-05

为随机洗牌的私有训练提供紧致可解释的隐私边界分析

Trade-off Functions for DP-SGD with Subsampling based on Random Shuffling: Tight Upper and Lower Bounds

  • 基于随机洗牌推导出差分隐私梯度下降的紧致闭式隐私边界
  • 当噪声倍数σ=1、δ=0.01时,约需1.14亿样本实现有效隐私保护
  • 适用于多轮训练场景,对参数设置有明确指导意义

我们在f-DP框架下,针对基于随机洗牌的子采样差分隐私随机梯度下降(DP-SGD)推导出紧致分析。该分析覆盖噪声倍数σ ≥ √(3/ln M)的区间,其中M为单个周期内的轮数。与泊松子采样的隐式公式不同,随机洗牌可得透明且可解释的闭式边界。通过Berry-Esseen定理得出的具体界在证明框架内仅差常数因子。以单周期(E=1)为例,当δ=1/100、σ=1时,约需M≈1.14×10⁶轮次和N≈1.14×10⁷样本即可达到有意义的差分隐私。这与σ≤1/√(2 ln M)时的近期负结果形成对比。多周期组合后,δ呈线性依赖于E,限制了E=O(√M)。为进一步突破,我们引入广义大数定律的新证明技术,得到渐近极限:若E=c_M²M且c_M→0,则E重组合的贸易函数一致趋近理想随机猜测对角线1−a,此时δ仅具√E依赖。我们对比了该渐近行为与泊松子采样的对应情形,并指出显式收敛速率的刻画仍是开放问题。

原文摘要 · Abstract (English)

We derive a tight analysis of the trade-off function for Differentially Private Stochastic Gradient Descent (DP-SGD) with subsampling based on random shuffling within the $f$-DP framework. Our analysis covers the regime $σ\geq \sqrt{3/\ln M}$, where $σ$ is the noise multiplier and $M$ is the number of rounds within a single epoch. Unlike $f$-DP analyses for Poisson subsampling, which yield non-closed implicit formulas that can be machine computed but are non-transparent, random shuffling admits a tight analysis yielding transparent and interpretable closed-form bounds. Our concrete bounds, derived via the Berry-Esseen theorem, are tight up to constant factors within the proof framework. We demonstrate worked parameter settings for a single epoch ($E=1$) with a corresponding trade-off function $\geq 1-a-δ$, that is, only $δ$ below the ideal random guessing diagonal $1-a$: For $δ= 1/100$ and $σ= 1$, roughly $M \approx 1.14\times 10^6$ rounds and $N \approx 1.14\times 10^7$ training samples suffice to achieve meaningful differential privacy. This is in contrast to recent negative results for the regime $σ\leq 1/\sqrt{2 \ln M}$. Our concrete bounds can be composed over multiple epochs leading to $δ$ having a linear in $E$ dependency, which restricts $E=O(\sqrt{M})$. To go beyond Berry--Esseen, we introduce a new proof technique based on a generalization of the law of large numbers that yields an asymptotic random guessing diagonal-limit result: if $E=c_M^2M$ with $c_M\to 0$, then the $E$-fold composed trade-off function satisfies $f^{\otimes E}(a)\to 1-a$ uniformly in $a\in[0,1]$ with $δ$ having only an $O(\sqrt{E})$ dependency. We compare this asymptotic regime with the corresponding Poisson subsampling asymptotic, and highlight the characterization of explicit convergence rates as an open question.

差分隐私随机洗牌机器学习安全隐私边界

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。