arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2604.08504stat.MLcs.AIcs.CLcs.DScs.LG

在极限下实现差分隐私的语言生成与识别

Differentially Private Language Generation and Identification in the Limit

Stanford University(斯坦福大学);Google Research(谷歌研究院);Yale University(耶鲁大学)

Anay Mehrotra, Grigoris Velegkas, Xifan Yu, Felix Zhou

AI总结:

研究在极限下语言生成与识别的差分隐私约束,发现隐私生成无定性代价但有量化成本,而识别在极限下隐私导致根本障碍,区分了对抗与随机设置。

摘要:

我们启动了在极限下语言生成的研究,这是Kleinberg和Mullainathan[KM24]最近引入的模型,在差分隐私约束下。我们考虑持续释放模型,生成器必须最终输出有效字符串流,同时保护整个输入序列的隐私。我们的主要结果之一是,对于可数语言集合,隐私无定性代价:我们提供了一个ε-差分隐私算法,可从任何可数集合中在极限下生成。这与许多学习设置形成对比,其中隐私使学习不可能。然而,隐私确实带来了量化成本:存在大小为k的有限集合,其中均匀隐私生成需要Ω(k/ε)样本,而非隐私只需一个样本。我们随后转向更困难的语言识别问题。在此,我们证明隐私创建了根本障碍。我们证明,没有任何ε-DP算法可以识别包含两个无限交集和有限差集的语言集合,这一条件远强于经典非隐私识别的特征。接着,我们转向随机设置,其中样本字符串是从分布中i.i.d.采样(而非由对手生成)。我们证明,如果且仅如果集合在对抗模型中可识别,则私有识别是可能的。总的来说,我们的结果在生成和识别之间建立了新的维度,并且由于隐私约束,在识别中区分了对抗和随机设置。

英文摘要:

We initiate the study of language generation in the limit, a model recently introduced by Kleinberg and Mullainathan [KM24], under the constraint of differential privacy. We consider the continual release model, where a generator must eventually output a stream of valid strings while protecting the privacy of the entire input sequence. Our first main result is that for countable collections of languages, privacy comes at no qualitative cost: we provide an $\varepsilon$-differentially-private algorithm that generates in the limit from any countable collection. This stands in contrast to many learning settings where privacy renders learnability impossible. However, privacy does impose a quantitative cost: there are finite collections of size $k$ for which uniform private generation requires $Ω(k/\varepsilon)$ samples, whereas just one sample suffices non-privately. We then turn to the harder problem of language identification in the limit. Here, we show that privacy creates fundamental barriers. We prove that no $\varepsilon$-DP algorithm can identify a collection containing two languages with an infinite intersection and a finite set difference, a condition far stronger than the classical non-private characterization of identification. Next, we turn to the stochastic setting where the sample strings are sampled i.i.d. from a distribution (instead of being generated by an adversary). Here, we show that private identification is possible if and only if the collection is identifiable in the adversarial model. Together, our results establish new dimensions along which generation and identification differ and, for identification, a separation between adversarial and stochastic settings induced by privacy constraints.

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

↑