Table of Contents
Fetching ...

A Generalized Binary Tree Mechanism for Differentially Private Approximation of All-Pair Distances

Michael Dinitz, Chenglin Fan, Jingcheng Liu, Jalaj Upadhyay, Zongrui Zou

TL;DR

The problem of approximating all-pair distances in a weighted undirected graph with differential privacy is studied, and the approach is based on generalizing the binary tree mechanism to graphs that are recursively separable.

Abstract

We study the problem of approximating all-pair distances in a weighted undirected graph with differential privacy, introduced by Sealfon [Sea16]. Given a publicly known undirected graph, we treat the weights of edges as sensitive information, and two graphs are neighbors if their edge weights differ in one edge by at most one. We obtain efficient algorithms with significantly improved bounds on a broad class of graphs which we refer to as \textit{recursively separable}. In particular, for any $n$-vertex $K_h$-minor-free graph, our algorithm achieve an additive error of $\widetilde{O}(h(nW)^{1/3} ) $, where $ W $ represents the maximum edge weight; For grid graphs, the same algorithmic scheme achieve additive error of $\widetilde{O}(n^{1/4}\sqrt{W})$. Our approach can be seen as a generalization of the celebrated binary tree mechanism for range queries, as releasing range queries is equivalent to computing all-pair distances on a path graph. In essence, our approach is based on generalizing the binary tree mechanism to graphs that are \textit{recursively separable}.

A Generalized Binary Tree Mechanism for Differentially Private Approximation of All-Pair Distances

TL;DR

The problem of approximating all-pair distances in a weighted undirected graph with differential privacy is studied, and the approach is based on generalizing the binary tree mechanism to graphs that are recursively separable.

Abstract

We study the problem of approximating all-pair distances in a weighted undirected graph with differential privacy, introduced by Sealfon [Sea16]. Given a publicly known undirected graph, we treat the weights of edges as sensitive information, and two graphs are neighbors if their edge weights differ in one edge by at most one. We obtain efficient algorithms with significantly improved bounds on a broad class of graphs which we refer to as \textit{recursively separable}. In particular, for any -vertex -minor-free graph, our algorithm achieve an additive error of , where represents the maximum edge weight; For grid graphs, the same algorithmic scheme achieve additive error of . Our approach can be seen as a generalization of the celebrated binary tree mechanism for range queries, as releasing range queries is equivalent to computing all-pair distances on a path graph. In essence, our approach is based on generalizing the binary tree mechanism to graphs that are \textit{recursively separable}.

Paper Structure

This paper contains 24 sections, 35 theorems, 55 equations, 5 tables.

Key Result

Theorem 3

Fix privacy budgets $0<\varepsilon,\delta<1$, and suppose $\frac{1}{2}\leq q<q'<1$ are constants. For any weighted $n$-vertex $(p,q,q')$-recursively separable graph $G$, there exists an $(\varepsilon,\delta)$-differentially private algorithm such that with high probability, it outputs APSD on $G$ wi

Theorems & Definitions (54)

  • Definition 1
  • Remark 2
  • Theorem 3
  • Theorem 4
  • Corollary 5
  • Theorem 6
  • Lemma 7: The Kuratowski's reduction theorem kuratowski1930problemewagner1937uber
  • Lemma 8: Post processing dwork2014algorithmic
  • Lemma 9: Basic composition dwork2006calibrating
  • Lemma 10: Advanced composition dwork2010boosting
  • ...and 44 more