“抽样用于隐私时,还必须匹配邻接与观察范围。子抽样隐私放大的标准 Poisson 公式假设每条记录独立入样,并隐藏参与身份;reservoir 产生固定大小、无放回的均匀样本,属于另一种采样律…”
形式陈述
本页固定增删一条记录的邻接。抽样器
这是特定抽样方式与邻接的配套结论。固定大小不放回抽样、放回抽样、替换邻接各有自己的定理,不能只将同一个
直觉
比较
观察者看不到这枚参与随机币,因而面对的是混合分布,而非先获知用户被抽中后再看输出。隐藏的混合是放大的来源。
两个方向的事件比较
令
新增输入的输出分布是
最后一步用了
例子与边界
设原机制为
粗略乘法
若同时公开“用户
推论与应用
在私有随机梯度下降中,每轮重新独立抽样后对裁剪梯度加噪声,可以逐轮使用放大,再组合所有轮次。实现中的 shuffle 后分批不等于独立 Poisson 抽样,核算器与采样器必须匹配。
参考资料
- Balle、Barthe 与 Gaboardi,“Privacy Amplification by Subsampling: Tight Analyses via Couplings and Divergences”,2018,§3 的抽样模型与 §4、Theorem 8 的 Poisson 抽样定理。