paperbot · PL 论文追踪

全部论文 待读 收藏

P2 The Laplace Mechanism has optimal utility for differential privacy over continuous queries

Laplace 机制对连续查询的差分隐私具有最优效用
LICS 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2021匹配度 1/10 · 该论文是差分隐私领域关于 Laplace 机制效用最优性的纯理论证明,研究目标、方法与用户关注的 PL↔AI、LLM/Agent、浮点程序分析、贝叶斯程序分析等方向均无实质交集;仅在“抽象信道/超分布”这一形式化工具上与程序语义分析有极弱的背景关联,但不构成方向匹配。引用 0 inbox
Natasha Fernandes, Annabelle McIver, Carroll Morgan
crossref: 2026-09-12

AI 速览

一句话:证明在连续查询的差分隐私中,Laplace 机制在给定隐私约束下达到最优效用,推广了离散情形的几何机制最优性。

差分隐私通过在统计查询结果上施加混淆机制保护个体数据,但会降低效用。已有工作证明:对离散数据(如计数查询),在给定隐私程度和合理效用损失下,几何机制最优,效用损失最小;但该结论对连续查询结果(如实数)不成立。本文利用此前的离散结果、抽象信道及其超分布几何表示,以及 Kantorovich-Rubinstein 定理提供的分布距离对偶解释,证明在连续查询场景下,采用 Laplace 机制进行混淆可重新获得最优性。即 Laplace 机制在满足隐私约束的同时实现尽可能小的效用损失,从而把离散情形的最优性推广到连续查询。

问题
已有工作证明离散数据(如计数查询)下几何机制在给定隐私和效用损失下最优,但该结论对连续查询结果(如实数)不成立。本文研究连续查询的差分隐私中是否存在达到最优效用的混淆机制。
方法
结合 Ghosh 等人的离散最优性结果、抽象信道及其超分布几何表示,以及 Kantorovich-Rubinstein 定理对分布间距离的对偶解释,分析连续查询下机制的最优效用。
评估
通过理论证明表明,使用 Laplace 机制对连续查询结果进行混淆可重新获得最优性,即满足给定隐私约束并实现尽可能小的效用损失。
原文摘要(Abstract)

Differential Privacy protects individuals’ data when statistical queries are published from aggregated databases: applying "obfuscating" mechanisms to the query results makes the released information less specific but, unavoidably, also decreases its utility. Yet it has been shown that for discrete data (e.g. counting queries), a mandated degree of privacy and a reasonable interpretation of loss of utility, the Geometric obfuscating mechanism is optimal: it loses as little utility as possible [Ghosh et al. [1]].For continuous query results however (e.g. real numbers) the optimality result does not hold. Our contribution here is to show that optimality is regained by using the Laplace mechanism for the obfuscation.The technical apparatus involved includes the earlier discrete result [Ghosh op. cit.], recent work on abstract channels and their geometric representation as hyper-distributions [Alvim et al. [2]], and the dual interpretations of distance between distributions provided by the Kantorovich-Rubinstein Theorem.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot6204,
  title = {The Laplace Mechanism has optimal utility for differential privacy over continuous queries},
  author = {Natasha Fernandes and Annabelle McIver and Carroll Morgan},
  booktitle = {LICS},
  year = {2021},
  doi = {10.1109/lics52264.2021.9470718}
}