隐私里程表与过滤器：按需组合

在本文中，我们开启了差分隐私中自适应组合的研究，其中组合的长度以及隐私参数本身可以作为先前运行分析结果的函式被自适应地选择。这种情况比现有组合定理所涵盖的设置要微妙得多，在现有设置中算法本身可以自适应选择，但隐私参数必须预先固定。事实上，甚至在自适应参数设置下如何定义差分隐私都不清楚。我们通过定义两个覆盖组合定理两个主要用例的对象来推进。隐私过滤器（privacy filter）是一种停止时间规则，允许分析人员在预先指定的隐私预算被超出之前停止计算。隐私里程表（privacy odometer）允许分析人员在进行过程中跟踪已实现的隐私损失，而无需预先指定隐私预算。我们表明，与隐私参数固定的情况不同，在自适应参数设置中，这两个用例是不同的。我们展示了存在与现有隐私组合定理（相差常数因子）界限相当的隐私过滤器。我们还给出了一个几乎匹配非自适应私有组合定理的隐私里程表，但有时会因一个小的渐近因子而更差。此外，我们表明这是固有的，并且自适应参数设置下任何有效的隐私里程表都必须损失该因子，这展示了过滤器与里程表用例之间的形式化分离。