该论文研究差分隐私量化中的关键理论问题:泊松子采样是典型的采样器,其独立性使得隐私放大分析易于处理,但实际系统越来越多地采用结构化参与模式,如随机分配(balls-in-bins)、每轮分配、随机检查等。业界普遍认为这些模式在匹配采样率下至少与泊松子采样一样私密,但缺乏严格的数学证明。作者聚焦于这种信念背后的概率机制,并精确划定了其适用范围,研究对象涵盖高斯机制直至相关噪声矩阵机制。主要贡献包括:(1)当参与指示向量满足负相关(NA)性质时,对于所有整数阶 Rényi α≥2,在所有有限参数下,其 remove 方向 Rényi 散度被边际匹配的独立方案所支配;对于固定梯度序列,只要噪声策略的 Gram 矩阵满足符号平衡(sign-balanced),这一结论可扩展至机制层面,且该条件可在 O(t^2) 时间内验证。(2)证明整数阶限制是本质性的:对于 k=1 的随机分配,Rényi 差判据在大 t 时对所有 α<3/2(包括 KL 散度)呈现反向线性定律,且交叉阶独立于 σ 并向 3/2 趋近。(3)定位了速率匹配泊松支配的已知失效点:在 (1-q)^t 以下,hockey-stick 排序反转,因此将泊松配对直接代入组合机制的做法不成立;通过上尾论证得到了有限交叉点 γ_*,将这一阈值图景与 Rényi 边界 3/2 联系起来。整体上,论文提供了隐私核算的替换映射,指明了基于泊松的计算在结构化参与下何时正确、何时失效,以及合理替代方案的部署成本。该工作适用于差分隐私理论研究者、隐私核算系统设计者及机器学习隐私工程师。
💡 推荐理由: 这项研究精准界定了泊松子采样隐私核算在非独立参与场景下的适用边界,避免错误使用默认核算导致隐私保证被高估或低估,对隐私合规审计和DPSGD类系统的可靠性评估有直接参考价值。
🎯 建议动作: 研究跟进