Metric Differential Privacy (mDP) extends the concept of Differential Privacy (DP) to serve as a new paradigm of data perturbation. It is designed to protect secret data represented in general metric space, such as text data encoded as word embeddings or geo-location data on the road network or grid maps. To derive an optimal data perturbation mechanism under mDP, a widely used method is linear programming (LP), which, however, might suffer from a polynomial explosion of decision variables, rendering it impractical in large-scale mDP. In this paper, our objective is to develop a new computation framework to enhance the scalability of the LP-based mDP. Considering the connections established by the mDP constraints among the secret records, we partition the original secret dataset into various subsets. Building upon the partition, we reformulate the LP problem for mDP and solve it via Benders Decomposition, which is composed of two stages: (1) a master program to manage the perturbation calculation across subsets and (2) a set of subproblems, each managing the perturbation derivation within a subset. Our experimental results on multiple datasets, including geo-location data in the road network/grid maps, text data, and synthetic data, underscore our proposed mechanism's superior scalability and efficiency.
翻译:度量差分隐私(mDP)将差分隐私(DP)的概念扩展为一种新的数据扰动范式,旨在保护以通用度量空间表示的私有数据,例如编码为词嵌入的文本数据、路网或网格地图中的地理位置数据。为推导mDP下的最优数据扰动机制,线性规划(LP)是广泛采用的方法,但该方法可能因决策变量的多项式爆炸问题而难以应用于大规模mDP场景。本文旨在开发一种新的计算框架,以提升基于LP的mDP的可扩展性。考虑到mDP约束在秘密记录之间建立的关联性,我们将原始秘密数据集划分为多个子集。基于此划分,我们重新构建了mDP的LP问题,并通过Benders分解进行求解。该分解包含两个阶段:(1)主问题负责管理跨子集的扰动计算;(2)一组子问题分别负责各子集内的扰动推导。我们在多个数据集(包括路网/网格地图中的地理位置数据、文本数据及合成数据)上的实验结果,充分证明了所提机制在可扩展性和效率方面的优越性。