差分隐私的并发组合定理

我们研究交互式差分隐私机制的并发组合性质，其中 adversary 可任意交错其对不同机制的查询。我们证明，当使用 $f$-DP 的假设检验框架（其将标准 $(\eps,\delta)$-DP 作为特例）来度量差分隐私时，所有针对非交互式差分隐私机制的组合定理均可推广至交互式差分隐私机制的并发组合。我们通过证明每个交互式 $f$-DP 机制均可由非交互式 $f$-DP 机制的交互式后处理模拟，从而证得该并发组合定理。在并发且独立的工作中，Lyu~\cite{lyu2022composition} 证明了类似于本文关于 $(\eps,\delta)$-DP 的结果，以及 R\'enyi DP 的并发组合定理。我们也给出了 Lyu 的 R\'enyi DP 并发组合定理的简洁证明。Lyu 将 $f$-DP 的一般情形留作开放问题，本文解决了该问题。