arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2307.08970cs.LGcs.CR
收藏

持续观测下差分隐私求和的统一框架

A Unifying Framework for Differentially Private Sums under Continual Observation

Institute of Science and Technology, Austria(奥地利科学技术研究所);Rutgers University(罗格斯大学);Fujitsu Research of America(富士通美国研究院)

Monika Henzinger, Jalaj Upadhyay, Sarvagya Upadhyay

AI总结:

本研究针对持续观测下的差分隐私衰减求和问题,提出统一框架与高效因子分解机制变体算法,给出下三角矩阵范数的紧界,改进了此前相关研究结果并具有多领域应用潜力。

摘要:

我们研究了持续观测场景下维护差分隐私衰减求和的问题。针对任意足够光滑的函数,我们提出了一个统一框架及一种高效算法。我们的算法是首个针对多项式衰减权重不存在乘法误差的差分隐私算法。该算法改进了此前所有关于持续观测下差分隐私衰减求和的研究工作,并且作为推论,其可精确复现Henzinger等人(SODA 2023)提出的持续计数这一特殊情形下的加性误差。\n 我们的算法是因子分解机制的一种变体,其误差取决于底层矩阵的$γ_2$范数和$γ_F$范数。针对一大类下三角矩阵,我们给出了关于其$γ_2$范数和$γ_F$范数几乎精确上界的构造性证明,以及关于其$γ_2$范数几乎紧的下界。这是首个针对非零元素不全相同的下三角矩阵的非平凡下界。该下界涵盖了所有持续衰减求和问题对应的矩阵,由此得到了持续观测下任意差分隐私衰减求和算法加性误差的一个上界。\n 我们还探讨了该研究结果在差异理论和算子代数中的一些启示。鉴于$γ_2$范数在计算机科学中的重要性以及数学领域的大量相关研究,我们相信我们的结果将有更多应用。

英文摘要:

We study the problem of maintaining a differentially private decaying sum under continual observation. We give a unifying framework and an efficient algorithm for this problem for \emph{any sufficiently smooth} function. Our algorithm is the first differentially private algorithm that does not have a multiplicative error for polynomially-decaying weights. Our algorithm improves on all prior works on differentially private decaying sums under continual observation and recovers exactly the additive error for the special case of continual counting from Henzinger et al. (SODA 2023) as a corollary. Our algorithm is a variant of the factorization mechanism whose error depends on the $γ_2$ and $γ_F$ norm of the underlying matrix. We give a constructive proof for an almost exact upper bound on the $γ_2$ and $γ_F$ norm and an almost tight lower bound on the $γ_2$ norm for a large class of lower-triangular matrices. This is the first non-trivial lower bound for lower-triangular matrices whose non-zero entries are not all the same. It includes matrices for all continual decaying sums problems, resulting in an upper bound on the additive error of any differentially private decaying sums algorithm under continual observation. We also explore some implications of our result in discrepancy theory and operator algebra. Given the importance of the $γ_2$ norm in computer science and the extensive work in mathematics, we believe our result will have further applications.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑